Mathematical Sciences

, Volume 13, Issue 1, pp 53–60 | Cite as

Stability theory and existence of solution to a multi-point boundary value problem of fractional differential equations

  • Muhammad Zamir
  • Kamal ShahEmail author
  • Muhammad Ikhlaq Chohan
Open Access
Original Research


The aims and objectives of this manuscript are concerned with the investigation of some appropriate conditions to establish existence theory of solutions to a class of nonlinear four-point boundary value problem (BVP) corresponding to fractional order differential equations (FODEs) provided as
$$\begin{aligned} \left\{ \begin{aligned} ^{c}&{\mathscr {D}}^{\omega }y(t)={\mathcal {F}}\left(t, y(t), {^{c}{\mathscr {D}}^{\omega -1}y(t)}\right),1<\omega \le 2,\,\, t\in {\mathbf{J }}=[0, 1],\\&y(0)=\zeta y(\alpha ), \,\, y(1)=\xi y(\beta ),\,\xi ,\ \zeta ,\ \alpha ,\,\beta \in (0,1), \end{aligned}\right. \end{aligned}$$
where \({^{c}{\mathscr {D}}^{\omega }}\) is Caputo’s fractional derivative of order q and \({\mathcal {F}}\in ({\mathbf {J}}\times {\mathbf {R}} \times {\mathbf {R}} ,{\mathbf {R}})\) may be nonlinear. The required conditions are obtained by using classical results of functional analysis and fixed point theory. Further, we establish some adequate conditions for the Ulam–Hyers stability and generalized Ulam–Hyers stability for the solutions to the considered BVP of nonlinear FODEs. We include a proper problem to illustrate our established results.


FODEs Four-point boundary conditions Ulam–Hyers stability (UHS) 

Mathematics Subject Classification

26A33 34A08 35B40 


FODEs are used to model complex phenomena of physically significant problems arising from indifferent areas such as physics, engineering and other applied disciplines, and there is a broad set of applications. Due to the large numbers of applications of FODEs in sciences and engineering, plenty of research papers have been written in this area. As a result, the theory of FODEs has emerged as an important area of investigation in recent years [1, 2]. Valuable contribution has been done dealing with the qualitative theory and numerical analysis of solutions to initial and boundary value problems (BVPs) of nonlinear FODEs. The researchers have given much attention on qualitative theory of solutions for mentioned FODEs [3, 4, 5, 6, 7, 8, 9, 10, 11, 12], and references therein. Since BVPs arise in various disciplines of physics, engineering and in dynamics, etc., from applications point of view, here we refer some famous BVPs of differential equations which are the wave equation, like the computation of the normal modes, the Sturm–Liouville problems and Dirichlet problem, etc., see [13, 14, 15, 16, 17]. For usability purposes, a BVP should be well posed which implies that a unique solution exists corresponding to the input which depends continuously on the input . In thermal sciences BVPs have significant applications, for instance, to find the temperature at all points of an iron bar with one end kept at lowest energy level and the other end at the freezing point of water. Due to these importance applications, researchers studied BVPs of both classical and arbitrary order differential equations from different aspects. One of the important aspects which has been greatly developed and well explored by different researchers is known as existence theory. The respective aspects have been explored for BVPs of FODEs, see for some detail [18, 19, 20, 21, 22].

In the last few years, nonlinear BVPs of FODEs were investigated increasingly. For instance, in [22], Benchora and his co-authors investigated the following anti-periodic BVP given by
$$\begin{aligned} \left\{ \begin{aligned}&^{c}{\mathscr {D}}^{\omega }y(t)=\Phi \left(t,y(t),^{c}{\mathscr {D}}^{\omega -1}y(t)\right),\quad t\in [0,b],\\ &y(0)=- \,y(b), \,y'(0)=-\, y'(b), \end{aligned}\right. \end{aligned}$$
where \(1<\omega \le 2,\,\,\Phi \in ([0, b]\times {\mathbf {R}}\times {\mathbf {R}}, {\mathbf {R}})\).

In last few decades another important aspect which has greatly investigated for the solutions of differential, integral and functional equations is known as stability analysis. The mentioned aspects is very important from numerical and optimization point of view. This is due to the fact that most of the nonlinear problems of fractional calculus and applied analysis are quite difficult to solve for actual solution. In such a situation, one need approximate solutions which are near the actual solution of the corresponding problem. In the mentioned situation, stability of the solutions is necessary. Researchers investigated different kinds of stability to differential, integral and functional equations like exponential, Mittag-Leffler and Lyapunov stability, for detail see [23, 24, 25]. Recently, some authors explored the another form of stability known as Ulam–Hyers and generalized Ulam–Hyers stability for the solutions of FODEs, see [24, 26, 27, 28, 29]. The aforesaid stability has been very well studied for initial value problems and simple two-point BVPs of linear and nonlinear FODEs, see [30, 31, 32]. The concerned stability is very rarely investigated for the three- or more point BVPs of FODEs. Here we remark that nonlocal BVPs of FODEs are of key importance for engineers, physics, etc. The stable solutions of the aforesaid problems help us in understanding the phenomenon which has the differential equations.

Therefore, inspired from the aforementioned work and importance, here we investigate the aforesaid analysis to a four-point BVP of nonlinear FODEs suggested as
$$\begin{aligned} \left\{ \begin{aligned} ^{c}&{\mathscr {D}}^{\omega }y(t)={\mathcal {F}}\left(t,y(t),^{c}{\mathscr {D}}^{\omega -1}y(t)\right),\quad t\in {\mathbf {J}},\\ &y(0)=\zeta y(\alpha ), \,y(1)=\xi y(\beta ), \end{aligned}\right. \end{aligned}$$
where \(^{c}{\mathscr {D}}^{\omega }\) is the Caputo derivative of order \(\omega \in (1, 2]\), \({\mathcal {F}}\in ({\mathbf {J}}\times {\mathbf {R}} \times {\mathbf {R}}, {\mathbf {R}})\) is continuous function and the parameters satisfy \(0\le \zeta ,\,\xi \le 1\) \(\alpha , \, \beta \in (0, 1)\) such that \(((1-\zeta )(1-\xi \beta )+\zeta \alpha (1-\xi ))\ne 0.\) With the help of Banach and Schauder fixed point theorem we develop our required results for the existence and uniquness of solution to the considered problem. The stability results are useful consequences of the existence theory and can be obtained by applying classical functional analysis. We include an example to illustrate our results.


Since the space \(C({\mathbf {J}},{\mathbf {R}})\) is a Banach space endowed with a norm \(\Vert y\Vert _{\infty }=\sup \{|y|:\, t\in {\mathbf {J}}\}\), \(L^{1}({\mathbf {J}},{\mathbf {R}})\) for the space of Lebesgue integrable functions defined on \({\mathbf {J}}\) which is a Banach space corresponding to the norm \(\Vert y\Vert _{L^{1}}=\int _{0}^{1}|y(t)|{{\rm d}}t\). The space defined as
$$\begin{aligned} {\widetilde{C}}({\mathbf {J}},{\mathbf {R}})= \left \{\right.y\in C({\mathbf {J}},{\mathbf {R}}) :\, ^{c}{\mathscr {D}}^{\omega -1}y\in C({\mathbf {J}},\left. {\mathbf {R}})\right\}, \end{aligned}$$
endowed with a norm \(\Vert y\Vert _{{\widetilde{C}}}=\max \{\Vert y\Vert _{\infty },\Vert ^{c}{\mathscr {D}}^{\omega -1}y\Vert _{\infty } \}\) is a Banach space [22]. We provide some basic results and definitions.

Definition 2.1

([1]). The integral with fractional order \(\omega >0\) for a function \(g\in L^{1}({\mathbf {J}},{\mathbf {R}})\) is recalled by
$$\begin{aligned} {\mathscr {I}}^{\omega }g(t)=\frac{1}{\Gamma (\omega )} \int ^{t}_{0}(t-\theta )^{\omega -1}g(\theta ){{\rm d}}\theta . \end{aligned}$$

Definition 2.2

([1]). The Caputo derivative of order \(\omega >0\) of a function g(t) on \((0, \infty )\) is defined by
$$\begin{aligned}&(^{c}{\mathscr {D}}^{\omega }g)(t)=\frac{1}{\Gamma (n-\omega )}\int ^{t}_{0}(t-\theta )^{n-\omega -1}g^{(n)}(\theta ){{\rm d}}\theta ,\\& {\text {where }} n=[\omega ]+1. \end{aligned}$$

Lemma 2.3

([2]). The FODE with order \(\omega >0\) given by
$$\begin{aligned} ^{c}{\mathscr {D}}^\omega y(t)=0,\, n-1<\omega \le n, \end{aligned}$$
has a unique solution provided as
$$\begin{aligned}&y(t)=b_{0}+b_{1}t+b_{2}t^{2}+\cdots+b_{n-1}t^{n-1},\ {\text {where}}\ b_{i}\in {\mathbf {R}},\\&\quad \,i=0,1,2,\dots ,n-1,\, n=[\omega ]+1. \end{aligned}$$

Lemma 2.4

([2]) For \(\omega >0\),
$$\begin{aligned} {\mathscr {I}}^{\omega } {\mathscr {D}}^{\omega }g(t)=g(t)+b_{0}+b_{1}t+b_{2}t^{2}+\cdots+b_{n-1}t^{n-1}, \end{aligned}$$
where \(b_{i}\in {\mathbf {R}},\,\, i=0,1,2,\dots ,n-1,\,\, \, n=[\omega ]+1\) holds.

The next lemma plays an important role for converting BVPs to integral equations.

Lemma 2.5

For \(g\in C({\mathbf {J}}, {\mathbf {R}}),\) the linear fractional order BVP
$$\begin{aligned} \begin{aligned} ^{c}&{\mathscr {D}}^{\omega }y(t)=g(t),\quad t\in {\mathbf {J}},\,\, 1<\omega \le 2,\\&y(0)=\zeta y(\alpha ),\,\, y(1)=\xi y(\beta ), \end{aligned} \end{aligned}$$
has unique solution \(y(t)=\int ^{1}_{0} {\mathscr {G}}(t,\theta )g(\theta ){{\rm d}}\theta ,\,t\in {\mathbf {J}}\), where
$$\begin{aligned} {\mathscr {G}}(t, \theta )= & \frac{1}{\Gamma ( \omega )}\left\{ \begin{array}{l} (t-\theta )^{\omega -1}+\zeta \Delta \left( 1-\xi \beta -(1-\xi )t\right) (\alpha -\theta )^{\omega -1}+\Delta \xi (\zeta \alpha +(1-\zeta )t)(\beta -\theta )^{\omega -1}\\ \quad -\,\Delta (\zeta \alpha +(1-\zeta )t)(1-\theta )^{\omega -1}, \quad {\text{ if }}\,\,0\le \theta \le \min \{t, \alpha , \beta \}\le 1,\\ (t-\theta )^{\omega -1}+\Delta \xi \left( \zeta \alpha +(1-\zeta )t\right) (\beta -\theta )^{\omega -1} -\Delta \left( \zeta \alpha +(1-\zeta )t \right) (1-\theta )^{\omega -1},\\ \quad {\text{ if }}\,\,0\le \alpha \le \theta \le \min \{t, \beta \} \le 1,\\ (t-\theta )^{\omega -1}-\Delta \left( \zeta \alpha +(1-\zeta )t\right) (1-\theta )^{\omega -1}, \quad {\text{ if }}\,\,0\le \max \{\alpha , \beta \} \le \theta \le t \le 1,\\ \Delta \zeta \left( 1-\xi \beta -(1- \xi )t\right) (\alpha -\theta )^{\omega -1} +\Delta \xi \left( \zeta \alpha +(1-\zeta )t \right) (\beta -\theta )^{\omega -1}\\ \Delta\left( \zeta \alpha +(1-\zeta )t\right) (1-\theta )^{\omega -1}, \quad {\text{ if }}\,\,0\le t\le \theta \le \min \{\alpha , \beta \} \le 1,\\ \Delta \xi \left( \zeta \alpha +(1-\zeta )t\right) (\beta -\theta )^{\omega -1} -\Delta \left( \zeta \alpha +(1-\zeta )t \right) (1-\theta )^{\omega -1},\\ \quad {\text{ if }}\,\,0\le \max \{t, \alpha \} \le \theta \le \beta \le 1,\\ \Delta \zeta \left( 1-\xi \beta -(1-\xi )t\right) (\alpha -\theta )^{\omega -1} -\Delta \left( \zeta \alpha +(1-\zeta )t \right) (1-\theta )^{\omega -1},\\ \quad {\text{ if }}\,\,0\le \max \{t, \alpha , \beta \} \le \theta \le 1,\\ \end{array}\right. \end{aligned}$$
is Green’s function, where \(\Delta =((1-\zeta )(1-\xi \beta )+\zeta \alpha (1-\xi ))^{-1}\).


Applying \({\mathscr {I}}^{\omega }\) on (2) and thanking to Lemma 2.4, we obtain
$$\begin{aligned} y(t)={\mathscr {I}}^{q}g(t)+b_{0}+b_{1}t,\quad t\in {\mathbf {J}}. \end{aligned}$$
The boundary condition \(y(0)=\zeta y(\alpha )\) implies
$$\begin{aligned} b_{0}&= \frac{\Delta \zeta (1-\xi \beta )}{\Gamma (\omega )}\int ^{\alpha }_{0}(\alpha -\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\&\quad+\, \frac{\Delta \zeta \xi \alpha }{\Gamma (\omega )}\int ^{\beta }_{0}(\beta -\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\&\quad-\,\frac{\Delta \zeta \alpha }{\Gamma (\omega )}\int ^{1}_{0}(1-\theta )^{\omega -1}g(\theta ){{\rm d}}\theta , \end{aligned}$$
and the boundary condition \(y(1)=\xi y(\beta )\) yields
$$\begin{aligned} b_{1}&= \frac{\Delta \xi (1-\zeta )}{\Gamma (\omega )}\int ^{\beta }_{0}(\beta -\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\&\quad-\frac{\Delta \zeta (1-\xi )}{\Gamma (\omega )}\int ^{\alpha }_{0}(\alpha -\theta )^{q-1}g(\theta ){{\rm d}}\theta \\&\quad-\frac{\Delta (1-\zeta )}{\Gamma (\omega )}\int ^{1}_{0}(1-\theta )^{\omega -1}g(\theta ){{\rm d}}\theta . \end{aligned}$$
It follows from (4) that solution of the BVP (2) is
$$\begin{aligned} \begin{aligned} y(t)=&\frac{1}{\Gamma (\omega )}\int ^{t}_{0}(t-\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\&+\frac{\Delta (1-\xi \beta )\zeta -\Delta (1-\xi )\zeta t}{\Gamma (\omega )}\int ^{^{\alpha }}_{0} (\alpha -\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\&+\frac{\Delta \zeta \alpha \xi +\Delta (1-\zeta )\xi t}{\Gamma (\omega )}\int _{0}^{\beta }(\beta -\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\&-\frac{\Delta \zeta \alpha +\Delta (1-\zeta )t}{\Gamma (\omega )} \int _{0}^{1}(1-\theta )^{\omega -1}g(\theta ){{\rm d}}\theta \\ =&\int ^{1}_{0} {\mathscr {G}}(t,\theta )g(\theta ){{\rm d}}\theta . \end{aligned} \end{aligned}$$

Existence of at least one solution: main result

This part of the manuscript is devoted to study existence and uniqueness of solutions for the considered problem (1). For the required results, we use Schauder’s fixed point theorem [33] and Banach contraction principle. Thanks to Lemma 2.5, the proposed problem (1) is equivalent to the given integral equation
$$\begin{aligned} y(t)=\int ^{1}_{0} {\mathscr {G}}(t,\theta ){\mathcal {F}}\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(t)}\right){{\rm d}}\theta ,\quad t\in {\mathbf {J}}. \end{aligned}$$
Let \(N:{\widetilde{C}}({\mathbf {J}}, \mathbb {{\mathbf {R}}})\rightarrow {\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\) be the operator defined as
$$\begin{aligned} Ny(t)=\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta ,y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)\,{{\rm d}}\theta , \end{aligned}$$
then by solutions of the BVP (1) we mean fixed points of N. Further, we need the following result for onward analysis.
$$\begin{aligned} \begin{aligned}&^{c}{\mathscr {D}}^{\omega -1}Ny(t)=\int ^{t}_{0} {\mathcal {F}}\left(\theta ,y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta -\frac{\Delta t^{2-\omega }}{\Gamma (\omega )\Gamma (3-\omega )}\\&\quad \left[ \zeta (1-\xi )\int ^{\alpha }_{0}(\alpha -\theta )^{\omega -1}{\mathcal {F}}\left(\theta ,y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \right. \\&\quad +\,\xi (1-\zeta )\int _{0}^{\beta }(\beta -\theta )^{\omega -1}{\mathcal {F}}\left(\theta ,y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta -(1-\zeta )\\&\quad \left. \int _{0}^{1}(1-\theta )^{\omega -1}{\mathcal {F}}\left(\theta ,y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \right] . \end{aligned} \end{aligned}$$

Theorem 3.1

Assume that \({\mathcal {F}}:{\mathbf {J}}\times {\mathbf {R}} \times {\mathbf {R}} \rightarrow {\mathbf {R}}\) is continuous.
  1. (i)
    There exist \(p:{\mathbf {J}}\rightarrow {\mathbf {R}}^+\) and \(\psi :[0,\infty )\rightarrow (0, \infty )\) continuous and nondecreasing with
    $$\begin{aligned} |{\mathcal {F}}(t,y,z)|\le p(t)\psi (|z|), {\text { for }}t\in {\mathbf {J}} {\text{ and each }} y,\,z\in {\mathbf {R}}. \end{aligned}$$
  2. (ii)
    There exists a constant \(r>0\) satisfying
    $$\begin{aligned} r\ge \max \left\{ \psi (r)p^{*}{\mathscr {G}}^{*},\frac{p^{*}\psi (r)(\Gamma (\omega +1)\Gamma (3-\omega )+\Delta \zeta (1-\zeta )\alpha ^{\omega }+ \Delta \xi (1-\zeta )\beta ^{\omega } \Delta (1-\zeta ))}{\Gamma (\omega +1)\Gamma (3-\omega )}\right\} , \end{aligned}$$
    where \(p^{*}=\sup \{p(t), \ t\in J\},\, {\mathscr {G}}^{*}=\sup _{\,t\in {\mathbf {J}}}\int ^{1}_{0}|{\mathscr {G}}(t,\theta )|{{\rm d}}\theta\).
Then, the suggested FODE (1) has at least one solution with \(|y(t)|\le r\) on \({\mathbf {J}}\).


To prove the continuity of the operator N defined in (6), we consider a sequence \(\{y_{n}\}\) such that \(y_{n}\rightarrow y\) in \({\widetilde{C}}({\mathbf {J}},{\mathbf {R}})\). Then, there exists \(r>0\) such that for \(\Vert y_{n}\Vert _{{\widetilde{C}}}\le r,\,\, \Vert y\Vert _{{\widetilde{C}}}\le r\), we get
$$\begin{aligned}&|(Ny_{n})(t)-(Ny)(t)| \le \int ^{1}_{0}|G(t,\theta )| \left|{\mathcal {F}}\left(\theta , y_{n}(\theta ), \right.\right.\\&\quad \left.\left.{^{c} {\mathscr {D}}^{\omega -1}y_{n}(\theta )}\right)-f\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)\right|{{\rm d}}\theta , \end{aligned}$$
due to the continuity of \({\mathcal {F}}\) and Lebesgue dominated convergence theorem implies that
$$\begin{aligned} \Vert Ny_{n}-Ny\Vert _{\infty }\rightarrow 0, \,\, n\rightarrow \infty . \end{aligned}$$
$$\begin{aligned}&|(^{c}{\mathscr {D}}^{\omega -1}Ny_{n})(t)-(^{c}{\mathscr {D}}^{\omega -1}Ny)(t)|\le \int ^{t}_{0} |{\mathcal {F}}\left(\theta , y_{n}(\theta ),\right.\\&\quad\left. {^{c}{\mathscr {D}}^{\omega -1}y_{n}(\theta )}\right)-{\mathcal {F}}\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)|{{\rm d}}\theta \\&\quad +\frac{\Delta t^{2-\omega }}{\Gamma (\omega )\Gamma (3-\omega )}\left( \zeta (1-\xi )\int ^{\alpha }_{0}(\alpha -\theta )^{\omega -1}|{\mathcal {F}}\left(\theta , y_{n}(\theta ),\right.\right. \\&\quad\left. {^{c}{\mathscr {D}}^{\omega -1}y_{n}(\theta )}\right)-{\mathcal {F}}\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)|{{\rm d}}\theta \\&\quad +\,\xi (1-\zeta )\int _{0}^{\beta }(\beta -\theta )^{\omega -1}|{\mathcal {F}}\left(\theta , y_{n}(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y_{n}(\theta )}\right)\\&\quad -\,{\mathcal {F}}\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)|{{\rm d}}\theta \\&\quad +\, (1-\zeta )\int ^{1}_{0}(1-\theta )^{\omega -1}|{\mathcal {F}}(\theta , y_{n}(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y_{n}(\theta )})\\&\quad\left. -\,{\mathcal {F}}\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)|{{\rm d}}\theta \right) , \end{aligned}$$
and again from the continuity of \({\mathcal {F}}\) and Lebesgue dominated convergence theorem, we get
$$\begin{aligned} \Vert ^{c}{\mathscr {D}}^{\omega -1}Ny^{n}-{^{c}{\mathscr {D}}^{\omega -1}}Ny\Vert _{\infty }\rightarrow 0,{\text { as }}n\rightarrow \infty . \end{aligned}$$
Now, we show that \(N(D)\subseteq D\), where \(D=\{y\in {\widetilde{C}}({\mathbf {J}},{\mathbf {R}}): \Vert y\Vert _{{\widetilde{C}}}\le r\}\) is a closed and convex subset of \({\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\). Take \(y\in D\) and using the two conditions of Theorem 3.1, we obtain
$$\begin{aligned}|(Ny)(t)|&\le \int ^{1}_{0}|{\mathscr {G}}(t, \theta )||{\mathcal {F}}\left(\theta ,y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}}y(\theta )\right)|{{\rm d}}\theta \\& \le \psi (\Vert y\Vert _{{\widetilde{C}}})p^{*}{\mathscr {G}}^{*},\\|({^{c}{\mathscr {D}}^{\omega -1}Ny})(t)|&\le \frac{p^{*}\psi (\Vert y\Vert _{{\widetilde{C}}})}{\Gamma (\omega +1)\Gamma (3-\omega )} \left( \Gamma (\omega +1)\Gamma (3-\omega )\right. \\&\quad \left. +\, {{\rm d}}\zeta (1-\xi )\alpha ^{\omega }+\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta )\right) . \end{aligned}$$
Hence, it follows that
$$\begin{aligned} \Vert Ny\Vert _{{\widetilde{C}}}\le r\,\,\,\, {\text { implies }}\,\,\,\,N(D)\subseteq D. \end{aligned}$$
Finally, we prove that N maps D into an equi-continuous set of \({\widetilde{C}}(J,{\mathbf {R}})\). Consider \(\tau _{1} < \tau _{2}\in {\mathbf {J}}\) and \(y\in D\), then
$$\begin{aligned}|(Ny)(\tau _{2})-(Ny)(\tau _{1})|&\le \int ^{1}_{0}|{\mathscr {G}}(\tau _{2},\theta )-{\mathscr {G}}(\tau _{1},\theta )\\&\quad ||{\mathcal {F}}\left(\theta , y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}}y(\theta )\right)|{{\rm d}}\theta \\& \le p^{*}\psi (r)\int ^{1}_{0}|{\mathscr {G}}(\tau _{2},\theta )- {\mathscr {G}}(\tau _{1},\theta )|{{\rm d}}\theta , \end{aligned}$$
$$\begin{aligned}&|({^{c}{\mathscr {D}}^{\omega -1}Ny})(\tau _{2})-({^{c}{\mathscr {D}}^{\omega -1}Ny})(\tau _{1})|\le p^{*}\psi (r)\\&\quad \left[ \tau _{2}-\tau _{1}+ \frac{\Delta }{\Gamma (\omega +1)\Gamma (3-\omega )}\left( \zeta (1-\xi )(\tau ^{2-\omega }_{2}-\tau ^{2-\omega }_{1})\alpha ^{\omega }\right. \right. \\&\quad \left. \left. +\xi (1-\zeta )(\tau ^{2-\omega }_{2}-\tau ^{2-\omega }_{1})\beta ^{\omega }+ (1-\zeta )(\tau ^{2-\omega }_{2}-\tau ^{2-\omega }_{1})\right) \right] . \end{aligned}$$
From the continuity of \({\mathscr {G}}\), it follows that \(|(Ny)(\tau _{2})-(Ny)(\tau _{1})|\rightarrow 0,\,|({^{c}{\mathscr {D}}^{\omega -1}}Ny)(\tau _{2})-({^{c}{\mathscr {D}}^{\omega -1}Ny})(\tau _{1})|\rightarrow 0\) as \(\tau _{1}\rightarrow \tau _{2}\). By Arzelà–Ascoli Theorem, N is completely continuous, and hence, by Schauder’s fixed point theorem N has a fixed point y in D. \(\square\)

Theorem 3.2

In addition to the continuity of \({\mathcal {F}}:{\mathbf {J}}\times {\mathbf {R}} \times {\mathbf {R}} \rightarrow {\mathbf {R}}\), assume that there exists a positive constant k such that for each \(t\in {\mathbf {J}}\) and all \(x, y, u, v \in {\mathbf {R}},\)
$$\begin{aligned} |{\mathcal {F}}(t,x,y)-{\mathcal {F}}(t,u,v)|\le k(|x-u|+|y-v|), \end{aligned}$$
$$\begin{aligned} \max \left\{ {2{\mathscr {G}}^{*}k,\frac{2k(\Gamma (\omega +1)\Gamma (3-\omega )+\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta )+\Delta \zeta (1-\xi )\alpha ^{\omega })}{\Gamma (\omega +1)\Gamma (3-\omega )}}\right\} <1, \end{aligned}$$
then the BVP (1) has a unique solution on \({\mathbf {J}}\).


Let \(y, {\overline{y}}\in {\widetilde{C}}({\mathbf {J}},{\mathbf {R}})\), then for each \(t\in {\mathbf {J}},\) we have
$$\begin{aligned}&|(Ny(t))-(N{\overline{y}}(t)|\\ &\quad \le \int _{0}^{1}|{\mathscr {G}}(t,\theta )||{\mathcal {F}}\left(\theta ,y(\theta ), {^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right)\\&\qquad-{\mathcal {F}}\left(\theta , {\overline{y}}(\theta ), {^{c}{\mathscr {D}}^{\omega -1}{\overline{y}}(\theta )}\right)|{{\rm d}}\theta \\&\quad \le {\mathscr {G}}^{*}k\left(\Vert y-{\overline{y}}\Vert _{\infty }+ \Vert {^{c}{\mathscr {D}}^{\omega -1}}y-{^{c}{\mathscr {D}}^{\omega -1}}{\overline{y}}\Vert _{\infty } \right)\\&\quad \le 2{\mathscr {G}}^{*}k \Vert y-{\overline{y}} \Vert _{{\widetilde{C}}}. \end{aligned}$$
$$\begin{aligned} \Vert Ny-N{\overline{y}}\Vert _{{\widetilde{C}}}\le 2{\mathscr {G}}^{*}\Vert y-{\widetilde{y}}\Vert _{{\widetilde{C}}}. \end{aligned}$$
$$\begin{aligned}&|{^{c}{\mathscr {D}}^{\omega -1}(Ny)}(t)-{^{c}{\mathscr {D}}^{\omega -1}}(N{\overline{y}})(t)|\\&\quad \le \frac{k}{{\Gamma (\omega +1)\Gamma (3-\omega )}}\left( \Gamma (\omega +1)\Gamma (3-\omega )\right.\\ & \qquad \left.+\,\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta ) + \Delta \zeta (1-\xi )\alpha ^{\omega }\right)\\ & \qquad \times (\Vert y-{\overline{y}}\Vert _{\infty }+\Vert {^{c}{\mathscr {D}}^{\omega -1}}y-{^{c}{\mathscr {D}}^{\omega -1}}{\overline{y}}\Vert _{\infty }), \end{aligned}$$
which implies that
$$\begin{aligned}&\Vert {^{c}{\mathscr {D}}^{\omega -1}}Ny-{^{c}{\mathscr {D}}^{\omega -1}}N{\overline{y}}\Vert _{\infty }\nonumber\\ & \quad \le \frac{2k}{\Gamma (\omega +1)\Gamma (3-\omega )} \left( \Gamma (\omega +1)\Gamma (3-\omega )\right. \nonumber \\&\quad \left. +\, \Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta )+\Delta \zeta (1-\xi )\alpha ^{\omega }\right) \times \Vert y-{\overline{y}}\Vert _{{\widetilde{C}}}. \end{aligned}$$
From the relations (11) and (12), it follows that
$$\begin{aligned} \Vert Ny-N{\overline{y}}\Vert _{{\widetilde{C}}}\le \max \left\{ 2{\mathscr {G}}^{*}k,\frac{2k(\Gamma (\omega +1)\Gamma (3-\omega )+\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta ) +\Delta \zeta (1-\xi )\alpha ^{\omega })}{\Gamma (\omega +1)\Gamma (3-\omega )}\right\} \Vert y-{\widetilde{y}}\Vert _{{\widetilde{C}}}, \end{aligned}$$
thus (10) implies that N is a contraction. Thanks to Banach contraction theorem, N has a unique fixed point. \(\square\)

Generalized Ulam–Hyers stability of the solutions of BVP (1)

In this section, we prove necessary and sufficient conditions for the Ulam–Hyers (UHS) and generalized Ulam–Hyers stability (GUHS) of the solutions to considered BVP (1) of nonlinear FODEs. To come across the required result, we give the following auxiliary results needed onward.

Definition 4.1

The solution \(y \in {\tilde{C}}({\mathbf {J}}, {\mathbf {R}})\) of the considered problem (1) is Ulam–Hyers stable(UHS) if we can find a real number \({\hat{C}}_{\mathcal {F}}>0\) with the property that for every \(\varepsilon >0\) and for every solution \(y \in {\tilde{C}}({\mathbf {J}}, {\mathbf {R}})\) of the inequality
$$\begin{aligned} |^{c}{\mathscr {D}}^{\omega }y(t)))-{\mathcal {F}}\left(t,y(t),{^{c}{\mathscr {D}}^{\omega -1}y(t)}\right)|\le \varepsilon ,\ t\in {\mathbf {J}}, \end{aligned}$$
there exists unique solution \(x \in {\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\) of the proposed BVP (1) with a constant \({\hat{C}}_{\mathcal {F}}>0\) with
$$\begin{aligned} \Vert x-y\Vert _{{\widetilde{C}}}\le {\hat{C}}_{\mathcal {F}} \varepsilon . \end{aligned}$$

Definition 4.2

The solution \(y \in {\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\) of the proposed BVP(1) is called to be generalized Ulam–Hyers stable (GUHS), if we can find
$$\begin{aligned} \Theta _{\mathcal {F}}: (0, \infty ) \rightarrow {\mathbf {R}}^+,\ \Theta _{{\mathcal {F}}}(0)=0, \end{aligned}$$
such that for each solution \(y \in {\widetilde{C}}({\mathbf {J}},{\mathbf {R}})\) of the inequality (13), we can find a unique solution \(x\in {\widetilde{C}}({\mathbf {J}},{\mathbf {R}})\) of the considered BVP (1) with
$$\begin{aligned} \Vert x-y\Vert _{{\widetilde{C}}}\le {\hat{C}}_{\mathcal {F}} \Theta _{\mathcal {F}}. \end{aligned}$$

Remark 4.3

A function \(y \in {\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\) is said to be the solution of inequality given in (13) if and only if, we can find a function \(\hbar \in {\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\) depends on y only such that
  1. (i)

    \(|\hbar (t)|\le \varepsilon , {\text{ for all }}\ t \in {\mathbf {J}};\)

  2. (ii)

    \(^{c}{\mathscr {D}}^{\omega }y(t)={\mathcal {F}}(t,y(t),^{c}{\mathscr {D}}^{\omega -1}y(t))+\hbar (t),\ {\text{ for all }}\ t \in {\mathbf {J}}.\)


Lemma 4.4

Under the assumption given as (9) and Remark 4.3, the solution \(y\in {\widetilde{C}}({\mathbf {J}}, {\mathbf {R}})\) of the BVP given by
$$\begin{aligned} \left\{ \begin{aligned} ^{c}&{\mathscr {D}}^{\omega }y(t)={\mathcal {F}}\left(t,y(t),{^{c}{\mathscr {D}}^{\omega -1}y(t)}\right)+\hbar (t),\, t\in {\mathbf {J}}=[0,1],\\&y(0)=\zeta y(\alpha ), \,y(1)=\xi y(\beta ), \end{aligned}\right. \end{aligned}$$
satisfies the relation given by
$$\begin{aligned}&\left| y(t)-\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \right| \nonumber \\&\quad \le {\mathscr {G}}^*\varepsilon ,\ {\text {for all}}\ t\in {\mathbf {J}}. \end{aligned}$$


Thanks to Lemma 2.5 , we get the solution of BVP (14) as
$$\begin{aligned} y(t)&= \int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \nonumber \\&\quad+\int _0^1 {\mathscr {G}}(t, \theta )\hbar (\theta ){{\rm d}}\theta ,\ t\in J, \end{aligned}$$
where \({\mathscr {G}}(t, \theta )\) is the same Green’s function defined in Lemma 2.5. From (16), we may write as
$$\begin{aligned}&\left| y(t)-\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}){{\rm d}}\theta \right| \\&\quad =\left| \int _0^1 {\mathscr {G}}(t, \theta )\hbar (\theta ){{\rm d}}\theta \right| \\&\quad \le \max _{t\in {\mathbf {J}}}\int _0^1 |{\mathscr {G}}(t, \theta )| |\hbar (\theta )|{{\rm d}}\theta \\&\quad \le {\mathscr {G}}^*\varepsilon ,\ {\text {for all}}\ t\in {\mathbf {J}}. \end{aligned}$$

Theorem 4.5

Under Assumption (9) and Lemma 4.4 together with the condition that \(1\ne 2k({\mathscr {G}}^*+\Lambda )\), the solutions of BVP (1) are Ulam–Hyers (UHS) and consequently generalized Ulam–Hyers stable(GUHS).


Let \(y\in {\tilde{C}}({\mathbf {J}}, {\mathbf {R}})\) be any solution of BVP (1) and \(x\in {\tilde{C}}({\mathbf {J}}, {\mathbf {R}})\) be the unique solution of the considered problem (1), then consider
$$\begin{aligned}|y(t)-x(t)|&=\left| y(t)-\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \right. \\&\quad +\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \\&\quad \left. -\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , x(\theta ),{^{c}{\mathscr {D}}^{\omega -1}}x(\theta )\right){{\rm d}}\theta \right| \\& \le \left| y(t)-\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \right| \\&\quad +\,\left| \int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , y(\theta ),{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right){{\rm d}}\theta \right. \\&\quad \left. -\int _0^1 {\mathscr {G}}(t, \theta ){\mathcal {F}}\left(\theta , x(\theta ),{^{c}{\mathscr {D}}^{\omega -1}x(\theta )}\right){{\rm d}}\theta \right| \\& \le {\mathscr {G}}^*\varepsilon + \int _0^1 |{\mathscr {G}}(t, \theta )|k\left[|y-x|+|{^{c}{\mathscr {D}}^{\omega -1}y(\theta )}\right.\\&\quad \left.-{^{c}{\mathscr {D}}^{\omega -1}x(\theta )}|\right]{{\rm d}}\theta , \end{aligned}$$
which on simplification like (11) yields that
$$\begin{aligned}&\Vert y-x\Vert _{\infty }\le {\mathscr {G}}^*\varepsilon + 2{\mathscr {G}}^*k[\Vert y-x\Vert _{\infty }\nonumber \\&\quad +\Vert {^{c}{\mathscr {D}}^{\omega -1}}y-{^{c}{\mathscr {D}}^{\omega -1}}x\Vert _{{\widetilde{C}}}]. \end{aligned}$$
Also we have
$$\begin{aligned} \begin{aligned}&\Vert {^{c}{\mathscr {D}}^{\omega -1}}y-{^{c}{\mathscr {D}}^{\omega -1}}x\Vert _{\infty }\le 2k\Lambda \Vert y-x\Vert _{{\widetilde{C}}},\\& {\text {where}},\ \Lambda =\frac{1}{\Gamma (\omega +1)\Gamma (3-\omega )}\left( \Gamma (\omega +1)\Gamma (3-\omega )\right. \\&\qquad\qquad \left. +\,\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta )+\Delta \zeta (1-\xi )\alpha ^{\omega }\right) . \end{aligned} \end{aligned}$$
From Inequalities (17) and (18), we have
$$\begin{aligned} \Vert y-x\Vert _{{\widetilde{C}}}\le {\mathscr {G}}^*\varepsilon + 2k({\mathscr {G}}^*+\Lambda )\Vert y-x\Vert _{{\widetilde{C}}}. \end{aligned}$$
which implies that
$$\begin{aligned} \Vert y-x\Vert _{{\widetilde{C}}}\le \frac{{\mathscr {G}}^*\varepsilon }{1-2k({\mathscr {G}}^*+\Lambda )}. \end{aligned}$$
Hence, the solution of BVP (1) is Ulam–Hyers stable (UHS). Also if we let \(\Theta (\varepsilon )=\varepsilon\) and \({\tilde{C}}_{\mathcal {F}}=\frac{{\mathscr {G}}^*}{1-2k({\mathscr {G}}^*+\Lambda )}\), then (19) can be written as
$$\begin{aligned} \Vert y-x\Vert _{{\widetilde{C}}}\le {\widetilde{C}}_{\mathcal {F}}\Theta (\varepsilon ). \end{aligned}$$
It is clear that \(\Theta (0)=0\). Hence, the solution of the proposed problem (1) is generalized Ulam–Hyers stable (GUHS). \(\square\)

Example 4.6

Consider the problem
$$\begin{aligned} \left\{ \begin{aligned}& ^{c}{\mathscr {D}}^{1.8}y(t)=\left( \frac{\cos t}{15{{\rm e}}^t+2}\right) \left( \frac{1}{3+|y(t)|+|^{c}{\mathscr {D}}^{0.8}y(t)|}\right) ,\qquad t\in {\mathbf {J}}=[0, 1],\\&y(0)=0.2 y(0.5),\,\,y(1)=0.075 y(0.75), \end{aligned}\right. \end{aligned}$$
where \({\mathcal {F}}(t, u, v) = \left( \frac{\cos t}{15{{\rm e}}^t+2}\bigg )\bigg (\frac{1}{3+|u|+|v|}\right)\). Let \(u, v,{\bar{u}}, {\bar{v}} \in {\mathbf {R}}\) and \(t\in {\mathbf {J}}\), then we have
$$\begin{aligned} |{\mathcal {F}}(t, u, v)-{\mathcal {F}}(t,{\bar{u}}, {\bar{v}})|\le \frac{1}{17}\left( |u-{\bar{u}}|+|v-{\bar{v}}| \right) . \end{aligned}$$
Hence, second condition of Theorem 3.2 holds with \(k= \frac{1}{17}\). From (3), we have \({\mathscr {G}}^*< \frac{2.1079}{\Gamma (\omega +1)}\) for \(\alpha =0.5, \,\,\beta =0.75,\,\, \zeta =0.2,\,\, \xi =0.075\) and \(\Delta =1.18\). Now for \(k=\frac{1}{17}\) and \(\omega =1.8\), we have
$$\begin{aligned} \frac{2k}{\Gamma (\omega +1)\Gamma (3-\omega )}\left\{ \Gamma (\omega +1)\Gamma (3-\omega )+\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta )+\Delta \zeta (1-\xi )\alpha ^{\omega }\right\} =0.2<1. \end{aligned}$$
$$\begin{aligned} \max \left\{ \frac{2}{17}{\mathscr {G}}^{*},\frac{2(\Gamma (\omega +1)\Gamma (3-\omega )+\Delta \xi (1-\zeta )\beta ^{\omega }+\Delta (1-\zeta )+\Delta \zeta (1-\xi )\alpha ^{\omega })}{17\Gamma (\omega +1)\Gamma (3-\omega )}\right\} <1, \end{aligned}$$
By Theorem 3.2 it follows that the problem (20) has a unique solution on \({\mathbf {J}}\). Moreover \(2k({\mathscr {G}}^*+\Lambda )=0.17145\ne 1\). Hence, in view of Theorem 4.5 the solution of the BVP (20) is Ulam–Hyers stable and consequently generalized Ulam–Hyers stable.


In this paper we have considered a class of BVP of nonlinear FODEs. By using well-known Schauder’s and Banach fixed point theorems, we have established some sufficient conditions for existence and uniqueness of solution to the considered problem. Since stability analysis is very important aspect of existence theory, we have also developed some results about Ulam–Hyers and generalized Ulam–Hyers type stability. For the demonstration of our analysis, we have given a suitable example. The established results generalize many results of the literature in two different ways. First of all we have taken four-point BVP of nonlinear FODEs instead of two-point BVP in our paper. Secondly, we have investigated two important forms of stability including Ulam–Hyers and generalized Ulam–Hyers type which have not been investigated for those BVP of FODEs in which nonlinear function depends on derivative term of dependent function (solution to be determined) to the best of our information. Further, our results generalize many results of the literature; we refer few of them as [34, 35].



We are really thankful to the anonymous referee and editor for their valuable comments which improved this paper very well.

Compliance with ethical standards

Conflicts of interest

It is declared that no competing interest exists regarding this manuscript.

Authors contribution

All authors have equal contribution to this manuscript.


  1. 1.
    Podlubny, I.: Fractional Differential Equation. Academic Press, New York (1999)zbMATHGoogle Scholar
  2. 2.
    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations North-Holland Mathematics studies, vol. 204. Elsevier, Amsterdam (2006)Google Scholar
  3. 3.
    Benchohra, B., Graef, J.R., Hamani, S.: Existence results for boundary value problem with nonlinear fractinal differential equation. Appl. Anal. 87, 851–863 (2008)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Zhang, S.Q.: The existence of a positive solution for a nonlinear fractional differential equation. J. Math. Anal. Appl. 252, 804–812 (2000)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Belarbi, A., Benchohra, M., Ouahab, A.: Existence result for fractional differential equation of fractional order. Appl. Anal. 85, 1459–1470 (2006)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Bai, Z., Lu, H.: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495–505 (2005)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Li, C.F., Luo, X.N., Zhou, Y.: Existence of positive solutions of the boundary value problem for nonlinear fractional differential equations. Comput. Math. Appl. 59, 1363–1375 (2010)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Babakhani, A., Gejji, V.D.: Existence of positive solutions of nonlinear fractional differential equations. J. Math. Anal. Appl. 278, 434–442 (2003)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Zhang, S.Q.: Existence of positive solution for some class of a nonlinear fractional differential equations. J. Math. Anal. Appl. 278, 136–148 (2003)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Bai, Z., Wang, Y., Ge, W.: Triple positive solutions for a class of two-point boundary-value problems. Electron. J. Differ. Equ. 6, 1–8 (2004)MathSciNetGoogle Scholar
  11. 11.
    Ahmad, B., Nieto, J.J.: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray–Schauder degree theory. Topol. Meth. Nonlinear Anal. 35, 295–304 (2010)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Shah, K., Khan, R.A.: Iterative scheme for a coupled system of fractional-order differential equations with three-point boundary conditions. Math. Methods Appl. Sci. 41(3), 1047–1053 (2018)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Makvand Chaharlang, M., Razani, A.: Existence of infinitely many solutions for a class of nonlocal problems with Dirichlet boundary condition. Commun. Korean Math. Soc. 34(1), 155–167 (2019)Google Scholar
  14. 14.
    Makvand Chaharlang, M., Razani, A.: Infinitely many solutions for a fourth order singular elliptic problem. Filomat 32(14), 5003–5010 (2018)MathSciNetGoogle Scholar
  15. 15.
    Mahdavi Khanghahi, R., Razani, A.: Solutions for a singular elliptic problem involving the \(p(x)\)-Laplacian. Filomat 32(14), 4841–4850 (2018)MathSciNetGoogle Scholar
  16. 16.
    Khalkhali, S.M., Razani, A.: Multiple solutions for a quasilinear (p, q)-elliptic system. Electron. J. Differ. Equ. 144, 1–14 (2013)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Khalkhali, S.M., Heidarkhani, S., Razani, A.: Infinitely many solutions for a fourth-order boundary-value problem. Electron. J. Differ. Equ. 164, 1–14 (2012)MathSciNetzbMATHGoogle Scholar
  18. 18.
    Rehman, M., Khan, R.A.: Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations. Appl. Math. Lett. 23, 1038–1044 (2010)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Khan, R.A., Rehman, M.: Existence of multiple positive solutions for a general system of fractional differential equations. Commun. Appl. Nonlinear Anal. 18, 25–35 (2011)MathSciNetzbMATHGoogle Scholar
  20. 20.
    Khan, R.A., Rehman, M., Asif, N.: Three point boundary value problems for nonlinear fractional differential equations. Acta. Math. Sci. 31(B4), 1–10 (2011)MathSciNetzbMATHGoogle Scholar
  21. 21.
    Rehman, M., Khan, R.A.: A note on boundary value problems for a coupled system of fractional differential equations. Comput. Math. Appl. 61, 2630–2637 (2011)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Benchohra, M., Naima Hamidi, J.Henderson: Fractional differential equations with anti-periodic boundary conditions. Numer. Funct. Anal. Optim. 34(4), 404–414 (2013)MathSciNetCrossRefGoogle Scholar
  23. 23.
    Lijun, G., Wang, D., Wang, G.: Further results on exponential stability for impulsive switched nonlinear time-delay systems with delayed impulse effects. Appl. Math. Comput. 268, 186–200 (2015)MathSciNetzbMATHGoogle Scholar
  24. 24.
    Stamova, I.: Mittag–Leffler stability of impulsive differential equations of fractional order. Q. Appl. Math. 73(3), 525–535 (2015)MathSciNetCrossRefGoogle Scholar
  25. 25.
    Trigeassou, J.C., et al.: A Lyapunov approach to the stability of fractional differential equations. Signal Process. 91(3), 437–445 (2011)MathSciNetCrossRefGoogle Scholar
  26. 26.
    Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1940)zbMATHGoogle Scholar
  27. 27.
    Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1960)zbMATHGoogle Scholar
  28. 28.
    Obloza, M.: Hyers stability of the linear differential equation. Rocznik Nauk-Dydakt. Prace Mat. 13, 259–270 (1993)MathSciNetzbMATHGoogle Scholar
  29. 29.
    Wang, J., Li, X.: Ulam Hyers stability of fractional Langevin equations. Appl. Math. Comput. 258, 72–83 (2015)MathSciNetzbMATHGoogle Scholar
  30. 30.
    Kumama, P., Ali, A., Shah, K., Khan, R.A.: Existence results and Hyers–Ulam stability to a class of nonlinear arbitrary order differential equations. J. Nonlinear Sci. Appl. 10, 2986–2997 (2017)MathSciNetCrossRefGoogle Scholar
  31. 31.
    Wang, J., Lv, L., Zhou, Y.: Ulam stability and data dependec for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 63, 1–10 (2011)MathSciNetzbMATHGoogle Scholar
  32. 32.
    Haq, F., Shah, K., Rahman, G., Shahzad, M.: Hyers–Ulam stability to a class of fractional differential equations with boundary conditions. Int. J. Appl. Comput. Math. 2017, 1–13 (2017)MathSciNetGoogle Scholar
  33. 33.
    Mokhtarzadeh, M.R., Pournaki, M.R., Razani, A.: Note on periodic solutions of Riccati equations. Nonlinear Dyn. 62, 119–125 (2010)MathSciNetCrossRefGoogle Scholar
  34. 34.
    Khan, R.A.: Three-point boundary value problems for higher order nonlinear fractional differential equations. J. Appl. Math. Inform. 31(12), 221–228 (2013)MathSciNetCrossRefGoogle Scholar
  35. 35.
    Bai, Z.: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 72, 916–924 (2010)MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open AccessThis 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.

Authors and Affiliations

  • Muhammad Zamir
    • 1
  • Kamal Shah
    • 2
    Email author
  • Muhammad Ikhlaq Chohan
    • 3
  1. 1.Department of MathematicsUniversity of Science and TechnologyBanuuPakistan
  2. 2.Department of MathematicsUniversity of MalakandDir (L)Pakistan
  3. 3.Department of Business Administration and AccountingAl Buraimi University CollegeMuscatSultanate of Oman

Personalised recommendations