Skip to content

Advertisement

Open Access

A study of nonlocal problems of impulsive integrodifferential equations with measure of noncompactness

  • Bashir Ahmad1Email author,
  • Kandasamy Malar2 and
  • Kulandhaivel Karthikeyan3
Advances in Difference Equations20132013:205

https://doi.org/10.1186/1687-1847-2013-205

Received: 29 March 2013

Accepted: 20 June 2013

Published: 9 July 2013

Abstract

In this paper, we show the existence of mild solutions to a nonlocal problem of impulsive integrodifferential equations via a measure of noncompactness in a Banach space. Our work is based on a new fixed point theorem and it generalizes some existing results on the topic in the sense that we do not require the semigroup and nonlinearity involved in the problem to be compact.

Keywords

integrodifferential equationimpulsesemigroupmild solutionfixed pointmeasure of noncompactness

1 Introduction

In this paper, we discuss the existence of solutions for the following nonlocal problem of integrodifferential equations:
d u ( t ) d t = A u ( t ) + f ( t , u ( t ) , G u ( t ) ) , t [ 0 , K ] , t t i , u ( 0 ) = u 0 + g ( u ) , Δ u ( t i ) = I i ( u ( t i ) ) , i = 1 , 2 , 3 , , p ,
(1.1)

where A generates a C 0 -semigroup T ( t ) , t 0 , in a Banach space X, f : [ 0 , K ] × X × X X , G u ( t ) = 0 t H ( t , s ) u ( s ) d s , H C [ D , R + ] , D = { ( t , s ) R 2 : 0 s t K } , 0 < t 1 < t 2 < t 3 < < t p < K with t p + 1 = K , g : X X , u 0 X , and Δ u ( t i ) = u ( t i + ) u ( t i ) with u ( t i + ) , u ( t i ) representing the right and left limit of u at t i , respectively. Here P C ( [ 0 , K ] ; X ) = { u : [ 0 , K ] X is continuous at t t i , left continuous at t = t i , and the right-hand limit u ( t i + ) exists for i = 1 , 2 , , p }. Notice that the set P C ( [ 0 , K ] ; X ) equipped with the norm u = sup { u ( t ) : t [ 0 , K ] } is a Banach space.

Integrodifferential equations arise in the mathematical modeling of several natural phenomena and various investigations led to the exploration of their different aspects. The theory of semigroups of bounded linear operators is closely related to the solution of differential and integrodifferential equations in Banach spaces. In recent years, this theory has been applied to a large class of nonlinear differential equations in Banach spaces. Based on the method of semigroups, the existence and uniqueness of mild, strong and classical solutions of semilinear evolution equations were discussed by Pazy [1]. For further details, see [25] and the references cited therein.

The theory of impulsive differential equations is an important branch of differential equations and has an extensive physical background. Impulsive differential equations help modeling many physical systems whose states are subject to abrupt changes at certain moments. Examples include population biology, the diffusion of chemicals, the spread of heat, the radiation of electromagnetic waves, etc. [69]. Dynamical systems with impulsive effects have been an object of intensive investigations [1012]. The study of semilinear nonlocal initial problem was initiated by Byszewski [13, 14] and the importance of the problem lies in the fact that it is more general and yields better effect than the classical initial conditions. Therefore, it has been extensively studied under various conditions on the operator A and the nonlinearity f by several authors [1517].

Byszewski and Lakshmikantham [18] showed the existence and uniqueness of mild solutions and classical solutions when f and g in (1.1) satisfy Lipschitz type conditions. Ntouyas and Tsamotas [19, 20] studied the case of compact-valued f and T. Zhu et al. [21] discussed the existence of mild solutions for abstract semilinear evolution equations in Banach spaces. In [11], the author discussed the existence and uniqueness of mild and classical solutions for the impulsive semilinear differential evolution equation. In [22], Agarwal et al. studied the existence and dimension of the set of mild solutions to semilinear fractional differential inclusions. Lizama and Pozo [23] investigated the existence of mild solutions for semilinear integrodifferential equation with nonlocal initial conditions by using Hausdorff measure of noncompactness via a fixed-point. In a recent paper [24], the authors studied the existence of mild solutions to an impulsive differential equation with nonlocal conditions by applying Darbo-Sadovskii’s fixed point theorem. For some more recent results and details, see [2537].

Motivated by [23], in this paper we aim to establish some existence results for mild solutions of (1.1) without demanding the compactness condition on T and f. In this scenario, our work extends and improves some results obtained in [38, 39]. In Section 2, we recall some definitions and facts about C 0 semigroup T and the measure of noncompactness, while Section 3 deals with the existence of mild solutions for (1.1).

2 Preliminary result

Let L 1 ( [ 0 , K ] ; X ) denote the space of X-valued Bochner functions on [ 0 , K ] with the norm defined by u = 0 K u ( s ) d s . A C 0 -semigroup T ( t ) is said to be compact if T ( t ) is compact for any t > 0 . If the semigroup T ( t ) is compact, then t T ( t ) u are equicontinuous at all t > 0 with respect to u in all bounded subset of X, that is, the semigroup T ( t ) is equicontinuous.

In this paper, α denotes the Hausdorff measure of noncompactness on both X and P C ( [ 0 , K ] ; X ) . The following lemma describes some properties of the Hausdorff measure of noncompactness.

Lemma 2.1 [40]

Let β Y and β Z denote Hausdorff measures of noncompactness on the real Banach spaces and , respectively, and B , C Y be bounded. Then
  1. 1.

    B is pre-compact if and only if β X ( B ) = 0 ;

     
  2. 2.

    β Y ( B ) = β Y ( B ¯ ) = β Y ( conv B ) , where B ¯ and convB mean the closure and convex hull of B, respectively;

     
  3. 3.

    β Y ( B ) β Y ( C ) , where B C ;

     
  4. 4.

    β Y ( B + C ) β Y ( B ) + β Y ( C ) , where B + C = { x + y : x B , y C } ;

     
  5. 5.

    β Y ( B C ) max { β Y ( B ) , β Y ( C ) } ;

     
  6. 6.

    β Y ( λ B ) | λ | β Y ( B ) for any λ R ;

     
  7. 7.

    If the map Q : D ( Q ) Y Z is Lipschitz continuous with constant k, then β Z ( Q B ) k β Y ( B ) for any bounded subset B D ( Q ) ;

     
  8. 8.

    β Y ( B ) = inf { d Y ( B , C ) ; C Y is precompact } = inf { d Y ( B , C ) ; C Y is finite valued } , where d Y ( B , C ) means the nonsymmetric (or symmetric) Hausdorff distance between B and C in ;

     
  9. 9.

    If { W n } n = 1 + is a decreasing sequence of bounded closed nonempty subsets of and lim n β Y ( W n ) = 0 , then n = 1 + W n is nonempty and compact in .

     

The map Q : W Y Y is said to be a β Y -contraction if there exists a constant 0 < k < 1 such that β Y ( Q ( B ) ) k β Y ( B ) for any bounded closed subset B W , where is a Banach space.

In the sequel, we need the following known results.

Lemma 2.2 [40]

If W P C ( [ 0 , K ] ; X ) is bounded, then α ( W ( t ) ) α ( W ) for all t [ 0 , K ] , where W ( t ) = { u ( t ) : u W } X . Furthermore, if W is equicontinuous on [ 0 , K ] , then α ( W ( t ) ) is continuous on [ 0 , K ] , and α ( W ) = sup { α ( W ( t ) ) : t [ 0 , K ] } .

Lemma 2.3 [41]

If { u n } n = 1 L 1 ( 0 , K ; X ) is uniformly integrable, then α ( { u n ( t ) } n = 1 ) is measurable and
α ( { 0 t u n ( s ) d s } n = 1 ) 2 0 t α { u n ( s ) } n = 1 d s .

Lemma 2.4 [39]

If the semigroup T ( t ) is equicontinuous and there exists η L 1 ( 0 , K ; R + ) , then the set
{ t 0 t T ( t s ) u ( s ) d s ; u L 1 ( 0 , K ; R + ) , u ( s ) η ( s ) , for a.e s [ 0 , K ] }

is equicontinuous on [ 0 , K ] .

Lemma 2.5 [42]

If W is bounded, then for each ε > 0 , there is a sequence { u n } n = 1 W such that α ( W ) 2 α ( { u n } n = 1 ) + ε .

Lemma 2.6 [43]

Suppose that 0 < ε < 1 , h > 0 and let
S = ε n + C n 1 ε n 1 h + C n 2 ε n 2 h 2 2 ! + + h n n ! , n N .

Then S = o ( 1 / n s ) ( n + ), where s > 1 is an arbitrary real number and C n 1 , C n 2 , are binomial coefficients [44].

Lemma 2.7 ([45] Fixed point theorem)

Let Q be a closed and convex subset of a real Banach space X, let A : Q Q be a continuous operator and A ( Q ) be bounded. For each bounded subset B Q , set
A 1 ( B ) = A ( B ) , A n ( B ) = A ( c o ¯ ( A n 1 ( B ) ) ) , n = 2 , 3 , .

If there exist a constant 0 k 1 and a positive integer n 0 such that for each bounded subset B Q , α ( A n 0 ( B ) ) k α ( B ) , then A has a fixed point in Q.

Definition 2.8 A function u : [ 0 , K ] X is called a mild solution of system (1.1) if u P C ( [ 0 , K ] : X ) and satisfies the following equation:
u ( t ) = { T ( t ) [ u 0 g ( u ) ] + 0 t T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s , t [ 0 , t 1 ] ; T ( t t 1 ) ( u ( t 1 ) + I 1 ( u ( t 1 ) ) ) + t 1 t T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s , t ( t 1 , t 2 ] ; T ( t t p ) ( u ( t p ) + I p ( u ( t p ) ) ) + t p t T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s , t ( t p , K ] .

3 Existence result

In this section, we show the existence of solutions for problem (1.1) by applying Lemma 2.7.

For some real constants r and w, we define
W = { u P C ( [ 0 , K ] ; X ) , u ( t ) r , G u ( t ) w , t [ 0 , K ] } .
(3.1)

For the forthcoming analysis, we need the following assumptions:

( A 1 ) The c 0 semigroup T ( t ) generated by A is equicontinuous and N = sup { T ( t ) ; t [ 0 , K ] } ;

( A 2 ) g : X X is such that there exist positive constants c and d such that g ( u ) c u + d , for all u P C ( [ 0 , K ] ; X ) ;

( A 3 ) f : [ 0 , K ] × X × X X is of Caratheódory type, that is, f ( , u , G u ) is measurable for all u X , and f ( t , , ) is continuous for a.e. t [ 0 , K ] ;

( A 4 ) there exist a function m L 1 ( 0 , K ; R + ) and a nondecreasing continuous function Ω : R + R + such that f ( t , u , ( G u ) ) m ( t ) Ω ( u , G u ) for all u X a.e. t [ 0 , K ] ;

( A 5 ) there exist L , L 1 L 1 ( 0 , K ; R + ) such that for any bounded sets D 1 , D 2 X ,
α ( f ( t , D 1 , D 2 ) ) L ( t ) α ( D 1 ) + L 1 ( t ) α ( D 2 )

for a.e. t [ 0 , K ] ;

( A 6 ) The functions I k : X X , k = 1 , 2 , , p , are completely continuous and uniformly bounded, and max 1 k p , u W I k ( u ) = Λ ;

( A 7 ) there exists a positive constant γ such that
N [ u 0 + ( c r + d ) + Λ ] + N Ω ( r , w ) 0 K m ( s ) d s γ ,

where N, c, d, Ω, Λ are given by assumptions ( A 1 ), ( A 2 ), ( A 4 ), ( A 6 ).

In passing, we remark that
  1. (i)

    If A is the generator of an analytic semigroup T ( t ) or a differentiable semigroup T ( t ) , then T ( t ) is an equicontinuous c 0 -semigroup [1].

     
  2. (ii)

    If f ( t , u 1 , u 2 ) f ( t , v 1 , v 2 ) L u 1 v 1 + L 1 u 2 v 2 , t [ 0 , K ] , u 1 , u 2 , v 1 , v 2 X , then α ( f ( t , D 1 , D 2 ) ) L ( t ) α ( D 1 ) + L 1 ( t ) α ( D 2 ) for any bounded sets D 1 , D 2 X and a.e. t [ 0 , K ] .

     

Theorem 3.1 Assume that conditions ( A 1 )-( A 7 ) hold. Then there exists at least one mild solution for problem (1.1).

Proof Let us define an operator Q : P C ( [ 0 , K ] ; X ) P C ( [ 0 , K ] ; X ) by
Q u ( t ) = { T ( t ) [ u 0 g ( u ) ] + 0 t T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s , t [ 0 , t 1 ] ; T ( t t 1 ) ( u ( t 1 ) + I 1 ( u ( t 1 ) ) ) + t 1 t T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s , t ( t 1 , t 2 ] ; T ( t t p ) ( u ( t p ) + I p ( u ( t p ) ) ) + t p t T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s , t ( t p , K ]
(3.2)
for all u P C ( [ 0 , K ] ; X ) and show that the operator Q satisfies the hypothesis of Lemma 2.7. The proof consists of several steps.
  1. (i)
    Q is continuous. Let ( u n ) be a sequence in P C ( [ 0 , K ] ; X ) such that u n u in P C ( [ 0 , K ] ; X ) . Then, in view of ( A 3 ), it follows that f ( s , u n ( s ) , G u n ( s ) ) f ( s , u ( s ) , G u ( s ) ) as n . Now, for small ε > 0 and n , we have
    Q u n ( t ) Q u ( t ) N 0 t 1 f ( s , u n ( s ) , G u n ( s ) ) f ( s , u ( s ) , G u ( s ) ) d s Q u n ( t ) Q u ( t ) ε N , t [ 0 , t 1 ] ,
    (3.3)
     
Q u n ( t ) Q u ( t ) N [ u n ( t i ) u ( t i ) Q u n ( t ) Q u ( t ) + I i ( u n ( t i ) ) I i ( u ( t i ) ) ] + ε N , t ( t i , t i + 1 ] ,
(3.4)
for i = 1 , 2 , , p . By assumption ( A 6 ) together with (3.3)-(3.4), we obtain
lim n Q u n Q u P C = 0 .

Thus, W P C ( [ 0 , K ] ; X ) is bounded and convex (W is defined by (3.1)).

For any u W , t [ 0 , t 1 ] , we have
( Q u ) ( t ) T ( t ) [ u 0 g ( u ) ] + 0 t 1 T ( t s ) f ( s , u ( s ) , G u ( s ) ) d s N [ u 0 + ( c u + d ) ] + N Ω ( r , w ) 0 t 1 m ( s ) d s N [ u 0 + ( c r + d ) ] + N Ω ( r , w ) 0 t 1 m ( s ) d s .
(3.5)
Similarly, for any u W and i = 1 , 2 , , p , we get
( Q u ) ( t ) N [ u 0 + ( c r + d ) + Λ ] + N Ω ( r , w ) 0 K m ( s ) d s , t ( t i , t i + 1 ] .
(3.6)
Using (3.5)-(3.6) and ( A 6 )-( A 7 ), we obtain
( Q u ) ( t ) N [ u 0 + ( c r + d ) + Λ ] + N Ω ( r , w ) 0 K m ( s ) d s γ , t [ 0 , K ] ,
which implies that Q : W W is a bounded operator.
  1. (ii)
    Q ( W ) is equicontinuous, where W is defined by (3.1). For all s 1 , s 2 [ 0 , t 1 ] and for each Q W ( u ) , we have by Lemma 2.4 that
    ( Q u ) ( s 2 ) ( Q u ) ( s 1 ) T ( s 2 ) T ( s 1 ) u 0 g ( u ) + 0 s 2 T ( s 2 s ) f ( s , u ( s ) , G u ( s ) ) d s 0 s 1 T ( s 1 s ) f ( s , u ( s ) , G u ( s ) ) d s T ( s 2 ) T ( s 1 ) u 0 g ( u ) + 0 s 1 T ( s 2 s ) T ( s 1 s ) m ( s ) Ω ( r , w ) d s + s 1 s 2 T ( s 2 s ) m ( s ) Ω ( r , w ) d s T ( s 2 ) T ( s 1 ) [ u 0 + ( c r + d ) ] + 0 s 1 T ( s 2 s ) T ( s 1 s ) m ( s ) Ω ( r , w ) d s + s 1 s 2 T ( s 2 s ) m ( s ) Ω ( r , w ) d s .
    (3.7)
     
Similarly, for all s 1 , s 2 ( t i , t i + 1 ] , with s 1 < s 2 , i = 1 , 2 , , p , we get
( Q u ) ( s 2 ) ( Q u ) ( s 1 ) T ( s 2 ) T ( s 1 ) [ u 0 + ( c r + d ) + Λ ] + 0 s 1 T ( s 2 s ) T ( s 1 s ) m ( s ) Ω ( r , w ) d s + s 1 s 2 T ( s 2 s ) m ( s ) Ω ( r , w ) d s .
(3.8)
Thus, from inequalities (3.7) and (3.8), we obtain
lim s 1 s 2 ( Q u ) ( s 2 ) ( Q u ) ( s 1 ) = 0 .

So, Q ( W ) is equicontinuous.

Let B 0 = c o ¯ ( Q ( W ) ) . For any B B 0 and ε > 0 , we know from Lemma 2.5 that there is a sequence { u n } n = 1 B such that
α ( Q 1 B ( t ) ) = α ( Q B ( t ) ) 2 α ( 0 t T ( t s ) f ( s , { u n ( s ) } n = 1 , ( G { u n ( s ) } n = 1 ) ) ) d s + ε 4 0 t α ( T ( t s ) f ( s , { u n ( s ) } n = 1 , ( G { u n ( s ) } n = 1 ) ) ) d s + ε 4 N 0 t ( L ( s ) α { u n ( s ) } n = 1 + k L 1 ( s ) α { u n ( s ) } n = 1 ) d s + ε 4 N ( α { u n ( s ) } n = 1 0 t L ( s ) d s + k α { u n ( s ) } n = 1 0 t L 1 ( s ) d s ) + ε 4 N ( α P C ( B ) 0 t L ( s ) d s + k α P C ( B ) 0 t L 1 ( s ) d s ) + ε 4 N α P C ( B ) 0 t ( L ( s ) + k L 1 ( s ) ) d s + ε , t [ 0 , t 1 ] ,
where we have used Lemma 2.3. Similarly, we have
α ( Q 1 B ( t ) ) 4 N α P C ( B ) 0 t ( L ( s ) + k L 1 ( s ) ) d s + Λ 1 α P C + ε , t ( t i , t i + 1 ] , i = 1 , 2 , , p .
Using the fact that there is a continuous function ϕ : [ 0 , K ] R + with max { | ϕ ( t ) | : t [ 0 , K ] } = M satisfying the relation 0 K | L ( s ) + k L 1 ( s ) ϕ ( s ) | d s < δ for any δ > 0 ( δ < 1 N ), the above inequality takes the form
α ( Q 1 B ( t ) ) l 4 N ( 0 t | L ( s ) + k L 1 ( s ) ϕ ( s ) | d s + 0 t | ϕ ( s ) | d s ) α P C ( B ) + Λ 1 α P C + ε ( a + b t ) α P C ( B ) + Λ 1 α P C + ε ,
where a = 4 N δ , b = 4 N M and Λ 1 = 2 N i = 1 p β i . Again, by Lemma 2.5, for any ε > 0 , there is a sequence { v n } n = 1 c o ¯ ( Q 1 B ) such that
α ( Q 2 B ( t ) ) = α ( Q ( c o ¯ ( Q 1 B ( t ) ) ) ) 2 α ( 0 t T ( t s ) f ( s , { v n ( s ) } n = 1 , ( G { v n ( s ) } n = 1 ) ) ) d s + ε 4 0 t α ( T ( t s ) f ( s , { v n ( s ) } n = 1 , ( G { v n ( s ) } n = 1 ) ) ) d s + ε 4 N 0 t ( L ( s ) α { v n ( s ) } n = 1 + k L 1 ( s ) α { v n ( s ) } n = 1 ) d s + ε 4 N 0 t ( L ( s ) + k L 1 ( s ) ) ( Q 1 B ( s ) ) d s + ε 4 N 0 t { | L ( s ) + k L 1 ( s ) ϕ ( s ) | + | ϕ ( s ) | } [ ( a + b s ) + Λ 1 ] α P C ( B ) d s + ε .
Similarly, for t ( t i , t i + 1 ] , i = 1 , 2 , , p , we can obtain
α ( Q 2 B ( t ) ) 4 N 0 t { | L ( s ) + k L 1 ( s ) ϕ ( s ) | + | ϕ ( s ) | } [ ( a + b s ) + Λ 1 ] α P C ( B ) d s + Λ 2 α P C ( B ) + ε 4 N 0 t | L ( s ) + k L 1 ( s ) ϕ ( s ) | d s [ ( a + b t ) + Λ 1 ] α P C ( B ) + 4 N 0 t [ M [ ( a + b s ) + Λ 1 ] d s ] α P C ( B ) + Λ 2 α P C ( B ) + ε ( a 2 + 2 a b t + ( b t ) 2 2 ! ) α P C ( B ) + [ ( a + b t ) Λ 1 ] α P C ( B ) + Λ 2 α P C ( B ) + ε .
Hence, by mathematical induction, for any positive integer n and t [ 0 , K ] , we obtain
α P C ( Q n B ( t ) ) ( a n + C n 1 a n 1 ( b t ) + C n 2 a n 2 ( b t ) 2 2 ! + + ( b t ) n n ! ) α P C ( B ) + ( a n 1 + C n 1 1 a n 2 ( b t ) + C n 1 2 a n 3 ( b t ) 2 2 ! + + ( b t ) n 1 ( n 1 ) ! ) Λ n 1 α P C ( B ) + Λ n α P C ( B ) .
By Lemma 2.2, we have
α ( Q n B ) ( a n + C n 1 a n 1 b + C n 2 a n 2 ( b ) 2 2 ! + + ( b ) n n ! ) α P C ( B ) + ( a n 1 + C n 1 1 a n 2 ( b ) + C n 1 2 a n 3 ( b ) 2 2 ! + + ( b ) n 1 ( n 1 ) ! ) Λ n 1 α P C ( B ) + Λ n α P C ( B ) .
From Lemma 2.6, there exists a positive integer n 0 such that
a n 0 + C n 0 1 a n 0 1 b + C n 0 2 a n 0 2 ( b ) 2 2 ! + + ( b ) n 0 n 0 ! = R < 1 , a n 0 1 + C n 0 1 1 a n 0 2 ( b ) + C n 0 1 2 a n 0 3 ( b ) 2 2 ! + + ( b ) n 0 1 ( n 0 1 ) ! = T < 1 , Λ n 0 1 = l and Λ n 0 = q .
Then
α P C ( Q n 0 B ) R α P C ( B ) + T l α P C + q α P C ( R + T l + q ) α P C .

Thus, it follows by Lemma 2.7 that Q has at least one fixed point in B 0 , that is, the nonlocal integrodifferential equation (1.1) has at least one mild solution in B 0 . This completes the proof. □

Remark 3.2 In [38], the author discussed the nonlocal initial value problem by taking f to be compact in (1.1). From the above theorem, we notice that the key condition in [38] is no more required. So, Theorem 3.1 generalizes the related results in [38]. Furthermore, we extend the problem addressed in [23] to the impulse case with the nonlinearity of a more general form f ( t , u ( t ) , G u ( t ) ) .

Theorem 3.3 If assumptions ( A 1 )-( A 6 ) are satisfied, then there is at least one mild solution for (1.1) provided that
0 K m ( s ) d s < lim T T N [ u 0 + ( c T + d ) + Λ ] N Ω ( T , w ) .

Proof We do not provide the proof of this theorem as it is similar to that of Theorem 3.1. □

For our final result, we introduce the following condition:

( A 2 ) Let g : P C ( [ 0 , K ] ; X ) X be continuous and compact. Then there exists a positive constant M > 0 such that g ( u ) M for every u P C ( [ 0 , K ] ; X ) .

Theorem 3.4 Suppose that conditions ( A 1 )-( A 2 ) and ( A 3 )-( A 6 ) hold. Then there exists at least one mild solution for (1.1) if there exists a constant r such that
N [ u 0 + M + Λ ] + N Ω ( r , w ) 0 K m ( s ) d s γ .

Proof We omit the proof as it is similar to that of Theorem 3.1. This completes the proof. □

Example Consider a nonlocal problem of integrodifferential equations given by
u ( t , w ) t = 2 u ( t , w ) w 2 u ( t , w ) + sin 2 u ( t , w ) + 0 K u ( s , w ) ( 1 + t ) ( 2 + s ) 3 d s , t [ 0 , K ] , u ( 0 ) = u 0 + 0 K 3 + s 2 log ( 2 + | u ( s , w ) | ) d s , Δ u ( t ) = 0 K ( 1 + | cos 2 u ( s ) | ) t 2 + s 2 + 7 i d s , i 1 ,
(3.9)

with 0 < t 1 < t 2 < < t p < K , 0 < s 1 < s 2 < < s q < K . Let us take X = L 2 ( [ 0 , K ] , R ) and define the operator A by A ( t ) y = y with the domain D ( A ) = { y X : y, y are absolutely continuous, y X , y ( 0 ) = 0 , y ( K ) = 0 }. The assumptions of Theorem 3.1 clearly hold for a large positive constant γ. Hence the conclusion of Theorem 3.1 applies to problem (3.9).

Declarations

Acknowledgements

The authors thank the reviewers for their useful comments that led to the improvement of the original manuscript. The research of B. Ahmad was partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah, Saudi Arabia
(2)
Department of Mathematics, Erode Arts and Science College, Erode, India
(3)
Department of Mathematics, K.S.R. College of Technology, Tiruchengode, India

References

  1. Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.View ArticleMATHGoogle Scholar
  2. Dong Q, Li G: Existence of solutions for semilinear differential equations with nonlocal conditions in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009., 2009: Article ID 47Google Scholar
  3. Kato T: Quasilinear equations of evolution with applications to partial differential equations. Lect. Notes Math. 1975, 448: 25-70. 10.1007/BFb0067080View ArticleGoogle Scholar
  4. Kato T: Abstract evolution equation linear and quasilinear, revisited. Lect. Notes Math. 1993, 1540: 103-125. 10.1007/BFb0085477View ArticleMATHGoogle Scholar
  5. Ntouyas SK, Tsamotas PC: Global existence for semilinear integrodifferential equations with delay and nonlocal conditions. Appl. Anal. 1997, 64: 99-105. 10.1080/00036819708840525MathSciNetView ArticleGoogle Scholar
  6. Anguraj A, Karthikeyan K: Existence of solutions for impulsive neutral functional differential equations with nonlocal conditions. Nonlinear Anal. 2009, 70: 2717-2721. 10.1016/j.na.2008.03.059MathSciNetView ArticleMATHGoogle Scholar
  7. Guo DJ, Lakshmikantham V, Liu XZ: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht; 1996.View ArticleMATHGoogle Scholar
  8. Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.View ArticleMATHGoogle Scholar
  9. Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.MATHGoogle Scholar
  10. Fan Z, Li G: Existence results for semilinear differential equations with nonlocal and impulsive conditions. J. Funct. Anal. 2010, 258: 1709-1727. 10.1016/j.jfa.2009.10.023MathSciNetView ArticleMATHGoogle Scholar
  11. Liu JH: Nonlinear impulsive evolution equations. Dyn. Contin. Discrete Impuls. Syst. 1999, 6: 77-85.MathSciNetMATHGoogle Scholar
  12. Migorski S, Ochal A: Nonlinear impulsive evolution inclusions of second order. Dyn. Syst. Appl. 1997, 16: 679-687.MathSciNetMATHGoogle Scholar
  13. Byszewski L: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 1991, 162: 494-505. 10.1016/0022-247X(91)90164-UMathSciNetView ArticleMATHGoogle Scholar
  14. Byszewski L, Akca H: Existence of solutions of a semilinear functional differential evolution nonlocal problem. Nonlinear Anal. 1998, 34: 65-72. 10.1016/S0362-546X(97)00693-7MathSciNetView ArticleMATHGoogle Scholar
  15. Aizicovici S, Mckibben M: Existence results for a class of abstract nonlocal Cauchy problems. Nonlinear Anal. 2000, 39: 649-668. 10.1016/S0362-546X(98)00227-2MathSciNetView ArticleMATHGoogle Scholar
  16. Ji SC, Wen S: Nonlocal Cauchy problem for impulsive differential equations in Banach spaces. Int. J. Nonlinear Sci. 2010, 10(1):88-95.MathSciNetMATHGoogle Scholar
  17. Liang J, Liu JH, Xiao TJ: Nonlocal Cauchy problem governed by compact operator families. Nonlinear Anal. 2004, 57: 183-189. 10.1016/j.na.2004.02.007MathSciNetView ArticleMATHGoogle Scholar
  18. Byszewski L, Lakshmikantham V: Theorems about the existence and uniqueness of solutions of nonlocal Cauchy problem in a Banach space. Appl. Anal. 1990, 40: 11-19.MathSciNetView ArticleMATHGoogle Scholar
  19. Ntouyas S, Tsamotas P: Global existence for semilinear evolution equations with nonlocal conditions. J. Math. Anal. Appl. 1997, 210: 679-687. 10.1006/jmaa.1997.5425MathSciNetView ArticleMATHGoogle Scholar
  20. Ntouyas SK, Tsamatos PC: Global existence for second order semilinear ordinary and delay integrodifferential equations with nonlocal conditions. Appl. Anal. 1997, 67(3-4):245-257. 10.1080/00036819708840609MathSciNetView ArticleMATHGoogle Scholar
  21. Zhu T, Song C, Li G: Existence of mild solutions for abstract semilinear evolution equations in Banach spaces. Nonlinear Anal. 2012, 75: 177-181. 10.1016/j.na.2011.08.019MathSciNetView ArticleMATHGoogle Scholar
  22. Agarwal RP, Ahmad B, Alsaedi A, Shahzad N: Existence and dimension of the set of mild solutions to semilinear fractional differential inclusions. Adv. Differ. Equ. 2012., 2012: Article ID 74Google Scholar
  23. Lizama C, Pozo JC: Existence of mild solutions for a semilinear integrodifferential equation with nonlocal initial conditions. Abstr. Appl. Anal. 2012., 2012: Article ID 647103Google Scholar
  24. Shaochun J, Gang L: A unified approach to nonlocal impulsive differential equations with the measure of noncompactness. Adv. Differ. Equ. 2012., 2012: Article ID 182Google Scholar
  25. Xue X: Nonlocal nonlinear differential equations with a measure of noncompactness in Banach spaces. Nonlinear Anal. 2009, 70: 2593-2601. 10.1016/j.na.2008.03.046MathSciNetView ArticleMATHGoogle Scholar
  26. Agarwal RP, Benchohra M, Seba D: On the application of measure of noncompactness to the existence of solutions for fractional differential equations. Results Math. 2009, 55: 221-230. 10.1007/s00025-009-0434-5MathSciNetView ArticleMATHGoogle Scholar
  27. Dong Q, Li G: Existence of solutions for semilinear differential equations with nonlocal conditions in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009., 2009: Article ID 47Google Scholar
  28. Diagana T, Mophou GM, N’Guérékata GM: On the existence of mild solutions to some semilinear fractional integro-differential equations. Electron. J. Qual. Theory Differ. Equ. 2010., 2010: Article ID 58Google Scholar
  29. Diagana T: Existence of pseudo-almost automorphic mild solutions to some nonautonomous partial evolution equations. Adv. Differ. Equ. 2011., 2011: Article ID 895079Google Scholar
  30. Ji S, Li G: Existence results for impulsive differential inclusions with nonlocal conditions. Comput. Math. Appl. 2011, 62: 1908-1915. 10.1016/j.camwa.2011.06.034MathSciNetView ArticleMATHGoogle Scholar
  31. Herzallah MAE, Baleanu D: Existence of a periodic mild solution for a nonlinear fractional differential equation. Comput. Math. Appl. 2012, 64(10):3059-3064. 10.1016/j.camwa.2011.12.060MathSciNetView ArticleMATHGoogle Scholar
  32. Liang J, Liu JH, Xiao TJ: Nonlocal impulsive problems for nonlinear differential equations in Banach spaces. Math. Comput. Model. 2009, 49: 798-804. 10.1016/j.mcm.2008.05.046MathSciNetView ArticleMATHGoogle Scholar
  33. Zhu L, Dong Q, Li G: Impulsive differential equations with nonlocal conditions in general Banach spaces. Adv. Differ. Equ. 2012., 2012: Article ID 10Google Scholar
  34. Baleanu D, Mustafa OG, Agarwal RP: Asymptotically linear solutions for some linear fractional differential equations. Abstr. Appl. Anal. 2010., 2010: Article ID 865139Google Scholar
  35. Baleanu D, Mustafa OG, Agarwal RP:Asymptotic integration of ( 1 + α ) -order fractional differential equations. Comput. Math. Appl. 2011, 62: 1492-1500. 10.1016/j.camwa.2011.03.021MathSciNetView ArticleMATHGoogle Scholar
  36. Debbouche A, Baleanu D, Agarwal RP: Nonlocal nonlinear integrodifferential equations of fractional orders. Bound. Value Probl. 2012., 2012: Article ID 78Google Scholar
  37. Baleanu D, Diethelm DK, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Singapore; 2012.Google Scholar
  38. Fan Z, Dong Q, Li G: Semilinear differential equations with nonlocal conditions in Banach spaces. Int. J. Nonlinear Sci. 2006, 2: 131-139.MathSciNetGoogle Scholar
  39. Xue X: Semilinear nonlocal differential equations with measure of noncompactness in Banach spaces. J. Nanjing Univ. Math. Big. 2007, 24: 264-276.MathSciNetMATHGoogle Scholar
  40. Banas J, Goebel K Lecture Notes in Pure and Applied Mathematics 60. In Measure of Noncompactness in Banach Space. Marcel Dekker, New York; 1980.Google Scholar
  41. Mönch H: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal. 1980, 4: 985-999. 10.1016/0362-546X(80)90010-3MathSciNetView ArticleMATHGoogle Scholar
  42. Bothe D: Multivalued perturbation of m -accretive differential inclusions. Isr. J. Math. 1998, 108: 109-138. 10.1007/BF02783044MathSciNetView ArticleMATHGoogle Scholar
  43. Zhang X, Liu LS, Wu CX: Global solutions of nonlinear second order impulsive integrodifferential equations of mixed type in Banach spaces. Nonlinear Anal. 2007, 67: 2335-2349. 10.1016/j.na.2006.08.033MathSciNetView ArticleMATHGoogle Scholar
  44. Lou B: Fixed points for operators in a space of continuous functions and applications. Proc. Am. Math. Soc. 1999, 127: 2259-2264. 10.1090/S0002-9939-99-05211-9View ArticleMathSciNetMATHGoogle Scholar
  45. Liu LS, Guo F, Wu CX, Wu YH: Existence theorems of global solutions for nonlinear Volterra type integral equations in Banach spaces. J. Math. Anal. Appl. 2005, 309: 638-649. 10.1016/j.jmaa.2004.10.069MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Ahmad et al.; licensee Springer 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement