Skip to main content

Theory and Modern Applications

Stability analysis of initial value problem of pantograph-type implicit fractional differential equations with impulsive conditions


In this paper, we study an initial value problem for a class of impulsive implicit-type fractional differential equations (FDEs) with proportional delay terms. Schaefer’s fixed point theorem and Banach’s contraction principle are the key tools in obtaining the required results. We apply our results to a numerical problem for demonstration purpose.

1 Introduction

Differential equations have been proved to be powerful tools to describe many phenomena in real-world problems. There has been a significant advancement in studying various classes of differential equations. We refer to some recent work [15]. In the recent years the trend is changed from classical integer-order derivatives to fractional-order derivatives. This is because of the fact that the study of many mathematical models of real-world problems with fractional-order derivatives produces significant results. The main advantage of noninteger-order derivatives is that they are global operators and produce accurate and stable results, whereas integer-order derivatives are local operators. Due to these dominant advantages, various classes of differential equations are reformulated and constructed in terms of fractional-order derivatives. We refer to some problems such as world population growth models, blood alcohol level problems, video tape models, and so on, where fractional-order derivatives are applied as powerful tools. Similarly, fractional-order derivatives have applications in other fields like electrodynamics, fluid dynamics, fluid mechanics, and so on; see [615].

The class of implicit differential equations is one of the major classes of differential equations. These equations have applications in managerial and economic sciences. In economical problems the differential equations in equilibrium state we dealing with are mostly of implicit type. Similarly, with the help of implicit functions, we can investigate noteworthy features of most real-life isolines or surface geometry. We refer to some recent work on implicit differential equations [1618].

On other hand, differential equations with impulsive conditions play an important role almost in every subject of science. Dynamical systems with impulsive phenomena have applications in physics, biology, economics, engineering, and so forth. Differential equations with impulsive conditions are used to model certain processes with discontinuous jumps and abrupt changes that cannot be modeled by classical differential equations; see [1926]. Considerable attention has been given to impulsive differential equations, but it is worth noticing that many aspects of these equations yet need to be studied and explored.

There are several types of delay differential equations. One type is proportional delay differential equations, also known as pantograph differential equations. The importance of these equations is due to their ability to model several problems in economics, chemistry, medicine, biology, infectious diseases, physiological and pharmaceutical kinetics, chemical kinetics, absorption of light by the interstellar matter, physics, population studies, number theory, the navigational control of ships and aircraft, electronic systems, electrodynamics, quantum mechanics, and so on [2730].

Implicit differential equations with proportional delay occur in many applied physical applications. In economics the sudden rise and fall in stock exchange or in the status at time t as a function of that time with some delay is inevitable in decision making problems. This is a practical significance of pantograph implicit impulsive differential equations. For some interesting applications of proportional delay differential equations, we refer to [31] and references therein.

Motivated by the aforementioned applications of implicit impulsive pantograph differential equations, in this paper, we study two important aspects; the existence of solutions and the Hyers–Ulam stability of the following initial value problem of implicit impulsive differential equations with proportional delay term:

$$ \textstyle\begin{cases} {}_{0}^{c}D_{x_{n}}^{\alpha }z(x)={f}(x,z(x),z({m} x),_{0}^{c}D_{x_{n}}^{\alpha }{z(x))},\quad x\in {J}, \\ x\neq x_{n} \quad \text{for } {n}=1,2,\dots,k, 0< \alpha \leq 1, 0< {m}< 1, \\ z(0)=z_{0}, \\ \Delta z(x_{n})=I_{n}(z(x_{n})),\quad {n}=1,2,\dots,k, \end{cases} $$

where \({J}=[0,T], T>0\), \({}_{0}^{c}D_{x_{n}}^{\alpha }\) denotes the Caputo derivative at points other than \(x_{n}\) in J, and \({f}:{J}\times {R}^{3}\rightarrow {R}\) and \(\Phi:C({J},{R})\rightarrow {R}\) are given continuous functions. Further, \(I_{n}:{R}\rightarrow {R}\) are nonlinear impulsive mappings, and \(\Delta z(x_{n})=z(x^{+}_{{n}})-z(x^{-}_{{n}})\), where \(z(x^{+}_{{n}})\) and \(z(x^{-}_{{n}})\) are the right and left limits of z, respectively, at \(x_{n}\), \({n}=1,2,\dots,k\).

It is important to note that in this paper, we use the notations HU for Hyers–Ulam, GHU for generalized Hyers–Ulam, HUR for Hyers–Ulam–Rassias, and GHUR for generalized Hyers–Ulam–Rassis, respectively.

The rest of the paper is organized as follows. In Sect. 2, we give some definitions and preliminary results necessary in this study. In Sect. 3, we give results concerning the existence of solutions. In Sect. 4, we study the Hyers–Ulam stability and Hyers–Ulam–Rassias stability of problem (1). In Sect. 5, we illustrate the applications of our main results by providing a self-illustrative example. In Sect. 6, we conclude our work.

2 Preliminaries

This section is concerned with introduction to some basic results and definitions.

Let \({J}=[0,T]\) with \(0=x_{0}< x_{1}< x_{2}<\cdots <x_{n}=T\). We denote by E the space \(PC({J},{R})\) of all piecewise continuous functions on J. More precisely, let \({J}= {J}_{0} \cup {J}_{1} \cup {J}_{2} \cup \cdots \cup {J}_{n}\), where \({J}_{0}=[x_{0},x_{1}],{J}_{1}=(x_{1},x_{2}],{J}_{2}=(x_{2},x_{3}], \dots,{J}_{n}=(x_{n},x_{{n}+1}] \), \({n}=1,2,3,\dots,k\), and \({J}'={J}\setminus \{x_{1},x_{2},\dots,x_{n}\}\). Then

$$ {E}= \bigl\{ z:{J}\rightarrow {R}: z\in C({J}_{n},{R}), \text{ and } z \bigl(x^{+}_{{n}} \bigr), z \bigl(x^{-}_{{n}} \bigr) \text{ exist} \bigr\} , $$

and \(\Delta z(x_{n})=z(x^{+}_{{n}})-z(x^{-}_{{n}}) \text{ for } {n}=1,2, \dots,k\). The space \(({E},\|\cdot \|_{E})\) is a Banach space with respect to the norm \(\|z\|_{{E}}=\max \{|z(x)|: x\in {J}\}\).

Definition 1


The Riemann fractional integral of a function \(z\in L^{1}([0,T],{R}_{+})\) is defined as

$$ {_{0}I_{x}^{\alpha }}z(x)=\frac{1}{\Gamma (\alpha )} \int _{0}^{x}(x- \tau )^{\alpha -1}z(\tau )\,d \tau,$$

where \(\alpha \in (0, \infty )\) is the order of integration, and the integral on the right-hand side is pointwise defined on \((0, \infty )\).

Definition 2


The Caputo fractional-order derivative of a function \(z:(0,\infty )\rightarrow {R}\) is defined as

$$ {_{0}^{c}D_{x}^{\alpha }} z(x)= \frac{1}{\Gamma (n-\alpha )} \int _{0}^{x}(x- \tau )^{n-\alpha -1}z^{(n)}( \tau )\,d\tau,$$

where n=\([\alpha ]+1\), and \([\alpha ]\) is the integral part of a real number α.

Lemma 1


For \(\alpha >0\), the solution of FDE

$$ {_{0}^{c}D_{x}^{\alpha }} z(x)=h(x), $$

is given by

$$ z(x)={_{0}I_{x}^{\alpha }}h(x)+\sum _{i=0}^{n-1}\frac{z^{(i)}(0)}{i!}x^{i},$$

where \(n=[\alpha ]+1\).

Let \(\varphi \in C({J},{R}_{+})\) be a nondecreasing function. We assume that for \(s\in {E}\), \(\epsilon >0\), and \(\omega \geq 0\), the following inequalities hold:

$$\begin{aligned}& \textstyle\begin{cases} \vert {_{0}^{c}D_{x_{n}}^{\alpha }} s(x)-{f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }}{s(x))} \vert \leq \epsilon,\quad x\in {J}_{n}, {n}=1,2,\dots,k, \\ \vert \Delta s(x_{n})-I_{n}(s(x_{n})) \vert \leq \epsilon,\quad {n}=1,2,\dots,k; \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& \textstyle\begin{cases} \vert {_{0}^{c}D_{x_{n}}^{\alpha }} s(x)-{f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }}{s(x))} \vert \leq \varphi (x),\quad x\in {J}_{n}, {n}=1,2,\dots,k, \\ \vert \Delta s(x_{n})-I_{n}(s(x_{n})) \vert \leq \omega,\quad {n}=1,2,\dots,k; \end{cases}\displaystyle \end{aligned}$$


$$ \textstyle\begin{cases} \vert {_{0}^{c}D_{x_{n}}^{\alpha }} s(x)-{f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }}{s(x))} \vert \leq \epsilon \varphi (x),\quad x\in {J}_{n}, {n}=1,2, \dots,k, \\ \vert \Delta s(x_{n})-I_{n}(s(x_{n})) \vert \leq \epsilon \omega,\quad {n}=1,2, \dots,k. \end{cases} $$

Definition 3


Problem (1) is HU stable if there exists a real number \(C_{f}>0\) such that for any solution \(s\in {E}\) of inequality (2), there are a unique solution \(z\in {E}\) of (1) and \(\epsilon >0\) such that

$$ \bigl\vert s(x)-z(x) \bigr\vert \leq C_{f}\epsilon,\quad x\in {J}.$$

Definition 4


Problem (1) is GHU stable if there exists a real function \(\vartheta \in C({R}_{+},{R}_{+})\) with \(\vartheta (0)=0\) such that for any solution \(s\in {E}\) of inequality (2), there exist a unique solution \(z\in {E}\) of (1) and \(\epsilon >0\) such that

$$ \bigl\vert s(x)-z(x) \bigr\vert \leq \vartheta (\epsilon ),\quad x\in {J}.$$

Definition 5


Problem (1) is HUR stable with respect to \((\omega,\varphi )\) if there exists a real number \(C_{f}>0\) such that for any solution \(s\in {E}\) of inequality (4), there is a unique solution \(z\in {E}\) of (1) such that

$$ \bigl\vert s(x)-z(x) \bigr\vert \leq C_{f}\epsilon \bigl(\omega + \varphi (x) \bigr),\quad x\in {J}.$$

Definition 6


Problem (1) is GHUR stable with respect to \((\omega,\varphi )\) if there exists \(C_{f}\in {R}>0\) such that for any solution \(s\in {E}\) of inequality (3), there is a unique solution \(z\in {E}\) of (1) such that

$$ \bigl\vert s(x)-z(x) \bigr\vert \leq C_{f} \bigl(\omega +\varphi (x) \bigr),\quad x\in {J}.$$

Remark 1

A function \(s\in {E}\) is a solution of (2) if there are a function \(\theta \in {E}\) and a sequence \(\theta _{n}\) (which depends on s) such that

  1. (i)

    \(|\theta (x)|\leq \epsilon \), \(|\theta _{n}|\leq \epsilon \), \(x\in {J}_{n}, {n}=1,2,\dots,k\);

  2. (ii)

    \({_{0}^{c}D_{x_{n}}^{\alpha }} s(x)={f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }} s(x))+\theta (x)\), \(x\in {J}_{n}\), \({n}=1,2,\dots,k\);

  3. (iii)

    \(\Delta s(x_{n})=I_{n}(s(x_{n}))+\theta _{n}\), \(x\in {J}_{n}\), \({n}=1,2,\dots,k\).

Remark 2

A function \(s\in {E}\) is a solution of (3) if there are a function \(\theta \in {E}\) and a sequence \(\theta _{n}\) (which depends on s) such that

  1. (i)

    \(|\theta (x)|\leq \varphi (x)\), \(|\theta _{n}|\leq \omega \), \(x\in {J}_{n}, {n}=1,2,\dots,k\);

  2. (ii)

    \({_{0}^{c}D_{x_{n}}^{\alpha }} s(x)={f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }} s(x))+\theta (x)\), \(x\in {J}_{n}\), \({n}=1,2,\dots,k\);

  3. (iii)

    \(\Delta s(x_{n})=I_{n}(s(x_{n}))+\theta _{n}\), \(x\in {J}_{n}\), \({n}=1,2,\dots,k\).

Remark 3

A function \(s\in {E}\) is a solution of (4) if there are a function \(\theta \in {E}\) and sequence \(\theta _{n}\) (which depends on s) such that

  1. (i)

    \(|\theta (x)|\leq \epsilon \varphi (x)\), \(|\theta _{n}|\leq \epsilon \omega \), \(x\in {J}_{n}, {n}=1,2,\dots,k\);

  2. (ii)

    \({_{0}^{c}D_{x_{n}}^{\alpha }} s(x)={f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }} s(x))+\theta (x)\), \(x\in {J}_{n}\), \({n}=1,2,\dots,k\);

  3. (iii)

    \(\Delta s(x_{n})=I_{n}(s(x_{n}))+\theta _{n}\), \(x\in {J}_{n}\), \({n}=1,2,\dots,k\).

Theorem 1


Let \(\mathscr{W}:{E}\rightarrow {E}\) be a completely continuous operator, where E is a Banach space, and \(\Omega =\{z\in {E}: z=\delta \mathscr{W}z, 0<\delta <1\}\) is a bounded set. Then \(\mathscr{W}\) has at least one fixed point in E.

3 Existence of solution: main results

In this section, we derive conditions for the existence and uniqueness of a solution for problem (1).

Lemma 2

Let \(\psi:{J}\rightarrow {R}\) be a continuous function, and let \(0<\alpha \leq 1\). Then a function \(z\in {E}\) is a solution of the impulsive problem

$$ \textstyle\begin{cases} {_{0}^{c}D_{x_{n}}^{\alpha }} z(x)=\psi (x), \quad x\in {J}, x\neq x_{n} \textit{ for } {n}=1,2,\dots,k, \\ z(0)=z_{0}, \\ \Delta z(x_{n})=I_{n}(z(x_{n})), \quad {n}=1,2,\dots,k, \end{cases} $$

if and only if z satisfies the integral equation

$$ z(x)=\textstyle\begin{cases} \frac{1}{\Gamma (\alpha )}\int _{0}^{x}(x-\tau )^{\alpha -1}\psi ( \tau )\,d\tau +z_{0}, \quad x\in {J}_{0}, \\ \frac{1}{\Gamma (\alpha )}\int _{x_{n}}^{x}(x-\tau )^{\alpha -1} \psi (\tau )\,d\tau +\sum_{i=1}^{{n}} [\frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{\alpha -1}\psi (\tau )\,d\tau \\ \quad{} +I_{i}(z(x_{i})) ]+z_{0}, \quad x\in {J}_{n}, {n}=1,2,\dots,k. \end{cases} $$


Let z be a solution of (5). Then applying Lemma 1, for each \(x\in {J}_{0}\), we have

$$\begin{aligned} z(x)-z(0)={_{0}I_{x}^{\alpha }} \psi (x), \end{aligned}$$

which implies

$$\begin{aligned} z(x)=\frac{1}{\Gamma (\alpha )} \int _{0}^{x}(x-\tau )^{\alpha -1} \psi (\tau )\,d \tau +z(0). \end{aligned}$$

Using the initial condition \(z(0)=z_{0}\), from (7) we have

$$ z(x)=\frac{1}{\Gamma (\alpha )} \int _{0}^{x}(x-\tau )^{\alpha -1} \psi (\tau )\,d \tau +z_{0},\quad x\in {J}_{0}. $$

Similarly, for \(x\in {J}_{1}\), we have

$$ z(x)=\frac{1}{\Gamma (\alpha )} \int _{x_{1}}^{x}(x-\tau )^{\alpha -1} \psi (\tau )\,d \tau +z(x_{1}) $$


$$ z \bigl(x_{1}^{-} \bigr)=\frac{1}{\Gamma (\alpha )} \int _{0}^{x}(x-\tau )^{ \alpha -1}\psi (\tau )\,d \tau +z_{0},\qquad z \bigl(x_{1}^{+} \bigr)=z(x_{1}).$$


$$ \Delta z(x_{1})=z \bigl(x_{1}^{+} \bigr)-z \bigl(x_{1}^{-} \bigr)=I_{1} \bigl(z(x_{1}) \bigr) $$

we get

$$ z(x_{1})=\frac{1}{\Gamma (\alpha )} \int _{0}^{x}(x-\tau )^{\alpha -1} \psi (\tau )\,d \tau +z_{0}+I_{1} \bigl(z(x_{1}) \bigr).$$

Putting for \(z(x_{1})\), (9) implies

$$\begin{aligned} z(x)={}&\frac{1}{\Gamma (\alpha )} \int _{x_{1}}^{x}(x- \tau )^{\alpha -1}\psi (\tau )\,d \tau +\frac{1}{\Gamma (\alpha )} \int _{0}^{x}(x- \tau )^{\alpha -1}\psi (\tau )\,d \tau \\ &{} +z_{0}+I_{1} \bigl(z(x_{1}) \bigr),\quad x\in {J}_{1}. \end{aligned}$$

Generalizing in this way, for \(x\in {J}_{n}\), we have

$$ \begin{aligned} z(x)={}&\frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x- \tau )^{\alpha -1}\psi (\tau )\,d \tau +\sum_{i=1}^{{n}} \biggl[ \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1}\psi (\tau )\,d\tau \\ &{} +I_{i} \bigl(z(x_{i}) \bigr) \biggr]+z_{0}, \quad {n}=1,2,\dots,k. \end{aligned} $$

Thus from (8) and (10) we get (6).

Now, conversely, let z be a solution of (6). Then taking the αth-order derivative of (6) gives the differential equation in (5). This completes the proof. □

Corollary 1

From Lemma 2we get the following solution for our problem (1):

$$ z(x)=\textstyle\begin{cases} \frac{1}{\Gamma (\alpha )}\int _{0}^{x}(x-\tau )^{\alpha -1}{f}(x,z(x),z({m} x),{_{0}^{c}D_{x_{n}}^{\alpha }}{z(x))}\,d\tau +z_{0}, \quad x\in {J}_{0}, \\ \frac{1}{\Gamma (\alpha )}\int _{x_{n}}^{x}(x-\tau )^{\alpha -1}{f}(x,z(x),z({m} x),{_{0}^{c}D_{x_{n}}^{\alpha }}{z(x))}\,d\tau \\ \quad{} +\sum_{i=1}^{{n}} [\frac{1}{\Gamma (\alpha )}\int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1}{f}(x,z(x),z({m} x),{_{0}^{c}D_{x_{n}}^{\alpha }}{z(x))}\,d \tau \\ \quad{} +I_{i}(z(x_{i})) ]+z_{0},\quad x\in {J}_{n}, {n}=1,2,\dots,k. \end{cases} $$

We use the notation \({u}_{z}(x)={f}(x,z(x),z({m} x),{_{0}^{c}D_{x_{n}}^{\alpha }}{z(x))}={f}(x,z(x),z({m} x),{u}_{z}(x))\).

The following assumptions are necessary in obtaining the main results.


\({f}:{J}\times {R}^{3}\rightarrow {R}\) is continuous;


There exist constants \(M_{f}>0\) and \(0< N_{f}<1\) such that for all \(x\in {J}\) and \(z,\bar{z}\in {R}\), we have the following relation:

$$\begin{aligned} & \bigl\vert {f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr)-{f} \bigl(x, \bar{z}(x), \bar{z}({m} x),{u}_{\bar{z}}(x) \bigr) \bigr\vert \\ &\quad\leq M_{f} \bigl( \bigl\vert z(x)-\bar{z}(x) \bigr\vert + \bigl\vert z({m} x)- \bar{z}({m} x) \bigr\vert \bigr) \\ &\qquad{} +N_{f} \bigl\vert {u}_{z}(x)-{u}_{\bar{z}}(x) \bigr\vert . \end{aligned}$$

For any \(z,\bar{z}\in {E}\), there exists a constant \(A^{*}_{I}>0\) such that

$$ \bigl\vert I_{i} \bigl(z(x_{i}) \bigr)-I_{i} \bigl(\bar{z}(x_{i}) \bigr) \bigr\vert \leq A^{*}_{I} \bigl\vert z(x_{i})- \bar{z}(x_{i}) \bigr\vert ; $$

there exist functions \(a, b, c\in C({J},{R}^{+})\) such that

$$ \bigl\vert {f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr) \bigr\vert \leq a(x)+b(x) \bigl( \bigl\vert z(x) \bigr\vert + \bigl\vert z({m} x) \bigr\vert \bigr)+c(x) \vert {u}_{z} \vert $$

with \(c^{*}=\sup_{x\in {J}}c(x)<1\);


Let for each \(z\in {R}\), \(i=1,2,\dots,{n}\), there exist constants \(K, L>0\), such that \(|I_{i}(z)|\leq K|z|+L\);


Let for a nondecreasing function \(\varphi \in PC({J},{R}_{+})\) and constant \(\varrho _{\varphi }>0\), the following inequality hold:

$$ I^{\alpha }{\varphi (x)}\leq \varrho _{\varphi }\varphi (x),\quad x \in {J}. $$

We convert our problem to a fixed-point problem by defining the operator \(\mathscr{W}:C({J},{R})\rightarrow C({J},{R})\) as

$$ \textstyle\begin{cases} (\mathscr{W}z)(x)=\frac{1}{\Gamma (\alpha )}\int _{0}^{x}(x- \tau )^{\alpha -1}{u}_{z}(\tau )\,d\tau +z_{0},\quad x\in {J}_{0}, \\ (\mathscr{W}z)(x)=\frac{1}{\Gamma (\alpha )}\int _{x_{n}}^{x}(x- \tau )^{\alpha -1}{u}_{z}(\tau )\,d\tau +\sum_{i=1}^{{n}} [ \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1}{u}_{z}(\tau )\,d\tau \\ \phantom{(\mathscr{W}z)(x)=}{}+I_{i}(z(x_{i})) ] +z_{0},\quad {n}=1,2,\dots,k, \end{cases} $$

Theorem 2

Suppose conditions \((A_{1})\)\((A_{5})\) are satisfied. Then problem (1) has at least one solution in the given interval.


The proof is divided into four steps.

Step 1: \(\mathscr{W}\) is continuous. Let \(\{z_{n}\}\in C({J},{R})\) be a sequence such that \(z_{n}\rightarrow z\in C({J},{R})\). For each \(x\in {J}_{n}\), we have

$$ \begin{aligned} & \bigl\vert (\mathscr{W}z_{n}) (x)-(\mathscr{W}z) (x) \bigr\vert \\ &\quad\leq \frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1} \bigl\vert {u}_{z_{n}}( \tau )-{u}_{z}(\tau ) \bigr\vert \,d\tau \\ &\qquad{} +\sum_{i=1}^{{n}} \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert {u}_{z_{n}}(\tau )-{u}_{z}(\tau ) \bigr\vert \,d\tau +\sum_{i=1}^{{n}} \bigl\vert I_{i} \bigl(z_{n}(x_{i}) \bigr)-I_{i} \bigl(z(x_{i}) \bigr) \bigr\vert , \end{aligned} $$

where \({u}_{z_{n}},{u}_{z}\in C({J},{R})\) satisfy

$$\begin{aligned} &{u}_{z_{n}}(x)={f} \bigl(x,z_{n}(x),z_{n}({m} x),{u}_{z_{n}}(x) \bigr), \\ &{u}_{z}(x)={f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr). \end{aligned}$$

By \((A_{2})\) we get

$$\begin{aligned} \bigl\vert {u}_{z_{n}}(x)-{u}_{z}(x) \bigr\vert \leq \frac{2M_{f}}{1-N_{f}} \bigl\vert z_{n}(x)-z(x) \bigr\vert . \end{aligned}$$

Now \(z_{n}\rightarrow z\) as \(n\rightarrow \infty \) implies \({u}_{z_{n}}(x)\rightarrow {u}_{z}(x)\) for each \(x\in {J}_{n}\). We know that every convergent sequence is bounded. So let \(\aleph >0\) be such that for each \(x\in {J}\), we have \(|{u}_{z_{n}}(x)|\leq \aleph \) and \(|{u}_{z}(x)|\leq \aleph \). Then

$$\begin{aligned} (x-\tau )^{\alpha -1} \bigl\vert {u}_{z_{n}}(\tau )-{u}_{z}(\tau ) \bigr\vert &\leq (x- \tau )^{\alpha -1} \bigl( \bigl\vert {u}_{z_{n}}(\tau ) \bigr\vert + \bigl\vert {u}_{z}(\tau ) \bigr\vert \bigr) \\ &\leq 2\aleph (x-\tau )^{\alpha -1}, \\ (x_{i}-\tau )^{\alpha -1} \bigl\vert {u}_{z_{n}}(\tau )-{u}_{z}(\tau ) \bigr\vert &\leq (x_{i}- \tau )^{\alpha -1} \bigl( \bigl\vert {u}_{z_{n}}(\tau ) \bigr\vert + \bigl\vert {u}_{z}(\tau ) \bigr\vert \bigr) \\ &\leq 2\aleph (x_{i}-\tau )^{\alpha -1}. \end{aligned}$$

For each \(x\in {J}_{n}\), the functions \(\tau \rightarrow 2\aleph (x-\tau )^{\alpha -1}\) and \(\tau \rightarrow 2\aleph (x_{i}-\tau )^{\alpha -1}\) are integrable. Also, f and I are continuous. Thus applying the Lebesgue dominated convergence theorem, we have \(|(\mathscr{W}z_{n})(x)-(\mathscr{W}z)(x)|\rightarrow 0\) as \(n\rightarrow \infty \). Hence, in particular, \(\max_{x\in {J}}|\mathscr{W}z_{n}(x)-\mathscr{W}z(x)|\rightarrow 0\) as \(n\rightarrow \infty \), which implies that \(\|\mathscr{W}z_{n}-\mathscr{W}z\|_{E}\rightarrow 0 \text{ as } n \rightarrow \infty \). Similarly, for each \(x\in {J}_{0}\), we can show that \(\|\mathscr{W}z_{n}-\mathscr{W}z\|_{E}\rightarrow 0\) as \(n\rightarrow \infty \). Therefore \(\mathscr{W}\) is continuous.

Step 2: Here we show that \(\mathscr{W}\) is bounded. Let for \(\gamma >0\), there exist a positive real number \(\Theta >0\) such that for each \(z\in \Omega _{\gamma }=\{z\in {E}: \|z\|_{E}\leq \gamma \}\), we have \(\|\mathscr{W}(z)\|_{E}\leq \Theta \).

For \(x\in {J}_{n}\), consider

$$\begin{aligned} \bigl\vert (\mathscr{W}z) (x) \bigr\vert \leq{}& \frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x- \tau )^{\alpha -1} \bigl\vert {u}_{z}(\tau ) \bigr\vert \,d\tau +\sum _{i=1}^{{n}} \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1} \bigl\vert {u}_{z}(\tau ) \bigr\vert \,d\tau \\ & {}+\sum_{i=1}^{{n}} \bigl\vert I_{i} \bigl(z(x_{i}) \bigr) \bigr\vert + \vert z_{0} \vert . \end{aligned}$$

By \((A_{4})\) for \(x\in {J}_{n}\), we have

$$\begin{aligned} \bigl\vert {u}_{z}(x) \bigr\vert &= \bigl\vert {f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr) \bigr\vert \\ &\leq a(x)+b(x) \bigl( \bigl\vert z(x) \bigr\vert + \bigl\vert z({m} x) \bigr\vert \bigr)+c(x) \bigl\vert {u}_{z}(x) \bigr\vert \\ &\leq a(x)+2b(x) \Vert z \Vert _{E}+c(x) \bigl\vert {u}_{z}(x) \bigr\vert \\ &\leq a(x)+2b(x)\gamma +c(x) \bigl\vert {u}_{z}(x) \bigr\vert \\ &\leq a^{*}+2b^{*}\gamma +c^{*} \bigl\vert {u}_{z}(x) \bigr\vert , \end{aligned}$$

where \(a^{*}=\sup_{x\in {J}_{n}}a(x), b^{*}=\sup_{x\in {J}_{n}}b(x)\), and \(c^{*}=\sup_{x\in {J}_{n}}c(x)<1\).


$$ \bigl\vert {u}_{z}(x) \bigr\vert \leq \frac{a^{*}+2b^{*}\gamma }{1-c^{*}}= \mu.$$

By application of assumptions \((A_{4})\)\((A_{5})\) we obtain

$$\begin{aligned} \bigl\vert (\mathscr{W}z) (x) \bigr\vert &\leq \frac{\mu }{\Gamma (\alpha )} \int _{x_{n}}^{x}(x- \tau )^{\alpha -1}\,d\tau + \frac{\mu }{\Gamma (\alpha )}\sum_{i=1}^{{n}} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{\alpha -1} \,d\tau +{n} \bigl(K \vert z \vert +L \bigr)+ \zeta \\ &\leq \frac{\mu (1+{n})T^{\alpha }}{\Gamma (\alpha +1)}+{n}(K\gamma +L)+ \zeta =\Theta. \end{aligned}$$


$$ \Vert \mathscr{W}z \Vert _{E}\leq \frac{\mu (1+{n})T^{\alpha }}{\Gamma (\alpha +1)}+{n}(K\gamma +L)+\zeta = \Theta. $$

Similarly, for \(x\in {J}_{0}\), we can show that

$$ \Vert \mathscr{W}z \Vert _{E}\leq \Theta.$$

Step 3: We show \(\mathscr{W}\) maps bounded sets into equicontinuous sets of E.

Let \(x_{1}, x_{2}\in {J}_{n}\) be such that \(x_{1}< x_{2}\). As in Step 2, take a bounded set \(\Omega _{\gamma ^{*}}\). For \(z\in \Omega _{\gamma ^{*}}\), we have

$$ \begin{aligned} & \bigl\vert (\mathscr{W}z) (x_{2})-(\mathscr{W}z) (x_{1}) \bigr\vert \\ &\quad \leq \biggl\vert \frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x_{2}}(x_{2}-\tau )^{\alpha -1}{u}_{z}( \tau )\,d\tau -\frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x_{1}}(x_{1}- \tau )^{\alpha -1}{u}_{z}(\tau ) \biggr\vert \,d\tau \\ & \qquad{}+\sum_{0< x_{n}< x_{2}-x_{1}}\frac{1}{\Gamma (\alpha )} \int _{x_{{n}-1}}^{x_{n}}(x_{n}- \tau )^{\alpha -1} \bigl\vert {u}_{z}(\tau ) \bigr\vert \,d\tau +\sum _{0< x_{n}< x_{2}-x_{1}} \bigl\vert I_{n} \bigl(z(x_{n}) \bigr) \bigr\vert . \end{aligned} $$

We see that the right-hand side of (13) approaches 0 as \(x_{1}\rightarrow x_{2}\). Therefore \(|(\mathscr{W}z)(x_{2})-(\mathscr{W}z)(x_{1})|\rightarrow 0\) as \(x_{1}\rightarrow x_{2}\). Similarly, in a subinterval \({J}_{0}\), we can show that \(|(\mathscr{W}z)(x_{2})-(\mathscr{W}z)(x_{1})|\rightarrow 0\) as \(x_{1}\rightarrow x_{2}\). Therefore, as a result of Steps 1–3 and the Ascoli–Arzelà theorem, we conclude that \(\mathscr{W}: {E}\rightarrow {E}\) is completely continuous.

Step 4: In this final step, we define the set \(\mho =\{z\in {E}: z=\delta \mathscr{W}z \text{ for some } 0<\delta <1 \}\). We need to show that is bounded. Let \(z\in \mho \). Then \(z=\delta \mathscr{W}z\) for some \(0<\delta <1\). Hence for each \(x\in {J}_{n}\), we have

$$\begin{aligned} z(x)={}&\frac{\delta }{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{ \alpha -1}{u}_{z}( \tau )\,d\tau +\delta \sum_{0< x_{n}< x} \frac{1}{\Gamma (\alpha )} \int _{x_{{n}-1}}^{x_{n}}(x_{n}-\tau )^{ \alpha -1}{u}_{z}(\tau )\,d\tau \\ &{}+\delta \sum_{0< x_{n}< x}I_{n} \bigl(z(x_{n}) \bigr)+\delta z_{0}. \end{aligned}$$

Now since \(0<\delta <1\), from the above we have

$$\begin{aligned} \bigl\vert z(x) \bigr\vert \leq {}&\frac{a^{*}+2b^{*} \Vert z \Vert _{E}}{(1-c^{*})\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1}\,d\tau +\sum _{0< x_{n}< x} \frac{a^{*}+2b^{*} \Vert z \Vert _{E}}{(1-c^{*})\Gamma (\alpha )} \int _{x_{{n}-1}}^{x_{n}}(x_{n}- \tau )^{\alpha -1}\,d\tau \\ &{}+\sum_{0< x_{n}< x} \bigl\vert I_{n} \bigl(z(x_{n}) \bigr) \bigr\vert + \vert z_{0} \vert , \end{aligned}$$

from which we have

$$\begin{aligned} \Vert z \Vert _{E}\leq \frac{a^{*}+2b^{*} \Vert z \Vert _{E}T^{\alpha }}{(1-c^{*})\Gamma (\alpha +1)}+ \frac{{n}(a^{*}+2b^{*} \Vert z \Vert _{E})T^{\alpha }}{(1-c^{*})\Gamma (\alpha +1)}+{n}(K \gamma +L)+\zeta =:\mathbf{K}. \end{aligned}$$

A similar result can be achieved for \(x\in {J}_{0}\). Therefore is a bounded set. Hence, by applying Schaefer’s fixed point theorem, \(\mathscr{W}\) has at leat one confirmed fixed point. □

Theorem 3

Assume that conditions \((A_{1})\)\((A_{3})\) together with the inequality

$$ \biggl(\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr)< 1$$

are satisfied. Then (1) has a unique solution.


For \(z,\bar{z}\in {E}\) and \(x\in {J}_{n}\), we have

$$\begin{aligned} \bigl\vert (\mathscr{W}z) (x)-( \mathscr{W} \bar{z}) (x) \bigr\vert \leq {}&\frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1} \bigl\vert {u}_{z}(\tau )-{w}_{\bar{z}}( \tau ) \bigr\vert \,d\tau \\ &{}+\sum_{i=1}^{n}\frac{1}{\Gamma (\alpha )} \int _{x_{i}-1}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert {u}_{z}(\tau )-{w}_{\bar{z}}(\tau ) \bigr\vert \,d\tau \\ &{}+\sum_{i=1}^{n} \bigl\vert I \bigl(z(x_{i}) \bigr)-I \bigl(\bar{z}(x_{i}) \bigr) \bigr\vert , \end{aligned}$$

where \({u}_{z},{w}_{z}\in C({J},{R})\) are given by

$$\begin{aligned} &{u}_{z}(x)={f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr), \\ &{w}_{\bar{z}}(x)={f} \bigl(x,\bar{z}(x),\bar{z}({m} x),{w}_{\bar{z}}(x) \bigr). \end{aligned}$$

By \(({A_{2}})\) we have

$$\begin{aligned} \bigl\vert {u}_{z}(x)-{w}_{\bar{z}}(x) \bigr\vert &= \bigl\vert {f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr)-{f} \bigl(x, \bar{z}(x), \bar{z}({m} x),{w}_{\bar{z}}(x) \bigr) \bigr\vert \\ &\leq M_{f} \bigl( \bigl\vert z(x)-\bar{z}(x) \bigr\vert + \bigl\vert z({m} x)-\bar{{m} z}(x) \bigr\vert \bigr)+N_{f} \bigl\vert {u}_{z}(x)-{w}_{ \bar{z}}(x) \bigr\vert \\ &\leq 2M_{f}( \bigl\vert z(x)-\bar{z}(x) \bigr\vert +N_{f} \bigl\vert {u}_{z}(x)-{w}_{\bar{z}}(x) \bigr\vert . \end{aligned}$$


$$\begin{aligned} \bigl\vert {u}_{z}(x)-{w}_{\bar{z}}(x) \bigr\vert \leq \frac{2M_{f}}{1-N_{f}} \bigl\vert z(x)-\bar{z}(x) \bigr\vert . \end{aligned}$$

Thus by assumptions \((A_{2})\)\((A_{3})\) inequality (15) implies

$$\begin{aligned} & \bigl\vert (\mathscr{W}z) (x)-(\mathscr{W}\bar{z}) (x) \bigr\vert \\ &\quad \leq \frac{2M_{f}}{(1-N_{f})\Gamma (\alpha )} \int _{x_{n}}^{x}(x- \tau )^{\alpha -1} \bigl\vert z(\tau )-\bar{z}(\tau ) \bigr\vert \,d\tau \\ &\qquad{}+\sum_{i=1}^{n} \frac{2M_{f}}{(1-N_{f})\Gamma (\alpha )} \int _{x_{i}-1}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert z(\tau )-\bar{z}(\tau ) \bigr\vert \,d\tau \\ &\qquad{} +\sum_{i=1}^{n} A^{*}_{I} \bigl\vert z(x)-\bar{z}(x) \bigr\vert \\ &\quad \leq \biggl(\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr) \bigl\vert z(x)-\bar{z}(x) \bigr\vert . \end{aligned}$$

Taking the maximum norm, we get

$$ \Vert \mathscr{W}z-\mathscr{W}\bar{z} \Vert _{{E}} \leq \biggl( \frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr) \Vert z-\bar{z} \Vert _{{E}}.$$

Similarly, for \(z,\bar{z}\in {E}\) and \(x\in {J}_{0}\), we get

$$ \Vert \mathscr{W}z-\mathscr{W}\bar{z} \Vert _{{E}} \leq \biggl( \frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} \biggr) \Vert z-\bar{z} \Vert _{{E}}.$$


$$ \biggl(\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} \biggr)\leq \biggl(\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr)< 1,$$

\(\mathscr{W}\) is contraction operator, and therefore by Banach’s contraction principle \(\mathscr{W}\) has a unique fixed point in the given interval J. Thus problem (1) has a unique solution. □

4 Hyers–Ulam-type stability analysis

Here we study the Hyers–Ulam stability of problem (1).

Theorem 4

Assume that conditions \((A_{1})\)\((A_{5})\) and (14) hold. Then proposed problem (1) is HU stable.


Let \(s\in {E}\) be any solution of (2), and let z be the unique solution of

$$ \textstyle\begin{cases} {_{0}^{c}D_{x_{n}}^{\alpha }} z(x)={f}(x,z(x),z({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }}{z(x))},\quad x\in {J}, \\ x\neq x_{n} \quad\text{for } {n}=1,2,\dots,k, 0< \alpha \leq 1, \\ z(0)=z_{0}, \\ \Delta z(x_{n})=I_{n}(z(x_{n})), \quad {n}=1,2,\dots,k. \end{cases} $$

By Lemma 2, for \(x\in {J}_{n}\), we have

$$\begin{aligned} z(x)={}&\frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1}{u}_{z}( \tau )\,d\tau +\sum_{i=1}^{{n}} \biggl[ \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1}{u}_{z}(\tau )\,d\tau \\ &{}+I_{i} \bigl(z(x_{i}) \bigr) \biggr]+z_{0}, x \in {J}_{n},\quad {n}=1,2,\dots,k. \end{aligned}$$

By Remark 1 we get

$$ \textstyle\begin{cases}{_{0}^{c}D_{x_{n}}^{\alpha }} s(x)={f}(x,s(x),s({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }}{s(x))}+\theta (x), \quad x\in {J}, \\ x\neq x_{n} \quad \text{for } {n}=1,2,\dots,k, 0< \alpha \leq 1, \\ s(0)=s_{0}, \\ \Delta s(x_{n})=I_{n}(s(x_{n}))+\theta _{n}, \quad {n}=1,2,\dots,k. \end{cases} $$

The solution of (18) is

$$ s(x)=\textstyle\begin{cases} \frac{1}{\Gamma (\alpha )}\int _{0}^{x}(x-\tau )^{ \alpha -1}\bar{{u}_{z}}(\tau )\,d\tau +\frac{1}{\Gamma (\alpha )}\int _{0}^{x}(x- \tau )^{\alpha -1}\theta (\tau )\,d\tau +s_{0}, \quad x\in {J}_{0}, \\ \frac{1}{\Gamma (\alpha )}\int _{x_{n}}^{x}(x-\tau )^{\alpha -1} \bar{{u}_{z}}(\tau )\,d\tau +\frac{1}{\Gamma (\alpha )}\int _{x_{n}}^{x}(x- \tau )^{\alpha -1}\theta (\tau )\,d\tau \\ \quad{} +\sum_{i=1}^{{n}}\frac{1}{\Gamma (\alpha )}\int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1}\bar{{u}_{z}}(\tau )\,d\tau +\sum_{i=1}^{{n}} \frac{1}{\Gamma (\alpha )}\int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1}\theta (\tau )\,d\tau \\ \quad{} +\sum_{i=1}^{{n}}I_{i}(s(x_{i}))+\sum_{i=1}^{{n}}\theta _{i}+s_{0},\quad x\in {J}_{n}, {n}=1,2,\dots,k, \end{cases} $$

where \(\bar{{u}_{z}}\in C({J},{R})\) is given by

$$ \bar{{u}_{z}}(x)={f}(x,s(x),\bar{{u}_{z}}(x).$$

Therefore, for each \(x\in {J}_{n}\), we have

$$\begin{aligned} &\bigl\vert s(x)-z(x) \bigr\vert \\ &\quad \leq \frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x- \tau )^{\alpha -1} \bigl\vert \bar{{u}_{z}}(\tau )-{u}_{z}(\tau ) \bigr\vert \,d\tau + \frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1} \bigl\vert \theta (\tau ) \bigr\vert \,d\tau \\ &\qquad{} +\sum_{i=1}^{{n}}\frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert \bar{{u}_{z}}(\tau )-{u}_{z}( \tau ) \bigr\vert \,d\tau +\sum_{i=1}^{{n}} \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1} \bigl\vert \theta (\tau ) \bigr\vert \,d\tau \\ &\qquad{} +\sum_{i=1}^{{n}} \bigl\vert I_{i} \bigl(s(x_{i}) \bigr)-I_{i} \bigl(z(x_{i}) \bigr) \bigr\vert +\sum_{i=1}^{{n}} \vert \theta _{i} \vert ,\quad x\in {J}_{n}, {n}=1,2, \dots,k. \end{aligned}$$

By \(({A_{2}})\) we obtain

$$ \bigl\vert \bar{{u}_{z}}(x)-{u}_{z}(x) \bigr\vert \leq \frac{2M_{f}}{1-N_{f}} \bigl\vert s(x)-z(x) \bigr\vert .$$

Hence applying assumptions \(({A_{1}})\)\(({A_{4}})\) and Remark 1, we obtain

$$\begin{aligned} & \bigl\vert s(x)-z(x) \bigr\vert \\ &\quad \leq \frac{2M_{f}}{(1-N_{f})\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{ \alpha -1} \bigl\vert s(\tau )-z(\tau ) \bigr\vert \,d\tau +\frac{\epsilon }{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1}\,d\tau \\ &\qquad{} +\frac{2M_{f}}{(1-N_{f})\Gamma (\alpha )}\sum_{i=1}^{{n}} \int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert s(\tau )-z(\tau ) \bigr\vert \,d\tau +\sum _{i=1}^{{n}} \frac{\epsilon }{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1}\,d\tau \\ &\qquad{} +\sum_{i=1}^{{n}}A^{*}_{I} \bigl\vert s(x_{i})-z(x_{i}) \bigr\vert +\sum _{i=1}^{{n}} \epsilon,\quad x\in {J}_{n}, {n}=1,2,\dots,k. \end{aligned}$$

By taking the maximum norm and simplification we get

$$\begin{aligned} &\Vert s-z \Vert _{E}\\ &\quad\leq \epsilon \biggl( \frac{(1+{n})T^{\alpha }}{\Gamma (\alpha +1)}+{n} \biggr)+ \biggl( \frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr) \Vert s-z \Vert _{E}, \end{aligned}$$

from which we obtain

$$ \Vert s-z \Vert _{E}\leq \frac{\epsilon (\frac{(1+{n})T^{\alpha }}{\Gamma (\alpha +1)}+{n} )}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+\frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} )}. $$

Similarly, for \(x\in {J}_{0}\), we have

$$ \Vert s-z \Vert _{E}\leq \frac{\epsilon (\frac{T^{\alpha }}{\Gamma (\alpha +1)})}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} )}. $$

Using (19) and (20), for \(x\in {J}\), we have

$$ \Vert s-z \Vert _{E}\leq \epsilon \biggl[ \frac{ (\frac{(1+{n})T^{\alpha }}{\Gamma (\alpha +1)}+{n} )}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+\frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} )}+ \frac{\frac{T^{\alpha }}{\Gamma (\alpha +1)}}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} )} \biggr]. $$


$$ \Vert s-z \Vert _{E}\leq C_{1}\epsilon, $$


$$ C_{1}= \biggl[ \frac{ (\frac{(1+{n})T^{\alpha }}{\Gamma (\alpha +1)}+{n} )}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+\frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} )}+ \frac{\frac{T^{\alpha }}{\Gamma (\alpha +1)}}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} )} \biggr]. $$

Therefore problem (1) is HU stable. □

Corollary 2

If we set \(\vartheta (\epsilon )=C_{f}(\epsilon )\) with \(\vartheta (0)=0\), then problem (1) becomes GHU stable.

Theorem 5

If assumptions \(({A_{1}})\)\(({A_{8}})\) and (14) hold, then problem (1) is HUR stable with respect to \((\omega,\varphi )\).


Let \(s\in {E}\) be any solution of (4), and let z be a unique solution of

$$ \textstyle\begin{cases} {_{0}^{c}D_{x_{n}}^{\alpha }} z(x)={f}(x,z(x),z({m} x),{_{0}^{c}D_{x_{n}}^{ \alpha }}{z(x))}, \quad x\in {J}, x\neq x_{n} \text{ for } {n}=1,2, \dots,k, 0< \alpha \leq 1, \\ z(0)=z_{0}, \\ \Delta z(x_{n})=I_{n}(z(x_{n})), \quad {n}=1,2,\dots,k. \end{cases} $$

Then from the proof of Theorem 4, for each \(x\in {J}_{n}\), we have

$$\begin{aligned} & \bigl\vert s(x)-z(x) \bigr\vert \\ &\quad\leq\frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x- \tau )^{\alpha -1} \bigl\vert \bar{{u}_{z}}(\tau )-{u}_{z}(\tau ) \bigr\vert \,d\tau + \frac{1}{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1} \bigl\vert \theta (\tau ) \bigr\vert \,d\tau \\ &\qquad{} +\sum_{i=1}^{{n}}\frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert \bar{{u}_{z}}(\tau )-{u}_{z}( \tau ) \bigr\vert \,d\tau +\sum_{i=1}^{{n}} \frac{1}{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1} \bigl\vert \theta (\tau ) \bigr\vert \,d\tau \\ & \qquad{}+\sum_{i=1}^{{n}} \bigl\vert I_{i} \bigl(s(x_{i}) \bigr)-I_{i} \bigl(z(x_{i}) \bigr) \bigr\vert +\sum_{i=1}^{{n}} \vert \theta _{i} \vert , \quad x\in {J}_{n}, {n}=1,2, \dots,k. \end{aligned}$$

By \(({A_{2}})\) we obtain

$$ \bigl\vert \bar{{u}_{z}}(x)-{u}_{z}(x) \bigr\vert \leq \frac{2M_{f}}{1-N_{f}} \bigl\vert s(x)-z(x) \bigr\vert .$$

By assumptions \(({A_{1}})\)\(({A_{4}})\) and Remark 3 we have

$$\begin{aligned} &\bigl\vert s(x)-z(x) \bigr\vert \\ &\quad\leq \frac{2M_{f}}{(1-N_{f})\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{ \alpha -1} \bigl\vert s(\tau )-z(\tau ) \bigr\vert \,d\tau +\frac{\epsilon }{\Gamma (\alpha )} \int _{x_{n}}^{x}(x-\tau )^{\alpha -1}\varphi (\tau ) \,d\tau \\ &\qquad{} +\frac{2M_{f}}{(1-N_{f})\Gamma (\alpha )}\sum_{i=1}^{{n}} \int _{x_{i-1}}^{x_{i}}(x_{i}- \tau )^{\alpha -1} \bigl\vert s(\tau )-z(\tau ) \bigr\vert \,d\tau\\ &\qquad{} +\sum _{i=1}^{{n}} \frac{\epsilon }{\Gamma (\alpha )} \int _{x_{i-1}}^{x_{i}}(x_{i}-\tau )^{ \alpha -1}\varphi (\tau )\,d\tau \\ &\qquad{} +\sum_{i=1}^{{n}}A^{*}_{I} \bigl\vert s(x_{i})-z(x_{i}) \bigr\vert +\epsilon \sum _{i=1}^{{n}} \omega,\quad x\in {J}_{n}, {n}=1,2,\dots,k. \end{aligned}$$

Using \(({A_{8}})\) and taking the maximum norm, we get

$$\begin{aligned} \Vert s-z \Vert _{E}\leq {}&\epsilon \bigl(\varrho _{\varphi } \varphi (x) (1+k)+k \omega \bigr) \\ &{}+ \biggl(\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr) \Vert s-z \Vert _{E} \\ \leq{}& \epsilon \bigl(\varphi (x)+\omega \bigr) \bigl(\varrho _{\varphi }(1+k)+k \bigr) \\ &{}+ \biggl(\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr) \Vert s-z \Vert _{E}, \end{aligned}$$

which yields

$$ \Vert s-z \Vert _{E}\leq \frac{\epsilon (\varphi (x)+\omega )(\varrho _{\varphi }(1+k)+k)}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+\frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} )}. $$

Similarly, for \(x\in {J}_{0}\), we have

$$ \Vert s-z \Vert _{E}\leq \frac{\epsilon (\varphi (x)+\omega )\varrho _{\varphi }}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} )}. $$

Using (21) and (22), for \(x\in {J}\), we have

$$ \Vert s-z \Vert _{E}\leq \epsilon \bigl(\varphi (x)+\omega \bigr) \biggl[ \frac{(\varrho _{\varphi }(1+k)+k)}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+\frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} )}+ \frac{\varrho _{\varphi }}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} )} \biggr]. $$


$$ \Vert s-z \Vert _{E}\leq C_{2}\epsilon \bigl(\varphi (x)+\omega \bigr), $$


$$ C_{2}= \biggl[ \frac{(\varrho _{\varphi }(1+k)+k)}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+\frac{2M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} )}+ \frac{\varrho _{\varphi }}{1- (\frac{2M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)} )} \biggr]. $$

Therefore problem (1) is HUR stable. □

5 Applications

Example 1

$$ \textstyle\begin{cases} {_{0}^{c}D_{x}^{\frac{1}{2}}}z(x)=\frac{e^{-\pi x}}{15}+ \frac{e^{-x}}{38+x^{2}} (\sin ( \vert z(x) \vert )+z (\frac{1}{4}x )+ \sin ( \vert {_{0}^{c}D_{x}}^{\frac{1}{2}}z(x) \vert ) ), \\ x\in [0,1],\qquad x\neq \frac{1}{3},\qquad k=1, \\ z(0)=0, \\ \Delta z (\frac{1}{3} )=\frac{1}{10}z(\frac{1}{3}), \end{cases} $$

where \(\alpha =\frac{1}{2}\), \({J}_{0}=[0, \frac{1}{3}]\), \({J}_{1}=(\frac{1}{3},1]\).


$$ {f} \bigl(x,z(x),z({m} x),{u}_{z}(x) \bigr)=\frac{e^{-\pi x}}{15}+ \frac{e^{-x}}{38+x^{2}} \biggl(\sin \bigl( \bigl\vert z(x) \bigr\vert \bigr)+z \biggl(\frac{1}{4}x \biggr)+ \sin \bigl( \bigl\vert {_{0}^{c}D_{x}}^{\frac{1}{2}}z(x) \bigr\vert \bigr) \biggr)$$

with \(\alpha =\frac{1}{2}\) and \({m}=\frac{1}{4}\). It is clear that f is a jointly continuous function.

Using \((H_{2})\), for any \(z, \bar{z} \in {R}\), we have

$$\begin{aligned} & \bigl\vert {f} \bigl(x, z(x), z({m} x), _{0}^{c}D_{x}^{\alpha }{z(x)} \bigr)-{f} \bigl(x, \bar{z}(x), \bar{z}({m} x),{_{0}^{c}D_{x}^{\alpha }} \bar{z}(x) \bigr) \bigr\vert \\ &\quad \leq \frac{1}{19} \bigl\vert z(x)-\bar{z}(x) \bigr\vert \\ &\qquad{} +\frac{1}{38} \bigl\vert {_{0}^{c}D_{x}}^{\frac{3}{2}}z(x)-{_{0}^{c}D_{x}}^{ \frac{3}{2}} \bar{z}(x) \bigr\vert . \end{aligned}$$

Hence \((H_{2})\) holds with \(M_{{f}}=\frac{1}{19}\) and \(N_{{f}}=\frac{1}{38}\). Set

$$ I_{k}(v)=\frac{1}{10}v, $$

where \(v \in {R}\). Then for \(v, \bar{v}\in {R}\) and \(k=1\), we have

$$\begin{aligned} \bigl\vert I_{1}(v)-I_{1}(\bar{v}) \bigr\vert &\leq \biggl\vert \frac{1}{10}v-\frac{1}{10}\bar{v} \biggr\vert \\ &\leq \frac{1}{10} \vert v-\bar{v} \vert . \end{aligned}$$

Hence \(({A_{3}})\) holds with \(A^{*}_{I}=\frac{1}{10}\).

Also, the condition

$$\begin{aligned} \biggl(\frac{M_{f}T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+ \frac{M_{f}{n} T^{\alpha }}{(1-N_{f})\Gamma (\alpha +1)}+A^{*}_{I}{n} \biggr)=0.169< 1 \end{aligned}$$

is satisfied with \(T=1\) and \({n}=1\). Therefore by Theorem 3 problem (23) has a unique solution.

Let \(\varphi (x)=x\) and \(\omega =1\). Then for any \(x\in [0,1]\), we have

$$\begin{aligned} I^{\frac{1}{2}}\varphi (x)&=\frac{1}{\Gamma (\frac{1}{2})} \int _{0}^{x}(x- \tau )^{\frac{1}{2}-1}\tau\, d\tau \\ &\leq \frac{2x}{\sqrt{\pi }}. \end{aligned}$$

We see that condition \(({A_{8}})\) holds with \(\varrho _{\varphi }=\frac{2}{\sqrt{\pi }}\). Applying 5, problem (23) is HUR stable.

6 Conclusion

Pantograph differential equations is a special type of delay differential equations with proportional delay terms. In this research work, we studied important aspects such as the existence theory and stability analysis to an IVP of pantograph implicit fractional differential equations with impulsive conditions. Using Schaefer’s fixed point theorem, we derived a result of at least one solution to system (1), and applying the Banach contraction theorem, we obtained conditions for a unique solution to the mentioned problem. Similarly, using the Hyers–Ulam concept, we studied the stability of the considered problem.

Availability of data and materials



  1. Yassen, M.F., Attiya, A.A., Agarwal, P.: Subordination and superordination properties for certain family of analytic functions associated with Mittag-Leffler function. Symmetry 12(10), 1724 (2020)

    Article  Google Scholar 

  2. Fernandez, A.: An elliptic regularity theorem for fractional partial differential operators. Comput. Appl. Math. 37, 5542–5553 (2018)

    Article  MathSciNet  Google Scholar 

  3. Agarwal, P., Deniz, S., Jain, S., Alderremy, A.A., Aly, S.: A new analysis of a partial differential equation arising in biology and population genetics via semi analytical techniques. Phys. A, Stat. Mech. Appl. 542, 122769 (2020)

    Article  MathSciNet  Google Scholar 

  4. Ali, A., Humaira, L., Shah, K.: Analytical solution of general Fisher’s equation by using Laplace Adomian decomposition method. J. Pure Appl. Math. 2(3), 01 (2018)

    Google Scholar 

  5. Khalid, A., Naeem, M.N., Agarwal, P., Ghaffar, A., Ullah, Z., Jain, S.: Numerical approximation for the solution of linear sixth order boundary value problems by cubic B-spline. Adv. Differ. Equ. 2019(1), 492 (2019)

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  7. Marks, R.J.I.I., Hall, M.W.: Differintegral interpolation from a bandlimited signals samples. IEEE Trans. Acoust. Speech Signal Process. 9(2), 872–877 (1981)

    Article  Google Scholar 

  8. Torvik, P.J., Bagley, R.L.: On the appearance of the fractional derivative in the behavior of real materials. J. Appl. Mech. 51(2), 294–298 (1984)

    Article  Google Scholar 

  9. Fernandez, A., Baleanu, D., Fokas, A.S.: Solving PDEs of fractional order using the unified transform method. Appl. Math. Comput. 339, 738–749 (2018)

    MathSciNet  MATH  Google Scholar 

  10. Almeida, R., Bastos, N.R.O., Monteiro, M.T.T.: Modelling some real phenomena by fractional differential equations. Math. Methods Appl. Sci. 39(16), 4846–4855 (2016)

    Article  MathSciNet  Google Scholar 

  11. Caponetto, R., Dongola, G., Fortuna, L., Petras, I.: Fractional Order Systems. Modeling and Control Applications. World Scientific, River Edge (2010)

    Book  Google Scholar 

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

    MATH  Google Scholar 

  13. Alderremy, A.A., Saad, K.M., Agarwal, P., Aly, S., Jain, S.: Certain new models of the multi space-fractional Gardner equation. Phys. A, Stat. Mech. Appl. 545, 123806 (2020)

    Article  MathSciNet  Google Scholar 

  14. Ali, A., Shah, K.: Ulam–Hyers stability analysis of a three-point boundary-value problem for fractional differential equations. Ukr. Mat. Zh. 72(2), 147–160 (2020)

    Article  MathSciNet  Google Scholar 

  15. Agarwal, P., Baltaeva, U., Alikulov, Y.: Solvability of the boundary-value problem for a linear loaded integro-differential equation in an infinite three-dimensional domain. Chaos Solitons Fractals 140, 110108 (2020)

    Article  MathSciNet  Google Scholar 

  16. Dong, J., Feng, Y., Jiang, J.: A note on implicit fractional differential equations. Math. Æterna 7(3), 261–267 (2017)

    Google Scholar 

  17. Abbas, S., Benchohra, M., Graef, J.R., Henderson, J.: Implicit Fractional Differential and Integral Equations: Existence and Stability, vol. 26. de Gruyter, Berlin (2018)

    Book  Google Scholar 

  18. Tate, S., Dinde, H.T.: Boundary value problems for nonlinear implicit fractional differential equations. J. Nonlinear Anal. Appl. 2019, 29–40 (2019)

    Google Scholar 

  19. Ali, A., Shah, K., Jarad, F., Gupta, V., Abdeljawad, T.: Existence and stability analysis to a coupled system of implicit type impulsive boundary value problems of fractional-order differential equations. Adv. Differ. Equ. 2019(101), 1 (2019)

    MathSciNet  MATH  Google Scholar 

  20. Tian, Y., Bai, Z.: Existence results for the three-point impulsive boundary value problem involving fractional differential equations. Comput. Math. Appl. 59(8), 2601–2609 (2010)

    Article  MathSciNet  Google Scholar 

  21. Ali, A., Shah, K., Baleanu, D.: Ulam stability results to a class of nonlinear implicit boundary value problems of impulsive fractional differential equations. Adv. Differ. Equ. 2019(5), 1 (2019)

    MathSciNet  MATH  Google Scholar 

  22. Wang, J., Yang, Y., Wei, W.: Nonlocal impulsive problems for fractional differential equations with time-varying generating operators in Banach spaces. Opusc. Math. 30(3), 361–381 (2010)

    Article  MathSciNet  Google Scholar 

  23. Andronov, A., Witt, A., Haykin, S.: Oscilation Theory. Nauka, Moscow (1981)

    Google Scholar 

  24. Ali, A., Rabiei, F., Shah, K.: On Ulam’s type stability for a class of impulsive fractional differential equations with nonlinear integral boundary conditions. J. Nonlinear Sci. Appl. 10(9), 4760–4775 (2017)

    Article  MathSciNet  Google Scholar 

  25. Zavalishchin, S., Sesekin, A.: Impulsive Processes: Models and Applications. Nauka, Moscow (1991)

    MATH  Google Scholar 

  26. Vinodkumar, A., Malar, K., Gowrisankar, M., Mohankumar, P.: Existence, uniqueness and stability of random impulsive fractional differential equations. Acta Math. Sci. 36(2), 428–442 (2016)

    Article  MathSciNet  Google Scholar 

  27. Pappalardo, C.M., De Simone, M.C., Guida, D.: Multibody modeling and nonlinear control of the pantograph/catenary system. Arch. Appl. Mech. 89(8), 1589–1626 (2019)

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  29. Karimi Vanani, S., Sedighi Hafshejani, J., Soleymani, F., Khan, M.: On the numerical solution of generalized pantograph equation. World Appl. Sci. J. 13(12), 2531–2535 (2011)

    Google Scholar 

  30. Bogachev, L., Derfel, G., Molchanov, S., Ochendon, J.: On bounded solutions of the balanced generalized pantograph equation. In: Chow, P.-L., Yin, G., Mordukhovich, B. (eds.) Topics in Stochastic Analysis and Nonparametric Estimation. The IMA Volumes in Mathematics and Its Applications, vol. 145, pp. 29–49. Springer, New York (2008)

    Chapter  Google Scholar 

  31. Chamekh, M., Elzaki, T.M., Brik, N.: Semianalytical solution for some proportional delay differential equations. SN Appl. Sci. 1, 148 (2019)

    Article  Google Scholar 

  32. Podlubny, I.: Frictional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  33. Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389(1), 403–411 (2013)

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  35. Granas, A., Dugundji, J.: Fixed Point Theory. Springer, Berlin (2013)

    MATH  Google Scholar 

Download references


Ibrahim Mahariq and Bahaa Al-Sheikh would like to acknowledge College of Engineering and Technology at American University of the Middle East. Thabet Abdeljawad 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.


Not applicable.

Author information

Authors and Affiliations



All authors have equal contribution in this manuscript. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Ibrahim Mahariq or Thabet Abdeljawad.

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

Ali, A., Mahariq, I., Shah, K. et al. Stability analysis of initial value problem of pantograph-type implicit fractional differential equations with impulsive conditions. Adv Differ Equ 2021, 55 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: