Skip to main content

Theory and Modern Applications

Study of a nonlinear multi-terms boundary value problem of fractional pantograph differential equations


In this research work, a class of multi-term fractional pantograph differential equations (FODEs) subject to antiperiodic boundary conditions (APBCs) is considered. The ensuing problem involves proportional type delay terms and constitutes a subclass of delay differential equations known as pantograph. On using fixed point theorems due to Banach and Schaefer, some sufficient conditions are developed for the existence and uniqueness of the solution to the problem under investigation. Furthermore, due to the significance of stability analysis from a numerical and optimization point of view Ulam type stability and its various forms are studied. Here we mention different forms of stability: Hyers–Ulam (HU), generalized Hyers–Ulam (GHU), Hyers–Ulam Rassias (HUR) and generalized Hyers–Ulam–Rassias (GHUR). After the demonstration of our results, some pertinent examples are given.

1 Introduction

FODEs have many applications in modeling various real world processes and phenomena. Therefore in previous several decades it has been given much attention. In fact, FODEs are definite integrals which include classical differential and integral equations as a special case. In recent time this has become a most intensely studied area for research in mathematics and in other applied sciences like physics, dynamics, electrodynamics and fluid mechanics. The mentioned area has a large number of applications also in mathematical modeling of biological models (for details see [14]).

In the past the areas of nonlinear integrals and DEs were given great importance as they have numerous uses in modeling different problems in several fields of technologies and engineering. This is so because using the usual derivative for modeling various real world processes, hereditary and memory descriptions cannot be expressed properly in many situations. So researchers have proved that on using fractional differential operators to describe memory and hereditary processes in many situations has produced very good results as compared to integer order derivatives. This fact motivated researchers to study FODEs from different directions. The said area has been investigated from different aspects including qualitative and stability theory, optimization and approximation results. Hence plenty of work can be traced in the literature about existence theory of solutions, we refer to [510].

On the other hand, very well performed research has been conducted on the numerical side of FODEs. In this regard plenty of research articles addressing numerical and qualitative analysis have been presented in the past few years (for instance see [1116] and the references therein). Here we remark that stability analysis is also an important aspect of qualitative analysis. This is so because stability results are the important requirements for numerical and optimization purposes during the investigation of solutions to applied problems. Different kinds of stability results, like exponential, Mittag-Leffler and Lyapunov type, have been studied for classical differential and integral equations. In the previous few years the mentioned theory was greatly updated for FODEs (see for details [1719]). Establishing these stabilities for nonlinear systems have merits and de-merits in constructions. Some of them need a “pre-defined Lyapunov function” and such a function usually is very hard to construct. Also we have the “exponential and Mittag-Leffler stability [20] involving exponential functions” which often create difficulties when one is to find numerical solutions to certain problems. In this regard another kind of stability has been given much attention by researchers, known as HU stability. This kind of stability was first pointed by Ulam in 1940 during a talk. After that in 1940 Hyers very nicely gave explanations for functional equations (for details we refer to [2123]). Interesting results have been developed in the last few years (refer to ([2427] and the references therein).

Study of real world problems with respect to delay problems constitutes a huge class of applied analysis. In this regard, proportional type delay problems constitute a subclass known as pantograph differential equations (PDEs). The aforesaid area is increasingly used to model numerous process. The mentioned type of problems arise in large numbers of applications in electro-dynamics [28]. Therefore, keeping in mind the applications of the said area, many researchers have studied the PDEs from many aspects like existence theory and numerical analysis (see for details [29, 30]). The authors of [31] in 2004 investigated the given delay problem with \(t\in [0, \top ]=\mathbf{J}\) as

$$\begin{aligned}& \mathrm{w}^{\prime }(t) = \mathcal{H}\bigl(t, \mathrm{w}(t),\mathrm{w}( \delta _{1} t), \mathrm{w}(\delta _{2} t),\ldots , \mathrm{w}(\delta _{m} t) \bigr), \\& \mathrm{w}(0) = \mathrm{w}_{0},\quad \mathrm{w}_{0}\in \mathbf{R}, \end{aligned}$$

where \(0<\varepsilon \leq 1\), \(0<\delta _{j}<1\), \(j=1,2,\ldots,n\) and \(\mathcal{H}:\mathbf{J}\times \mathbf{R}^{m+1}\rightarrow \mathbf{R}\). By fixed point theory, they investigated the results. The generalized form of the aforementioned problem was investigated in 2013 in [32]. The concerned fractional order PDEs have been studied recently for existence theory in [33, 34]. Also continuous type delay problems of FODEs have been studied recently for theoretical analysis, we refer the reader to [3537]. Furthermore, in [38], the authors have investigated the following problem under APBCs with \(0<\delta <1\):

$$ \textstyle\begin{cases} {}^{C} \mathrm{D}_{+0}^{\sigma }\mathrm{w}(t)=\mathcal{H}(t, \mathrm{w}(t),\mathrm{w}(\delta t), {}^{C}\mathrm{D}_{+0}^{\sigma } \mathrm{w}(t) ),\quad t\in \mathbf{J}, 2< \sigma \leq 3, \\ \mathrm{w}(0)=-\mathrm{w}(\top ),\qquad {}^{C}\mathrm{D}_{+0}^{r} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{r} \mathrm{w}(\top ), \qquad {}^{C} \mathrm{D}_{+0}^{s} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{s} \mathrm{w}( \top ). \end{cases} $$

They have established qualitative results of stability and existence theory as regards the given problem in (1).

Inspired by the aforementioned work, in this research article, we study the given multi-term problem of FODEs involving delay terms

$$ \textstyle\begin{cases} {}^{C} \mathrm{D}_{+0}^{\sigma }\mathrm{w}(t)=\mathcal{H} (t, \mathrm{w}(t),\mathrm{w}(\delta t), \mathrm{w}(\delta _{2} t), \ldots , \mathrm{w}(\delta _{m} t) ),\quad t\in \mathbf{J}, 2< \sigma \leq 3, \\ \mathrm{w}(0)=-\mathrm{w}(\top ), \qquad {}^{C}\mathrm{D}_{+0}^{r} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{r} \mathrm{w}(\top ),\qquad {}^{C} \mathrm{D}_{+0}^{s} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{s} \mathrm{w}( \top ), \end{cases} $$

where \(0<\delta _{j}<1\), \(0< r<1\), \(1< s<2\), \(j=1,2,\ldots,m\) and the nonlinear function \(\mathcal{H}:\mathbf{J}\times \mathbf{R}^{m+1}\rightarrow \mathbf{R}\) is continuous, \({}^{C}\mathrm{D}_{+0}\) is the Caputo fractional derivative. In the present paper, we develop the aforementioned results for (2). In developing the existence criteria of solution we apply the Schauder and Banach theorems. In the end some pertinent problems are given to illustrate the results.

2 Preliminaries

In this section, we give some related definitions and results from the given literature. The notation \(\mathscr{X}=C(\mathbf{J})\) is used for a Banach space under the norm

$$ \Vert \mathrm{w} \Vert _{\mathscr{X}}=\max_{t\in \mathbf{J}}\bigl\{ \bigl\vert \mathrm{w}(t) \bigr\vert : t\in \mathbf{J}\bigr\} . $$

Definition 1

The integral of fractional order for the function \(\mathrm{h}\in L^{1}(\mathbf{J},\mathbf{R}^{+})\) of order \(\sigma \in \mathbf{R}^{+}\) is recalled as

$$ \mathrm{I}^{\sigma }_{+0} \mathrm{h}(t)= \int _{0}^{t} \frac{(t-\ell )^{\sigma -1}}{\Gamma (\sigma )}\mathrm{h}( \ell )\,d\ell , $$

with the integral on the right being point wise on \(\mathbf{R}^{+}\).

Definition 2

The Caputo derivative of the function h over J is recalled to be

$$ {}^{C}\mathrm{D}_{+0}^{\sigma }\mathrm{h}(t)= \frac{1}{\Gamma (n-\sigma )} \int _{0}^{t} (t-\ell )^{n-\sigma -1} \mathrm{h}^{(n)}(\ell )\,d\ell , $$

with \(n=[\sigma ]+1\).

Lemma 1

If \(\sigma >0\), then

$$ \mathrm{I}_{+0}^{\sigma } \bigl({}^{C} \mathrm{D}_{+0}^{\sigma } \mathrm{h}(t) \bigr)=\mathrm{h}(t)- \sum_{j=0}^{n-1} \mathbf{k}_{j}t^{j},\quad \textit{where } n=[\sigma ]+1$$


Definition 3

The delay FODEs (2) is HU stable if there exists \(\mathrm{C}_{\mathcal{H}}>0\) such that, for all \(\bar{\epsilon }> 0\) and for any solution \(\bar{\mathrm{w}}\in \mathscr{X}\) of the inequality

$$ \bigl\vert {}^{C}\mathrm{D}_{+0}^{\sigma } \bar{\mathrm{w}}(t) - \mathcal{H}\bigl(t, \bar{\mathrm{w}}(t),\bar{\mathrm{w}}( \delta _{1} t), \bar{\mathrm{w}}( \delta _{2} t), \ldots , \bar{\mathrm{w}}(\delta _{m} t) \bigr) \bigr\vert \leq \bar{ \epsilon },\quad \text{for all } t \in \mathbf{J}, $$

there exists at most one solution \(\mathrm{w} \in \mathscr{X}\) to problem (2) with

$$ \bigl\vert \bar{\mathrm{w}}(t) - \mathrm{w}(t) \bigr\vert \leq \mathrm{C}_{\mathcal{H}} \bar{\epsilon },\quad \forall t\in \mathbf{J}. $$

Definition 4

The problem of delay FODEs (2) is GHU stable if there exists \(\beta \in C(\mathbf{R}^{+},\mathbf{R}^{+})\), \(\beta (0) = 0\), and also regarding any solution \(\bar{\mathrm{w}}\in \mathscr{X}\) of the inequality (6), there is at most one solution \(\mathrm{w}\in \mathscr{X}\) of (2) with

$$ \bigl\vert \bar{\mathrm{w}}(t) - \mathrm{w}(t) \bigr\vert \leq \beta (\bar{ \epsilon }),\quad \text{for all } t\in \mathbf{J}. $$

Definition 5

The delay FODEs (2) is HUR stable w.r.t. \(\xi \in C(\mathbf{J},\mathbf{R}^{+})\), if there exists a real number \(\mathrm{C}_{\mathcal{H}}>0\), and \(\bar{\epsilon } > 0\), and also, for any solution \(\bar{\mathrm{w}}\in \mathscr{X}\) of the inequality

$$ \bigl\vert {}^{C}\mathrm{D}_{+0}^{\sigma } \bar{\mathrm{w}}(t) -\mathcal{H}\bigl(t, \bar{\mathrm{w}}(t),\bar{\mathrm{w}}( \delta _{1} t), \bar{\mathrm{w}}( \delta _{2} t), \ldots , \bar{\mathrm{w}}(\delta _{n} t) \bigr) \bigr\vert \leq \xi (t) \bar{\epsilon },\quad \forall t\in \mathbf{J},$$

there exists at most one solution \(\mathrm{w} \in \mathscr{X}\) of problem (2), such that

$$ \bigl\vert \bar{\mathrm{w}}(t) - \mathrm{w}(t) \bigr\vert \leq \mathrm{C}_{\mathcal{H}} \bar{\epsilon }\xi (t),\quad \text{for all } t\in \mathbf{J}.$$

Definition 6

The delay AODE (2) will be GHUR stable w.r.t. \(\xi \in \mathscr{X}\), if for \(\mathrm{C}_{\mathcal{H}}>0\) and any solution \(\bar{\mathrm{w}}\in \mathscr{X}\) of the inequality (7) there exists at most one solution \(\mathrm{w} \in \mathscr{X}\) of problem (2),

$$ \bigl\vert \bar{\mathrm{w}}(t) - \mathrm{w}(t) \bigr\vert \leq \mathrm{C}_{\mathcal{H}}\xi (t), \quad \text{for all } t \in \mathbf{J}. $$

Remark 1

Let \(\bar{\mathrm{w}}\in \mathscr{X}\) be the result of (6); there exists \(\psi (t)\in \mathscr{X}\) with

  1. (i)

    \(|\psi (t)|\leq \bar{\epsilon }\), for all \(t\in \mathbf{J}\).

  2. (ii)

    \({}^{C}\mathrm{D}_{+0}^{\sigma }\bar{\mathrm{w}}(t) = \mathcal{H}(t, \bar{\mathrm{w}}(t),\bar{\mathrm{w}}(\delta _{1} t), \bar{\mathrm{w}}(\delta _{2} t), \ldots , \bar{\mathrm{w}}(\delta _{m} t) )+ \psi (t)\), for all \(t\in \mathbf{J}\).

Remark 2

Let \(\bar{\mathrm{w}}\in \mathscr{X}\) be the result of (7); there exists \(\psi (t)\in C(\mathbf{J},\mathbf{R})\) with

  1. (i)

    \(|\psi (t)|\leq \bar{\epsilon }\xi (t)\) for all \(t\in \mathbf{J}\);

  2. (ii)

    \({}^{C}\mathrm{D}_{+0}^{\sigma }\bar{\mathrm{w}}(t) = \mathcal{H}(t, \bar{\mathrm{w}}(t),\bar{\mathrm{w}}(\delta _{1} t), \bar{\mathrm{w}}(\delta _{2} t), \ldots , \bar{\mathrm{w}}(\delta _{m} t)) + \psi (t)\), for all \(t\in \mathbf{J}\).

3 Criteria for existence of solution

Theorem 1

Let \(\mathrm{g}\in C(\mathbf{J})\), then the solution

$$ \textstyle\begin{cases} {}^{C} \mathrm{D}_{+0}^{\sigma }\mathrm{w}(t)=\mathrm{g}(t),\quad \textit{for } t\in \mathbf{J}, 2< \sigma \leq 3, \\ \mathrm{w}(0)=-\mathrm{w}(\top ),\qquad {}^{C}\mathrm{D}_{+0}^{r} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{r} \mathrm{w}(\top ),\qquad {}^{C} \mathrm{D}_{+0}^{s} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{s} \mathrm{w}( \top ), \end{cases} $$

is given by

$$ \mathrm{w}(t)= \int _{0}^{\top } \mathscr{K}(t,\ell )y(\ell )\,d\ell , $$

while Green’s function \(\mathscr{K}(t,\ell )\) may be provided as

$$ \mathscr{K}(t,\ell )= \textstyle\begin{cases} \frac{(t-\ell )^{\sigma -1}-\frac{1}{2}(\top -\ell )^{\sigma -1}}{\Gamma {(\sigma )}}+ \frac{\Gamma {(2-r)}(\top -2t)(\top -\ell )^{\sigma -r-1}}{2\Gamma {(\sigma -r)}\top ^{1-r}} \\ \quad {}- \frac{[r\top ^{2}-4\top t+2(2-r)t^{2}\Gamma {(3-s)}(\top -\ell )^{\sigma -s-1}]}{4(2-r) \Gamma {(\sigma -r)}\top ^{2-s}}, & 0\leq \ell \leq t\leq \top , \\ \frac{(\top -\ell )^{\sigma -1}}{2\Gamma {(\sigma )}}+ \frac{\Gamma {(2-r)}(\top -2t)(\top -\ell )^{\sigma -r-1}}{2\Gamma {(\sigma -r)}\top ^{1-r}} \\ \quad {}- \frac{[r\top ^{2}-4\top t+2(2-r)t^{2}\Gamma {(3-s)}(\top -\ell )^{\sigma -s-1}]}{4(2-r)\Gamma {(\sigma -r)}\top ^{2-s}},& 0\leq t\leq \ell \leq \top . \end{cases} $$

Proof 1

The proof of this theorem may be similarly obtained to [38, Theorem 1].

Corollary 1

By Theorem 1, the proposed problem (2) is equivalent to the following integral equation:

$$ \mathrm{w}(t)= \int _{0}^{\top }\mathscr{K}(t,\ell )\mathcal{H} \bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell ) \bigr)\,d\ell . $$

Lemma 2

The function \(\mathscr{K}(t,\ell )\), given in (12) has the given characteristics:


\(\mathscr{K}(t,\ell )\) is continuous over \(\mathbf{J}^{2}\) and \(\mathscr{K}(t,\ell )\geq 0\), for all \(t,\ell \in \mathbf{J}\);


the following inequality holds:

$$\begin{aligned} \max_{t\in \mathbf{J}} \int _{0}^{\top }\mathscr{K}(t,\ell )\,d\ell \leq& \biggl[\frac{1}{\Gamma {(\sigma +1)}}+ \frac{\Gamma {(2-r)}}{2\Gamma {(\sigma -r+1)}} + \frac{(r+2)(\Gamma {(3-s)}}{2(2-r)\Gamma {(\sigma -s+1)}} \biggr]\top ^{ \sigma } \\ =&\Delta . \end{aligned}$$

Proof 2

The proof of \((\mathscr{P}_{1})\) is obvious; to derive \((\mathscr{P}_{2})\), one has

$$\begin{aligned} &\max_{t\in \mathbf{J}} \int _{0}^{\top }\mathscr{K}(t,\ell )\,d\ell \\ &\quad = \max _{t\in \mathbf{J}} \biggl(\frac{1}{\Gamma {(\sigma )}} \int _{0}^{t}(t- \ell )^{\sigma -1}\,d\ell - \frac{1}{2\Gamma {(\sigma )}} \int _{0}^{\top }( \top -\ell )^{\sigma -1}\,d\ell \\ &\qquad {}+ \frac{\Gamma {(2-r)}(\top -2t)}{2\Gamma {(\sigma -r)}\top ^{1-r}} \int _{0}^{\top }(\top -\ell )^{\sigma -r-1}\,d\ell \\ &\qquad {}- \frac{[r\top ^{2}-4\top t+2(2-r)t^{2}]\Gamma {(3-s)}}{4(2-r)\Gamma {(\sigma -s)}\top ^{2-s}} \int _{0}^{\top }(\top -\ell )^{\sigma -s-1}\,d\ell \biggr) \\ &\quad \leq \max_{t\in \mathbf{J}} \biggl( \frac{\top ^{\sigma }}{\Gamma {(\sigma +1)}}+ \frac{\Gamma (2-r)\top ^{\sigma -r+1}}{2\Gamma {(\sigma -r+1)}\top ^{1-r}}- \frac{[r\top ^{2}-4\top t+2(2-r)t^{2}]\Gamma {(3-s)}\top ^{\sigma -s}}{4(2-r)\Gamma {(\sigma -s+1)}\top ^{2-s}} \biggr) \\ &\quad \leq \frac{\top ^{\sigma }}{\Gamma {(\sigma +1)}}+ \frac{\Gamma {(2-r)}\top ^{\sigma }}{2\Gamma {(\sigma -r+1)}} + \frac{(r+2)(\Gamma {(3-s)\top ^{\sigma }}}{2(2-r)\Gamma {(\sigma -s+1)}}. \end{aligned}$$

We need the following assumptions to hold:


Let there exist a constant \(\mathbf{A}_{\mathcal{H}}>0\), with

$$\begin{aligned}& \bigl\vert \mathcal{H}\bigl(t, \mathrm{w}(t),\mathrm{w}(\delta _{1} t), \mathrm{w}(\delta _{2} t), \ldots , \mathrm{w}( \delta _{n} t) \bigr) - \mathcal{H}\bigl(t, \bar{\mathrm{w}}(t),\bar{ \mathrm{w}}(\delta _{1} t), \bar{\mathrm{w}}( \delta _{2} t),\ldots , \bar{\mathrm{w}}(\delta _{m} t) \bigr) \bigr\vert \\& \quad \leq \mathbf{A}_{\mathcal{H}} \Biggl( \bigl\vert \mathrm{w}(t)-\bar{ \mathrm{w}}(t) \bigr\vert + \sum_{j=1}^{m} \bigl\vert \mathrm{w}(\delta _{j} t)-\bar{\mathrm{w}}(\delta _{j} t) \bigr\vert \Biggr), \end{aligned}$$

for \(\mathrm{w},\bar{\mathrm{w}}\in \mathscr{X}\).


There exist \(\theta _{0}, \bar{\theta }, \theta _{j}\in \mathscr{X}\) for \(j=1,2,\ldots ,m\) with

$$\begin{aligned}& \bigl|\mathcal{H}\bigl(t, \mathrm{w}(t),\mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2} t), \ldots , \mathrm{w}(\delta _{n} t)\bigr) \bigr| \\& \quad \leq \theta _{0}(t)+ \bar{\theta }(t)\Bigg[ \bigl\vert \mathrm{w}(t) \bigr\vert +\sum_{j=1}^{m}\theta _{j}(t) \bigl\vert \mathrm{w}(\delta _{j} t) \bigr\vert \Bigg],\quad \text{for } \mathrm{w}\in \mathscr{X}, \end{aligned}$$

with \(\theta _{0}^{*}=\sup_{t\in \mathbf{J}}|\theta _{0}(t)|\), \(\bar{\theta }^{*}=\sup_{t\in \mathbf{J}}|\bar{\theta }(t)|\), \(\theta ^{*}_{j}= \sup_{t\in \mathbf{J}}|\theta _{j}(t)|\), \(\forall j=1,2,\ldots,m\). Furthermore,

$$ \theta ^{*}=\max_{t\in \mathbf{J}}\bigl\{ \bar{\theta }^{*}, \theta ^{*}_{1}, \theta ^{*}_{2}, \ldots , \theta ^{*}_{m} \bigr\} . $$

Here we define \({\mathbf{T}}:\mathscr{X}\rightarrow \mathscr{X}\) as the operator

$$ {\mathbf{T}}(\mathrm{w}) (t)= \int _{0}^{\top }\mathscr{K}(t, \ell )\mathcal{H} \bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr)\,d\ell . $$

Theorem 2

The mapping \({\mathbf{T}}:\mathscr{X}\rightarrow \mathscr{X}\) given in (14) is completely continuous.

Proof 3

Continuity of T is dependent on \(\mathcal{H},\mathscr{K}(t,\ell )\). Let \(\mathbb{B}\subset \mathscr{X}\) be a bounded set. Let \(\mathrm{w}\in \mathbb{B}\), one has

$$\begin{aligned} \bigl\vert {\mathbf{T}} \mathrm{w}(t) \bigr\vert =& \biggl\vert \int _{0}^{\top } \mathscr{K}(t,\ell )\mathcal{H} \bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}( \delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr)\,d\ell \biggr\vert \\ \leq & \int _{0}^{\top } \bigl\vert \mathscr{K}(t,\ell ) \bigr|\bigl|\mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell . \end{aligned}$$

By assumption \((\mathscr{F}_{2})\), on simplifying (15), we obtain

$$ \Vert {\mathbf{T}}\mathrm{w} \Vert _{\mathscr{X}} \leq \bigl[\theta _{0}^{*}+(m+1) \theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]\Delta .$$

This yields the uniformly boundedness of T. To derive discontinuity of T, let \(t_{2} >t_{1}\in \mathbf{J}\) such that

$$\begin{aligned}& \bigl\vert {\mathbf{T}}{ \mathrm{w}}(t_{1})-{\mathbf{T}} {\mathrm{w}}(t_{2}) \bigr\vert \\& \quad \leq \int _{0}^{t_{2}} \frac{(t_{2}-\ell )^{\sigma -1}}{\Gamma (\sigma )} \bigl\vert \mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell \\& \qquad {}+ \int _{0}^{t_{2}} \frac{(t_{1}-\ell )^{\sigma -1}}{\Gamma (\sigma )} \bigl\vert \mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell \\& \qquad {} + \frac{2\Gamma (2-r)(t_{2}-t_{1})}{2\top ^{1-r}\Gamma (\sigma -r)} \int _{0}^{\top }(\top -\ell )^{\sigma -r-1} \bigl\vert \mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell \\& \qquad {} + \frac{4\top (1+2\Gamma (2-r))(t_{2}-t_{1})}{4(2-r)\top ^{2-s}\Gamma (\sigma -s)} \int _{0}^{\top }(\top -\ell ) \bigl\vert \mathcal{H}\bigl(\ell , \mathrm{w}(\ell ), \mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell \\& \quad \leq \int _{0}^{t_{2}} \frac{(t_{2}-\ell )^{\sigma -1}}{\Gamma (\sigma )}\bigl[\theta _{0}^{*}+(m+1) \theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]\,d\ell \\& \qquad {}+ \int _{0}^{t_{2}} \frac{(t_{1}-\ell )^{\sigma -1}}{\Gamma (\sigma )}\bigl[\theta _{0}^{*}+(m+1) \theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]\,d\ell \\& \qquad {} + \frac{2\Gamma (2-r)(t_{2}-t_{1})}{2\top ^{1-r}\Gamma (\sigma -r)} \int _{0}^{\top }(\top -\ell )^{\sigma -r-1} \bigl[\theta _{0}^{*}+(m+1) \theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]\,d\ell \\& \qquad {} + \frac{4\top (1+2\Gamma (2-r))(t_{2}-t_{1})}{4(2-r)\top ^{2-s}\Gamma (\sigma -s)} \int _{0}^{\top }(\top -\ell )^{\sigma -s} \bigl[\theta _{0}^{*}+(m+1)\theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]\,d\ell \\& \quad \leq \biggl[\frac{(t_{2}^{\sigma }-t_{2}^{\sigma })}{\Gamma (\sigma +1)}+ \frac{2\top ^{\sigma -r}\Gamma (2-r)(t_{2}-t_{1})}{2\top ^{1-r}\Gamma (\sigma -r+1)} + \frac{4\top ^{\sigma -s+1}(1+2\Gamma (2-r))(t_{2}-t_{1})}{4(2-r)\top ^{2-s}\Gamma (\sigma -s+1)} \biggr] \\& \qquad {} \times \bigl[\theta _{0}^{*}+(m+1)\theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]. \end{aligned}$$

At \(t_{1}\rightarrow t_{2}\), (16) tends to zero in the right hand side. Thus equicontinuity of T is obtained, which also confirms uniform continuity. Analogously \({\mathbf{T}}(\mathscr{B})\subset \mathscr{B}\). Therefore the operator T is completely continuous.

Theorem 3

Under the complete continuity of the operator T and the Hypotheses \((\mathscr{F}_{1})\), \((\mathscr{F}_{2})\), the problem of delay FODEs (2) possesses at least one solution.

Proof 4

Let \(\mathscr{E}\) be the set

$$ \mathscr{E}=\bigl\{ \mathrm{w}\in \mathscr{X}: \mathrm{w}=\rho \mathscr{ \mathbf{T}}(\mathrm{w}), 0< \rho < 1\bigr\} .$$

The operator \({\mathbf{T}}:\bar{\mathscr{E}}\rightarrow \mathscr{X}\) as provided in (14) is completely continuous by Theorem 2. Take \(\mathrm{w}\in \mathscr{E}\) on using \((\mathscr{F}_{2})\), one has

$$\begin{aligned} \Vert \mathrm{w} \Vert _{\mathscr{X}} =& \bigl\Vert \rho {\mathbf{T}}(\mathrm{w}) \bigr\Vert _{\mathscr{X}} \\ \leq &\max_{t\in \mathbf{J}} \int _{0}^{\top } \bigl\vert \mathscr{K}(t, \ell ) \bigr|\bigl|\mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell \\ \leq &\max_{t\in \mathbf{J}} \int _{0}^{\top } \bigl\vert \mathscr{K}(t, \ell ) \bigr\vert \bigl[ \theta _{0}^{*}+(m+1)\theta ^{*} \Vert \mathrm{w} \Vert _{\mathscr{X}}\bigr]\,d\ell . \end{aligned}$$

From this we have

$$\begin{aligned} \Vert \mathrm{w} \Vert _{\mathscr{X}} \leq &\frac{\theta _{0}^{*}\Delta }{1-(m+1)\theta ^{*}\Delta )}= \mu . \end{aligned}$$

Boundedness of \(\mathscr{E}\) holds and so (2) has at least one solution.

Theorem 4

Under assumption \((\mathscr{F}_{1})\) and the condition \([(m+1)\mathbf{A}_{\mathcal{H}}\Delta ] < 1\), where Δ is given in (13), the unique solution will be guaranteed for problem (2) in \(\mathscr{X}\).

Proof 5

On making use of the Banach principle, if \(\mathrm{w}, \bar{\mathrm{w}} \in \mathscr{X}\), with \(t\in \mathbf{J}\), one has

$$\begin{aligned} \bigl\vert {\mathbf{T}} \mathrm{w}(t)-{\mathbf{T}} \bar{\mathrm{w}}(t) \bigr\vert =& \biggl\vert \int _{0}^{\top }\mathscr{K}(t, \ell ) \bigl[ \mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \\ &{}-\mathcal{H}\bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}( \delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}(\delta _{n} \ell )\bigr) \bigr]\,d\ell \biggr\vert \\ \leq & \int _{0}^{\top } \bigl\vert \mathscr{K}(t, \ell ) \bigr\vert \bigl\vert \mathcal{H}\bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}( \delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{n} \ell )\bigr) \\ &{}-\mathcal{H}\bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}( \delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}(\delta _{n} \ell )\bigr) \bigr\vert \,d\ell . \end{aligned}$$

In view of property \((\mathscr{P}_{2})\), from (18), one has

$$\begin{aligned} \Vert {\mathbf{T}}\mathrm{w}-\mathscr{ \mathbf{T}}\bar{\mathrm{w}} \Vert _{\mathscr{X}} \leq & \max _{t\in \mathbf{J}} \int _{0}^{\top } \bigl\vert \mathscr{K}(t, \ell ) \bigr\vert (m+1)\mathbf{A}_{\mathcal{H}} \Vert \mathrm{w}- \bar{ \mathrm{w}} \Vert _{\mathscr{X}}\,d\ell \\ \leq & \bigl[(m+1)\mathbf{A}_{\mathcal{H}}\Delta \bigr] \Vert \mathrm{w}- \bar{\mathrm{w}} \Vert _{\mathscr{X}}. \end{aligned}$$

Since \([(m+1)\mathbf{A}_{\mathcal{H}}\Delta ]<1\), the mapping T is a contraction which confirms that (2) has at most one solution.

4 Stability theory

Here we develop the required results for stability theory.

Lemma 3

The solution of the given equation with \(t\in \mathbf{J}\)

$$ \textstyle\begin{cases} {}^{C} \mathrm{D}_{+0}^{\sigma }\bar{\mathrm{w}}(t)=\mathcal{H}(t, \bar{\mathrm{w}}(t),\bar{\mathrm{w}}(\delta _{1} t), \bar{ \mathrm{w}}( \delta _{2} t), \ldots , \bar{\mathrm{w}}(\delta _{n} t))+\psi (t), \quad 2< \sigma \leq 3, \\ \bar{\mathrm{w}}(0)=-\bar{\mathrm{w}}(\top ),\qquad {}^{C} \mathrm{D}_{+0}^{r} \bar{\mathrm{w}}(0)=-{}^{C} \mathrm{D}_{+0}^{r}\bar{\mathrm{w}}(\top ),\qquad {}^{C}\mathrm{D}_{+0}^{s}\bar{ \mathrm{w}}(0)=-{}^{C}\mathrm{D}_{+0}^{s} \bar{\mathrm{w}}(\top ), \end{cases} $$

obeys the given inequality

$$ \biggl\vert \bar{\mathrm{w}}(t)- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{n} \ell )\bigr)\,d\ell \biggr\vert \leq \Delta \bar{\epsilon }. $$

Proof 6

Like Corollary 1, the solution of (19) can be provided as

$$ \bar{\mathrm{w}}(t) = \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{n} \ell )\bigr)\,d\ell + \int _{0}^{\top } \mathscr{K}(t, \ell )\psi (\ell )\,d\ell . $$

From this one has on using (i) of Remark 1 and property \((\mathscr{P}_{2})\) of \(\mathscr{K}\),

$$\begin{aligned} \biggl\vert \bar{\mathrm{w}}(t)- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{n} \ell )\bigr)\,d\ell \biggr\vert \leq & \int _{0}^{ \top } \bigl\vert \mathscr{K}(t, \ell )\bigr|\bigl|\psi (\ell ) \bigr\vert \,d\ell \\ \leq & \Delta \bar{\epsilon }, \quad t\in \mathbf{J}. \end{aligned}$$

Theorem 5

If the conditions \((m+1)\mathbf{A}_{\mathcal{H}}\Delta < 1\) hold, then the solution of (2) is HU and GUH stable.

Proof 7

If \(\mathrm{w}\in \mathscr{X}\) is at most one result of (2) and \(\bar{\mathrm{w}}\in \mathscr{X}\) is any solution of the said problem, then we may consider with \(t\in \mathbf{J}\)

$$\begin{aligned} \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}} =&\max_{t\in \mathbf{J}} \biggl\vert \bar{ \mathrm{w}}- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \mathrm{w}(\ell ), \mathrm{w}(\delta _{\ell }), \mathrm{w}( \delta _{2}\ell ),\ldots , \mathrm{w}(\delta _{m}\ell ) \bigr)\,d\ell \biggr\vert \\ \leq &\max_{t\in \mathbf{J}} \biggl\vert \bar{\mathrm{w}}- \int _{0}^{\top } \mathscr{K}(t, \ell )\mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ), \bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{ \mathrm{w}}(\delta _{m} \ell )\bigr)\,d\ell \biggr\vert \\ &{}+\max_{t\in \mathbf{J}} \biggl\vert \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell ,\bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2}\ell ),\ldots , \bar{\mathrm{w}}( \delta _{m}\ell )\bigr)\,d\ell \\ &{}- \int _{0}^{\top }\mathscr{K}(t, \ell )\mathcal{H} \bigl(\ell , \mathrm{w}( \ell ), \mathrm{w}(\delta _{\ell }), \mathrm{w}( \delta _{2}\ell ), \ldots , \mathrm{w}(\delta _{m}\ell ) \bigr)\,d\ell \biggr\vert . \end{aligned}$$

By the application of assumption \((\mathscr{F}_{1})\) and Lemma 3, we get

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}} \leq \Delta \bar{\epsilon }+ \bigl[(m+1)\mathbf{A}_{\mathcal{H}} \Delta \bigr] \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}}. $$

Upon simplification (21) yields

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert \leq \mathrm{C}_{\mathcal{H}} \bar{\epsilon },\quad \mathrm{C}_{\mathcal{H}}= \frac{\Delta }{1-[(m+1)\mathbf{A}_{\mathcal{H}}\Delta ]}.$$

Hence the problem (2) is HU stable. Let a nondecreasing function \(\beta :(0, 1)\rightarrow (0, \infty )\) be such that \(\beta ( \bar{\epsilon })=\bar{\epsilon }\) with \(\beta (0)=0\), then from (21), we can write

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert \leq \mathrm{C}_{\mathcal{H}} \beta ( \bar{\epsilon }).$$

Thus problem (2) is GHU stable.

Lemma 4

For the given problem (19), the following inequality holds:

$$ \biggl\vert \bar{\mathrm{w}}(t)- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{m} \ell )\bigr)\,d\ell \biggr\vert \leq \Delta \xi (t) \bar{ \epsilon },\quad t\in \mathbf{J}. $$

Proof 8

Keeping in mind Corollary 1 the solution of (19) is given by

$$ \bar{\mathrm{w}}(t) = \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{m} \ell )\bigr)\,d\ell + \int _{0}^{\top } \mathscr{K}(t, \ell )\psi (\ell )\,d\ell . $$

On applying Remark 2(i) and \((\mathscr{P}_{2})\), one has

$$\begin{aligned} \biggl\vert \bar{\mathrm{w}}(t)- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{m} \ell )\bigr)\,d\ell \biggr\vert \leq & \int _{0}^{ \top } \bigl\vert \mathscr{K}(t, \ell )\bigr|\bigl|\psi (\ell ) \bigr\vert \,d\ell \\ \leq & \Delta \xi (t)\bar{\epsilon }, \quad t\in \mathbf{J}. \end{aligned}$$

Theorem 6

Under assumption \((\mathscr{F}_{1})\) and the condition \((m+1)\mathbf{A}_{\mathcal{H}}\Delta < 1\), the considered problem (2) is HUR stable.

Proof 9

Let w̄ be any result of problem (2) with \(\mathrm{w}\in \mathscr{X}\) at most one solution of inequality (2), then we have

$$\begin{aligned} \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}} =&\max_{t\in \mathbf{J}} \biggl\vert \bar{ \mathrm{w}}- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \mathrm{w}(\ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{m} \ell )\bigr)\,d\ell \biggr\vert \\ \leq &\max_{t\in \mathbf{J}} \biggl\vert \bar{\mathrm{w}}- \int _{0}^{\top } \mathscr{K}(t, \ell )\mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ), \bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{ \mathrm{w}}(\delta _{m} \ell )\bigr)\,d\ell \biggr\vert \\ &{}+\max_{t\in \mathbf{J}} \biggl\vert \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{m} \ell )\bigr)\,d\ell \\ &{}- \int _{0}^{\top }\mathscr{K}(t, \ell )\mathcal{H} \bigl(\ell , \mathrm{w}( \ell ),\mathrm{w}(\delta _{1} \ell ), \mathrm{w}(\delta _{2} \ell ), \ldots , \mathrm{w}(\delta _{m} \ell )\bigr)\,d\ell \biggr\vert . \end{aligned}$$

On using assumption \((\mathscr{F}_{1})\) and Lemma 4, we get

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}} \leq \Delta \xi (t) \bar{\epsilon }+\bigl[(m+1) \mathbf{A}_{\mathcal{H}}\Delta \bigr] \Vert \bar{\mathrm{w}}- \mathrm{w} \Vert _{\mathscr{X}}. $$

Upon simplification (25) gives

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}} \leq \mathrm{C}_{\mathcal{H}}\xi (t)\bar{\epsilon },\quad \mathrm{C}_{\mathcal{H}}= \frac{\Delta }{1-[(m+1)\mathbf{A}_{\mathcal{H}}\Delta ]}.$$

Thus the solution of (2) is HUR stable.

Lemma 5

The solution of the perturbed problem given in (19) produces the following relation:

$$ \biggl\vert \bar{\mathrm{w}}(t)- \int _{0}^{\top }\mathscr{K}(t, \ell ) \mathcal{H} \bigl(\ell , \bar{\mathrm{w}}(\ell ),\bar{\mathrm{w}}(\delta _{1} \ell ), \bar{\mathrm{w}}(\delta _{2} \ell ), \ldots , \bar{\mathrm{w}}( \delta _{m} \ell )\bigr)\,d\ell \biggr\vert \leq \Delta \xi (t),\quad t\in \mathbf{J}. $$

Proof 10

On using Lemma 3, the proof is simple.

Theorem 7

Under the Hypothesis \((\mathscr{F}_{1})\) and the inequalities \((m+1)\mathbf{A}_{\mathcal{H}}\Delta < 1\) holding, the solution of (2) is GHUR stable.

Proof 11

Keeping in mind Theorem 6, one can write

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}} \leq \mathrm{C}_{\mathcal{H}}\xi (t), \quad \mathrm{C}_{\mathcal{H}}= \frac{\Delta }{1-(m+1)\mathbf{A}_{\mathcal{H}}\Delta }.$$

Hence the solution of (2) is GHUR stable.

5 Illustrative problems

Here we address some illustrative problems.

Problem 1

Let us consider the FODEs under APBCs with proportional delay terms

$$ \textstyle\begin{cases} {}^{C} \mathrm{D}_{+0}^{\frac{5}{2}}\mathrm{w}(t)=\frac{1}{150} [t\cos \vert \mathrm{w}(t) \vert -\mathrm{w} ( \frac{1}{2}t )\sin (t) ]+ \frac{\mathrm{w} (\frac{1}{3}t )}{100+\mathrm{w} (\frac{1}{3}t )},\quad t\in \mathbf{J}=[0, 1], \\ \mathrm{w}(0)=-\mathrm{w}(1),\qquad {}^{C}\mathrm{D}_{+0}^{\frac{1}{2}} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{\frac{1}{2}} \mathrm{w}(1), \qquad {}^{C} \mathrm{D}_{+0}^{\frac{3}{2}} \mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{ \frac{3}{2}} \mathrm{w}(1). \end{cases} $$

Here one has \(m=2\), \(\sigma =\frac{5}{2}\), \(r=\frac{1}{2}\), \(s=\frac{3}{2}\), \(\delta _{1}= \frac{1}{2}\), \(\delta _{2}=\frac{1}{3}\), \(\top =1\). Continuity of the function

$$ \mathcal{H}\bigl(t, \mathrm{w}(t), \mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2}t)\bigr)=\frac{1}{150} \biggl[t\cos \bigl\vert \mathrm{w}(t) \bigr\vert -\mathrm{w} \biggl(\frac{1}{2}t \biggr)\sin (t) \biggr]+ \frac{\mathrm{w} (\frac{1}{3}t )}{100+\mathrm{w} (\frac{1}{3}t )} $$

is clear for \(\mathrm{w}\in \mathscr{X}=C[0,1]\). Again by assumption \((\mathscr{F}_{1})\), for any \(\mathrm{w}, \bar{\mathrm{w}} \in \mathbf{R}\), one has

$$\begin{aligned}& \bigl\vert \mathcal{H}\bigl(t, \mathrm{w}(t), \mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2}t)\bigr) - \mathcal{H} \bigl(t, \bar{\mathrm{w}}(t), \bar{\mathrm{w}}( \delta _{1} t), \bar{\mathrm{w}}(\delta _{2}t)\bigr) \bigr\vert \\& \quad = \biggl\vert \frac{1}{150} \biggl[t\cos \bigl\vert \mathrm{w}(t) \bigr\vert -\mathrm{w} \biggl( \frac{1}{2}t \biggr)\sin (t) \biggr]+ \frac{\mathrm{w} (\frac{1}{3}t )}{100+\mathrm{w} (\frac{1}{3}t )} \\& \qquad {} - \frac{1}{150} \biggl[t\cos \bigl\vert \bar{\mathrm{w}}(t) \bigr\vert -\bar{\mathrm{w}} \biggl(\frac{1}{2}t \biggr)\sin (t) \biggr]- \frac{\bar{\mathrm{w}} (\frac{1}{3}t )}{100+\bar{\mathrm{w}} (\frac{1}{3}t )} \biggr\vert \\& \quad \leq \frac{7}{300} \bigl\vert \mathrm{w} (t)-\bar{\mathrm{w}}(t) \bigr\vert . \end{aligned}$$

Hence we have \(\mathbf{A}_{\mathcal{H}}=\frac{7}{300}\). On computation, we have \(\Delta =0.7809524\). On use of Theorem 4, one has

$$ (m+1)\mathbf{A}_{\mathcal{H}}\Delta =0.018222< 1. $$

Thus the given problem of FODEs (1) has at most one solution. Furthermore, using Theorem 5, we see that

$$ (m+1)\mathbf{A}_{\mathcal{H}}\Delta < 1. $$

Thus the concerned conditions for HU and GHU stability hold. Upon using Theorem 6 and taking the nondecreasing function \(\xi (t)=t^{2}\) for \(t\in (0, 1)\), one has \(\mathrm{C}_{\mathcal{H}}= \frac{\Delta }{1-[(m+1)\mathbf{A}_{\mathcal{H}}\Delta ]}=0.7954472\). Hence we see that with the results for the unique solution \(\bar{\mathrm{w}}\in \mathscr{X}\) and any solution \(\mathrm{w}\in \mathscr{X}\) the relation

$$ \Vert \mathrm{w}-\bar{\mathrm{w}} \Vert _{\mathscr{X}}\leq 0.7954472 \bar{\epsilon } t^{2}, \quad \text{for all } t\in [0,1], $$

holds true. Thus the solution of (1) is HUR stable. Consequently it is GHUR stable on using Theorem 7.

Problem 2

Consider another problem of FODEs involving delay terms:

$$ \textstyle\begin{cases} {}^{C}\mathrm{D}_{+0}^{\frac{5}{2}}\mathrm{w}(t)= \frac{\exp (-4\pi t)}{50} \\ \hphantom{{}^{C}\mathrm{D}_{+0}^{\frac{5}{2}}\mathrm{w}(t)={}}{}+\frac{\exp (-10 t)}{100+(1-t)^{2}} [ \sin ( \vert \mathrm{w}(t) \vert )+\mathrm{w} (\frac{1}{4}t )+\mathrm{w} (\frac{1}{5}t )+\mathrm{w} (\frac{1}{6}t ) ], \quad t\in [0,1], \\ \mathrm{w}(0)=-\mathrm{w}(1), \qquad {}^{C}\mathrm{D}_{+0}^{\frac{1}{2}}\mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{ \frac{1}{2}}\mathrm{w}(1),\qquad {}^{C}\mathrm{D}_{+0}^{\frac{3}{2}}\mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{ \frac{3}{2}}\mathrm{w}(1). \end{cases} $$

Here \(\sigma =\frac{5}{2}\), \(r=\frac{1}{2}\), \(s=\frac{3}{2}\), \(\delta =\frac{1}{4}\), \(\top =1\), \(m=3\) and

$$\begin{aligned}& \mathcal{H}\bigl(t,\mathrm{w}(t), \mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2} t), \mathrm{w}(\delta _{3} t) \bigr) \\& \quad =\frac{\exp (-4\pi t)}{50}+ \frac{\exp (-10 t)}{100+(1-t)^{2}} \biggl[\sin \bigl( \bigl\vert \mathrm{w}(t) \bigr\vert \bigr)+ \mathrm{w} \biggl(\frac{1}{4}t \biggr)+\mathrm{w} \biggl(\frac{1}{5}t \biggr)+ \mathrm{w} \biggl( \frac{1}{6}t \biggr) \biggr]. \end{aligned}$$

Clearly \(\mathcal{H}\) is continuous.

Now for any \(\mathrm{w}, \bar{\mathrm{w}}\in \mathscr{X}\), one has

$$\begin{aligned}& \bigl\vert \mathcal{H}\bigl(t,\mathrm{w}(t), \mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2} t), \mathrm{w}(\delta _{3} t) \bigr)-\mathcal{H}\bigl(t, \bar{\mathrm{w}}(t), \bar{ \mathrm{w}}(\delta _{1} t), \bar{\mathrm{w}}(\delta _{2} t), \bar{\mathrm{w}}(\delta _{3} t) \bigr) \bigr\vert \\& \quad \leq \frac{1}{100} \bigl[4 \bigl\vert \mathrm{w}(t)-\bar{ \mathrm{w}}(t) \bigr\vert \bigr] \\& \quad = \frac{1}{25} \bigl[ \bigl\vert \mathrm{w}(t)-\bar{\mathrm{w}}(t) \bigr\vert \bigr]. \end{aligned}$$

Hence \(\mathcal{H}\) satisfies the Hypothesis \((\mathscr{F}_{1})\) with \(\mathbf{A}_{\mathcal{H}}=\frac{1}{25}\). The function \(\mathcal{H}\) also satisfies the Hypothesis \((\mathscr{F}_{2})\) with \(\theta _{0}(t)=\frac{\exp (- 4\pi t)}{50}\), \(\bar{\theta }(t)=\frac{\exp (-t)}{100+(1-t)^{2}}\) and \(\theta _{1}(t)=\frac{\exp (-t)}{100+(1-t)^{2}}\), \(\theta _{2}(t)= \frac{\exp (-t)}{100+(1-t)^{2}}\), where \(\theta _{0}^{*}(t)=\frac{1}{50}\), \(\bar{\theta }^{*}=\frac{1}{101}\), \({\theta }_{1}^{*}=\theta _{2}^{*}= \frac{1}{101}\). Furthermore, \(\theta ^{*}=\frac{1}{101}\). Also one has

$$\begin{aligned} \Delta =&\frac{1}{\Gamma {(\frac{5}{2}+1)}}+ \frac{\Gamma {(2-\frac{1}{2})}}{2\Gamma {(\frac{5}{2}-\frac{1}{2}+1)}}+ \frac{(\frac{1}{2}+2)(\Gamma {(3-\frac{3}{2})})}{2(2-\frac{1}{2}) \Gamma {(\frac{5}{2}-\frac{3}{2}+1)}} \\ =&1.26098028. \end{aligned}$$

By Theorem 3, one has \(\mu =\frac{\theta _{0}^{*}\Delta }{(1-4\theta ^{*}\Delta )}=0.2654527\). Thus the given problem of FODEs (2) has at least one solution. Furthermore, using Theorem 4, we see that

$$ 4\mathbf{A}_{\mathcal{H}}\Delta =0.0201757< 1. $$

Hence the solution is unique. Analogously by Theorem 5, we have

$$ 4\mathbf{A}_{\mathcal{H}}\Delta =0.0201757< 1. $$

Hence the solution is HU stable. Furthermore, it is also GHU stable. For HUR stability, in view of Theorem 6 and by considering the nondecreasing function \(\xi (t)=t\) for \(t\in (0, 1)\), one has \(\mathrm{C}_{\mathcal{H}}= \frac{\Delta }{1-(4\mathbf{A}_{\mathcal{H}}\Delta )}=1.2741035\). Hence, we see that with the results for any solution \(\bar{\mathrm{w}}\in \mathscr{X}\) and unique solution \(\mathrm{w}\in \mathscr{X}\) the relation

$$ \Vert \bar{\mathrm{w}}-\mathrm{w} \Vert _{\mathscr{X}}\leq 1.2741035 \bar{\epsilon }t,\quad \text{for all } t\in [0,1], $$

holds true. Hence the solution of (1) is HUR stable. Consequently it is obviously GHUR stable on using Theorem 7.

Problem 3

Here we take another proportional delay problem of FODEs:

$$ \textstyle\begin{cases} {}^{C}\mathrm{D}_{+0}^{\frac{7}{3}}\mathrm{w}(t)=\frac{t}{50}+ \frac{t^{2}+3}{500}\sqrt{ \vert \mathrm{w}(t) \vert }+\frac{(t+3)^{2}}{500}\sqrt{ \vert \mathrm{w} (\frac{1}{2}t ) \vert } \\ \hphantom{{}^{C}\mathrm{D}_{+0}^{\frac{7}{3}}\mathrm{w}(t)={}}{}+\frac{(t+2)^{2}}{500}\sqrt{ \vert \mathrm{w} (\frac{1}{3}t ) \vert }+\frac{(t+4)^{2}}{500}\sqrt{ \vert \mathrm{w} (\frac{1}{4}t ) \vert },\quad t\in [0,1], \\ \mathrm{w}(0)=-\mathrm{w}(1),\qquad {}^{C}\mathrm{D}_{+0}^{\frac{1}{3}}\mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{ \frac{1}{3}}\mathrm{w}(1), \qquad {}^{C}\mathrm{D}_{+0}^{\frac{4}{3}}\mathrm{w}(0)=-{}^{C}\mathrm{D}_{+0}^{ \frac{4}{3}}\mathrm{w}(1). \end{cases} $$

Here \(\sigma =\frac{7}{3}\), \(r=\frac{1}{3}\), \(s=\frac{4}{3}\), \(\top =1\) and

$$\begin{aligned}& \mathcal{H}\bigl(t,\mathrm{w}(t), \mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2} t),\mathrm{w}(\delta _{3} t),\mathrm{w}(\delta _{4} t)\bigr) \\& \quad = \frac{t}{50}+ \frac{(t^{2}+3)}{1000}\sqrt{ \bigl\vert \mathrm{w}(t) \bigr\vert }+ \frac{(t+3)^{2}}{1000} \sqrt{ \biggl\vert \mathrm{w} \biggl(\frac{1}{2}t \biggr) \biggr\vert } \\& \qquad {} + \frac{(t+2)^{2}}{1000}\sqrt{ \biggl\vert \mathrm{w} \biggl( \frac{1}{3}t \biggr) \biggr\vert }+\frac{(t+4)^{2}}{1000}\sqrt{ \biggl\vert \mathrm{w} \biggl( \frac{1}{4}t \biggr) \biggr\vert }. \end{aligned}$$

Now we take \(\mathrm{w},\bar{\mathrm{w}}\in \mathbf{R}\), such that

$$\begin{aligned}& \bigl\vert \mathcal{H}\bigl(t,\mathrm{w}(t), \mathrm{w}(\delta _{1} t), \mathrm{w}( \delta _{2} t),\mathrm{w}(\delta _{3} t)\bigr) - \mathcal{H}\bigl(t, \bar{\mathrm{w}}(t),\bar{ \mathrm{w}}(\delta _{1} t), \bar{\mathrm{w}}( \delta _{2} t), \bar{\mathrm{w}}(\delta _{3} t)\bigr) \bigr\vert \\& \quad \leq \frac{36}{1000} \bigl[4 \bigl\vert \mathrm{w}(t)-\bar{ \mathrm{w}(t)} \bigr\vert \bigr] \\& \quad = \frac{18}{125} \bigl[ \bigl\vert \mathrm{w}(t)-\bar{\mathrm{w}(t)} \bigr\vert \bigr]. \end{aligned}$$

Hence \(\mathcal{H}\) satisfies the Hypothesis \((\mathscr{F}_{1})\) with \(\mathbf{A}_{\mathcal{H}}=\frac{18}{125}\). The function \(\mathcal{H}\) also satisfies the Hypothesis \((\mathscr{F}_{2})\) with \(m=3\) and \(\Delta =1.2176\) \(\theta _{0}(t)=\frac{t}{50}\), \(\bar{\theta }(t)= \frac{t^{2}+3}{500}\), \(\theta _{1}(t)=\frac{(t+3)^{2}}{1000}\), \(\theta _{2}(t)= \frac{(t+2)^{2}}{1000}\), \(\theta _{3}(t)=\frac{(t+4)^{2}}{1000}\), \(\theta _{4}(t)=\frac{(t+5)^{2}}{1000}\) where \(\theta _{0}^{*}(t)=\frac{1}{25}\), \(\bar{\theta }^{*}(t)=\frac{1}{125}\), \(\theta _{1}^{*}(t)=\frac{2}{125}\), \(\theta _{2}^{*}(t)=\frac{9}{1000}\), \(\theta _{3}^{*}(t)=\frac{1}{40}\), \(\theta _{4}^{*}(t)=\frac{9}{250}\). Upon computation, \((m+1)\mathbf{A}_{\mathcal{H}}\Delta =0.7013376< 1\). Thus on using Theorem 4, the Problem 3 has at most one solution. Moreover, it also satisfies the condition of HU stability and consequently GHU stability by using Theorem 5. Taking a nondecreasing function \(\xi (t)=1+\frac{t^{2}}{2}\), one can prove that the result of (3) is HUR stable and hence GHUR stable upon the application of Theorem 6 and Theorem 7, respectively.

6 Conclusion

A comprehensive analysis corresponding to the existence theory of solution and stability results has been established for a multi-term pantograph FODEs under APBCs. This type of problem has been investigated with respect to the subject conditions for the first time in terms of delay differential equations of any positive real order. The considered delay type differential equations have important applications in various scientific fields, like electro-locomotive dynamics. The whole analysis has been demonstrated by some proper examples.

Availability of data and materials

Not applicable.


  1. Toledo-Hernandez, R., Rico-Ramirez, V., Iglesias-Silva, G.A., Diwekar, U.M.: A fractional calculus approach to the dynamic optimization of biological reactive systems. Part I: fractional models for biological reactions. Chem. Eng. Sci. 117, 217–228 (2014)

    Article  Google Scholar 

  2. Wu, C., Yong, Y., Wu, Z.: Existence and uniqueness of forced waves in a delayed reaction–diffusion equation in a shifting environment. Nonlinear Anal., Real World Appl. 57, 103198 (2021)

    Article  MathSciNet  Google Scholar 

  3. Kilbas, A.A., Srivastava, H., Trujillo, J.: Theory and Application of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

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

    Book  Google Scholar 

  5. Aghazadeh, N., Ravash, E., Rezapour, S.: Existence results and numerical solutions for a multi-term fractional integro-differential equation. Kragujev. J. Math. 43(3), 413–426 (2019)

    MathSciNet  Google Scholar 

  6. Samei, M.E., Hedayati, V., Khalilzadeh Ranjbar, G.: The existence of solution for k-dimensional system of Langevin Hadamard-type fractional differential inclusions with 2k different fractional orders. Mediterr. J. Math. 17, 37 (2020).

    Article  MathSciNet  MATH  Google Scholar 

  7. Shah, K., Khalil, H., Khan, R.A.: Analytical solutions of fractional order diffusion equations by natural transform method. Iran. J. Sci. Technol. Trans. A, Sci. 42(3), 1479–1490 (2018)

    Article  MathSciNet  Google Scholar 

  8. Ahmad, I., Nieto, J.J., Rahman, G., Shah, K.: Existence and stability for fractional order pantograph equations with nonlocal conditions. Electron. J. Differ. Equ. 2020, 132 (2020)

    Article  MathSciNet  Google Scholar 

  9. Abdeljawad, T., Madjidi, F., Jarad, F., Sene, N.: On dynamic systems in the frame of singular function dependent kernel fractional derivatives. Mathematics 7(10), 946 (2019)

    Article  Google Scholar 

  10. Li, Y., Haq, F., Shah, K., Shahzad, M., Rahman, G.: Numerical analysis of fractional order Pine wilt disease model with bilinear incident rate. J. Math. Comput. Sci. 17(2017), 420–428 (2017)

    Article  Google Scholar 

  11. Pooseh, S., Almeida, R., Torres, D.: A discrete time method to the first variation of fractional order variational functionals. Open Phys. 11(10), 1262–1267 (2013)

    Article  Google Scholar 

  12. Saadatmandi, A., Dehghan, M.: A new operational matrix for solving fractional-order differential equations. Comput. Math. Appl. 59(3), 1326–1336 (2010)

    Article  MathSciNet  Google Scholar 

  13. Piyachat, B., Kumam, P., Ahmed, I., Sitthithakerngkiet, K.: Nonlinear Caputo fractional derivative with nonlocal Riemann–Liouville fractional integral condition via fixed point theorems. Symmetry 11(6), 829 (2019).

    Article  Google Scholar 

  14. Borisut, P., Kumam, P., Ahmed, I., Jirakitpuwapat, W.: Existence and uniqueness for Ψ-Hilfer fractional differential equation with nonlocal multi-point condition. Math. Methods Appl. Sci., 1–15 (2020).

    Article  Google Scholar 

  15. Ahmed, I., et al.: Stability results for implicit fractional pantograph differential equations via Ψ-Hilfer fractional derivative with a nonlocal Riemann–Liouville fractional integral condition. Mathematics 8(1), 94 (2020)

    Article  Google Scholar 

  16. Abdo, M.S., et al.: Existence of positive solutions for weighted fractional order differential equations. Chaos Solitons Fractals 141, 110341 (2020)

    Article  MathSciNet  Google Scholar 

  17. Sabri, A.: An analysis of exponential stability of delayed neural networks with time varying delays. Neural Netw. 17(7), 1027–1031 (2004)

    Article  Google Scholar 

  18. Daafouz, J., Riedinger, P., Iung, C.: Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach. IEEE Trans. Autom. Control 47(11), 1883–1887 (2002)

    Article  MathSciNet  Google Scholar 

  19. Yan, L., Chen, Y., Podlubny, I.: Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability. Comput. Math. Appl. 59(5), 1810–1821 (2010)

    Article  MathSciNet  Google Scholar 

  20. Kalvandi, V.: Mittag-Leffler–Hyers–Ulam stability of fractional differential equation. In: 4th International Conference of Natural Sciences (ICNS2019) on Math. Comput. Sci., vol. 19, 19 April, University of Kurdistan, Sanandaj, Iran (2019)

    Google Scholar 

  21. Borisut, P., Kumam, P., Ahmed, I., Sitthithakerngkiet, K.: Positive solution for nonlinear fractional differential equation with nonlocal multi-point condition. Fixed Point Theory 21(2), 427–440 (2020)

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  24. Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72(2), 297–300 (1978)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  26. Rassias, T.M.: On the stability of functional equations and a problem of Ulam. Acta Appl. Math. 62, 23–130 (2000)

    Article  MathSciNet  Google Scholar 

  27. Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010)

    MathSciNet  MATH  Google Scholar 

  28. Yu, A.H.: Variational iteration method for solving the multi-pantograph delay equation. Phys. Lett. A 372, 6475–6479 (2008)

    Article  MathSciNet  Google Scholar 

  29. Nemati, S., Lima, P., Sedaghat, S.: An effective numerical method for solving fractional pantograph differential equations using modification of hat functions. Appl. Numer. Math. 131, 174–189 (2018)

    Article  MathSciNet  Google Scholar 

  30. Tohidi, E., Bhrawy, A.H., Erfani, K.A.: Collocation method based on Bernoulli operational matrix for numerical solution of generalized pantograph equation. Appl. Math. Model. 37, 4283–4294 (2012)

    Article  MathSciNet  Google Scholar 

  31. Liu, M.Z., Li, D.: Properties of analytic solution and numerical solution of multi-pantograph equation. Appl. Math. Comput. 155, 853–871 (2004)

    MathSciNet  MATH  Google Scholar 

  32. Balachandran, K., Kiruthika, S., Trujillo, J.J.: Existence of solution of nonlinear fractional pantograph equations. Acta Math. Sci. 33B(3), 712–720 (2013)

    Article  MathSciNet  Google Scholar 

  33. Iqbal, M., Shah, K., Khan, R.: 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., 1–12 (2019).

    Article  Google Scholar 

  34. Rabiei, K., Ordokhani, Y.: Solving fractional pantograph delay differential equations via fractional-order Boubaker polynomials. Eng. Comput. 35(4), 1431–1441 (2019)

    Article  Google Scholar 

  35. Khan, H., Tunc, C., Khan, A.: Green function’s properties and existence theorems for nonlinear singular-delay-fractional differential equations. Discrete Contin. Dyn. Syst., Ser. S 13(9), 2475–2487 (2020)

    MathSciNet  MATH  Google Scholar 

  36. Ali, G., Shah, K., Rahman, G.: Existence of solution to a class of fractional delay differential equation under multi-points boundary conditions. Arab J. Basic Appl. Sci. 27(1), 471–479 (2020)

    Article  Google Scholar 

  37. Ahmed, I., Kumam, P., Abubakar, J., Borisut, P., Sitthithakerngkiet, K.: Solutions for impulsive fractional pantograph differential equation via generalized anti-periodic boundary condition. Adv. Differ. Equ. 2020(1), 477 (2020)

    Article  MathSciNet  Google Scholar 

  38. Ali, G., Shah, K., Rahman, G.: Investigating a class of pantograph differential equations under multi-points boundary conditions with fractional order. Int. J. Appl. Comput. Math. 7(1), 1–13 (2020)

    MathSciNet  Google Scholar 

Download references


We are thankful to the reviewers for careful reading and suggestions, which improved the paper very much. The authors T. Abdeljawad and A. Khan would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.


No source is available.

Author information

Authors and Affiliations



All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Thabet Abdeljawad or Hasib Khan.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bahar Ali Khan, M., Abdeljawad, T., Shah, K. et al. Study of a nonlinear multi-terms boundary value problem of fractional pantograph differential equations. Adv Differ Equ 2021, 143 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: