Skip to main content

Theory and Modern Applications

Existence results for hybrid fractional neutral differential equations


We discuss the existence of solutions of initial value problems for a class of hybrid fractional neutral differential equations. To prove the main results, we use a hybrid fixed point theorem for the sum of three operators. We also derive the dependence of a solution on the initial data and present an example to illustrate the results.

1 Introduction

In the last two decades, many researchers attracted toward the study of fractional differential equations, motivated by their broad use in mathematical modeling. In the recent years, the theory of fractional differential equations has been analytically investigated by a large number of very interesting and novel papers; for some recent development on the topic, see [112] and the references therein.

Fractional calculus has found important applications in different fields, especially in problems related to acoustics, rheology or modeling of materials, thermal systems, and mechanical systems. Also, fractional differential equations have been used in models of biochemistry (modeling polymers and proteins), electrical engineering (transmission of ultrasound waves), medicine (modeling human tissue under mechanical loads), etc. Thus, differential and integral equations of fractional order play nowadays a very important role in describing some real-world phenomena [1316].

Recently, quadratic perturbations of nonlinear fractional differential equations became a more interesting topic. Hybrid differential equations are important because they include several dynamic systems as particular cases. This class of hybrid fractional differential equations includes the perturbations of original differential equations in different ways. Much work has been done on the theory of hybrid differential equations; see the monographs [1732]. Sitho et al. [27] discussed the existence of solutions by using the hybrid fixed point theorems of Dhage [24] for the sum of three operators in a Banach algebra for the following initial value problems of a hybrid fractional integro-differential equations:

$$\textstyle\begin{cases} D_{0^{+}}^{\alpha}[\frac{x(t)-\sum_{i=1}^{m} I^{\beta_{i}}h_{i}(t,x(t))}{f(t,x(t))} ]=g(t,x(t)), & t\in J=[0,T], \\ x(0)=0, \end{cases} $$

where \(D^{\alpha}\) denotes the Riemann-Liouville fractional derivative of order α, \(0<\alpha\leq1\), and \(I^{{\beta}_{i}}\) is the Riemann-Liouville fractional integral of order \(\beta_{i} >0\).

Zhao et al. [26] discussed the existence of solutions under mixed Lipschitz and Carathéodory conditions for the fractional hybrid differential equation

$$\textstyle\begin{cases} D_{0^{+}}^{q} [\frac{x(t)}{f(t,x(t))} ]=g(t,x(t)), & t\in J=[0,T], \\ x(0)=0, \end{cases} $$

where \(D^{q}\) denotes the Riemann-Liouville fractional derivative of order q with \(0< q<1\), \(f\in C(J\times\mathbb{R},\mathbb{R}/\{0\} )\), and \(g\in C(J\times\mathbb{R},\mathbb{R})\).

Moreover, the existence and uniqueness of a solution for the problem of type

$$^{c}D_{0^{+}}^{\gamma}x(t)=f \bigl(t,x_{t},^{c}D_{0^{+}}^{\delta}x_{t} \bigr),\quad 0< t< 1, $$

where \(^{c}D_{0^{+}}^{\gamma}\) and \(^{c}D_{0^{+}}^{\delta}\) are Caputo derivatives with \(1<\gamma<2\) and \(0<\delta<1\), has already been proved by Niazi et al. [28] under some boundary conditions.

Motivated by these papers and the fact that the time-delay phenomenon is so common and certain. Many perturbations depend on both present and past status. Therefore, it is essential to consider the time-delay effect in the mathematical modeling of fractional differential equations. However, to the best of our knowledge, it looks like nobody considered the existence of a solution for the hybrid fractional neutral integro-differential equation (1). So, in this paper, we discuss the existence of a solution for the initial value problem for the hybrid fractional neutral integro-differential equation

$$ \textstyle\begin{cases} ^{c}D_{0^{+}}^{\gamma}[\frac{x(t)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(t,x_{t})}{f(t,x_{t})} ]=g(t,x_{t},^{c}D_{0^{+}}^{\delta}x_{t}), & t\in J=[0,1], \\ x(t)=\phi(t), & -\tau\leq t\leq0, \end{cases} $$

where \(^{c}D_{0^{+}}^{\gamma}\) and \(^{c}D_{0^{+}}^{\delta}\) are the Caputo derivatives with \(0<\delta<\gamma<1\), \(I^{\zeta_{i}}\) is the Riemann-Liouville fractional integral of order \(\zeta _{i}>0\), \(i=1,2,\ldots,m\), \(f\in C(J\times\mathbb{R},\mathbb{R}/\{0\} )\), \(g\in C(J\times\mathbb{R},\mathbb{R})\), and \(h_{i}\in C(J\times \mathbb{R},\mathbb{R})\). Let \(E = C(J,R)\) be the space of continuous real-valued functions defined on \(J=[0,1]\). We define the norm \(\Vert \cdot \Vert \) in E for \(0<\tau<1\) by \(\Vert x \Vert = {\rm \sup}\{ \vert x(t) \vert ;-\tau\leq t \leq1\}\). For any \(t \in[0,1]\), we define \(x_{t}\) by \(x_{t}(\theta)=x(t+\theta)\) for \(\theta\in[-\tau,0]\). As a motivation, problems of type (1) seem to be important in the study of dynamics of biological systems; see [33].

The paper is organized as follows. In Section 2, we recall some basic definitions. Section 3 is devoted to the existence of a solution for the IVP (1). Section 4 ends by proving the dependence of the solution on the initial value and its uniqueness. In Section 5, an example is given to explain the applicability of the results.

2 Preliminaries

This section contains some basic definitions and results.

Definition 2.1


The gamma function is defined as

$$ \Gamma(\alpha)= \int_{0}^{\infty} e^{-t} t^{\alpha-1} \,dt,\quad \alpha>0. $$

One of the basic properties of the gamma function is the identity \(\Gamma(\alpha+1)=\alpha\Gamma(\alpha)\).

Definition 2.2


The Riemann-Liouville fractional integral of order \(\alpha>0\) of a continuous function \(f:(0,\infty)\rightarrow\mathbb{R}\) is defined by

$$ I^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t} (t-s)^{\alpha -1}f(s) \,ds,\quad \alpha>0, t>t_{0}, $$

where Γ is the gamma function, and right-hand side of the equality is defined pointwise on \(\mathbb{R}^{+}\).

Definition 2.3


The Caputo fractional derivative for a function \(f:(0,+\infty )\rightarrow\mathbb{R}\) of order α \((n-1<\alpha<n)\) is given by

$$ ^{c}D_{0^{+}}^{\alpha}f(t)=I_{0^{+}}^{n-\alpha} \frac {d^{n}}{dt^{n}}f(t)=\frac{1}{\Gamma(n-\alpha)} \int_{0^{+}}^{t} \frac{f^{(n)}(s)}{(t-s)^{\alpha+1-n}} \,ds,\quad t>0, $$

where \(n=[\alpha]+1\) (\([\alpha]\) stands for the bracket function of α).

Throughout the paper, X denotes a Banach algebra with norm \(\Vert \cdot \Vert \). The space \(C(J,\mathbb{R})\) of all continuous functions endowed with the norm \(\Vert x \Vert =\sup_{t \in J} \vert x(t) \vert \) is a Banach algebra. For proving the existence result, we will use the following fixed point theorem.

Lemma 2.1

[24] Let S be a nonempty, closed convex, and bounded subset of a Banach algebra X, and let \(P,R :X\rightarrow X\) and \(Q: S\rightarrow X\) be three operators satisfying:

  1. (i)

    P and R are Lipschitzian with Lipschitz constants δ and ρ, respectively,

  2. (ii)

    Q is compact and continuous,

  3. (iii)

    \(x = PxQy + Rx \Rightarrow x \in S\) for all \(y\in S\),

  4. (iv)

    \(\delta M+ \rho< 1\), where \(M = \Vert Q(S) \Vert \).

Then the operator equation \(x = PxQx + Rx\) has a solution.

3 Existence result

We will use the following conditions:

(H1) f is continuous, and for any \(x,y\in\mathbb{R}\),

$$ \bigl\vert f(t,x_{t})-f(t,y_{t}) \bigr\vert \leq l \Vert x_{t}-y_{t} \Vert ,\quad\mbox{where }l\in[0,1]. $$

(H2) There exist a continuous function \(\mu\in L^{\infty}(J,\mathbb {R}^{+})\) and a contraction \(\psi:\mathbb{R}^{+}\rightarrow\mathbb {R}^{+}\) with contraction constant <1 and \(\psi(0)=0\) such that, for \(x\in R\) and \(y\in\mathbb{R}\), \(\vert g(t,x,y) \vert \leq\mu(t)( \Vert x \Vert + \Vert y \Vert )\) a.e., \(t\in J\).

(H3) The functions \(h_{i}:J\times\mathbb{R}\rightarrow\mathbb{R}\), \(i=1,2,\ldots,m\), satisfy

$$ \bigl\vert h_{i}(t,x_{t})-h_{i}(t,y_{t}) \bigr\vert \leq n_{i} \Vert x_{t}-y_{t} \Vert ,\quad n_{i}\in[0,1]. $$

(H4) There exists \(c>0\) such that, for \(u_{i},v_{i}\in\mathbb{R}\), \(i=1,2\), and \(s\in[0,1]\), we have

$$ \bigl\vert g(s,u_{1},u_{2})-g(s,v_{1},v_{2}) \bigr\vert \leq c \sum_{i=1}^{2} \vert u_{i}-v_{i} \vert . $$

Lemma 3.1

Suppose that \(0<\delta<\gamma<1\) and that functions f, g, \(h_{i}\), \(i = 1, 2, \ldots,m\), satisfy problem (1). Then the function \(x\in R(J,\mathbb{R})\) is a solution of the hybrid fractional neutral integro-differential problem (1) if and only if it satisfies the integral equation

$$\begin{aligned} x(t) =& f(t,x_{t}) \biggl[\frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta))}+ \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr] \\ &{} + \sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(t,x_{t}). \end{aligned}$$


Applying \(I^{\gamma}\) to both sides of equation (1), we get

$$\begin{aligned} \frac{x(t)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(t,x_{t})}{f(t,x_{t})}-\frac{x(0)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(0,x_{0})}{f(0,x_{0})} =&\frac{1}{\Gamma(\gamma )} \int_{0}^{t} (t-s)^{\gamma-1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds, \end{aligned}$$


$$\begin{aligned} & \frac{x(t)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(t,x_{t})}{f(t,x_{t})}-\frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta ))} \\ &\quad = \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \end{aligned}$$

for \(\theta\in[-\tau,0]\). Hence

$$\begin{aligned} x(t) =&f(t,x_{t}) \biggl[\frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta))}+ \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr] \\ &{} + \sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(t,x_{t}). \end{aligned}$$


Theorem 3.1

Assume that (H1)-(H3) hold. Assume that there exists a real number v such that

$$ v\geq\frac{F_{0}[N+\frac{\mu(s) ((1+\frac{1}{\Gamma(2-\delta )})v )}{\Gamma(\gamma+1)}]+\sum_{i=1}^{m} \frac {K_{0}}{\Gamma(\zeta_{i}+1)}}{1-Nl-l\frac{\mu(s) ((1+\frac {1}{\Gamma(2-\delta)})v )}{\Gamma(\gamma+1)}- \sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)}}, $$

where \(F_{0}=\sup_{t\in J} \vert f(t,0) \vert \) and \(K_{0}=\sup_{t\in J} \vert h_{i}(t,0) \vert \), \(i=1,2,\ldots,m\), \(N= \vert \frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta))} \vert \), and

$$ Nl+l\frac{\mu(s) ((1+\frac{1}{\Gamma(2-\delta)})v )}{\Gamma(\gamma+1)}+ \sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)}< 1. $$

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


Take \(X=R(J,\mathbb{R})\) and define the subset S of X as

$$ S= \bigl\{ x\in X: \Vert x_{t} \Vert \leq v \bigr\} , $$

where v satisfies equation (3). Clearly, S is a closed, convex, and bounded subset of the Banach space X. By Lemma 3.1, problem (1) is equivalent to the integral equation (2). Now we define three operators: \(P:X\rightarrow X\) by

$$ Px(t)=f(t,x_{t}),\quad t\in J, $$

\(Q:S\rightarrow X\) by

$$\begin{aligned} Qx(t) =& \frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta))} \\ &{} + \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds\quad\mbox{for }\theta\in[-\tau,0], \end{aligned}$$

and \(R:X\rightarrow X\) by

$$ Rx(t)=\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(t,x_{t}),\quad t\in J. $$

We shall show that the operators P, Q, and R satisfy all the conditions of Lemma 2.1. This will be achieved in the following series of steps.

Step 1. We will show that P and R are Lipschitzian on X. Let \(x,y\in X\). Then, for \(t\in J\), we have

$$\begin{aligned} \bigl\vert Px(t)-Py(t) \bigr\vert =& \bigl\vert f(t,x_{t})-f(t,y_{t}) \bigr\vert \\ \leq& l \Vert x_{t}-y_{t} \Vert \leq l\sup _{0\leq t\leq 1} \bigl\vert x(t+\theta)-y(t+\theta) \bigr\vert ,\quad \theta\in[-\tau,0] \\ \leq& l\sup_{-\tau\leq t+\theta\leq 1} \bigl\vert x(t+\theta)-y(t+\theta) \bigr\vert \\ \leq& l\sup_{-\tau\leq t'\leq 1} \bigl\vert x \bigl(t' \bigr)-y \bigl(t' \bigr) \bigr\vert ,\quad t'=t+\theta \\ \Rightarrow \Vert Px-Py \Vert =&l \Vert x-y \Vert \quad \mbox{for all }x,y \in X. \end{aligned}$$

Therefore, P is Lipschitzian on X with Lipschitz constant l. Also, for any \(x,y\in X\), we have

$$\begin{aligned} \bigl\vert Rx(t)-Ry(t) \bigr\vert =& \Biggl\vert \sum _{i=1}^{m} I^{\zeta _{i}}h_{i}(t,x_{t})- \sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(t,y_{t}) \Biggr\vert \\ \leq&\sum_{i=1}^{m} \int_{0}^{t} \frac{(t-s)^{\gamma -1}}{\Gamma(\zeta_{i})} \bigl\vert h_{i}(s,x_{s})-h_{i}(s,y_{s}) \bigr\vert \,ds \\ \leq&\sum_{i=1}^{m} \int_{0}^{t} \frac{(t-s)^{\gamma -1}}{\Gamma(\zeta_{i})}n_{i} \Vert x_{s}-y_{s} \Vert \,ds \\ \leq& \Vert x-y \Vert \sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta _{i})}\frac{t^{\zeta_{i}}}{\zeta_{i}} \\ \Rightarrow \Vert Rx-Ry \Vert =&\sum_{i=1}^{m} \frac{n_{i}}{\Gamma (\zeta_{i}+1)} \Vert x-y \Vert \quad\mbox{for all }x,y \in X. \end{aligned}$$

Thus, R is a Lipschitzian on X with Lipschitz constant \(\sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)}\).

Step 2. Now we will prove that the operator Q is completely continuous on X. First, we show that Q is continuous on S. Let \(\{x_{n}\}\) be a sequence in S converging to a point \(x\in S\). Then by the Lebesgue dominated convergence theorem

$$\begin{aligned} \lim_{n\rightarrow\infty}Qx_{n}(t) =&\frac{\phi (0)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(0,\phi(\theta ))}{f(0,\phi(\theta))}+\lim _{n\rightarrow\infty }\frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{ns},^{c}D_{0^{+}}^{\delta}x_{ns} \bigr)\,ds \\ =&\frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(0,\phi (\theta))}{f(0,\phi(\theta))}+\frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma-1}\lim _{n\rightarrow\infty }g \bigl(s,x_{ns},^{c}D_{0^{+}}^{\delta}x_{ns} \bigr)\,ds \\ =&\frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(0,\phi (\theta))}{f(0,\phi(\theta))}+ \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \\ =&Qx(t) \end{aligned}$$

for all \(t\in J\). Hence, Q is a continuous operator on S. Now we will show that Q is a compact operator on S. We have to prove that \(Q(s)\) is a uniformly bounded and equicontinuous set in X. By (H2) we have

$$\begin{aligned} \bigl\vert Qx(t) \bigr\vert =& \biggl\vert \frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta _{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta))} \biggr\vert + \biggl\vert \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr\vert \\ \leq& N+\frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma-1}\mu (s) \bigl( \Vert x_{s} \Vert + \bigl\Vert D_{0^{+}}^{\delta}x_{s} \bigr\Vert \bigr)\,ds \\ \leq& N+\frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma-1}\mu (s) \biggl( \Vert x_{s} \Vert +\frac{1}{\Gamma(2-\delta)} \Vert x_{s} \Vert \biggr)\,ds \\ \leq& N+\frac{1}{\Gamma(\gamma+1)}\mu(s) \biggl(1+\frac{1}{\Gamma (2-\delta)} \biggr)v=K_{1} \end{aligned}$$

for all \(t\in J\). Therefore, \(\Vert Q \Vert \leq K_{1}\), which shows that Q is uniformly bounded on S. Now, we will show that \(Q(s)\) is an equicontinuous set in X. Let \(t_{1},t_{2}\in J\) with \(t_{1}< t_{2}\). Then, for any \(x\in S\),

$$\begin{aligned} \bigl\vert Qx(t_{2})-Qx(t_{1}) \bigr\vert \leq& \biggl\vert \frac{1}{\Gamma(\gamma)} \int_{0}^{t_{2}} (t_{2}-s)^{\gamma-1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \\ &{}-\frac{1}{\Gamma(\gamma)} \int_{0}^{t_{1}} (t_{1}-s)^{\gamma -1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr\vert \\ \leq&\frac{1}{\Gamma(\gamma)} \int_{0}^{t_{1}} \bigl[(t_{2}-s)^{\gamma -1}-(t_{1}-s)^{\gamma-1} \bigr] \bigl\vert g \bigl(s,x_{s}, ^{c}D_{0^{+}}^{\delta}x_{s} \bigr) \bigr\vert \,ds \\ &{}+\frac{1}{\Gamma(\gamma)} \int_{t_{1}}^{t_{2}} (t_{2}-s)^{\gamma -1} \bigl\vert g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr) \bigr\vert \,ds \\ \leq&\frac{1}{\Gamma(\gamma+1)} \bigl[(t_{2})^{\gamma}-(t_{1})^{\gamma }-(t_{2}-t_{1})^{\gamma} \bigr]\mu(s) \biggl(1+\frac{1}{\Gamma(2-\delta)} \biggr) (v) \\ &{}+\frac{(t_{2}-t_{1})^{\gamma}}{\Gamma(\gamma+1)}\mu(s) \biggl(1+\frac{1}{ \Gamma(2-\delta)} \biggr) (v) \\ \leq&\frac{1}{\Gamma(\gamma+1)} \bigl[(t_{2})^{\gamma}-(t_{1})^{\gamma } \bigr]\mu(s) \biggl(1+\frac{1}{\Gamma(2-\delta)} \biggr)v, \end{aligned}$$

which is independent of \(x\in S\). As \(t_{1} \rightarrow t_{2}\), the right-hand side of the last inequality tends to zero. Therefore, it follows from the Arzelà-Ascoli theorem that Q is a completely continuous operator on S.

Step 3. We will prove that hypothesis (iii) of Lemma 2.1 is satisfied, that is, \(x=PxQy+Rx \implies x\in S\) for all \(y\in S\). We have

$$\begin{aligned} \bigl\vert x(t) \bigr\vert \leq& \bigl\vert Px(t) \bigr\vert \bigl\vert Qy(t) \bigr\vert + \bigl\vert Rx(t) \bigr\vert \\ \leq& \bigl\vert f(t,x_{t}) \bigr\vert \biggl\{ \biggl\vert \frac{\phi(0)-\sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(0,\phi(\theta))}{f(0,\phi(\theta))} \biggr\vert + \frac{1}{\Gamma(\gamma)} \biggl\vert \int_{0}^{t} (t-s)^{\gamma -1}g \bigl(s,y_{s},^{c}D_{0^{+}}^{\delta}y_{s} \bigr)\,ds \biggr\vert \biggr\} \\ &{}+ \Biggl\vert \sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(t,x_{t}) \Biggr\vert \\ \leq& \bigl( \bigl\vert f(t,x_{t})-f(t,0) \bigr\vert + \bigl\vert f(t,0) \bigr\vert \bigr) \biggl\{ N+\frac{1}{\Gamma(\gamma+1)}\mu (s) \biggl(1+ \frac{1}{\Gamma(2-\delta)} \biggr) (v) \biggr\} \\ &{}+ \sum_{i=1}^{m} \int_{0}^{t} \frac{(t-s)^{\zeta_{i}-1}}{\Gamma (\zeta_{i})} \\ &{}\times \bigl( \bigl\vert h_{i}(s,x_{s})-h_{i}(s,0) \bigr\vert + \bigl\vert h_{i}(s,0) \bigr\vert \bigr)\,ds \\ \leq& \bigl(l \Vert x_{t} \Vert +F_{0} \bigr) \biggl\{ N+ \frac{1}{\Gamma(\gamma+1)}\mu (s) \biggl(1+\frac{1}{\Gamma(2-\delta)} \biggr) (v) \biggr\} + \sum_{i=1}^{m} \frac{n_{i} \Vert x_{t} \Vert +K_{0}}{\Gamma(\zeta_{i}+1)} \\ \leq&(lv+F_{0}) \biggl\{ N+\frac{1}{\Gamma(\gamma+1)}\mu(s) \biggl(1+ \frac {1}{\Gamma(2-\delta)} \biggr) (v) \biggr\} +\sum_{i=1}^{m} \frac{n_{i}v+K_{0}}{\Gamma(\zeta_{i}+1)}\leq v, \end{aligned}$$

which implies that \(\Vert x \Vert \leq v\), and therefore \(x\in S\).

Step 4. Finally, we will show that \(\nu M+\rho<1\), that is, (iv) of Lemma 2.1 holds. Since

$$\begin{aligned} M =& \bigl\Vert Q(s) \bigr\Vert =\sup_{t\in J} \biggl\vert N+\frac{1}{\Gamma (\gamma)} \int_{0}^{t} (t-s)^{\gamma-1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr\vert \\ \leq& N+\frac{1}{\Gamma(\gamma+1)}\mu(s) \biggl(1+\frac{1}{\Gamma (2-\delta)} \biggr) (v), \end{aligned}$$

using equation (3), we have

$$\begin{aligned} \nu M+\rho =& lM+\sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta _{i}+1)} \\ =&lN+\frac{l\mu(s)(1+\frac{1}{\Gamma(2-\delta)})(v)}{\Gamma (\gamma+1)}+\sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)}< 1 \end{aligned}$$

with \(\nu=l\) and \(\rho=\sum_{i=1}^{m} \frac{n_{i}}{\Gamma (\zeta_{i}+1)}\). Thus all the conditions of Lemma 2.1 are satisfied, and hence the operator equation \(x=PxQx + Rx\) has a solution in S. In consequence, problem (1) has a solution on J. This completes the proof. □

4 Data dependence of solution

In this section, we will derive the data dependence of a solution for equation (1).

Theorem 4.1

Let x and y be two solutions to the fractional hybrid equation (1) with \(\phi=\phi_{1}\) and \(\phi=\phi_{2}\), respectively. Then we have

$$\begin{aligned} \Vert x-y \Vert \leq& \Biggl[l \biggl[N+\frac{\mu(t)(1+\frac{1}{\Gamma(2-\delta )})v}{\Gamma(\gamma+1)} \biggr]+ \frac{(lv-F_{0})(c)}{\Gamma(\gamma+1)} \biggl(1+\frac{1}{\Gamma(2-\delta)} \biggr)+\sum _{i=1}^{m} \frac {n_{i}}{\Gamma(\zeta_{i}+1)} \Biggr] \\ &{}\times \Vert \phi_{1}-\phi_{2} \Vert . \end{aligned}$$


Let x and y be two solutions of equation (1). Then from equation (2) we have

$$\begin{aligned} \bigl\vert x(t)-y(t) \bigr\vert \leq& \Biggl\vert f(t,x_{t}) \biggl[N+\frac{1}{\Gamma (\gamma)} \int_{0}^{t} (t-s)^{\gamma-1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr] \\ &{}-f(t,y_{t}) \biggl[N+ \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma-1}g \bigl(s,y_{s},^{c}D_{0^{+}}^{\delta}y_{s} \bigr)\,ds \biggr] \\ &{}+\Biggl[ \sum _{i=1}^{m} I^{\zeta_{i}}h_{i}(t,x_{t})- \sum_{i=1}^{m} I^{\zeta_{i}}h_{i}(t,y_{t})\Biggr] \Biggr\vert \\ \leq& \bigl\vert f(t,x_{t})-f(t,y_{t}) \bigr\vert \biggl[ \biggl\vert N+\frac{1}{\Gamma(\gamma )} \int_{0}^{t} (t-s)^{\gamma-1}g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds \biggr\vert \biggr] \\ &{} +f(t,y_{t}) \biggl[\frac{1}{\Gamma(\gamma)} \int _{0}^{t}(t-s)^{\gamma-1} \bigl\vert g \bigl(s,x_{s},^{c}D_{0^{+}}^{\delta}x_{s} \bigr)\,ds-g \bigl(s,y_{s},^{c}D_{0^{+}}^{\delta}y_{s} \bigr) \bigr\vert \biggr] \\ &{}+\sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)} \Vert \phi _{1}-\phi_{2} \Vert . \end{aligned}$$

Now consider

$$\begin{aligned} I^{\gamma} \bigl\vert g \bigl(t,x_{t},^{c}D_{0^{+}}^{\delta}x_{t} \bigr)-g \bigl(t,y_{t},^{c}D_{0^{+}}^{\delta}y_{t} \bigr) \bigr\vert \leq& I^{\gamma }c \bigl[ \vert x_{t}-y_{t} \vert + \bigl\vert ^{c}D_{0^{+}}^{\delta}x_{t}-^{c}D_{0^{+}}^{\delta}y_{t} \bigr\vert \bigr] \\ \leq& c \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1} \vert x_{s}-y_{s} \vert \,ds \\ &{}+c \frac{1}{\Gamma(\gamma)} \int_{0}^{t} (t-s)^{\gamma -1} \bigl\vert ^{c}D_{0^{+}}^{\delta}x_{s}- ^{c}D_{0^{+}}^{\delta}y_{s} \bigr\vert \,ds \\ \leq& \frac{c}{\Gamma(\gamma+1)} \Vert x_{t}-y_{t} \Vert + \frac{c}{\Gamma (\gamma+1)\Gamma(2-\delta)} \Vert x_{t}-y_{t} \Vert \\ \leq& \biggl( \frac{c}{\Gamma(\gamma+1)} \biggr) \biggl(1+\frac{1}{\Gamma(2-\delta )} \biggr) \Vert \phi_{1}-\phi_{2} \Vert . \end{aligned}$$

So equation (8) implies that

$$\begin{aligned} \bigl\vert x(t)-y(t) \bigr\vert \leq& l \Vert x_{t}-y_{t} \Vert \biggl[N+\frac{1}{\Gamma(\gamma)}\mu (t) \bigl( \Vert x_{t} \Vert + \bigl\Vert ^{c}D_{0^{+}}^{\delta}x_{t} \bigr\Vert \bigr) \int_{0}^{t} (t-s)^{\gamma -1}\,ds \biggr] \\ &{}+ \bigl[ \bigl\vert f(t,y_{t})-f(t,0) \bigr\vert + \bigl\vert f(t,0) \bigr\vert \bigr] \biggl[ \biggl( \frac{c}{\Gamma(\gamma+1)} \biggr) \biggl(1+\frac{1}{\Gamma (2-\delta)} \biggr) \Vert \phi_{1}- \phi_{2} \Vert \biggr] \\ &{}+ \sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)} \Vert \phi _{1}-\phi_{2} \Vert \\ \leq& l \biggl[N+\frac{\mu(t)(1+\frac{1}{\Gamma(2-\delta )})v}{\Gamma(\gamma+1)} \biggr] \Vert \phi_{1}- \phi_{2} \Vert + \bigl[l \Vert y_{t} \Vert +F_{0} \bigr] \\ &{}\times \biggl[\frac{c}{\Gamma(\gamma+1)} \biggl(1+\frac{1}{\Gamma(2-\delta )} \biggr) \biggr] \Vert \phi_{1}-\phi_{2} \Vert +\sum _{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)} \Vert \phi _{1}-\phi_{2} \Vert \\ \leq& \Biggl[l \biggl[N+\frac{\mu(t)(1+\frac{1}{\Gamma(2-\delta )})v}{\Gamma(\gamma+1)} \biggr]+\frac{(lv-F_{0})(c)}{\Gamma(\gamma+1)} \biggl(1+ \frac{1}{\Gamma(2-\delta)} \biggr) \\ &{}+\sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)} \Biggr] \Vert \phi_{1}-\phi_{2} \Vert . \end{aligned}$$


Corollary 1

Under the assumptions of Theorem  4.1, the solution of equation (1) is unique.


Let x and y be two solutions of equation (1). Then from Theorem 4.1 we have that \(\Vert x-y \Vert =0\) (since \(\phi_{1}=\phi_{2}=\phi\) in this case). Hence the uniqueness. □

5 Example

In this section, we present an example to explain the applicability of the main results.

Example 1

Consider the following initial value problem of fractional neutral hybrid integro-differential equation:

$$ \textstyle\begin{cases} ^{c}D_{0^{+}}^{\frac{3}{4}} [\frac{x(t)-\sum_{i=1}^{4} I^{\frac{2i-1}{2}}h_{i}(t,x_{t})}{1+\frac{sint}{12} \vert x_{t} \vert } ]=(1+ \vert x_{t} \vert + {}^{c}D_{0^{+}}^{\frac{1}{2}} \vert x_{t} \vert ), & t\in[0,1], \\ x(t)=1, & -\pi\leq t\leq0 \end{cases} $$


$$ h_{i}(t,x_{t})=\frac{ \vert x_{t} \vert }{(12+2i+t)(1+ \vert x_{t} \vert )} $$

and \(\zeta_{i}=\frac{2i-1}{2}\), \(i=1,2,3,4\). Therefore \(\zeta_{1}=\frac {1}{2}\), \(\zeta_{2}=\frac{3}{2}\), \(\zeta_{3}=\frac{5}{2}\), \(\zeta _{4}=\frac{7}{2}\), \(\gamma=\frac{3}{4}\), \(\delta=\frac{1}{2}\),

$$\begin{aligned} \bigl\vert f(t,x_{t})-f(t,y_{t}) \bigr\vert =& \biggl\vert \biggl(1+\frac{\sin t}{12} \vert x_{t} \vert \biggr)- \biggl(1+\frac{\sin t}{12} \vert y_{t} \vert \biggr) \biggr\vert \\ \leq& \frac{\sin t}{12} \Vert x_{t}-y_{t} \Vert , \end{aligned}$$


$$\begin{aligned} \bigl\vert h_{i}(t,x_{t})-h_{i}(t,y_{t}) \bigr\vert =&\frac{1}{24+i+t} \biggl\vert \frac { \vert x_{t} \vert }{1+ \vert x_{t} \vert }- \frac{ \vert y_{t} \vert }{1+ \vert y_{t} \vert } \biggr\vert \\ \leq& \frac{1}{24+i+t} \Vert x_{t}-y_{t} \Vert . \end{aligned}$$

From this we get the norms \(\Vert l \Vert =\frac{1}{12}\) and \(\Vert n_{i} \Vert =\frac {1}{13+2i}\). Moreover,

$$\begin{aligned} h_{i} \bigl(0,\phi(\theta) \bigr) =&\frac{ \vert \phi(\theta) \vert }{(12+2i)(1+ \vert \phi (\theta) \vert )} \\ =& \frac{1}{(12+2i)(2)},\quad i=1,2,3,4, \end{aligned}$$

and therefore \(N=1-I^{\frac{1}{2}}(\frac{1}{28})-I^{\frac {3}{2}}(\frac{1}{32})-I^{\frac{5}{2}}(\frac{1}{36}) -I^{\frac{7}{2}}(\frac{1}{40})\). By using \(I^{\zeta}c=\frac {t^{\zeta}}{\Gamma(\zeta+1)}\) we get \(N\approx0.0743\), \((1+\frac{1}{\Gamma(2-\delta)})(v)=0.4698v\), \(F_{0}=1\), \(K_{0}=0\), \(\mu(s)=1\). Also, \(\sum_{i=1}^{4} \frac{n_{i}}{\Gamma(\zeta_{i}+1)}=0.1393\). So

$$ v\geq\frac{F_{0}[N+\frac{\mu(s)(1+\frac{1}{\Gamma(2-\delta )})v}{\Gamma(\gamma+1)}]+\sum_{i=1}^{m} \frac{K_{0}}{\Gamma (\zeta_{i}+1)}}{1-Nl-l\frac{\mu(s)(1+\frac{1}{\Gamma(2-\delta )})v}{\Gamma(\gamma+1)}- \sum_{i=1}^{m} \frac{n_{i}}{\Gamma(\zeta_{i}+1)}} $$

implies that \(v\in[0.2242,7.8345]\). Hence all the conditions of Theorem 3.1 are satisfied. Therefore problem (9) has at least one solution on \([0,1]\).

6 Conclusions

In this paper, we proved the existence of a solution for initial value problem for a class of hybrid fractional differential equation with delay by using a hybrid fixed point theorem of Dhage [24] for three operators in a Banach algebra. We also derived the data dependence of a solution. The main result is well illustrated by an example.


  1. Anguraj, A, Karthikeyan, P, Rivero, M, Trujillo, JJ: On new existence results for fractional integro-differential equations with impulsive and integral conditions. Comput. Math. Appl. 66(12), 2587-2594 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  2. Arshad, S, Lupulescu, V, Regan, DÓ: \(L_{p}\)-Solutions for fractional integral equations. Fract. Calc. Appl. Anal. 17(1), 259-276 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  3. Harikrishnan, S, Prakash, P, Nieto, JJ: Forced oscillation of solutions of a nonlinear fractional partial differential equation. Appl. Math. Comput. 254, 14-19 (2015)

    Article  MathSciNet  Google Scholar 

  4. Li, K, Peng, J, Gao, J: Nonlocal fractional semilinear differential equations in separable Banach spaces. Electron. J. Differ. Equ. 2013, 7 (2013).

    Article  MATH  MathSciNet  Google Scholar 

  5. Rodríguez-López, R, Tersian, S: Multiple solutions to boundary value problem for impulsive fractional differential equations. Fract. Calc. Appl. Anal. 17(4), 1016-1038 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  6. Wang, JR, Zhou, Y, Fečkan, M: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 71, 685-700 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  7. Zhang, Z, Ning, Q, Wang, H: Mild solutions of fractional evolution equations on an unbounded interval. Adv. Differ. Equ. 2014, 27 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  8. Sheng, J, Jiang, W: Existence and uniqueness of the solution of fractional damped dynamical systems. Adv. Differ. Equ. 2017, 16 (2017)

    Article  MathSciNet  Google Scholar 

  9. Ahmad, B, Ntouyas, SK: Nonlocal fractional boundary value problems with slit-strips boundary conditions. Fract. Calc. Appl. Anal. 18, 261-280 (2015)

    Article  MATH  MathSciNet  Google Scholar 

  10. Chen, L, Wu, R, Chu, Z, He, Y: Stabilization of fractional-order coupled systems with time delay on networks. Nonlinear Dyn. 88(1), 521-528 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  11. Chen, L, Wu, R, Cao, J, Liu, JB: Stability and synchronization of memristor-based fractional-order delayed neural networks. Neural Netw. 71, 37-44 (2015)

    Article  Google Scholar 

  12. Chen, L, Liu, C, Wu, R, He, Y, Chai, Y: Finite-time stability criteria for a class of fractional-order neural networks with delay. Neural Comput. Appl. 27(3), 549-556 (2016)

    Article  Google Scholar 

  13. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier Science BV, Amsterdam (2006)

    Book  MATH  Google Scholar 

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

    MATH  Google Scholar 

  15. Sabatier, J, Agrawal, RP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    MATH  Google Scholar 

  16. Lakshmikantham, V, Leela, S: Differential and Integral Inequalities. Academic Press, New York (1969)

    MATH  Google Scholar 

  17. Dhage, BC: On α-condensing mappings in Banach algebras. Math. Stud. 63, 146-152 (1994)

    MATH  MathSciNet  Google Scholar 

  18. Dhage, BC, Lakshmikantham, V: Basic results on hybrid differential equations. Nonlinear Anal., Real World Appl. 4, 414-424 (2010)

    MATH  MathSciNet  Google Scholar 

  19. Dhage, BC: A nonlinear alternative in Banach algebras with applications to functional differential equations. Nonlinear Funct. Anal. Appl. 8, 563-575 (2004)

    MATH  MathSciNet  Google Scholar 

  20. Dhage, BC: Fixed point theorems in ordered Banach algebras and applications. Panam. Math. J. 9, 93-102 (1999)

    MATH  MathSciNet  Google Scholar 

  21. Dhage, BC: Quadratic perturbations of periodic boundary value problems of second order ordinary differential equations. Differ. Equ. Appl. 2, 465-486 (2010)

    MATH  MathSciNet  Google Scholar 

  22. Dhage, BC: Basic results in the theory of hybrid differential equations with mixed perturbations of second type. Funct. Differ. Equ. 19, 1-20 (2012)

    MATH  MathSciNet  Google Scholar 

  23. Dhage, BC, Ntouyas, SK: Existence results for boundary value problems for fractional hybrid differential inclusions. Topol. Methods Nonlinear Anal. 44, 229-238 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  24. Dhage, BC: A fixed point theorem in Banach algebras with applications to functional integral equations. Kyungpook Math. J. 44, 145-155 (2004)

    MATH  MathSciNet  Google Scholar 

  25. Lu, H, Sun, S, Yang, D, Teng, H: Theory of fractional hybrid differential equations with linear perturbations of second type. Boundary Value Problems, 23 (2013)

  26. Zhao, Y, Sun, S, Han, Z, Li, Q: Theory of fractional hybrid differential equations. Comput. Math. Appl. 62, 1312-1324 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  27. Sitho, S, Ntouyas, SK, Tariboon, J: Existence results for hybrid fractional integro-differential equations. Boundary Value Problems, 113 (2015)

  28. Niazi, AUK, Jiang, W, Rehman, M, Pang, D: Boundary value problem for nonlinear fractional differential equations with delay. Advances in Difference Equations, 24 (2017)

  29. Sun, S, Zhao, Y, Han, Z, Li, Y: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 4961-4967 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  30. Ahmad, B, Ntouyas, SK: An existence theorem for fractional hybrid differential inclusions of Hadamard type with Dirichlet boundary conditions. Abstr. Appl. Anal. 2014, Article ID 705809 (2014)

    MathSciNet  Google Scholar 

  31. Ahmad, B, Ntouyas, SK, Alsaedi, A: Existence results for a system of coupled hybrid fractional differential equations. Sci. World J. 2014, Article ID 426438 (2014)

    Google Scholar 

  32. Ahmad, B, Ntouyas, SK, Tariboon, J: A nonlocal hybrid boundary value problem of Caputo fractional integro-differential equations. Acta Math. Sci. 36B(6), 1631-1640 (2016)

    Article  MATH  MathSciNet  Google Scholar 

  33. Abbas, S: Existence of solutions to fractional order ordinary and delay differential equations and applications. Electron. J. Differ. Equ. 2011, 9 (2011)

    Article  MathSciNet  Google Scholar 

Download references

Authors’ information

This research had been supported by National Natural Science Foundation of China (nos. 11371027, 11471015, and 11601003).

Author information

Authors and Affiliations



The authors read and approved the final manuscript.

Corresponding author

Correspondence to Azmat Ullah Khan Niazi.

Ethics declarations

Competing interests

The authors declare to have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Niazi, A.U.K., Wei, J., Ur Rehman, M. et al. Existence results for hybrid fractional neutral differential equations. Adv Differ Equ 2017, 353 (2017).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: