Skip to main content

Existence and stability of solution to a toppled systems of differential equations of non-integer order


The aim of this paper is developing conditions that guarantee the existence of a solution to a toppled system of differential equations of noninteger order with fractional integral boundary conditions where the nonlinear functions involved in the considered system are continuous and satisfy some growth conditions. We convert the system of differential equations to a system of fixed point problems for condensing mapping. With the help of techniques of the topological degree theory, we establish adequate conditions that ensure the existence and uniqueness of positive solutions to a toppled system under consideration. Moreover, some conditions are also developed for the Hyers-Ullam stability of the solution to the system under consideration. Finally, to demonstrate the obtained results, we provide an example.

1 Introduction

In last few decades, the area devoted to the study of classical and partial differential equations of arbitrary order has received much attention due to the fact that they exactly describe many nonlinear phenomenons in different disciplines of applied sciences like physics, chemistry, biology, viscoelasticity, control theory, fluid dynamics, hydrodynamics, aerodynamics, computer networking, signal and image processing, and so on. The interest in the study of differential equations of noninteger order is due to the fact that the models involve fractional-order derivatives are more realistic and accurate as compared to the models that involve classical derivatives. For the respective applications, we refer to [18]. Therefore, researchers study various aspects of the differential equations of arbitrary order. One of the most important area is devoted to the existence theory, which has been very well studied, and plenty of research articles and books are available on it; we refer, for example, to [915]. In all these articles, sufficient conditions for the existence of solutions to the corresponding problems are obtained by using classical fixed point theory. Using the classical fixed point theory often required stronger conditions, which shorten the applicability to a small number of applied problems and very particular systems of boundary value problems (BVPs). To use less restrictive conditions in order to extend tools to more classes of BVPs, researchers need to look for some other refined tools of functional analysis. One of the powerful tools is the degree approach of topology. The topological degree method proved to be a dominant tool in the study of many mathematical models that arise in applied nonlinear analysis. The concerned method, also called the prior estimate method, has been used by many researchers of mathematics to study the existence of solutions to both nonlinear ordinary and nonlinear partial differential equations. Mawhim [16] used the aforesaid method coupled with the degree theory of condensing mapping and showed that, under special assumptions, the problems

$$\textstyle\begin{cases} u^{\prime\prime }(t)+\theta (t,u(t), u^{\prime}(t) )=0, &t\in I=[0,\pi], \\ u(t)\vert_{t=0}=u(t) \vert_{t=\pi}=0, \end{cases} $$


$$\textstyle\begin{cases} u^{\prime\prime }(t)+\theta (t,u(t) )=0,& 0\leq t\leq 1, \\ u(t)\vert_{t=0}=u(t) \vert_{t=1}, \end{cases} $$

admit solutions. Isaia [17], used the technique of degree method to develop some conditions that ensure the existence of solutions to the following nonlinear integral equations:

$$u(t)= \mathcal{H} \bigl(t, u(t) \bigr)+ \int_{a}^{b} \mathcal{K} \bigl(t, s, u(s) \bigr) \,ds,\quad t \in[a, b], $$

where \(\mathcal{H}:[a, b] \times\mathbb{R}\rightarrow\mathbb{R}\) and \(\mathcal{K}:[a, b]\times[a, b]\times\mathbb{R}\rightarrow \mathbb{R}\) are continues functions obeying some growth conditions.

In the same fashion, with the help of degree theory, Wang et al. [18] studied the existence and uniqueness of solutions to a class of nonlocal Cauchy problems given by

$$\textstyle\begin{cases} D^{q} u(t)-\theta (t,u(t) )=0,& 0\leq t\leq T, \\ u(t)\vert_{t=0}+u_{0}=g(u), \end{cases} $$

where D is the Caputo fractional derivative of order \(q\in(0,1]\), \(u_{0}\in\mathbb{R}\), and \(\theta\in([0, T]\times\mathbb{R}, \mathbb{R})\). The same problem was studied subject to multipoint boundary value problems by Khan and Shah [19]

$$\textstyle\begin{cases} ^{c}D^{q} u(t)-\theta (t, u(t) )=0, \quad q\in(1, 2], 0\leq t\leq1, \\ u(t)\vert_{t=0}= g(u),\qquad u(t)\vert_{t=1}=h(u)+\sum_{i=1}^{m-2} \lambda_{i} u( \eta_{i}),\quad \lambda_{i}, \eta_{i}\in(0, 1), \end{cases} $$

where \(g, h:([0, 1], \mathbb{R})\rightarrow\mathbb{R}\) and \(\theta:[0, 1]\times\mathbb{R}\rightarrow\mathbb{R}\). In the same line, by using topological degree theory Shah and Khan [20] studied the toppled system with nonlinear conditions provided as

$$\textstyle\begin{cases} ^{c} D^{p} u(t)-\theta_{1} (t,u(t),v(t) )=0,\qquad ^{c}D^{q} v(t)-\theta _{2} (t,u(t),v(t) )=0, \quad0\leq t\leq1, \\ \lambda_{1} u(t)\vert_{t=0}-\gamma_{1}u(t) \vert_{t=\eta}-\mu_{1}u(t) \vert_{t=1}- \phi(u)=0,\\ \lambda_{2}v(t) \vert_{t=0}-\gamma_{2}v(t) \vert _{t=\xi}-\mu_{2}v(t) \vert_{t=1}- \psi(v)=0, \end{cases} $$

where \(p, q, \eta, \xi\in(0, 1) \) and \(\theta_{1}, \theta_{2} \in[0,1]\times\mathbb{R}^{2}\rightarrow\mathbb{R}\), and the nonlocal functions \(\phi,\psi:[0,1]\times\mathbb{R} \rightarrow\mathbb{R}\). Inspired by the aforesaid work, we use the coincidence degree method to study the following toppled system with fractional integral boundary conditions of the form

$$ \textstyle\begin{cases} ^{c}D^{p} u(t)= \theta_{1} (t,v(t) ),\quad t\in J=[0,1], \\ ^{c}D^{q} v(t)=\theta_{2} (t,u(t) ),\quad t \in J=[0,1], \\ u(t)\vert_{t=0}=0,\qquad u(t)\vert_{t=1}= {}_{0}I_{T}^{\gamma}g(u)= \frac{1}{ \Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g (u(s) )\,ds, \\ v(t)\vert_{t=0}=0,\qquad v(t)\vert_{t=1}= {}_{0}I_{T}^{\delta}h(v)= \frac{1}{ \Gamma(\delta)} \int_{0}^{T}(T-s)^{\delta-1}h (v(s) )\,ds, \end{cases} $$

where \(p, q, \delta, \gamma\in(1,2]\), c D denotes the Caputo fractional derivative, \(g, h\in L[0, 1]\) are boundary functions, and the nonlinear functions \(\theta_{1},\theta_{2}:J\times\mathbb{R} \rightarrow\mathbb{R}\). We develop sufficient conditions for the existence and uniqueness and also study the Hyers-Ullam stability of the system. The study of stability for fractional-order system is quite recent. There are various methods available in the literature to study stability, one of which is the Lyapunov method that suffers from the difficulties of derivation of Lyapunov functions. Another important method to obtain stability for such a system is the Hyers-Ullam stability introduced by Ullam [21] in 1940, which was answered by Hyers [22] in 1941. Wang [23] was the first mathematician who investigated the Hyers-Ullam stability for the impulsive ordinary differential equations in 2012. In the same line, he also obtained the aforesaid stability for the evolution equations [24]. For more detail about the Hyers-Ullam stability, we refer to [2527]. Urs [28], studied the Hyers-Ullam stability to the following system of periodic boundary value problems:

$$\textstyle\begin{cases} u^{\prime\prime }(t)- \theta_{1} (t, u(t) )= \theta_{2} (t, v(t) ), \\ v^{\prime\prime }(t)-\theta_{1} (t, v(t) )= \theta_{2} (t, u(t) ), \\ u(t)\vert_{t=0}=u(t)_{t=T},\qquad v(t)_{t=0}= v(t)_{t=T}. \end{cases} $$

We study the Hyers-Ullam stability to the toppled system (1) under consideration. We also give an example to verify the applicability of our results.

2 Background materials and auxiliary results

This section is concerned with some basic definitions, important theorems of general calculus, and topological degree theory; see [9, 10, 16, 2931].

Definition 2.1

The noninteger-order integral of a function \(\theta\in L^{1}([a,b], \mathbb{R})\) is provided as

$$I_{0+}^{p} \theta(t)=\frac{1}{\Gamma(p)} \int_{a}^{t}(t-s)^{p-1} \theta(s)\,ds. $$

Definition 2.2

The noninteger-order derivative in the Caputo sense of a function θ over the interval \([a, b]\) is defined as

$$D_{0+}^{p} \theta(t)=\frac{1}{\Gamma(m-p)} \int_{a}^{t}(t-s)^{m-p-1} \theta^{(m)}(s)\,ds, $$

where \(m=[p]+1\), and \([p]\) is the integer part of p.

Theorem 2.3

The general solution to the differential equation of fractional order

$$I^{p} \bigl[ D^{p} \theta(t) \bigr]=y(t),\quad n-1< q< n, $$

is given by

$$I^{p} \bigl[ D^{p} \theta(t) \bigr]=y(t)+c_{0}+c_{1}t+c_{2}t^{2}+ \cdots+c_{m-1}t ^{m-1} $$

for arbitrary \(c_{i}\in\mathbb{R}\), \(i=0,1,2,\dots,m-1\).

The spaces for all continuous functions \(u, v:[0,1]\rightarrow \mathbb{R}\) are denoted by \(U=C([0,1], \mathbb{R})\), \(V=C([0,1], \mathbb{R})\). Under the topological norms, they are Banach spaces. The respective norms can be defined as \(\lVert u\rVert=\sup\{\vert u(t) \vert :0\leq t\leq1 \}\) and \(\lVert v\rVert=\sup\{\vert v(t) \vert :0\leq t\leq1 \}\). Moreover, \(\mathcal{E}=U\times V\) is also a Banach space under the norms \(\lVert(u,v)\rVert=\lVert u\rVert+ \lVert v\rVert\) and \(\vert (u,v)\vert = \max\{\lVert u\rVert, \lVert v\rVert\}\).

Consider the class of all bounded set of \(P(\mathcal{E})\) denoted by \(\mathbb{B}\). Then, we review the following notions of [30].

Definition 2.4

The Kuratowski measure of noncompactness is the mapping \(\varrho: \mathbb{B}\rightarrow(0, \infty)\) defined by

$$\varrho(B)= \inf\{d>0:B \mbox{ admits a finite cover by sets of diameter}\leq d \} $$

for \(B\in\mathbb{B}\).

Proposition 2.1

The measure defined in Definition  2.4 for ϱ satisfies the following characteristics:

  1. (i)

    For a relative compact B, the Kuratowski measure \(\varrho(B)=0\);

  2. (ii)

    ϱ is a seminorm, that is, \(\varrho(\lambda B)= \vert \lambda \vert \varrho(B)\), \(\lambda\in\mathbb{R}\), and \(\varrho(B_{1}+B_{2})\leq\varrho(B_{1})+\varrho(B_{2})\);

  3. (iii)

    \(B_{1}\subset B_{2}\) yields \(\varrho(B_{1})\leq \varrho(B_{2})\); \(\varrho(B_{1}\cup B_{2})=\sup\{\varrho(B_{1}), \varrho(B_{2})\}\);

  4. (iv)


  5. (v)


Definition 2.5

Assume that \(\mathbb{F}:\Theta\rightarrow U\) is a bounded and continuous map such that \(\Theta\subset U\). Then \(\mathbb{F}\) is ϱ-Lipschitz with \(\mathbb{K}\geq0\) such that

$$\varrho \bigl(\mathbb{F}(B) \bigr)\leq\mathbb{K} \varrho(B)\quad \mbox{for all bounded } B\subset\Theta. $$

Also, \(\mathbb{F}\) is a strict ϱ-contraction if \(\mathbb{K}<1\).

Definition 2.6

A function \(\mathbb{F}\) is ϱ-condensing if

$$\varrho \bigl(\mathbb{F}(B) \bigr)< \varrho(B)\quad \mbox{for all bounded } B \subset \Theta\mbox{ with } \varrho(B)>0. $$

In other words, \(\varrho(\mathbb{F}(B))\geq\varrho(B)\) yields \(\varrho(B)=0\).

We denote the family of all strict ϱ-contractions \(\mathbb{F}:\Theta\rightarrow U\) by \(\vartheta C_{\varrho}(\Theta)\) and the family of all ϱ-condensing mappings \(\mathbb{F}: \Theta\rightarrow U\) by \(C_{\varrho}(\Theta)\).

Remark 1

\(\vartheta C_{\varrho}(\Theta)\subset C_{\varrho}(\Theta)\), and every \(\mathbb{F}\in C_{\varrho}(\Theta)\) is ϱ-Lipschitz such that \(\mathbb{K}=1\).

Further, we recall that \(\mathbb{F}:\Theta\rightarrow U\) is Lipschitz in the presence of \(\mathbb{K}>0\) such that

$$\bigl\lVert \mathbb{F}(u)-\mathbb{F}(\bar{u}) \bigr\rVert \leq\mathbb {K}\lVert u- \bar{u} \rVert\quad \mbox{for all } u, \bar{u} \in\Theta. $$

Also, under the condition \(\mathbb{K}<1\), \(\mathbb{F}\) is a strict contraction. We recall the following propositions in [15].

Proposition 2.2

The sum of the two operators \(\mathbb{F},\mathbb{G}:\Theta\rightarrow U \) is ϱ-Lipschitz with constants \(\mathbb{K}_{1}+\mathbb{K} _{2}\) if and only if \(\mathbb{F},\mathbb{G}:\Theta\rightarrow U\) are ϱ-Lipschitz with constants \(\mathbb{K}_{1}\), \(\mathbb{K}_{2}\), respectively.

Proposition 2.3

The mapping \(\mathbb{F}\) is ϱ-Lipschitz with constant \(\mathbb{K}=0\) if and only if \(\mathbb{F}:\Theta\rightarrow U\) is compact.

Proposition 2.4

The operator \(\mathbb{F}\) is ϱ-Lipschitz with constant \(\mathbb{K}\) if and only if \(\mathbb{F}:\Theta\rightarrow U\) is Lipschitz with constant \(\mathbb{K}\).

The next theorem of Isaia [17] plays an important role in achieving our main result.

Theorem 2.7

Let \(\mathbb{F}:\mathcal{E}\rightarrow\mathcal{E}\) be a ϱ-contraction, and

$$\Psi=\{ z\in\mathcal{E}: \textit{there exists } 0\leq\lambda\leq1 \textit{ such that } z=\lambda\mathbb{F}z \}. $$

If \(\Psi\subset\mathcal{E}\) is a bounded set with \(r>0\) such that \(\Psi\subset B_{r}(0)\), then the degree

$$\deg \bigl(I-\lambda\mathbb{F}, B_{r}(0),0 \bigr)=1 \textit{ for every } \lambda\in[0, 1]. $$

Therefore, \(\mathbb{F}\) has at least one fixed point (which is the corresponding solution of the considered system), and the set of the fixed points of \(\mathbb{F}\) lies in \(B_{r}(0)\).

The following assumptions are needed in the sequel.


The nonlocal functions g, h for \(x,u, y,v,\in \mathbb{R}\) satisfy

$$\bigl\vert g(x)-g(u) \bigr\vert \leq\mathbb{K}_{g}\vert x-u \vert , \qquad \bigl\vert h(y)-h(v) \bigr\vert \leq\mathbb{K}_{h} \vert y-v \vert \quad \mbox{with } \mathbb{K}_{g}, \mathbb{K}_{h} \in[0,1). $$

With the given constants \(C_{g}, C_{h}, M_{g},M _{h} >0\), and \(q_{1} \in[0,1)\), for \(u,v \in\mathbb{R}\), the nonlocal functions g, h satisfy the following growth conditions:

$$\bigl\vert g(u) \bigr\vert \leq C_{g}\vert u \vert ^{q_{1}}+M_{g}, \qquad \bigl\vert h(v) \bigr\vert \leq C_{h} \vert v \vert ^{q_{1}} +M_{h}. $$

In the presence of constants a, b, \(M_{\theta _{1}}\), \(M _{\theta_{2}}\), and \(q_{2} \in[0,1)\), for \(u,v \in\mathbb{R}\), the nonlinear functions \(\theta_{1}\), \(\theta_{2}\) satisfy the following growth conditions:

$$\begin{aligned}& \bigl\vert \theta_{1}(t,v) \bigr\vert \leq a \vert v \vert ^{q_{2}}+M_{ \theta_{1}}, \\& \bigl\vert \theta_{2}(t,u) \bigr\vert \leq b \vert u \vert ^{q_{2}}+M_{ \theta_{2}}. \end{aligned}$$

There exist positive constants \(L _{\theta_{1}}\), \(L_{\theta_{2}}\) such that, for all \(x,u, y,v \in \mathbb{R}\),

$$\begin{aligned}& \bigl\vert \theta_{1}(t,y)-\theta_{1}(t,v) \bigr\vert \leq L_{\theta_{1}} \vert y-v\vert , \\& \bigl\vert \theta_{2}(t,x)-\theta_{2}(t,u) \bigr\vert \leq L_{\theta_{2}} \vert x-u\vert . \end{aligned}$$

3 Main results

The current section is concerned to establish adequate conditions to the toppled system (1).

Theorem 3.1

Let \(\theta:J\rightarrow\mathbb{R}\) be a p times integrable function. Then the solution of the linear boundary value problem

$$\begin{aligned}& \begin{aligned} &D^{p} u(t)=\theta(t),\quad t\in J=[0,1], {p \in(1, 2]}, \\ &u(t)\vert_{t=0}=0,\qquad u(t)\vert_{t=1}= _{0}I_{T}^{\gamma}g(u)= \frac{1}{ \Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g \bigl(u(s) \bigr) \,ds, \end{aligned} \end{aligned}$$

is provided by

$$ u(t)=\frac{1}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g \bigl(u(s) \bigr) \,ds+ \int_{0}^{1}G_{p}(t,s) \theta(s)\,ds, \quad t\in [0,1], $$

where \(G_{p}(t,s)\) is the Green’s function given by

$$ G_{p}(t,s)= \frac{1}{\Gamma(p)} \textstyle\begin{cases} (t-s)^{p-1}-t(1-s)^{p-1}, &0\leq s\leq t \leq1, \\ t(1-s)^{p-1},&0 \leq s\leq t\leq1. \end{cases} $$


Applying \(I^{p}\) on \(D^{p} u(t)=\theta(t)\), by Theorem 2.3 we get

$$ u(t)=c_{0}+c_{1}t+I^{p}\theta(t), $$

where \(c_{0}\), \(c_{1}\) are real constants. The conditions \(u(t)_{t=0}=0\), \(u(t)_{t=1}= _{0}I_{T}^{\gamma}g(u)\) yield that \(c_{0}=0\) and \(c_{1}= _{0}I_{T}^{\gamma}g(u)-I^{p}\theta(1)\). Hence, we get

$$\begin{aligned} u(t) =&t \bigl[ _{0}I_{T}^{\gamma}g(u)-I^{p} \theta(1) \bigr]+I^{p}\theta(t), \\ =&\frac{t}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g \bigl(u(s) \bigr) \,ds-\frac{t}{ \Gamma(p)} \int_{0}^{1}(1-s)^{p-1}\theta(s)\,ds \\ &{}+ \frac{1}{\Gamma(p)} \int_{0}^{t}(t-s)^{p-1}\theta(s)\,ds, \end{aligned}$$

which after rearranging can be written as

$$u(t)=\frac{t}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g \bigl(u(s) \bigr) \,ds+ \int_{0}^{1} G_{p}(t,s)\theta(s)\,ds. $$


By Theorem 3.1 the corresponding toppled system of Hammerstein-type integral equations to the toppled systems (1) is provided by

$$ \textstyle\begin{cases} u(t)=\frac{t}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g (u(s) )\,ds+ \int_{0}^{1} G_{p}(t,s) \theta_{1} (s,v(s) )\,ds, \\ v(t)=\frac{t}{\Gamma(\delta)} \int_{0}^{T}(T-s)^{\delta-1}h (v(s) )\,ds+ \int_{0}^{1} G_{q}(t,s) \theta_{2} (s,u(s) )\,ds, \end{cases} $$

where \(G_{q}(t,s) \) is defined by

$$ G_{q}(t,s)= \frac{1}{\Gamma(q)} \textstyle\begin{cases} (t-s)^{q-1}-t(1-s)^{q-1}, &0\leq s\leq t \leq1, \\ t(1-s)^{q-1},&0 \leq s\leq t\leq1. \end{cases} $$


$$ \max_{t\in J}\big\vert G_{p}(t,s)\big\vert = \frac{(1-s)^{p-1}}{\Gamma(p)},\qquad \max_{t\in J} \big\vert G_{q}(t,s)\big\vert = \frac{(1-s)^{q-1}}{\Gamma(q)}, \quad s \in J. $$

Define the operators \(\mathbb{F}_{1}:U\rightarrow U\), \(\mathbb{F}_{2}:V \rightarrow V\) by

$$\begin{aligned}& \mathbb{F}_{1}(u) (t)=\frac{t}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{ \gamma-1}g \bigl(u(s) \bigr) \,ds,\\& \mathbb{F}_{2}(v) (t)= \frac{t}{\Gamma(\delta)} \int_{0}^{T}(T-s)^{\delta-1}h \bigl(v(s) \bigr) \,ds \end{aligned}$$

and \(\mathbb{G}_{1},\mathbb{G}_{2}:\mathcal{E}\rightarrow\mathcal{E}\) by

$$\mathbb{G}_{1}(v) (t)= \int_{0}^{1}G_{p}(t,s) \theta_{1} \bigl(s,v(s) \bigr)\,ds, \qquad \mathbb{G}_{2}(u) (t)= \int_{0}^{1}\mathbb{G}_{q}(t,s) \theta_{2} \bigl(s,u(s) \bigr)\,ds. $$

Hence, we have \(\mathbb{F}(u, v)=(\mathbb{F}_{1},\mathbb{F}_{2})(u, v)\), \(\mathbb{G}(u, v)=(\mathbb{G}_{1},\mathbb{G}_{2})(u, v)\), and \(\mathbb{T}(u, v)=\mathbb{F}(u, v)+\mathbb{G}(u, v)\). So, the equivalent operator equation to the toppled system of Hammerstein-type integral equations (6) is given by

$$ (u,v)=\mathbb{T}(u,v)=\mathbb{F}(u,v)+\mathbb{G}(u,v). $$

Thus the solutions of system (6) are the fixed points of operator equation (9).

Theorem 3.2

In view of hypotheses (C 1) and (C 2), the operator \(\mathbb{F}\) is Lipschitz and satisfies the growth condition given by

$$ \bigl\lVert \mathbb{F}(u,v) \bigr\rVert \leq C_{\mathbb{F}} \bigl\lVert (u, v) \bigr\rVert ^{q_{1}}+M_{\mathbb{F}} \quad \textit{for all } (u,v)\in\mathcal{E}. $$


Thanks to hypothesis (C1), we obtain

$$\begin{aligned} \bigl\vert \mathbb{F}_{1}(u) (t)- \mathbb{F}_{1}(\bar{u}) (t) \bigr\vert =& \biggl\vert \frac{1}{\Gamma{(\gamma)}} \int_{0}^{T}(T-s)^{\gamma-1} \bigl[g(u)-g( \bar{u}) \bigr]\,ds \biggr\vert \\ \leq&\frac{1}{\Gamma{(\gamma)}} \int_{0}^{T}(T-s)^{ \gamma-1} \bigl\vert g(u)-g(\bar{u}) \bigr\vert \,ds, \\ &{} \mbox{which implies that } \bigl\lVert \mathbb{F}_{1}(u)- \mathbb{F}_{1}( \bar{u}) \bigr\rVert \leq\overline{K}_{g} \Vert u-\overline{u}\Vert , \\ &{} \mbox{where } \overline{K}_{g}= \frac{K_{g} T^{\gamma}}{\Gamma(\gamma+1)}\in[0, 1). \end{aligned}$$

To obtain growth condition, consider

$$ \begin{aligned} \bigl\vert \mathbb{F}_{1}(u) (t) \bigr\vert = \biggl\vert \frac{1}{\Gamma {(\gamma)}} \int_{0}^{T}(T-s)^{\gamma-1} g \bigl(u(s) \bigr)\,ds \biggr\vert \leq\frac{1}{\Gamma{(\gamma)}} \int_{0}^{T}(T-s)^{\gamma-1} \bigl\vert g \bigl(u(s) \bigr) \bigr\vert \,ds, \end{aligned} $$

which implies that

$$\Vert \mathbb{F}_{1}u\Vert _{c} \leq \frac{T^{\gamma}}{\Gamma(\gamma+1)} \bigl[C _{g}\Vert u\Vert ^{q_{1}}_{c}+M_{g} \bigr]. $$

Similarly, we have

$$\Vert \mathbb{F}_{2}u\Vert _{c} \leq \frac{T^{\delta}}{\Gamma(\delta+1)} \bigl[C _{h}\Vert v\Vert ^{q_{1}}_{c}+M_{h} \bigr]. $$


$$\begin{aligned} \bigl\Vert \mathbb{F}(u,v) \bigr\Vert _{c} \leq& \frac{T^{\gamma}}{\Gamma(\gamma+1)} \bigl[C _{g}\Vert u\Vert ^{q_{1}}_{c}+M_{g} \bigr]+\frac{T^{\delta}}{\Gamma(\delta+1)} \bigl[C _{h}\Vert v\Vert ^{q_{1}}_{c}+M_{h} \bigr] \\ \leq& \biggl(\frac{T^{\gamma}}{\Gamma(\gamma+1)}C_{g}\Vert u\Vert ^{q_{1}}_{c}+ \frac{T^{\delta}}{\Gamma(\delta+1)}C_{h}\Vert v\Vert ^{q_{1}}_{c} \biggr)+ \biggl(\frac{T ^{\gamma}M_{g}}{\Gamma(\gamma+1)}+ \frac{T^{\delta}M_{h}}{\Gamma (\delta+1)} \biggr) \\ \leq& C_{\mathbb{F}} \bigl[\Vert u\Vert ^{q_{1}}+\Vert v\Vert ^{q_{1}} \bigr]+M_{\mathbb{F}}=C _{\mathbb{F}} \bigl\Vert (u,v) \bigr\Vert ^{q_{1}}+M_{\mathbb{F}}, \end{aligned}$$


$$\max \biggl\{ \frac{T^{\gamma}}{\Gamma(\gamma+1)}C_{g},\frac {T^{\delta}}{ \Gamma(\delta+1)}C_{h} \biggr\} =C_{\mathbb{F}} \quad \mbox{and}\quad M_{\mathbb{F}}= \frac{T^{\gamma }M_{g}}{\Gamma(\gamma+1)}+ \frac{T ^{\delta}M_{h}}{\Gamma(\delta+1)}. $$


Theorem 3.3

In view of hypothesis (C3), the operator \(\mathbb{G}\) is continuous and satisfies the growth condition given by

$$ \bigl\lVert \mathbb{G}(u,v) \bigr\rVert \leq \Omega \bigl\lVert (u,v) \bigr\rVert ^{q_{2}}+ \Upsilon\quad \textit{for each }(u,v)\in \mathcal{E}, $$

where \(\Omega=\eta(a+b)\), \(\eta=\max\{\frac{1}{\Gamma(p+1)}, \frac{1}{ \Gamma(q+1)}\}\), \(\Upsilon=\eta( M_{\theta_{1}}+ M_{\theta_{2}})\).


Consider the bounded set \(\mathbb{B}_{r}=\{(u,v) \in\mathcal{E}: \lVert(u,v) \rVert\leq r\}\) with a sequence \((u_{n},v_{n} )\) converging to \((u, v)\) in \(\mathbb{B}_{r}\). We have to show that \(\lVert\mathbb{G}(u_{n},v_{n})-\mathbb{G}(u,v)\rVert\rightarrow0\) as \(n\rightarrow\infty\). Let us take

$$\begin{aligned} \bigl\vert \bigl(\mathbb{G}_{1}(v_{n}) - \mathbb{G}_{1} (v) \bigr) (t) \bigr\vert \leq&\frac{t}{ \Gamma(p)} \biggl[ \int_{0}^{t}(t-s)^{p-1} \bigl\vert \theta_{1} \bigl(s,v_{n}(s) \bigr)- \theta_{1} \bigl(s,v(s) \bigr) \bigr\vert \,ds \\ &{} + \int_{0}^{1}(1-s)^{p-1} \bigl\vert \theta_{1} \bigl(s,v_{n}(s) \bigr)- \theta_{1} \bigl(s,v(s) \bigr) \bigr\vert \,ds \biggr]. \end{aligned}$$

The continuity of \(\theta_{1}\) yields that \(\theta_{1}(s,v_{n}(s)) \rightarrow\theta_{1}(s,v(s))\) as \(n\rightarrow\infty\). Thanks to the Lebesgue dominated convergence theorem, we have \(\int_{0}^{t}(t-s)^{p-1} \vert \theta_{1}(s,v_{n})-\theta_{1}(s,v)\vert \,ds\rightarrow0\) as \(n\rightarrow\infty\). Similarly, the same result can be also proved for the other terms. This implies that

$$ \bigl\lVert \mathbb{G}_{1}(v_{n}) (t) - \mathbb{G}_{1}(v) (t) \bigr\rVert \rightarrow0\quad \mbox{as } n \rightarrow \infty, $$

and in the same way, we can show that

$$ \bigl\lVert \mathbb{G}_{2}(u_{n}) (t) - \mathbb{G}_{2}(u) (t) \bigr\rVert \rightarrow0\quad \mbox{as } n \rightarrow \infty. $$

Thus, from (13) and (14) it follows that

$$\bigl\lVert \mathbb{G}(u_{n}, v_{n}) (t) -\mathbb{G}(u,v) (t) \bigr\rVert \rightarrow0\quad \mbox{as } n\rightarrow\infty. $$

To compute (12) for \(\mathbb{G}\), using hypothesis (C3) and (8), we get

$$\begin{aligned} \begin{aligned} \bigl\vert \mathbb{G}_{1}(v) (t) \bigr\vert = \biggl\vert \int_{0}^{1} \mathbb{G}_{p}(t,s) \theta_{1} \bigl(s,v(s) \bigr)\,ds \biggr\vert \leq\frac{1}{ \Gamma(p+1)} \bigl(a \Vert v\Vert ^{q_{2}}+M_{\theta_{1}} \bigr) \end{aligned} \end{aligned}$$


$$\begin{aligned} \begin{aligned} \bigl\vert \mathbb{G}_{2}(u) (t) \bigr\vert = \biggl\vert \int_{0}^{1} \mathbb{G}_{q}(t,s) \theta_{2} \bigl(s,u(s) \bigr)\,ds \biggr\vert \leq\frac{1}{ \Gamma(q+1)} \bigl(b \Vert u\Vert ^{q_{2}}+M_{\theta_{2}} \bigr). \end{aligned} \end{aligned}$$

Therefore, we get

$$\begin{aligned} \bigl\lVert \mathbb{G}(u,v) \bigr\rVert = & \bigl\lVert \mathbb{G}_{1}(v) \bigr\rVert + \bigl\lVert \mathbb{G}_{2}(u) \bigr\rVert \\ \leq&\eta \bigl(a\lVert v\rVert^{q_{2}} +M _{\theta_{1}} \bigr)+\eta \bigl(b\lVert u\rVert^{q_{2}}+M_{\theta_{2}} \bigr) \\ \leq&\eta(a+ b) \bigl(\lVert v\rVert^{q_{2}} +\lVert u \rVert^{q_{2}} \bigr)+ \eta( M_{\theta_{1}}+ M_{\theta_{2}})=\Omega \bigl\lVert (u,v) \bigr\rVert + \Upsilon. \end{aligned}$$


Theorem 3.4

The operator \(G:\mathcal{E}\rightarrow\mathcal{E}\) is compact and ϱ-Lipschitz with constant zero.


Consider a bounded set D with a sequence \(\{(u_{n},v_{n})\}\) such that \(D\subset\mathbb{B}_{r}\subseteq\mathcal{E}\). Then, in view of (12), we have

$$\begin{aligned} \bigl\lVert \mathbb{G}(u_{n},v_{n}) \bigr\rVert \leq\Omega \bigl\Vert (u,v) \bigr\Vert +\Upsilon\quad \mbox{for each }(u,v) \in\mathcal{E}, \end{aligned} $$

which yields that \(\mathbb{G}\) is bounded. For each \((u_{n},v_{n}) \in D\), we claim that, for any \(t_{1},t_{2}\in[0,1]\),

$$\begin{aligned} \bigl\vert \mathbb{G}_{1}v_{n}(t_{1})- \mathbb{G}_{1}v_{n}(t_{2}) \bigr\vert =& \biggl\vert \int^{1}_{0} G_{p}(t_{1},s) \theta_{1} \bigl(s,v(s) \bigr)\,ds- \int^{1}_{0} G_{p}(t_{2},s) \theta_{1} \bigl(s,v(s) \bigr)\,ds \biggr\vert \\ \leq& \biggl[ \int^{1}_{0} G_{p}(t_{1},s)- \int^{1}_{0} G _{p}(t_{2},s) \biggr] \bigl\vert \theta_{1} \bigl(s,v(s) \bigr) \bigr\vert \,ds \\ \leq& \biggl[ \frac{(t_{1}-t_{2})}{\Gamma(p)} \int^{1}_{0}(1-s)^{p-1}\,ds \biggr] \bigl(a \Vert u\Vert ^{q_{2}}+M_{\theta_{1}} \bigr) \\ &{} +\frac{1}{\Gamma(p)} \biggl[ \int^{t_{1}}_{0}(t_{1}-s)^{p-1} \,ds- \int^{t_{2}}_{0}(t_{2}-s)^{p-1}\,ds \biggr] \bigl(a\Vert u\Vert ^{q_{2}}+M_{\theta_{1}} \bigr). \end{aligned}$$

By simplifying we have

$$ \begin{aligned} \bigl\vert \mathbb{G}_{1}v_{n}(t_{1})- \mathbb{G}_{1}v_{n}(t_{2}) \bigr\vert \leq \biggl[ \frac{(t _{1}-t_{2})}{\Gamma(p+1)}+\frac{(t_{1}^{p}-t_{2}^{p})}{\Gamma(p+1)} \biggr] \bigl(a\Vert u\Vert ^{q_{2}}+M_{\theta_{1}} \bigr). \end{aligned} $$


$$ \begin{aligned} \bigl\vert G_{2}u_{n}(t_{1})-G_{2}u_{n}(t_{2}) \bigr\vert \leq \biggl[ \frac{(t_{1}-t_{2})}{ \Gamma(q+1)}+\frac{(t_{1}^{q}-t_{2}^{q})}{\Gamma(q+1)} \biggr] \bigl(b \Vert v\Vert ^{q_{2}}+M_{\theta_{2}} \bigr). \end{aligned} $$

Now, if \(t_{1}\rightarrow t_{2}\), the right-hand sides of both (15) and (16) tend to 0. Thus, \(\mathbb{G}_{1}\), \(\mathbb {G}_{2}\) are equicontinuous, and therefore \(\mathbb{G}=( \mathbb{G}_{1},\mathbb{G}_{2})\) is equicontinuous on D.

Hence, thanks to the Arzelà-Ascoli theorem, \(\mathbb{G}(D)\) is compact. Also, by Proposition 2.3, \(\mathbb{G}\) is ϱ-Lipschitz with constant 0. □

Theorem 3.5

Under hypotheses (C1)-(C3) with \(\Omega+C_{\mathbb{F}} \leq1\), the toppled system (1) has at least one solution \((u,v)\in\mathcal{E}\). Moreover, the set of the solutions \(W_{0}\) is bounded in \(\mathcal{E}\).


By Theorem 3.2, \(\mathbb{F}\) is ϱ-Lipschitz with constant \(C_{\mathbb{F}}\in[0,1)\), and by Theorem 3.4 \(\mathbb{G}\) is ϱ-Lipschitz with constant 0. Therefore, by Proposition 2.2, \(\mathbb{T}\) is strictly ϱ-condensing with constant \(\mathbb{K}\). Define

$$\mathbb{B}= \bigl\{ (u,v)\in\mathcal{E}: \mbox{there exists } \lambda\in[0,1] \mbox{ such that } (u,v)=\lambda\mathbb{T}(u,v) \bigr\} . $$

We have to prove that \(\mathbb{B}\) is bounded in \(\mathcal{E}\). Let us consider

$$\begin{aligned} \bigl\lVert (u,v) \bigr\rVert =& \bigl\lVert \rightthreetimes \mathbb{T}(u,v) \bigr\rVert \leq \bigl\lVert \mathbb{T}(u,v) \bigr\rVert \leq \bigl( \bigl\lVert \mathbb{F}(u,v) \bigr\rVert + \bigl\lVert \mathbb {G}(u,v) \bigr\rVert \bigr) \\ \leq& C_{\mathbb{F}} \bigl\lVert (u,v) \bigr\rVert ^{q_{1}}+M_{\mathbb{F}}+ \Omega \bigl\lVert (u,v) \bigr\rVert ^{q_{2}}+\Upsilon \\ =&(C_{\mathbb{F}}+\Omega) \bigl\lVert (u,v) \bigr\rVert ^{q_{3}}+M_{\mathbb{F}}+ \Upsilon,\quad \mbox{where } q_{3}=\max\{q_{1},q_{2} \}. \end{aligned}$$

Clearly, \(\Vert (u,v)\Vert \) is bounded. If not, choose \(\Vert (u,v)\Vert = \mathcal{R}\) such that \(\mathcal{R}\rightarrow\infty\) and \(0< q_{3}<1\). Then

$$\begin{aligned}& \bigl\Vert (u,v) \bigr\Vert \leq(C_{\mathbb {F}}+ \Omega) \bigl\Vert (u,v) \bigr\Vert ^{q_{3}} \bigl\Vert (u,v) \bigr\Vert +M _{\mathbb{F}}+ \Upsilon, \\& 1\leq(C_{\mathbb{F}}+\Omega)\frac{\Vert (u,v)\Vert ^{q_{3}}}{\Vert (u,v)\Vert }+\frac{M _{\mathbb{F}}+\Upsilon}{ \Vert (u,v)\Vert }, \\& 1\leq\frac{(C_{\mathbb{F}}+\Omega)\mathcal{R}^{q_{3}}}{ \mathcal{R}}+\frac{M_{\mathbb{F}}+\Upsilon}{\mathcal{R}}, \\& 1\leq\frac{(C_{\mathbb{F}}+\Omega)}{\mathcal{R}^{1-q_{3}}}+\frac{M _{\mathbb{F}}+\Upsilon}{\mathcal{R}}\rightarrow0 \quad \mbox{as } \mathcal{R} \rightarrow\infty, \end{aligned}$$

which is a contradiction. Thus, \(\mathbb{B}\) is bounded. Therefore, by Theorem 2.7 the operator \(\mathbb{T}\) has at least one fixed point, which is the corresponding solution to (1), and the set of the solutions is bounded in \(\mathcal{E}\). □

Theorem 3.6

Assume that hypotheses (C1)-(C4) hold. Then the toppled system (1) has a unique solution if and only if \(\Delta< 1\), where

$$\Delta=\frac{K_{g}T^{\gamma}}{\Gamma(\gamma+1)}+\frac{K_{h}T^{ \delta}}{\Gamma(\delta+1)}+\frac{L_{\theta_{1}}}{\Gamma(p+1)}+ \frac{L _{\theta_{2}}}{\Gamma(q+1)}. $$


Let \((u,v)\) and \((\bar{u},\bar{v})\in\mathcal{E}\) be two solutions. Then

$$\begin{aligned} \bigl\vert \mathbb{T}(u,v)-\mathbb{T}(\bar{u},\bar {v}) \bigr\vert =& \bigl\vert \bigl[ \mathbb{F}(u,v)+\mathbb{G}(u,v) \bigr]- \bigl[ \mathbb{F}( \bar{u}, \bar{v})+ \mathbb{G}(\bar{u},\bar{v}) \bigr]\bigr\vert \\ \leq& \bigl\vert \mathbb{F}(u,v)-\mathbb{F}(\bar{u},\bar{v}) \bigr\vert + \bigl\vert \mathbb{G}(u,v)-\mathbb{G}(\bar{u},\bar{v})\bigr\vert , \end{aligned}$$

which implies on simplification that

$$\begin{aligned}& \bigl\lVert \mathbb{T}(u,v)-\mathbb{T}( \bar{u}, \bar{v}) \bigr\rVert \\& \quad \leq \biggl(\frac{K_{g} T^{\gamma}}{\Gamma(\gamma +1)}+\frac{K_{h} T^{ \delta}}{\Gamma(\delta+1)}+ \frac{L_{\theta_{1}}}{\Gamma(p+1)}+ \frac{L _{\theta_{2}}}{\Gamma(q+1)} \biggr) \bigl\Vert (u,v)-(\bar{u}, \bar{v}) \bigr\Vert , \\& \qquad \mbox{which in turn implies that } \bigl\lVert \mathbb{T}(u,v)- \mathbb{T}( \bar{u},\bar{v}) \bigr\rVert \leq\Delta \bigl\Vert (u,v)-(\bar{u},\bar {v}) \bigr\Vert . \end{aligned}$$

Therefore, the operator \(\mathbb{T}\) is a contraction. Hence, the uniqueness of a solution to the toppled system (1) follows by the Banach fixed point theorem. □

4 Hyers-Ullam stability of toppled system (1)

This section is devoted to the investigation of the Hyers-Ullam stability of our proposed system. We recall the definition of the Hyers-Ullam stability.

Definition 4.1

The system of Hammerstein-type integral equation

$$ \textstyle\begin{cases} u(t)=\frac{t}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g (u(s) ) \,ds+ \int_{0}^{1} G_{p}(t,s) \theta_{1} (s,v(s) )\,ds, \\ v(t)=\frac{t}{\Gamma(\delta)} \int_{0}^{T}(T-s)^{\delta-1}h (v(s) ) \,ds+ \int_{0}^{1} G_{q}(t,s) \theta_{2} (s,u(s) )\,ds, \end{cases} $$

is said to be Hyers-Ullam stable if there exist \(D_{i}>0\) (\(i=1,2,3,4\)) such that, for all \(\lambda_{1},\lambda_{2}>0\) and for every solution \((u^{*}, v^{*})\) to the system of inequations

$$ \textstyle\begin{cases} \vert u^{*}(t)- \frac{t}{\Gamma(\gamma)} \int_{0}^{T}(T-s)^{\gamma-1}g (u^{*}(s) )\,ds+ \int_{0}^{1} G_{p}(t,s) \theta_{1} (s,v^{*}(s) )\,ds \vert \leq \lambda_{1}, \\ \vert v^{*}(t)-\frac{t}{\Gamma(\delta)} \int_{0}^{T}(T-s)^{\delta-1}h (v^{*}(s) )\,ds+ \int_{0}^{1} G_{q}(t,s) \theta_{2} (s,u^{*}(s) )\,ds \vert \leq \lambda_{2}, \end{cases} $$

there exists a unique solution \((x,y)\) of (18) such that

$$ \begin{aligned} & \bigl\vert x(t)-u^{*}(t) \bigr\vert \leq D_{1}\lambda_{1}+D_{2} \lambda_{2}, \\ & \bigl\vert y(t)-v^{*}(t) \bigr\vert \leq D_{3} \lambda_{1}+D_{4}\lambda_{2}. \end{aligned} $$

Theorem 4.2

Under assumptions (C1)-(C4), the toppled system (1) is Hyers-Ullam stable.


Thanks to Theorem 3.6 and Definition 4.1, let \((x, y)\) be the exact solution, and \((u^{*}, v^{*})\) be any other solution of toppled system (6). Then from the first equation of (6) we have

$$\begin{aligned} \bigl\vert x(t)-u^{*}(t) \bigr\vert \leq& \biggl\vert \frac{t}{\Gamma(\gamma+1)} \int_{0}^{T} (T-s)^{ \gamma-1}\bigl(g(x)-g \bigl(u^{*} \bigr)\bigr)\,ds \\ &{}+ \int_{0}^{1} G_{p}(t, s) \bigl( \theta_{1} \bigl(s, y(s) \bigr)-\theta_{1} \bigl(s, v^{*}(s) \bigr) \bigr)\,ds \biggr\vert \\ \leq&\frac{T^{\gamma} K_{g}}{\Gamma(\gamma+1)} \bigl\Vert x-u^{*} \bigr\Vert + \frac{L_{\theta_{1}}}{\Gamma(p+1)} \bigl\Vert y-v^{*} \bigr\Vert \\ \leq& D_{1}\epsilon_{1}+D_{2} \epsilon_{2},\quad \mbox{where } D_{1}=\frac{T^{\gamma} K_{g}}{\Gamma(\gamma+1)}, D_{2}=\frac{L _{\theta_{1}}}{\Gamma(p+1)}. \end{aligned}$$

By the same method we can obtain that

$$ \bigl\vert y(t)-v^{*}(t) \bigr\vert \leq D_{3}\epsilon_{1}+D_{4}\epsilon_{2},\quad \mbox{where } D_{3}=\frac{T^{\delta} K_{h}}{\Gamma(\delta+1)}, D _{4}= \frac{L_{\theta_{2}}}{\Gamma(q+1)}. $$

Hence, in view of (21) and (22), the toppled system of integral equations (6) is Hyers-Ullam stable, and, consequently, the toppled system (1) is Hyers-Ullam stable. □

5 Example

Example 1

Consider the following toppled system:

$$\begin{aligned} \textstyle\begin{cases} ^{c}D^{\frac{3}{2}} u(t)= \frac{e^{-t}}{5+t^{2}}\cos \vert v(t) \vert ,\quad t \in[0,1], \\ ^{c}D^{\frac{3}{2}} v(t)=\frac{e^{-\pi t}}{5+t}\sin \vert u(t) \vert , \quad t \in[0,1], \\ u(t)\vert_{t=0}=0,\qquad u(t)_{t=1}=\frac{1}{\Gamma(\frac{3}{2})} \int_{0} ^{1} \frac{(1-s)^{\frac{1}{2}}\sin(u)}{4}\,ds, \\ v(t)\vert_{t=0}=0,\qquad v(t)_{t=1}=\frac{1}{\Gamma(\frac{3}{2})} \int_{0} ^{1} \frac{(1-s)^{\frac{1}{2}}\sin(v)}{4}\,ds. \end{cases}\displaystyle \end{aligned}$$

Then we obviously see that \(C_{g}=C_{h}=K_{g}=K_{h}=\frac{1}{4}\), \(M _{g}=M_{h}=M_{\theta_{1}}=M_{\theta_{2}}=0\), \(a=b=L_{\theta_{1}}=L_{ \theta_{2}}=\frac{1}{5}\). It is easy to prove that \(\Delta= \frac {18}{15\sqrt{ \pi}}<1\). Hence, by Theorem 3.6 the toppled system (23) has a unique solution. Further, it is also straightforward to prove the conditions of Theorem 3.5. Also, by Theorem 4.2 the solution of the toppled system (23) is Hyers-Ullam stable.


  1. Podlubny, I: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)

    MATH  Google Scholar 

  2. Caputo, M: Linear models of dissipation whose Q is almost frequency independent. Geophys. J. R. Astron. Soc. 13(5), 529-539 (1967)

    Article  Google Scholar 

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

    Book  MATH  Google Scholar 

  4. Kilbas, AA, Marichev, OI, Samko, SG: Fractional Integrals and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)

    MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

  6. Lakshmikantham, V, Leela, S, Vasundhara, J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)

    MATH  Google Scholar 

  7. Cai, L, Wu, J: Analysis of an HIV/AIDS treatment model with a nonlinear incidence rate. Chaos Solitons Fractals 41(1), 175-182 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Wu, RC, Hei, XD, Chen, LP: Finite-time stability of fractional-order neural networks with delay. Commun. Theor. Phys. 60, 189-193 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  9. Nanware, A, Dhaigude, DB: Existence and uniqueness of solutions of differential equations of fractional order with integral boundary conditions. J. Nonlinear Sci. Appl. 7, 246-254 (2014)

    MathSciNet  MATH  Google Scholar 

  10. Agarwal, RP, Belmekki, M, Benchohra, M: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009, Article ID 981728 (2009)

    MathSciNet  MATH  Google Scholar 

  11. Wang, X, Wang, L, Zeng, Q: Fractional differential equations with integral boundary conditions. J. Nonlinear Sci. Appl. 8, 309-314 (2015)

    MathSciNet  MATH  Google Scholar 

  12. Yang, W: Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations. Comput. Math. Appl. 63, 288-297 (2012)

    Article  MathSciNet  Google Scholar 

  13. Balachandran, K, Kiruthika, S, Trujillo, JJ: Existence results for fractional impulsive integrodifferential equations in Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 16, 1970-1977 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  14. Benchohra, M, Graef, JR, Hamani, S: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87, 851-863 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  15. Rehman, M, Khan, RA: Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations. Appl. Math. Lett. 23(9), 1038-1044 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  16. Mawhin, J: Topological Degree Methods in Nonlinear Boundary Value Problems. CMBS Regional Conference Series in Mathematics, vol. 40. Am. Math. Soc., Providence (1979)

    MATH  Google Scholar 

  17. Isaia, F: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. 75, 233-240 (2006)

    MathSciNet  MATH  Google Scholar 

  18. Wang, J, Zhou, Y, Wei, W: Study in fractional differential equations by means of topological degree methods. Numer. Funct. Anal. Optim. 33(2), 216-238 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  19. Khan, RA, Shah, K: Existence and uniqueness of solutions to fractional order multi-point boundary value problems. Commun. Appl. Anal. 19, 515-526 (2015)

    Google Scholar 

  20. Shah, K, Khan, RA: Existence and uniqueness results to a coupled system of fractional order boundary value problems by topological degree theory. Numer. Funct. Anal. Optim. 2016, 887-899 (2016). doi:10.1080/01630563.2016.1177547

    Article  MathSciNet  MATH  Google Scholar 

  21. Ullam, SM: Problems in Modern Mathematics (Chapter VI). Science Editors, Wiley, New York (1940)

    Google Scholar 

  22. Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222-224 (1941)

    Article  MathSciNet  MATH  Google Scholar 

  23. Wang, J, Feckan, M, Zhou, Y: Ullam stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 395(1), 258-264 (2012)

    Article  MATH  Google Scholar 

  24. Wang, J, Feckan, M, Zhou, Y: On the stability of first order of impulsive evolution equations. Opusc. Math. 34(3), 639-657 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  25. Jung, SM: Hyers-Ulam stability of differential equation \(\ddot{y} +2x \dot{y}-2ny =0\). J. Inequal. Appl. 2010, Article ID 793197 (2010)

    MATH  Google Scholar 

  26. Jung, SM: Hyers-Ulam stability of first order linear differential equations with constant coefficients. J. Math. Anal. Appl. 320, 549-561 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  27. Jung, SM, Rassias, G: Hyers-Ulam stability of Riccati differential equation. Math. Inequal. Appl. 11(4), 777-782 (2008)

    MathSciNet  MATH  Google Scholar 

  28. Urs, C: Coupled fixed point theorems and applications to periodic boundary value problems. Miskolc Math. Notes 14(1), 323-333 (2013)

    MathSciNet  MATH  Google Scholar 

  29. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)

    Book  MATH  Google Scholar 

  30. Deimling, K: Nonlinear Functional Analysis. Springer, New York (1985)

    Book  MATH  Google Scholar 

  31. Zeidler, E: Nonlinear Functional Analysis an Its Applications I: Fixed Point Theorems. Springer, New York (1986)

    Book  MATH  Google Scholar 

Download references


Bessem Samet extends his appreciation to Distinguished Scientist Fellowship Program (DSFP) at King Saud University (Saudi Arabia).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Amjad Ali.

Additional information

Competing interests

All authors declare that none of them has competing interests.

Authors’ contributions

All authors have made the same contribution and finalized the current version of this manuscript.

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

Ali, A., Samet, B., Shah, K. et al. Existence and stability of solution to a toppled systems of differential equations of non-integer order. Bound Value Probl 2017, 16 (2017).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: