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.

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.

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}

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}

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$$.

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}}}$$. □

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)

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)

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)

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

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

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)

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)

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)

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)

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

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)

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)

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)

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

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)

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

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)

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)

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

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

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

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)

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

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

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

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

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

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

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

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)

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)

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

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

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

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

Reprints and Permissions

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

• Accepted:

• Published:

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

• 26A33
• 34A08

Keywords

• Initial value problem
• Caputo’s fractional derivative
• Sequential neutral functional differential equations
• Fractional integral
• Fixed point
• Existence
• Time scale