Advertisement

Advances in Difference Equations

, 2019:489 | Cite as

On implicit impulsive Langevin equation involving mixed order derivatives

  • Akbar Zada
  • Rizwan Rizwan
  • Jiafa Xu
  • Zhengqing FuEmail author
Open Access
Research
  • 140 Downloads

Abstract

In this paper, we consider a nonlocal boundary value problem of nonlinear implicit impulsive Langevin equation involving mixed order derivatives. Sufficient conditions are constructed to discuss the qualitative properties like existence and Ulam’s stability of the proposed problem. The main result is verified by an example.

Keywords

Langevin equation Caputo derivative Non–instantaneous impulses Ulam–Hyers–Rassias stability 

MSC

26A33 34A08 34B27 

1 Introduction

An equation of the form \(m\,\frac{d^{2}z}{dw^{2}}=\lambda \,\frac{dz}{dw}+ \eta (w)\) is called Langevin equation, introduced by Paul Langevin in 1908. Langevin equations have been broadly used to describe stochastic problems in image processing, physics, astronomy, chemistry, defence system, electrical and mechanical engineering. Brownian motion is well described by the Langevin equations when the random oscillation force is supposed to be Gaussian noise. For the removal of noise, mathematicians used fractional order differential equations, also they perform well in reducing the staircase effects as compared to ordinary differential equations. Thus it is very important to learn the idea of fractional Langevin equations; for more details, see [1, 2, 3, 4].

Fractional differential equations (FDEs) provide an excellent tool for the description of memory and hereditary properties of different processes and materials. So, contrary to the classical derivative, the fractional derivative is nonlocal. Fractional calculus has played an important role in enhancing the mathematical modeling of several phenomena appearing in engineering and scientific disciplines, such as blood flow systems, control theory, aerodynamics, the nonlinear oscillation of earthquake, polymer rheology, regular variation in thermodynamics, etc. It has been observed that FDEs are more accurate than the integer-order derivatives. Therefore in the last decades, fractional calculus got considerable attention from researchers, see [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52].

It is well known that the effects of a pulse are inevitable in many processes and phenomena. For example, in the population dynamics systems, there are abrupt changes in population size due to the effects such as diseases, harvesting, and so on. So, researchers have used impulsive differential equations to describe the aforesaid kinds of phenomena. In recent times, impulsive fractional differential equations are well investigated with different approaches, we recommend the reader to [53, 54, 55, 56, 57, 58, 59, 60, 61].

In fields such as numerical analysis, optimization theory, and nonlinear analysis, mostly we deal with the approximate solutions, and hence we need to check how close these solutions are to the actual solutions of the related system or systems. Many approaches can be used for this purpose, but the Ulam–Hyers stability approach is a simple and easy one. The aforesaid stability was first pointed out by Ulam in 1940 [62] and then solved brilliantly by Hyers in 1941 [63]. Afterwards, stability of such form has been known as Ulam–Hyers stability. In 1978, Rassias [64] generalized the Ulam–Hyers approach by considering variables. Thereafter, mathematicians extended the notions for functional, differential, integrals as well as FDEs [65, 66, 67, 68, 69, 70, 71, 72].

Recently, many mathematicians have devoted considerable attention to the existence, uniqueness, and different types of Hyers–Ulam stability of the solutions of nonlinear implicit fractional differential equations with Caputo fractional derivative, see [73, 74, 75].

Wang et al. in [76] studied generalized Ulam–Hyers–Rassias stability of the following fractional differential equation:
$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}_{0,w}^{\nu }z(w)=f(w,z(w)),\quad w\in (w_{k},s _{k}],k=0,1,\dots ,m, 0< \nu < 1, \\ z(w)=g_{k}(w,z(w)),\quad w\in (s_{k-1},w_{k}],k=1,2,\dots ,m. \end{cases} $$
(1.1)
Zada et al. [77] studied the existence and uniqueness of solutions by using Diaz Margolis’s fixed point theorem and presented different types of Ulam–Hyers stability for a class of nonlinear implicit fractional differential equations with non-instantaneous integral impulses and nonlinear integral boundary conditions:
$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}_{0,w}^{\nu }z(w)=f(w,z(w),{{}^{c}}\mathcal{D}_{0,w} ^{\nu }z(w)),\quad w\in (w_{k},s_{k}], k=0,1,\dots ,m, 0< \nu < 1, w \in (0,1], \\ z(w)=I_{s_{k-1},w_{k}}^{\nu }(\xi _{k}(w,z(w))),\quad w\in (s_{k-1},w _{k}], k=0,1,\dots ,m, \\ z(0)=\frac{1}{\varGamma {\nu }}\int _{0}^{T}(T-s)^{\nu -1}\eta (s,z(s))\,ds. \end{cases} $$
Zada et al. [78] studied the existence and uniqueness of solutions by using Diaz Margolis’s fixed point theorem and presented different types of Ulam–Hyers stability for a class of nonlinear implicit sequential fractional differential equations with non-instantaneous integral impulses and multi-point boundary conditions:
$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)=f(w,z(w), {^{c}}\mathcal{D}_{0,w}^{\nu }),\quad w\in (w_{k},s_{k}],k=0,1, \dots ,m, 0< \nu \leq 1,\\ z(w)=g_{k}(w,z(w)),\quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \\ z(0)=0,\qquad z(w_{k})=0, \quad k=0,1,\dots ,m. \end{cases} $$
In this paper, we study the following nonlocal boundary value problem of nonlinear implicit impulsive Langevin equation with mixed derivatives:
$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)=f(w,z(w), {{}^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)),\\ \quad w\in (w_{k},s_{k}], k=0,1,\dots ,m, \\ z(w)=g_{k}(w,z(w)),\quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \\ z(0)=z_{0},\qquad z(T)=\int _{0}^{\eta }\frac{1}{\varGamma {p}}(\eta -s)^{p-1}z(s)\,ds, \quad 0< \eta < T, \end{cases} $$
(1.2)
where \({^{c}}\mathcal{D}^{\nu }_{0,w}\) represents the classical Caputo derivative [8] of order ν with the lower bound zero, \(0=w_{0}< s_{0}< w_{1}< s_{1}<\cdots <w_{m} < s_{m}=\tau \), τ is the pre-fixed number, and \(\lambda \in \mathbb{R}\setminus \{0\}\), \(0< \nu <1\), \(p>0,\ z_{0}\) are constants, \(f:[0,\tau ]\times \mathbb{R} \times \mathbb{R}\rightarrow \mathbb{R}\) is continuous and \(g_{k}: [s _{k-1},w_{k}]\times \mathbb{R}\rightarrow \mathbb{R}\) is continuous for all \(k=1,2,\dots ,m\).

In the second section of this paper, we create a uniform framework to originate appropriate formula of solutions for our proposed model. In Sect. 3, we implement the concept of generalized Ulam–Hyers–Rassias stability of Eq. (1.2). Finally, we give an example which supports our main result.

2 Preliminaries

Let \(J=[0,\tau ]\) and \(C(J,\mathbb{R})\) be the space of all continuous functions from J to \(\mathbb{R}\) and a piecewise continuous functions space \(PC(J,\mathbb{R})=\{z:f\rightarrow \mathbb{R}: z\in ((w_{k},w _{k-1})],\mathbb{R}), k=0,1,\dots ,m,\mbox{ and there exist } z(w_{k} ^{-}) \text{ and } z(w_{k}^{+}), k=1,2,\dots ,m, \text{ with } z(w _{k}^{-})=z(w_{k}^{+})\}\).

Consider the linear form of (1.1) as follows:
$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}^{\nu }_{0,t}( \mathcal{D}+\lambda )z(w)=f(w),\quad w \in (w_{k},s_{k}], k=0,1,\dots ,m, 0< \nu < 1, \\ z(w)=g_{k}(w),\quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \\ z(0)=z_{0}, \qquad z(T)=\theta I^{p}z(\eta )\\\quad \text{where } I^{p}z(\eta )= \int _{0}^{\eta }\frac{1}{\varGamma {p}}(\eta -s)^{p-1}z(s)\,ds, 0< \eta < T. \end{cases} $$
(2.1)

We recall some definitions of fractional calculus from [5] as follows.

Definition 2.1

The fractional integral of order ν from 0 to w for the function f is defined by
$$ I_{0,w}^{\nu }f(w)=\frac{1}{\varGamma (\nu )} \int _{0}^{w} f(s) (w-s)^{ \nu -1}\,ds, \quad w>0,\ \nu >0, $$
where \(\varGamma (\cdot )\) is the gamma function.

Definition 2.2

The Riemann–Liouville fractional derivative of fractional order ν from 0 to w for a function f can be written as
$$ {}^{L}\mathcal{D}_{0,w}^{\nu }f(w)= \frac{1}{\varGamma (n-\nu )}\,\frac{d ^{n}}{dt^{n}} \int _{0}^{w}\frac{f(s)}{(w-s)^{\nu +1-n}}\,ds,\quad w>0, \ n-1< \nu < n, $$
where \(\varGamma (\cdot )\) is the gamma function.

Definition 2.3

The Caputo derivative of fractional order ν from 0 to w for a function f can be defined as
$$ {^{c}}\mathcal{D}_{0,w}^{\nu }f(w)= \frac{1}{\varGamma (n-\nu )} \int _{0} ^{w} (w-s)^{n-\nu -1}f^{n}(s)\,ds, \quad \text{where } n=[\nu ]+1. $$

Definition 2.4

The general form of the classical Caputo derivative of order ν of a function f can be given as
$$ {^{c}}\mathcal{D}_{0,w}^{\nu }= {^{L}}\mathcal{D}_{0,w}^{\nu } \Biggl(f(w)- \sum _{k=0}^{n-1}\frac{w^{k}}{k!}f^{(k)}(0) \Biggr), \quad w>0,\ n-1< \nu < n. $$

Remark 2.5

  1. (i)
    If \(f(\cdot )\in C^{m}([0,\infty ),\mathbb{R})\), then
    $$\begin{aligned}& ^{L}\mathcal{D}_{0,w}^{\nu }f(w)= \frac{1}{\varGamma (m-\nu )} \int _{0} ^{w}\frac{f^{m}(s)}{(w-s)^{\nu +1-m}}\,ds=I_{0,w}^{m-\nu }f^{(m)}(w),\\& \quad w>0, m-1< \nu < m. \end{aligned}$$
     
  2. (ii)

    In Definition 2.4, the integrable function f can be discontinuous function. This fact can support us in considering impulsive fractional problems in the sequel.

     

Lemma 2.6

([5])

The fractional differential equation\(^{c}D^{\nu }f(w)=0\)with\(\nu >0\), involving Caputo differential operator\(^{c}D^{\nu }\), has a solution in the following form:
$$ f(w)=c_{0}+c_{1}w+c_{2}w^{2}+ \cdots +c_{m-1}w^{n-1}, $$
where\(c_{k}\in \mathbb{R}\), \(k=0,1,\dots ,m-1\), and\(m=[\nu +1]\).

Lemma 2.7

([5])

For arbitrary\(\nu >0\), we have
$$ I^{\nu } \bigl( {^{c}}\mathcal{D}^{\nu }f(w) \bigr)=c_{0}+c_{1}w+c_{2}w ^{2}+ \cdots +c_{m-1}w^{n-1}, $$
where\(c_{k}\in \mathbb{R}\), \(k=0,1,\dots ,m-1\), and\(m=[\nu +1]\).

Lemma 2.8

([6])

Let\(\nu >0\)and\(\beta >0\), \(f\in L^{1} ([a,b] )\).

Then
$$\begin{aligned}& I^{\nu }I^{\beta }f(w)=I^{\nu +\beta }f(w),\qquad {{}^{c}} \mathcal{D}_{0,w}^{\nu } \bigl({^{c}}\mathcal{D}_{0,w}^{\beta }f(w)\bigr)= {^{c}} \mathcal{D}_{0,w}^{\nu +\beta }f(w),\quad \textit{and}\\& I^{\nu } \mathcal{D}_{0,w}^{\nu }f(w)=f(w),\quad w\in [a,b]. \end{aligned}$$

Lemma 2.9

The function\(z\in PC(J,\mathbb{R})\)is a solution of (2.1) if and only if
$$ z(w)= \textstyle\begin{cases} \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s)\,ds+ \frac{A_{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f(s)\,ds\\ \quad {} -A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{ \nu }f(s)\,ds \\ \quad {}+ (A_{11} (\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} )+e^{ \lambda T} )z_{0},\quad w\in (0,s_{0}], \end{cases}\displaystyle \\ \textstyle\begin{cases} g_{k}(w), \quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \end{cases}\displaystyle \\ \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s)\,ds+\frac{M}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f(s)\,ds\\ \quad {} -M \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s)\,ds \\ \quad {}+N\int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f(s)\,ds+N g_{k}(w _{k}), \quad w\in (w_{k},s_{k}], k=0,1,\dots ,m, \end{cases}\displaystyle \end{cases} $$
where
$$\begin{aligned}& A_{11}=\frac{\lambda \varGamma (p+1)}{(1-e^{-\lambda T})\varGamma (p+1)- \eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw)}, \\& B_{k}=\frac{\lambda \varGamma (p+1) (\eta ^{p} E_{(1,p+1)}(aw)-e ^{-\lambda T} )}{\delta _{k}}, \\& A_{k}=\frac{\delta _{k}\lambda \varGamma (p+1)-\varGamma (p+1)(1-e^{\lambda w_{k}}) (\lambda \varGamma (p+1) (\eta ^{p} E_{(1,p+1)}(aw)-e^{- \lambda T} ) )}{\delta _{k} ((1-e^{-\lambda T})\varGamma (p+1)- \eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw) )}, \\& M_{k}=\frac{A_{k}(1-e^{-\lambda w})}{\lambda }-\frac{\varGamma (p+1)e ^{-\lambda w}(1-e^{-\lambda w_{k}})}{\delta _{k}}, \\& N_{k}=\frac{B_{k}(1-e^{-\lambda w})}{\lambda }-\frac{(1-e^{-\lambda T})\varGamma (p+1)-\eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw)}{\delta _{k} e^{\lambda w}}, \\& \delta _{k}=2\varGamma (p+1) \bigl(e^{-\lambda w_{k}}-e^{-\lambda (w_{k}+T)}+ \eta ^{p} E_{(1,p+1)}(aw)e^{-\lambda w_{k}} \bigr)\\& \hphantom{\delta _{k}=}{}-\eta ^{p}e^{-\lambda w_{k}}-\varGamma (p+1)E_{(1,p+1)}(aw). \end{aligned}$$

Proof

Let z be a solution of problem (2.1), we have the following cases.

Case 1: For \(w\in [0,s_{0}]\), we consider
$$ ^{c}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)=f(w), \qquad z(0)=z_{0}, \quad \text{and}\quad z(T)= I^{p}z(\eta ), $$
where \(\mathcal{D}\) denotes an ordinary differential operator. In light of Lemma 2.7 and an ordinary integration, we get
$$\begin{aligned} z(w)= \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s)\,ds+c_{0} \biggl(\frac{1-e ^{-\lambda w}}{\lambda } \biggr)+c_{1}e^{-\lambda w}. \end{aligned}$$
(2.2)
Using boundary conditions, we get
$$\begin{aligned} z(w) =& \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s)\,ds+ \frac{A_{11}}{ \varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }f(s)\,ds\\ &{} -A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s)\,ds + \bigl(A_{11} \bigl(\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} \bigr)+e^{ \lambda T} \bigr)z_{0}. \end{aligned}$$
For \(w\in (s_{0},w_{1}]\), \(z(w)=g_{1}(w)\).
Case 2: For \(w\in (w_{1},s_{1}]\), we consider
$$ ^{c}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)=f(w) \quad \text{with } z(w_{1})=g_{1}(w_{1}). $$
Since \(z(w_{1})=g_{1}(w_{1})\), then Eq. (2.2) is of the following type:
$$\begin{aligned} g_{1}(w_{1})= \int _{0}^{w_{1}}e^{-\lambda (w_{1}-s)}I^{\nu }f(s)\,ds+c _{0} \biggl(\frac{1-e^{-\lambda w_{1}}}{\lambda } \biggr)+c_{1}e^{-\lambda w_{1}}. \end{aligned}$$
(2.3)
Using boundary conditions, we get
$$\begin{aligned} z(w) =& \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s)\,ds+ \frac{M_{1}}{ \varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }f(s)\,ds\\ &{} -M_{1} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s)\,ds +N_{1} \int _{0}^{w_{1}} e^{-\lambda (w_{1}-s)}I^{\nu }f(s)\,ds+N_{1} g _{1}(w_{1}), \end{aligned}$$
where
$$\begin{aligned}& A_{11}=\frac{\lambda \varGamma (p+1)}{(1-e^{-\lambda T})\varGamma (p+1)- \eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw)}, \\& B_{22}=\frac{\lambda \varGamma (p+1) (\eta ^{p} E_{(1,p+1)}(aw)-e ^{-\lambda T} )}{\delta _{1}}, \\& A_{22}=\frac{\delta _{1}\lambda \varGamma (p+1)-\varGamma (p+1)(1-e^{ \lambda w_{1}}) (\lambda \varGamma (p+1) (\eta ^{p} E_{(1,p+1)}(aw)-e ^{-\lambda T} ) )}{\delta _{1} ((1-e^{-\lambda T})\varGamma (p+1)- \eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw) )}, \\& M_{1}=\frac{A_{22}(1-e^{-\lambda w})}{\lambda }-\frac{\varGamma (p+1)e ^{-\lambda w}(1-e^{-\lambda w_{1}})}{\delta _{1}}, \\& N_{1}=\frac{B_{22}(1-e^{-\lambda w})}{\lambda }-\frac{(1-e^{-\lambda T})\varGamma (p+1)-\eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw)}{\delta _{1} e^{\lambda w}}, \\& \delta _{1}=2\varGamma (p+1) \bigl(e^{-\lambda w_{1}}-e^{-\lambda (w_{1}+T)}+ \eta ^{p} E_{(1,p+1)}(aw)e^{-\lambda w_{1}} \bigr)\\& \hphantom{\delta _{1}=}{}-\eta ^{p}e^{-\lambda w_{1}} -\varGamma (p+1) E_{(1,p+1)}(aw). \end{aligned}$$

Generally speaking, for \(w\in (s_{k-1},w_{k}]\), \(z(w_{k})=g _{k}(w_{k})\).

Case 3: For \(w\in (w_{k},s_{k}]\), we consider
$$\begin{aligned} \mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)=f(w)\quad \text{with } z(w_{k})=g_{k}(w_{k}) \quad \text{and} \quad u(T)= I^{p} z( \eta ). \end{aligned}$$
By repeating again the same process, we have
$$\begin{aligned} z(w) =& \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s)\,ds+ \frac{M_{k}}{ \varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }f(s)\,ds\\ &{} -M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s)\,ds +N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f(s)\,ds+N_{k} g _{k}(w_{k}), \end{aligned}$$
where
$$\begin{aligned}& A_{11}=\frac{\lambda \varGamma (p+1)}{(1-e^{-\lambda T})\varGamma (p+1)- \eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw)}, \\& B_{k}=\frac{\lambda \varGamma (p+1) (\eta ^{p} E_{(1,p+1)}(aw)-e ^{-\lambda T} )}{\delta _{k}}, \\& A_{k}=\frac{\delta _{k}\lambda \varGamma (p+1)-\varGamma (p+1)(1-e^{\lambda w_{k}}) (\lambda \varGamma (p+1) (\eta ^{p} E_{(1,p+1)}(aw)-e^{- \lambda T} ) )}{\delta _{k} ((1-e^{-\lambda T})\varGamma (p+1)- \eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw) )}, \\& M_{k}=\frac{A_{k}(1-e^{-\lambda w})}{\lambda }-\frac{\varGamma (p+1)e ^{-\lambda w}(1-e^{-\lambda w_{k}})}{\delta _{k}}, \\& N_{k}=\frac{B_{k}(1-e^{-\lambda w})}{\lambda }-\frac{(1-e^{-\lambda T})\varGamma (p+1)-\eta ^{p}+\varGamma (p+1)\eta ^{p} E_{(1,p+1)}(aw)}{\delta _{k} e^{\lambda w}}, \\& \delta _{k}=2\varGamma (p+1) \bigl(e^{-\lambda w_{k}}-e^{-\lambda (w_{k}+T)}+ \eta ^{p} E_{(1,p+1)}(aw)e^{-\lambda w_{k}} \bigr)\\& \hphantom{\delta _{k}=}{}-\eta ^{p}e^{-\lambda w_{k}}-\varGamma (p+1)E_{(1,p+1)}(aw). \end{aligned}$$
 □

3 Stability result

By the ideas of stability in [1, 65, 79], we can generate a generalized Ulam–Hyers–Rassias stability concept for Eq. (1.2).

Let \(\epsilon , \psi \geq 0\) and \(\varphi \in PC(J,\mathbb{R_{+}})\) be nondecreasing, consider
$$\begin{aligned} \textstyle\begin{cases} \vert {{}^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)-f(w,z(w), {^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)) \vert \leq \varphi (w), \\ \quad w\in (w_{k},s_{k}],k=0, 1,\dots ,m, 0< \nu < 1, \\ \vert z(w)-Ng_{k}(w,z(w)) \vert \leq \psi , \quad w\in (s_{k-1},w _{k}], k=1,2,\dots ,m. \end{cases}\displaystyle \end{aligned}$$
(3.1)

Remark 3.1

A function \(z\in PC(J,\mathbb{R})\) is a solution of inequality (3.1) if and only if there are \(G\in PC(J,\mathbb{R})\) and a sequence \(G_{k}\), \(k=1,2,\dots ,m\) (which depends on z) such that
  1. (i)

    \(|G(w)|\leq \varphi (w)\), \(w\in J\), and \(|G_{k}|\leq \psi \), \(k=1,2,\dots ,m\);

     
  2. (ii)

    \({^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w)=f(w,z(w), {^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w))+G(w)\), \(w \in (w_{k},s_{k}]\), \(k=1,2,\dots ,m\);

     
  3. (iii)

    \(z(w)=N_{k} g_{k}(w,z(w))+G_{k}\), \(w\in (s_{k-1},w_{k}]\), \(k=1,2, \dots ,m\).

     

Definition 3.2

Equation (1.2) is generalized Ulam–Hyers–Rassias stable with respect to \((\varphi , \psi )\) if there exists \(c_{f,\nu ,g_{k},\varphi }>0\) such that, for each solution \(z\in PC(J,\mathbb{R})\) of inequality (3.1), there is a solution \(z_{0}\in PC(J,\mathbb{R})\) of Eq. (1.2) with
$$ \bigl\vert z(w)-z_{0}(w) \bigr\vert \leq c_{f,\nu ,g_{k},\varphi } \bigl(\varphi (w)+ \psi \bigr), \quad w\in J. $$

Remark 3.3

If \(z\in PC(J,\mathbb{R})\) is a solution of inequality (3.1), then z is a solution of the following integral inequality:

$$ \textstyle\begin{cases} \textstyle\begin{cases} \vert z(w)-\int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \qquad {}-\frac{A_{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f(s,z(s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )z(s))\,ds \\ \qquad {}+A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds\\ \qquad {} - (A_{11} (\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} )+e^{\lambda T} )z_{0} \vert , \\ \quad \leq \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }\varphi (s)\,ds-\frac{A _{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }\varphi (s)\,ds \\ \qquad {}+A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }\varphi (s)\,ds, \quad w\in (0,s_{0}]; \end{cases}\displaystyle \\ \textstyle\begin{cases} \vert z(w)-N_{k} g_{k}(w,z(w)) \vert \leq \psi ,\quad w\in (s_{k-1},w _{k}], k=1,2,\dots ,m; \end{cases}\displaystyle \\ \textstyle\begin{cases} \vert z(w)- \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \qquad {}-\frac{M_{k}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f(s,z(s),{^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )z(s))\,ds \\ \qquad {} +M_{k}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \qquad {}-N_{k}\int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds-N_{k} g_{k}(w_{k},z(w _{k})) \vert \\ \quad \leq \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }\varphi (s)\,ds+\frac{M _{k}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }\varphi (s)\,ds \\ \qquad {}+M_{k}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }\varphi (s)\,ds+N_{k}\int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }\varphi (s)\,ds+\psi ,\\ \quad w \in (w_{k},s_{k}], k=0,1,\dots ,m. \end{cases}\displaystyle \end{cases} $$
(3.2)
In fact, by Remark 3.1, we get
$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}^{\nu }_{0,w}(\mathcal{D}+\lambda )z(w)=f(w,z(w), {{}^{c}}\mathcal{D}_{0,w}^{\nu }(\mathcal{D}+\lambda )z(w))+G(w),\\ \quad w \in (w_{k},s_{k}], k=0,1,\dots ,m, 0< \nu < 1, \\ z(w)=N_{k}g_{k}(w,z(w))+G_{k},\quad w\in (s_{k-1},w_{k}], k=1,2, \dots ,m. \end{cases} $$
(3.3)
Clearly, the solution of Eq. (3.3) is given by
$$ z(w)= \textstyle\begin{cases} \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } (f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))+G(s) )\,ds \\ \quad {}+\frac{A_{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu } (f(s,z(s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )z(s))+G(s) )\,ds \\ \quad {} -A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }(f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))+G(s))\,ds \\ \quad {} + (A_{11} (\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} )+e^{ \lambda T} )z_{0},\quad w\in (0,s_{0}], \end{cases}\displaystyle \\ \textstyle\begin{cases} N_{k} g_{k}(w,z(w)),\quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \end{cases}\displaystyle \\ \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } (f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))+G(s) )\,ds \\ \quad {}+\frac{M_{k}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } (f(s,z(s),{^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )z(s))+G(s) )\,ds \\ \quad {} -M_{k}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } (f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))+G(s) )\,ds \\ \quad {} +N_{k}\int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } (f(s,z(s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))+G(s) )\,ds \\ \quad {} +N_{k} g_{k}(w_{k},z(w_{k}))+G_{k}, \quad w\in (w_{k},s_{k}], k=0,1,\dots ,m. \end{cases}\displaystyle \end{cases} $$
For \(w\in (w_{k},s_{k}]\), \(k=0,1,\dots ,m\), we get
$$\begin{aligned}& \biggl\vert z(w)- \int _{0}^{w} e^{-\lambda (w-s)}I^{\nu }f \bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s)\bigr)\,ds \\& \qquad {}-\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )z(s)\bigr)\,ds-N_{k} g_{k}\bigl(w_{k},z(w_{k})\bigr) \\& \qquad {}+M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s)\bigr)\,ds \\& \qquad {}-N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s)\bigr)\,ds \biggr\vert \\& \quad \leq \biggl\vert \int _{0}^{w} e^{-\lambda (w-s)}I^{\nu }G(s)\,ds \biggr\vert + \biggl\vert \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }G(s)\,ds \biggr\vert \\& \qquad {}+ \biggl\vert M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }G(s)\,ds \biggr\vert + \biggl\vert N _{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }G(s)\,ds \biggr\vert + \vert G _{k} \vert \\& \quad \leq \int _{0}^{w} e^{-\lambda (w-s)}I^{\nu } \varphi (s)\,ds+\frac{M _{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }\varphi (s)\,ds \\& \qquad {}+M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \varphi (s)\,ds +N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \varphi (s)\,ds+\psi . \end{aligned}$$
Proceeding the above, we derive that
$$ \bigl\vert z(w)-N_{k}g_{k}\bigl(w,z(w)\bigr) \bigr\vert \leq \vert G_{k} \vert \leq \psi , \quad w \in (s_{k-1},w_{k}], k=1,2,\dots ,m, $$
and
$$\begin{aligned}& \biggl\vert z(w)- \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s)\bigr)\,ds \\& \qquad {}-\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f\bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )z(s)\bigr)\,ds \\& \qquad{} +A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s)\bigr)\,ds\\& \qquad{} - \bigl(A_{11} \bigl(\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} \bigr)+e^{\lambda T} \bigr)z_{0} \biggr\vert \\& \quad \leq \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }G(s)\,ds \biggr\vert + \biggl\vert \frac{A _{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }G(s)\,ds \biggr\vert \\& \qquad{} + \biggl\vert A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }G(s)\,ds \biggr\vert \\& \quad \leq \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \varphi (s)\,ds+\frac{A _{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I ^{\nu }\varphi (s)\,ds \\& \qquad{} +A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \varphi (s)\,ds,\quad w\in (0,s _{0}]. \end{aligned}$$

4 Main results

This section is started with the following definition.

Definition 4.1

For a nonempty set V, a function \(d:V\times V\rightarrow [0,\infty ]\) is called a generalized metric on V if and only if d satisfies:

\(d(\upsilon _{1},\upsilon _{2})=0\) if and only if \(\upsilon _{1}=\upsilon _{2}\);

\(d(\upsilon _{1},\upsilon _{2})=d(\upsilon _{2}, \upsilon _{1})\) for all \(\upsilon _{1},\upsilon _{2}\in V\);

\(d(\upsilon _{1},\upsilon _{3})\leq d(\upsilon _{1}, \upsilon _{2})+d(\upsilon _{2},\upsilon _{3})\) for all \(\upsilon _{1}, \upsilon _{2}, \upsilon _{3}\in V\).

Lemma 4.2

(see [80] (Generalized Diaz–Margolis’s fixed point theorem))

Let\((V,d)\)be a generalized complete metric space. Assume that\(T:V \rightarrow V\)is a strictly contractive operator with the Lipschitz constant\(L<1\). If there exists\(k\geq 0\)such that\(d(T^{k+1} v,T ^{k} v)<\infty \)for somevinV, then the following statements are true:
(\(B_{1}\))

The sequence\(\{T^{n} v\}\)converges to a fixed point\(v^{*}\)ofT;

(\(B_{2}\))

The unique fixed point ofTis\(v^{*}\in V^{*}= \{u\in V\textit{ such that }d(T^{k} v,u)<\infty \}\);

(\(B_{3}\))

\(u\in V^{*}\), then\(d(u,v^{*})\leq \frac{1}{1-L}d(Tu,u)\).

We can introduce some assumptions as follows:
\((H_{1})\)

\(f\in C(J\times \mathbb{R},\mathbb{R})\).

\((H_{2})\)
There exists a positive constant\(\L _{f}\)such that
$$\begin{aligned}& \bigl|f(w,u,m)-f(w,v,n) \bigr|\leq \L _{f_{1}}|u-v|+\L _{f_{2}}|m-n|\\& \quad \textit{for each }w\in J\textit{ and all }u, v, m, n\in \mathbb{R}. \end{aligned}$$
\((H_{3})\)
\(g_{k}\in C((s_{k-1},w_{k}]\times \mathbb{R}, \mathbb{R})\)and there are positive constants\(\L _{gk}\), \(k=1,2, \dots ,m\), such that
$$\bigl|g_{k} (w,v)-g_{k} (w,v) \bigr|\leq \L _{gk}|u-v|\quad \textit{for each } w\in (s_{k-1},w_{k}]\textit{ and all }u,v\in \mathbb{R}. $$
\((H_{4})\)
Let\(\varphi \in C(J,\mathbb{R}_{+})\)be a nondecreasing function, there exist\(C_{\varphi }, C_{\gamma }> 0\)such that
$$\begin{aligned}& \int _{0}^{w} I^{\nu }\bigl(\varphi (s)\bigr)\,ds\leq C_{\varphi }\varphi (w) \quad \textit{for each } w\in J, \end{aligned}$$
(4.1)
$$\begin{aligned}& \int _{0}^{w} (\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds\leq C_{\gamma } \varphi (w) \quad \textit{for each } w\in J. \end{aligned}$$
(4.2)

Theorem 4.3

Suppose that\((H_{1})\)\((H_{2})\)are satisfied and also a function\(z\in PC(J,\mathbb{R})\)satisfies (3.1). Then there exists a unique solution\(z_{0}\)of Eq. (1.2) such that
$$ z_{0}(w)= \textstyle\begin{cases} \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s,z_{0}(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z_{0}(s))\,ds \\ \quad {} +\frac{A_{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f(s,z_{0}(s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )z_{0}(s))\,ds \\ \quad {} -A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s,z_{0}(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z_{0}(s))\,ds \\ \quad {} + (A_{11} (\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} )+e^{ \lambda T} )z_{0},\quad w\in (0,s_{0}], \end{cases}\displaystyle \\ \textstyle\begin{cases} g_{k}(w,z_{0}(w)),\quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \end{cases}\displaystyle \\ \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s,z_{0}(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z_{0}(s))\,ds \\ \quad {} +\frac{M_{k}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f(s,z_{0}(s),{^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )z_{0}(s))\,ds \\ \quad {} -M_{k}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s,z_{0}(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z_{0}(s))\,ds \\ \quad {} +N_{k}\int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f(s,z_{0}(s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda )z_{0}(s))\,ds \\ \quad {}+N_{k} g _{k}(w_{k},z_{0}(w_{k})), \quad w\in (w_{k},s_{k}], \end{cases}\displaystyle \end{cases} $$
(4.3)
and
$$\begin{aligned} \bigl\vert z(w)-z_{0}(w) \bigr\vert \leq & \biggl\{ \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M_{k}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) + M_{k} \biggl(\frac{1-e^{-\lambda T}}{\lambda } \biggr) \\ &{}+ N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N_{k}\L _{gk} \biggr\} \biggl(\frac{\varphi (w)+\psi }{1-\L } \biggr) \end{aligned}$$
(4.4)
for all\(w\in J\)if\(0<\nu <1\), and
$$ \L =\max \{\L _{1},\L _{2}\}< 1, $$
(4.5)
where
$$\begin{aligned} \L _{1} =&\max \biggl\{ \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M_{k}}{\varGamma (p+1)}\frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e ^{-\lambda \eta }}{\lambda } \biggr) + M_{k} \biggl(\frac{1-e^{-\lambda T}}{ \lambda } \biggr) \\ &{}+ N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N_{k}\L _{gk} \textit{ such that } k=1,2,\dots ,m \biggr\} , \\ \L _{2} =&\max \biggl\{ \L _{f_{1}} \biggl( \frac{1-e^{-\lambda w}}{\lambda } \biggr) \biggl(\frac{w^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{2}}\lambda \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)\\ &{} +\L _{f_{2}}\lambda \frac{M _{k}}{\varGamma (p+1)} \biggl(\frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e ^{-\lambda \eta }}{\lambda } \biggr) \\ &{}+\L _{f_{1}}\frac{M_{k}}{\varGamma (p+1)} \biggl(\frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) \biggl(\frac{ \eta ^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{1}} M_{k} \biggl(\frac{1-e ^{-\lambda T}}{\lambda } \biggr) \biggl(\frac{T^{\nu }}{\varGamma (\nu +1)} \biggr) \\ &{}+\L _{f_{2}} \lambda M_{k} \biggl( \frac{1-e^{-\lambda T}}{\lambda } \biggr) +\L _{f_{1}}i N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggl(\frac{w_{k}^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{2}} \lambda N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \\ &{}+N_{k}\L _{gk}, \textit{ such that } k=0,1, \dots ,m \biggr\} . \end{aligned}$$

Proof

Consider the space of piecewise continuous functions
$$ V= \bigl\{ \mu :J\rightarrow \mathbb{R} \text{ such that } \mu \in PC(J,\mathbb{R}) \bigr\} , $$
endowed with the generalized metric on V, defined by
$$\begin{aligned} d(\mu ,\upsilon ) =&\inf \bigl\{ C_{1}+C_{2} \in [0,+\infty ] \text{ such that } \\ &{}\bigl\vert \mu (w)-\upsilon (w) \bigr\vert \leq (C_{1}+ C_{2}) \bigl( \varphi (w)+\psi \bigr) \text{ for all } w\in J \bigr\} , \end{aligned}$$
(4.6)
where
$$\begin{aligned} C_{1}\in \bigl\{ C\in [0,\infty ]\text{ such that }\bigl\vert \mu (w)- \upsilon (w) \bigr\vert \leq C \varphi (w) \text{ for all } w\in (w_{k},s _{k}], k=0,1,\dots ,m \bigr\} \end{aligned}$$
and
$$\begin{aligned} C_{2}\in \bigl\{ C\in [0,\infty ] \text{ such that }\bigl\vert \mu (w)- \upsilon (w) \bigr\vert \leq C\psi \text{ for all } w\in (s_{k-1},w_{k}], k=1,2,\dots ,m \bigr\} . \end{aligned}$$
It is easy to verify that \((V,d)\) is a complete generalized metric space [80].
Define an operator \(\varLambda :V\rightarrow V\) by
$$ (\varLambda z) (w)= \textstyle\begin{cases} \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s,z(s),{^{c}}\mathcal{D} ^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \quad {} +\frac{A_{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f(s,z(s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )z(s))\,ds \\ \quad {} -A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \quad {} + (A_{11} (\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} )+e^{ \lambda T} )z_{0},\quad w\in (0,s_{0}], \end{cases}\displaystyle \\ \textstyle\begin{cases} g_{k}(w,z(w)),\quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m, \end{cases}\displaystyle \\ \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f(s,z(s),{^{c}}\mathcal{D} ^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \quad {} +\frac{M_{k}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f(s,z(s))\,ds \\ \quad {} -M_{k}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f(s,z(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \quad {} +N_{k}\int _{0}^{w_{k}} e^{-\lambda (t_{k}-s)}I^{\nu }f(s,z(s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda )z(s))\,ds \\ \quad {} +N_{k} g_{k}(w_{k},z(w_{k})), \quad w\in (w_{k},s_{k}], k=0,1, \dots ,m, \end{cases}\displaystyle \end{cases} $$
(4.7)
for all z belonging to V and \(w\in J\). Obviously, according to \((H_{1})\), Λ is a well-defined operator.
Next we shall verify that Λ is strictly contractive on V. Note that according to definition of \((V,d)\), for any \(\mu ,\upsilon \in V\), it is possible to find \(C_{1},C_{2}\in [0,\infty ]\) such that
$$\begin{aligned} \bigl\vert \mu (w)-\upsilon (w) \bigr\vert \leq \textstyle\begin{cases} C_{1}\varphi (w),\quad w\in (w_{k},s_{k}], k=0,\dots ,m, \\ C_{2}\psi , \quad w\in (s_{k-1},w_{k}], k=1,\dots ,m. \end{cases}\displaystyle \end{aligned}$$
(4.8)
From the definition of Λ in Eq. (4.7), \((H_{2})\), \((H_{3})\), and (4.8), we obtain the following.
Case 1: For \(w\in [0,s_{0}]\),
$$\begin{aligned}& \bigl\vert (\varLambda \mu ) (w)-(\varLambda \upsilon ) (w) \bigr\vert \\ & \quad= \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\ & \qquad{}- \int _{0}^{w}e^{- \lambda (w-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\ & \qquad{}+\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\ & \qquad{}-A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\ & \qquad{}+ \bigl(A_{11} \bigl(\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} \bigr)+e^{\lambda T} \bigr)z _{0} \\ & \qquad{}-\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f\bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \\ & \qquad{}+A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds\\ & \qquad{} - \bigl(A _{11} \bigl(\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} \bigr)+e^{\lambda T} \bigr)z_{0} \biggr\vert \\ & \quad\leq \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\ & \qquad{}- \int _{0}^{w}e^{- \lambda (w-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \biggr\vert \\ & \qquad{}+ \biggl\vert \frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\ & \qquad{}-\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f\bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \biggr\vert \\ & \qquad{}+ \biggl\vert A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\ & \qquad{}-A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \biggr\vert \\ & \quad\leq \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)\,ds-f\bigl(s,\upsilon (s), {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \bigr\vert \\ & \qquad{}+A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert f\bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds-f\bigl(s, \mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \bigr\vert \\ & \qquad{}+\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu } \bigl\vert f\bigl(s,\mu (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s) \bigr)\,ds\\ & \qquad {}-f\bigl(s,\upsilon (s),{^{c}}\mathcal{D} ^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \bigr\vert \\ & \quad\leq \L _{f_{1}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \mu (s)- \upsilon (s) \bigr\vert \,ds\\ & \qquad {}+\L _{f_{2}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \upsilon (s)-\mu (s) \bigr\vert \,ds \\& \qquad {}+ \L _{f_{1}} \frac{A_{11}}{\varGamma (p+1)} \int _{0} ^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \mu (s)- \upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert {^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s) \bigr\vert \,ds \\& \quad=\L _{f_{1}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \mu (s)- \upsilon (s) \bigr\vert \,ds +\L _{f_{2}} \int _{0}^{w}e^{-\lambda (w-s)}I^{ \nu }{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \mu (s)- \upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \upsilon (s)-\mu (s) \bigr\vert \,ds\\& \qquad {} +\L _{f_{2}}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I ^{\nu }{^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \upsilon (s)- \mu (s) \bigr\vert \,ds \\& \qquad{}+ \L _{f_{1}}\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \quad\leq \L _{f_{1}}C_{1} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds +\L _{f_{2}}C_{1} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}C_{1}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds +\L _{f_{2}}C_{1}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I ^{\nu }{^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\frac{A_{11}C_{1} \L _{f_{1}}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda ( \eta -s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\frac{A_{11}C_{1}\L _{f_{2}}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \quad=\L _{f_{1}}C_{1} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds +\L _{f_{2}}C_{1} \int _{0}^{w}e^{-\lambda (w-s)}(\mathcal{D}+ \lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}C_{1}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds +\L _{f_{2}}C_{1}A_{11} \int _{0}^{T} e^{-\lambda (T-s)}( \mathcal{D}+ \lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\frac{A_{11}C_{1} \L _{f_{1}}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda ( \eta -s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad {}+ \frac{A_{11}C_{1}\L _{f_{2}}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}( \mathcal{D}+\lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \quad\leq \L _{f_{1}} C_{1} \biggl( \int _{0}^{w}e^{-\lambda (w-s)}\,ds \biggr) \biggl( \int _{0}^{w} I^{\nu }\bigl(\varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{2}} C_{1} \biggl( \int _{0}^{w}e^{-\lambda (w-s)}\,ds \biggr) \biggl( \int _{0}^{w} (\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{1}} C_{1}A_{11} \biggl( \int _{0}^{T} e^{-\lambda (T-s)}\,ds \biggr) \biggl( \int _{0}^{T} I^{\nu }\bigl(\varphi (s) \bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{2}} C_{1}A_{11} \biggl( \int _{0}^{T} e^{-\lambda (T-s)}\,ds \biggr) \biggl( \int _{0}^{T} (\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+ \L _{f_{1}} C_{1}\frac{A_{11}}{\varGamma (p+1)} \biggl( \int _{0}^{\eta }( \eta -s)^{p} \,ds \biggr) \biggl( \int _{0}^{\eta }e^{-\lambda (\eta -s)}\,ds \biggr) \biggl( \int _{0}^{\eta }I^{\nu }\bigl(\varphi (s) \bigr)\,ds \biggr) \\& \qquad{}+ \L _{f_{2}} C_{1}\frac{A_{11}}{\varGamma (p+1)} \biggl( \int _{0}^{\eta }( \eta -s)^{p} \,ds \biggr) \biggl( \int _{0}^{\eta }e^{-\lambda (\eta -s)}\,ds \biggr) \biggl( \int _{0}^{\eta }(\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr) \\& \quad\leq \L _{f_{1}} C_{1} \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)C _{\varphi }\varphi (w)+\L _{f_{2}} C_{1} \biggl(\frac{1-e^{-\lambda w}}{ \lambda } \biggr)C_{\gamma }\varphi (w) \\& \qquad{}+\L _{f_{1}} C_{1}A_{11} \biggl( \frac{1-e^{-\lambda T}}{\lambda } \biggr)C_{\varphi }\varphi (w) +\L _{f_{2}} C_{1}A_{11} \biggl(\frac{1-e ^{-\lambda T}}{\lambda } \biggr)C_{\gamma }\varphi (w) \\& \qquad{}+\L _{f_{1}} C_{1}\frac{A_{11}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr)C_{\varphi } \varphi (w)\\& \qquad{} +\L _{f_{2}} C_{1}\frac{A_{11}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr)C_{\gamma } \varphi (w) \\& \quad= C_{1} \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)\varphi (w) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) + C_{1}A_{11} \biggl(\frac{1-e^{-\lambda T}}{\lambda } \biggr)\varphi (w) (\L _{f _{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) \\& \qquad{}+C_{1}\frac{A_{11}}{\varGamma (p+1)}\frac{\eta ^{p+1}}{p+1} \biggl( \frac{1-e ^{-\lambda \eta }}{\lambda } \biggr)\varphi (w) (\L _{f_{1}}C_{\varphi }+ \L _{f_{2}}C_{\gamma } ) \\& \quad= \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)+A_{11} \biggl( \frac{1-e ^{-\lambda T}}{\lambda } \biggr) +\frac{A_{11}}{\varGamma (p+1)}\frac{ \eta ^{p+1}}{p+1} \biggl( \frac{1-e^{-\lambda \eta }}{\lambda } \biggr) \biggr)\\& \qquad {}\times C_{1}\varphi (w) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ). \end{aligned}$$
Case 2: For \(w\in (s_{k-1},w_{k}]\), we have
$$\begin{aligned} \bigl\vert (\varLambda \mu ) (w)-(\varLambda \upsilon ) (w) \bigr\vert =& \bigl\vert g_{k}\bigl(w,\mu (w)\bigr)-g_{k}\bigl(w, \upsilon (w)\bigr) \bigr\vert \leq \L _{gk} \bigl\vert \mu (w)- \upsilon (w) \bigr\vert \leq \L _{gk}C_{2} \psi . \end{aligned}$$
Case 3: For \(w\in (w_{k},s_{k}]\) and \(s\in (w_{k},s_{k}]\),
$$\begin{aligned}& \bigl\vert (\varLambda \mu ) (w)-(\varLambda \upsilon ) (w) \bigr\vert \\& \quad = \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds\\& \qquad{} - \int _{0}^{w}e^{- \lambda (w-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\& \qquad{}+\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\mu (s)\bigr)\,ds \\& \qquad{}-M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad{}+N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,\mu (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad{}-\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \\& \qquad{}+M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\& \qquad{}-N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds\\& \qquad{}+N_{k} g _{k} \bigl(w_{k},\mu (w_{k})\bigr)-N_{k} g_{k}\bigl(w_{k},\nu (w_{k})\bigr) \biggr\vert \\& \quad\leq \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)\\& \qquad {}-f\bigl(s,\upsilon (s), {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s)\bigr) \bigr\vert \,ds+N _{k}\L _{gk}C_{2}\psi \\& \qquad{}+\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert f\bigl(s,\mu (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s) \bigr)\\& \qquad {}- f\bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{ \nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr) \bigr\vert \,ds \\& \qquad{}+M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert f\bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)-f\bigl(s, \mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr) \bigr\vert \,ds \\& \qquad{}+N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert f\bigl(s, \mu (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)-f\bigl(s, \upsilon (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s)\bigr) \bigr\vert \,ds \\& \quad\leq \L _{f_{1}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \mu (s)- \upsilon (s) \bigr\vert \,ds \\& \qquad {}+\L _{f_{2}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds\\& \qquad {} +\L _{f_{1}}M _{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \upsilon (s)-\mu (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu } \bigl\vert {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds+N_{k}\L _{gk}C_{2}\psi \\& \quad=\L _{f_{1}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds +\L _{f_{2}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad {}+\L _{f_{1}}N _{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu }{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \upsilon (s)- \mu (s) \bigr\vert \,ds \\& \qquad {}+\L _{f_{2}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \upsilon (s)-\mu (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds +N_{k}\L _{gk}C_{2} \psi \\& \quad\leq \L _{f_{1}}C_{1} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds +\L _{f_{2}}C_{1} \int _{0}^{w}e^{-\lambda (w-s)}(\mathcal{D}+ \lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}C_{1}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \varphi (s)) \bigr\vert \,ds\\& \qquad {} +\L _{f_{2}}C_{1}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}(\mathcal{D}+ \lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}C_{1}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}(\mathcal{D}+\lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds\\& \qquad {} +\L _{f _{1}}C_{1}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \varphi (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}C_{1}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{ \nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad {}+\L _{f_{2}}C_{1}N_{k} \int _{0}^{w_{k}} e ^{-\lambda (w_{k}-s)}(\mathcal{D}+ \lambda ) \bigl\vert \varphi (s) \bigr\vert \,ds +N_{k}\L _{gk}C_{2}\psi \\& \quad\leq \L _{f_{1}} C_{1} \biggl( \int _{0}^{w}e^{-\lambda (w-s)}\,ds \biggr) \biggl( \int _{0}^{w}I^{\nu }\bigl(\varphi (s) \bigr)\,ds \biggr) \\& \qquad {}+\L _{f_{2}} C_{1} \biggl( \int _{0}^{w}e^{-\lambda (w-s)}\,ds \biggr) \biggl( \int _{0}^{w}( \mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{1}} C_{1}\frac{M_{k}}{\varGamma (p+1)} \biggl( \int _{0}^{\eta }( \eta -s)^{p}\,ds \biggr) \biggl( \int _{0}^{\eta }e^{-\lambda (\eta -s)}\,ds \biggr) \biggl( \int _{0}^{\eta }I^{\nu }\bigl(\varphi (s) \bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{2}} C_{1}\frac{M_{k}}{\varGamma (p+1)} \biggl( \int _{0}^{\eta }( \eta -s)^{p}\,ds \biggr) \biggl( \int _{0}^{\eta }e^{-\lambda (\eta -s)}\,ds \biggr) \biggl( \int _{0}^{\eta }(\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{1}} C_{1}M_{k} \biggl( \int _{0}^{T} e^{-\lambda (T-s)}\,ds \biggr) \biggl( \int _{0}^{T}I^{\nu }\bigl(\varphi (s) \bigr)\,ds \biggr) \\& \qquad {}+\L _{f_{1}} C_{1}N _{k} \biggl( \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}\,ds \biggr) \biggl( \int _{0}^{w_{k}} I^{\nu }\bigl(\varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{2}} C_{1}M_{k} \biggl( \int _{0}^{T} e^{-\lambda (T-s)}\,ds \biggr) \biggl( \int _{0}^{T}(\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr) \\& \qquad{}+\L _{f_{2}} C_{1}N_{k} \biggl( \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}\,ds \biggr) \biggl( \int _{0}^{w_{k}} (\mathcal{D}+\lambda ) \bigl( \varphi (s)\bigr)\,ds \biggr)+N_{k}\L _{gk}C_{2} \psi \\& \quad\leq \L _{f_{1}} C_{1} \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)C _{\varphi }\varphi (w) +\L _{f_{2}} C_{1} \biggl(\frac{1-e^{-\lambda w}}{ \lambda } \biggr)C_{\gamma }\varphi (w) \\& \qquad {}+\L _{f_{1}} C_{1} N_{k} \biggl( \frac{1-e ^{-\lambda w_{k}}}{\lambda } \biggr)C_{\varphi }\varphi (w) \\& \qquad{}+\L _{f_{1}} C_{1}\frac{M_{k}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr)C_{\varphi } \varphi (w) \\& \qquad {}+\L _{f_{2}} C_{1}\frac{M_{k}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr)C_{\gamma } \varphi (w) \\& \qquad{}+\L _{f_{1}} C_{1} M_{k} \biggl( \frac{1-e^{-\lambda T}}{\lambda } \biggr)C_{\varphi }\varphi (w) +\L _{f_{2}} C_{1} M_{k} \biggl(\frac{1-e ^{-\lambda T}}{\lambda } \biggr)C_{\gamma }\varphi (w) \\& \qquad{}+\L _{f_{2}} C_{1} N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr)C_{\gamma }\varphi (w)+N_{k}\L _{gk}C_{2}\psi \\& \quad= C_{1} \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)\varphi (w) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) \\& \qquad {}+ C_{1}\frac{M _{k}}{\varGamma (p+1)}\frac{\eta ^{p+1}}{p+1} \biggl( \frac{1-e^{-\lambda \eta }}{\lambda } \biggr)\varphi (w) (\L _{f_{1}}C_{\varphi }+ \L _{f _{2}}C_{\gamma } ) \\& \qquad{}+ C_{1} M_{k} \biggl(\frac{1-e^{-\lambda T}}{\lambda } \biggr) \varphi (w) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } )\\& \qquad {}+ C_{1} N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \varphi (w) ( \L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N_{k}\L _{gk}C_{2}\psi \\& \quad= \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M_{k}}{ \varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{ \lambda } \biggr) + M_{k} \biggl(\frac{1-e^{-\lambda T}}{\lambda } \biggr) + N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) \\& \qquad {}\times C_{1}\varphi (w) (\L _{f_{1}}C_{\varphi }+ \L _{f_{2}}C_{ \gamma } ) +N_{k}\L _{gk}C_{2}\psi \\& \quad\leq \biggl\{ \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M_{k}}{\varGamma (p+1)}\frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{- \lambda \eta }}{\lambda } \biggr) + M_{k} \biggl(\frac{1-e^{-\lambda T}}{ \lambda } \biggr) \\& \qquad{}+ N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N_{k}\L _{gk} \biggr\} (C_{1}+C_{2} ) \bigl(\varphi (w)+\psi \bigr). \end{aligned}$$
Also, for \(w\in (w_{k},s_{k}]\) and \(s\in (s_{k-1},w_{k}]\), we have
$$\begin{aligned}& \bigl\vert (\varLambda \mu ) (w)-(\varLambda \upsilon ) (w) \bigr\vert \\& \quad = \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad {}- \int _{0}^{w}e^{- \lambda (w-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\& \qquad{}+\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\mu (s)\bigr)\,ds \\& \qquad {}-M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad {}+N_{k} \int _{0}^{w _{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}}\mathcal{D}^{ \nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad {}-\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \\& \qquad{}+M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\& \qquad {}-N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\& \qquad {}+N_{k} g _{k} \bigl(w_{k},\mu (w_{k})\bigr)-N_{k} g_{k}\bigl(w_{k},\nu (w_{k})\bigr) \biggr\vert \\& \quad\leq \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad {}- \int _{0}^{w}e^{- \lambda (w-s)}I^{\nu }f \bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \biggr\vert \\& \qquad{}+ \biggl\vert \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad {}-\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\upsilon (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)\,ds \biggr\vert \\& \qquad{}+ \biggl\vert M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \\& \qquad {}-M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \biggr\vert \\& \qquad{}+ \biggl\vert N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s, \mu (s),{^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr)\,ds \\& \qquad {}-N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\upsilon (s)\bigr)\,ds \biggr\vert \\& \qquad {} + \bigl\vert N_{k} g_{k}\bigl(w_{k},\mu (w_{k}) \bigr)-N_{k} g_{k}\bigl(w_{k},\nu (w_{k})\bigr) \bigr\vert \\& \quad\leq \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert f\bigl(s,\mu (s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)-f\bigl(s,\upsilon (s), {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s)\bigr) \bigr\vert \,ds \\& \qquad{}+\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert f\bigl(s,\mu (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s) \bigr)\\& \qquad {}- f\bigl(s,\upsilon (s),{^{c}}\mathcal{D}^{ \nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr) \bigr\vert \,ds \\& \qquad{}+M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert f\bigl(s,\upsilon (s), {^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\upsilon (s)\bigr)-f\bigl(s, \mu (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\mu (s)\bigr) \bigr\vert \,ds \\& \qquad{}+N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert f\bigl(s, \mu (s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu (s)\bigr)-f\bigl(s, \upsilon (s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s)\bigr) \bigr\vert \,ds\\& \qquad {}+N_{k}\L _{gk}C_{2}\psi \\& \quad\leq \L _{f_{1}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \mu (s)- \upsilon (s) \bigr\vert \,ds\\& \qquad {} +\L _{f_{1}} \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }( \eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert {^{c}}\mathcal{D} ^{\nu }(\mathcal{D}+\lambda ) \mu (s)-{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda ) \upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu } \bigl\vert {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda )\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \upsilon (s)- \mu (s) \bigr\vert \,ds +\L _{f_{1}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I ^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert {^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{2}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \mu (s)-{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \upsilon (s) \bigr\vert \,ds +N_{k}\L _{gk}C _{2}\psi \\& \quad =\L _{f_{1}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds +\L _{f_{2}} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds+N_{k}\L _{gk}C _{2}\psi \\& \qquad{}+\L _{f_{2}}\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}I^{\nu }{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } \bigl\vert \upsilon (s)- \mu (s) \bigr\vert \,ds \\& \qquad {}+\L _{f_{2}}M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu } {^{c}}\mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \upsilon (s)-\mu (s) \bigr\vert \,ds \\& \qquad{}+\L _{f_{1}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu } \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds\\& \qquad {} +\L _{f_{2}}N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+\lambda ) \bigl\vert \mu (s)-\upsilon (s) \bigr\vert \,ds \\& \quad\leq \L _{f_{1}}C_{2}\psi \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }(1)\,ds +\L _{f_{2}}C_{2}\psi \int _{0}^{w}e^{-\lambda (w-s)}(\mathcal{D}+ \lambda ) (1)\,ds \\& \qquad{}+\L _{f_{1}}C_{2}\psi \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }( \eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }(1)\,ds +\L _{f_{1}}C_{2} \psi M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }(1)\,ds \\& \qquad{}+\L _{f_{2}}C_{2}\psi \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }( \eta -s)^{p} e^{-\lambda (\eta -s)}(\mathcal{D}+\lambda ) (1)\,ds\\& \qquad {} +\L _{f_{2}}C_{2} \psi M_{k} \int _{0}^{T} e^{-\lambda (T-s)}(\mathcal{D}+ \lambda ) (1)\,ds \\& \qquad{}+\L _{f_{1}}C_{2}\psi N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I ^{\nu }(1)\,ds +\L _{f_{2}}C_{2}\psi N_{k} \int _{0}^{w_{k}} e^{-\lambda (w _{k}-s)}(\mathcal{D}+ \lambda ) (1)\,ds\\& \qquad {} +N_{k}\L _{gk}C_{2}\psi \\& \quad =\L _{f_{1}}C_{2}\psi \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }(1)\,ds + \L _{f_{2}}C_{2}\psi \int _{0}^{w}e^{-\lambda (w-s)}\bigl( \mathcal{D}(1)+ \lambda (1)\bigr)\,ds \\& \qquad{}+\L _{f_{1}}C_{2}\psi \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }( \eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }(1)\,ds +\L _{f_{1}}C_{2} \psi M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }(1)\,ds \\& \qquad{}+\L _{f_{2}}C_{2}\psi \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }( \eta -s)^{p} e^{-\lambda (\eta -s)}\bigl(\mathcal{D}(1)+\lambda (1)\bigr)\,ds \\& \qquad{}+\L _{f_{2}}C_{2}\psi M_{k} \int _{0}^{T} e^{-\lambda (T-s)}\bigl( \mathcal{D}(1)+\lambda (1)\bigr)\,ds +\L _{f_{1}}C_{2}\psi N_{k} \int _{0}^{w _{k}} e^{-\lambda (w_{k}-s)}I^{\nu }(1)\,ds \\& \qquad{}+\L _{f_{2}}C_{2}\psi N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}\bigl( \mathcal{D}(1)+\lambda (1)\bigr)\,ds +N_{k}\L _{gk}C_{2} \psi \\& \quad =\L _{f_{1}}C_{2}\psi \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }(1)\,ds \\& \qquad {}+ \L _{f_{2}}C_{2}\lambda \psi \int _{0}^{w}e^{-\lambda (w-s)}\,ds +\L _{f _{2}}C_{2}\psi \lambda N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}\,ds \\& \qquad{}+\L _{f_{1}}C_{2}\psi \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }( \eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }(1)\,ds\\& \qquad {} +\L _{f_{2}}C_{2} \psi \lambda \frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e ^{-\lambda (\eta -s)}\,ds \\& \qquad{}+\L _{f_{1}}C_{2}\psi M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }(1)\,ds +\L _{f_{2}}C_{2}\psi \lambda M_{k} \int _{0}^{T} e^{-\lambda (T-s)}\,ds \\& \qquad{}+\L _{f_{1}}C_{2}\psi N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I ^{\nu }(1)\,ds +N_{k}\L _{gk}C_{2} \psi \\& \quad\leq \L _{f_{1}} C_{2}\psi \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) \biggl(\frac{w^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{2}} C_{2} \lambda \psi \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr)\\& \qquad {}+\L _{f_{2}}C _{2}\lambda \psi N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \\& \qquad{}+\L _{f_{1}}C_{2}\psi \frac{M_{k}}{\varGamma (p+1)} \biggl( \frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) \biggl( \frac{\eta ^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{2}} C _{2}\lambda \psi M_{k} \biggl(\frac{1-e^{-\lambda T}}{\lambda } \biggr) \\& \qquad{}+\L _{f_{2}}C_{2}\lambda \psi \frac{M_{k}}{\varGamma (p+1)} \biggl(\frac{ \eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) +\L _{f_{1}} C_{2}\psi M_{k} \biggl( \frac{1-e^{-\lambda T}}{ \lambda } \biggr) \biggl(\frac{T^{\nu }}{\varGamma (\nu +1)} \biggr) \\& \qquad{}+\L _{f_{1}}C_{2}\psi N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggl(\frac{w_{k}^{\nu }}{\varGamma (\nu +1)} \biggr) +N_{k}\L _{gk}C _{2}\psi \\& \quad = \biggl\{ \L _{f_{1}} \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) \biggl( \frac{w^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{2}} \lambda \biggl( \frac{1-e^{-\lambda w}}{\lambda } \biggr) \\& \qquad {}+\L _{f_{2}}\lambda \frac{M _{k}}{\varGamma (p+1)} \biggl(\frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e ^{-\lambda \eta }}{\lambda } \biggr) \\& \qquad{}+\L _{f_{1}}\frac{M_{k}}{\varGamma (p+1)} \biggl(\frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) \biggl(\frac{ \eta ^{\nu }}{\varGamma (\nu +1)} \biggr)\\& \qquad {} +\L _{f_{1}} M_{k} \biggl(\frac{1-e ^{-\lambda T}}{\lambda } \biggr) \biggl(\frac{T^{\nu }}{\varGamma (\nu +1)} \biggr) \\& \qquad{}+\L _{f_{2}} \lambda M_{k} \biggl( \frac{1-e^{-\lambda T}}{\lambda } \biggr) +\L _{f_{1}} N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggl(\frac{w_{k}^{\nu }}{\varGamma (\nu +1)} \biggr) \\& \qquad {}+\L _{f_{2}} \lambda N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) +N_{k} \L _{gk} \biggr\} C_{2}\psi \\& \quad\leq \biggl\{ \L _{f_{1}} \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) \biggl(\frac{w^{\nu }}{\varGamma (\nu +1)} \biggr) +\L _{f_{2}}\lambda \biggl( \frac{1-e^{-\lambda w}}{\lambda } \biggr)\\& \qquad {} +\L _{f_{2}}\lambda \frac{M _{k}}{\varGamma (p+1)} \biggl(\frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e ^{-\lambda \eta }}{\lambda } \biggr) \\& \qquad{}+\L _{f_{1}}\frac{M_{k}}{\varGamma (p+1)} \biggl(\frac{\eta ^{p+1}}{p+1} \biggr) \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) \biggl(\frac{ \eta ^{\nu }}{\varGamma (\nu +1)} \biggr)\\& \qquad {} +\L _{f_{1}} M_{k} \biggl(\frac{1-e ^{-\lambda T}}{\lambda } \biggr) \biggl(\frac{T^{\nu }}{\varGamma (\nu +1)} \biggr) \\& \qquad{}+\L _{f_{2}} \lambda M_{k} \biggl( \frac{1-e^{-\lambda T}}{\lambda } \biggr) +\L _{f_{1}}i N_{k} \biggl( \frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggl(\frac{w_{k}^{\nu }}{\varGamma (\nu +1)} \biggr)\\& \qquad {} +\L _{f_{2}} \lambda N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) +N_{k} \L _{gk} \biggr\} (C_{1}+C_{2} ) \bigl(\varphi (w)+\psi \bigr). \end{aligned}$$
From the above we have
$$\begin{aligned} \bigl\vert (\varLambda \mu ) (w)-(\varLambda \upsilon ) (w) \bigr\vert \leq \L (C_{1}+C_{2}) \bigl( \varphi (w)+\psi \bigr), \quad w \in [0,\tau ], \end{aligned}$$
that is,
$$\begin{aligned} d(\varLambda \mu ,\varLambda \upsilon )\leq \L (C_{1}+C_{2}) \bigl(\varphi (w)+ \psi \bigr). \end{aligned}$$
Hence, we conclude that
$$\begin{aligned} d(\varLambda \mu ,\varLambda \upsilon )\leq {\L }\,d(\mu ,\upsilon ) \end{aligned}$$
for any \(\mu ,\upsilon \in V\), since condition (4.5) is strictly contractive property is shown.
Now we take \(\mu _{0}\in V\). From the piecewise continuous property of \(\mu _{0}\) and \(\varLambda \mu _{0}\), it follows that there exists a constant \(0< G_{1}<\infty \) such that
$$\begin{aligned} \bigl\vert (\varLambda \mu _{0}) (w)-\mu _{0}(w) \bigr\vert \leq &\biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu _{0}(s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\mu _{0}(s)\bigr)\,ds \\ & {}+\frac{A_{11}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }f\bigl(s,\mu _{0}(s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu _{0}(s)\bigr)\,ds \\ & {}-A_{11} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu _{0}(s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu _{0}(s)\bigr)\,ds \\ & {}+ \bigl(A_{11} \bigl(\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} \bigr)+e^{ \lambda T} \bigr)z_{0}-\mu _{0}(w) \biggr\vert \\ \leq& G_{1} \varphi (w)\leq G_{1}\bigl(\varphi (w)+ \psi \bigr), \quad w\in (0,s_{0}]. \end{aligned}$$
There exists a constant \(0< G_{2}<\infty \) such that
$$\begin{aligned}& \bigl\vert (\varLambda \mu _{0}) (w)-\mu _{0}(w) \bigr\vert = \bigl\vert g_{k}\bigl(w,\mu _{0}(w) \bigr)-\mu _{0}(w) \bigr\vert \leq G_{2}\psi \leq G_{2}\bigl(\varphi (w)+\psi \bigr), \\& \quad w\in (s_{k-1},w_{k}], k=1,2,\dots ,m. \end{aligned}$$
Also we can find a constant \(0< G_{3}<\infty \) such that
$$\begin{aligned} \bigl\vert (\varLambda \mu _{0}) (w)-\mu _{0}(w) \bigr\vert \leq & \biggl\vert \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }f \bigl(s,\mu _{0}(s),{^{c}}\mathcal{D}^{\nu }( \mathcal{D}+ \lambda )\mu _{0}(s)\bigr)\,ds \\ &{}+\frac{M_{k}}{\varGamma (p+1)} \int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }f\bigl(s,\mu _{0}(s),{^{c}} \mathcal{D}^{\nu }(\mathcal{D}+ \lambda )\mu _{0}(s)\bigr)\,ds \\ &{}-M_{k} \int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }f \bigl(s,\mu _{0}(s),{^{c}} \mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu _{0}(s)\bigr)\,ds \\ &{}+N_{k} \int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }f \bigl(s,\mu _{0}(s), {^{c}}\mathcal{D}^{\nu }( \mathcal{D}+\lambda )\mu _{0}(s)\bigr)\,ds \\ &{}+N_{k} g_{k}\bigl(w_{k},\mu _{0}(w_{k})\bigr)-\mu _{0}(w) \biggr\vert \\ \leq & G_{3}\varphi (w)\leq G_{3}\bigl(\varphi (w)+ \psi \bigr), \quad w\in (w _{k},s_{k}], k=1,2, \dots ,m. \end{aligned}$$
Since f, \(g_{k}\), and \(\mu _{0}\) are bounded on J and \(\varphi (.)>0\), thus (4.6) implies that \(d(\varLambda \mu _{0},\mu _{0})<\infty \).

By using the Banach fixed point theorem, there exists a continuous function \(z:J\rightarrow \mathbb{R}\) such that \(\varLambda ^{n}\mu _{0} \rightarrow z_{0}\) in \((V,d)\) as \(n\rightarrow \infty \) and \(\varLambda z=z_{0}\), that is, \(z_{0}\) satisfies Eq. (4.3) for every \(w\in J\).

Now we show that \(\{\mu \in V \text{ such that } d(\mu _{0},\mu )< \infty \}=V\). For any \(g\in V\), since μ and \(\mu _{0}\) are bounded on J and \(\min_{w\in J}(\varphi (w)+\psi )>0\), there exists a constant \(0< C_{\mu }<\infty \) such that \(|\mu _{0}(w)-\mu (w)|\leq C_{\mu }( \varphi (w)+\psi )\) for any \(w\in J\). Hence, we have \(d(\mu _{0}, \mu )<\infty \) for all \(\mu \in V\), that is, \(\{\mu \in V \text{ such that } d(\mu _{0},\mu )<\infty \}=V\). Thus, we determine that z is the unique continuous function with Eq. (4.3). From (3.2) and \((H_{4})\), we can write
$$\begin{aligned} d(z,\varLambda z) \leq & \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M_{k}}{\varGamma (p+1)}\frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e ^{-\lambda \eta }}{\lambda } \biggr) \\ &{}+ M_{k} \biggl(\frac{1-e^{-\lambda T}}{ \lambda } \biggr) + N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N _{k}\L _{gk}. \end{aligned}$$
Summarizing, we have
$$\begin{aligned} d(z_{0},z) \leq & \frac{d(\varLambda z,z)}{1-\L } \\ \leq & \biggl\{ \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M _{k}}{\varGamma (p+1)}\frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) \\ &{}+ M_{k} \biggl(\frac{1-e^{-\lambda T}}{\lambda } \biggr) + N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N _{k}\L _{gk} \biggr\} \biggl(\frac{1}{1-\L } \biggr). \end{aligned}$$
This shows that (4.4) is true for \(w\in J\). □

Finally, we give an example to illustrate our main results.

Example 4.4

$$ \textstyle\begin{cases} {{}^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z(w)=\frac{ \vert z(w) \vert + {{}^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z(w)}, \quad w\in (0,1]\cup (2,3], \\ z(w)=\frac{z(w)}{(3+w^{2})(1+ \vert z(w) \vert )}, \quad w\in (1,2], \\ z(0)=\frac{\sqrt{2}}{3}, \qquad z(1)=\frac{5}{6}\int _{0}^{\frac{1}{4}}\frac{(\frac{1}{4}-s)}{\varGamma \frac{4}{3}}\,ds, \quad 0< \eta < 1, \end{cases} $$
(4.9)
and
$$ \textstyle\begin{cases} \vert {^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z(w)-\frac{ \vert z(w) \vert + {^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z(w)} \vert \leq e^{w}, \quad w\in (0,1]\cup (2,3], \\ \vert z(w)-\frac{z(w)}{(3+w^{2})(1+ \vert z(w) \vert )} \vert \leq 1, \quad w\in (1,2]. \end{cases} $$
Let \(J=[0,3]\), \(\nu =\frac{1}{2}\), \(p=\frac{4}{3}\), \(\eta = \frac{1}{4}\), and \(0=w_{0}< s_{0}=1< w_{1}=2< s_{1}=\tau =T=3\). Denote \(f(w,z(w))=\frac{|z(w)|}{8+e^{w}+w^{2}}\) with \(\L _{f_{1}}=\frac{1}{4}\), \(\L _{f_{2}}=\frac{1}{3}\) for \(w\in (0,1]\cup (2,3]\) and \(g_{1}(w,z(w))=\frac{z(w)}{(3+w ^{2})(1+|z(w)|)}\) with \(L_{g_{k}}=1\) for \(w\in (1,2]\). Putting \(\L _{f}=\frac{1}{4}\), \(\varphi (w)=e^{w}\), and \(C_{1}=C_{\varphi }=C _{\gamma }=1\), we have \(\int _{0}^{w} I^{\frac{1}{2}}e^{s}\,ds\leq e^{w}\) and \(\L _{1}\approx 0.1231\), \(\L _{2}\approx 0.4741\), so \(\L \approx 0.4741 < 1\).
By Theorem 4.3, there exists a unique solution \(z:[0,3] \rightarrow \mathbb{R}\) such that
$$\begin{aligned}& z_{0}(w)= \textstyle\begin{cases} \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }\frac{ \vert z_{0}(w) \vert +{^{c}} \mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {}+\frac{A_{11}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{- \lambda (\eta -s)}I^{\nu }\frac{ \vert z_{0}(w) \vert +{^{c}}\mathcal{D}_{0,w} ^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e^{w}+w^{2}+{^{c}} \mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {} -A_{11}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }\frac{ \vert z_{0}(w) \vert + {^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {} + (A_{11} (\eta ^{p} E_{(1,p+1)}(aw)-e^{\lambda T} )+e^{ \lambda T} )z_{0},\quad w\in [0,1], \end{cases}\displaystyle \\ \textstyle\begin{cases} \frac{z_{0}(w)}{(3+w^{2})(1+ \vert z_{0}(w) \vert )},\quad w\in (1,2], k=1,2, \dots ,m, \end{cases}\displaystyle \\ \textstyle\begin{cases} \int _{0}^{w}e^{-\lambda (w-s)}I^{\nu }\frac{ \vert z_{0}(w) \vert +{^{c}} \mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {} +\frac{M_{k}}{\varGamma (p+1)}\int _{0}^{\eta }(\eta -s)^{p} e^{-\lambda (\eta -s)}I^{\nu }\frac{ \vert z_{0}(w) \vert +{^{c}}\mathcal{D}_{0,w}^{ \frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e^{w}+w^{2}+{^{c}} \mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {} -M_{k}\int _{0}^{T} e^{-\lambda (T-s)}I^{\nu }\frac{ \vert z_{0}(w) \vert +{^{c}} \mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {} +N_{k}\int _{0}^{w_{k}} e^{-\lambda (w_{k}-s)}I^{\nu }\frac{ \vert z_{0}(w) \vert + {^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}{8+e ^{w}+w^{2}+{^{c}}\mathcal{D}_{0,w}^{\frac{1}{2}} (\mathcal{D}+2 )z_{0}(w)}\,ds \\ \quad {} +N_{k}\frac{z_{0}(w)}{(3+w^{2})(1+ \vert z_{0}(w) \vert )}, \quad w\in (2,3], \end{cases}\displaystyle \end{cases}\displaystyle \\& \bigl\vert z(w)-z_{0}(w) \bigr\vert \leq \biggl\{ \biggl( \biggl(\frac{1-e^{-\lambda w}}{\lambda } \biggr) + \frac{M_{k}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) + M_{k} \biggl( \frac{1-e^{-\lambda T}}{\lambda } \biggr) \\& \hphantom{ \vert z(w)-z_{0}(w) \vert \leq }{}+ N_{k} \biggl(\frac{1-e^{-\lambda w_{k}}}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N_{k}\L _{gk} \biggr\} \biggl(\frac{\varphi (w)+\psi }{1-\L } \biggr). \end{aligned}$$
Putting maximum of \(w=w_{k}=T=\tau \), we obtain
$$\begin{aligned} \bigl\vert z(w)-z_{0}(w) \bigr\vert \leq & \biggl\{ \biggl( \biggl(\frac{1-e^{-\lambda \tau }}{\lambda } \biggr) + \frac{M_{k}}{\varGamma (p+1)} \frac{\eta ^{p+1}}{p+1} \biggl(\frac{1-e^{-\lambda \eta }}{\lambda } \biggr) + M_{k} \biggl( \frac{1-e^{-\lambda \tau }}{\lambda } \biggr) \\ &{}+ N_{k} \biggl(\frac{1-e^{-\lambda \tau }}{\lambda } \biggr) \biggr) (\L _{f_{1}}C_{\varphi }+\L _{f_{2}}C_{\gamma } ) +N_{k}\L _{gk} \biggr\} \biggl(\frac{\varphi (w)+\psi }{1-\L } \biggr). \end{aligned}$$
Now, putting the values, we get
$$\begin{aligned} \bigl\vert z(w)-z_{0}(w) \bigr\vert \leq & 0.1059 \biggl( \frac{e^{w}+1}{1-0.4741} \biggr) \\ \leq & 0.20136\bigl(e^{w}+1\bigr) \quad \text{for all } w \in [0,3]. \end{aligned}$$
Thus problem (4.9) is Ulam–Hyers–Rassias stable.

5 Conclusion

In this article, we considered a nonlocal boundary value problem of nonlinear implicit impulsive Langevin equations with mixed derivatives and presented its Ulam–Hyers–Rassias stability. After introduction, we built a uniform structure to originate a formula of solutions for our proposed model. We implemented the new concept of generalized Ulam–Hyers–Rassias stability to our proposed model; finally we solved a particular example for our proposed model.

Notes

Acknowledgements

Not applicable.

Authors’ contributions

All the authors have equally contributed to this manuscript. All authors read and approved the final manuscript.

Funding

This work is supported by the National Natural Science Foundation of China (Grant No. 11601048), Technology Research Foundation of Chongqing Educational Committee (Grant No. KJQN201900539), Natural Science Foundation of Chongqing Normal University (Grant No. 16XYY24).

Competing interests

All authors declare that they have no conflict of interests.

References

  1. 1.
    Rizwan, R., Zada, A., Wang, X.: Stability analysis of nonlinear implicit fractional Langevin equation with non-instantaneous impulses. Adv. Differ. Equ. 2019, Article ID 85 (2019) zbMATHCrossRefGoogle Scholar
  2. 2.
    Rizwan, R., Zada, A.: Nonlinear impulsive Langevin equation with mixed derivatives. Math. Methods Appl. Sci. (2019).  https://doi.org/10.1002/mma.5902 CrossRefzbMATHGoogle Scholar
  3. 3.
    Mainardi, F., Pironi, P.: The fractional Langevin equation: Brownian motion revisited. Extr. Math. 11(1), 140–154 (1996) MathSciNetGoogle Scholar
  4. 4.
    Zhai, C., Li, P., Li, H.: Single upper-solution or lower-solution method for Langevin equations with two fractional orders. Adv. Differ. Equ. 2018, Article ID 360 (2018) MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equation. Elsevier, Amsterdam (2006) zbMATHGoogle Scholar
  6. 6.
    Podlubny, I.: Fractional Differential Equations. Academic Press, Sun Diego (1999) zbMATHGoogle Scholar
  7. 7.
    Tarasov, V.E.: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Berlin (2011) Google Scholar
  8. 8.
    Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods, Series on Complexity, Nonlinearity and Chaos. World Scientific, Singapore (2012) zbMATHCrossRefGoogle Scholar
  9. 9.
    Tang, S., Zada, A., Faisal, S., El–Sheikh, M.M.A., Li, T.: Stability of higher-order nonlinear impulsive differential equations. J. Nonlinear Sci. Appl. 9, 4713–4721 (2016) MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Zada, A., Ali, S.: Stability of integral Caputo-type boundary value problem with noninstantaneous impulses. Int. J. Appl. Comput. Math. 5, 55 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Yue, Z., Zou, Y.: New uniqueness results for fractional differential equation with dependence on the first order derivative. Adv. Differ. Equ. 2019, Article ID 38 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016) MathSciNetzbMATHCrossRefGoogle Scholar
  13. 13.
    Cui, Y., Ma, W., Sun, Q., Su, X.: New uniqueness results for boundary value problem of fractional differential equation. Nonlinear Anal., Model. Control 23(1), 31–39 (2018) MathSciNetzbMATHCrossRefGoogle Scholar
  14. 14.
    Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Zhang, X., Wu, J., Liu, L., Wu, Y., Cui, Y.: Convergence analysis of iterative scheme and error estimation of positive solution for a fractional differential equation. Math. Model. Anal. 23(4), 611–626 (2018) MathSciNetCrossRefGoogle Scholar
  16. 16.
    He, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: Existence and asymptotic analysis of positive solutions for a singular fractional differential equation with nonlocal boundary conditions. Bound. Value Probl. 2018, Article ID 189 (2018) MathSciNetCrossRefGoogle Scholar
  17. 17.
    Zhang, X., Liu, L., Wu, Y., Zou, Y.: Existence and uniqueness of solutions for systems of fractional differential equations with Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, Article ID 204 (2018) MathSciNetzbMATHCrossRefGoogle Scholar
  18. 18.
    Zhong, Q., Zhang, X., Lu, X., Fu, Z.: Uniqueness of successive positive solution for nonlocal singular higher-order fractional differential equations involving arbitrary derivatives. J. Funct. Spaces 2018, Article ID 6207682 (2018) MathSciNetzbMATHGoogle Scholar
  19. 19.
    Sheng, K., Zhang, W., Bai, Z.: Positive solutions to fractional boundary-value problems with p-Laplacian on time scales. Bound. Value Probl. 2018, Article ID 70 (2018) MathSciNetCrossRefGoogle Scholar
  20. 20.
    Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, Article ID 182 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  21. 21.
    Dong, X., Bai, Z., Zhang, S.: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2017, Article ID 5 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  22. 22.
    Tian, Y., Sun, S., Bai, Z.: Positive solutions of fractional differential equations with p-Laplacian. J. Funct. Spaces 2017, Article ID 3187492 (2017) MathSciNetzbMATHGoogle Scholar
  23. 23.
    Zou, Y.: Positive solutions for a fractional boundary value problem with a perturbation term. J. Funct. Spaces 2018, Article ID 9070247 (2018) MathSciNetzbMATHGoogle Scholar
  24. 24.
    Sun, Q., Ji, H., Cui, Y.: Positive solutions for boundary value problems of fractional differential equation with integral boundary conditions. J. Funct. Spaces 2018, Article ID 6461930 (2018) MathSciNetzbMATHGoogle Scholar
  25. 25.
    Song, Q., Bai, Z.: Positive solutions of fractional differential equations involving the Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, Article ID 183 (2018) MathSciNetzbMATHCrossRefGoogle Scholar
  26. 26.
    Cheng, W., Xu, J., Cui, Y.: Positive solutions for a system of nonlinear semipositone fractional q-difference equations with q-integral boundary conditions. J. Nonlinear Sci. Appl. 10(8), 4430–4440 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  27. 27.
    Qiu, X., Xu, J., O’Regan, D., Cui, Y.: Positive solutions for a system of nonlinear semipositone boundary value problems with Riemann–Liouville fractional derivatives. J. Funct. Spaces 2018, Article ID 7351653 (2018) MathSciNetzbMATHGoogle Scholar
  28. 28.
    Chen, C., Xu, J., O’Regan, D., Fu, Z.: Positive solutions for a system of semipositone fractional difference boundary value problems. J. Funct. Spaces 2018, Article ID 6835028 (2018) MathSciNetzbMATHGoogle Scholar
  29. 29.
    Li, H., Zhang, J.: Positive solutions for a system of fractional differential equations with two parameters. J. Funct. Spaces 2018, Article ID 1462505 (2018) MathSciNetzbMATHGoogle Scholar
  30. 30.
    Sun, Q., Meng, S., Cui, Y.: Existence results for fractional order differential equation with nonlocal Erdélyi–Kober and generalized Riemann–Liouville type integral boundary conditions at resonance. Adv. Differ. Equ. 2018, Article ID 243 (2018) zbMATHCrossRefGoogle Scholar
  31. 31.
    Zou, Y., He, G.: The existence of solutions to integral boundary value problems of fractional differential equations at resonance. J. Funct. Spaces 2017, Article ID 2785937 (2017) MathSciNetzbMATHGoogle Scholar
  32. 32.
    Ma, W., Meng, S., Cui, Y.: Resonant integral boundary value problems for Caputo fractional differential equations. Math. Probl. Eng. 2018, Article ID 5438592 (2018) MathSciNetGoogle Scholar
  33. 33.
    Zhang, Y.: Existence results for a coupled system of nonlinear fractional multi-point boundary value problems at resonance. J. Inequal. Appl. 2018, Article ID 198 (2018) MathSciNetCrossRefGoogle Scholar
  34. 34.
    He, L., Dong, X., Bai, Z., Chen, B.: Solvability of some two-point fractional boundary value problems under barrier strip conditions. J. Funct. Spaces 2017, Article ID 1465623 (2017) MathSciNetzbMATHGoogle Scholar
  35. 35.
    Song, Q., Dong, X., Bai, Z., Chen, B.: Existence for fractional Dirichlet boundary value problem under barrier strip conditions. J. Nonlinear Sci. Appl. 10, 3592–3598 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  36. 36.
    Wu, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: The convergence analysis and error estimation for unique solution of a p-Laplacian fractional differential equation with singular decreasing nonlinearity. Bound. Value Probl. 2018, Article ID 82 (2018) MathSciNetCrossRefGoogle Scholar
  37. 37.
    Zhao, Y., Hou, X., Sun, Y., Bai, Z.: Solvability for some class of multi-order nonlinear fractional systems. Adv. Differ. Equ. 2019, Article ID 23 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  38. 38.
    Ma, W., Cui, Y.: The eigenvalue problem for Caputo type fractional differential equation with Riemann–Stieltjes integral boundary conditions. J. Funct. Spaces 2018, Article ID 2176809 (2018) MathSciNetzbMATHGoogle Scholar
  39. 39.
    Qi, T., Liu, Y., Zou, Y.: Existence result for a class of coupled fractional differential systems with integral boundary value conditions. J. Nonlinear Sci. Appl. 10, 4034–4045 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  40. 40.
    Qi, T., Liu, Y., Cui, Y.: Existence of solutions for a class of coupled fractional differential systems with nonlocal boundary conditions. J. Funct. Spaces 2017, Article ID 6703860 (2017) MathSciNetzbMATHGoogle Scholar
  41. 41.
    Zhang, X., Liu, L., Zou, Y.: Fixed-point theorems for systems of operator equations and their applications to the fractional differential equations. J. Funct. Spaces 2018, Article ID 7469868 (2018) MathSciNetzbMATHGoogle Scholar
  42. 42.
    Zhang, K., Wang, J., Ma, W.: Solutions for integral boundary value problems of nonlinear Hadamard fractional differential equations. J. Funct. Spaces 2018, Article ID 2193234 (2018) MathSciNetzbMATHGoogle Scholar
  43. 43.
    Zhai, C., Wang, W., Li, H.: A uniqueness method to a new Hadamard fractional differential system with four-point boundary conditions. J. Inequal. Appl. 2018, Article ID 207 (2018) MathSciNetCrossRefGoogle Scholar
  44. 44.
    Zhang, K., Fu, Z.: Solutions for a class of Hadamard fractional boundary value problems with sign-changing nonlinearity. J. Funct. Spaces 2019, Article ID 9046472 (2019) MathSciNetzbMATHGoogle Scholar
  45. 45.
    Fu, Z., Bai, S., O’Regan, D., Xu, J.: Nontrivial solutions for an integral boundary value problem involving Riemann–Liouville fractional derivatives. J. Inequal. Appl. 2019, Article ID 104 (2019) MathSciNetCrossRefGoogle Scholar
  46. 46.
    Zhang, K., O’Regan, D., Xu, J., Fu, Z.: Nontrivial solutions for a higher order nonlinear fractional boundary value problem involving Riemann–Liouville fractional derivatives. J. Funct. Spaces 2019, Article ID 2381530 (2019) MathSciNetzbMATHGoogle Scholar
  47. 47.
    Jiang, J., O’Regan, D., Xu, J., Fu, Z.: Positive solutions for a system of nonlinear Hadamard fractional differential equations involving coupled integral boundary conditions. J. Inequal. Appl. 2019, Article ID 204 (2019) MathSciNetCrossRefGoogle Scholar
  48. 48.
    Jiang, J., O’Regan, D., Xu, J., Cui, Y.: Positive solutions for a Hadamard fractional p-Laplacian three-point boundary value problem. Mathematics 7(5), 439 (2019) CrossRefGoogle Scholar
  49. 49.
    Cheng, W., Xu, J., Cui, Y., Ge, Q.: Positive solutions for a class of fractional difference systems with coupled boundary conditions. Adv. Differ. Equ. 2019, Article ID 249 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  50. 50.
    Wang, F., Cui, Y., Zhou, H.: Solvability for an infinite system of fractional order boundary value problems. Ann. Funct. Anal. 10(3), 395–411 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  51. 51.
    Wang, F., Cui, Y.: Unbounded solutions to abstract boundary value problems of fractional differential equations on a half line. Math. Methods Appl. Sci. (2019) in press Google Scholar
  52. 52.
    Wang, F., Cui, Y.: Positive solutions for an infinite system of fractional order boundary value problems. Adv. Differ. Equ. 2019, Article ID 169 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  53. 53.
    Feckan, M., Zhou, Y., Wang, J.: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 3050–3060 (2012) MathSciNetzbMATHCrossRefGoogle Scholar
  54. 54.
    Wang, J., Zhou, Y., Feckan, M.: Nonlinear impulsive problems for fractional differential equations and Ulam stability. Comput. Math. Appl. 64, 3389–3405 (2012) MathSciNetzbMATHCrossRefGoogle Scholar
  55. 55.
    Wang, J., Zada, A., Ali, W.: Ulam’s-type stability of first-order impulsive differential equations with variable delay in quasi-Banach spaces. Int. J. Nonlinear Sci. Numer. Simul. 19(5), 553–560 (2018) MathSciNetzbMATHCrossRefGoogle Scholar
  56. 56.
    Zada, A., Ali, W., Farina, S.: Hyers–Ulam stability of nonlinear differential equations with fractional integrable impulses. Math. Methods Appl. Sci. 40(15), 5502–5514 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  57. 57.
    Wang, Y., Liu, Y., Cui, Y.: Infinitely many solutions for impulsive fractional boundary value problem with p-Laplacian. Bound. Value Probl. 2018, Article ID 94 (2018) MathSciNetCrossRefGoogle Scholar
  58. 58.
    Zuo, M., Hao, X., Liu, L., Cui, Y.: Existence results for impulsive fractional integro-differential equation of mixed type with constant coefficient and antiperiodic boundary conditions. Bound. Value Probl. 2017, Article ID 161 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  59. 59.
    Bai, Z., Dong, X., Yin, C.: Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. 2016, Article ID 63 (2016) MathSciNetzbMATHCrossRefGoogle Scholar
  60. 60.
    Riaz, U., Zada, A., Ali, Z., Ahmad, M., Xu, J., Fu, Z.: Analysis of nonlinear coupled systems of impulsive fractional differential equations with Hadamard derivatives. Math. Probl. Eng. 2019, Article ID 5093572 (2019) MathSciNetCrossRefGoogle Scholar
  61. 61.
    Riaz, U., Zada, A., Ali, Z., Cui, Y., Xu, J.: Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives. Adv. Differ. Equ. 2019, Article ID 226 (2019) MathSciNetzbMATHCrossRefGoogle Scholar
  62. 62.
    Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1968) zbMATHGoogle Scholar
  63. 63.
    Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941) MathSciNetzbMATHCrossRefGoogle Scholar
  64. 64.
    Rassias, Th.M.: On the stability of linear mappings in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978) MathSciNetzbMATHCrossRefGoogle Scholar
  65. 65.
    Rizwan, R.: Existence theory and stability analysis of fractional Langevin equation. Int. J. Nonlinear Sci. Numer. Simul.  https://doi.org/10.1515/ijnsns-2019-0053 MathSciNetCrossRefGoogle Scholar
  66. 66.
    Shah, R., Zada, A.: A fixed point approach to the stability of a nonlinear Volterra integrodifferential equation with delay. Hacet. J. Math. Stat. 47(3), 615–623 (2018) MathSciNetzbMATHGoogle Scholar
  67. 67.
    Shah, S.O., Zada, A., Hamza, A.E.: Stability analysis of the first order non-linear impulsive time varying delay dynamic system on time scales. Qual. Theory Dyn. Syst.  https://doi.org/10.1007/s12346-019-00315-x MathSciNetCrossRefGoogle Scholar
  68. 68.
    Shah, S.O., Zada, A.: Existence, uniqueness and stability of solution to mixed integral dynamic systems with instantaneous and noninstantaneous impulses on time scales. Appl. Math. Comput. 359, 202–213 (2019) MathSciNetGoogle Scholar
  69. 69.
    Wang, X., Arif, M., Zada, A.: β-Hyers–Ulam–Rassias stability of semilinear nonautonomous impulsive system. Symmetry 11(2), 231 (2019) zbMATHCrossRefGoogle Scholar
  70. 70.
    Zada, A., Mashal, A.: Stability analysis of nth order nonlinear impulsive differential equations in quasi-Banach space. Numer. Funct. Anal. Optim. (2019).  https://doi.org/10.1080/01630563.2019.1628049 CrossRefGoogle Scholar
  71. 71.
    Zada, A., Shaleea, S., Li, T.: Stability analysis of higher order nonlinear differential equations in β-normed spaces. Math. Methods Appl. Sci. 42(4), 1151–1166 (2019) MathSciNetCrossRefGoogle Scholar
  72. 72.
    Zada, A., Ali, W., Park, C.: Ulam’s type stability of higher order nonlinear delay differential equations via integral inequality of Grönwall–Bellman–Bihari’s type. Appl. Math. Comput. 350, 60–65 (2019) MathSciNetzbMATHGoogle Scholar
  73. 73.
    Benchohra, M., Graef, J.R., Hamani, S.: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87(7), 851–863 (2008) MathSciNetzbMATHCrossRefGoogle Scholar
  74. 74.
    Ali, Z., Zada, A., Shah, K.: Ulam stability to a toppled systems of nonlinear implicit fractional order boundary value problem. Bound. Value Probl. 2018, Article ID 175 (2018) MathSciNetCrossRefGoogle Scholar
  75. 75.
    Wang, J., Zada, A., Waheed, H.: Stability analysis of a coupled system of nonlinear implicit fractional anti-periodic boundary value problem. Math. Methods Appl. Sci. (2019).  https://doi.org/10.1002/mma.5773 CrossRefGoogle Scholar
  76. 76.
    Wang, J., Zhou, Y., Lin, Z.: On a new class of impulsive fractional differential equations. Appl. Math. Comput. 242, 649–657 (2014) MathSciNetzbMATHGoogle Scholar
  77. 77.
    Zada, A., Ali, S., Li, Y.: Ulam-type stability for a class of implicit fractional differential equations with non-instantaneous integral impulses and boundary condition. Adv. Differ. Equ. 2017, Article ID 317 (2017) MathSciNetzbMATHCrossRefGoogle Scholar
  78. 78.
    Zada, A., Ali, S.: Stability analysis of multi-point boundary value problem for sequential fractional differential equations with non-instantaneous impulses. Int. J. Nonlinear Sci. Numer. Simul. 19(7), 763–774 (2018) MathSciNetzbMATHCrossRefGoogle Scholar
  79. 79.
    Wang, J., Feckan, M., Zhou, Y.: Ulam’s type stability of impulsive ordinary differential equation. J. Math. Anal. Appl. 35, 258–264 (2012) MathSciNetzbMATHCrossRefGoogle Scholar
  80. 80.
    Diaz, J.B., Margolis, B.: A fixed point theorem of the alternative, for contractions on a generalized complete matric space. Bull. Am. Math. Soc. 74, 305–309 (1968) zbMATHCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  • Akbar Zada
    • 1
  • Rizwan Rizwan
    • 1
  • Jiafa Xu
    • 2
  • Zhengqing Fu
    • 3
    Email author
  1. 1.Department of MathematicsUniversity of PeshawarPeshawarPakistan
  2. 2.School of Mathematical SciencesChongqing Normal UniversityChongqingChina
  3. 3.College of Mathematics and System SciencesShandong University of Science and TechnologyQingdaoChina

Personalised recommendations