Skip to main content

Neutral functional sequential differential equations with Caputo fractional derivative on time scales

Abstract

In this paper, we establish the existence and uniqueness of a solution for a class of initial value problems for implicit fractional differential equations with Caputo fractional derivative. The arguments are based upon the Banach contraction principle, the nonlinear alternative of Leray–Schauder type and Krasnoselskii fixed point theorem. As applications, two examples are included to show the applicability of our results.

1 Introduction

For the past decades, fractional differential equations have been of increasing importance due to their diverse applications in different fields, such as control theory, electrochemistry, viscoelasticity, electromagnetism, biology, economics, quantum calculus, etc. (see [210, 15, 17, 2931, 34] and the references therein). On the other hand, the theory of differential equations on time scales has developed very intensively during the last decades (see for example [11, 12, 1822, 2427, 33] and the references therein). In 1988, Stefan Hilger [16, 28] introduced in his thesis the concept of “calculation of chains of measures” in order to unify the discrete and continuous analysis. So, all results found will be valid in the discrete case and in the continuous case.

In [32], using suitable fixed point theorems, Vipin and Muslim established the existence and uniqueness of the solutions to the following nonlinear fractional differential equation with nonlinear integral boundary conditions on time scales:

$$\begin{aligned} \begin{aligned} &{ }^{c} \Delta ^{\vartheta } u(\theta )= \Psi \bigl(\theta, u\bigl(\alpha ( \theta )\bigr)\bigr),\quad \theta \in {\mathcal {J}}=[0, T]_{\mathbb{T}}, \vartheta \in (0,1), \\ &\beta u(0)+\eta u(T)=\frac{1}{\Gamma (\vartheta )} \int _{0}^{T}(T-s)^{ \vartheta -1} g\bigl(s, u(s) \bigr) \Delta s, \end{aligned} \end{aligned}$$

where \({ }^{c} \Delta ^{\vartheta }\) is the Caputo delta-fractional derivative and \(0, T \in {\mathbb{T}}\), \(\beta, \eta \in \mathbb{R}\) such that \(\beta +\eta \neq 0\), \(\alpha: {\mathcal {J}} \rightarrow {\mathcal {J}}\) is a continuous function with \(\alpha (\theta ) \leq \theta, \Psi \) and g are some functions. In [32], the authors discussed the existence, uniqueness, and stability for the nonlinear fractional differential equations with impulses on time scales:

$$\begin{aligned} & { }^{c} \Delta ^{q} \varphi (\eta )={\mathcal {G}} \bigl(\eta, \varphi (\eta ),{}^{c} \Delta ^{q} \varphi (\eta ) \bigr), \quad\eta \in {\mathcal {J}}=[0, T]_{\mathrm {T}}, \eta \neq \eta _{l}, \\ &\varphi \bigl(\eta _{l}^{+} \bigr)-\varphi \bigl(\eta _{l}^{-} \bigr)=I_{l} \bigl(\eta _{l}, \varphi \bigl(\eta _{l}^{-} \bigr) \bigr),\quad l=1,2, \ldots, p, \\ &\varphi (0)=\varphi _{0}, \end{aligned}$$

where \({\mathbb{T}}\) is a time scale with \(0, \eta _{l} \in {\mathbb{T}},{ }^{c} \Delta ^{q}\) is the Caputo fractional derivative with \(q \in (0,1)\) and \(l=1,2, \ldots, p\), the point of impulses \(\eta _{k}\) is right dense with \(0 \leq \eta _{0}<\eta _{1}<\) \(\eta _{2}<\cdots <\theta _{p}<\eta _{p+1}=T\), \(\varphi (\eta _{k}^{-} )=\lim_{h \rightarrow 0^{+}} \varphi (\eta _{k}-h ), \varphi (\eta _{k}^{+} )=\lim_{h \rightarrow 0+} \varphi (\eta _{k}+h )\) denote the left and the right limits of \(\varphi (\eta )\) at \(\eta =\eta _{k}\), \(I_{k} \in C({\mathcal {J}} \times {\mathbb{R}}, {\mathbb{R}})\) and \({\mathcal {G}}: {\mathcal {J}}\times {\mathbb{R}} \times {\mathbb{R}} \rightarrow {\mathbb{R}}\) are given functions. In [23], Vivek et al. proved some existence and stability results of Hilfer-type fractional differential equations on time scales

$$\begin{aligned} \textstyle\begin{cases} {}^{{\mathbb{T}}} \Delta _{0^{+}}^{\alpha, \beta } \eta (t)={\mathcal {F}}(t, \eta (t)), \quad t=[0, T]:={\mathcal {J}} \subseteq {\mathbb{T}}, T>0, \\ {}^{{\mathbb{T}}} I_{0^{+}}^{1-\gamma } \eta (0)=\eta _{0},\quad \gamma =\alpha +\beta -\alpha \beta, \end{cases}\displaystyle \end{aligned}$$

where \({ }^{\mathbb{T}} \Delta _{0^{+}}^{\alpha, \beta }\) is the Hilfer fractional differential defined on a time scale \({\mathbb{T}}\), \(0<\alpha <1\), \(0 \leq \beta \leq 1\) and \({\mathcal {F}}: {\mathcal {J}} \times {\mathbb{T}} \rightarrow { \mathbb{R}}\) is a right-dense continuous function.

In [13], Ahmad and Ntouyas proved some existence results for the following initial value problem of Caputo–Hadamard sequential fractional order neutral functional differential equations:

$$\begin{aligned} \textstyle\begin{cases} {\mathfrak{D}}^{p} [{\mathfrak{D}}^{q}\varpi (\vartheta )-G( \vartheta,\varpi _{\vartheta }) ]=F(\vartheta,\varpi _{ \vartheta }), \quad \vartheta \in \mathbf{J}:=[1,T], \\ \varpi (\vartheta )=\phi (\vartheta ),\quad \vartheta \in [1-\sigma,1], \\ {\mathfrak{D}}^{q}\varpi (1)=\eta \in \mathbb{R}, \end{cases}\displaystyle \end{aligned}$$

where \({\mathfrak{D}}^{p}, {\mathfrak{D}}^{q}\) are the Caputo–Hadamard fractional derivatives, \(0< p,q< 1\), \(F, G: \mathbf{J}\times C([-\sigma,0],\mathbb{R})\to \mathbb{R}\) are given functions, and \(\phi \in C([1-\sigma,1],\mathbb{R})\), where \(\sigma >0\).

In this paper, we generalize the problem considered in [13] to time scales, and we discuss existence and uniqueness of solutions to the following Cauchy problem of Caputo sequential fractional order neutral functional differential equations on time scale \(\mathbb{T}\):

$$\begin{aligned} &{}^{c}\Delta ^{\omega }\bigl[{}^{c}\Delta ^{\varpi }u(\vartheta )-\Phi ( \vartheta,u_{\vartheta })\bigr]=\Psi ( \vartheta,u_{\vartheta }),\quad \vartheta \in {\mathfrak{J}}:=[0,T]_{{\mathbb{T}}}=[0,T] \cap {\mathbb{T}}, \end{aligned}$$
(1)
$$\begin{aligned} & u(\vartheta )=\zeta (\vartheta ), \quad\vartheta \in [- \epsilon,0]_{{ \mathbb{T}}}=[-\epsilon,0]\cap {\mathbb{T}}, \end{aligned}$$
(2)
$$\begin{aligned} &{}^{c}\Delta ^{\varpi }u(0)=\phi \in {\mathbb{R}}, \end{aligned}$$
(3)

where \({}^{c}\Delta ^{\omega },{}^{c}\Delta ^{\varpi }\) are the Caputo fractional derivatives, \(0<\omega,\varpi < 1\), \(\Psi, \Phi: {\mathfrak{J}}\times C([-\epsilon,0]_{{\mathbb{T}}}, { \mathbb{R}})\to {\mathbb{R}}\) are given functions, and \(\zeta \in C([-\epsilon,0]_{{\mathbb{T}}},{\mathbb{R}})\). For any function u defined on \([-\epsilon,T]_{{\mathbb{T}}}\) and any \(\vartheta \in {\mathfrak{J}}\) and \(\epsilon >0\), we denote by \(u_{\vartheta }\) the element of \(C_{\epsilon }:=C([-\epsilon,0]_{{\mathbb{T}}},{\mathbb{R}})\) defined by

$$\begin{aligned} u_{\vartheta }(\theta )=u(\vartheta +\theta ),\quad \theta \in [- \epsilon,0]_{{\mathbb{T}}}. \end{aligned}$$

The present paper is organized as follows. In Sect. 2, some notations are introduced. In Sect. 3, three results for problem (1)–(3) are proved by using the following fixed point theorems: the Banach contraction principle, the nonlinear alternative of Leray–Schauder type, and Krasnoselskii’s fixed point theorem. Finally, in the last section, we give two examples to illustrate the applicability of our results.

2 Preliminaries

In this section, we collect notations, definitions, and results which are needed in the sequel.

Let \(C({\mathfrak{J}},{\mathbb{R}})\) be the Banach space of all continuous functions from \({\mathfrak{J}}\) into \({\mathbb{R}}\) with the norm

$$\begin{aligned} \Vert y \Vert _{\infty }:=\sup \bigl\{ \bigl\vert y(\vartheta ) \bigr\vert : \vartheta \in {\mathfrak{J}} \bigr\} . \end{aligned}$$

Also \(C_{\epsilon }\) is endowed with the norm

$$\begin{aligned} \Vert \zeta \Vert _{C}:=\sup \bigl\{ \bigl\vert \zeta (\iota ) \bigr\vert : -\epsilon \le \iota \le 0\bigr\} . \end{aligned}$$

2.1 Some properties of time scale

A time scale \(\mathbb{T}\) is an arbitrary nonempty closed subset of \(\mathbb{R}\) (for more details, see [2022, 2427]).

Definition 2.1

Let \(\mathbb{T}\) be a time scale. For \(\tau \in \mathbb{T}\), we define the forward jump operator \(\sigma:{\mathbb{T}}\rightarrow {\mathbb{T}}\) by \(\sigma (\tau ):=\inf \{s \in {\mathbb{T}}: s > \tau \}\), and the backward jump operator \(\rho:{\mathbb{T}}\rightarrow {\mathbb{T}}\) by \(\rho (\tau ):=\sup \{s \in {\mathbb{T}}: s < \tau \}\).

Remark 2.2

In Definition 2.1, we put \(\inf \emptyset =\sup \mathbb{T}\) (i.e., \(\sigma (\overline{m})= \overline{m}\) if \(\mathbb{T}\) has a maximum ) and \(\sup \emptyset =\inf \mathbb{T}\) (i.e., \(\rho (\underline{m})= \underline{m}\) if \(\mathbb{T}\) has a minimum \(\underline{m}\)), where denotes the empty set.

If \(\sigma (\tau ) > \tau \), then we say that τ is right-scattered; if \(\rho (\tau ) < \tau \), then τ is said to be left-scattered. Points that are simultaneously right-scattered and left-scattered are called isolated. If \(\tau < \sup \mathbb{T}\) and \(\sigma (\tau ) = \tau \), then τ is called right-dense; if \(\tau >\inf \mathbb{T}\) and \(\rho (\tau )= \tau \), then τ is called left-dense. The derivative makes use of the set \(\mathbb{T}^{\kappa }\), which is derived from the time scale \(\mathbb{T}\) as follows: if \(\mathbb{T}\) has a left-scattered maximum , then \({\mathbb{T}^{\kappa }}:={\mathbb{T}} \setminus \{\overline{m}\}\); otherwise, \(\mathbb{T}^{\kappa }:=\mathbb{T}\).

Definition 2.3

([21, 22])

Assume \(h: \mathbb{T}\rightarrow \mathbb{R}\) and let \(\tau \in \mathbb{T}^{\kappa }\). We define

$$\begin{aligned} h^{\Delta }(\tau ):=\lim_{s\rightarrow \tau } \frac{h(\sigma (s))-h(\tau )}{\sigma (s)-\tau },\quad \tau \neq \sigma (s), \end{aligned}$$

provided the limit exists. We call \(h^{\Delta }(\tau )\) the delta derivative (or Hilger derivative) of h at τ. Moreover, we say that h is delta differentiable on \(\mathbb{T}^{\kappa }\) provided \(h^{\Delta }(\tau )\) exists for all \(\tau \in \mathbb{T}^{\kappa }\). The function \(h^{\Delta }:\mathbb{T}^{\kappa }\rightarrow \mathbb{R}\) is then called the (delta) derivative of h on \(\mathbb{T}^{\kappa }\).

Definition 2.4

A function \(h:\mathbb{T}\rightarrow \mathbb{R}\) is called rd-continuous provided it is continuous at right-dense points in \(\mathbb{T} \) and its left-sided limits exist (finite) at left-dense points in \(\mathbb{T}\). \({\mathcal {C}}_{rd}\) denotes the set of rd-continuous functions \(h:\mathbb{T}\rightarrow \mathbb{R}\).

Definition 2.5

Let \([a,b]\) denote a closed bounded interval in \(\mathbb{T}\). A function \(H: [a,b]\rightarrow \mathbb{R}\) is called a delta antiderivative of function \(h: [a,b)\rightarrow \mathbb{R}\) provided H is continuous on \([a,b]\), delta differentiable on \([a,b)\), and \(H^{\Delta }(\tau )=f(\tau )\) for all \(\tau \in [a,b)\). Then we define the Δ-integral of h from a to b by

$$\begin{aligned} \int _{a}^{b}h(\tau )\Delta \tau:= H(b)-H(a). \end{aligned}$$

Lemma 2.6

([14])

Suppose that \(\mathbb{T}\) is a time scale and h is an increasing continuous function on the time-scale interval \([a,b]\). If H is the extension of h to the real interval \([a,b]\) given by

$$\begin{aligned} H(s):= \textstyle\begin{cases} h(s) & \textit{if } s \in \mathbb{T}, \\ h(\tau ) & \textit{if } s \in (t,\sigma (\tau ))\notin \mathbb{T}, \end{cases}\displaystyle \end{aligned}$$

then

$$\begin{aligned} \int _{a}^{b} h(\tau ) \Delta \tau \leq \int _{a}^{b} H(\tau )\,d\tau. \end{aligned}$$

2.2 Some properties of fractional calculus on time scales

We introduce a new notion of fractional derivative on time scales.

Definition 2.7

(Fractional integral on time scales)

Suppose that \(\mathbb{T}\) is a time scale, \([a,b]\subset {\mathbb{T}}\), and ζ is an integrable function on \([a,b]\). Let \(0 < \omega <1\). Then the fractional integral of order ω of ζ is defined by

$$\begin{aligned} {{}^{\mathbb{T}}I}_{a}^{\omega }\zeta (\tau ):= \frac{1}{\Gamma (\omega )} \int _{a}^{\tau } (\tau -s)^{\omega -1} \zeta (s) \Delta s, \end{aligned}$$

where Γ is the gamma function.

Definition 2.8

(Caputo fractional derivative on time scales)

Let \(\mathbb{T}\) be a time scale, \(\tau \in \mathbb{T}\), \(0 < \omega <1\), and \(\zeta:\mathbb{T}\rightarrow \mathbb{R}\). The Caputo Δ− fractional derivative of order ω of ζ is defined by

$$\begin{aligned} {{}^{c}\Delta }_{a^{+}}^{\omega }\zeta (\tau ):= \frac{1}{\Gamma (n-\omega )} \int _{a}^{\tau } (\tau -s)^{n-\omega -1} \zeta ^{\Delta ^{n}}(s) \Delta s, \end{aligned}$$
(4)

where \(n=[\omega ]+1\) and \([\omega ]\) denotes the integer part of ω.

Theorem 2.9

(Semigroup property)

Let \(\omega, \varpi >0\) and ζ be an integrable function on \([a,b]\). Then

$$\begin{aligned} {{}^{\mathbb{T}}I}_{a}^{\omega } {{}^{\mathbb{T}}I}_{a}^{\varpi } \zeta ( \tau )= {{}^{\mathbb{T}}I}_{a}^{\omega +\varpi }\zeta (\tau ). \end{aligned}$$

Lemma 2.10

(Nonlinear alternative of Leray–Schauder type [1, 4, 5])

Let E be a Banach space, C be a closed, convex subset of E, U be an open subset of C, and \(0\in U\). Suppose that \(F:\overline{U}\to C\) is a continuous, compact map (that is, the image of any bounded subset is relatively compact). Then either

  1. (i)

    F has a fixed point in , or

  2. (ii)

    there is \(u\in \partial U\) (the boundary of U in C) and \(\lambda \in (0,1)\) with \(u=\lambda F(u)\).

Lemma 2.11

(Krasnoselskii’s fixed point theorem [1, 4, 5])

Let S be a closed, bounded, convex, and nonempty subset of a Banach space X. Let \(A, B\) be the operators such that (a) \(Ax+Bx\in S\) whenever \(x,y\in S\); (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists \(z \in S\) such that \(z = Az+Bz\).

3 Existence results

Let \(\widetilde{E}=\{u: u\in {\mathcal {C}}([-\epsilon,T]_{{\mathbb{T}}},{ \mathbb{R}}), {}^{c}\Delta ^{\omega }(u) \in {\mathcal {C}}([0,T]_{{ \mathbb{T}}},{\mathbb{R}}), {}^{c}\Delta ^{\omega }[u(\cdot ) - \phi ( \cdot,u)] \in {\mathcal {C}}([0,T]_{{\mathbb{T}}},{\mathbb{R}})\}\).

Definition 3.1

A function \(u\in \widetilde{E}\) is said to be a solution of (1)–(3) if u satisfies the equation \({}^{c}\Delta ^{\omega }[{}^{c}\Delta ^{\varpi }u(\vartheta )-\Phi ( \vartheta,u_{\vartheta })]=\Psi (\vartheta,u_{\vartheta })\) on \({\mathfrak{J}}\), the condition \(u(\vartheta )=\zeta (\vartheta )\) on \([-\epsilon,0]_{{\mathbb{T}}}\) and \({}^{c}\Delta ^{\varpi }u(0)=\phi \).

Lemma 3.2

The function \(u \in \widetilde{E}\) is a solution of the problem

$$\begin{aligned} &{}^{c}\Delta ^{\omega } \bigl[{}^{c}\Delta ^{\varpi }u(\vartheta )-\Phi ( \vartheta,u_{\vartheta })\bigr]=\Psi (\vartheta,u_{\vartheta }), \quad\vartheta \in { \mathfrak{J}}, \\ &u(\vartheta )=\zeta (\vartheta ),\quad \vartheta \in [-\epsilon,0]_{{ \mathbb{T}}}, \\ &{}^{c}\Delta ^{\varpi }u(0)=\phi \in {\mathbb{R}}, \end{aligned}$$
(5)

if and only if

$$\begin{aligned} u(\vartheta )= \textstyle\begin{cases} \zeta (\vartheta )& \textit{if } \vartheta \in [-\epsilon,0]_{{\mathbb{T}}}, \\ \zeta (0)+\frac{(\phi -\Phi (0,\zeta (0))}{\Gamma (\varpi )}\int _{0}^{ \vartheta } (\vartheta -s)^{\varpi -1} \Delta s \\ \quad{}+\frac{1}{\Gamma (\varpi )}\int _{0}^{\vartheta } (\vartheta -s)^{ \varpi -1}\Phi (s,u_{s}) \Delta s \\ \quad{}+\frac{1}{\Gamma (\omega +\varpi )}\int _{0}^{\vartheta } (\vartheta -s)^{ \omega +\varpi -1}\Psi (s,u_{s}) \Delta s & \textit{if } \vartheta \in [0,T]_{{ \mathbb{T}}}. \end{cases}\displaystyle \end{aligned}$$
(6)

Proof

Using \({}^{c}\Delta ^{\omega }[{}^{c}\Delta ^{\varpi }u(\vartheta )-\Phi ( \vartheta,u_{\vartheta })]=\Psi (\vartheta,u_{\vartheta }), \vartheta \in {\mathfrak{J}}\), we get

$$\begin{aligned} {}^{c}\Delta ^{\varpi }u(\vartheta )-\Phi ( \vartheta,u_{\vartheta }) = \alpha +\frac{1}{\Gamma (\omega )} \int _{0}^{\vartheta }(\vartheta -s)^{ \omega -1}\Psi (s,u_{s})\Delta s, \end{aligned}$$
(7)

where \(\alpha \in {\mathbb{R}}\). From the condition \(D^{\varpi }u(0)=\phi \) we find that \(\alpha =\phi -\Phi (0,\zeta (0))\). Then

$$\begin{aligned} {}^{c}\Delta ^{\varpi }u(\vartheta )=\phi -\Phi \bigl(0,\zeta (0) \bigr)+\Phi ( \vartheta,u_{\vartheta }) + \frac{1}{\Gamma (\omega )} \int _{0}^{\vartheta }(\vartheta -s)^{\omega -1}\Psi (s,u_{s})\Delta s. \end{aligned}$$

Thus

$$\begin{aligned} u(\vartheta )={}&\beta + \frac{(\phi -\Phi (0,\zeta (0))}{\Gamma (\varpi )} \int _{0}^{ \vartheta } (\vartheta -s)^{\varpi -1} \Delta s+ \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s)^{ \varpi -1}\Phi (s,u_{s}) \Delta s \\ &{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } ( \vartheta -s)^{\omega +\varpi -1}\Psi (s,u_{s}) \Delta s. \end{aligned}$$

We find \(\beta =\zeta (0)\), and (6) is proved. The converse follows by direct computation. □

Assumptions: We need the following assumptions:

  1. (Ax.1)

    There exists \(\lambda >0\) such that

    $$\begin{aligned} \bigl\vert \Psi (\vartheta,x)-\Psi (\vartheta,\overline{x}) \bigr\vert \le \lambda \Vert x- \overline{x} \Vert _{C} \quad\text{for $\vartheta \in { \mathfrak{J}}$ and every } x, \overline{x} \in C_{\epsilon }; \end{aligned}$$
  2. (Ax.2)

    There exists a nonnegative constant μ such that

    $$\begin{aligned} \bigl\vert \Phi (\vartheta,x)-\Phi (\vartheta,\overline{x}) \bigr\vert \le \mu \Vert x- \overline{x} \Vert _{C} \quad\text{for $\vartheta \in { \mathfrak{J}}$ and every } x, \overline{x} \in C_{\epsilon }. \end{aligned}$$
  3. (Ax.3)

    \(\Psi, \Phi:{\mathfrak{J}} \times C_{\epsilon }\to {\mathbb{R}}\) are continuous functions;

  4. (Ax.4)

    There exist a continuous nondecreasing function \(\psi: [0,\infty )_{{\mathbb{T}}} \to (0,\infty )\) and a function \(\Upsilon \in C(\mathfrak{J},\mathbb{R}^{+})\) such that

    $$\begin{aligned} \bigl\vert \Psi (\vartheta,x) \bigr\vert \le \Upsilon (\vartheta )\psi \bigl( \Vert x \Vert _{C}\bigr)\quad \text{for each } (\vartheta,x) \in {\mathfrak{J}} \times C_{\epsilon }; \end{aligned}$$
  5. (Ax.5)

    There exists a constant \({\mathbf{L}}>0\) such that

    $$\begin{aligned} \frac{ (\Gamma (\varpi +1)-\mu T^{\varpi } ){\mathbf{L}}}{ {\mathbf {H}}+\psi ({\mathbf{L}})T^{\omega +\varpi } \Vert \Upsilon \Vert _{\infty } \frac{\Gamma (\varpi +1)}{\Gamma (\omega +\varpi +1)}}> 1, \end{aligned}$$

    where

    $$\begin{aligned} {\mathbf {H}}=\Gamma (\varpi +1) \Vert \zeta \Vert _{C}+ \bigl[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+2\Phi _{0} \bigr]T^{\varpi }. \end{aligned}$$

Remark 3.3

By \((Ax.2)\), for each \((\vartheta,x) \in {\mathfrak{J}}\),

$$\begin{aligned} \bigl\vert \Phi (\vartheta,x) \bigr\vert & = \bigl\vert \Phi ( \vartheta,x)-\Phi (\vartheta,0)+ \Phi (\vartheta,0) \bigr\vert \\ & \leq \bigl\vert \Phi (\vartheta,x)-\Phi (\vartheta,0) \bigr\vert + \bigl\vert \Phi (\vartheta,0) \bigr\vert \\ &\leq \mu \vert x \vert + \Phi _{0}, \end{aligned}$$

where \(\Phi _{0}=\sup_{s\in [0,T]_{{\mathbb{T}}}}|\Phi (s,0)|\).

We establish our existence results for IVP (1)–(3). The first result is based on the Banach contraction principle.

Theorem 3.4

Assume that (Ax.1)–(Ax.2) hold. If

$$\begin{aligned} T^{\omega } \biggl(\frac{\mu }{\Gamma (\varpi +1)} + \frac{\lambda T^{\varpi }}{\Gamma (\omega +\varpi +1)} \biggr) < 1, \end{aligned}$$
(8)

then there exists a unique solution for IVP (1)(3) defined on .

Proof

Define the operator \(\Xi: C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\to C([-\epsilon,T]_{{ \mathbb{T}}},{\mathbb{R}})\) by

$$\begin{aligned} \Xi (u) (\vartheta )= \textstyle\begin{cases} \zeta (\vartheta )& \text{if } \vartheta \in [-\epsilon,0]_{{\mathbb{T}}}, \\ \zeta (0)+\frac{(\phi -\Phi (0,\zeta (0))}{\Gamma (\varpi )}\int _{0}^{ \vartheta } (\vartheta -s)^{\varpi -1} \Delta s \\ \quad{}+\frac{1}{\Gamma (\varpi )}\int _{0}^{\vartheta } (\vartheta -s)^{ \varpi -1}\Phi (s,u_{s}) \Delta s \\ \quad{}+\frac{1}{\Gamma (\omega +\varpi )}\int _{0}^{\vartheta } (\vartheta -s)^{ \omega +\varpi -1}\Psi (s,u_{s}) \Delta s & \text{if } \vartheta \in [0,T]_{{ \mathbb{T}}}. \end{cases}\displaystyle \end{aligned}$$
(9)

Let \(u, v\in C([0,T]_{{\mathbb{T}}},{\mathbb{R}})\). Then, by \((Ax.1)\), \((Ax.2)\), we get

$$\begin{aligned} \bigl\vert \Xi (u) (\vartheta )-\Xi (v) (\vartheta ) \bigr\vert \le{}& \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta }(\vartheta -s)^{ \varpi -1} \bigl\vert \Phi (s,u_{s})-\Phi (s,v_{s}) \bigr\vert \Delta s \\ &{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta }( \vartheta -s)^{\omega +\varpi -1} \bigl\vert \Psi (s,u_{s})-\Psi (s,v_{s}) \bigr\vert \Delta s \\ \le{}& \frac{\mu }{\Gamma (\varpi )} \int _{0}^{\vartheta }(\vartheta -s)^{ \varpi -1} \Vert u_{s}-v_{s} \Vert _{C} \Delta s \\ &{} +\frac{\lambda }{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta }( \vartheta -s)^{\omega +\varpi -1} \Vert u_{s}-v_{s} \Vert _{C} \Delta s. \end{aligned}$$

On the other hand, by Lemma 2.6 we deduce

$$\begin{aligned} \bigl\vert \Xi (u) (\vartheta )-\Xi (v) (\vartheta ) \bigr\vert \le{}& \frac{\mu }{\Gamma (\varpi )} \int _{0}^{\vartheta }(\vartheta -s)^{ \varpi -1} \Vert u_{s}-v_{s} \Vert _{C} \,ds \\ & {}+\frac{\lambda }{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta }( \vartheta -s)^{\omega +\varpi -1} \Vert u_{s}-v_{s} \Vert _{C} \,ds \\ \le{}& \frac{\mu \vartheta ^{\varpi }}{\Gamma (\varpi +1)} \Vert u-v \Vert _{[- \epsilon,T]_{{\mathbb{T}}}} + \frac{\lambda \vartheta ^{\omega +\varpi }}{\Gamma (\omega +\varpi +1)} \Vert u-v \Vert _{[0,T]_{{\mathbb{T}}}} \\ \le{}& \frac{\mu T^{\varpi }}{\Gamma (\varpi +1)} \Vert u-v \Vert _{[-\epsilon,T]_{{ \mathbb{T}}}} + \frac{\lambda T^{\omega +\varpi }}{\Gamma (\omega +\varpi +1)} \Vert u-v \Vert _{[0,T]_{{ \mathbb{T}}}}. \end{aligned}$$

Thus

$$\begin{aligned} \bigl\Vert \Xi (u)-\Xi (v) \bigr\Vert _{[-\epsilon,T]_{{\mathbb{T}}}} \le T^{\omega } \biggl(\frac{\mu }{\Gamma (\varpi +1)} + \frac{\lambda T^{\varpi }}{\Gamma (\omega +\varpi +1)} \biggr) \Vert u-v \Vert _{[- \epsilon,T]_{{\mathbb{T}}}}. \end{aligned}$$

By (8), the operator Ξ is a contraction. Hence, by Banach’s contraction principle, Ξ has a unique fixed point, which is a unique solution on \([-\epsilon,T]_{{\mathbb{T}}}\) of problem (1)–(3). □

The second result is based on Leray–Schauder nonlinear alternative. Before the statement, we recall the notion of completely continuous. A bounded linear operator T from Banach space X to Banach space Y is called completely continuous if, for every weakly convergent sequence \({ (x_{n})}\) from X, the sequence \({ (Tx_{n})}\) is norm-convergent in Y.

Theorem 3.5

Assume that hypotheses (A2)–(A5) hold. If

$$\begin{aligned} \frac{\mu T^{\varpi }}{\Gamma (\varpi +1)}< 1, \end{aligned}$$
(10)

then IVP (1)(3) has at least one solution defined on .

Proof

We shall show that the operator \(\Xi: C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\to C([-\epsilon,T]_{{ \mathbb{T}}},{\mathbb{R}})\) defined by (9) is continuous and completely continuous.

Claim 1: Ξ is continuous. Let \(\{u_{n}\}\) be a sequence such that \(u_{n}\to y\) in \(C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\). Then

$$\begin{aligned} & \bigl\vert \Xi (u_{n}) (\vartheta )-\Xi (u) (\vartheta ) \bigr\vert \\ &\quad\leq \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1} \bigl\vert \Phi (s,u_{ns})-\Phi (s,u_{s}) \bigr\vert \Delta s \\ &\qquad{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } ( \vartheta -s )^{\omega +\varpi -1} \bigl\vert \Psi (s,u_{ns})-\Psi (s,u_{s}) \bigr\vert \Delta s \\ &\quad\leq \frac{1}{\Gamma (\varpi )} \int _{0}^{T} (\vartheta -s )^{ \varpi -1} \sup _{s\in [0,T]_{{\mathbb{T}}}} \bigl\vert \Phi (s,u_{ns}) -\Phi (s,u_{s}) \bigr\vert \Delta s \\ &\qquad{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{T} ( \vartheta -s )^{\omega +\varpi -1}\sup _{s\in [0,T]_{{\mathbb{T}}}} \bigl\vert \Psi (s,u_{ns}) -\Psi (s,u_{s}) \bigr\vert \Delta s \\ &\quad\leq \frac{ \Vert \Phi (\cdot,{u_{n}}_{.})-\Phi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\varpi )} \int _{0}^{T} (\vartheta -s )^{\omega -1}\Delta s \\ &\qquad{} + \frac{ \Vert \Psi (\cdot,{u_{n}}_{.})-\Psi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\omega +\varpi )} \int _{0}^{T} (\vartheta -s )^{\omega +\varpi -1}\Delta s. \end{aligned}$$

And by Lemma 2.6 we deduce

$$\begin{aligned} & \bigl\vert \Xi (u_{n}) (\vartheta )-\Xi (u) (\vartheta ) \bigr\vert \\ &\quad\leq \frac{ \Vert \Phi (\cdot,{u_{n}}_{.})-\Phi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\varpi )} \int _{0}^{T} (\vartheta -s )^{\omega -1}\,ds \\ &\qquad{} + \frac{ \Vert \Psi (\cdot,{u_{n}}_{.})-\Psi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\omega +\varpi )} \int _{0}^{T} (\vartheta -s )^{\omega +\varpi -1}\,ds \\ &\quad\leq \frac{T^{\varpi } \Vert \Phi (\cdot,{u_{n}}_{.})-\Phi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\varpi +1)} + \frac{T^{\omega +\varpi } \Vert \Psi (\cdot,{u_{n}}_{.})-\Psi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\omega +\varpi +1)}. \end{aligned}$$

Since \(\Psi, \Phi \) are continuous functions, we have

$$\begin{aligned} & \bigl\Vert \Xi (u_{n})-\Xi (u) \bigr\Vert _{\infty } \\ &\quad\leq \frac{T^{\varpi } \Vert \Phi (\cdot,{u_{n}}_{.}) -\Phi (\cdot,u_{.}) \Vert _{\infty }}{\Gamma (\varpi +1)} + \frac{T^{\omega +\varpi } \Vert \Psi (\cdot,{u_{n}}_{.})-\Psi (\cdot,u_{.}) \Vert _{\infty } }{\Gamma (\omega +\varpi +1)} \to 0 \end{aligned}$$

as \(n\to \infty \).

Claim 2: Ξ maps bounded sets into bounded sets in \(C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\). Indeed, it is sufficient to show that for any \(\kappa >0\) there exists a positive constant λ̃ such that, for each \(u\in {\mathcal {B}}_{\kappa }=\{u\in C([-\epsilon,T]_{{\mathbb{T}}},{ \mathbb{R}}): \|u\|_{\infty }\leq \kappa \}\), we have \(\|\Xi (u)\|_{\infty }\leq \tilde{\lambda }\). By (A4) and (A5), for each \(\vartheta \in \mathfrak{J}\), we have

$$\begin{aligned} \bigl\vert \Xi (u) (\vartheta ) \bigr\vert \leq{}& \Vert \zeta \Vert _{C}+ \frac{ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{ \vartheta } (\vartheta -s)^{\varpi -1} \Delta s \\ &{} + \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } ( \vartheta -s )^{\varpi -1} \bigl\vert \Phi (s,u_{s}) \bigr\vert \Delta s \\ & {}+\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } ( \vartheta -s )^{\omega +\varpi -1} \bigl\vert \Psi (s,u_{s}) \bigr\vert \Delta s \\ &\leq \Vert \zeta \Vert _{C}+ \frac{ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{ \vartheta } (\vartheta -s)^{\varpi -1} \Delta s \\ & {}+ \frac{\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\Delta s \\ & {}+ \frac{\psi ( \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}) \Vert \Upsilon \Vert _{\infty }}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\omega +\varpi -1} \Delta s, \end{aligned}$$

and by Lemma 2.6 we get

$$\begin{aligned} \bigl\vert \Xi (u) (\vartheta ) \bigr\vert \leq{}& \Vert \zeta \Vert _{C}+ \frac{ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{ \vartheta } (\vartheta -s)^{\varpi -1} \,ds \\ &{} + \frac{\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\,ds \\ &{} + \frac{\psi ( \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}) \Vert \Upsilon \Vert _{\infty }}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\omega +\varpi -1}\,ds \\ \leq{}& \Vert \zeta \Vert _{C}+ \frac{[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}]T^{\varpi }}{\Gamma (\varpi +1)} \\ &{} + \frac{[\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}]T^{\varpi }}{\Gamma (\varpi +1)} + \frac{[\psi ( \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}) \Vert \Upsilon \Vert _{\infty }]T^{\omega +\varpi }}{\Gamma (\omega +\varpi +1)} . \end{aligned}$$

Thus

$$\begin{aligned} \bigl\Vert \Xi (u) \bigr\Vert _{\infty } \leq{}& \Vert \zeta \Vert _{C}+ \frac{[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}]T^{\varpi }}{\Gamma (\varpi +1)} \\ & {}+\frac{(\mu \kappa +\Phi _{0})T^{\omega }}{\Gamma (\varpi +1)}+ \frac{\psi (\kappa ) \Vert \Upsilon \Vert _{\infty }T^{\omega +\varpi }}{\Gamma (\omega +\varpi +1)} :=\tilde{\lambda }. \end{aligned}$$

Claim 3: Ξ maps bounded sets into equicontinuous sets of \(C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\). Let \(\vartheta _{1}, \vartheta _{2}\in {\mathfrak{J}}\), \(\vartheta _{1}<\vartheta _{2}\), \({\mathcal {B}}_{\kappa }\) be a bounded set of \(C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\) as in Step 2, and let \(u\in {\mathcal {B}}_{\kappa }\). Then

$$\begin{aligned} & \bigl\vert \Xi (u) (\vartheta _{2})-\Xi (u) (\vartheta _{1}) \bigr\vert \\ & \quad\leq \frac{|(\phi -\Phi (0,\zeta (0))|}{\Gamma (\varpi )} \int _{0}^{ \vartheta _{1}} \bigl((\vartheta _{2}-s)^{\varpi -1} -(\vartheta _{1}-s)^{ \varpi -1} \bigr) \Delta s \\ &\qquad{} +\frac{|(\phi -\Phi (0,\zeta (0))|}{\Gamma (\varpi )} \int _{ \vartheta _{1}}^{\vartheta _{2}} (\vartheta _{2}-s)^{\varpi -1} \Delta s \\ & \qquad{}+\frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta _{1}} \bigl[ (\vartheta _{2}-s )^{\varpi -1}- (\vartheta _{1}-s )^{ \varpi -1} \bigr] \bigl\vert \Phi (s,u_{s}) \bigr\vert \Delta s \\ & \qquad{}+\frac{1}{\Gamma (\varpi )} \int _{\vartheta _{1}}^{\vartheta _{2}} (\vartheta _{2}-s )^{\omega -1} \bigl\vert \Phi (s,u_{s}) \bigr\vert \Delta s \\ &\qquad{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta _{1}} \bigl[ (\vartheta _{2}-s )^{ \omega +\varpi -1}- (\vartheta _{1}-s )^{\omega +\varpi -1} \bigr] \bigl\vert \Psi (s,u_{s}) \bigr\vert \Delta s \\ &\qquad{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{\vartheta _{1}}^{ \vartheta _{2}} (\vartheta _{2}-s )^{\omega +\varpi -1} \bigl\vert \Psi (s,u_{s}) \bigr\vert \Delta s, \end{aligned}$$

and by Lemma 2.6, we get

$$\begin{aligned} & \bigl\vert \Xi (u) (\vartheta _{2})-\Xi (u) (\vartheta _{1}) \bigr\vert \\ & \quad\leq \frac{|(\phi -\Phi (0,\zeta (0))|}{\Gamma (\varpi )} \int _{0}^{ \vartheta _{1}} \bigl((\vartheta _{2}-s)^{\varpi -1} -(\vartheta _{1}-s)^{ \varpi -1} \bigr) \,ds \\ &\qquad{} +\frac{|(\phi -\Phi (0,\zeta (0))|}{\Gamma (\varpi )} \int _{ \vartheta _{1}}^{\vartheta _{2}} (\vartheta _{2}-s)^{\varpi -1} \,ds \\ &\qquad{} +\frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta _{1}} \bigl[ (\vartheta _{2}-s )^{\varpi -1}- (\vartheta _{1}-s )^{ \varpi -1} \bigr] \bigl\vert \Phi (s,u_{s}) \bigr\vert \,ds \\ &\qquad{} +\frac{1}{\Gamma (\varpi )} \int _{\vartheta _{1}}^{\vartheta _{2}} (\vartheta _{2}-s )^{\omega -1} \bigl\vert \Phi (s,u_{s}) \bigr\vert \,ds \\ &\qquad{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta _{1}} \bigl[ (\vartheta _{2}-s )^{ \omega +\varpi -1}- (\vartheta _{1}-s )^{\omega +\varpi -1} \bigr] \bigl\vert \Psi (s,u_{s}) \bigr\vert \,ds \\ &\qquad{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{\vartheta _{1}}^{ \vartheta _{2}} (\vartheta _{2}-s )^{\omega +\varpi -1} \bigl\vert \Psi (s,u_{s}) \bigr\vert \,ds. \end{aligned}$$

Thus

$$\begin{aligned} & \bigl\vert \Xi (u) (\vartheta _{2})-\Xi (u) (\vartheta _{1}) \bigr\vert \\ &\quad\leq \frac{ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}}{\Gamma (\varpi +1)} \bigl[ \vartheta _{2}^{\varpi }- \vartheta _{1}^{\varpi }\bigr] \\ &\qquad{} +\frac{\mu \kappa +\Phi _{0}}{\Gamma (\varpi +1)} \bigl[ \bigl\vert \vartheta _{2}^{\varpi }- \vartheta _{1}^{\varpi } \bigr\vert + \vert \vartheta _{2}- \vartheta _{1} \vert ^{\varpi }\bigr] \\ & \qquad{}+ \frac{\psi (\kappa ) \Vert \Upsilon \Vert _{\infty }}{\Gamma (\omega +\varpi +1)} \bigl[ \bigl\vert \vartheta _{2}^{\omega +\varpi }- \vartheta _{1}^{\omega + \varpi } \bigr\vert + \vert \vartheta _{2}-\vartheta _{1} \vert ^{\omega +\varpi } \bigr]. \end{aligned}$$

As \(\vartheta _{1}\to \vartheta _{2}\), the right-hand side of the above inequality tends to zero. The equicontinuity for the cases \(\vartheta _{1}<\vartheta _{2}\leq 0\) and \(\vartheta _{1}\leq 0\leq \vartheta _{2}\) is obvious. As a consequence of Steps 1 to 3, it follows by the Arzelá–Ascoli theorem that \(\Xi:C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\to C([-\epsilon,T]_{{ \mathbb{T}}},{\mathbb{R}})\) is continuous and completely continuous.

Claim 4: We show that there exists an open set \(U\subseteq C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\) with \(u\ne \ell \Xi (u)\) for \(\ell \in (0,1)\) and \(u\in \partial U\). Let \(u\in C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\) and \(u=\ell \Xi (u)\) for some \(0<\ell <1\). Then, for each \(\vartheta \in \mathfrak{J}\), we have

$$\begin{aligned} u(\vartheta )={}& \ell \biggl(\zeta (0)+\bigl(\phi -\Phi \bigl(0,\zeta (0)\bigr) \bigr) \frac{\int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\Delta s}{\Gamma (\varpi )} +\frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\Phi (s,u_{s})\Delta s \\ &{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } ( \vartheta -s )^{\omega +\varpi -1}\Psi (s,u_{s})\Delta s \biggr). \end{aligned}$$

By our assumptions, for each \(\vartheta \in {\mathfrak{J}}\), we obtain

$$\begin{aligned} \bigl\vert u(\vartheta ) \bigr\vert \leq {}&\Vert \zeta \Vert _{C}+\bigl[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+ \Phi _{0}\bigr] \frac{\int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\Delta s}{\Gamma (\varpi )} \\ & {}+ \frac{\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\Delta s \\ &{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } ( \vartheta -s )^{\omega +\varpi -1} \Upsilon (s)\psi \bigl( \Vert u_{s} \Vert _{C}\bigr) \Delta s \\ \leq{}& \Vert \zeta \Vert _{C}+\bigl[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C}+\Phi _{0}\bigr] \frac{\int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\,ds}{\Gamma (\varpi )} \\ &{} + \frac{\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\,ds \\ &{} +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{\vartheta } ( \vartheta -s )^{\omega +\varpi -1} \Upsilon (s)\psi \bigl( \Vert u_{s} \Vert _{C}\bigr)\,ds \\ \leq{}& \Vert \zeta \Vert _{C}+ \frac{ [ \vert \phi \vert +\mu \Vert \zeta \Vert _{C} +\Phi _{0} ]T^{\varpi }}{\Gamma (\varpi +1)} \\ &{} + \frac{\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}}{\Gamma (\varpi +1)}T^{ \varpi } + \frac{ \Vert \Upsilon \Vert _{\infty }\psi ( \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}})}{\Gamma (\omega +\varpi +1)} T^{\omega +\varpi }. \end{aligned}$$

Then

$$\begin{aligned} \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}} \leq{}& \Vert \zeta \Vert _{C}+ \frac{[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C} +\Phi _{0}]T^{\varpi }}{\Gamma (\varpi +1)} \\ &{} + \frac{\mu \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}+\Phi _{0}}{\Gamma (\varpi +1)}T^{ \varpi }+ \frac{ \Vert \Upsilon \Vert _{\infty }\psi ( \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}})}{\Gamma (\omega +\varpi +1)} T^{\omega +\varpi }. \end{aligned}$$

Thus

$$\begin{aligned} \bigl(\Gamma (\varpi +1)-\mu T^{\varpi } \bigr) \Vert u \Vert _{[-\epsilon,T]_{{ \mathbb{T}}}} \leq{}& \Gamma (\varpi +1) \Vert \zeta \Vert _{C}+ \bigl[ \vert \phi \vert +\mu \Vert \zeta \Vert _{C} +2\Phi _{0}\bigr]T^{\varpi } \\ &{} +T^{\omega +\varpi } \Vert \Upsilon \Vert _{\infty }\psi \bigl( \Vert y \Vert _{[- \epsilon,T]_{{\mathbb{T}}}} \bigr) \frac{\Gamma (\varpi +1)}{\Gamma (\omega +\varpi +1)}, \end{aligned}$$

which can be expressed as

$$\begin{aligned} \frac{ (\Gamma (\varpi +1)-\mu T^{\varpi } ) \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}}{{\mathbf {H}}+T^{\omega +\varpi }\psi ( \Vert u \Vert _{[-\epsilon,T]_{{\mathbb{T}}}}) \Vert \Upsilon \Vert _{\infty } \frac{\Gamma (\varpi +1)}{\Gamma (\omega +\varpi +1)}}\le 1. \end{aligned}$$

In view of (A6), there exists L such that \(\|u\|_{[-\epsilon,T]_{{\mathbb{T}}}} \ne {\mathbf{L}}\). Let us set

$$\begin{aligned} U = \bigl\{ u \in C\bigl([-\epsilon,T]_{{\mathbb{T}}}, {\mathbb{R}}\bigr): \Vert u \Vert _{[- \epsilon,T]_{{\mathbb{T}}}} < {\mathbf{L}}\bigr\} . \end{aligned}$$

Moreover the operator \(\Xi:\overline{U} \to C([-\epsilon,T]_{{\mathbb{T}}},{\mathbb{R}})\) is continuous and completely continuous. From the choice of U, there is no \(u \in \partial U\) such that \(u=\ell \Xi u\) for some \(\ell \in (0,1)\). Thus, by the nonlinear alternative of Leray–Schauder type Lemma 2.10, we deduce that Ξ has a fixed point \(u \in \overline{U}\) which is a solution of problem (1)–(3). □

The second existence result is based on Krasnoselskii’s fixed point theorem.

Theorem 3.6

Assume that (Ax.2)–(Ax.3), (10) hold, and

  1. (Ax.6)

    \(|\Psi (\vartheta,x)| \leq {\chi _{1}}(\vartheta )\), \(|\Phi (\vartheta,x)|\le {\chi _{2}}(\vartheta )\) for all \((\vartheta,x)\in \mathfrak{J}\times {\mathbb{R}}\), where \({\chi _{1}}, {\chi _{2}}\in C(\mathfrak{J},{\mathbb{R}}^{+})\).

Then problem (1)(3) has at least one solution defined on .

Proof

Let the operators \({\mathcal {Q}}_{1}\) and \({\mathcal {Q}}_{2}\):

$$\begin{aligned} & {\mathcal {Q}}_{1}u(\vartheta ) = \textstyle\begin{cases} 0 & \text{if } \vartheta \in [-\epsilon,0]_{{\mathbb{T}}}, \\ (\phi -\Phi (0,\zeta (0)) \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\varpi -1}\Delta s \\ \quad{}+ \frac{1}{\Gamma (\varpi )}\int _{0}^{\vartheta } ( \vartheta -s )^{\varpi -1} \Phi (s,u_{s}) \Delta s &\text{if } \vartheta \in [0,T]_{{\mathbb{T}}}, \end{cases}\displaystyle \end{aligned}$$
(11)
$$\begin{aligned} &{\mathcal {Q}}_{2}u(t) = \textstyle\begin{cases} \zeta (\vartheta )& \text{if } \vartheta \in [-\epsilon,0]_{{\mathbb{T}}}, \\ \zeta (0) + \frac{1}{\Gamma (\omega +\varpi )}\int _{0}^{ \vartheta } (\vartheta -s )^{\omega +\varpi -1}\Psi (s,u_{s}) \Delta s & \text{if } \vartheta \in [0,T]_{{\mathbb{T}}}. \end{cases}\displaystyle \end{aligned}$$
(12)

Put

$$\begin{aligned} \sup_{\vartheta \in [0,T]_{{\mathbb{T}}}} {\chi _{1}}(\vartheta )= \Vert {\chi _{1}} \Vert _{\infty },\qquad \sup_{\vartheta \in [0,T]_{{\mathbb{T}}}} {\chi _{2}}(\vartheta )= \Vert {\chi _{2}} \Vert _{\infty } \end{aligned}$$

and

$$\begin{aligned} \varrho \geq \Vert \zeta \Vert _{C} +T^{\varpi } \biggl[ \frac{ [ \vert \phi \vert +2 \Vert {\chi _{2}} \Vert _{\infty } ]}{\Gamma (\varpi +1)}+ \frac{T^{\omega } \Vert {\chi _{1}} \Vert _{\infty }}{\Gamma (\omega +\varpi +1)} \biggr], \end{aligned}$$
(13)

and define \({\mathcal {D}}_{\varrho } = \{u \in C([\epsilon,T]_{{\mathbb{T}}},{ \mathbb{R}}):\|u\|_{\infty }\leq \varrho \}\).

Claim 1: For any \(u, v \in {\mathcal {D}}_{\varrho }\): \({\mathcal {Q}}_{1}u+{\mathcal {Q}}_{2}v \in {\mathcal {D}}_{\varrho } \): For any \(u, v \in {\mathcal {D}}_{\varrho }\), by (11), (12), and Lemma 2.6, we have

$$\begin{aligned} & \bigl\vert {\mathcal {Q}}_{1}u(\vartheta )+{\mathcal {Q}}_{2}v(\vartheta ) \bigr\vert \\ & \quad\leq \sup_{\vartheta \in [0,T]_{{\mathbb{T}}}} \biggl\{ \frac{(\phi -\Phi (0,\zeta (0))}{\Gamma (\varpi )} \int _{0}^{ \vartheta } (\vartheta -s )^{\varpi -1}\Delta s+ \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\omega -1}\Phi (s,u_{s})\Delta s \\ &\qquad{} +\zeta (0) +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{ \vartheta } (\vartheta -s )^{\omega +\varpi -1}\Psi (s,v_{s}) \Delta s \biggr\} \\ &\quad \leq \sup_{\vartheta \in [0,T]_{{\mathbb{T}}}} \biggl\{ \frac{(\phi -\Phi (0,\zeta (0))}{\Gamma (\varpi )} \int _{0}^{ \vartheta } (\vartheta -s )^{\varpi -1}\,ds+ \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta } (\vartheta -s )^{\omega -1}\Phi (s,u_{s})\,ds \\ & \qquad{}+\zeta (0) +\frac{1}{\Gamma (\omega +\varpi )} \int _{0}^{ \vartheta } (\vartheta -s )^{\omega +\varpi -1}\Psi (s,v_{s}) \,ds \biggr\} \\ & \quad\leq \Vert \zeta \Vert _{C} + T^{\varpi } \biggl[ \frac{ [ \vert \phi \vert +2 \Vert {\chi _{2}} \Vert _{\infty } ]}{\Gamma (\varpi +1)}+ \frac{T^{\omega } \Vert {\chi _{1}} \Vert _{\infty }}{\Gamma (\omega +\varpi +1)} \biggr] \\ & \quad\le \varrho. \end{aligned}$$

This shows that \({\mathcal {Q}}_{1}y+{\mathcal {Q}}_{2}z \in {\mathcal {D}}_{\varrho }\).

Claim 2: \({\mathcal {Q}}_{1}\) is a contraction mapping on \({\mathcal {D}}_{\varrho }\) :

Let \(u, v\in {\mathcal {D}}_{\varrho }\). Then, by (11) and Lemma 2.6,

$$\begin{aligned} \bigl\vert {\mathcal {Q}}_{1}(u) (\vartheta )-{\mathcal {Q}}_{1}(v) (\vartheta ) \bigr\vert & \le \frac{1}{\Gamma (\varpi )} \int _{0}^{\vartheta }(\vartheta -s)^{ \varpi -1} \bigl\vert \Phi (s,u_{s})-\Phi (s,v_{s}) \bigr\vert \Delta s \\ &\le \frac{\mu }{\Gamma (\varpi )} \int _{0}^{\vartheta }(\vartheta -s)^{ \varpi -1} \Vert u_{s}-v_{s} \Vert _{C} \Delta s \\ &\le \frac{\mu }{\Gamma (\varpi )} \int _{0}^{\vartheta }(\vartheta -s)^{ \varpi -1} \Vert u_{s}-v_{s} \Vert _{C} \,ds \\ &\le \frac{\mu \vartheta ^{\varpi }}{\Gamma (\varpi +1)} \Vert u-v \Vert _{[- \epsilon,T]_{{\mathbb{T}}}} \\ &\le \frac{\mu T^{\varpi }}{\Gamma (\varpi +1)} \Vert u-v \Vert _{[-\epsilon,T]_{{ \mathbb{T}}}}. \end{aligned}$$

Thus

$$\begin{aligned} \bigl\Vert {\mathcal {Q}}_{1}(u)-{\mathcal {Q}}_{1}(v) \bigr\Vert _{[-\epsilon,T]_{{ \mathbb{T}}}} \le \frac{\mu T^{\omega }}{\Gamma (\varpi +1)} \Vert u-v \Vert _{[- \epsilon,T]_{{\mathbb{T}}}}. \end{aligned}$$

And by (10), \({\mathcal {Q}}_{1}\) is a contraction mapping.

Claim 3: \({\mathcal {Q}}_{2}\) is continuous: Clearly \({\mathcal {Q}}_{2}\) is continuous because Ψ is continuous. Moreover, \({\mathcal {Q}}_{2}\) is uniformly bounded on \(D_{\varrho }\) as

$$\begin{aligned} \Vert {\mathcal {Q}}_{2}u \Vert \leq \Vert \zeta \Vert _{C}+ \frac{T^{\omega +\varpi } \Vert {\chi _{1}} \Vert _{\infty }}{\Gamma (\omega +\varpi +1)}. \end{aligned}$$

Claim 4: \({\mathcal {Q}}_{2}\) is equicontinuous: Define

$$\begin{aligned} \Psi _{0}= \sup_{(\vartheta,u)\in [0,T]_{{\mathbb{T}}}\times { \mathcal {D}}_{\varrho }} \bigl\vert \Psi ( \vartheta,u) \bigr\vert < \infty. \end{aligned}$$

For \(\vartheta _{1},\vartheta _{2}\in [0, T]_{{\mathbb{T}}}\), \(\vartheta _{1}<\vartheta _{2}\), by (12) and Lemma 2.6, we have

$$\begin{aligned} & \bigl\vert {\mathcal {Q}}_{2}u(\vartheta _{2})-{ \mathcal {Q}}_{2}u(\vartheta _{1}) \bigr\vert \\ &\quad \le \frac{\Psi _{0}}{\Gamma (\omega +\varpi )} \int _{0}^{ \vartheta _{1}} \bigl\vert (\vartheta _{2}-s )^{ \omega +\varpi -1}- (\vartheta _{1}-s )^{\omega +\varpi -1} \bigr\vert \Delta s \\ &\qquad{} +\frac{\Psi _{0}}{\Gamma (\omega +\varpi )} \int _{\vartheta _{1}}^{ \vartheta _{2}} (\vartheta _{2}-s )^{\omega +\varpi -1}\Delta s \\ & \quad\le \frac{\Psi _{0}}{\Gamma (\omega +\varpi )} \int _{0}^{ \vartheta _{1}} \bigl\vert (\vartheta _{2}-s )^{ \omega +\varpi -1}- (\vartheta _{1}-s )^{\omega +\varpi -1} \bigr\vert \,ds \\ & \qquad{}+\frac{\Psi _{0}}{\Gamma (\omega +\varpi )} \int _{\vartheta _{1}}^{ \vartheta _{2}} (\vartheta _{2}-s )^{\omega +\varpi -1}\,ds \\ &\quad\leq \frac{\Psi _{0}}{\Gamma (\omega +\varpi +1)} \bigl[ \bigl\vert \vartheta _{2}^{\omega +\varpi }- \vartheta _{1}^{\omega +\varpi } \bigr\vert + \vert \vartheta _{2}-\vartheta _{1} \vert ^{\omega +\varpi } \bigr]. \end{aligned}$$

As \(\vartheta _{1} \rightarrow \vartheta _{2}\), the right-hand side of the above inequality tends to zero. Thus, \({\mathcal {Q}}_{2}\) is equicontinuous. So \({\mathcal {Q}}_{2}\) is relatively compact on \({\mathcal {D}}_{\varrho }\). Hence, by the Arzelá–Ascoli theorem, \({\mathcal {Q}}_{2}\) is compact on \({\mathcal {D}}_{\varrho }\). So, by Lemma 2.11, problem (1)–(3) has at least one solution on \([-\epsilon,T]_{{\mathbb{T}}}\). □

4 Examples

Example 1

Let \(\mathbb{T}\) be a time scale and let us consider the fractional functional differential equation

$$\begin{aligned} &{}^{c}\Delta ^{1/3} \biggl[{}^{c}\Delta ^{1/2}u(\vartheta )-\frac{1}{1000} \bigl(\vartheta \cos \Vert u_{\vartheta } \Vert _{C}- \Vert u_{\vartheta } \Vert _{C}\sin \vartheta \bigr) \biggr]=\frac{1}{100e^{\vartheta }} \frac{ \Vert u_{\vartheta } \Vert _{C}}{5+ \Vert u_{\vartheta } \Vert _{C}}, \end{aligned}$$
(14)
$$\begin{aligned} &\vartheta \in {\mathfrak{J}}:=[0,1]\cap {\mathbb{T}}, \\ &u(\vartheta )=\zeta (\vartheta ), \quad\vartheta \in [-\epsilon,0] \cap {\mathbb{T}}, \end{aligned}$$
(15)
$$\begin{aligned} & D^{1/2}u(0)=1/3. \end{aligned}$$
(16)

Let

$$\begin{aligned} &\Psi (\vartheta,x)=\frac{1}{100e^{\vartheta }}\frac{x}{5+x},\\ & \Phi (\vartheta,x)= \frac{1}{1000} (\vartheta \cos x-x\sin \vartheta ),\qquad (\vartheta,x)\in [0,1]\cap {\mathbb{T}} \times [0,\infty ). \end{aligned}$$

For \(u, v\in [0,\infty )\) and \(\vartheta \in {\mathfrak{J}}\), we have

$$\begin{aligned} \bigl\vert \Psi (\vartheta,u)-\Psi (\vartheta,v) \bigr\vert &= \frac{1}{100e^{\vartheta }} \biggl\vert \frac{u}{5+u}-\frac{v}{5+v} \biggr\vert \\ & = \frac{5 \vert u-v \vert }{100e^{\vartheta }(5+u)(5+v)} \\ &\leq \frac{1}{500} \vert u-v \vert , \end{aligned}$$

and

$$\begin{aligned} \bigl|\Phi (\vartheta,u)-\Phi (\vartheta,v)\bigr| & \leq \frac{1}{1000} \vert \vartheta \vert \vert \cos u-\cos v \vert +\frac{1}{1000} \vert \sin \vartheta \vert \vert u-v \vert \\ & \leq \frac{1}{1000} \vert u-v \vert +\frac{1}{1000} \vert u-v \vert \\ &\leq \frac{1}{500}\bigl( \vert u-v \vert \bigr). \end{aligned}$$

And

$$\begin{aligned} T^{\omega } \biggl(\frac{\mu }{\Gamma (\varpi +1)} + \frac{\lambda T^{\varpi }}{\Gamma (\omega +\varpi +1)} \biggr)&= \biggl(\frac{\frac{1}{500}}{\Gamma (1/2+1)} + \frac{\frac{1}{500} }{\Gamma (1/3+1/2+1)} \biggr) \\ &= \frac{1}{500} \biggl(\frac{1}{\Gamma (3/2)} + \frac{1}{\Gamma (11/6)} \biggr) \\ &\approx 0.00438511892015845 \\ &< 1. \end{aligned}$$

Hence conditions (A1) and (A2) hold with \(\lambda =\mu = \frac{1}{500}\). By Theorem 3.4, problem (14)–(16) has a unique solution on \([-\epsilon,1]_{\mathbb{T}}\).

Example 2

Let \(\mathbb{T}\) be a time scale and let us consider the fractional functional differential equation

$$\begin{aligned} &{}^{c}\Delta ^{1/5} \biggl[{}^{c}\Delta ^{1/2}u(\vartheta )- \frac{1}{100e^{\vartheta }(1+ \Vert u_{\vartheta } \Vert _{C})} \biggr]= \frac{e^{-\vartheta }}{111+e^{\vartheta }} \frac{ \Vert u_{\vartheta } \Vert _{C}}{1+ \Vert u_{\vartheta } \Vert _{C}}, \end{aligned}$$
(17)
$$\begin{aligned} &\vartheta \in {\mathfrak{J}}:=[0,1]\cap {\mathbb{T}}, \\ &u(\vartheta )=\zeta (\vartheta ),\qquad \vartheta \in [-\epsilon,0] \cap {\mathbb{T}}, \end{aligned}$$
(18)
$$\begin{aligned} & D^{1/2}u(0)=1/3. \end{aligned}$$
(19)

Let

$$\begin{aligned} \Psi (\vartheta,x)=\frac{e^{-\vartheta }}{111+e^{\vartheta }} \frac{x}{1+x}, \qquad\Phi (\vartheta,x)= \frac{1}{100e^{\vartheta }(1+x)}, \qquad(\vartheta,x)\in [0,1]\cap { \mathbb{T}}\times [0,\infty ). \end{aligned}$$

(Ax.2) is clearly satisfied. Indeed, for \(u, v\in [0,\infty )\) and \(\vartheta \in {\mathfrak{J}}\), we have

$$\begin{aligned} \bigl|\Phi (\vartheta,u)-\Phi (\vartheta,v)\bigr| &= \frac{1}{100e^{\vartheta }} \biggl\vert \frac{1}{1+u}-\frac{1}{1+v} \biggr\vert \\ & = \frac{ \vert u-v \vert }{100e^{\vartheta }(1+u)(1+v)} \\ &\leq \frac{1}{100} \vert u-v \vert . \end{aligned}$$

Clearly,

$$\begin{aligned} &\bigl\vert \Psi (\vartheta, x) \bigr\vert \le \frac{e^{-\vartheta }}{111+e^{\vartheta }}={\chi _{1}}(\vartheta ),\\ &\bigl\vert \Phi (\vartheta, x) \bigr\vert \le \frac{1}{100e^{\vartheta }}={\chi _{2}}( \vartheta ), \end{aligned}$$

and

$$\begin{aligned} \frac{\mu T^{\varpi }}{\Gamma (\varpi +1)}=\frac{1}{100\Gamma (3/2)}= \frac{1}{50 \sqrt{\pi }} \approx 0.0112837916709551< 1. \end{aligned}$$

Clearly, the assumptions of Theorem 3.6 are satisfied. Consequently, by the conclusion of Theorem 3.6, there exists a solution of problem (14)–(16) on \([-\epsilon,1]_{\mathbb{T}}\).

Availability of data and materials

The data and material used to support the findings of this study are included within the article.

References

  1. Abbas, S., Benchohra, M., Graef, J.R., Henderson, J.: Implicit Fractional Differential and Integral Equations Existence and Stability. de Gruyter, Berlin (2018)

    Book  Google Scholar 

  2. Abbas, S., Benchohra, M., Lazreg, J.E., Alsaedi, A., Zhou, Y.: Existence and Ulam stability for fractional differential equations of Hilfer–Hadamard type. Adv. Differ. Equ. 2017, Article ID 180 (2017)

    Article  MathSciNet  Google Scholar 

  3. Abbas, S., Benchohra, M., Lazreg, J.E., Zhou, Y.: A survey on Hadamard and Hilfer fractional differential equations: analysis and stability. Chaos Solitons Fractals 102, 47–71 (2017)

    Article  MathSciNet  Google Scholar 

  4. Abbas, S., Benchohra, M., N’Guérékata, G.M.: Topics in Fractional Differential Equations. Springer, New York (2012)

    Book  Google Scholar 

  5. Abbas, S., Benchohra, M., N’Guérékata, G.M.: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2014)

    MATH  Google Scholar 

  6. Abdeljawad, A., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11, 686 (2019)

    Article  Google Scholar 

  7. Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)

    Google Scholar 

  8. Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. https://doi.org/10.1002/mma.665

  9. Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 2015, Article ID 286 (2015)

    Article  MathSciNet  Google Scholar 

  10. Afshari, H., Karapınar, E.: A discussion on the existence of positive solutions of the boundary value problems via ψ-Hilfer fractional derivative on b-metric spaces. Adv. Differ. Equ. 2020, Article ID 616 (2020)

    Article  MathSciNet  Google Scholar 

  11. Agarwal, R., O’Regan, D., Saker, S.: Dynamic Inequalities on Time Scales. Springer, Berlin (2014)

    Book  Google Scholar 

  12. Agarwal, R.P., Aksoy, U., Karapinar, E., Erhan, I.M.: F-contraction mappings on metric-like spaces in connection with integral equations on time scales. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(3), Article ID 147 (2020)

    Article  MathSciNet  Google Scholar 

  13. Ahmad, B., Ntouyas, S.: Existence and uniqueness of solutions for Caputo–Hadamard sequential fractional order neutral functional differential equations. Electron. J. Differ. Equ. 2017, Article ID 36 (2017)

    Article  MathSciNet  Google Scholar 

  14. Ahmadkhanlu, A., Jahanshahi, M.: On the existence and uniqueness of solution of initial value problem for fractional order differential equations on time scales. Bull. Iranian Math. Soc. 38(1), 241–252 (2012)

    MathSciNet  MATH  Google Scholar 

  15. Alqahtani, B., Aydi, H., Karapınar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)

    Article  Google Scholar 

  16. Aulbach, B., Hilger, S.: A unified approach to continuous and discrete dynamics. In: Qualitative Theory of Differential Equations, Szeged, 1988. Colloq. Math. Soc. János Bolyai, vol. 53, pp. 37–56. North-Holland, Amsterdam (1990)

    Google Scholar 

  17. Baleanu, D., Güvenç, Z.B., Machado, J.A.T.: New Trends in Nanotechnology and Fractional Calculus Applications. Springer, New York (2010)

    Book  Google Scholar 

  18. Benkhettou, N., Brito da Cruz, A.M.C., Torres, D.F.M.: A fractional calculus on arbitrary time scales: fractional differentiation and fractional integration. Signal Process. 107, 230–237 (2015)

    Article  Google Scholar 

  19. Benkhettou, N., Hassani, S., Torres, D.F.M.: A conformable fractional calculus on arbitrary time scales. J. King Saud Univ., Sci. 28, 93–98 (2016)

    Article  Google Scholar 

  20. Bohner, M., Georgiev, S.G.: Multivariable Dynamic Calculus on Time Scales. Springer, Berlin (2016)

    Book  Google Scholar 

  21. Bohner, M., Peterson, A.: Dynamic Equations on Time Scales. Birkhäuser, Boston (2001)

    Book  Google Scholar 

  22. Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)

    Book  Google Scholar 

  23. Devaraj, V., Kuppusamy, K., Seenith, S.: On the behavior of solutions of fractional differential equations on time scale via Hilfer fractional derivatives. Fract. Calc. Appl. Anal. 21(4), 1120–1138 (2018)

    Article  MathSciNet  Google Scholar 

  24. Georgiev, S.: Fractional Dynamic Calculus and Fractional Dynamic Equations on Time Scales. Springer, Berlin (2018)

    Book  Google Scholar 

  25. Georgiev, S.G.: Integral Equations on Time Scales. Atlantis Press, Paris (2016)

    Book  Google Scholar 

  26. Georgiev, S.G.: Fractional Dynamic Calculus and Fractional Dynamic Equations on Time Scales. Springer, Berlin (2018)

    Book  Google Scholar 

  27. Georgiev, S.G.: Functional Dynamic Equations on Time Scales. Springer, Berlin (2019)

    Book  Google Scholar 

  28. Hilger, S.: Analysis on measure chains a unified approach to continuous and discrete calculus. Results Math. 18(1–2), 18–56 (1990)

    Article  MathSciNet  Google Scholar 

  29. Karapinar, E., Abdeljawad, T., Jarad, F.: Applying new fixed point theorems on fractional and ordinary differential equations. Adv. Differ. Equ. 2019, 421 (2019)

    Article  MathSciNet  Google Scholar 

  30. Karapinar, E., Duy Binh, H., Hoang Luc, N., Huu, N.: Can on continuity of the fractional derivative of the time-fractional semilinear pseudo-parabolic systems. Adv. Differ. Equ. 2021, 70 (2021). https://doi.org/10.1186/s13662-021-03232-z

    Article  Google Scholar 

  31. Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential equations. Mathematics 7, 444 (2019)

    Article  Google Scholar 

  32. Vipin, K., Muslim, M.: Existence and stability results of nonlinear fractional differential equations with nonlinear integral boundary condition on time scales. Appl. Appl. Math. 2020(6), 129–145 (2020)

    MathSciNet  MATH  Google Scholar 

  33. Wang, C., Agarwal, R.P., O’Regan, D., Sakthivel, R.: Theory of Translation Closedness for Time Scales. Springer, Berlin (2020)

    Book  Google Scholar 

  34. Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)

    Book  Google Scholar 

Download references

Acknowledgements

Authors thank their own institutes. We are also grateful to the referees for the careful reading of the paper and for their helpful remarks and suggestions.

Funding

We declare that funding is not applicable for our paper.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Erdal Karapinar.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lazreg, J.E., Benkhettou, N., Benchohra, M. et al. Neutral functional sequential differential equations with Caputo fractional derivative on time scales. Fixed Point Theory Algorithms Sci Eng 2022, 6 (2022). https://doi.org/10.1186/s13663-022-00716-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-022-00716-9

MSC

Keywords