Skip to main content

Theory and Modern Applications

On implicit impulsive Langevin equation involving mixed order derivatives

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.

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.

References

  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)

    Article  MATH  Google Scholar 

  2. Rizwan, R., Zada, A.: Nonlinear impulsive Langevin equation with mixed derivatives. Math. Methods Appl. Sci. (2019). https://doi.org/10.1002/mma.5902

    Article  MATH  Google Scholar 

  3. Mainardi, F., Pironi, P.: The fractional Langevin equation: Brownian motion revisited. Extr. Math. 11(1), 140–154 (1996)

    MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  6. Podlubny, I.: Fractional Differential Equations. Academic Press, Sun Diego (1999)

    MATH  Google Scholar 

  7. Tarasov, V.E.: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Berlin (2011)

    Google Scholar 

  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)

    Book  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  10. Zada, A., Ali, S.: Stability of integral Caputo-type boundary value problem with noninstantaneous impulses. Int. J. Appl. Comput. Math. 5, 55 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  14. Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  22. Tian, Y., Sun, S., Bai, Z.: Positive solutions of fractional differential equations with p-Laplacian. J. Funct. Spaces 2017, Article ID 3187492 (2017)

    MathSciNet  MATH  Google Scholar 

  23. Zou, Y.: Positive solutions for a fractional boundary value problem with a perturbation term. J. Funct. Spaces 2018, Article ID 9070247 (2018)

    MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  54. Wang, J., Zhou, Y., Feckan, M.: Nonlinear impulsive problems for fractional differential equations and Ulam stability. Comput. Math. Appl. 64, 3389–3405 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  62. Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1968)

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  64. Rassias, Th.M.: On the stability of linear mappings in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  Google Scholar 

  69. Wang, X., Arif, M., Zada, A.: β-Hyers–Ulam–Rassias stability of semilinear nonautonomous impulsive system. Symmetry 11(2), 231 (2019)

    Article  MATH  Google Scholar 

  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

    Article  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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

    Article  Google Scholar 

  76. Wang, J., Zhou, Y., Lin, Z.: On a new class of impulsive fractional differential equations. Appl. Math. Comput. 242, 649–657 (2014)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  79. Wang, J., Feckan, M., Zhou, Y.: Ulam’s type stability of impulsive ordinary differential equation. J. Math. Anal. Appl. 35, 258–264 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MATH  Google Scholar 

Download references

Acknowledgements

Not applicable.

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).

Author information

Authors and Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Zhengqing Fu.

Ethics declarations

Competing interests

All authors declare that they have no conflict of interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zada, A., Rizwan, R., Xu, J. et al. On implicit impulsive Langevin equation involving mixed order derivatives. Adv Differ Equ 2019, 489 (2019). https://doi.org/10.1186/s13662-019-2408-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2408-6

MSC

Keywords