Skip to main content

Qualitative analysis of nonlinear coupled pantograph differential equations of fractional order with integral boundary conditions


In this research article, we develop a qualitative analysis to a class of nonlinear coupled system of fractional delay differential equations (FDDEs). Under the integral boundary conditions, existence and uniqueness for the solution of this system are carried out. With the help of Leray–Schauder and Banach fixed point theorem, we establish indispensable results. Also, some results affiliated to Ulam–Hyers (UH) stability for the system under investigation are presented. To validate the results, illustrative examples are given at the end of the manuscript.


Theoretical and applied aspects of fractional calculus can be found comprehensively in the literature. This area of mathematics has numerous applications of modeling various phenomena and processes in nonlinear oscillations of earthquakes, nanotechnology, engineering discipline, and other different scientific fields (see [15]). These fields played a vital role for the birth of some new subareas of research like fractional dynamics, fractional fuzzy calculus, etc. Different aspects related to qualitative and numerical analysis corresponding to boundary and initial value problems of fractional order differential equations (FODEs) have been widely explored. The literature related to this area contains significant contributions (we refer to [69]).

There is a rapidly growing body of literature on a delay type of differential equations including discrete, continuous, and proportional delay. The area of delay FODEs has many applications in mathematical modeling of real world problems and processes. Among the delay problems, there are those containing a proportional delay, are called pantograph differential equations(PDEs). The existing work about PDEs indicates that such problems have many real world applications. Initially, pantograph was introduced to govern the drawing and scaling aspects of a device. Later on this device was more refined and now scientists use it in electric trains [10, 11], material modeling [12], and in modeling lasers, especially quantum dot lasers [13]. Basically, PDEs form a subclass of differential equations called delay, which gives change in terms of dependent variable at previous time [14]. Not long ago, in this area, some beneficial work has been carried out (see [1517]).

FODEs have been extensively studied with respect to different angles. Among these, stability analysis in the UH sense is an important aspect that gained proper attention from researchers [18, 19]. Based on the fundamental definition of UH stability of a system, the notion was later modified to more general types, and their results were successfully applied to various problems (we refer to [20, 21] and the references therein). The UH-type stability has been developed very well in the sense of differential equations in the last twenty years [2224].

To the best of our knowledge, qualitative study to a coupled system of FDDEs under integral boundary conditions has not been investigated properly. Therefore, using results from fixed point theory, we study the qualitative aspects of a coupled system of FDDEs under integral conditions given as follows:

$$ \textstyle\begin{cases} D_{+0}^{\beta }r(t) =- f_{1}(t,r(\lambda t), s(t), D^{p} s(t)), \\ D^{\gamma }_{+0} s(t)=- f_{2}(t,r(t), s(\lambda t), D^{q} r(t)), \\ r(0)=0, \qquad r(1)=\int _{0}^{1}\phi (t) r(t) \,dt, \\ s(0)=0, \qquad s(1)=\int _{0}^{1}\phi (t) s(t) \,dt, \end{cases} $$

where \(t\in I_{1}=[0,1]\), \(\beta, \gamma \in (1, 2]\), and \(\lambda, p, q \in (0,1)=I_{2}\). Also the functions \(f_{1}, f_{2}:I_{1}\times \mathit{R}^{3}\rightarrow \mathit{R}\) are nonlinear continuous functions, \(\phi:I_{2}\rightarrow [0, \infty )\) is a bounded function, and D is a Riemann–Liouville derivative. Further, the Banach space is defined by \((\mathrm{W},\|,\|)\) with the norm \(\|w\|=\max_{t\in I_{1}}|w|\). Consequently, \(\mathrm{U}=\mathrm{W} \times \mathrm{W}\) is a Banach space with norms denoted by \(\|(w_{1},w_{2})\|=\|w_{1}\|+\|w_{2}\|\) or \(\|(w_{1}, w_{2})\|=\max \{\|w_{1}\|, \|w_{2}\|\}\).


Related results and definitions for the current work, which may be found in [2528], are discussed here.

Definition 1

Integral with fractional order \(\gamma \in \mathit{R^{+}}\) for a function \(x\in L[0, 1]\) is defined as follows:

$$ I^{\gamma }_{+0} x(t)=\frac{1}{\varGamma (\gamma )} \int _{0}^{t}(t-z)^{ \gamma -1} x(z) \,dz,\quad \gamma >0, $$

provided that the integral exists on the right-hand side on \((0, \infty )\).

Definition 2

Riemann–Liouville-type fractional order \(\gamma \in \mathit{R^{+}}\) derivative for a function \(x\in L[0, 1]\) is recalled as follows:

$$ D^{\gamma }_{+0} x(t)=\frac{1}{\varGamma (m-\gamma )} \biggl(\frac{d}{dt} \biggr)^{m} \int _{0}^{t} (t-z)^{m-\gamma -1}x(z) \,dz, $$

where \(m > \gamma \) and the integral on \(\mathit{R^{+}}\) is pointwise defined.

Lemma 1

For the FODE,

$$ D^{\gamma }_{+0} x(t)=0, \quad\gamma \in (m-1,m] $$

is expressed as

$$ x(t)=\sum_{{k}=1}^{m}d_{k}t^{\gamma -k},\quad k=1,2,\ldots,m, \textit{ where } d_{k}\in \mathit{R}, $$

where \(m=[\gamma ]+1\).

Lemma 2

For the FODE, the following result holds:

$$ I_{+0}^{\gamma } \bigl[D^{\gamma }_{+0} x(t) \bigr]=x(t)+\sum_{k=1}^{m}d_{k}t^{ \gamma -k},\quad k=1,2,3,\ldots,m, $$

with \(d_{k}\in \mathit{R}\)and \(m=[\gamma ]+1 \).

Definition 3


For the operators \(S_{1}, S_{2}\) \(S_{1},S_{2}: \mathrm{U}\rightarrow \mathrm{W}\), such that

$$ \textstyle\begin{cases} r(t)-S_{1}(r, s)(t)=0, \\ s(t)-S_{2}(r, s)(t)=0 \end{cases} $$

is UH-type stable if \(\ell _{i} > 0 \ (i=1,2,3,4)\), \(\Delta _{i} > 0 \ (i=1,2)\) real numbers and for every \((\hat{r}, \hat{s})\in \mathrm{U}\), we have

$$ \textstyle\begin{cases} \Vert \hat{r}-S_{1}(\hat{r}, \hat{s}) \Vert \leq \Delta _{1}, \\ \Vert \hat{s}-S_{2}(\hat{r}, \hat{s}) \Vert \leq \Delta _{2} \end{cases} $$

\(\exists(\bar{r},\bar{s})\in \mathrm{U}\) of (2),

$$ \textstyle\begin{cases} \Vert \hat{r}-\bar{r} \Vert \leq \ell _{1}\Delta _{1}+ \ell _{2}\Delta _{2}, \\ \Vert \hat{s}-\bar{s} \Vert \leq \ell _{3}\Delta _{1}+ \ell _{4}\Delta _{2}. \end{cases} $$

Definition 4

If \(\beta _{i}(i=1,2,3,\ldots,n)\) are eigenvalues of \(\mathscr{M}\) of order \({n\times n}\), with spectral radius of \(\varUpsilon (\mathscr{M})\) defined by

$$ \varUpsilon (\mathscr{M})=\max \bigl\{ \vert \beta _{i} \vert \text{ for } i=1,2,\ldots,n \bigr\} . $$

Moreover, if \(\varUpsilon (\mathscr{M})<1\), then \(\mathscr{M}\) converges to 0.

Theorem 1


For the two operators \(S_{1}\), \(S_{2}\) \(S_{1},S_{2}: \mathrm{U}\rightarrow \mathrm{W} \ni \)

$$ \textstyle\begin{cases} \Vert S_{1}(r, s)-S_{1}(\hat{r}, \hat{s}) \Vert \leq \ell _{1} \Vert r-\hat{r} \Vert +\ell _{2} \Vert s-\hat{s} \Vert , \\ \Vert S_{2}(r, s)-S_{2}(\hat{r}, \hat{s}) \Vert \leq \ell _{3} \Vert r-\hat{r} \Vert +\ell _{4} \Vert s-\hat{s} \Vert \\ \quad \forall (r, s) (\hat{r}, \hat{s})\in \mathrm{U} \end{cases} $$

and if the following matrix

M= [ 1 2 3 4 ]

tends to zero, subsequently fixed points of (2) are UH-type stable.

Some needed assumptions for our work are given as follows:


\(r, \bar{r}, s, \bar{s}\in C(I_{1}, \mathit{R}) \ \forall t\in I_{1} \ \exists L_{f_{1}}>0\)

$$ \bigl\vert {f_{1}}\bigl(t,r(\lambda t), s(t), D^{p} s(t) \bigr)-{f_{1}}\bigl(t, \bar{r}( \lambda t), \bar{s}(t), D^{p} \bar{s}(t)\bigr) \bigr\vert \leq L_{f_{1}} \bigl( \vert r- \bar{r} \vert +2 \vert s-\bar{s} \vert \bigr). $$

\(r, \bar{r}, s, \bar{s}\in C(I_{1}, \mathit{R}) \ \forall t\in I_{1} \ \exists L_{f_{2}}>0\)

$$ \bigl\vert {f_{2}}\bigl(t,r(t), s(\lambda t),D^{q} r(t) \bigr)-{f_{2}}\bigl(t,\bar{r}(t), \bar{s}(\lambda t), D^{q} \bar{r}(t)\bigr) \bigr\vert \leq L_{f_{2}} \bigl(2 \vert r- \bar{r} \vert + \vert s-\bar{s} \vert \bigr). $$

For positive real number \(\mathfrak{M}\) and \(\forall t\in I_{1}\) ,

$$ \bigl\vert \phi (t) \bigr\vert \leq \mathfrak{M}. $$

For positive real number \(\mathfrak{A}\) and \(\forall t\in I_{1}\) ,

$$ \max \biggl\{ \int _{0}^{1} \phi (t) r(t)\,dt, \int _{0}^{1} \phi (t) s(t)\,dt \biggr\} \leq \mathfrak{A}. $$

For some positive real numbers \(C_{f_{1}}, D_{f_{1}}\) and \(M_{f_{1}}, M_{f_{2}}\)

$$\begin{aligned} &\bigl\vert {f_{1}}\bigl(t, r(\lambda t), s(t), D^{p} s(t) \bigr) \bigr\vert \leq C_{f_{1}} \vert r \vert +2D_{f_{1}} \vert s \vert +M_{f_{1}}, \\ &\bigl|{f_{2}}(t,r(t), s(\lambda t), D^{q} r(t)\bigr| \leq 2C_{f_{2}} \vert r \vert +D_{f_{2}} \vert s \vert +M_{f_{2}}. \end{aligned}$$

Theorem 2


Let E be a closed convex subset of a Banach space U. Let A be an open subset of E with \(0\in A\), and let \(\mathbb{F}:\bar{A}\rightarrow E\)be a continuous and compact mapping. Then either the mapping \(\mathbb{F}\)has a fixed point in Ā, or \(\exists x \in \partial A\)and κ \(\in (0, 1)\)with \(x=\kappa \mathbb{F}x\).

Results about the existence of solutions

Theorem 3

Let \(r(t) \in C(I_{1}, \mathit{R})\)and \(u(t)\in L(I_{1}, \mathit{R})\), the solution for the problem

$$\begin{aligned} \begin{aligned}& D^{\beta }_{+0} r(t)+ u(t)=0,\quad t\in I_{1}, \beta \in (1, 2], \\ &r(0)=0, \qquad r(1)= \int _{0}^{1}\phi (t) r(t) \,dt \end{aligned} \end{aligned}$$

is as follows:

$$ r(t) = \int _{0}^{1} \mathrm{G_{1}}(t,z) u(z) \,dz +t^{\beta -1} \int _{0}^{1} \phi (t) r(t) \,dt, $$

where \(\mathrm{G_{1}(t, z)}\)is given below:

$$\begin{aligned} \textstyle\begin{cases} \frac{t^{\beta -1} (1-z)^{\beta -1}-(t-z)^{\beta -1}}{\varGamma (\beta )},& 0\leq z\leq t \leq 1, \\\frac{t^{\beta -1} (1-z)^{\beta -1}}{\varGamma (\beta )},& 0\leq z \leq t \leq 1. \end{cases}\displaystyle \end{aligned}$$


Taking integral to both sides of (7) and using Lemma (2) implies

$$\begin{aligned} r(t) ={}& {-}I^{\beta }u(t)+d_{1} t^{\beta -1}+ d_{2} t^{\beta -2} \\ ={}& {-} \int _{0}^{t}\frac{(t-z)^{\beta -1}u(z)\,dz}{\varGamma (\beta )} +d_{1} t^{\beta -1}+ d_{2} t^{\beta -2}. \end{aligned}$$

With the help of boundary conditions in (7), we obtain

$$\begin{aligned} \begin{aligned} &d_{2} = 0,\\ & d_{1}= \int _{0}^{1}\phi (t) r(t)\,dt+ \frac{1}{\varGamma (\beta )} \int _{0}^{1}(1-z)^{\beta -1}u(z)\,dz. \end{aligned} \end{aligned}$$

Hence, (10) implies

$$\begin{aligned} r(t) ={}& {-}\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-z)^{\beta -1}u(z)\,dz + t^{\beta -1} \int _{0}^{1} \phi (t) r(t)\,dt \\ &{}+\frac{t^{\beta -1}}{ \varGamma (\beta )} \int _{0}^{1}(1-z)^{\beta -1}u(z)\,dz \\ ={}& \int _{0}^{1}\mathrm{G_{1}(t, z)} u(z)\,dz +t^{\beta -1} \int _{0}^{1} \phi (t) r(t) \,dt. \end{aligned}$$

In the same way, for \(s(t) \in C(I_{1}, \mathit{R})\) and \(u(t)\in L(I_{1}, \mathit{R})\), the solution for the problem

$$\begin{aligned} \begin{aligned}& D^{\gamma }_{+0} s(t)+ u(t)=0,\quad t\in I_{1}, \gamma \in (1, 2], \\ &s(0)=0, \qquad s(1)= \int _{0}^{1} \phi (t) s(t) \,dt \end{aligned} \end{aligned}$$

can be obtained in the form

$$\begin{aligned} s(t) ={}& {-}\frac{1}{\varGamma (\gamma )} \int _{0}^{t}(t-z)^{\gamma -1}u(z)\,dz + t^{\gamma -1} \int _{0}^{1} \phi (t) s(t)\,dt \\ &{}+\frac{t^{\gamma -1}}{ \varGamma (\gamma )} \int _{0}^{1}(1-z)^{\gamma -1}u(z)\,dz \\ ={}& \int _{0}^{1}\mathrm{G_{2}(t, z)} u(z) \,dz+t^{\gamma -1} \int _{0}^{1} \phi (t) s(t) \,dt, \end{aligned}$$

where \(\mathrm{G_{2}(t, z)}\) is given below:

$$\begin{aligned} \textstyle\begin{cases} \frac{t^{\gamma -1} (1-z)^{\gamma -1}-(t-z)^{\gamma -1}}{\varGamma (\gamma )},& 0\leq z\leq t \leq 1, \\ \frac{t^{\gamma -1} (1-z)^{\gamma -1}}{\varGamma (\gamma )},& 0\leq z \leq t \leq 1. \end{cases}\displaystyle \end{aligned}$$


Corollary 1

In light of Theorem 3, the solution of system (1) is given as follows:

$$\begin{aligned} \textstyle\begin{cases} r(t) =t^{\beta -1}\int _{0}^{1} \phi (t) r(t)\,dt \\ \phantom{r(t) =}{}-\frac{1}{\varGamma (\beta )}\int _{0}^{t}(t-z)^{\beta -1}f_{1}(z, r( \lambda z), s(z), D^{p} s(z))\,dz \\ \phantom{r(t) =}{}+\frac{t^{\beta -1}}{ \varGamma (\beta )}\int _{0}^{1}(1-z)^{\beta -1}f_{1}(z, r(\lambda z), s(z), D^{p} s(z))\,dz \\ \phantom{r(t) }=\int _{0}^{1}\mathrm{G_{1}(t, z)} f_{1}(z, r(\lambda z), s(z), D^{q} s(z))\,dz \\ \phantom{r(t) =}{}+ t^{\beta -1} \int _{0}^{1} \phi (t) r(t) \,dt, \\ s(t) = t^{\gamma -1}\int _{0}^{1} \phi (t) s(t)\,dt \\ \phantom{s(t) =}{}- \frac{1}{\varGamma (\gamma )}\int _{0}^{t}(t-z)^{\gamma -1}f_{2}(z,r(z), s(\lambda z), D^{q} r(z))\,dz \\ \phantom{s(t) =}{}+\frac{t^{\gamma -1}}{ \varGamma (\gamma )}\int _{0}^{1}(1-z)^{ \gamma -1}f_{2} (z,r(z), s(\lambda z), D^{p} r(z))\,dz \\ \phantom{s(t) }=\int _{0}^{1}\mathrm{G_{2}(t, z)} f_{2} (z, r(z), s(\lambda z), D^{p} r(z))\,dz \\ \phantom{s(t) =}{}+ t^{\gamma -1} \int _{0}^{1} \phi (t) s(t) \,dt, \end{cases}\displaystyle \end{aligned}$$

where \(\mathrm{G(t, z)}= (\mathrm{G_{1}(t, z)}, \mathrm{G_{2}(t, z)} )\)is called Green’s function of (1).

Theorem 4

Let \(f_{1}, f_{2}, f_{3}\)be continuous functions, subsequently \((r, s)\in \mathrm{U}\)is a solution of (1) if and only if \((r, s)\)is the solution of the integral equations given in (15).


Assuming that \((r,s)\) is the solution of (15), then differentiating both sides of (15), we get (1). Anyway, if \((r,s)\) is a solution of (1), then \((r,s)\) is a solution of (15). □

Let \(\mathbb{F}_{1}, \mathbb{F}_{2}:\mathrm{U}\rightarrow \mathrm{U}\) such that

$$\begin{aligned} \mathbb{F}_{1}(r, s) ={}& t^{\beta -1} \int _{0}^{1} \phi (t) r(t)\,dt \\ &{}-\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-z)^{\beta -1}f_{1} \bigl(z, r( \lambda z), s(z), D^{p} s(z)\bigr)\,dz \\ &{}+\frac{t^{\beta -1}}{ \varGamma (\beta )} \int _{0}^{1}(1-z)^{\beta -1}f_{1} \bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr)\,dz \\ ={}& \int _{0}^{1}\mathrm{G_{1}(t, z)} f_{1}\bigl(z, r(\lambda z), s(z), D^{q} s(z)\bigr)\,dz \\ &{}+ t^{\beta -1} \int _{0}^{1} \phi (t) r(t) \,dt, \\ \mathbb{F}_{2}(r, s) ={}& t^{\gamma -1} \int _{0}^{1} \phi (t) s(t)\,dt \\ &{}- \frac{1}{\varGamma (\gamma )} \int _{0}^{t}(t-z)^{\gamma -1}f_{2} \bigl(z,r(z), s(\lambda z), D^{q} r(z)\bigr)\,dz \\ &{}+\frac{t^{\gamma -1}}{ \varGamma (\gamma )} \int _{0}^{1}(1-z)^{\gamma -1}f_{2} \bigl(y,r(z), s(\lambda z), D^{p} r(z)\bigr)\,dz \\ ={}& \int _{0}^{1}\mathrm{G_{2}(t, z)} f_{2} \bigl(z,,r(z), s(\lambda z), D^{p} r(z)\bigr)\,dz + t^{\gamma -1} \int _{0}^{1} \phi (t) s(t) \,dt \end{aligned}$$

and F(r,s)= ( F 1 ( r , s ) F 2 ( r , s ) ) . Thus, solutions of (15) are fixed points of \(\mathbb{F}\).

Theorem 5

Under assumptions \((M_{4}), (M_{5})\)and if the functions \(f_{1}, f_{2}:I_{1}\times \mathit{R}^{3}\rightarrow \mathit{R}\)are continuous, then \(\mathbb{F}(E)\subset E\)and \(\mathbb{F}:E \rightarrow E\)is completely continuous.



$$ \widehat{\varLambda }_{1}= \frac{2(C_{f_{1}}+2D_{f_{1}})}{\varGamma (\beta +1)}+ \frac{2(2C_{f_{2}}+D_{f_{2}})}{\varGamma (\gamma +1)} $$


$$ \widehat{\varLambda }_{2}=\frac{2M_{f_{1}}}{\varGamma (\beta +1)}+ \frac{2M_{f_{2}}}{\varGamma (\gamma +1)} +2 \mathfrak{A}. $$

We define \(\mathfrak{B}\) a closed subset of E :

$$ \mathfrak{B}=\bigl\{ (r, s)\in E: \bigl\Vert (r, s) \bigr\Vert \leq \rho \bigr\} ,\quad \text{where } \rho \geq \max \biggl\{ \frac{\widehat{\varLambda }_{2}}{1-\widehat{\varLambda }_{1}} \biggr\} . $$

For arbitrary \((r, s)\in \mathfrak{B}\), we have

$$\begin{aligned} \bigl\vert \mathbb{F}_{1}(r, s) \bigr\vert \leq {}& t^{\beta -1} \biggl\vert \int _{0}^{1} \phi (t) r(t)\,dt \biggr\vert \\ &{}+\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r( \lambda z), s(z), D^{p} s(z)\bigr) \bigr\vert \,dz \\ &{}+ \frac{t^{\beta -1}}{ \varGamma (\beta )} \int _{0}^{1}(1-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr) \bigr\vert \,dz \\ \leq{} & \bigl(C_{f_{1}} \vert r \vert +2D_{f_{1}} \vert s \vert +M_{f_{1}} \bigr) \biggl( \frac{t^{\beta }}{\varGamma (\beta +1)}+ \frac{ t^{\beta -1}}{\varGamma (\beta +1)} \biggr) \\ &{}+ \mathfrak{A} t^{\beta -1} \\ \leq{} & \frac{2(C_{f_{1}}\rho +2D_{f_{1}}\rho +M_{f_{1}})}{\varGamma (\beta +1)}+ \mathfrak{A} \\ \leq {}&\frac{\rho }{2}. \end{aligned}$$


$$\begin{aligned} \bigl\vert \mathbb{F}_{2}(r, s) \bigr\vert &\leq \frac{2(2C_{f_{2}}\rho +D_{f_{2}}\rho +M_{f_{2}})}{\varGamma (\gamma +1)}+ \mathfrak{A} \\ &\leq \frac{\rho }{2}. \end{aligned}$$

Therefore, from (16) and (17), one has

$$ \bigl\vert \mathbb{F}(r, s) \bigr\vert \leq \rho. $$

Thus (18) leads to the uniform boundedness of \(\mathbb{F}\) on B.

To show that \(\mathbb{F}:E\rightarrow E\) is completely continuous, take \(t_{1}, t_{2}\in I_{1} \ni 0\leq t_{1} \leq t_{2} \leq 1 \), and using \((M_{4}), (M_{5})\), we have \(|\mathbb{F}_{1}(r(t_{1}), s(t_{1}))-\mathbb{F}_{1}(r(t_{2}), s(t_{2}))|\)

$$\begin{aligned} \leq{} & \frac{1}{\varGamma (\beta )} \int _{0}^{t_{1}} \bigl((t_{1}-z)^{ \beta -1}-(t_{2}-z)^{\beta -1} \bigr) \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr) \bigr\vert \,dz \\ &{}+ \frac{1}{\varGamma (\beta )} \int _{t_{1}}^{t_{2}}(t_{2}-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r(\lambda z),s(z), D^{p} s(z)\bigr) \bigr\vert \,dz \\ &{}+ \frac{ ({t_{1}}^{\beta -1}-{t_{2}}^{\beta -1} )}{\varGamma (\beta )} \int _{0}^{1}(1-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z)\bigr), D^{p} s(z) \bigr\vert \,dz \\ &{}+ \bigl({t_{1}}^{\beta -1}-{t_{2}}^{\beta -1} \bigr)\mathfrak{A} \\ \leq{} & \frac{(C_{f_{1}}\rho +2D_{f_{1}}\rho +M_{f_{1}})}{\varGamma (\beta +1)} \bigl(\bigl(t_{1}^{\beta }-t_{2}^{\beta } \bigr)+(t_{2}-t_{1})^{\beta }+\bigl(t^{\beta -1}_{1}-t^{ \beta -1}_{2} \bigr) \bigr) \\ &{}+ \mathfrak{A}\bigl(t_{1}^{\beta -1}-t_{2}^{\beta -1} \bigr). \end{aligned}$$

Obviously, the right-hand side in inequality (19) tends to zero on \(t_{1}\rightarrow t_{2}\). Also \(\mathbb{F}_{1}\) is bounded and continuous. Thus it is uniformly bounded. Hence

$$ \bigl\Vert \mathbb{F}_{1}\bigl(r(t_{1}), s(t_{1})\bigr)-\mathbb{F}_{1}\bigl(r(t_{2}), s(t_{2})\bigr) \bigr\Vert \rightarrow 0 \quad\text{as } t_{1} \text{ tends to } t_{2}. $$

In a similar way, one can also show that

$$ \bigl\Vert \mathbb{F}_{2}\bigl(r(t_{1}), s(t_{1})\bigr)-\mathbb{F}_{2}\bigl(r(t_{2}), s(t_{2})\bigr) \bigr\Vert \rightarrow 0\quad \text{as } t_{1} \text{ tends to } t_{2}. $$

Consequently, \(\mathbb{F}:E \rightarrow E\) is equicontinuous and so by Arzelá–Ascoli theorem, \(\mathbb{F}\) is completely continuous. □

Theorem 6

Under assumptions \((M_{1})\)\((M_{3})\)and if \(d<1\), then system (1) has a unique solution, where

$$ d=\max \biggl\{ \frac{2L_{f_{1}}}{\varGamma (\beta +1)}+\mathfrak{M}, \frac{2L_{f_{2}}}{\varGamma (\gamma +1)}+\mathfrak{M} \biggr\} . $$


Taking \(r,\bar{r}, s,\bar{s}\in \mathrm{W}\), and for every \(t\in I_{1}\), let

$$\begin{aligned} \bigl\Vert \mathbb{F}_{1}(r, s)- \mathbb{F}_{1}(\bar{r}, \bar{s}) \bigr\Vert \leq {}& \max _{t\in I_{1}}\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr) \\ &{}-f_{1}\bigl(z, \bar{r}(\lambda z), \bar{s}(z), D^{P} \bar{s}(z)\bigr) \bigr\vert \,dz+ \max_{t\in I_{1}}\frac{ t^{\beta -1}}{\varGamma (\beta )} \int _{0}^{1}(1-z)^{ \beta -1} \\ & {}\times \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr)- f_{1}\bigl(z, \bar{r}( \lambda z), \bar{s}(z), D^{p} \bar{s}(z)\bigr) \bigr\vert \,dz \\ &{}+ \max_{t\in I_{1}} t^{\beta -1} \biggl\vert \int _{0}^{1}\phi (t) r(t)\,dt- \int _{0}^{1}\phi (t)\bar{r}(t)\,dt \biggr\vert \\ \leq {}& \frac{2L_{f_{1}}}{\varGamma (\beta +1)} \bigl( \Vert r-\bar{r} \Vert +2 \Vert s-\bar{s} \Vert \bigr)+\mathfrak{M} \Vert r-\bar{r} \Vert \\ \leq {}& d_{1} \bigl( \Vert r-\bar{r} \Vert + \Vert s-\bar{s} \Vert \bigr), \end{aligned}$$


$$ d_{1}=\frac{2L_{f_{1}}}{\varGamma (\beta +1)}+\mathfrak{M}. $$


$$\begin{aligned} \bigl\Vert \mathbb{F}_{2}(r, s)-\mathbb{F}_{2}(\bar{r}, \bar{s}) \bigr\Vert \leq d_{2} \bigl( \Vert r-\bar{r} \Vert + \Vert s-\bar{s} \Vert \bigr), \end{aligned}$$


$$ d_{2}=\frac{2L_{f_{2}}}{\varGamma (\gamma +1)}+\mathfrak{M}. $$

Hence, from (20) and (21), one has

$$\begin{aligned} \bigl\| \mathbb{F}(r, s)-\mathbb{F}(\bar{r}, \bar{s})\bigr\| &\leq \max (d_{1}, d_{2}) \bigl( \Vert r-\bar{r} \Vert + \Vert s-\bar{s} \Vert \bigr) \\ &=d\bigl( \Vert r-\bar{r} \Vert + \Vert s-\bar{s} \Vert \bigr), \end{aligned}$$

where \(d=\max_{t\in I_{1}}\{d_{1}, d_{2}\}\). Hence, \(\mathbb{F}\) is a contraction, thus \(\mathbb{F}\) has a unique fixed point, which implies that the concerned system (1) has a unique solution. □

Theorem 7

Under assumptions \((M_{4}), (M_{5})\)along with continuous functions \(f_{1}, f_{2}:I_{1}\times \mathit{R^{3}}\rightarrow \mathit{R}\), system (1) possesses at least one solution in

$$ \bigl\{ (r, s)\in E: \bigl\Vert (r, s) \bigr\Vert \leq \rho \bigr\} ,\quad \textit{where } \rho >\max \biggl( \frac{\widehat{\varLambda }_{2}}{1-\widehat{\varLambda }_{1}} \biggr). $$


Let \(A= \{ (r, s)\in E: \Vert (r, s) \Vert < \rho \}, \rho > \max (\frac{\widehat{\varLambda }_{2}}{1-\widehat{\varLambda }_{1}} )\). In light of Theorem (5), the mapping \(\mathbb{F}:E \rightarrow E \) is completely continuous. Consider \((r, s)\in A \ni \Vert (r, s) \Vert < \rho \). Then in view of Theorem (5), \(\mathbb{F}(r, s)\leq \rho \) implies \(\mathbb{F}(r, s)\in \bar{A}\). Hence \(\mathbb{F}:\bar{A} \rightarrow \bar{A} \).

Take \((r, s)\in \partial A\) and \(\kappa \in (0, 1)\ni (r, s)=\kappa \mathbb{F}(r, s)\). Subsequently, in light of assumptions \((M_{4}), (M_{5}) \) and for \(t\in I_{1}\), we get

$$\begin{aligned} \bigl\vert r(t) \bigr\vert \leq {}& \kappa \biggl(t^{\beta -1} \biggl\vert \int _{0}^{1} \phi (t) r(t)\,dt \biggr\vert \\ &{}+\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r( \lambda z), s(z), D^{p} s(z)\bigr) \bigr\vert \,dz \\ &{}+ \frac{t^{\beta -1}}{ \varGamma (\beta )} \int _{0}^{1}(1-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr) \bigr\vert \,dz \\ \leq {}& \bigl(C_{f_{1}} \vert r \vert +2D_{f_{1}} \vert s \vert +M_{f_{1}} \bigr) \biggl( \frac{t^{\beta }}{\varGamma (\beta +1)}+ \frac{ t^{\beta -1}}{\varGamma (\beta +1)} \biggr) + \mathfrak{A} t^{\beta -1} \biggr) \\ \leq{} &\kappa \biggl( \frac{2(C_{f_{1}}\rho +2D_{f_{1}}\rho +M_{f_{1}})}{\varGamma (\beta +1)}+ \mathfrak{A} \biggr) \\ < {}&\frac{\kappa \rho }{2}, \end{aligned}$$

which implies that \(\|r\|< \frac{\kappa \rho }{2}\). In a similar way, one can also show that \(\Vert s \Vert < \frac{\kappa \rho }{2}\). Therefore, \(\Vert (r, s) \Vert < \kappa \rho \) but \(\|(r, s) \|=\rho \), which implies \((r, s)\notin \partial A \). Hence, by Lemma 2, \(\mathbb{F}\) has at least one fixed point \((r, s)\in \bar{A}\). □

Results regarding stability

Theorem 8

If the matrix \(\mathscr{M}\)converges to 0 and assumptions \((M_{1})\)\((M_{3})\), \(d<1\)hold, then the results of (1) are UH-type stable.


Taking \((r, s), (\bar{r}, \bar{s})\in \mathrm{U}\) arbitrary solutions and for every \(t\in I_{1}\), we have

$$\begin{aligned} \bigl\Vert \mathbb{F}_{1}(r, s)- \mathbb{F}_{1}(\bar{r}, \bar{s}) \bigr\Vert \leq {}& \max _{t\in I_{1}}\frac{1}{\varGamma (\beta )} \int _{0}^{t}(t-z)^{\beta -1} \bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr) \\ &{}- f_{1}\bigl(z, \bar{r}(\lambda z), \bar{s}(z), D^{P} \bar{s}(z)\bigr) \bigr\vert \,dz+ \max_{t\in I_{1}}\frac{ t^{\beta -1}}{\varGamma (\beta )} \int _{0}^{1}(1-z)^{ \beta -1} \\ & {}\times\bigl\vert f_{1}\bigl(z, r(\lambda z), s(z), D^{p} s(z)\bigr)- f_{1}\bigl(z, \bar{r}( \lambda z), \bar{s}(z), D^{p} \bar{s}(z)\bigr) \bigr\vert \,dz \\ &{}+ \max_{t\in I_{1}} t^{\beta -1} \biggl\vert \int _{0}^{1}\phi (t) r(t)\,dt- \int _{0}^{1}\phi (t)\bar{r}(t)\,dt \biggr\vert \\ \leq{} & \frac{2L_{f_{1}}}{\varGamma (\beta +1)} \bigl( \Vert r-\bar{r} \Vert +2 \Vert s-\bar{s} \Vert \bigr)+\mathfrak{M} \Vert r-\bar{r} \Vert \\ \leq {}& \ell _{1} \Vert r-\bar{r} \Vert +\ell _{2} \Vert s-\bar{s} \Vert , \end{aligned}$$


$$ \ell _{1}= \frac{2L_{f_{1}}}{\varGamma (\beta +1)}+\mathfrak{M},\qquad \ell _{2}= \frac{4L_{f_{1}}}{\varGamma (\beta +1)}. $$

In a similar way, we may have

$$ \bigl\Vert \mathbb{F}_{2}(r, s)- \mathbb{F}_{2}{(\bar{r}, \bar{s})} \bigr\Vert \leq \ell _{3} \Vert r-\bar{r} \Vert +\ell _{4} \Vert s-\bar{s} \Vert , $$


$$ \ell _{3}=\frac{2L_{f_{2}}}{\varGamma (\gamma +1)}+\mathfrak{M} \quad\text{and} \quad\ell _{4}=\frac{4L_{f_{2}}}{\varGamma (\gamma +1)}. $$

So, from (24) and (25), we get

$$ \begin{aligned} & \bigl\Vert \mathbb{F}_{1}(r, s)-\mathbb{F}_{1}{(\bar{r}, \bar{s})} \bigr\Vert \leq \ell _{1} \Vert r-\bar{r} \Vert +\ell _{2} \Vert s-\bar{s} \Vert , \\ & \bigl\Vert \mathbb{F}_{2}{(r, s)}-\mathbb{F}_{2}{( \bar{r}, \bar{s})} \bigr\Vert \leq \ell _{3} \Vert r-\bar{r} \Vert +\ell _{4} \Vert s-\bar{s} \Vert . \end{aligned} $$

From (26), we can get the matrix \(\mathscr{M}\) as follows:

M= [ 1 2 3 4 ] .

Because it is given that the matrix tends to zero, the solution of (1) is UH-type stable. □


Example 1

Consider the following system of FDDEs:

$$ \textstyle\begin{cases} D_{+0}^{1.3} r(t)=\frac{\cos t}{t^{3}+4}+ \frac{r(0.5t) +s(t)}{e^{2t}(t^{2}+90)}+ \frac{\sqrt{t} D^{0.5} s(t)}{89}, \quad t\in I_{1}, \\ D_{+0}^{1.4} s(t)=\frac{s(0.5 t)+t^{3}}{(t+30)^{2}}+ \frac{r(t)+5}{78(e^{t}+\sqrt{t})}+ \frac{t \cos (D^{0.5}r(t) )}{55},\quad t\in I_{1}, \\ r(0)=0, \qquad r(1)=\int _{0}^{1} (\frac{t}{20} ) r(t), \\ s(0)=0, \qquad s(1)=\int _{0}^{1} (\frac{t}{20} )s(t). \end{cases} $$

From the above equation, \(\beta =1.3, \gamma =1.4, \lambda =0.5, \mathfrak{M}=0.05\). After the calculation, we have \(L_{f_{1}}=0.0112, L_{f_{2}}=0.0182\),

$$\begin{aligned} d_{1} =0.0692,\qquad d_{2}=0.0793. \end{aligned}$$

As \(\max \{d_{1}, d_{2}\}=0.0793< 1\). So, system (27) has an un-repeated solution under Theorem 6. Moreover, taking the values of \(\ell _{i}\ (i=1,2,3,4)\), we have

M= [ 0.0692 0.0384 0.0793 0.0586 ] .

On calculation, the eigenvalues are \(\beta _{1}=0.1193, \beta _{2}= 0.0085\). Therefore \(\varUpsilon (\mathscr{M})=0.1193<1\). Thus the given system under delay term with respect to the given fractional order is HU stable by using Theorem 8.

Example 2

Consider the following system of FDDEs:

$$ \textstyle\begin{cases} D_{+0}^{1.3} r(t)=(3t-5)^{2} e^{-3t}+ \frac{r(0.6 t)}{(t^{2}+10)^{4}}+ \frac{\cos \vert s(t) \vert -t^{\frac{1}{3}}\sin (D^{\frac{1}{3}}s(t) )}{e^{6-t}},\quad t\in I_{1} \\ D_{+0}^{1.4} s(t)=\cos (t+3)+\frac{\sin \vert s(0.6 t) \vert }{(e^{t}+18)^{2}}+ \frac{r(t)+t^{\frac{1}{3}} (D^{\frac{1}{3}} r(t) )}{(28-t)^{3}},\quad t\in I_{1} \\ r(0)=0,\qquad r(1)=\int _{0}^{1} (\frac{t^{2}}{25} )r(t), \\ s(0)=0,\qquad s(1)=\int _{0}^{1} (\frac{t^{2}}{25} )s(t). \end{cases} $$

On calculation, taking \(\beta =1.3, \gamma =1.4, \lambda =0.6, \mathfrak{M}=0.04\). After calculation, we have \(L_{f_{1}}=0.0067, L_{f_{2}}=0.0030\),

$$\begin{aligned} d_{1} =0.0515,\qquad d_{2}=0.0448. \end{aligned}$$

Now \(\max \{d_{1}, d_{2}\}=0.0515< 1\). So (29) has a unique solution under Theorem 6. Moreover, after calculating the values of \(\ell _{i}\ (i=1,2,3,4)\), we get the following matrix:

M= [ 0.0515 0.0230 0.0448 0.0096 ] .

The eigenvalues are \(\beta _{1}=0.0689, \beta _{2}= -0.0078\) of the above matrix. Clearly, \(\varUpsilon (\mathscr{M})=0.0689<1\). Hence the system under consideration is HU-type stable via Theorem 8.


We have performed a qualitative analysis of the solutions of (1). The problem has been studied with integral boundary conditions having proportional delay called pantograph. Through fixed point theory, the problem in hand has been investigated. Some results about the stability of UH have been discussed via nonlinear analysis. Then, some relevant examples were presented, the results were also discussed. The considered problem is random and includes many applied problems of fluid mechanics and dynamics as special cases [31].


  1. 1.

    Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)

    Google Scholar 

  2. 2.

    Zhang, L., Hou, W.: Standing waves of nonlinear fractional p-Laplacian Schrödinger equation involving logarithmic nonlinearity. Appl. Math. Lett. (2020).

    MATH  Article  Google Scholar 

  3. 3.

    Wang, G., Pei, K., Chen, Y.: Stability analysis of nonlinear Hadamard fractional differential system. J. Franklin Inst. 356, 6538–6546 (2019)

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Zhang, L., Ahmad, B., Wang, G., Ren, X.: Radial symmetry of solution for fractional p-Laplacian system. Nonlinear Anal. (2020).

    MathSciNet  MATH  Article  Google Scholar 

  5. 5.

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

    Google Scholar 

  6. 6.

    Benchohra, M., Bouriah, S., Nieto, J.J.: Existence and Ulam stability for nonlinear implicit differential equations with Riemann–Liouville fractional derivative. Demonstr. Math. 52(1), 437–450 (2019)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Li, D., Zhang, C.: Long time numerical behaviors of fractional pantograph equations. Math. Comput. Simul. 172, 244–257 (2020)

    MathSciNet  Google Scholar 

  8. 8.

    Wang, G., Pei, K., Agarwal, R., et al.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Wang, G.: Twin iterative positive solutions of fractional q-difference Schrödinger equations. Appl. Math. Lett. 76, 103–109 (2018)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Sedaghat, S., Ordokhani, Y., Dehghan, M.: Numerical solution of the delay differential equations of pantograph type via Chebyshev polynomials. Commun. Nonlinear Sci. Numer. Simul. 17(12), 4815–4830 (2012)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Bahsi, M., Cevik, M., Sezer, M.: Orthoexponential polynomial solutions of delay pantograph differential equations with residual error estimation. Appl. Math. Comput. 271, 11–21 (2015)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Hofer, P., Lion, A.: Modelling of frequency- and amplitude-dependent material properties of filler-reinforced rubber. J. Mech. Phys. Solids 57, 500–520 (2009)

    MATH  Google Scholar 

  13. 13.

    Rossetti, M., Bardella, P., Montrosset, I.: Modeling passive mode-locking in quantum dot lasers: a comparison between a finite-difference traveling-wave model and a delayed differential equation approach. IEEE J. Quantum Electron. 47(5), 569–576 (2011)

    Google Scholar 

  14. 14.

    Hale, J.K., Lunel, S.M.: Introduction to Functional Differential Equations. Springer, New York (2013)

    Google Scholar 

  15. 15.

    Ali, A., Shah, K., Abdeljawad, T.: Study of implicit delay fractional differential equations under anti-periodic boundary conditions. Adv. Differ. Equ. 2020(1), 139 (2020)

    MathSciNet  Google Scholar 

  16. 16.

    Iqbal, M., Shah, K., Khan, R.A.: On using coupled fixed point theorems for mild solutions to coupled system of multi-point boundary value problems of nonlinear fractional hybrid pantograph differential equations. Math. Methods Appl. Sci. 44, 1–14 (2019)

    Google Scholar 

  17. 17.

    Ahamad, I., Shah, K., Abdeljawad, T., Jarad, F.: Qualitative Study of Nonlinear Coupled Pantograph Differential Equations of Fractional Order, Fractals (2020).

    Google Scholar 

  18. 18.

    Hyers, D.H.: On the stability of the linear functional equations. Proc. Natl. Acad. Sci. USA 27(4), 222–224 (1941)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Ulam, S.M.: A Collection of the Mathematical Problems. Interscience Publishers, New York (1960)

    Google Scholar 

  20. 20.

    Jung, S.M.: Hyers–Ulam stability of linear differential equations of first order. Appl. Math. Lett. 17(10), 1135–1140 (2004)

    MathSciNet  MATH  Google Scholar 

  21. 21.

    Zada, A., Ali Choonkil, W.: Ulam type stability of higher order nonlinear delay differential equations via integral inequality of Grönwall–Bellman–Bihari’s type. Appl. Math. Comput. 350, 60–65 (2019)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Wang, J., Lv, L., Zhou, W.: Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 63, 1 (2011)

    MathSciNet  MATH  Google Scholar 

  23. 23.

    Xia, Z., Zhou, H.: Pseudo almost periodicity of fractional integro-differential equations with impulsive effects in Banach spaces. Czechoslov. Math. J. 67(142), 123–141 (2017)

    MathSciNet  MATH  Google Scholar 

  24. 24.

    Zhao, Y., Sun, S., Han, S., Li, Z.: Qiuping theory of fractional hybrid differential equations. Comput. Math. Appl. 62(3), 1312–1324 (2011)

    MathSciNet  MATH  Google Scholar 

  25. 25.

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

    Google Scholar 

  26. 26.

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

    Google Scholar 

  27. 27.

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

    Google Scholar 

  28. 28.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    Google Scholar 

  29. 29.

    Urs, C.: Coupled fixed point theorem and applications to periodic boundary value problem. Miskolc Math. Notes 14(1), 323–333 (2013)

    MathSciNet  MATH  Google Scholar 

  30. 30.

    Agarwal, R., Meehan, M., Regan, D.O.: Fixed Points Theory and Applications, vol. 141. Cambridge University Press, Cambridge (2001)

    Google Scholar 

  31. 31.

    Boucherif, A.: Second-order boundary value problems with integral boundary conditions. Nonlinear Anal., Theory Methods Appl. 70(1), 364–371 (2009)

    MathSciNet  MATH  Google Scholar 

Download references


The authors thank the reviewers for their constructive comments, which led to the improvement of the original manuscript.

Availability of data and materials

This is not applicable in this article.


No source available.

Author information




All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hussam Alrabaiah.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Alrabaiah, H., Ahmad, I., Shah, K. et al. Qualitative analysis of nonlinear coupled pantograph differential equations of fractional order with integral boundary conditions. Bound Value Probl 2020, 138 (2020).

Download citation


  • 26A33
  • 34A08
  • 35R11


  • FDDEs
  • Qualitative study
  • UH stability theory
  • Contractions mapping
  • Coupled system