arxiv: v1 [math.ds] 31 Dec 2018

Transcription

1 On Impulsive Delay Integrodifferential Equations with Integral Impulses Kishor D. Kucche 1 kdkucche@gmail.com Pallavi U. Shikhare 2 jananishikhare13@gmail.com 1,2 Department of Mathematics, Shivaji University, Kolhapur-416 4, Maharashtra, India. arxiv: v1 math.ds] 31 Dec 218 Abstract The present research paper is devoted to investigate the existence, uniqueness of mild solutions for impulsive delay integrodifferential equations with integral impulses in Banach spaces. We also investigate the dependence of solutions on initial conditions, parameters and the functions involved in the equations. Our analysis is based on semigroup theory, fixed point technique and an application of Pachpattes type integral inequality with integral impulses. An example is provided in support of existence result. Key wor: Impulsive integrodifferential equation; Impulsive integral inequality; Integral jump condition; Fixed point, Dependence of solutions. 21 Mathematics Subject Classification: 37L5, 47D6, 34A37, 34G2, 35B3, 35A23. 1 Introduction Numerous real world physical phenomena can t be modeled as differential equations with classical initial conditions, specially the issues in the part of biology and medical sciences, for instances, the dynamics of populations subject to sudden changes e.g. diseases, harvesting and so forth. and few problems in the field of physics, chemical technology, population dynamics, medicine, mechanics, biotechnology and economics. But, such physical phenomena can be modeled by means of differential equations with impulsive conditions. It very well may be noticed that the impulsive conditions are the blen of classical initial conditions and the short-term perturbations whose span can be insignificant in correlation with the span of the procedure. Therefore the differential and integrodifferential equations with impulse effect have importance in the modeling many physical phenomena in which sudden changes occurs. The details relating to the theory and applications of impulsive differential equations IDEs and its impact in further development can be found in the monograph by Bainov and Simeonov 1], Lakshmikantham et al. 2], and Samoilenko and Perestyuk 3] and in the interesting papers 4, 5, 6, 7, 8, 9, 1, 11, 12, 13]. In the begin, Frigon and O regan 5], using the fixed point approach determined variety of existence principles for the IDE w t = f t,wt, < t < b, t t k, wt + k = I k wt k 1.1, k = 1,2,,m, with the initial condition w = w, where xt + k = lim ǫ +xt k +ǫ and xt k = lim ǫ xt k +ǫ. In addition, utilizing the idea of upper and lower solutions, authors have derived existence results 1

2 2 for the IDE 1.1 with boundary condition w = wb. First, Wang et al. 4] presented the idea of Ulam s type stabilities for ordinary IDE and derived these stability results by means of integral inequality of Gronwall type for piecewise continuous functions. Liu 14] have extended the theory to nonlinear impulsive evolution equation w t = Awt+f t,wt, < t < b, t t k, wt k = I k wt k,, k = 1,2,,m, 1.2 w = w, in a Banach space, where A : DA X X is the infinitesimal generator of a strongly continuous semigroup of bounded linear operators and applying the semigroup theory explored the existence and uniqueness of the mild solutions by utilizing fixed point argument. Further, the author have demonstrated that if f is continuously differentiable then the mild solutions give rise to classical solution. Hernndez, D. O regan 9] analyzed a class of abstract impulsive differential equations of the form 1.2 considering extraordinary sorts of condition on the function I k, so as it would allow to think about the impulsive partial differential equations. Utilizing the Lerey-Schauder nonlinear alternative, Arjunan and Anguraj 15] derived existence of mild solutions for the impulsive delay differential equations. w t = Awt+f t,w t, t I =,b], t t k, k = 1,2,,m, wt = φt, t r,], < r <, 1.3 wt k = I k wt k, k = 1,2,,m Benchora et al. 16] have extended the above study to first and second order impulsive semilinear neutral functional differential equations. Thiramanus et al. 17] built up the impulsive differential and impulsive integral inequalities with integral jump conditions and gave its applications to examine the boundedness and other properties of IDEs with integral jump conditions. Thaiprayoon et al. 18, 19] exhibited the maximum principles for second-order impulsive integrodifferential equations with integral jump conditions and also developed the monotone iterative technique for a periodic boundary value problem. More subtleties relating to integral jump conditions can be found in 17, 18, 19]. It is seen that the theory of impulsive differential equations have been significant progress. However, very few work have been accounted relating to the theory of impulsive delay differential equations with integral impulses. Motivated by the previously mentioned work and the applicability of impulsive differential equation in the scientific community it is imperative to examining the existence, uniqueness, stability and data dependence of solution for broad class of impulsive integrodifferential equations. Motivated by the work of 17, 18, 19], in the present paper, we consider the impulsive integrodifferential equation with integral impulses and finite delay described in the form: w t = Awt+V t,w t, Ut,s,w s, t I =,b], t t k, k = 1,2,,m, 1.4 wt = ςt, t r,], 1.5 k θ k wt k = I k Gs,w s, k = 1,2,,m. 1.6

3 3 where A : DA X X is the infinitesimal generator of a strongly continuous semigroup of bounded linear operators T t t in the Banach X, ; V : I C r,],x X X, U : I I C r,],x X and G : J X X are given functions, ς C r,],x, < r <, = t < t 1 < < t m < t m+1 = b, I k CX,X are bounded functions, θ k τ k t k t k 1 for k = 1,2,,m, wt k = wt + wt k, xt+ k = lim ǫ +xt k + ǫ and xt k = lim ǫ xt k + ǫ. For any continuous function w defined on r,b] t 1,,t m and t,b], denote by w t the element of C r,],x defined by w t θ = wt+θ, θ r,]. Our fundamental point is to research the existence, uniqueness of mild solutions for the problem and examine the dependence of mild solution on initial conditions, parameters and on the functions involved in the right hand side of the equations The innovative idea in the present paper is the utilization of the Pachpattes type integral inequality with integral impulses. The innovative thought to be noted here that all the qualitative properties mentioned above of the mild solutions for the problem have been acquired by means of Pachpattes type integral inequality with integral impulses for broad class of impulsive Volterra integrodifferential equations just with Lipschitz conditions on the functions V and U. For more uses of the Pachpatte s integral inequalities in the investigation of qualitative properties of solutions and different kind of Ulam s types stabilities of general form of integrodifferential equations we refer to the work of Pachpatte 2, 21] and Kucche et al. 22, 23]. The paper is organized as follows. In section 2, we introduce notations and state theorems which are useful in further analysis. Section 3 deals with existence and uniqueness results pertaining to the problem In section 4 we establish the dependence of solution on different data. In section 5, an example is given to illustrate the existence and uniqueness results. 2 Preliminaries In this section, we introduce notations and few theorems that are used throughout this paper. Let X, be a Banach space. Then C = C r,],x = ς : ς : r,] X is continuous is a Banach space with respect to the norm ς = sup ςθ : r < θ <. Further, CI,X = w : w : I X is continuous is a Banach space with respect to the norm w = sup wt : < t < b. Theorem ] Let T t t is a C -semigroup. Thereexists constants ω and M 1 such that T t Me ωt, t <.

4 4 We utilize the following fixed point theorem due to Burton and Kirk 25]. Theorem ] Let X be a Banach space and A, B : X X two operators satisfying: i A is a contraction, and ii B is completely continuous. Then either a the operator equation w = Aw+Bw has a solution, or b the set Z = w w X : w = λa +λbw λ is unbounded for λ,1. The qualitative analysis of the solution of equations has been done by utilizing the following Pachpatte s type integral inequality. Theorem ] Let the sequence t k satisfies t < t 1 < and lim t t k =. Let u PC 1 R +,R + and ut is left-continuous at t k, k = 1,2,. Assume that f, g are nonnegative continuous functions defined on R + and nt is a positive and nondecreasing continuous function defined on R +. In addition, assume that constants β k, θ k τ k t k t k 1 for k = 1,2,. If ut nt+ fsus + fs gσuσdσ k θ k β k us, t, <t k <t then ut nt <t k <t C k exp fs 1+ t α ] gσdσ, t, where α = maxk : t t k, k = 1,2, and C k = exp k t k 1 fs 1+ ] tk θ k σ ] gσdσ +β k exp fσ 1+ gξdξ dσ. t k 1

5 5 3 Existence and Uniqueness Results To define the concept of mild solution of , we consider the following space Σ = w : r,b] X : w k CI k,x, k =,,m and there exist wt k and wt + k, with wt k = wt k, k = 1,,m, wt = ςt, t r,]. Define Σ : Σ, by w Σ = max w k Ik : k = m, where w k is the restriction of w to I k = t k, t k+1 ], k =,,m. Then Σ, Σ is a Banach space. Let w Σ isasolution ofproblem the Then comparing with the abstract Cauchy problem 24], we have This gives wt = T tς+ T t sv s,w s, 1 wt 1 = T t 1ς+ T t 1 sv s,w s, Now, by condition 1.6, we have wt + 1 = wt 1 +I 1 1 θ 1 Us,σ,w σ dσ, t,t 1. Gs,w s. t 1 τ 1 Us,σ,w σ dσ. 3.1 Thus again by comparing with abstract Cauchy problem 24], and using semigroup property for t t 1,t 2 we have wt = T t t 1 wt T t sv s,w s, t 1 1 = T t t 1 wt θ 1 ] 1 +I 1 Gs,w s t 1 τ 1 Us,σ,w σ dσ + T t sv s,w s, t 1 = T t t 1 T t 1 ς+ 1 T t t 1 T t 1 sv Us,σ,w σ dσ s,w s, Us,σ,w σ dσ Us,σ,w σ dσ 1 θ 1 + T t t 1 I 1 Gs,w s + T t sv s,w s, t 1 τ 1 t 1 1 θ 1 = T tς+ T t sv s,w s, Us,σ,w σ dσ +T t t 1 I 1 Reiterating these procedures, one can prove that wt = T tς+ T t sv s,w s, Us,σ,w σ dσ Gs,w s t 1 τ 1.

6 6 <t k <t k θ k T t t k I k Gs,w s, t I. Definition 3.1 A function w : r,b] X is called a mild solution of if wt = ςt,on r,], and wt = T tς+ <t k <t T t sv s,w s, Us,σ,w σ dσ k θ k T t t k I k Gs,w s, t I. To obtain existence and uniqueness results pertaining to the problem , we need the following conditions: H1 There exists functions N V,N U CI,R + and the constant L G > such that i Vt,ϑ 1,w 1 Vt,ϑ 2,w 2 N V t ϑ 1 ϑ 2 C + w 1 w 2 ; ii Ut,s,ϑ 1 Ut,s,ϑ 2 N U t ϑ 1 ϑ 2 C ; iii Gt,ϑ 1 Gt,ϑ 2 L G ϑ 1 ϑ 2 C ; for all t,s I, ϑ 1,ϑ 2 C and w 1,w 2 X. H2 There exist constants D k k = 1,,m such that I k w 1 I k w 2 D k w 1 w 2 ; k = 1,,m for w 1,w 2 X. Theorem 3.1 Existence Assume that the hypotheses H1 H2 are satisfied and let 2bML G D k < Then the problem has at least one solution in Σ. Proof: Transform the problem into a fixed point problem consider the operators A,B : Σ Σ defined by if t r,], Awt = tk θ T t t k I k k Gs,w s if t,b]. and <t k <t ςt if t r,], Bwt = T tς+ T t sv s,w s, Us,σ,w σdσ if t,b]. In the view of the Theorem 2.2 to prove the operator equation w = Aw + Bw have fixed point, we prove the following statements.

7 7 i B : Σ Σ is completely continuous. ii A : Σ Σ is contraction. iii the set Z = w w Σ : w = λa +λbw λ is bounded for some λ,1. The proof of the operator B is completely continuous is given in the following steps. Step 1: B : Σ Σ is continuous. Let any w Σ and w n n=1 be any sequence in Σ such that w n w. Then w n Σ q, n N and q > and hence w Σ q. Thus we have w n B q and wǫb q. Now by Lebesgue dominated convergence theorem, Bw n Bw Σ sup T t s BX V r,b] V s,w s, Thus B is continuous. Step 2: B maps bounded sets into bounded sets in Σ. s,w ns, U s,σ,w nσ dσ U s,σ,w σ dσ asn. Let w B q = w Σ : w Σ q. It is sufficient to prove that there exist l > such that Bw Σ l, w B q. Now for any t,b], Bwt s T t BX ς + T t s BX V s,w s, t V s,, U s,σ,dσ + T t s BX V By the Theorem 2.1 there exist constant M 1 such that U s,σ,w σ dσ s,, U s,σ,dσ. 3.3 T t BX M, t. 3.4 Thus from inequality 3.3 and by hypothesis H1i and H1ii we have Bwt M ς C + MN V s w s C + N U σ w σ C dσ + M s,, V U s,σ,dσ b M ς C + MN V s w s C + N U σ w σ C dσ

8 8 + b M ς C + M s,, V b qmn V s U s,σ,dσ 1+ N U σdσ + b M s,, V Further, for any t r,] we have, Bwt = ςt ς C. Thus Bw Σ = sup Bwt max ς C, l = l. r,b] Step 3: B maps bounded sets into equicontinuous sets of Σ. U s,σ,dσ = l. Let B q = w Σ : w Σ q be any bounded set of Σ. Then utilizing hypothesis H1i and H1ii for any ξ 1,ξ 2,b] with ξ 1 < ξ 2 we have, Bwξ 2 Bwξ 1 T ξ 1 T ξ 2 BX ς + ξ2 ξ1 T ξ 1 s BX V s,w s, ξ1 T ξ 2 s BX V s,w s, U s,σ,w σ dσ = T ξ 1 T ξ 2 BX ς + T ξ 2 s T ξ 1 s BX V ξ2 + T ξ 2 s BX s,w V s, U s,σ,w σ dσ ξ 1 ξ1 T ξ 1 T ξ 2 BX ς + s,w V s, U s,σ,w σ dσ V ξ1 + T ξ 1 T ξ 2 BX V s,, ξ2 + T ξ 2 s BX s,w V s, ξ 1 ξ2 + T ξ 2 s BX s,, V ξ 1 T ξ 1 T ξ 2 BX ς C + + N U σ w σ C dσ + ξ2 ξ1 ξ1 + T ξ 2 s BX N V s ξ 1 ξ2 + T ξ 2 s BX s,, V ξ 1 T ξ 1 T ξ 2 BX ς C + ξ1 + T ξ 1 T ξ 2 BX V ξ1 T ξ 2 s T ξ 1 s BX s,, U s,σ,dσ U s,σ,dσ U s,σ,w σ dσ V U s,σ,dσ s,, U s,σ,w σ dσ s,w s, U s,σ,dσ T ξ 2 s T ξ 1 s BX N V s w s C s T ξ 1 T ξ 2 BX V s,, U s,σ,dσ w s C + N U σ w σ C dσ U s,σ,dσ T ξ 2 s T ξ 1 s BX qn V s s,, U s,σ,dσ 1+ U s,σ,w σ dσ N U σdσ

9 9 ξ T ξ 2 s BX qn V s ξ 1 ξ2 + T ξ 2 s BX s,, V ξ 1 N U σdσ U s,σ,dσ As ξ 1 ξ 2 the right hand side of the above inequality ten to zero. For the cases r < ξ 1 < ξ 2 and r < ξ 1 < < ξ 2 < b the equicontinuity one can be obtain easily via uniform continuity of the function ζ and above case. Thus, Bwt 1 Bwt 2 ℵ t 1 t 2 ; with constant ℵ >, t r,b] and we conclude that B Bq is an equicontinuous family of functions. TheequicontinuityanduniformboundednessofthesetB Bq = Bwt : w Σ q, r r b is as of now illustrated. In the perspective of Arzela-Ascoli s, if we prove Bwt : w Σ q, r r b is precompact in Σ for every t r,b] then B Bq is precompact in Σ. Let < t < b be fixed and let ǫ be a real number satisfying < ǫ < t. For w B q, we define B ǫ wt = Ttς+Tǫ t ǫ Since Tt is a compact operator, the set Tt ǫ sv s,w s, W ǫ t = B ǫ wt : w B q U s,σ,w σ dσ. is compact in Σ for every ǫ, < ǫ < t. Moreover, for every w B q we have s Bwt B ǫ wt Tt s BX V s,w s, U s,σ,w σ dσ. t ǫ See that the precompact sets are arbitrarily close to the set Bwt : w B q and hence Bwt : w B q is precompact in Σ. We have proved that the operator B is completely continuous. Next, we prove that the operator A is a contraction. Let any w 1,w 2 Σ. Then by using H1iii and H2 then for any t,b], we get Aw 1 t Aw 2 t tk θ k k θ k ] T t t k BX I k Gs,w 1 s I k Gs,w 2 s <t k <t k θ k ML G D k w 1 s w 2 s C k θ k ML G D k w 1 w 2 Σ 2bML G D k w 1 w 2 Σ.

10 1 Finally, we prove that the set Z = w w Σ : w = λa +λbwfor some < λ < 1 λ is bounded. Consider the operator equation, w w = λa +λbw, w Z for some < λ < 1. λ Then wt = λttς+λ +λ <t k <t T t sv s,w s, Us,σ,w σ dσ k θ k Gs,w s T t t k I k, t,b]. λ By using H1 H2, for λ,1 and t,b], we have wt s λ Tt BX ς C + λ T t s BX V s,w s, t V s,, Us,σ,dσ + λ T t s BX V <t k <t Us,σ,w σ dσ s,, Us,σ,dσ tk θ k Gs,w s tk θ k Gs, + λ T t t k BX I k I k <t k <t λ λ tk θ k Gs, + λ T t t k BX I k λ b M ς C + MN v s w s C + w σ C dσ + M s,, Us,σ,dσ V k θ k k θ ML G D k w s C + M I k Gs, k. λ Denote H = b M s,, V Us,σ,dσ and Q = M I k k θ k Gs,. λ Set Pt = sup ws : s r,t], t,b]. Observe that w t C Pt for all t,b] and there is η r,t] such that Pt = wη. Hence for η,t] we have Pt = wη M ς C +H+Q+ <t k <t η ML G D k k θ k MN v s w s C + w s C N U σ w σ C dσ

11 11 M ς C +H+Q+ <t k <t ML G D k k θ k MN v s Ps+ N U σpσdσ Ps. 3.5 If η r.] then Ps = ςt ς C. In this case the inequality 3.5 hol clearly since M 1. Applying the Pachpattes type integral inequality with integral impulses given in Theorem 2.3 to 3.5 with we obtain ut = Pt, nt = M ς C +H+Q, ft = MN V t, gt = N U t, and β k = ML G D k Pt M ς C +H+Q M ς C +H+Q <t k <t <t k <t C k exp MN V s t α b C k exp MN V s t α ] N U σdσ ] N U σdσ := K, t,b], 3.6 where C k = exp k t k 1 MN V s + ML G D k k θ k 1+ exp ] N U σdσ t k 1 MN V σ σ ] 1+ N U ξdξ dσ. 3.7 This gives w Σ K. We have proved that the set Z is bounded. In the view of the Theorem 2.2, the operator equation w = Aw + Bw, w Σ has a fixed point which is solution of problem Theorem 3.2 Uniqueness If the functions V, U and G satisfies the conditions H1 H2 then the problem has unique solution. Proof: Let w 1 and w 2 be the mild solutions of then we have w 1 t w 2 t = and T t s <t k <t V s,w 1 s, Us,σ,w 1 σ dσ V s,w 2 s, ] Us,σ,w 2 σ dσ k θ k k θ k ] T t t k I k Gs,w 1 s I k Gs,w 2 s, t,b] 3.8 w 1 t w 2 t =, t r,]. 3.9

12 12 Then using the hypotheses H1 and H2, Set w 1 t w 2 t T t s BX N V s <t k <t w 1 w 2 s C + T t t k BX L G D k k θ k N U σ w 1 w 2 σ C dσ w 1 w 2 s C, t,b]. Pt = sup w vs : s r,t], t,b]. 3.1 Observe that w v t C Pt for all t,b] and there is η r,t] such that Pt = w v η. Hence for η,t] we have η Pt MN V s Ps + N U σ Pσdσ k θ k ML G D k Ps MN V s Ps + <t k <t N U σ Pσdσ <t k <t ML G D k k θ k Ps If η r.] then Ps = and the inequality 3.11 hol obviously since M 1. Applying the Pachpattes type integral inequality given in Theorem 2.3 to 3.11 with ut = Pt, nt =, ft = MN V t, gt = N U t, and β k = ML G D k gives that Pt and hence w 1 w 2 Σ =. This proves uniqueness. 4 Dependence of Solutions Theorem 4.1 Dependence on initial conditions Assume that the functions V, U and G satisfies the conditions H1 H2. Let w i i = 1,2 be the mild solutions of the following problem corresponding to ς i t, i = 1,2, w t = Awt+V t,w t, Then, Ut,s,w s, t I =,b], t t k, k = 1,2,,m 4.1 wt = ς i t, i = 1,2, t r,], 4.2 k θ k wt k = I k Gs,w s, k = 1,2,,m. 4.3 w 1 w 2 Σ M ς 1 ς 2 C <t k <t where C k k = 1,2,,m are given in 3.7. b C k exp MN V s 1+ t α ] N U σdσ 4.4

13 13 Proof: Let any ς i C i = 1,2 and w i i = 1,2 be the corresponding mild solutions problems Then, by hypotheses H1 and H2, w 1 t w 2 t T t BX ς 1 ς 2 C + T t s BX N V s w 1 w 2 s C + N U σ w 1 w 2 σ C dσ k θ k T t t k BX L G D k w 1 w 2 s C, t,b]. <t k <t Consider the function P defined by 3.1. Then, Pt M ς 1 ς 2 C + MN V s Ps + <t k <t ML G D k k θ k Applying the Pachpattes type integral inequality to 4.5 with N U σ Pσdσ Ps. 4.5 ut = Pt, nt = M ς 1 ς 2 C, ft = MN V t, gt = N U t, and β k = ML G D k we get Pt M ς 1 ς 2 C M ς 1 ς 2 C <t k <t <t k <t C k exp MN V s t α b C k exp MN V s t α ] N U σdσ ] N U σdσ. Which gives the inequality 4.4. form: and Consider the functional impulsive integrodifferential equation involving the parameter of the w t = Awt+V t, 1,w t, Ut,s,w s, t I =,b], t t k, k = 1,2,,m, 4.6 k θ k wt k = I k Gs,µ 1,w s, k = 1,2,,m 4.7 w t = Awt+V t, 2,w t, Ut,s,w s, t I =,b], t t k, k = 1,2,,m, 4.8 k θ k wt k = I k Gs,µ 2,w s, k = 1,2,,m, 4.9 subject to wt = ςt, t r,], 4.1

14 14 where 1, 2, µ 1, µ 2 R, V : I R C X X and G : I R C are given functions, U and ς are as in Then we have following theorem showing dependence of solution on parameters. Theorem 4.2 Dependence on initial parameters Let the hypotheses H1iii and H2 are hol. Suppose that H3 there exist NV C,b],R and Ω,Ω 1 > such that i Vt,,ϑ 1,w 1 Vt,,ϑ 2,w 2 Ω NV t ϑ 1 ϑ 2 C + w 1 w 2 ; ii Vt, 1,ϑ 1,w 1 Vt, 2,ϑ 1,w 1 Ω 1 1 2, for all t,b],, 1, 2 R, ϑ 1,ϑ 2 C and w 1,w 2 X and H4 there exist LG,Ω µ,ω 2 > such that i Gt,µ,ϑ 1 Gt,µ,ϑ 2 Ω µ LG ϑ 1 ϑ 2 C ; ii Gt,µ 1,ϑ 1 Gt,µ 2,ϑ 1 Ω 2 µ 1 µ 2, for all t,b], µ,µ 1,µ 2 R and ϑ 1,ϑ 2 C. Then the mild solution w 1 of subject to 4.1 and w 2 of subject to 4.1 satisfy the w 1 w 2 Σ bmω bMΩ 2 D k µ 1 µ 2 <t k <t b C k exp MN V s 1+ t α ] N U σdσ, 4.11 where C k = exp k MN V s 1+ t k 1 + M L G D k k θ k exp ] N U σdσ σ ] MN V σ 1+ N U ξdξ dσ. t k 1 Proof: Let w 1 be the mild solution of subject to 4.1 and let w 2 be the mild solution of subject to 4.1. Then by using hypotheses H1iii, H2, H3 and H4 we have w 1 t w 2 t T t s s, 1,w V 1 s, Us,σ,w 1 σ dσ V s, 2,w 2 s, Us,σ,w 2 σ dσ

15 15 + k θ T t t k I k k θ k k Gs,µ 1,w 1 s I k Gs,µ 2,w 2 s <t k <t T t s s, 1,w V 1 s, Us,σ,w 1 σ dσ V s, 1,w 2 s, Us,σ,w 2 σ dσ T t s s, 1,w V 2 s, Us,σ,w 2 σ dσ V s, 2,w 2 s, Us,σ,w 2 σ dσ k θ T t t k I k k θ k k Gs,µ 1,w 1 s I k Gs,µ 1,w 2 s <t k <t k θ T t t k I k k θ k k Gs,µ 1,w 2 s I k Gs,µ 2,w 2 s <t k <t bmω bM Ω 2 D k µ 1 µ 2 + N U σ w 1 w 2 σ C dσ <t k <t Then with the function P given in 3.1, we have, Pt bmω <t k <t 2bM Ω 2 D k µ 1 µ 2 + M L G D k k θ k M N V s w 1 w 2 s C ML tk θ k G D k w 1 w 2 s C. MN V s Pt + N U σ Pσdσ Ps Again, application of Pachpattes type integral inequality with ut = Pt, nt = bmω bM Ω 2 D k µ 1 µ 2, ft = MN V t, gt = N U t and β k = ML G D k gives Pt bmω bMΩ 2 D k µ 1 µ 2 Which gives the inequality <t k <t b C k exp MN V s 1+ t α ] N U σdσ. Consider the following problem v t = Avt+ V t,v t, Ut,s,v s, t I =,b], t t k, k = 1,2,,m 4.13 vt = ςt, t r,] 4.14 k θ k vt k = Îk Gs,v s, k = 1,2,,m, 4.15 where V : I C X X, ςt C, Îk : X X, k = 1, m are given functions. The functions U and G as in The next theorem gives dependance of the solutions on the functions involved in the equations

16 16 Theorem 4.3 Dependence on functions Let the hypotheses H1 H2 are hol. Suppose that H3 there exists P, J,N k > such that i Vt,ϑ 1,w 1 Vt,ϑ 1,w 1 P; ii ςt ςt J; iii I k w 1 Îkw 1 N k ; k = 1, m, for all t I, ϑ 1, C and w 1 X. If w and v are the mild solutions of and respectively then, w v Σ MJ +bm P + MN k K=1 where C k k = 1,2,,m is given in 3.7. <t k <t b C k exp MN V s 1+ t α ] N U σdσ, 4.16 Proof: Let w is the mild solution of and v is the mild solution Then, for t,b], wt vt T t BX ς ς + T t s BX V V s,v s, Us,σ,v σ dσ s,w s, tk θ k T t t k BX I k Gs,w s Îk <t k <t T t BX ςt ςt + T t s BX V s,w s, t V s,v s, Us,σ,v σ dσ + T t s BX V V s,v s, Us,σ,v σ dσ Us,σ,w σ dσ k θ k Gs,v s Us,σ,w σ dσ s,v s, Us,σ,v σ dσ tk θ k k θ k T t t k BX I k Gs,w s I k Gs,v s <t k <t tk θ k k θ k T t t k BX I k Gs,v s Îk Gs,v s <t k <t MJ + MN V s w s v s C + N U σ w σ v σ C dσ +bmp

17 17 k θ k ML G D k <t k <t w s v s C + MN k. K=1 With the function P in 3.1, we have Pt MJ +bmp + <t k <t MN k + K=1 ML G D k k θ k MN V s Ps + N U σ Pσdσ Ps By applying the Pachpattes type integral inequalities we obtain b Pt MJ +bm P + MN k C k exp MN V s 1+ t α K=1 <t k <t ] N U σdσ. Which gives the desired inequality Examples Consider the nonliner Volterra delay integrodifferntial equations with integral impluses w t wt = 1 sin5 sinwt 5+ 1+cosws 5], t I =,2], t t 1 = 1, 5.1 wt = t, t 1,], θ 1 wt 1 = sin Gs,wt 5, 5.3 t 1 τ 1 where G is any Lipschitz continuous function with Lipschitz constant L G. Consider therealbanachspace R, anddefine T t :, BR by T tx = e t x, x R. Then T t t is semigroup of bounded linear operators in R. with infinitesimal generator A = I = Indentity operator onr. For the choices θ 1 = τ 1 = 1 2 and the function I 1 : R R defined by I 1 x = sinx,x R, the problem can be written as w t = Awt+V t,wt 5, Ut,s,ws wt = t, t 1,], 5.5 wt 1 =, 5.6 where U :,2],2] R R is defined by U t,s,w = 1+cosw

18 18 and V :,2] R R R is defined by V t,v,w = 1 sin5 sinv +w. Note that and Ut,s,w 1 Ut,s,v 1 cosw 1 cosv 1 w 1 v 1, Vt,w 1,w 2 Vt,v 1,v 2 sinw 1 sinv 1 + w 2 v 2 w 1 v 1 + w 2 v 2, for any t,s,2] and w 1,w 2,v 1,v 2 R. In this case, the condition 3.2 takes the form 2bML G D 1 = 4ML G < 1 If we choose L G such that < L G < 1 has at least one solution. 4M then by applying Theorem 3.1 the problem Acknowledgement First author is financially supported by UGC, under scheme of National Fellowship for SC Candidates, Ref: F1-17.1/217-18/RGNF SC-MAH References 1] D. D. Bainov, P. S. Simenov, Systems with impulse effect, Ellis Horwood Ltd., Chilchster, ] V. Lakshmikantham, D. D. Bainov, P. S. Simeomnov, Theory of impulsive differential equations, World Scintific, Singapore, ] A. M. Samoilenko, N. A. Perestyuk, impulsive differential equations, World Scintific, Singapore, ] J. Wanga, Mi. Feckan, Y. Zhoud, Ulam s type stability of impulsive ordinary differential equations, J. Math. Anal. Appl , ] M. Frigon, D. O regan, Existence results for first-order impulsive differential equations, J. Math. Anal. Appl , ] X. Li, F. Deng, Razumikhin method for impulsive functional differential equations of neutral type, Chaos, Solitons and Fractals , ] F. Zhang, Z. Ma, J. Yan, Boundary value problems for first order impulsive delay differential equations with a parameter, J. Math. Anal. Appl. 2 24,

19 19 8] B. Ahmad, K. Malar, K. Karthikeyan, A study of nonlocal problems of impulsive integrodifferential equations with measure of noncompactness, Advances in Difference Equations, 213:25 213, ] E. Hernndez, D. O regan, Existence results for a class of abstract impulsive differential equations, Bull. Aust. Math. Soc , ] Y. Li, Z. Liu, Monotone iterative technique for addressing impulsive integro-differential equations in Banach spaces, Nonlinear Analysis 66 27, ] T. Zhua, C. Songa, G. Li, Existence of mild solutions for abstract semilinear evolution equations in Banach spaces, Nonlinear Analysis , ] M. Benchohra, J. Henderson, S. K. Ntouyas, A. Ouahab, An existence result for first-order impulsive functional differential equations in Banach spaces, Computers and Mathematics with Applications , ] M. Benchohra, J. Henderson, S. K. Ntouyas, A. Ouahab, Impulsive functional differential equations with variable times, Computers and Mathematics with Applications , ] J. H. Liu, Nonlinear impulsive evolution equations, Dynamics of Continuous Discrete and Impulsive Systems , ] M. Mallika Arjunan, A. Anguraj, Existence results for first order impulsive functional differential equations in Banach spaces, J. Ksiam , ] M. Benchohra, J. Henderson, S. K. Ntouyas, Existence results for impulsive semilinear neutral functional differential equations in Banach spaces, Memoirs on Differential Equations and Mathematical Physics 25 22, ] P. Thiramanus, J. Tariboon1, Impulsive differential and impulsive integral inequalities with integral jump conditions, Journal of Inequalities and Applications , ] C. Thaiprayoon, J. Tariboon, Maximum principles for second-order impulsive integro- Differential equations with integral jump conditions, Bull. Malays. Math. Sci. Soc , ] C. Thaiprayoon, D. Samana, J. Tariboon, Periodic boundary value problems for secondorder impulsive integro-differential equations with integral jump conditions, Boundary Value Problems, , ] B. G. Pachpatte: Integral and finite difference inequalities and applications, Northholland Mathematics Studies, 25, Elsevier Science, B.V., Amsterdam, ] B. G. Pachpatte: Inequalities for Differential and Integral Equations, Academic Press, New York, ] K. D. Kucche, P. U. Shikhare, Ulam Hyers stability of integrodifferential equations in Banach spaces via Pachpattes inequality, Asian-European Journal of Mathematics , pages.

20 2 23] K. D. Kucche, P. U. Shikhare, Ulam stabilities via Pachpatte s inequality for Volterra Fredholm delay integrodifferential equations in Banach spaces, Note di Matematica , ] A. Pazy, Semigroup of linear operators and applications to partial differential equations, Springer Verlag, New York, ] T. A. Burton, C. Kirk A fixed point theorem of Krasnoselskiii-Schaefer type, Math. Nachr , ] P. Thiramanus, J. Tariboon, S. K. Ntouyas Pachpattes type integral inequalities with integral impulses, Journal of Mathematical Inequalities ,