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.
Similar content being viewed by others
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 [2–10, 15, 17, 29–31, 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, 18–22, 24–27, 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:
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:
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
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:
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}\):
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
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
Also \(C_{\epsilon }\) is endowed with the norm
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 [20–22, 24–27]).
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 m̅) 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 m̅, then \({\mathbb{T}^{\kappa }}:={\mathbb{T}} \setminus \{\overline{m}\}\); otherwise, \(\mathbb{T}^{\kappa }:=\mathbb{T}\).
Definition 2.3
Assume \(h: \mathbb{T}\rightarrow \mathbb{R}\) and let \(\tau \in \mathbb{T}^{\kappa }\). We define
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
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
then
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
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
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
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
-
(i)
F has a fixed point in U̅, or
-
(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
if and only if
Proof
Using \({}^{c}\Delta ^{\omega }[{}^{c}\Delta ^{\varpi }u(\vartheta )-\Phi ( \vartheta,u_{\vartheta })]=\Psi (\vartheta,u_{\vartheta }), \vartheta \in {\mathfrak{J}}\), we get
where \(\alpha \in {\mathbb{R}}\). From the condition \(D^{\varpi }u(0)=\phi \) we find that \(\alpha =\phi -\Phi (0,\zeta (0))\). Then
Thus
We find \(\beta =\zeta (0)\), and (6) is proved. The converse follows by direct computation. □
Assumptions: We need the following assumptions:
-
(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}$$ -
(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}$$ -
(Ax.3)
\(\Psi, \Phi:{\mathfrak{J}} \times C_{\epsilon }\to {\mathbb{R}}\) are continuous functions;
-
(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}$$ -
(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}}\),
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
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
Let \(u, v\in C([0,T]_{{\mathbb{T}}},{\mathbb{R}})\). Then, by \((Ax.1)\), \((Ax.2)\), we get
On the other hand, by Lemma 2.6 we deduce
Thus
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
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
And by Lemma 2.6 we deduce
Since \(\Psi, \Phi \) are continuous functions, we have
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
and by Lemma 2.6 we get
Thus
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
and by Lemma 2.6, we get
Thus
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
By our assumptions, for each \(\vartheta \in {\mathfrak{J}}\), we obtain
Then
Thus
which can be expressed as
In view of (A6), there exists L such that \(\|u\|_{[-\epsilon,T]_{{\mathbb{T}}}} \ne {\mathbf{L}}\). Let us set
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
-
(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}\):
Put
and
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
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,
Thus
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
Claim 4: \({\mathcal {Q}}_{2}\) is equicontinuous: Define
For \(\vartheta _{1},\vartheta _{2}\in [0, T]_{{\mathbb{T}}}\), \(\vartheta _{1}<\vartheta _{2}\), by (12) and Lemma 2.6, we have
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
Let
For \(u, v\in [0,\infty )\) and \(\vartheta \in {\mathfrak{J}}\), we have
and
And
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
Let
(Ax.2) is clearly satisfied. Indeed, for \(u, v\in [0,\infty )\) and \(\vartheta \in {\mathfrak{J}}\), we have
Clearly,
and
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
Abbas, S., Benchohra, M., Graef, J.R., Henderson, J.: Implicit Fractional Differential and Integral Equations Existence and Stability. de Gruyter, Berlin (2018)
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)
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)
Abbas, S., Benchohra, M., N’Guérékata, G.M.: Topics in Fractional Differential Equations. Springer, New York (2012)
Abbas, S., Benchohra, M., N’Guérékata, G.M.: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2014)
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)
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)
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
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 2015, Article ID 286 (2015)
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)
Agarwal, R., O’Regan, D., Saker, S.: Dynamic Inequalities on Time Scales. Springer, Berlin (2014)
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)
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)
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)
Alqahtani, B., Aydi, H., Karapınar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)
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)
Baleanu, D., Güvenç, Z.B., Machado, J.A.T.: New Trends in Nanotechnology and Fractional Calculus Applications. Springer, New York (2010)
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)
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)
Bohner, M., Georgiev, S.G.: Multivariable Dynamic Calculus on Time Scales. Springer, Berlin (2016)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales. Birkhäuser, Boston (2001)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
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)
Georgiev, S.: Fractional Dynamic Calculus and Fractional Dynamic Equations on Time Scales. Springer, Berlin (2018)
Georgiev, S.G.: Integral Equations on Time Scales. Atlantis Press, Paris (2016)
Georgiev, S.G.: Fractional Dynamic Calculus and Fractional Dynamic Equations on Time Scales. Springer, Berlin (2018)
Georgiev, S.G.: Functional Dynamic Equations on Time Scales. Springer, Berlin (2019)
Hilger, S.: Analysis on measure chains a unified approach to continuous and discrete calculus. Results Math. 18(1–2), 18–56 (1990)
Karapinar, E., Abdeljawad, T., Jarad, F.: Applying new fixed point theorems on fractional and ordinary differential equations. Adv. Differ. Equ. 2019, 421 (2019)
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
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)
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)
Wang, C., Agarwal, R.P., O’Regan, D., Sakthivel, R.: Theory of Translation Closedness for Time Scales. Springer, Berlin (2020)
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 and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
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/.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-022-00716-9