Skip to main content

Theory and Modern Applications

Existence and uniqueness for a class of iterative fractional differential equations


The presence of a self-mapping increases the difficulty in proving the existence and uniqueness of solutions for general iterative fractional differential equations. In this article, we provide conditions for the existence and uniqueness of solutions for the initial value problem. We also determine the Burton stability of such equations. The arbitrary order case is taken in the sense of Riemann-Liouville fractional operators.

1 Introduction

Fractional calculus is an area of specialization in mathematics that is concerned with differential and integral operators of arbitrary orders. Fractional derivatives are considered excellent tools for the description of nonlinearity. Fractional derivatives are mainly used with classical integer order patterns, in which such effects are neglected. The significance of fractional derivatives is manifested in modeling, electrical properties of real materials, capacity of rheological properties of rocks, and many other fields. Fractional derivatives and fractional integrals have various definitions. The most famous operators are Riesz, Grunwald-Letnikov, Riemann-Liouville, and Caputo [110].

Existence and uniqueness theory is studied widely in fractional differential equations. Agarwal et al. studied the existence of solutions for the Riemann-Liouville operator for a class of integro-differential equations of high fractional order [11]. Moreover, Agarwal et al. presented some existence and uniqueness outcomes for a class of fuzzy fractional integral equations utilizing the Schauder fixed point theorem in semilinear Banach spaces [12]. Li et al. established the existence of a class of nonlinear fractional q-difference equations with mixed nonlinear assumptions, including the fractional q-derivative of Riemann-Liouville type, employing the Guo-Krasnoselskii fixed point theorem on cones [13]. Ibrahim applied the Tarski fixed point theorem to study the existence of extremal solutions for fractional differential equations with maxima [14]. The existence and uniqueness in complex domains have been imposed considering the Srivastava-Owa fractional operators [15, 16].

In this study, we introduce some conditions for the existence and uniqueness of solutions for the initial value problems of iterative equations. We also determine the Burton stability of such equations. The arbitrary order case is taken in the sense of Riemann-Liouville fractional operators, as well as Caputo derivative.

2 Preliminaries

This section deals with some preliminaries and notations regarding fractional calculus.

Fractional calculus originated from the Riemann-Liouville definition of fractional integral of order α in the form

$$I^{\alpha}_{a}\psi(t)=\int^{t}_{a} \frac{(t-\tau)^{\alpha-1}}{\Gamma (\alpha)}f(\tau)\,d\tau, $$

where ψ is continuous.

The fractional (arbitrary) order differential of the continuous function ψ of order \(\alpha >0\) is defined by

$$D^{\alpha}_{a}\psi(t)=\frac{d}{dt}\int^{t}_{a} \frac{(t-\tau)^{-\alpha}}{ \Gamma(1-\alpha)}\psi(\tau)\,d\tau. $$

When \(a=0\), we conclude that

$$D^{\alpha}t^{m}=\frac{\Gamma(m+1)}{\Gamma(m-\alpha+1)}t^{m-\alpha},\quad m> -1; 0 < \alpha<1 $$


$$I^{\alpha}t^{m}=\frac{\Gamma(m+1)}{\Gamma(m+\alpha+1)}t^{m+\alpha},\quad m> -1; \alpha>0. $$

Let ψ be a continuously \((n)\) differentiable function. The Caputo derivative can then be realized by the following form:

$$ D_{t}^{\gamma}f(t)=\frac{1}{\Gamma(n-\gamma)}\int_{a}^{t} \frac{\psi ^{(n)}(\zeta)}{(t-\zeta)^{\gamma-n+1}}\,d\zeta,\quad (n-1)\leq\gamma< n, $$

where n is an integer and γ is a real number.

3 Related work

Differential equations with state-dependent delays attract interest of specialists because they arise from application models, such as the two-body problem of classical electrodynamics, transmission, mechanical models, population models, infection disease, position control, and dynamics of economical systems. As a special type of state-dependent delay differential equations, iterative differential equations have distinct characteristics. Such equations have been investigated in recent years in terms of their smoothness, analyticity, monotonicity, convexity, and numerical solution. In the theory of differential equations, one of the essential and important problems is the initial value problem. Numerous existence results on special iterative differential equations can be found in the literature. In 1984, Eder proved the existence of the unique monotone solution for the second iterative differential equation [17] using the contraction principle as follows:

$$y'(t) = y\bigl(y(t)\bigr) $$

linked with \(y(t_{0}) = t_{0}\) (\(t_{0} \in[-1, 1]\)). Fečkan investigated the general second iterative differential equation [18]

$$y'(t) = f\bigl( y\bigl(y(t)\bigr)\bigr) $$

with the initial value \(y(0) = 0\). Modified iterative functional differential equations have been recently suggested by Zhang and Gong [19] to determine approximate solutions. They studied the following iterative functional differential equation:

$$\begin{aligned}& y'(t) = f\bigl(t, y^{[1]}(t), y^{[2]}(t), \ldots, y^{[n]}(t)\bigr), \\& y(t_{0})=y_{0}, \end{aligned}$$

which satisfies the following result.

Lemma 3.1


$$\varphi_{M}=\bigl\{ y\in C^{0}\bigl([t_{0}-h,t_{0}+h] \bigr): \bigl\vert y(t)-y(s)\bigr\vert \le M|t-s|, \forall t, s \in[t_{0}-h,t_{0}+h]\bigr\} , $$

where \(M<1\). If \(f, g\in\varphi_{M}\), then

$$\bigl\Vert f^{[i]}-g^{[i]}\bigr\Vert _{[t_{0}-h,t_{0}+h]}\leq \frac{1-M^{i}}{1-M} \|f-g\|_{[t_{0}-h,t_{0}+h]},\quad i=1,2,\ldots . $$

Ibrahim utilized nonexpansive operators to establish the existence and uniqueness of iterative fractional differential equations of various forms [20, 21]. Recently, Ibrahim and Darus established sufficient conditions for fractional differential equations as follows:

$$D^{\gamma} y(t)= f \bigl(t,y(t),y(\beta t),y\bigl(y(t)\bigr) \bigr),\quad \beta \in(0,1], $$

with the initial value \(y(0) = y_{0}\), see [22].

In this study, we aim to establish the existence and uniqueness of the fractional iterative

$$ D^{\gamma} y(t) = f\bigl(t, y^{[1]}(t), y^{[2]}(t), \ldots, y^{[n]}(t)\bigr) $$

subject to the initial value

$$y(t_{0})=y_{0}, $$

where \(y^{[j]}(t) := y(y^{[j-1]}(t))\) indicates the jth iterate of self-mapping y, where \(j = 1, 2, \ldots , n\).

4 Existence and uniqueness

We start with the following result.

Theorem 4.1

Suppose that \(f:{\Re^{n+1}\rightarrow\Re}\) is continuous. If positive r exists, such that

$$ (1-M_{1}) r\geq l_{0}, \quad l_{0}>0, $$

where \(M_{1}=\|f\|_{\bar{B}(z_{0},r)}\leq1\) and \(\bar{B}(z_{0},r)\) denotes the closed ball centered at \(z_{0}=(t_{0},y_{0},\ldots,y_{0})\) with radius r, then Eq. (1) has a solution defined on \([t_{0}-l,t_{0}+l]\) for any \(l\in[ l_{0} /(1-M_{1}),r]\).


The existence of solutions of Eq. (1) is equivalent to finding a continuous solution of the integral equation

$$ y(t)=y_{0}+\int_{0}^{t} f \bigl(s,y^{[1]}(s),y^{[2]}(s),\ldots ,y^{[n]}(s)\bigr) \frac{(t-s)^{\gamma-1}}{\Gamma(\gamma)}\, ds. $$

Define a set \(\varphi_{M_{1}}\) as follows:

$$\begin{aligned} \varphi_{M_{1}} =& \biggl\{ y\in C^{0}\bigl([t_{0}-l, t_{0}+l]\bigr): y(t_{0})=y_{0}, \bigl|y(t)-y(s)\bigr|\le M_{1}\frac {|t-s|^{\gamma}}{\Gamma(\gamma+1)}, \\ & \forall t, s \in[t_{0}-l, t_{0}+l] \biggr\} \end{aligned}$$

for any \(l\in[l_{0} /(1-M_{1}),r]\). Then, for \(y\in\varphi_{M_{1}}\), we prove that \(y^{[j]} (t)\) (\(j=2,3,\ldots,n\)) are well defined on \([t_{0} -l,t_{0} +l]\). It suffices to establish

$$ \bigl\vert y^{[j]}(t)-y_{0}\bigr\vert \leq l $$

for \(j\in\mathbb{N}\) by induction. In fact, for \(t_{0}\leq s\leq t\), we have

$$\bigl\vert y(t)-y_{0}\bigr\vert \leq \bigl\vert y(t)-y(s)\bigr\vert +\bigl\vert y(s)-y_{0}\bigr\vert \leq M_{1} l+ M_{1}\frac{|t-s|^{\gamma}}{\Gamma(\gamma+1)} \leq l. $$

We let \(|y^{[j]}(t)-y_{0}|\le l\) for a positive integer \(j\geq1\), then

$$\bigl\vert y^{[j+1]}(t)-y_{0}\bigr\vert \leq M_{1}\bigl\vert y^{[j]}(t)-y(s)\bigr\vert +\bigl\vert y(s)-y_{0}\bigr\vert \leq l. $$

On the basis of induction, (4) holds and \(y^{[j]}([t_{0}-l,t_{0}+l])\) are well defined for any \(y\in\varphi_{M_{1}}\). In the sequel we apply the Schauder fixed point theorem to prove the existence of the continuous solution of Eq. (3). To this end, we define the integral operator \({\mathcal{G}}: \varphi_{M_{1}}\rightarrow C^{0}([t_{0}-l,t_{0}+l])\) by

$$ {\mathcal{G}}y(t):=y_{0}+\frac{1}{\Gamma(\gamma)}\int _{0}^{t} f\bigl(s,y^{[1]}(s),y^{[2]}(s), \ldots,y^{[n]}(s)\bigr) (t-s)^{\gamma-1}\, ds. $$


$$ {\mathcal{G}}y(t_{0}) = y_{0}+ \frac{1}{\Gamma(\gamma)}\int_{0}^{t_{0}} f \bigl(s,y^{[1]}(s),y^{[2]}(s),\ldots,y^{[n]}(s)\bigr) (t-s)^{\gamma-1}\, ds $$

for any \(y\in\varphi_{M_{1}}\). In view of

$$\begin{aligned}& \bigl\Vert \bigl(t,y^{[1]}(t),y^{[2]}(t), \ldots,y^{[n]}(t)\bigr)-(t_{0},y_{0},y_{0}, \ldots,y_{0})\bigr\Vert \\& \quad = \max\bigl\{ |t-t_{0}|,\bigl\vert y^{[1]}(t)-y_{0} \bigr\vert ,\bigl\vert y^{[2]}(t)-y_{0}\bigr\vert , \ldots ,\bigl\vert y^{[n]}(t)-y_{0}\bigr\vert \bigr\} \\& \quad \leq \max\bigl\{ |t-t_{0}|,M_{1} |t-t_{0}|,M_{1} \bigl\vert y^{[1]}(t)-y_{0}\bigr\vert , \ldots,M_{1} \bigl\vert y^{[n-1]}(t)-y_{0}\bigr\vert \bigr\} \\& \quad \leq \max\{l,M_{1} l,M_{1} l,\ldots,M_{1} l\}\leq l \leq r, \end{aligned}$$

we get

$$\begin{aligned} \bigl\vert {\mathcal{G}}y(t_{1})-{\mathcal{G}}y(t_{2}) \bigr\vert \leq& \biggl\vert \int_{0}^{t_{1}}f \bigl(s,y^{[1]}(s),y^{[2]}(s), \ldots,y^{[n]}(s)\bigr) \biggr\vert \frac{(t_{1}-s)^{\gamma-1}}{\Gamma(\gamma)}\, ds \\ &{}-\int_{0}^{t_{2}}f\bigl(s,y^{[1]}(s),y^{[2]}(s), \ldots,y^{[n]}(s)\bigr)\biggl\vert \frac {(t_{2}-s)^{\gamma-1}}{\Gamma(\gamma)}\, ds\biggr\vert \\ \leq& M_{1}\frac{|t_{1}-t_{2}|^{\gamma}}{\Gamma(\gamma+1)},\quad t_{1},t_{2}>s. \end{aligned}$$

Then \(\varphi_{M_{2}}\) is a nonempty convex and compact subset of the Banach space \(C^{0}([a,b])\). We consider the mapping \({\mathcal{T}}: \varphi_{M_{2}}\rightarrow C^{0}([a,b])\) defined by

$$ {\mathcal{T}}y(t):=y_{0}+\frac{1}{\Gamma(\gamma)}\int _{0}^{t} f\bigl(s,y^{[1]}(s),y^{[2]}(s), \ldots,y^{[n]}(s)\bigr) (t-s)^{\gamma-1}\, ds. $$

To show \(\mathcal{T}\) is a self-mapping, we note that for any \(t_{1},t_{2}\in[t_{0}-l,t_{0}+l]\). Therefore Eqs. (5)-(7) yield \({\mathcal{G}}y\in\varphi_{M_{1}}\); (i.e., \({\mathcal{G}}\) is a self-mapping operator). It remains to show that \({\mathcal{G}}\) is continuous. For this purpose, taking any \(y_{1}, y_{2}\in\varphi_{M_{1}}\), we obtain

$$\begin{aligned} \bigl\vert {\mathcal{G}}y_{1}(t)-{\mathcal{G}}y_{2}(t) \bigr\vert \leq&\int_{0}^{t}\bigl\vert f \bigl(s,y_{{1}}^{[1]}(s),y_{1}^{[2]}(s), \ldots,y_{1}^{[n]}(s)\bigr) \\ &{}-f\bigl(s,y_{2}^{[1]}(s),y_{2}^{[2]}(s), \ldots ,y_{2}^{[n]}(s)\bigr)\bigr\vert \frac{(t-s)^{\gamma-1}}{\Gamma(\gamma)}\, ds ,\quad t>s. \end{aligned}$$

By Lemma 3.1, we conclude that

$$\begin{aligned}& \bigl\Vert \bigl(s,y_{{1}}^{[1]}(s),y_{1}^{[2]}(s), \ldots,y_{1}^{[n]}(s)\bigr) -\bigl(s,y_{2}^{[1]}(s),y_{2}^{[2]}(s), \ldots,y_{2}^{[n]}(s)\bigr)\bigr\Vert \\& \quad =\max\bigl\{ \bigl\vert y_{{1}}^{[1]}(s)-y_{{2}}^{[1]}(s) \bigr\vert ,\bigl\vert y_{{1}}^{[2]}(s)-y_{{2}}^{[2]}(s) \bigr\vert , \ldots,\bigl\vert y_{{1}}^{[n]}(s)-y_{{2}}^{[n]}(s) \bigr\vert \bigr\} \\& \quad \leq\max\biggl\{ \|y_{1}-y_{2}\|_{[t_{0}-l, t_{0}+l]}, \frac{1-M_{1}^{2}}{1-M_{1}}\|y_{1}-y_{2}\|_{[t_{0}-l, t_{0}+l]}, \ldots, \frac{1-M_{1}^{n}}{1-M_{1}}\|y_{1}-y_{2}\|_{[t_{0}-l, t_{0}+l]}\biggr\} \\& \quad = \frac{1-M_{1}^{n}}{1-M_{1}}\|y_{1}-y_{2}\|_{[t_{0}-l, t_{0}+l]} < \frac{1}{1-M_{1}}\|y_{1}-y_{2}\|_{[t_{0}-l, t_{0}+l]}. \end{aligned}$$

Given the uniform continuity of f on \(\bar{B}(z_{0},r)\), for any \(\varepsilon>0\), there exists \(\delta(\varepsilon)>0\), the inequality

$$\|{\mathcal{G}}y_{1}-{\mathcal{G}}y_{2}\| < \varepsilon l $$

holds for \(\|y_{1}-y_{2}\|_{[t_{0}-l,t_{0}+l]}<\delta\), which yields \({\mathcal{G}}\) is continuous. \(\Phi_{M_{1}}\) is a convex, compact subset of the Banach space \(C^{0}([t_{0}-l, t_{0}+l])\) and \({\mathcal{G}}\) is a continuous operator that satisfies all conditions of the Schauder fixed point theorem, \({\mathcal{G}}\) has a fixed point \(g\in\varphi_{M_{1}}\) and g is a solution for Eq. (1) on the interval \([t_{0}-l,t_{0}+l]\). This completes the proof. □

Theorem 4.2

Suppose that \(f:\Re^{n+1}\rightarrow\Re\) is continuous and any compact interval \([a,b]\) includes \(t_{0}\) and \(y_{0}\). If

$$ M_{2} A_{t_{0}} \leq B_{y_{0}}, $$

where \(A_{t_{0}}=\max\{t_{0} -a,b-t_{0}\}\), \(B_{y_{0}}=\min\{y_{0} -a,b-y_{0}\}\), \(M_{2} =\|f\|_{[a,b]^{n+1}}\) and \([a,b]^{n+1}\) denotes the product of \(n+1\) intervals \([a,b]\), then Eq. (1) has a solution defined on \([a,b]\).



$$ \varphi_{M_{2}} = \biggl\{ y\in C^{0}\bigl([a,b],[a,b]\bigr): y(t_{0})=y_{0}, \bigl\vert y(t)-y(s)\bigr\vert \le M_{2} \frac{|t-s|^{\gamma}}{\Gamma(\gamma+1)}, \forall t, s \in[a,b] \biggr\} , $$

then \(\varphi_{M_{2}}\) is a nonempty convex and compact subset of the Banach space \(C^{0}([a,b])\). We consider the mapping \({\mathcal{T}}: \varphi_{M_{2}}\rightarrow C^{0}([a,b])\) to be defined by

$$ {\mathcal{T}}y(t):=y_{0}+\frac{1}{\Gamma(\gamma)}\int_{0}^{t} f\bigl(s,y^{[1]}(s),y^{[2]}(s),\ldots,y^{[n]}(s)\bigr) (t-s)^{\gamma-1}\, ds. $$

To show \(\mathcal{T}\) is a self-mapping, we note that

$$\begin{aligned}& \bigl\vert {\mathcal{T}}y(t)\bigr\vert \leq y_{0} + \frac{1}{\Gamma(\gamma)}\biggl\vert \int_{0}^{t} f \bigl(s,y^{[1]}(s),y^{[2]}(s),\ldots,y^{[n]}(s)\bigr) (t-s)^{\gamma-1}\, ds\biggr\vert ,\quad t>s \\& \hphantom{\bigl\vert {\mathcal{T}}y(t)\bigr\vert }\leq y_{0} +M_{2} \frac{(t-t_{0})^{\gamma}}{\Gamma(\gamma+1)},\quad t>t_{0} \\& \hphantom{\bigl\vert {\mathcal{T}}y(t)\bigr\vert }\leq y_{0} +M_{2} A_{t_{0}}\leq y_{0} +B_{t_{0}}\leq b, \end{aligned}$$
$$\begin{aligned}& \bigl\vert {\mathcal{T}}y(t) \bigr\vert \geq y_{0} - \frac{1}{\Gamma(\gamma)}\biggl\vert \int_{0}^{t} f \bigl(s,y^{[1]}(s),y^{[2]}(s),\ldots,y^{[n]}(s)\bigr) (t-s)^{\gamma-1}\, ds\biggr\vert ,\quad t>s \\& \hphantom{\bigl\vert {\mathcal{T}}y(t) \bigr\vert }\geq y_{0} -M_{2} \frac{|t-t_{0}|^{\gamma}}{\Gamma(\gamma+1)}\geq y_{0} -M_{2} A_{t_{0}} \\& \hphantom{\bigl\vert {\mathcal{T}}y(t) \bigr\vert }\geq y_{0} -B_{y_{0}} \geq a. \end{aligned}$$

Clearly, \({\mathcal{T}}y(t_{0})=y_{0}\). Moreover, for any \(t_{1},t_{2}\in[a,b]\), we obtain

$$\begin{aligned} \bigl\vert {\mathcal{T}}y(t_{1})-{\mathcal{T}}y(t_{2}) \bigr\vert &\leq \frac{1}{\Gamma(\gamma)} \int_{t_{2}}^{t_{1}} \bigl\vert f\bigl(s,y_{{1}}^{[1]}(s),y_{1}^{[2]}(s), \ldots ,y_{1}^{[n]}(s)\bigr)\bigr\vert (t-s)^{\gamma-1}\,d s,\quad t>s \\ &\leq M_{2} \frac{|t_{1} -t_{2}|^{\gamma}}{\Gamma(\gamma+1)}. \end{aligned}$$

Therefore, (12) and (13) yield that \({\mathcal{T}}\) maps \(\varphi_{M_{2}}\) into itself. The definitions of \(A_{t_{0}}\) and \(B_{y_{0}}\) prove that \(M_{2} \leq1\), thus for any \(y_{1},y_{2}\in \varphi_{M_{2}}\), according to Lemma 3.1, we have

$$\begin{aligned}& \bigl\Vert \bigl(s,y_{{1}}^{[1]}(s),y_{1}^{[2]}(s), \ldots,y_{1}^{[n]}(s)\bigr) -\bigl(s,y_{2}^{[1]}(s),y_{2}^{[2]}(s), \ldots,y_{2}^{[n]}(s)\bigr)\bigr\Vert \\& \quad = \max\bigl\{ \bigl\vert y_{{1}}^{[1]}(s)-y_{{2}}^{[1]}(s) \bigr\vert ,\bigl\vert y_{{1}}^{[2]}(s)-y_{{2}}^{[2]}(s) \bigr\vert , \ldots,\bigl\vert y_{{1}}^{[n]}(s)-y_{{2}}^{[n]}(s) \bigr\vert \bigr\} \\& \quad \leq \max\biggl\{ \|y_{1}-y_{2}\|_{[a,b]}, \frac{1-M_{2}^{2}}{1-M_{2}}\|y_{1}-y_{2}\|_{[a,b]}, \ldots, \frac{1-M_{2}^{n}}{1-M_{2}}\|y_{1}-y_{2}\|_{[a,b]}\biggr\} \\& \quad = \frac{1-M_{2}^{n}}{1-M_{2}}\|y_{1}-y_{2}\|_{[a,b]} \\& \quad < \frac{1}{1-M_{2}}\|y_{1}-y_{2}\|_{[a,b]}. \end{aligned}$$

By the uniform continuity of f on \([a,b]^{n+1}\), for any \(\varepsilon>0\), there exists \(\delta(\varepsilon)>0\). When \(\|y_{1}-y_{2}\|_{[a,b]}<\delta\), we obtain

$$\bigl\vert f\bigl(s,y_{{1}}^{[1]}(s),y_{1}^{[2]}(s), \ldots,y_{1}^{[n]}(s)\bigr) -f\bigl(s,y_{2}^{[1]}(s),y_{2}^{[2]}(s), \ldots,y_{2}^{[n]}(s)\bigr)\bigr\vert < \varepsilon. $$


$$\begin{aligned} \bigl\vert {\mathcal{T}}y_{1}(t)-{\mathcal{T}}y_{2}(t) \bigr\vert \leq& \int_{0}^{t}\bigl\vert f \bigl(s,y_{{1}}^{[1]}(s),y_{1}^{[2]}(s), \ldots,y_{1}^{[n]}(s)\bigr) \\ &{}-f\bigl(s,y_{2}^{[1]}(s),y_{2}^{[2]}(s), \ldots ,y_{2}^{[n]}(s)\bigr)\bigr\vert \frac{(t-s)^{\gamma-1}}{\Gamma(\gamma)}\, ds, \quad t>s \\ < & \varepsilon(b-a), \end{aligned}$$

which means that \({\mathcal{T}}\) is a continuous operator. It follows that \(\varphi_{M_{2}}\) is a convex, compact subset of the Banach space \(C^{0}([a,b])\). By the Schauder fixed point theorem, \({\mathcal{T}}\) has a fixed point \(h\in\varphi_{M_{2}}\) and h is a solution of Eq. (1) on the interval \([a,b]\). This completes the proof. □

5 Applications

In this section, our theorems are illustrated by the following example. First, we prove the existence of smooth solutions of (1) based on the results provided by Si and Wang [23]. In this paper, smooth function \(g \in C^{n}\) means that the function g has a number of continuous derivatives, and its nth continuous derivative is Lipschitzian. We require the following result.

Lemma 5.1


$$\begin{aligned} \Omega(N_{1},\ldots,N_{n+1}; I) =& \bigl\{ g\in C^{n}(I,I): \bigl\vert g^{(i)}(t)\bigr\vert \leq N_{i}, i=1,2,\ldots ,n; \\ &\bigl\vert g^{(n)}(t)-g^{(n)}(s)\bigr\vert \leq N_{n+1}|t-s|, t,s\in I \bigr\} . \end{aligned}$$

Then, for any \(x(t)\in\Omega(N_{1},\ldots,N_{n+1}; I)\), there exist a function

$$y_{*ik}(t)=P_{ik}\bigl(y_{10}(t), \ldots,y_{1,i-1}(t);\ldots ;y_{k0}(t),\ldots ,y_{k,i-1}(t) \bigr) $$

and positive constants \(N_{uv}^{ik}\) such that

$$\bigl\vert P_{ik}(\bar{\lambda}_{10},\ldots,\bar{ \lambda}_{k,i-1})-P_{ik} (\tilde{\lambda}_{10},\ldots, \tilde{\lambda}_{k,i-1})\bigr\vert \leq\sum_{u=1}^{k} \sum_{v=0}^{i-1}N_{uv}^{ik} |\bar{\lambda}_{uv}-\tilde{\lambda}_{uv}| $$

for \((\bar{\lambda}_{10},\ldots,\bar{\lambda}_{k,i-1})\), \((\tilde{\lambda}_{10},\ldots,\tilde{\lambda}_{k,i-1})\) belong to compact sets \([0,N_{1}]^{i}\times[0,N_{2}]^{i}\times\cdots \times[0,N_{k}]^{i}\), where \(y_{ri}(t)=y^{(r)}(y^{[i]}(t))\), \(y_{*ik}(t)=(y^{[i]}(t))^{(k)}\) and \(P_{ik}\) is a uniquely defined multivariate polynomial with nonnegative coefficients and \(1\leq u \leq k\), \(0\leq v\leq i-1\).

Theorem 5.1

Consider the equation

$$ D^{\gamma}y(t)=\sum_{i=1}^{m}a_{i}(t)y^{[i]}(t)+F(t) $$

associated with \(y(t_{0})=y_{0}\), where \(a_{i}(t), F(t)\in C^{n} \) are given smooth functions.


For \(R>0\), by the smoothness of the given functions, we have positive \(M_{a_{j}}\) and \(M_{F}\) such that

$$\bigl\vert a_{i}(t)\bigr\vert \leq M_{a_{i}},\qquad \bigl\vert F(t)\bigr\vert \leq M_{F},\quad t\in[t_{0}-R, t_{0}+R], i=1,2,\ldots,m. $$


$$M_{a}=\max_{1\leq i\leq m}\{M_{a_{i}}\},\qquad N_{1}=mM_{a}\bigl(\vert t_{0}\vert +R \bigr)+M_{F}. $$

If \((1-N_{1})R\geq|y_{0} -t_{0}|\), then Eq. (14) has a solution in the function set

$$\Phi_{N_{1}}= \bigl\{ y\in C^{0}\bigl([t_{0}-l_{1}, t_{0}+l_{1}]\bigr): y(t_{0})=y_{0}, \bigl\vert y(t)-y(s)\bigr\vert \le N_{1}|t-s|, \forall t, s \in[t_{0}-l_{1}, t_{0}+l_{1}] \bigr\} $$

by Theorem 4.1, where arbitrary \(l_{1} \in[|y_{0} -t_{0}|/(1-N_{1}),R]\). In fact, for any \(y\in\varphi_{N_{1}}\), we see that the function

$$f\bigl(t,y^{[1]}(t),y^{[2]}(t),\ldots ,y^{[m]}(t) \bigr)=\sum_{i=1}^{m}a_{i}(t)y^{[i]}(t)+F(t) $$

is continuous on \([t_{0}-l_{1},t_{0}+l_{1}]\) and

$$\begin{aligned}& \bigl\vert f\bigl(t,y^{[1]}(t),y^{[2]}(t), \ldots,y^{[m]}(t)\bigr)\bigr\vert \\& \quad = \Biggl\vert \sum _{i=1}^{m}a_{i}(t)y^{[i]}(t)+F(t) \Biggr\vert \\& \quad \leq \sum_{i=1}^{m}M_{a}\bigl( \vert t_{0}\vert +R\bigr)+M_{F} \\& \quad = mM_{a}\bigl(\vert t_{0}\vert +R \bigr)+M_{F} = N_{1}. \end{aligned}$$

Since \((1-N_{1})R\geq|y_{0} -t_{0}|\), the condition of Theorem 4.1 is satisfied, there exists a solution \(y=\psi(t)\) of Eq. (14) in the functional set \(\psi_{N_{1}}\). In the sequel, we show that \(\psi^{(n+1)}(t)\) also is Lipschitzian on the compact interval \([t_{0}-l_{1},t_{0}+l_{1}]\). In view of Lemma 5.1, we obtain

$$\begin{aligned} y_{*ik}({t}) &= P_{ik}\bigl(y_{10}({t}), \ldots,y_{1,i-1}({t});\ldots ;y_{k0}({t}),\ldots, y_{k,i-1}({t})\bigr) \\ &= P_{ik}\bigl(y'({t}),y'(y_{1}), \ldots,y'(y_{i-1});\ldots;y^{(k)}({t}), y^{(k)}(y_{1}),\ldots,y^{(k)}(y_{i-1}) \bigr), \end{aligned}$$

where \(y_{n}=y^{[n]}({t})\), \(n=1,2,\ldots,i-1\).


$$\begin{aligned}& H_{ik}=P_{ik}\bigl(\overbrace{N_{1}, \ldots,N_{1}}^{i \text{ terms}}; \overbrace{N_{2}, \ldots,N_{2}}^{i \text{ terms}};\ldots; \overbrace{N_{k}, \ldots,N_{k}}^{i \text{ terms}}\bigr), \\& a_{i}(t)\in\Omega\bigl(L_{i1},\ldots,L_{i(n+1)}; [t_{0}-l_{1}, t_{0}+l_{1}]\bigr), \\& F(t)\in\Omega\bigl(M_{1},\ldots,M_{n+1}; [t_{0}-l_{1}, t_{0}+l_{1}]\bigr). \end{aligned}$$

Then, for any \(t_{1}, t_{2}\in[t_{0}-l_{1}, t_{0}+l_{1}]\), we get

$$\begin{aligned}& \bigl\vert \psi^{(m+1)}(t_{1})-\varphi^{(m+1)}(t_{2}) \bigr\vert \\& \quad \leq \sum_{i=1}^{n}\sum _{s=0}^{m}C_{m}^{s}\bigl\vert a_{i}^{(m-s)}(t_{1}) \bigl(\psi^{[i]}(t_{1}) \bigr)^{(s)}-a_{i}^{(m-s)}(t_{2}) \bigl( \psi^{[i]}(t_{2})\bigr)^{(s)}\bigr\vert \\& \qquad {}+ \bigl\vert F^{(n)}(t_{1})-F^{(n)}(t_{2}) \bigr\vert \\& \quad \leq \sum_{i=1}^{n}\bigl\{ \bigl\vert a_{i}^{(m)}(t_{1})-a_{i}^{(m)}(t_{2}) \bigr\vert \cdot \bigl\vert \psi^{[i]}(t_{1})\bigr\vert +\bigl\vert a_{i}^{(m)}(t_{2})\bigr\vert \cdot \bigl\vert \psi^{[i]}(t_{1}) -\psi^{[i]}(t_{2}) \bigr\vert \bigr\} \\& \qquad {}+\sum_{i=1}^{n}\sum _{s=1}^{m}C_{m}^{s}\bigl(\bigl\vert a_{i}^{(m-s)} (t_{1})-a_{i}^{(m-s)}(t_{2}) \bigr\vert \cdot\bigl\vert \bigl(\psi^{[i]}(t_{1}) \bigr)^{(s)}\bigr\vert \\& \qquad {}+\bigl\vert a_{i}^{(m-s)}(t_{2})\bigr\vert \cdot\bigl\vert \psi\bigl(\psi_{1,0}(t_{1}), \ldots, \psi_{s,i-1}(t_{1})\bigr)-\psi\bigl( \psi_{1,0}(t_{2}),\ldots ,\psi_{s,i-1}(t_{2}) \bigr)\bigr\vert \bigr) \\& \qquad {}+M_{n+1}\frac{\vert t_{1}-t_{2}\vert ^{\gamma}}{\Gamma(\gamma+1)} \\& \quad \le\sum_{i=1}^{n} \bigl(L_{i(m+1)}\bigl(\vert t_{0}\vert +l_{1} \bigr)+L_{im}N_{1}^{i}\bigr)\frac {\vert t_{1}-t_{2}\vert ^{\gamma}}{\Gamma(\gamma+1)} \\& \qquad {}+\sum_{i=1}^{n}\sum _{s=1}^{m}C_{m}^{s} \Biggl(L_{i(m+1-s)}H_{is}\vert t_{1}-t_{2} \vert +L_{i(m-s)}\sum_{u=1}^{s}\sum _{v=0}^{i-1}N_{uv}^{is} \bigl\vert \psi_{uv}(t_{1})-\psi _{uv}(t_{2}) \bigr\vert \Biggr) \\& \qquad {}+M_{n+1}\vert t_{1}-t_{2}\vert . \end{aligned}$$


$$\bigl\vert \psi_{uv}(t_{1})-\psi_{uv}(t_{2}) \bigr\vert \leq N_{u+1}\bigl\vert \psi^{[v]}(t_{1}) -\psi^{[v]}(t_{2})\bigr\vert \leq N_{u+1}N_{1}^{v} \frac{|t_{1}-t_{2}|^{\gamma}}{\Gamma(\gamma+1)}, $$

we attain

$$\begin{aligned}& \bigl\vert \psi^{(m+1)}(t_{1})-\psi^{(m+1)}(t_{2}) \bigr\vert \\& \quad \le\sum_{i=1}^{n} \bigl(L_{i(m+1)}\bigl(\vert t_{0}\vert +l_{1} \bigr)+L_{im}N_{1}^{i}\bigr)\frac {\vert t_{1}-t_{2}\vert ^{\gamma}}{\Gamma(\gamma+1)} + \sum_{i=1}^{n}\sum _{s=1}^{m}C_{m}^{s} \Biggl(L_{i(m+1-s)}H_{is}\vert t_{1}-t_{2} \vert \\& \qquad {}+L_{i(m-s)}\sum_{u=1}^{s} \sum_{v=0}^{i-1}N_{uv}^{is} \bigl\vert \psi_{uv}(t_{1})-\psi _{uv}(t_{2}) \bigr\vert \Biggr) +M_{n+1}\frac{\vert t_{1}-t_{2}\vert ^{\gamma}}{\Gamma(\gamma+1)} \\& \quad = \Biggl\{ \Biggl(\sum_{i=1}^{n}L_{i(m+1)} \bigl(\vert t_{0}\vert +l_{1}\bigr)+L_{im}N_{1}^{i} \Biggr) \\& \qquad {}+ \Biggl(\sum_{i=1}^{n}\sum _{s=1}^{m}C_{m}^{s} \Biggl(L_{i(m+1-s)}H_{is}+L_{i(m-s)}\sum _{u=1}^{s}\sum_{v=0}^{i-1}N_{uv}^{is}N_{u+1}N_{1}^{v} \Biggr)\Biggr)+M_{n+1} \Biggr\} \frac{\vert t_{1}-t_{2}\vert ^{\gamma}}{\Gamma(\gamma+1)}, \end{aligned}$$

which implies that \(\psi^{(m+1)}(t)\) is Lipschitzian. □

Example 5.1

Consider the equation

$$ D^{\frac{1}{2}}y(t)=\frac{1}{5}y\bigl(y(t)\bigr)-\frac{1}{4} $$

associated with

$$ y(-1)=-\frac{1}{2}. $$

Now we check the conditions of Theorem 4.2. For the compact interval \([-1,0]\), we see that \(y_{0}=-\frac{1}{2}\), \(t_{0}=-1\), \(\gamma=\frac{1}{2}\), \(\Gamma(\frac {3}{2})=0.88\) for all \(t\in[-1,0]\). Since \(M_{2} =\|y\|_{[-1,0]^{n+1}}= 1/5 +1/4 =9/20 <0.5\), also \(A_{t_{0}}=\max\{t_{0}-a,b-t_{0}\}=\max\{-1+1,0+1\}=\max\{0,1\}=1\), \(B_{y_{0}} =\min\{y_{0}-a,b-y_{0}\}=\min\{\frac{-1}{2}+1,0+\frac{1}{2}\}=\min\{ \frac{1}{2},\frac{1}{2}\}=1/2\), and \(\Gamma(\frac{3}{2})=0.88\), then \(\frac{M_{2}}{\Gamma(\frac{3}{2})}=\frac{9}{17.6}\), which satisfies the conditions of Theorem 4.2. Then Eq. (15) associated with Eq. (16) has a solution.

Remark 5.1

In the proof of an invariant set, they require the inequalities

$$\begin{aligned}& \bigl\vert (Fx) (t)\bigr\vert \leq \vert x_{0} \vert + \biggl\vert \int_{0}^{t} f\bigl(s,x(s),x\bigl(x(s) \bigr)\bigr)\frac{(t-s)^{\gamma}}{\Gamma(\gamma+1)}\, ds\biggr\vert \leq \vert x_{0} \vert + M\cdot\frac{\vert t - x_{0}\vert ^{\gamma}}{\Gamma(\gamma+1)}\leq b, \\& \bigl\vert (Fx) (t)\bigr\vert \geq \vert x_{0} \vert - \biggl\vert \int_{0}^{t} f\bigl(s,x(s),x\bigl(x(s) \bigr)\bigr)\frac{(t-s)^{\gamma }}{\Gamma(\gamma+1)}\, ds\biggr\vert \geq x_{0} - C_{x_{0}}\geq a. \end{aligned}$$

The right-most inequality of Eq. (15) contradicts the definition of \(C_{x_{0}}\). We overcome this difficulty by defining \(B_{y_{0}}\).

6 Burton stability

In this section, we aim to discuss the stability of solutions of a class of iterative fractional differential equations. We need the following observations.

Definition 6.1

Let \(g:[0,\infty[\, \mapsto[1,\infty[\) be an arbitrary continuous strictly increasing function with \(g(t)\mapsto\infty\) as \(t \mapsto \infty\) and define a Banach space \((W,|\cdot|_{g})\) of continuous functions \(\Phi: [0,\infty[\, \mapsto\Re^{n}\) with the property that

$$ |\Phi|_{g}=\sup_{0\leq t\leq\infty} \frac{|\Phi(t)|}{g(t)}< \infty. $$

Definition 6.2


Let B be a closed and densely defined operator on Y and \(l \in \mathcal{C}(\Re^{+})\) be a scalar kernel. A family \({\Im}_{t\geq0}\) is called a k-regularized resolvent family if the following conditions are satisfied:

  1. (a)

    is strongly continuous on \(\Re^{+}\) and \(\Im(0) = k(0)I\);

  2. (b)

    \(\Im y\in D(B)\) and \(B\Im(t)(y) = \Im(t)By\) for all \(y \in D(B)\) and \(t\geq0\);

  3. (c)

    the k-regularized resolvent equation holds

    $$\Im(t) (y) = K(t) (y)-\int_{0}^{t}BK(t-s)\Im(s)y \, ds. $$

Lemma 6.1


Let N be a closed ball in AB, let \(P: N \rightarrow N\) be continuous, and let PN be locally equicontinuous. Then there exists a point \(\Psi\in N \) with \(P\Psi= \Psi\).

Lemma 6.2


Let N be a convex, nonempty, bounded subset of AB, let \(P: N \mapsto N\), and let PN be locally equicontinuous. If, in addition, the g-norm closure of PN is in N, then there exists a point \(\Psi\in M\) with \(P \Psi=\Psi\).

Next, we discuss the stability of Eq. (14) for a special case by putting

$$F(t)=\sum_{i=1}^{m}B_{i}(t) (t)y^{[i]}\bigl(t-r(t)\bigr). $$

Theorem 6.1

Consider the fractional differential equation

$$ D^{\gamma}y(t)=\sum_{i=1}^{m} \bigl[-A_{i}(t)y^{[i]}(t)+ B_{i}(t)y^{[i]} \bigl(t-r_{i}(t)\bigr)\bigr],\qquad y(0)=y_{0},\quad 0< \gamma<1, $$

where \(A_{i}, B_{i}, r_{i}:[0,\infty)\mapsto[0,\infty)\) are continuous. Moreover, suppose that

  1. (a)

    \(a_{i}:=-A_{i}(t)\), \(A_{i}(t)\) is bounded on \([0,\infty[\);

  2. (b)

    \(A_{i}(t)-B_{i}(t)\geq\delta\) for all \(t_{0}\geq0\), and a constant \(\delta>0\);

  3. (c)

    \(r_{i}(t)\geq0\) for all \(t\geq0\).

Then the zero solution of Eq. (18) is stable.


Consider problem (18). Assume that \(\exists\zeta>0\) and \(\max_{i} [\sup_{t\geq0}A_{i}(t)]<\zeta\) for all \(t\geq 0\) such that

$$K(t)=\frac{\zeta}{\Gamma(\gamma)}t^{\gamma-1}. $$

Then for the Lizama resolvent \((\Im_{\gamma})\), which satisfies

$$\Im(t)=K(t)-\int_{0}^{t}K(t-s)\Im(s)\, ds, $$

we have

$$ 0\leq\Im(t)\leq K(t),\qquad t\Im(t)\rightarrow0 \quad \mbox{as }t\rightarrow \infty \quad \mbox{and}\quad \int_{0}^{\infty}\Im(s)\, ds=1. $$

Rewrite Eq. (18) as follows:

$$\begin{aligned} D^{\gamma}y(t)&=\sum_{i=1}^{m} \bigl[-A_{i}(t)y^{[i]}(t)+ B_{i}(t)y^{[i]} \bigl(t-r_{i}(t)\bigr)\bigr] \\ &=\sum_{i=1}^{m}\bigl[-\zeta y(t)+\zeta \bigl[y-y^{i}\bigr]+[\zeta-A_{i}](t)y^{[i]}+ B_{i}(t) (t)y^{[i]}\bigl(t-r_{i}(t)\bigr)\bigr]. \end{aligned}$$

Therefore, the solution \(y(t)\) of Eq. (18) achieves

$$\begin{aligned} y(t) =&\sum_{i=1}^{m}\biggl[w(t)+\int _{0}^{t}\Im_{\gamma}(t-s) \bigl[y-y^{[i]}\bigr](s)\, ds \\ &{}+\int_{0}^{t}\Im_{\gamma}(t-s) \biggl(1-\frac{A_{i}(t)}{\zeta}\biggr)y^{[i]}(s)\, ds +\int _{0}^{t}\Im_{\gamma}(t-s) \frac{B_{i}(t)}{\zeta}y^{[i]}\bigl(s-r_{i}(s)\bigr)\biggr] =:(Py) (t), \end{aligned}$$

where \(w(t)=y_{0}(1-\int_{0}^{\infty}\Im(s)\, ds)\).

Let \(0<\epsilon<\frac{\sqrt{3}}{3}\), we may assume that \(\zeta\geq1\) and \(0<\delta<1\) so that \(\frac{\delta\epsilon^{3}}{\zeta}<\epsilon\). Now set

$$n_{0}=\min_{i} \bigl[\inf\bigl\{ s-r_{i}(s);s\geq 0\bigr\} \bigr]. $$

Let \(\phi:[n_{0},0]\rightarrow\Re\) be a given continuous initial function with \(\|\phi\|<\frac{\delta\epsilon^{3}}{\zeta}<\epsilon\). Define

$$N=\bigl\{ \Psi\in AB\mid \Vert \Psi \Vert \leq\epsilon\bigr\} . $$

For the natural mapping defined above with \(y(s)=\phi(s)\) for \(s\leq 0\), we can show that \(P:N \mapsto N\). We observe that \(\sum_{i=1}^{m}[r-r_{i}]\) is increasing on \([0,\epsilon]\) and we obtain

$$\begin{aligned} \bigl\vert (Py) (t)\bigr\vert &\leq \sum_{i=1}^{m} \biggl[\bigl\vert w(t)\bigr\vert +\bigl(\epsilon-\epsilon^{[i]} \bigr)+\epsilon^{[i]}\int_{0}^{t} \Im_{\gamma}(t-s) \biggl(1-\frac{A_{i}(t)}{\zeta} +\frac{|B_{i}(t)|}{\zeta}\biggr)\, ds\biggr] \\ &\leq\sum_{i=1}^{m}\biggl[\bigl\vert \phi(0)\bigr\vert +\bigl(\epsilon-\epsilon^{[i]}\bigr)+\epsilon ^{[i]}\biggl(1-\frac{\delta}{\zeta}\biggr)\biggr]< \epsilon. \end{aligned}$$

It is clear that PN is equicontinuous on \([0,\infty)\) and the g-norm closure of PN is in N (Lemma 6.1). Consequently, in view of Lemma 6.2, P has a fixed point \(y\in N\) which is a solution of Eq. (18). Thus, the zero solution of Eq. (18) is stable. This completes the proof. □


  1. Srivastava, HM, Owa, S: Univalent Functions, Fractional Calculus, and Their Applications. Halsted, New York (1989)

    MATH  Google Scholar 

  2. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  3. Kiryakova, V: Generalized Fractional Calculus and Applications. Longman, Harlow (1994); copublished in the United States with John Wiley & Sons, Inc., New York

    MATH  Google Scholar 

  4. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  5. Hilfer, R: Application of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Book  Google Scholar 

  6. West, BJ, Bologna, M, Grigolini, P: Physics of Fractal Operators. Springer, New York (2003)

    Book  Google Scholar 

  7. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  8. Sabatier, J, Agrawal, OP, Machado, JA: Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Berlin (2007)

    Book  Google Scholar 

  9. Lakshmikantham, V, Leela, S, Vasundhara, DJ: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge (2009)

    MATH  Google Scholar 

  10. Klafter, J, Lim, SC, Metzler, R (eds.): Fractional Dynamics: Recent Advances. World Scientific, Singapore (2011)

    Google Scholar 

  11. Agarwal, RP, Ntouyas, SK, Ahmad, B, Alhothuali, MS: Existence of solutions for integro-differential equations of fractional order with nonlocal three-point fractional boundary conditions. Adv. Differ. Equ. 2013, 128 (2013)

    Article  MathSciNet  Google Scholar 

  12. Agarwal, RP, Arshad, S, O’Regan, S, Lupulescu, V: A Schauder fixed point theorem in semilinear spaces and applications. Fixed Point Theory Appl. 2013, 306 (2013)

    Article  MathSciNet  Google Scholar 

  13. Li, X, Han, Z, Sun, S, Zhao, P: Existence of solutions for fractional q-difference equation with mixed nonlinear boundary conditions. Adv. Differ. Equ. 2014, 326 (2014)

    Google Scholar 

  14. Ibrahim, RW: Extremal solutions for certain type of fractional differential equations with maxima. Adv. Differ. Equ. 2012, 7 (2012)

    Article  Google Scholar 

  15. Ibrahim, RW: Modified fractional Cauchy problem in a complex domain. Adv. Differ. Equ. 2013, 149 (2013)

    Article  Google Scholar 

  16. Ibrahim, RW: On holomorphic solution for space- and time-fractional telegraph equations in complex domain. J. Funct. Spaces Appl. 2012, Article ID 703681 (2012)

    Google Scholar 

  17. Eder, E: The functional differential equation \(x'(t) = x(x(t))\). J. Differ. Equ. 54(3), 390-400 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  18. Fečkan, M: On a certain type of functional differential equations. Math. Slovaca 43(1), 39-43 (1993)

    MATH  MathSciNet  Google Scholar 

  19. Zhang, P, Gong, X: Existence of solutions for iterative differential equations. Electron. J. Differ. Equ. 2014, 7 (2014)

    Article  MathSciNet  Google Scholar 

  20. Ibrahim, RW: Existence of deviating fractional differential equation. CUBO 14, 127-140 (2012)

    Article  Google Scholar 

  21. Ibrahim, RW: Existence of iterative Cauchy fractional differential equation. J. Math. 2013, Article ID 838230 (2013)

    Article  Google Scholar 

  22. Ibrahim, RW, Darus, M: Infective disease processes based on fractional differential equation. In: Proceedings of the 3rd International Conference on Mathematical Sciences, vol. 1602, pp. 696-703 (2014)

    Google Scholar 

  23. Si, J-G, Wang, X-P: Smooth solutions of a nonhomogeneous iterative functional differential equation with variable coefficients. J. Math. Anal. Appl. 226(2), 377-392 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  24. Lizama, C, Vergara, V: Uniform stability of resolvent families. Proc. Am. Math. Soc. 132(1), 175-181 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  25. Burton, TA, Zhang, B: A Schauder-type fixed point theorem. J. Math. Anal. Appl. 417(2), 552-558 (2014)

    Article  MATH  MathSciNet  Google Scholar 

Download references


The authors would like to thank the referees for giving strong and very useful suggestions for improving the work.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Adem Kılıçman.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors jointly worked on deriving the results and approved the final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ibrahim, R.W., Kılıçman, A. & Damag, F.H. Existence and uniqueness for a class of iterative fractional differential equations. Adv Differ Equ 2015, 78 (2015).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: