Skip to main content

Existence and stability of almost periodic solutions for impulsive differential equations

Abstract

In this article, by using Schauder's fixed point theorem, we study the existence of almost periodic solutions for abstract impulsive differential equations. In addition, sufficient conditions for their asymptotic stability are obtained by means of generalized Gronwall-Bellman inequality.

1 Introduction

When a dynamical system processes aftereffect and state changing by jumps, this system is called an impulsive differential system. Because of the needs of modern technology, such as simulation in physics, biology, populations dynamics, control theory, industrial robotics, etc., the study of impulsive differential equations attracts more and more researchers' interest, see [18]. There are many articles [916] about existence of solutions, periodic solutions and stability for impulsive differential equations. But, only a few articles [17, 18] have studied the existence of almost periodic solutions to abstract impulsive differential equations in Banach space.

By means of fractional powers of operators and Contraction mapping principle, Stamov and Alzabut in [17] studied the existence and uniqueness of exponentially stable almost periodic solutions for the abstract impulsive differential equation as follows:

( t ) + A x = F ( t , x ) + k = - G k ( x ) δ ( t - τ k ) ,
(1.1)

where G k () are continuous impulsive operators.

In [18], by using Contraction mapping principle, Henriquez et al. studied the existence of almost periodic solutions to the following impulsive differential equation:

{ u ' ( t ) = A ( t ) u ( t ) + F ( u ( t ) ) + f ( t ) , t R , t t i , i Z , Δ u ( t i ) = I i ( u ( t i ) ) .
(1.2)

To the best of authors' knowledge, most of the previous research on existence of almost periodic solutions for impulsive differential equations was based on Contraction mapping principle. Lipschitz condition is necessary. Motivated by the studies in [8, 12, 13, 1921], in this article we use Schauder's fixed point theorem and generalized Gronwall-Bellman inequality to investigate the existence and asymptotic stability of almost periodic solutions to the following impulsive differential equation:

{ u ' ( t ) = A ( t ) u ( t ) + f ( t , u ( t ) ) , t R , t t i , i Z , Δ u ( t i ) = I i ( u ( t i ) ) .
(1.3)

where A(t) : XX are closed linear operators on a Banach space (X, || ||), f, I i , and t i satisfy suitable conditions that will be established later and the symbol Δξ (t) represents the jump of the function ξ at t, which is defined by Δξ (t) = ξ (t+) − ξ(t).

2 Preliminaries

In this section, we give some notations, definitions, and preliminary facts about impulsive differential equations. Throughout this article, we denote by (X, || ||) a Banach space and by R the set of real numbers. The symbol L(X) stands for the Banach space formed by all bounded linear operators form X into X endowed with the uniform operator topology. For a linear operator A, ρ(A) is its resolvent set and for λ ρ(A), R(λ,A) = (λI − A)−1 denotes its resolvent operator. Let be the set consisting of all real sequences {t i }iZsuch that α = inf iZ(ti+ 1- t i )> 0 and limi→−∞t i = −, limi→−∞t i = ∞.

For t i i Z T , let PC(R, X) be the space formed by all piecewise continuous functions ϕ : R → X such that ϕ() is continuous at t for any t {t i }iZand ϕ ( t i ) =ϕ ( t i - ) for all i Z; let PC(R × X, X) be the space formed by all piecewise continuous functions ϕ : R × XX such that for any x X, ϕ(, x) is continuous at t for any t {t i }iZand ϕ ( t i , x ) = ϕ ( t i - , x ) for all i Z and for any t R, ϕ(t, ) is continuous at x X.

For a function f PC (R, X) (respectively PC(R × X, X)) and τ R, the translation of f by τ is the function R τ f(t) = f(t + τ) (respectively, R τ f(t, x) = f(t + τ, x)).

A number τ R is called an ε-translation number of the function f PC(R, X) (PC( R × X, X )) if

R τ f ( t ) - f ( t ) < ε , ( R τ f ( t , x ) - f ( t , x ) < ε , x K , for every compact  K X )

for all t R which satisfies |t - t i | > ε. Denote T ( f , ε ) by the set of all ε-translation numbers of f.

Definition 2.1 (D1) A function ϕ PC(R, X)(PC(R × X, X)) is said to be piecewise almost periodic if the following conditions are fulfilled:

  1. (1)

    t i j = t i + j - t i , j Z, are equipotentially almost periodic.

  2. (2)

    For any ε > 0 (every compact subset K of X), there exists a positive number δ = δ (ε)(δ = δ(ε, K)) such that if the points t′ and t″ belong to a same continuity and |t′ - t″| < δ, then ||ϕ (t′) - ϕ(t″)|| < ε (||ϕ(t′, x) - ϕ(t″, x)|| < ε, for any x K).

  3. (3)

    For every ε > 0 (every compact subset K of X), T ( ϕ , ε ) ( T ( ϕ , ε , K ) ) is a relatively dense set in R.

We denote by AP T (R, X)(AP T (R × X, X)) the space of all piecewise almost periodic functions. Obviously, the space AP T (R, X)(AP T (R × X, X)) endowed with the norm of the uniform convergence || || is a Banach space.

(D2) A set B AP T (R, X) is called a uniformly piecewise almost periodic family if it is uniformly bounded and if given ε > 0, then T ( B , ε ) = f B T ( f , ε ) is relatively dense in R.

Obviously, if f AP T (R × X, X) and for each compact set K X, f(t, x) : R × XX is uniformly continuous in x K uniformly in t R, then {f(, x) : x K} is a uniformly piecewise almost periodic family

Lemma 2.2[18] Let ϕ AP T (R, X), then the range of ϕ, R(ϕ), is a relatively compact subset of X.

Lemma 2.3 If a set B AP T (R, X) is relatively compact, then fBR ( f ) is a relatively compact set in X.

Proof Since B is a relatively compact set, for any ε > 0, there exists a finite number of functions f1, f2, ..., f N B such that for any f B, there exists a number i {1, 2, ..., N}, then

f - f i ε 2 .

By Lemma 2.2, R(f1), R(f2), ..., R(f N ) are relatively compact sets in X, so is 1≤ i≤ NR ( f i ), that is, 1≤ i≤ NR ( f i ) can be embedded in a finite number of balls of radius ε 2 . Let us denote by x1, x2, ..., x n the centers of the balls of radius ε 2 which cover the set 1≤ i≤ NR (f i ). For any t R, f B, let x i be the center of the ball of radius ε 2 which contains f i (t), we have

f ( t ) - x i f ( t ) - f i ( t ) + f i ( t ) - x i ε 2 + ε 2 = ε .

This show that UfBR(f) is covered for any ε > 0 by a finite number of balls of radius ε. This proof is complete.

For the operators {A(t) : t R}, we make the following assumption (H) :

(H1) {A(t) : t R} are linear operators on a Banach space X and there are constants K ≥ 0, r R and ϕ π 2 , π such that

R ( λ , A ( t ) ) K 1 + λ - r

for λ ρ(A(t)) ∩ ∑(ϕ, r) and t R, where ∑(ϕ, r) = {r} {λ : | arg(λ - r)| ≤ ϕ}.

(H2) There are constants L ≥ 0 and µ, ν (0, 1] with µ + ν > 1 such that

| λ | ν A r ( t ) R ( λ , A r ( t ) ) ( A r ( t ) 1 ( A r ( s ) 1 ) L | t s | μ

for A r (t) = A(t) -r, t, s R and | arg λ| < ϕ.

(H3) R (λ, A()) AP (L(X)).

(H4) The evolution family {T(t, s) : t, s R, t ≥ s} generated by {A(t) : t R} is exponentially stable, i.e., there exists numbers M > 0, w > 0, such that ||T(t, s)|| ≤ Me-w(t - s), ts, t, s R.

(H5) For fixed t, s R, ts, the operator T(t, s) : XX is compact, that is, T(t, s) is continuous and maps a bounded set into a relatively compact set.

(H6) For each x X, T(t+h, t)xx as h → 0+ uniformly for t R, i.e., {T(t, s) : t ≥ s} is uniformly continuous.

Operators {A(t) : t R} fulfilling (H1) and (H2) are called sectorial, see [2225].

Lemma 2.4[25] Assume that the conditions (H1)-(H4) hold. Then for each ε > 0 and δ > 0, there is a relatively dense set Ωεsuch that

T ( t + τ , s + τ ) - T ( t , s ) ε e - w 2 ( t - s ) , t - s > δ , t , s R , τ Ω , δ .

This property can be abbreviated by writing T AP(L(X)).

Lemma 2.5[18] Assume that f AP T (R, X), T AP(L(X)), the sequence {x i : i Z} is almost periodic, and t i j , j Z, are equipotentially almost periodic. Then for each ε > 0 there exist relatively dense sets Ω ε , f , x i , T of R and Q ε , f , x i , T of Z satisfying:

  1. (i)

    ||f(t + τ) - f(t)|| < ε for all t R, |t - t i | > ε, τ Ω ε , f , x i , T and i Z.

  2. (ii)

    T t + τ , s + τ - T ( t , s ) <ε e - w 2 ( t - s ) for all t, s R, |t - s| > 0, |t - t i | > ε, |s - t i | > ε, τ Ω ε , f , x i , T and i Z; w > 0 is the same as in (H4).

  3. (iii)

    ||x i + q- x i || < ε for all q Q ε , f , x i , T and i Z.

  4. (iv)

    t i q - τ <ε for all q Q ε , f , x i , T ,τ Ω ε , f , x i , T and i Z.

Definition 2.6 A bounded function u(t) : RX is called a mild solution of (1.3) if for any t R, σ < t i < t < ti+ 1,

u ( t ) = T ( t , σ ) u ( σ ) + σ t T ( t , s ) f ( s , u ( s ) ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) .

Under the assumption (H), ||T(t, σ)|| ≤ Me-w(t - σ)for all t > σ. Let σ → - , then ||T(t, σ) || → 0 and so, the above formula can be replaced by

u ( t ) = - t T ( t , s ) f s , u ( s ) d s + t i < t T ( t , t i ) I i u ( t i ) .

In fact, for t > σ,

σ t T ( t , s ) f s , u ( s ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) = - t T ( t , s ) f s , u ( s ) d s - - σ T ( t , s ) f s , u ( s ) d s + - < t i < t T ( t , t i ) I i u ( t i ) - - < t i < σ T ( t , t i ) I i u ( t i ) = - t T ( t , s ) f s , u ( s ) d s + - < t i < t T ( t , t i ) I i u ( t i ) - T ( t , σ ) - σ T ( σ , s ) f s , u ( s ) d s - - < t i < σ T ( σ , t i ) I i u ( t i ) = u ( t ) - T ( t , σ ) u ( σ ) ,

so that,

u ( t ) = T ( t , σ ) u ( σ ) + σ t T ( t , s ) f s , u ( s ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) .

The following lemma is a criterion of relative compactness for subsets in AP T (R, X), its proof is similar to the case in AP(R, X) (e.g., see [26]).

Lemma 2.7 Let MA P T ( R , X ) . Then is relatively compact in AP T (R, X) if and only if the following properties hold true:

  1. (i)

    is equicontinuous, which means that for any ε > 0, there exists δ(ε) > 0 such that for any fM one has || f (t) - f(s) || < ε if |t - s| < δ(ε) and t and s in a same continuity.

  2. (ii)

    is equi-almost-periodic, which means that for each ε > 0 there exists l(ε) > 0 such that any interval (a, a + l) R contains a number τ that is an ε- almost period for all fM.

  3. (iii)

    For fixed t R, the set { f ( t ) : f M } is relatively compact in the space X.

Definition 2.8[27] The solution x(t, σ, ϕ) of (1.3) is said to be stable, if for any σ R, ε > 0, there is a number δ = δ(σ, ε) > 0, such that for any other solution y(t, σ, ψ) of (1.3) satisfying ||φ - ψ|| < δ then ||x(t, σ, φ)-y(t, σ, ψ)|| < ε.

x(t, σ, φ) is said to be asymptotically stable if it is stable and if there is a constant b > 0 such that ||φ - ψ|| < b, then limt → ∞||x(t, σ, φ) - y(t, σ, ψ)|| = 0.

Lemma 2.9 ([1], generalized Gronwall-Bellman inequality) Let a nonnegative function u(t) PC(R, X) satisfy for t ≥ t0 the inequality

u ( t ) C + t 0 t υ ( τ ) u ( τ ) d τ + t 0 < τ i < t β i u ( τ i ) ,

where C ≥ 0, β i ≥ 0, v(τ) > 0, and τ i s are discontinuity points of first type of the function u(t). Then the following estimate holds for the function u(t),

u ( t ) C t 0 < τ i < t ( 1 + β i ) e t 0 t υ ( τ ) d τ .

3 Main results

In order to get the almost periodic solutions of (1.3), in addition to the previous assumptions, we require the following additional assumptions:

(A1) L > 0, C L = suptR, ||x|| ≤ L|| f(t, x)|| < ∞, C = supiZ|| I i || < ∞. Moreover, there exists a number L0 > 0, such that M C L 0 w + C 1 - e - w α L 0 and C L 0 + M w + C + M 1 - e - w α 1 2 .

(A2) For each compact set K X, f(t, x) AP T (R × X, X) is uniformly continuous in x K uniformly in t R; I i (x) is almost periodic in i Z uniformly in x K and is a uniformly continuous function defined on the set K X for all i Z.

(A3) Let {x n } AP T (R, X) be uniformly bounded in R and uniformly convergent in each compact set of R, then {f(, x n ())} is relatively compact in PC(R, X).

(A4) There exists a compact set K0 X, for any r > 0,

B r = { u A P T ( R , X ) : u L 0 , u ( t + τ ) - u ( t ) r , t - t i > r , i Z , τ Ω r , f , I i , K 0 , T } ,

such that R(x) K0 for all x B r , where the choice of Ω r , f , I i , K 0 , T is similar to that of Lemma 2.5.

Theorem 3.1 Suppose the conditions (H), (A1)-(A4) hold, then (1.3) has a mild piecewise almost periodic solution.

Proof Define the operator Γ on AP T (R, X) by

Γ u ( t ) = - t T ( t , s ) f s , u ( s ) d s + t i < t T ( t , t i ) I i u ( t i ) .

Now we use Schauder's fixed point theorem to prove that Γ has a fixed point in AP T (R, X).

For any n N, let

B 1 n = { u A P T ( R , X ) : u L 0 , u ( t + τ ) - u ( t ) 1 n , t - t i > 1 n , i Z , τ Ω 1 n , f , I i , K 0 , T } ,

and

B = n N B 1 n .

By (A4), for any nN, { u ( t ) : u B 1 n , t R } K 0 . Note that { u ( t ) : u B , t R } { u ( t ) : u B 1 n , t R } , so {u(t): u B, t R} K0. By (A2), {f(, x) : x K0} and {I i (x) : x K0} are uniformly piecewise almost periodic families. Then by Lemma 2.5, there exists a relatively dense set Ω 1 n , f , I i , K 0 , T of R. As the proof of [[28], Theorem 2.6] for the case of AP(R, X), one shows that for each n N, the set B 1 n is relatively compact and so is B. Obviously, B is a nonempty closed convex set. For any u B,

Γ u ( t ) = - t T ( t , s ) f s , u ( s ) d s + t i < t T ( t , t i ) I i u ( t i ) - t M e - w ( t - s ) f s , u ( s ) d s + t i < t M e - w ( t - t i ) I i u ( t i ) M w C L 0 + t i < t M e - w ( t - t i ) C .

In order to estimate the second term on the right-hand side of the above formula, we assume t j t < tj+ 1, j Z, so

t - t i = ( t - t j ) + ( t j - t i ) ( j - i ) α ,

and,

t i < t M e - w ( t - t i ) C - < i j M e - w ( j - i ) α C = 0 k = j - i < M e - w k α C = M 1 - e - w α C .

Thus

Γ u ( t ) M w C L 0 + M 1 - e - w α C L 0 .

By (A2), for any n N, there exists a number 0<δ 1 n , if ||x - y|| ≤ δ then f ( t , x ) - f ( t , y ) 1 n and I i ( x ) - I i ( y ) 1 n for all i Z.

For any uB B 1 n (n N) and τ Ω 1 n , f , I i , K 0 , T ,

u ( t + τ ) - u ( t ) 1 n ( = δ ) t - t i > 1 n .

So, for t - t i > 1 n ,

f t + τ , u ( t + τ ) - f t , u ( t ) f t + τ , u ( t + τ ) - f t , u ( t + τ ) + f t , u ( t + τ ) - f t , u ( t ) 1 n + 1 n = 2 n .
(3.1)

Similarly, for q Z with t i + q - t i - τ < 1 n , we have

I i + q u ( t i + q ) - I i u ( t i ) 2 n .
(3.2)

Then,

Γ u ( t + τ ) - Γ u ( t ) = - t + τ T t + τ , s f s , u ( s ) d s + t i < t + τ T t + τ , t i I i u ( t i ) - - t T ( t , s ) f s , u ( s ) d s - t i < t T ( t , t i ) I i u ( t i ) = - t T ( t + τ , s + τ ) f s + τ , u ( s + τ ) d s + t i < t T t + τ , t i + τ I i + q u ( t i + q ) - - t T ( t , s ) f s , u ( s ) d s - t i < t T ( t , t i ) I i u ( t i ) = - t T ( t + τ , s + τ ) f s + τ , u ( s + τ ) - T ( t , s ) f s , u ( s ) d s + t i < t T ( t + τ , t i + τ ) I i + q u ( t i + q ) - T ( t , t i ) I i u ( t i ) .

By Lemmas 2.4, 2.5, Equations (3.1) and (3.2), we have

- t T ( t + τ , s + τ ) f ( s + τ , u ( s + τ ) ) - T ( t , s ) f s , u ( s ) d s = - t T ( t + τ , s + τ ) f s + τ , u ( s + τ ) - f s , u ( s ) d s + - t T ( t + τ , s + τ ) - T ( t , s ) f s , u ( s ) d s - t T ( t + τ , s + τ ) f s + τ , u ( s + τ ) - f s , u ( s ) d s + - t T ( t + τ , s + τ ) - T ( t , s ) f s , u ( s ) d s - t 2 n M e - w ( t - s ) d s + - t 1 n e - w ( t - s ) 2 C L 0 d s = 2 n w M + 2 n w C L 0 ,

and

t i < t T ( t + τ , t i + τ ) I i + q u ( t i + q ) - T ( t , t i ) I i u ( t i ) = t i < t T ( t + τ , t i + τ ) I i + q u ( t i + q ) - I i u ( t i ) + t i < t T ( t + τ , t i + τ ) - T ( t , t i ) I i u ( t i ) t i < t T ( t + τ , t i + τ ) I i + q ( u ( t i + q ) ) - I i ( u ( t i ) ) + t i < t T ( t + τ , t i + τ ) - T ( t , t i ) I i u ( t i ) t i < t M e - w ( t - t i ) 2 n + t i < t 1 n e - w ( t - t i ) 2 C 2 n ( 1 - e - w α ) M + 2 n ( 1 - e - w α ) C .

Therefore, for any n N, there exists a relatively dense set Ω 1 n , f , I i , K 0 , T of R, for τ Ω 1 n , f , I i , K 0 , T ,

Γ u ( t + τ ) - Γ u ( t ) 2 M + 2 C L 0 n w + 2 M + 2 C n ( 1 - e - w α ) 1 n .

That is, Γu B 1 n . Since n is arbitrary, Γu n N B 1 n =B, that is ΓB B.

We will show Γ is compact. To this end, first we show Γ is continuous. In fact, By (A2), for the above 1 n , δ > 0 for each compact set K X, x1, x2 K and ||x1- x2|| ≤ δ, we have

f ( t , x 1 ) - f ( t , x 2 ) 1 n I i ( x 1 ) - I i ( x 2 ) 1 n ,

for all t R, i N. Let x, y B, ||x - y|| ≤ δ. Since R(x) K0 and R(y) K0,

f t , x ( t ) - f t , y ( t ) 1 n I i x ( t ) - I i y ( t ) 1 n .

So

Γ x ( t ) - Γ y ( t ) = - t T ( t , s ) f s , x ( s ) d s + t i < t T ( t , t i ) I i x ( t i ) - - t T ( t , s ) f s , y ( s ) d s - t i < t I i y ( t i ) - t T ( t , s ) f s , x ( s ) - f s , y ( s ) d s + t i < t T ( t , t i ) I i x ( t i ) - I i y ( t i ) - t M e - w ( t - s ) f s , x ( s ) - f s , y ( s ) d s + t i < t M e - w ( t - t i ) I i x ( t i ) - I i y ( t i ) M w n + M n ( 1 - e - w α ) 0 if  n .

Next, we show the following three statements:

(S1) {Γu(t) : u B} is a relatively compact subset of X for each t R.

(S2) {Γu : u B} is equicontinuous.

(S3) {Γu : u B} is equi-almost-periodic.

(S3) is obvious because B is.

For any ε > 0, let

Γ ε u ( t ) = - t - ε T ( t , s ) f s , u ( s ) d s + t i < t - ε T ( t , t i ) I i u ( t i ) = T ( t , t - ε ) - t - ε T ( t - ε , s ) f s , u ( s ) d s + t i < t - ε T t - ε , t i I i u ( t i ) = T ( t , t - ε ) Γ u ( t - ε ) .

Since {Γu(t - ε) : u B} is uniformly bounded in X and T(t, t - ε) is compact, so {Γ ε u(t) : uB} is relatively compact in X. Moreover,

Γ u ( t ) - Γ ε u ( t ) = t - ε t T ( t , s ) f s , x ( s ) d s + t - ε < t i < t T ( t , t i ) I i u ( t i ) t - ε t T ( t , s ) f s , x ( s ) d s + t - ε < t i < t T ( t , t i ) I i u ( t i ) t - ε t M e - w ( t - s ) f s , x ( s ) d s + t - ε < t i < t M e - w ( t - t i ) I i u ( t i ) ε M w C L 0 + ε M α C .

So, {Γu(t) : u B} is a relatively compact subset of X for each t R. This show (S1).

It remains to prove (S2). Let t″ < t′, t″, t′ R, u B,

Γ u ( t ) - Γ u ( t ) = - t T ( t , s ) f s , u ( s ) d s + t i < t T ( t , t i ) I i u ( t i ) - - t T ( t , s ) f s , u ( s ) d s - t i < t T ( t , t i ) I i u ( t i ) = - t T ( t , s ) - T ( t , s ) f s , u ( s ) d s + t t T ( t , s ) f s , u ( s ) d s + t i < t T ( t , t i ) - T ( t , t i ) I i u ( t i ) + t < t i < t T ( t , t i ) I i u ( t i ) .

Moreover,

- t T ( t , s ) - T ( t , s ) f s , u ( s ) d s = 0 T ( t , t - s ) - T ( t , t - s ) f t - s , u ( t - s ) d s = 0 T ( t , t ) T ( t , t - s ) - T ( t , t - s ) f t - s , u ( t - s ) d s = 0 T ( t , t ) - I T ( t , t - s ) f t - s , u ( t - s ) d s .

By (H6), for the given ε > 0, there exists δ ( ε ) < ε 4 M ( C L 0 + C α ) such that if t′, t″ belongs to a same continuity and 0 < t′ - t″ < δ, then

T ( t , t ) - I < min w ε 4 M C L 0 , ( 1 - e - w α ) ε 4 M C .

So,

- t T ( t , s ) - T ( t , s ) f s , u ( s ) d s 0 T ( t , t ) - I T ( t , t - s ) f t - s , u ( t - s ) d s 0 w ε 4 M C L 0 M e - w s C L 0 d s < ε 4 ,

and,

t t T ( t , s ) f s , u ( s ) d s t t T ( t , s ) f s , u ( s ) d s < δ M C L 0 < ε 4 .

Similarly,

t i < t T ( t , t i ) - T ( t , t i ) I i u ( t i ) = t i < t T ( t , t ) T ( t , t i ) - T ( t , t i ) I i u ( t i ) = t i < t T ( t , t ) - I T ( t , t i ) I i u ( t i ) t i < t T ( t , t ) - I T ( t , t i ) I i u ( t i ) t i < t ( 1 - e - w α ) ε 4 M C M e - w ( t - t i ) C ε 4 ,

and,

t < t i < t T ( t , t i ) I i u ( t i ) t < t i < t T ( t , t i ) I i u ( t i ) < δ α M C < ε 4 .

Thus, for u B, when t′, t″ R belongs to a same continuity and 0 < t′- t″ < δ,

Γ u ( t ) - Γ u ( t ) ε .

That is, {Γu: u B} is equicontinuous and (S2) holds.

Now the conditions of Lemma 2.7 are met, so Γ is compact. By Schauder's point fixed theorem, Γ has a fixed point u B. That is, (1.3) has a mild piecewise almost periodic solution u(t).

The proof is complete.

Remark 3.2 As we pointed out in Introduction, to get the almost periodic solutions of impulsive differential equations, most people use the Contraction theorem. To be different, we use Schauder's fixed point theorem. This makes proofs difficult. In this case, we impose a stronger condition (A4). To investigate this problem without (A4) and give a easy example will be our next study.

Remark 3.3 Note that the uniform continuity is weaker than the Lipschitz continuity So if the conditions of uniformly continuity of f and I i in (A2) is replaced by

f ( t , x ) - f ( t , y ) + I i ( x ) - I i ( y ) η x - y
(3.3)

for all x, y X, η (0,1), we can also get the mild piecewise almost periodic solution to (1.3) by Theorem 3.1.

In the end, we will use generalized Gronwall-Bellman inequality (Lemma 2.9) to show the asymptotic stability of piecewise almost periodic solutions to (1.3) under the Lipschitz condition.

Theorem 3.4 Assume the conditions of Theorem 3.1 are fulfilled except that (A2) is replaced by (3.3). Assume further that - w < 0, then (1.3) has an asymptotically stable almost periodic solution.

Proof By Remark 3.3, (1.3) has a mild piecewise almost periodic solution x(t),

x ( t ) = T ( t , σ ) x ( σ ) + σ t T ( t , s ) f s , x ( s ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) .

Let u(t) = u(t, σ, φ) and v(t) = v(t, σ, ψ) be two solutions of Equation (1.3), then

u ( t ) = T ( t , σ ) φ + σ t T ( t , s ) f s , u ( s ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) , υ ( t ) = T ( t , σ ) ψ + σ t T ( t , s ) f s , υ ( s ) d s + σ < t i < t T ( t , t i ) I i υ ( t i ) .

So

u ( t ) - υ ( t ) = T ( t , σ ) φ - T ( t , σ ) ψ + σ t T ( t , s ) f s , u ( s ) - f s , υ ( s ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) - I i υ ( t i ) T ( t , σ ) φ - ψ + σ t T ( t , s ) f s , u ( s ) - f s , υ ( s ) d s + σ < t i < t T ( t , t i ) I i u ( t i ) - I i υ ( t i ) M e - w ( t - σ ) φ - ψ + σ t M η e - w ( t - s ) u ( s ) - υ ( s ) d s + σ < t i < t M η e - w ( t - t i ) u ( t i ) - υ ( t i ) .

Then,

e w t u ( t ) - υ ( t ) M e w σ φ - ψ + σ t M η e w s u ( s ) - υ ( s ) d s + σ < t i < t M η e w t i u ( t i ) - υ ( t i ) .

Let ϒ(t) = ewt||u(t) - v(t)||, then

ϒ ( t ) M ϒ ( σ ) + σ t M η ϒ ( s ) d s + σ < t i < t M η ϒ ( t i ) .

By Lemma 2.9, we have

ϒ ( t ) M ϒ ( σ ) σ < t i < t ( 1 + M η ) e σ t M η d s = M ϒ ( σ ) σ < t i < t ( 1 + M η ) e M η ( t - σ ) ,

that is,

u ( t ) - υ ( t ) M φ - ψ σ < t i < t ( 1 + M η ) e ( M η - w ) ( t - σ ) .

This completes the proof.

4 Conclusion

The aim of this article was to give sufficient conditions for existence and asymptotic stability of almost periodic solutions for abstract impulsive differential equations. By taking into consideration the relative compactness for subsets in AP T (R, X), we get almost periodic solutions to impulsive differential equation. In addition, we use generalized Gronwall-Bellman inequality to show the above solution is asymptotically stable.

References

  1. Samoilenko AM, Perestyuk NA: Impulsive differential equations. World Scientific, Singapore; 1995.

    MATH  Google Scholar 

  2. Cuevas C, Hernandez E, Rabelo M: The existence of solutions for impulsive neutral functional differential equations. Comput Math Appl 2009, 58(4):744–757.

    MATH  MathSciNet  Article  Google Scholar 

  3. Cuevas C, N'Guerekata GM, Rabelo M: Mild solutions for impulsive neutral functional differential equations with state-dependent delay. Semigroup Forum 2010, 80: 375–390.

    MATH  MathSciNet  Article  Google Scholar 

  4. dos Santos JPC, Arjunan M, Cuevas C: Existence results for fractional neutral integro-differential equations with state-dependent delay. Comput Math Appl 2011, 62: 1275–1283.

    MATH  MathSciNet  Article  Google Scholar 

  5. dos Santos JPC, Cuevas C, de Andrade B: Existence results for a fractional equation with state-dependent delay. Adv Diff Equ 2007. doi:10.1155/2011/642013

    Google Scholar 

  6. Stamov GT, Alzabut JO, Atanasov P, Stamov AG: Almost periodic solutions for an impulsive delay model of price fluctuations in commodity markets. Nonlinear Anal RWA 2011, 12: 3170–3176.

    MATH  MathSciNet  Article  Google Scholar 

  7. Wang J, Xiang X, Wei W: Linear impulsive periodic system with time-varying generating operators on Banach space. Adv Differ Equ 2007. doi:10.1155/2007/26196

    Google Scholar 

  8. Alzabut JO, Stamov GT, Sermutlu E: On almost periodic solutions for an impulsive delay logarithmic population model. Math Comput Model 2010, 51: 625–631.

    MATH  MathSciNet  Article  Google Scholar 

  9. Hernandez EM, Tanaka Aki SM, Henriquez H: Global solutions for impulsive abstract partial differential equations. Comput Math Appl 2008, 56: 1206–1215.

    MATH  MathSciNet  Article  Google Scholar 

  10. Akhmetov MU, Zafer A: Stability of the zero solution of impulsive differential equations by the Lyapunov second method. J Math Anal Appl 2000, 248: 69–82.

    MathSciNet  Article  Google Scholar 

  11. Ignatyev AO: On the stability of invariant sets of systems with impulse effect. Nonlinear Anal TMA 2008, 69: 53–72.

    MATH  MathSciNet  Article  Google Scholar 

  12. Wang J, Xiang X, Peng Y: Periodic solutions of semilinear impulsive periodic system on Banach space. Nonlinear Anal TMA 2009, 71: e1344-e1353.

    MATH  MathSciNet  Article  Google Scholar 

  13. Liang J, Liu J, Xiao T: Periodic solutions of delay impulsive differential equations. Nonlinear Anal TMA 2011, 74: 6835–6842.

    MATH  MathSciNet  Article  Google Scholar 

  14. Stamov GT: Asymptotic stability of almost periodic systems of impulsive differential-difference equations. Asymptotic Anal 2001, 27: 1–8.

    MATH  MathSciNet  Google Scholar 

  15. Yang Z, Xu D: Existence and exponential stability of periodic solution for impulsive delay differential equations and applications. Nonlinear Anal TMA 2006, 64: 130–145.

    MATH  Article  Google Scholar 

  16. Sivasankaran S, Arjunan M, Vijayakumar V: Existence of global solutions for second order impulsive abstract partial differential equations. Nonlinear Anal TMA 2011, 74: 6747–6757.

    MATH  MathSciNet  Article  Google Scholar 

  17. Stamov GT, Alzabut JO: Almost periodic solutions for abstract impulsive differential equations. Nonlinear Anal TMA 2010, 72: 2457–2464.

    MATH  MathSciNet  Article  Google Scholar 

  18. Henriquez HR, de Andrade B, Rabelo M: Existence of almost periodic solutions for a class of abstract impulsive differential equations. ISRN Math 2011. doi:10.5402/2011/632687

    Google Scholar 

  19. Chang Y, Zhao Z, N'Guerekata GM: A new composition theorem for square-mean almost automorphic functions and applications to stochastic differential equations. Nonlinear Anal TMA 2011, 74: 2210–2219.

    MATH  MathSciNet  Article  Google Scholar 

  20. Li H, Huang F, Li J: Composition of pseudo almost-periodic functions and semilinear differential equations. J Math Anal Appl 2001, 255: 436–446.

    MATH  MathSciNet  Article  Google Scholar 

  21. Agarwal RP, de Andrade B, Cuevas C: Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations. Nonlinear Anal RWA 2010, 11: 3532–3554.

    MATH  MathSciNet  Article  Google Scholar 

  22. Agarwal RP, Cuevas C, dos Santos JPC: Analytic resolvent operator and existence results for fractional integro-differential equations. J Abst Diff Equa Appl 2012, 2(2):26–47.

    MathSciNet  Google Scholar 

  23. Agarwal RP, de Andrade B, Cuevas C, Henriquez E: Asymptotic periodicity for some classes of integro-differential equations and applications. Adv Math Sci Appl 2011, 21(1):1–31.

    MATH  MathSciNet  Google Scholar 

  24. Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York; 1983.

    MATH  Book  Google Scholar 

  25. Schnaubelt R, Iannelli M, Nagel R, Piazzera S: Asymptotic Behaviour of Parabolic Nonautonomous Evolution Equation. In Lecture Notes in Math. Volume 1855. Springer-Verlag, Berlin; 2004:401–472. Functional Analytic Methods for Evolution Equations

    Google Scholar 

  26. Corduneanu C: Almost Periodic Oscillations and Waves. Springer, New York; 2009.

    MATH  Book  Google Scholar 

  27. Wiggins S: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Springer, New York; 1990.

    MATH  Book  Google Scholar 

  28. Fink AM: Almost Periodic Differential Equations. In Lecture Notes in Mathematics. Volume 377. Springer-Verlag, New York; 1974.

    Google Scholar 

Download references

Acknowledgements

This research was supported by the National Natural Science Foundation of China (No. 11071048). The authors would like to thank the referees for carefully reading the manuscript, giving valuable comments and suggestions on the topic of this article.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Junwei Liu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

JL carried out the main part of this manuscript. CZ participated discussion and corrected the main theorem. All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and Permissions

About this article

Cite this article

Liu, J., Zhang, C. Existence and stability of almost periodic solutions for impulsive differential equations. Adv Differ Equ 2012, 34 (2012). https://doi.org/10.1186/1687-1847-2012-34

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-34

Keywords

  • abstract impulsive differential equations
  • Schauder's fixed point theorem
  • asymptotic stability
  • generalized Gronwall-Bellman inequality