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.


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.
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: 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 αψ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 (α, ψ)-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]  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: 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 < α ≤ 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: is a history function, and I α t 0 ,t f is Riemann-Liouville fractional integral of order α given as follows: Moreover, we assume that h : [t 0 , t f ] → [t 0λ, t f ] is a continuous delay function such that h(t) ≤ 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.

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]).
i) The Banach space of all continuous real-valued functions from I with norm v C = sup{|v(t)| : t ∈ I}, where I = [t 0λ, t f ] and R is the set of real numbers, is denoted by C (I, R).
ii) The Banach space of all functions v : where > 0, K > 0 and ϕ(t) ∈ PC(I, R + ) with ϕ (t) > 0. Remark 2.4 Any function η 1 ∈ PC 1 [t 0 , t f ] is a solution of (2.1) if and only if there exist a function g ∈ PC[t 0λ, t f ] and a sequence of functions g k depending on y such that (i) |g(t)| ≤ for all t ∈ [t 0λ, t f ], |g l | ≤ for all l = 1, 2, . . . , m, Similar arguments hold for inequalities (2.2).

Lemma 2.5 Every solution
Proof 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 R + , and let n(t) be a nonnegative constant for which the inequality
holds for t ∈ R + , where ζ l ≥ 0 and 0 ≤ θ l ≤ τ l ≤ t lt l-1 for l = 1, 2, . . . and n(t) is a nonnegative constant. Then Definition 2.7 (Picard operator [32]) Let (V , d) be a metric space. An operator A : V → V is said to be a Picard operator if there exists v * ∈ V such that: (ii) the sequence (A n (v 0 )) n∈N converges to v * for all v 0 ∈ X. Lemma 2.8 (Gronwall lemma [32]) Let (V , d, ≤) be an ordered metric space and let A :

Main results
To establish our results on Ulam type stability outlined in (1.1), we need the following assumptions: Proof i) Consider an operator : (ts) α-1 2 + 2L g (st 0 ) ds But since by (A3) it follows that the operator is strictly contraction on (t k , t k+1 ], and hence a Picard operator on PC[t 0λ, t f ]. Moreover, it follows from (3.1) that the unique fixed point of the operator is the unique solution of (1.1) in PC[t 0λ, t f ] ∩ PC 1 [t 0 , t f ].