Skip to main content

Theory and Modern Applications

Hyers–Ulam stability of impulsive Volterra delay integro-differential equations


This paper discusses different types of Ulam stability of first-order nonlinear Volterra delay integro-differential equations with impulses. Such types of equations allow the presence of two kinds of memory effects represented by the delay and the kernel of the used fractional integral operator. Our analysis is based on Pachpatte’s inequality and the fixed point approach represented by the Picard operators. Applications are provided to illustrate the stability results obtained in the case of a finite interval.

1 Introduction

There has been a considerable interest in studying Ulam type stability, as soon as it was formulated in 1940 [39]. Several modifications and generalizations appeared in the literature in the category of various types of differential, fractional, integral, and difference equations to show that the investigated equations are nonlocal.

More recently, Kucche and Shikhare [21] discussed the Ulam–Hyers stability of semi-linear Volterra integro-differential equations in Banach spaces. The same authors in [22] were motivated by the results obtained by Rus [33], Otrocol [27], and Otrocol et al. [28] to discuss the existence and uniqueness of solutions and Ulam stability for nonlinear Volterra delay integro-differential equations

$$ x^{{\prime }}(t)=f \biggl( t,x(t),x \bigl(g(t) \bigr), \int _{0}^{t}h \bigl(t,s,x(s),x \bigl(g(s) \bigr) \bigr)\,ds \biggr) ,\quad t\in I=[0,b],b>0, $$

where \(f\in C(I\times \mathbb{R} ^{3}\times \mathbb{R} )\), \(h\in C(I\times I\times \mathbb{R} ^{2}\times \mathbb{R} )\), \(g\in C(I,[-r,b])\), \(0< r<\infty \), and \(g(t)\leq t\).

In their results, the authors in [22] employed Picard’s operator technique, the abstract Gronwall lemma, and Pachpatte’s inequality. Their results improve and generalize those obtained by the authors in [10, 15, 27, 28, 33, 35, 38].

In recent years, there have been a lot of interest in Hyers–Ulam type stability of impulsive differential equations. One of the reasons for this is the fact that impulsive differential equations arise in several applied problems in engineering and natural sciences.

Fractional differential and integral equations play a very important role in modeling several phenomena in dynamical systems, control systems, and various trends in physics. Their importance is due to the fact that they are more practical and realistic than derivatives and integrals of integer order. For more information on impulsive differential equations, we recommend [30, 37].

In 2013, Gülyaz et al. [13] established a solution to the following integral equation:

$$ u(t)= \int _{0}^{T}G(t,s)f \bigl(s,u(s) \bigr)\,ds, \quad \forall t\in [0,T], $$

where \(T > 0\), \(f : [0, T] \times \mathbb{R} \rightarrow \mathbb{R}\) and \(G : [0, T] \times [0, T] \rightarrow [0,\infty )\) are continuous functions. Also they obtained some auxiliary fixed point results which generalize, improve, and unify some fixed point theorems in the literature. For more works on more general metric type spaces, we refer to [6].

In 2014, Chauhan et al. [11] extended the tangential property to a hybrid pair of mappings, which generalizes the idea of tangential property due to Pathak and Shahzad [31]. In fact, they introduced the notion of strong tangential property and utilized the same to prove an integral type metrical common fixed point theorem for non-self mappings.

Alsulami et al. [7] introduced classes of α-admissible generalized contractive type mappings of integral type and discussed the existence of fixed points for these mappings in complete metric spaces. The results therein improved and generalized fixed point results in the literature. Karapinar et al. [20], introduced two classes of generalized \(\alpha -\psi \)-contractive type mappings of integral type to analyze the existence of fixed points for these mappings in complete metric spaces. His results improved versions of a multitude of relevant fixed point theorems in the existing literature.

In 2015, Karapinar [16] introduced generalized \((\alpha , \psi )\)-contractive mappings of integral type in the context of generalized metric spaces. The results of this paper generalized and improved several results on the topic in literature.

In 2016, Zada et al. [40] used an abstract Gronwall lemma with integral inequality of Gronwall type for piecewise continuous functions to study Ulam type stability for nonlinear first-order differential equations with single constant delay and finite impulses on a compact interval. Luo et al. in [24] established existence and Hyers–Ulam stability of solutions for a mixed fractional-order nonlinear delay difference equation with parameters.

More recently, Zada et al. [41] employed the same technique of [40] to discuss Ulam–Hyers stability, Ulam–Hyers–Rassias stability of the first-order nonlinear delay differential equations with fractional integrable impulses. Salim et al. [34] examined the existence and Ulam stability for impulsive generalized Hilfer type fractional differential equations. Hassan [14] considered some extension of MKC mappings in the framework of complete dislocated metric spaces. Alsulami [6] defined a class of general type α-admissible contraction mappings on quasi-b-metric-like spaces. And they discussed the existence and uniqueness of fixed points for this class of mappings and the results applied to Ulam stability problems. Various consequences of the main results were obtained. Flhi [12] established some fixed point results for \(\alpha -\lambda \)-contractions in the class of quasi b-metric spaces, where he provided some examples and an application on a solution of an integral equation. Moreover, he studied the stability of Ulam–Hyers and well-posedness of a fixed point problem.

In 2018, Bouteraa et al. [9] applied the iterative method to establish the existence of a positive solution for a type of nonlinear singular higher-order fractional differential equation with fractional multi-point boundary conditions. Alqahtani et al. [5] in the setting of Δ-symmetric quasi-metric spaces carefully examined the existence and uniqueness of a fixed point of certain operators using simulation functions. The most interesting aspect of these operators is that they do not form a contraction. As an application, in the same framework, the stability of the Ulam for such actuators has been verified.

In 2019, Alqahtani et al. [4] proposed a solution for Volterra type fractional integral equations by using a hybrid type contraction that unifies both nonlinear and linear type inequalities in the context of metric spaces. Besides this main goal, the authors merged several existing fixed point theorems that were formulated by linear and nonlinear contractions. Abdeljawad et al. [1] defined three new notions: \(\Theta _{e}\)-contraction, a Hardy—Rogers type Θ-contraction, and an interpolative Θ-contraction in the framework of an extended b-metric space. Moreover, some fixed point results have been proposed using these new concepts in order to study endeavors towards a practical solution of the nonlinear integral Volterra–Fredholm equations of certain types, as well as a solution to a nonlinear fractional differential equation of the Caputo type. Karapınar et al. [18] introduced a new hybrid contraction that unifies several nonlinear and linear contractions in the set-up of a complete metric space. Ardjounia et al. [8] used the contraction mapping principle to obtain the existence, interval of existence, and uniqueness of solutions for nonlinear hybrid implicit Caputo–Hadamard fractional differential equations and used the generalization of Gronwall’s inequality to give the estimate of the solutions.

In 2020, Adigüzel et al. [2] studied the problem of the existence and uniqueness of solutions of boundary value problems (BVPs) for a nonlinear fractional differential equation of order \(2<\alpha \leq 3\). The BVP considered there was transformed into an integral equation and discussed by means of a fixed point problem for an integral operator, then certain conditions were derived to proceed for the existence and uniqueness of a fixed point for the integral operator via b-comparison functions on complete b-metric spaces. In addition, some estimations were for the convergence of the Picard iteration sequence provided an estimate for Green’s function was related to the problem and employed in the proof of the existence and uniqueness theorem for the solution of the given problem. Karapınar et al. in [19] considered an inverse-source-time-space-fraction problem diffusion equation. Actually, in the Hadamard sense, they proved that the problem is very bad posture. Moreover, by applying the semi-inverse settlement method, the way to solve the problem was suggested. After that, they gave an error and an estimate between the desired solution and the organized solution under a precedent parameter selection rule and subsequent parameter selection rule, respectively. More fixed point techniques using different types of contractions in the frame of different type metric and metric like spaces can be found in [3, 17, 23, 25, 26, 29].

This paper aims to discuss Ulam’s stability for the first-order nonlinear Volterra delay integro-differential equations with impulses of the form:

$$ \textstyle\begin{cases} \eta _{1}(t)=I_{t_{0},t}^{\alpha }f ( t,\eta _{1}(t),\eta _{1}(h(t)), \int _{t_{0}}^{t}g(t,\tau ,\eta _{1}(\tau ),\eta _{1}(h(\tau )))\,d \tau ) , \\ \quad t\in I=[t_{0},t_{f}]\setminus \{ t_{1},t_{2},\ldots,t_{m} \} , \\ \Delta \eta _{1}(t_{k})=\eta _{1}(t_{k}^{+})-\eta _{1}(t_{k}^{-})= \beta _{k}\int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}U_{k} ( \eta _{1}(s) ) \,ds, \quad k=1,2,\ldots,m, \\ \eta _{1}(t)=\phi (t), \quad t\in {}[ t_{0}-\lambda ,t_{0}],\end{cases} $$

where \(\lambda >0\), \(\beta _{k}\geq 0\), \(0\leq \theta _{k}\leq \tau _{k}\leq t_{k}-t_{k-1}\) for \(k=1,2,\ldots,m\), \(t_{f}>t_{0}\geq 0\), \(f:[t_{0},t_{f}]\times \mathbb{R} ^{3}\rightarrow \mathbb{R} \) and \(g:[t_{0},t_{f}]\times {}[ t_{0},t_{f}]\times \mathbb{R} ^{2}\rightarrow \mathbb{R} \) are continuous functions, \(\phi :[t_{0}-\lambda ,t_{0}]\rightarrow \mathbb{R} \) is a history function, and \(I_{t_{0},t}^{\alpha }f\) is Riemann–Liouville fractional integral of order α given as follows:

$$ \begin{gathered} I_{t_{0},t}^{\alpha }f \biggl( t,\eta _{1}(t),\eta _{1} \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(t,\tau ,\eta _{1}( \tau ),\eta _{1} \bigl(h(\tau ) \bigr) \bigr)\,d \tau \biggr) \\ \quad =\frac{1}{\Gamma (\alpha )} \int _{t_{0}}^{t} ( (t-s)^{ \alpha -1} f \biggl(s,\eta _{1}(s),\eta _{1} \bigl(h(s) \bigr), \int _{t_{0}}^{s}g \bigl(s,\tau ,\eta _{1}( \tau ),\eta _{1} \bigl(h(\tau ) \bigr) \bigr)\,d \tau \biggr) \,ds.\end{gathered} $$

Moreover, we assume that \(h:[t_{0},t_{f}]\rightarrow {}[ t_{0}-\lambda ,t_{f}]\) is a continuous delay function such that \(h(t)\leq t\). Such types of equations unify two kinds of memory effects represented by the delay and the kernel of the used fractional integral operator. Also, it is worth mentioning that the presence of impulse makes it possible to model several real-world problems. At the end of the paper, we give some illustrative applications.

2 Preliminaries

In this section we present some basic concepts and notations that will be used to proceed in our main results. Ulam type stability definitions will be mentioned specially. The following function spaces will be used intensively within this study (see [36, 40, 41]).

  1. i)

    The Banach space of all continuous real-valued functions from I with norm \(\Vert v \Vert _{C}=\sup \{ \vert v(t) \vert :t\in I \} \), where \(I=[t_{0}-\lambda ,t_{f}]\) and \(\mathbb{R} \) is the set of real numbers, is denoted by \(C(I,\mathbb{R} )\).

  2. ii)

    The Banach space of all functions \(v:I\rightarrow \mathbb{R}\), with the norm \(\Vert v \Vert _{C}=\sup \{ \vert v(t) \vert :t\in J \} \) such that \(v\in C([t_{0}-\lambda ,t_{0}],\mathbb{R} ]\cap C((t_{k},t_{k+1}],\mathbb{R} ]\), \(k=0,1,2,\ldots,m\), and there exist \(v(t_{k}^{-})\) and \(v(t_{k}^{+})\), \(k=0,1,2,\ldots,m\), such that \(v(t_{k}^{-})=v(t_{k})\) with norm \(\Vert v \Vert _{\operatorname{PC}}=\sup \{ \vert v(t) \vert :t\in I \} \), is denoted by \(\operatorname{PC}(I,\mathbb{R} )\).

  3. iii)

    The Banach space \(\operatorname{PC}^{1}(I,\mathbb{R} )= \{ v\in \operatorname{PC}(I,\mathbb{R} ):v^{{\acute{}}}\in \operatorname{PC}(I,\mathbb{R} ) \} \) with norm \(\Vert v \Vert _{\operatorname{PC}^{1}}=\sup \{ \Vert v(t) \Vert _{\operatorname{PC}}, \Vert v^{{\acute{}}}(t) \Vert _{\operatorname{PC}} \} \).

Now we consider the inequalities

$$\begin{aligned}& \textstyle\begin{cases} \vert \eta _{1}(t)-I_{t_{0},t}^{\alpha }f ( t,\eta _{1}(t), \eta _{1}(h(t)),\int _{t_{0}}^{t}g(t,\tau ,\eta _{1}(\tau ), \eta _{1}(h(\tau )))\,d\tau ) \vert \leq \epsilon , \quad t\in I, \\ \vert \Delta \eta _{1}(t_{k})-\beta _{k}\int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{k} ( \eta _{1}(s) ) \,ds \vert \leq \epsilon , \quad k=1,2,\ldots,m,\end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& \textstyle\begin{cases} \vert \eta _{1}(t)-I_{t_{0},t}^{\alpha }f ( t,\eta _{1}(t), \eta _{1}(h(t)),\int _{t_{0}}^{t}g(t,\tau ,\eta _{1}(\tau ), \eta _{1}(h(\tau )))\,d\tau ) \vert \leq \varphi (t), \quad t\in I, \\ \vert \Delta \eta _{1}(t_{k})-\beta _{k}\int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{k} ( \eta _{1}(s) ) \,ds \vert \leq K, \quad k=1,2,\ldots,m,\end{cases}\displaystyle \end{aligned}$$

where \(\epsilon >0\), \(K>0\) and \(\varphi (t)\in \operatorname{PC}(I,\mathbb{R} ^{+})\) with \(\varphi ^{\prime }(t)>0\).

Definition 2.1

If for every \(\eta _{1}\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}([t_{0},t_{f}]\) satisfying (2.1) there exists a solution \(\eta _{0}\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}([t_{0},t_{f}]\) of (1.1) with \(\vert \eta _{0}(t)-\eta _{1}(t) \vert \leq c\epsilon \), \(c>0\) for all \(t\in I\), then Eq. (1.1) is said to be Ulam–Hyers stable on I.

Definition 2.2

If there exists \(\psi (\epsilon )\in \operatorname{PC}^{1}(\mathbb{R} _{+},\mathbb{R} _{+})\) such that for each solution \(\eta _{1}\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}([t_{0},t_{f}]\) of (2.1) there exists a solution \(\eta _{0}\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}([t_{0},t_{f}]\) of (1.1) with \(\vert \eta _{0}(t)-\eta _{1}(t) \vert \leq \psi ( \epsilon )\) for all \(t\in I\), then Eq. (1.1) is said to be generalized Ulam–Hyers stable on I.

Definition 2.3

If for every \(\eta _{1}\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\) satisfying (2.2) there exists a solution \(=\eta _{0}\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}([t_{0},t_{f}]\) of (1.1) with \(\vert \eta _{0}(t)-\eta _{1}(t) \vert \leq M\varphi (t)\), \(M>0\) for all \(t\in I\), then Eq. (1.1) is said to be Ulam–Hyers–Rassias stable on I with respect to \((\varphi ,k)\).

Remark 2.4

Any function \(\eta _{1}\in \operatorname{PC}^{1}[t_{0},t_{f}]\) is a solution of (2.1) if and only if there exist a function \(g\in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\) and a sequence of functions \(g_{k}\) depending on y such that

  1. (i)

    \(\vert g(t) \vert \leq \epsilon \) for all \(t\in {}[ t_{0}-\lambda ,t_{f}]\), \(\vert g_{l} \vert \leq \epsilon \) for all \(l=1,2,\ldots,m\),

  2. (ii)
    $$\begin{aligned}& \textstyle\begin{cases} \eta _{1}(t)=I_{t_{0},t}^{\alpha }f ( t,\eta _{1}(t),\eta _{1}(h(t)), \int _{t_{0}}^{t}g(t,\tau ,\eta _{1}(\tau ),\eta _{1}(h(\tau )))\,d \tau ) +g(t), \quad t\in I^{\prime }, \\ \Delta \eta _{1}(t_{k})=\beta _{k}\int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}}U_{k} ( \eta _{1}(s) ) \,ds+g_{k}, \quad k=1,2,\ldots,m.\end{cases}\displaystyle \end{aligned}$$

Similar arguments hold for inequalities (2.2).

Lemma 2.5

Every solution \(\eta \in \operatorname{PC}^{1}[t_{0},t_{f}]\) of (2.1) satisfies the integral inequality

$$ \begin{gathered} \Biggl\vert \eta (t)-\phi (t_{0})-\sum _{j=1}^{k}\beta _{k} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}U \bigl( \eta (s) \bigr) \,ds \\ \quad {} -I_{t_{0},t}^{\alpha }f \biggl( t,\eta (t),\eta \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(t,\tau ,\eta (\tau ),\eta \bigl(h(\tau ) \bigr) \bigr)\,d\tau \biggr) \Biggr\vert \leq (m+t-t_{0}) \epsilon .\end{gathered} $$


The proof follows the same lines as that of Lemma 7 in [40], and so it is omitted. □

Theorem 2.6

(Pachpatte’s inequality [37])

Let \(f(t)\) and \(q(t)\) be nonnegative continuous functions defined on \(\mathbb{R} _{+}\), and let \(n(t)\) be a nonnegative constant for which the inequality

$$ \eta _{1}(t)\leq n(t)+ \int _{0}^{t}f(s) \biggl[ \eta _{1}(s)+ \int _{0}^{s}q(\tau )\eta _{1}(\tau )\,d \tau \biggr] \,ds+\sum_{0< t_{l}< t}\zeta _{l} \int _{t_{l}-\tau _{l}}^{t_{l}- \theta _{l}}\eta _{1}(s)\,ds $$

holds for \(t\in \mathbb{R} _{+}\), where \(\zeta _{l}\geq 0\) and \(0\leq \theta _{l}\leq \tau _{l}\leq t_{l}-t_{l-1}\) for \(l=1,2,\ldots \) and n(t) is a nonnegative constant. Then

$$ \eta _{1}(t)\leq n(t)\prod_{0< t_{l}< t}C_{l} \exp \biggl( \int _{t_{\alpha }}^{t}f(s) \biggl[ 1+ \int _{0}^{s}q( \tau )\,d\tau \biggr] \,ds \biggr) , \quad t\geq 0, $$

for \(t\in \mathbb{R} _{+}\),


$$\begin{aligned} C_{l} =&\exp \biggl( \int _{t_{l}-1}^{t_{l}}f(s) \biggl[ 1+ \int _{0}^{s}q(\tau )\,d\tau \biggr] \,ds \biggr) \\ & {} +\zeta _{l} \int _{t_{l}-\tau _{l}}^{t_{l}-\theta _{l}}\exp \biggl( \int _{t_{l}-1}^{s}f(\tau ) \biggl[ 1+ \int _{{0}}^{ \sigma }q(\xi )\,d\xi \biggr] \,d\tau \biggr) \,ds. \end{aligned}$$

Definition 2.7

(Picard operator [32])

Let \((V,d)\) be a metric space. An operator \(A:V\rightarrow V\) is said to be a Picard operator if there exists \(v^{\ast }\in V\) such that:

  1. (i)

    \(F_{A}=\{v^{\ast }\}\), where \(F_{A}= \{ v\in V:A(v)=v \} \) is the fixed point set of A;

  2. (ii)

    the sequence \(( A^{n} ( v_{0} ) ) _{n\in \mathbb{N} }\) converges to \(v^{\ast }\) for all \(v_{0}\in X\).

Lemma 2.8

(Gronwall lemma [32])

Let \((V,d,\leq ) \) be an ordered metric space and let \(A:V\rightarrow V\) be an increasing Picard operator (\(F_{A}=v_{A}^{\ast }\)). Then, for \(v\in V\), \(v\leq A(v)\) implies \(v\leq v_{A}^{\ast }\), while \(v\geq A(v)\) implies \(v\geq v_{A}^{\ast }\).

3 Main results

To establish our results on Ulam type stability outlined in (1.1), we need the following assumptions:


\(f:[t_{0},t_{f}]\times \mathbb{R} ^{3}\rightarrow \mathbb{R} \), \(g:[t_{0},t_{f}]\times {}[ t_{0},t_{f}]\times \mathbb{R} ^{2}\rightarrow \mathbb{R} \) are continuous with the Lipschitz condition:

$$\begin{aligned}& \bigl\vert f(t,\eta _{1},\eta _{2},\eta _{3})-f(t,\varrho _{1}, \varrho _{2},\varrho _{3}) \bigr\vert \leq \sum_{k=1}^{3}L_{f} \vert \eta _{i}-\varrho _{i} \vert ; \\& \bigl\vert g(t,s,\eta _{1},\eta _{2})-g(t,s,\varrho _{1},\varrho _{2}) \bigr\vert \leq \sum _{k=1}^{2}L_{g} \vert \eta _{i}- \varrho _{i} \vert ; \end{aligned}$$

\(L_{f}, L_{g} >0\), for all \(t,s\in I^{\prime }\) and \(\eta _{i},\varrho _{i}\in \mathbb{R} \) (\(i=1,2,3\)).


\(U_{k}:\mathbb{R} \rightarrow \mathbb{R} \) is such that \(\vert U_{k}(\eta _{1})-U_{k}(\eta _{2}) \vert \leq M_{k} \vert \eta _{1}-\eta _{2} \vert \), \(M_{l}>0\), for all \(k \in \{1,2,\ldots,m\}\) and \(\eta _{1},\eta _{2}\in \mathbb{R} \).


\(( \frac{2L_{f}}{\Gamma (\alpha +1)} [ 1+ \frac{L_{g} ( t_{f}-t_{0} ) }{\alpha +1} ] ( t_{f}-t_{0} ) ^{\alpha }+\sum_{j=1}^{m}M_{j}\beta _{j} ( \tau _{k}-\theta _{k} ) ) <1\).


There exists an increasing function \(\varphi :[t_{0}-\lambda ,t_{0}]\rightarrow \mathbb{R} \) such that, for some \(\rho >0\),

$$ \int _{t_{0}}^{t}\varphi (r)\,dr\leq \rho \varphi (t). $$

Theorem 3.1

Suppose that (A1)(A4) hold. Then

  1. (i)

    there exists a unique solution of (1.1) in \(\operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\);

  2. (ii)

    Eq. (1.1) has Ulam–Hyers–Rassias stability on I.


i) Consider an operator \(\Lambda :\operatorname{PC}[t_{0}-\lambda ,t_{f}]\rightarrow \operatorname{PC}[t_{0}-\lambda ,t_{f}]\) defined as

$$\begin{aligned} (\Lambda \eta ) (t)= \textstyle\begin{cases} \phi (t),\quad t\in {}[ t_{0}-\lambda ,t_{0}], \\ \phi (t_{0})+I_{t_{0},t}^{\alpha }f ( s_{i},\eta (s_{i}),\eta (h(s_{i})), \int _{t_{0}}^{t}g(s_{i},\tau ,\eta (\tau ),\eta (h(\tau )))\,d \tau ) , \quad t\in {}[ t_{0},t_{1}], \\ \phi (t_{0})+\beta _{1}\int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}U_{1} ( \eta (s) ) \,ds \\ \quad{} +I_{t_{0},t}^{\alpha }f ( s_{i},\eta (s_{i}), \eta (h(s_{i})),\int _{t_{1}}^{t}g(s_{i},\tau ,\eta (\tau ), \eta (h(\tau )))\,d\tau ) , \\ \quad t\in {}[ t_{1},t_{2}], \\ \phi (t_{0})+\sum_{j=1}^{2}\beta _{j}\int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{j} ( y(s) ) \,ds \\ \quad{} +I_{t_{0},t}^{ \alpha }f ( s_{i},\eta (s_{i}),\eta (h(s_{i})),\int _{t_{2}}^{t}g(s_{i}, \tau ,\eta (\tau ),\eta (h(\tau )))\,d\tau ) , \\ \quad t\in {}[ t_{2},t_{3}], \\ \vdots \\ \phi (t_{0})+\sum_{j=1}^{m}\beta _{j}\int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{j} ( \eta (s) ) \,ds \\ \quad{} +I_{t_{0},t}^{ \alpha }f ( s_{i},\eta (s_{i}),\eta (h(s_{i})),\int _{t_{m}}^{t}g(s_{i}, \tau ,\eta (\tau ),\eta (h(\tau )))\,d\tau ) , \\ \quad t \in {}[ t_{m},t_{m+1}].\end{cases}\displaystyle \end{aligned}$$

It is clear that the mapping Λ is well defined on the given function space domain. Moreover, in order to verify that it is a Picard operator on \(\operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\), we consider two functions \(\eta ,\varrho \in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\). Then

$$\begin{aligned} \bigl\vert (\Lambda \eta ) (t)-(\Lambda \varrho ) (t) \bigr\vert \leq & \biggl\vert I_{t_{0},t}^{\alpha }f \biggl( s_{i},\eta (s_{i}), \eta \bigl(h(s_{i}) \bigr), \int _{t_{0}}^{t}g \bigl(s_{i},\tau ,\eta ( \tau ), \eta \bigl(h(\tau ) \bigr) \bigr)\,d\tau \biggr) \\ &{}\times I_{t_{0},t}^{\alpha }f \biggl( s_{i},\varrho (s_{i}), \varrho \bigl(h(s_{i}) \bigr), \int _{t_{0}}^{t}g \bigl(s_{i},\tau ,\varrho ( \tau ),\varrho \bigl(h(\tau ) \bigr) \bigr)\,d\tau \biggr) \biggr\vert \\ & {} +\sum_{j=1}^{k}\beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}} \bigl\vert U_{j} \bigl( \eta (s_{j}) \bigr) -U_{j} \bigl( \varrho (s_{j}) \bigr) \bigr\vert \,ds. \end{aligned}$$

Thus in the light of the Lipschitz condition, it is clear by (1.2) that

$$\begin{aligned} \bigl\vert (\Lambda \eta ) (t)-(\Lambda \varrho ) (t) \bigr\vert \leq & \frac{L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{t}(t-s)^{\alpha -1} \biggl\{ \sup _{t\in {}[ t_{0}-\lambda ,t_{f}]}2 \bigl\vert \eta (s)- \varrho (s) \bigr\vert \\ & {} +2 \int _{t_{0}}^{s}L_{g}\sup _{t\in {}[ t_{0}- \lambda ,t_{f}]_{i}} \bigl\vert \eta (\tau )-\varrho (\tau ) \bigr\vert \,d \tau \biggr\} \,ds \\ & {} +\sum_{j=1}^{k}M_{j}\beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}} \bigl\vert \eta (s)-\varrho (s)) \bigr\vert \,ds \\ \leq &\frac{ \vert \eta (s)-\varrho (s) \vert L_{f}}{\Gamma (\alpha )}\int _{t_{0}}^{t}(t-s)^{\alpha -1} \bigl\{ 2+2L_{g} ( s-t_{0} ) \bigr\} \,ds \\ & {} +\sum_{j=1}^{m}M_{j}\beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}} \bigl\vert \eta (s)-\varrho (s)) \bigr\vert \,ds \\ \leq & \Biggl( \frac{2L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{t}(t-s)^{\alpha -1} \bigl\{ 1+L_{g} ( s-t_{0} ) \bigr\} \,ds \\ & {} +\sum_{j=1}^{m}M_{j}\beta _{j} ( \tau _{k}- \theta _{k} ) \Biggr) \bigl\vert \eta (s)-\varrho (s) \bigr\vert . \\ \leq & \Biggl( \frac{2L_{f}}{\Gamma (\alpha +1)} \biggl[ 1+ \frac{L_{g} ( t_{f}-t_{0} ) }{\alpha +1} \biggr] ( t_{f}-t_{0} ) ^{ \alpha } \\ & {} +\sum_{j=1}^{m}M_{j}\beta _{j} ( \tau _{k}- \theta _{k} ) \Biggr) \bigl\vert \varrho (s)-\varrho (s) \bigr\vert . \end{aligned}$$

But since by (A3) it follows that the operator is strictly contraction on \((t_{k},t_{k+1}]\), and hence a Picard operator on \(\operatorname{PC}[t_{0}-\lambda ,t_{f}]\). Moreover, it follows from (3.1) that the unique fixed point of the operator Λ is the unique solution of (1.1) in \(\operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\).

ii) The unique solution \(\eta \in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\) of (1.1) is given by

$$\begin{aligned} \eta (t)= \textstyle\begin{cases} \phi (t),\quad t\in {}[ t_{0}-\lambda ,t_{0}], \\ \phi (t_{0})+I_{t_{0},t}^{\alpha }f ( t,\eta (t),\eta (h(t)), \int _{t_{0}}^{t}g(t,\tau ,\eta (\tau ),\eta (h(\tau )))\,d \tau ) ,\quad t\in {}[ t_{0},t_{1}], \\ \phi (t_{0})+\int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}} \beta _{1}U_{1} ( \eta (s) ) \,ds+I_{t_{0},t}^{\alpha }f ( t,\eta (t),\eta (h(t)),\int _{t_{1}}^{t}g(t,\tau , \eta (\tau ),\eta (h(\tau )))\,d\tau ) , \\ \quad t\in {}[ t_{1},t_{2}], \\ \phi (t_{0})+\sum_{j=1}^{2}\beta _{j}\int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{j} ( \eta (s) ) \,ds \\ \quad{} +I_{t_{0},t}^{ \alpha }f ( t,\eta (t),\eta (h(t)),\int _{t_{2}}^{t}g(t, \tau ,\eta (\tau ),\eta (h(\tau )))\,d\tau ) , \\ \quad t\in {}[ t_{2},t_{3}], \\ \vdots \\ \phi (t_{0})+\sum_{j=1}^{m}\beta _{j}\int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{j} ( \eta (s) ) \,ds \\ \quad{} +I_{t_{0},t}^{ \alpha }f ( t,\eta (t),\eta (h(t)),\int _{t_{m}}^{t}g(t, \tau ,\eta (\tau ),\eta (h(\tau )))\,d\tau ) , \\ \quad t\in {}[ t_{m},t_{m+1}].\end{cases}\displaystyle \end{aligned}$$

If \(\varrho \in \operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\) satisfies inequality (2.2), then by (A4) and Remark 2.4, it follows that

$$\begin{aligned}& \Biggl\vert \varrho (t)-\phi (t_{0})-\sum _{j=1}^{m}\beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}U_{j} \bigl( \varrho (s) \bigr) \,ds \\& \quad \quad {} -I_{t_{0},t}^{\alpha }f \biggl( t,\varrho (t), \varrho \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(t,\tau ,\varrho (\tau ), \varrho \bigl(h(\tau ) \bigr) \bigr)\,d\tau \biggr) \Biggr\vert \\& \quad \leq \int _{t_{0}}^{t} \bigl\vert g(s) \bigr\vert \,ds+ \sum_{j=1}^{m} \vert g_{j} \vert \leq \int _{t_{0}}^{t}\epsilon \varphi (s)\,ds+mK\leq \rho \epsilon \varphi (t)+mK\leq \lambda \epsilon \varphi (t). \end{aligned}$$

For all \(\lambda >0\), we note that \(\vert \varrho (t)-\eta (t) \vert =0\) for all \(t\in {}[ t_{0}-\lambda ,t_{0}]\). Now, for \(t\in {}[ t_{k} ,t_{k+1}]\), we have

$$\begin{aligned} \bigl\vert \varrho (t)-\eta (t) \bigr\vert =& \Biggl\vert \varrho (t)- \phi (t_{0})-\sum_{j=1}^{k}\beta _{j} \int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}U_{j} \bigl( \eta (s) \bigr) \,ds \\ & {} -I_{t_{0},t}^{\alpha }g_{i} \biggl( t,\eta (t),\eta \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(\tau ,s,\eta (\tau ),\eta \bigl(h(\tau ) \bigr) \bigr)\,d \tau \biggr) \Biggr\vert \\ \leq & \Biggl\vert \varrho (t)-\phi (t_{0})-\sum _{j=1}^{k} \beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}U_{j} \bigl( \varrho (s) \bigr) \,ds \\ & {} -I_{t_{0},t}^{\alpha }g_{i} \biggl( t,\varrho (t), \varrho \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(\tau ,s,\varrho (\tau ),\varrho \bigl(h(\tau ) \bigr) \bigr)\,d \tau \biggr) \Biggr\vert \\ & {} +\sum_{j=1}^{k}\beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}} \bigl\vert U_{j} \bigl( \varrho (s_{j}) \bigr) -U_{j} \bigl( \eta (s) \bigr) \bigr\vert \,ds \\ & {} + \biggl\vert I_{t_{0},t}^{\alpha }g_{i} \biggl( t, \varrho (t), \varrho \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(\tau ,s,\varrho (\tau ), \varrho \bigl(h(\tau ) \bigr) \bigr)\,d\tau \biggr) \\ & {} -I_{t_{0},t}^{\alpha }g_{i} \biggl( t,\eta (t),\eta \bigl(h(t) \bigr), \int _{t_{0}}^{t}g \bigl(\tau ,s,\eta (\tau ),\eta \bigl(h(\tau ) \bigr) \bigr)\,d \tau \biggr) \biggr\vert \\ \leq &\lambda \epsilon \varphi (t)+\sum_{j=1}^{k}M_{j} \beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}} \bigl\vert \eta (s)-\varrho (s)) \bigr\vert \,ds \\ & {} +\frac{L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{s_{i}}(s_{i}-s)^{\alpha -1} \biggl\{ \bigl\vert \eta (s)-\varrho (s) \bigr\vert + \bigl\vert \eta \bigl(h(s) \bigr)-\varrho \bigl(h(s) \bigr) \bigr\vert \\ & {} + \int _{t_{0}}^{s}L_{h} \bigl[ \bigl\vert \eta ( \tau )-\varrho (\tau ) \bigr\vert + \bigl\vert \eta \bigl(h(\tau ) \bigr)- \varrho \bigl(h(\tau ) \bigr) \bigr\vert \bigr] \,d\tau \biggr\} \,ds. \end{aligned}$$

Now we are going to show that the operator \(T:\operatorname{PC}[t_{0}-\lambda ,t_{f}]\rightarrow \operatorname{PC}[t_{0}-\lambda ,t_{f}]\), which is given below, is an increasing Picard operator.

$$\begin{aligned}& \bigl\vert T(m) (t)-T(n) (t) \bigr\vert \\& \quad \leq \sum_{j=1}^{k}M_{j} \beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}} \bigl\vert m(s)-n(s)) \bigr\vert \,ds \\& \quad \quad {} +\frac{L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{t}(t-s)^{ \alpha -1} \biggl\{ \bigl\vert m(s)-n(s) \bigr\vert + \bigl\vert m \bigl(h(s) \bigr)-n \bigl(h(s) \bigr) \bigr\vert \\& \quad \quad {} + \int _{t_{0}}^{t}L_{g} \bigl[ \bigl\vert m( \tau )-n(\tau ) \bigr\vert + \bigl\vert m \bigl(h(\tau ) \bigr)-n \bigl(h( \tau ) \bigr) \bigr\vert \bigr] \,d\tau \biggr\} \,ds \\& \quad \leq \sum_{j=1}^{m}M_{j} \beta _{j} \int _{t_{k}- \tau _{k}}^{t_{k}-\theta _{k}}\sup_{t\in {}[ t_{0}-\lambda ,t_{f}]} \bigl\vert m(s)-n(s)) \bigr\vert \,ds \\& \quad \quad {} +\frac{L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{t}(t-s)^{ \alpha -1} \biggl\{ \sup _{t\in {}[ t_{0}-\lambda ,t_{f}]}2 \bigl\vert m(s)-n(s) \bigr\vert \\& \quad \quad {} +2 \int _{t_{0}}^{s}L_{g}\sup _{t\in {}[ t_{0}- \lambda ,t_{f}]} \bigl\vert m(\tau )-n(\tau ) \bigr\vert \,d\tau \biggr\} \,ds \\& \quad \leq \Biggl( \sum_{j=1}^{m}M_{j} \beta _{j} ( \tau _{k}- \theta _{k} ) + \frac{2L_{f}}{\Gamma (\alpha +1)} \biggl[ 1+ \frac{L_{g} ( t_{f}-t_{0} ) }{\alpha +1} \biggr] ( t_{f}-t_{0} ) ^{ \alpha } \Biggr) \vert m-n \vert . \end{aligned}$$

Again by (A3), the operator is contractive on \(t\in {}[ t_{0}-\lambda ,t_{f}]\) and hence a Picard operator on \(\operatorname{PC}[t_{0}-\lambda ,t_{f}]\cap \operatorname{PC}^{1}[t_{0},t_{f}]\). Then, by the Banach contraction principle, we conclude that T is a Picard operator and \(f_{T}=\{m^{\ast }\}\), and

$$\begin{aligned} m^{\ast }(t) =&\lambda \epsilon \varphi (t)+\sum _{j=1}^{k}M_{j} \beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}m^{\ast }(s)\,ds \\ & {} +\frac{L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{t}(t-s)^{ \alpha -1} \biggl\{ m^{\ast }(s)+m^{\ast } \bigl(h(s) \bigr) \\ & {} + \int _{t_{0}}^{s}L_{g} \bigl[ m^{\ast }( \tau )+m^{\ast } \bigl(h(\tau ) \bigr) \bigr] \,d\tau \biggr\} \,ds. \end{aligned}$$

But since \(m^{\ast }\) is an increasing function and \(h(t)\leq t\), then clearly \(m^{\ast }(h(t))\leq m^{\ast }(t)\), and so we can write

$$\begin{aligned} m^{\ast }(t) \leq &\lambda \epsilon \varphi (t)+\sum _{j=1}^{k}M_{j} \beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}-\theta _{k}}m^{\ast }(s)\,ds \\ & {} +\frac{2L_{f}}{\Gamma (\alpha )} \int _{t_{0}}^{t}(t-s)^{ \alpha -1} \biggl\{ m^{\ast }(s)+L_{g} \int _{t_{0}}^{s}m^{ \ast } \bigl(h(\tau ) \bigr) \,d \tau \biggr\} \,ds. \end{aligned}$$

Thus, by applying Pachpatte’s inequality given in Theorem 2.6, we have

$$\begin{aligned}& m^{\ast }(t)\leq \lambda \epsilon \varphi (t)\prod _{t_{0}< t_{k}< t}C_{k} \exp \biggl( \int _{t_{0}}^{t}\frac{2L_{f}}{\Gamma (\alpha )}(t-s)^{\alpha -1} \biggl[ 1+ \int _{t_{0}}^{s}L_{g}\,d\tau \biggr] \biggr) \,ds, \end{aligned}$$


$$\begin{aligned} C_{k}&=\exp \biggl( \int _{t_{k-1}}^{t_{k}} \frac{2L_{f}}{\Gamma (\alpha )}(t-s)^{\alpha -1} \biggl[ 1+ \int _{t_{0}}^{s}L_{g}\,d\tau \biggr] \,ds \biggr) \\ &\quad {} +\beta _{j} \int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}}\exp \biggl( \int _{t_{k-1}}^{t} \frac{2L_{f}}{\Gamma (\alpha )}(t-\tau )^{\alpha -1} \biggl[ 1+ \int _{t_{0}}^{ \zeta }L_{g}\,d\xi \biggr] \,d\tau \biggr) \,ds. \end{aligned}$$

Taking \(c_{\varphi }=\lambda \prod_{0< t_{k}< t}C_{k}\exp ( \int _{t_{0}}^{t}\frac{2L_{f}}{\Gamma (\alpha )}(t-s)^{ \alpha -1} [ 1+\int _{t_{0}}^{s}L_{g}\,d\tau ] ) \,ds\), we get \(m^{\ast }(t)\leq c_{\varphi }\epsilon \varphi (t)\), \(t\in {}[ t_{0}-\lambda ,t_{f}]\).

Now setting \(m= \vert \varrho (t)-\eta (t) \vert \), then \(m(t)\leq (Tm)(t)\) from which by using the abstract Gronwall lemma (Lemma 2.5) it follows that \(m(t)\leq m^{\ast }\). Therefore

$$ \bigl\vert \varrho (t)-\eta (t) \bigr\vert \leq c_{\varphi } \epsilon \varphi (t), \quad t\in {}[ t_{0}-\lambda ,t_{f}]. $$

Consequently, Eq. (1.1) is Ulam–Hyers–Rassias stable, and the proof is completed. □

Corollary 3.2

Suppose that (A1)(A4) hold. Then (1.1) has a unique solution and is Ulam–Hyers stable.


Putting \(\varphi (t)=1\) for all \(t\in {}[ t_{0}-\lambda ,t_{f}]\) in the proof of Theorem 3.1, we get

$$ \bigl\vert \varrho (t)-\eta (t) \bigr\vert \leq c\epsilon , \quad t \in {}[ t_{0}-\lambda ,t_{f}], $$

and the result follows. □

Remark 3.3

Choosing \(\psi (\epsilon )=c\epsilon \) in Corollary 3.2, it follows that (1.1) has a unique solution and is generalized Ulam–Hyers stable.

4 An application

In this section, we consider some examples which represent vital special cases of Eq. (1.1).

Example 4.1

For any \(r>0\), define \(h_{1}(t)=t-r\), \(t\in I\). In this case Eq. (1.1) takes the form

$$ \textstyle\begin{cases} \eta (t)=I_{t_{0},t}^{\alpha }f_{1} ( t,\eta (t),\eta (t-r), \int _{t_{0}}^{t}g(t,\tau ,\eta (\tau ),\eta ((\tau -r)))\,d \tau ) , \quad t\in I, \\ \Delta \eta (t_{k})=\beta _{k}\int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}}U_{k} ( \eta (s_{k}) ) \,ds, \quad k=1,2,\ldots,m, \\ \eta (t)=\phi (t), \quad t\in {}[ t_{0}-\lambda ,t_{0}].\end{cases} $$

This is an initial value problem for nonlinear Volterra delay integro-differential equations with fractional integrable impulses. Now consider the following inequality:

$$ \textstyle\begin{cases} \vert \eta (t)-I_{t_{0},t}^{\alpha }f_{1} ( t,\eta (t),= \eta (t-r),\int _{t_{0}}^{t}g(t,\tau ,\eta (\tau ),\eta (( \tau -r)))\,d\tau ) \vert \leq \varphi (t), \quad t\in I, \\ \vert \Delta \eta (t_{k})-\beta _{k}\int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}}U_{k} ( \eta (s_{k}) ) \,ds \vert \leq K, \quad k=1,2,\ldots,m,\end{cases}$$

where ϵ and φ are as specified in Sect. 2.

As an application of Theorem 3.1, we have the following theorem for problem (4.1).

Theorem 4.1

Eq. (4.1) has a unique solution and is Ulam–Hyers–Rassias stable if \(f_{1}\) and each \(U_{k}\), \(k=1,2,\ldots,m\) satisfy (A1), (A2), (A3), and (A4).

Example 4.2

Consider the special case of (1.1) with the delay \(h_{2}(t)=t^{2}\), \(t\in I= {}[ 0 ,1]\). In this case we have

$$ \textstyle\begin{cases} \eta (t)=I_{t_{0},t}^{\alpha }f_{2} ( t,\eta (t),\eta (t^{2}), \int _{t_{0}}^{t}g(t,\tau ,\eta (\tau ),\eta (\tau ^{2}))\,d \tau ) , \quad t\in I=[0,1], \\ \Delta \eta (t_{k})=\beta _{k}\int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}}U_{k} ( \eta (s_{k}) ) \,ds, \quad k=1,2,\ldots,m, \\ \eta (t)=\phi (t), \quad t\in {}[ t_{0}-\lambda ,t_{0}].\end{cases} $$

Consider the following inequality:

$$ \textstyle\begin{cases} \vert \eta (t)-I_{t_{0},t}^{\alpha }f_{2} ( t,\eta (t), \eta (t^{2}),\int _{t_{0}}^{t}g(t,\tau ,\eta (\tau ),\eta ( \tau ^{2}))\,d\tau ) \vert \leq \varphi (t), \quad t\in I=[0,1], \\ \vert \Delta \eta (t_{k})-\beta _{k}\int _{t_{k}-\tau _{k}}^{t_{k}- \theta _{k}}U_{k} ( \eta (s_{k}) ) \,ds \vert \leq K, \quad k=1,2,\ldots,m,\end{cases}$$

where ϵ and φ are as specified in Sect. 2.

In this case, Theorem 3.1 leads to the following theorem for problem (4.2).

Theorem 4.2

Eq. (4.2) has a unique solution and is Ulam–Hyers–Rassias stable if \(f_{2}\) and each \(U_{k}\) satisfy (A1), (A2), (A3), and (A4).

Remark 4.3

Theorem 4.1 and Theorem 4.2 partially generalize the results of [22].

5 Conclusion

This paper has established several Ulam stability results for the first-order nonlinear Volterra delay integro-differential equations with impulses using Pachpatte’s inequality and the fixed point approach via Picard operators. The right-hand side of (1.1) is non-localized by imposing the Riemann–Liouville fractional integrals under the presence of delay and impulse. Our obtained results improve those of [40] and [22]. We finally presented some applications to illustrate the stability results obtained in the case of a finite interval.

Availability of data and materials

Not applicable.


  1. Abdeljawad, T., Agarwal, R.P., Karapınar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11, 686 (2019)

    Article  Google Scholar 

  2. Adigüzel, R.S., Aksoy, U., Karapınar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equations. Math. Methods Appl. Sci., 1–12 (2020)

  3. Agarwal, R.P., Aksoy, Ü., Karapınar, E., Erhan, I.M.: F-contraction mappings on metric-like spaces in connection with integral equations on time scales. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 147 (2020)

    Article  MathSciNet  Google Scholar 

  4. Alqahtani, B., Aydi, H., Karapınar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)

    Article  Google Scholar 

  5. Alqahtani, B., Fulga, A., Karapınar, E.: Fixed point results on Δ-symmetric quasi-metric space via simulation function with an application to Ulam stability. Mathematics 6, 208 (2018)

    Article  Google Scholar 

  6. Alsulami, H.H., Gülyaz, S., Karapınar, E., Erhan, I.M.: An Ulam stability result on quasi-b-metric-like spaces. Open Math. 14, 1087–1103 (2016)

    Article  MathSciNet  Google Scholar 

  7. Alsulami, H.H., Karapınar, E., O’Regan, D., Shahi, P.: Fixed points of generalized contractive mappings of integral type. Fixed Point Theory Appl. 2014, 213 (2014)

    Article  MathSciNet  Google Scholar 

  8. Ardjounia, A., Djoudi, A.: Existence and uniqueness of solutions for nonlinear hybrid implicit Caputo–Hadamard fractional differential equations. Results Nonlinear Anal. 2, 136–142 (2019)

    Google Scholar 

  9. Bouteraa, N., Benaicha, S.: The uniqueness of a positive solution to a higher-order nonlinear fractional differential equation with fractional multi-point boundary conditions. Adv. Theory Nonlinear Anal. Appl. 2, 74–84 (2018)

    MATH  Google Scholar 

  10. Castro, L.P., Ramos, A.: Hyers–Ulam–Rassias stability for a class of nonlinear Volterra integral equations. Banach J. Math. Anal. 3, 36–43 (2009)

    Article  MathSciNet  Google Scholar 

  11. Chauhan, S., Imdad, M., Karapınar, E., Fisher, B.: An integral type fixed point theorem for multi-valued mappings employing strongly tangential property. J. Egypt. Math. Soc. 22, 258–264 (2014)

    Article  MathSciNet  Google Scholar 

  12. Felhi, A., Sahmim, S., Aydi, H.: Ulam–Hyers stability and well-posedness of fixed point problems for α-λ-contractions on quasi b-metric spaces. Fixed Point Theory Appl. 2016, 1 (2016)

    Article  MathSciNet  Google Scholar 

  13. Gülyaz, S., Karapınar, E., Rakocevic, V., Salimi, P.: Existence of a solution of integral equations via fixed point theorem. J. Inequal. Appl. 2013, 529 (2013)

    Article  MathSciNet  Google Scholar 

  14. Hassan, A.M., Karapınar, E., Alsulami, H.H.: Ulam–Hyers stability for MKC mappings via fixed point theory. J. Funct. Spaces 2016, 9623597 (2016)

    MathSciNet  MATH  Google Scholar 

  15. Jung, S.M.: A fixed point approach to the stability of a Volterra integral equation. Fixed Point Theory Appl. 2007, 057064 (2007)

    Article  MathSciNet  Google Scholar 

  16. Karapınar, E.: Fixed points results for α-admissible mapping of integral type on generalized metric spaces. Abstr. Appl. Anal. 2015, 141409 (2015)

    MathSciNet  MATH  Google Scholar 

  17. Karapınar, E., Atangana, A., Fulga, A.: Pata type contractions involving rational expressions with an application to integral equations. Discrete Contin. Dyn. Syst. 14, 3629–3640 (2021)

    MathSciNet  MATH  Google Scholar 

  18. Karapınar, E., Fulga, A.: An admissible hybrid contraction with an Ulam type stability. Demonstr. Math. 52, 428–436 (2019)

    Article  MathSciNet  Google Scholar 

  19. Karapınar, E., Kumar, D., Sakthivel, R., Luc, N.H., Can, N.H.: Identifying the space source term problem for time-space-fractional diffusion equation. Adv. Differ. Equ. 2020, 557 (2020)

    Article  MathSciNet  Google Scholar 

  20. Karapınar, E., Shahi, P., Taş, K.: Generalized α-ψ-contractive type mappings of integral type and related fixed point theorems. J. Inequal. Appl. 2014, 160 (2014)

    Article  MathSciNet  Google Scholar 

  21. Kucche, K.D., Shikhare, P.U.: Ulam–Hyers stability for integro-differential equations in Banach spaces via Pachpatte inequality. Asian-Eur. J. Math. 11, 1850062 (2018)

    Article  MathSciNet  Google Scholar 

  22. Kucche, K.D., Shikhare, P.U.: Ulam stabilities for nonlinear Volterra delay integro-differential equations. J. Contemp. Math. Anal. 54, 276–287 (2019)

    Article  MathSciNet  Google Scholar 

  23. Lazreg, J.E., Abbas, S., Benchohra, M., Karapınar, E.: Impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces. Open Math. 19, 363–372 (2021)

    Article  MathSciNet  Google Scholar 

  24. Luo, D., Luo, Z., Qiu, H.: Existence and Hyers–Ulam stability of solutions for a mixed fractional-order nonlinear delay difference equation with parameters. Math. Probl. Eng. 2020, 9372406 (2020)

    MathSciNet  MATH  Google Scholar 

  25. Lupulescu, V., Zada, A.: Linear impulsive dynamic systems on time scales. Electron. J. Qual. Theory Differ. Equ. 2010, 11 (2010)

    MathSciNet  MATH  Google Scholar 

  26. Nghia, B.D., Luc, N.H., Binh, H.D., Long, L.D.: Regularization method for the problem of determining the source function using integral conditions. Adv. Theory Nonlinear Anal. Appl. 5, 351–361 (2021)

    Google Scholar 

  27. Otrocol, D.: Ulam stabilities of differential equations with abstract Volterra operator in a Banach space. Nonlinear Funct. Anal. Appl. 15, 613–619 (2010)

    MathSciNet  MATH  Google Scholar 

  28. Otrocol, D., Ilea, V.: Ulam stability for a delay differential equation. Cent. Eur. J. Math. 11, 1296–1303 (2013)

    MathSciNet  MATH  Google Scholar 

  29. Panda, S.K., Karapınar, E., Atangana, A.: A numerical schemes and comparisons for fixed point results with applications to the solutions of Volterra integral equations in dislocated extended b-metric space. Alex. Eng. J. 59, 815–827 (2020)

    Article  Google Scholar 

  30. Parthasarathy, C.: Existence and Hyers–Ulam-stability of nonlinear impulsive differential equations with nonlocal conditions. Electron. J. Math. Anal. Appl. 4, 106–115 (2016)

    MathSciNet  MATH  Google Scholar 

  31. Pathak, H.K., Shahzad, N.: Gregus type fixed point results for tangential mappings satisfying contractive conditions of integral type. Bull. Belg. Math. Soc. Simon Stevin 16(2), 277–288 (2009)

    Article  MathSciNet  Google Scholar 

  32. Rus, I.: Gronwall lemmas: ten open problems. Sci. Math. Jpn. 70, 221–228 (2009)

    MathSciNet  MATH  Google Scholar 

  33. Rus, I.: Ulam stability of ordinary differential equations. Stud. Univ. Babeş–Bolyai, Math. 54, 125–133 (2009)

    MathSciNet  MATH  Google Scholar 

  34. Salim, A., Benchohra, M., Karapınar, E., Lazreg, J.E.: Existence and Ulam stability for impulsive generalized Hilfer-type fractional differential equations. Adv. Differ. Equ. 2020, 601 (2020)

    Article  MathSciNet  Google Scholar 

  35. Sevgin, S., Sevli, H.: Stability of a nonlinear Volterra integro-differential equation via a fixed point approach. J. Nonlinear Sci. Appl. 9, 200–207 (2016)

    Article  MathSciNet  Google Scholar 

  36. Tang, S., Zada, A., Faisal, Sh., 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  Google Scholar 

  37. Thiramanus, P., Tariboon, J., Ntouyas, S.K.: Pachpatte’s type integral inequalities with integral impulses. J. Math. Inequal. 8, 839–853 (2014)

    Article  MathSciNet  Google Scholar 

  38. Tunc, C., Bicer, E.: Hyers–Ulam–Rassias stability for a first order functional differential equation. J. Math. Fund. Sci. 47, 143–153 (2015)

    Article  MathSciNet  Google Scholar 

  39. Ulam, S.M.: Problems in Modern Mathematics. Science Editions. Wiley, New York (1964)

    MATH  Google Scholar 

  40. Zada, A., Faisal, S., Li, Y.: On the Hyers–Ulam stability of first-order impulsive delay differential equations. J. Funct. Spaces 2016, 8164978 (2016)

    MathSciNet  MATH  Google Scholar 

  41. Zada, A., Shah, S.O.: Hyers–Ulam stability of first-order non-linear delay differential equations with fractional integrable impulses. J. Math. Stat. 47, 1196–1205 (2018)

    MathSciNet  MATH  Google Scholar 

Download references


The authors B. Abdalla and T. Abdeljawad would like to thank Prince Sultan university for paying the APC and the support through TAS research lab.


Not applicable.

Author information

Authors and Affiliations



All authors contributed equally. All the authors read and approved the final manuscript.

Corresponding authors

Correspondence to D. A. Refaai or Thabet Abdeljawad.

Ethics declarations

Consent for publication

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Refaai, D.A., El-Sheikh, M.M.A., Ismail, G.A.F. et al. Hyers–Ulam stability of impulsive Volterra delay integro-differential equations. Adv Differ Equ 2021, 477 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: