# Existence of Almost Periodic Solutions for a Class of Abstract Impulsive Differential Equations

Authors: Hernán R. Henríquez; Bruno De Andrade; Marcos Rabelo
Journal: ISRN Mathematical Analysis
 (2011)

---

## Abstract

We study the existence of piecewise almost periodic solutions for a class of abstract impulsive semilinear differential equations.


---

## Body

## 1. Introduction

Due to their numerous applications to model the dynamics of evolving processes arising in mechanics, electrical engineering, medicine, population dynamics, among many others important areas of technology and science, the theory of impulsive differential equations has attracted the attention of researchers. It is well known that there are many evolutionary processes in which the system is subject to abrupt changes of state at certain moments of time between intervals of continuous evolution. Such changes can be approximated as being instantaneous changes at states, or in the form of impulses. We refer the reader to [1–3] for numerous examples and applications.Several of the systems mentioned in the preceding paragraph can be modeled by impulsive differential equations. The literature related to ordinary differential equations with impulses is very extensive and we refer the reader to [2, 4] and the references therein. Impulsive ordinary differential equations appear frequently in applications involving nonlinear systems. It is worth to point out here that the analysis of such systems with discontinuities is different from that for continuous systems (see for instance [5]). This has been a special motivation to attract the attention of authors to the theory of systems with impulses. For this reason the theory of impulsive differential equations has drawn the attention of many authors in recent years, see for instance [6–11].On the other hand, the study of the existence of periodic solutions, as well as its numerous generalizations to almost periodic solutions, asymptotically almost periodic solutions, almost automorphic solutions, asymptotically almost automorphic solutions, pseudo almost periodic solutions, and so forth, is one of the most attracting topics in the qualitative theory of differential equations due both to its mathematical interest as to their applications in various areas of applied science. Likewise, the existence of periodic and almost periodic solutions of impulsive ordinary differential equations has been considered by many authors. The reader can see [4, 12–19]. Recently Stamov [16] have investigated the existence of almost periodic solutions for the Lasota-Wazewska model and the exponential stability of these solutions, while Ahmad and Stamov [14] have investigated the existence of almost periodic processes corresponding to competitive nonautonomous Lotka-Volterra systems described by integrodifferential equations with infinite delay. However, the study of almost periodic solutions of impulsive partial differential equations are not sufficiently considered in the literature. This fact is the main motivation of the present work.In this work we are concerned with nonautonomous abstract differential equations. Let𝕏 be a Banach space endowed with the norm ∥·∥𝕏. Specifically, we study the existence of almost periodic mild solutions for a class of impulsive differential equation of the form(1.1)u′(t)=A(t)u(t)+F(u(t))+f(t),t∈R,t≠ti,i∈Z,Δu(ti)=Ii(u(ti)),
where ti∈ℝ for i∈ℤ and A(t):D(A(t))⊆𝕏→𝕏, t∈ℝ, are closed linear operators that satisfy some properties that will be established later. Moreover, f:ℝ→𝕏 and F,Ii:𝕏→𝕏 for i∈ℤ are appropriate functions. In addition, the symbol Δξ(t) represents the jump of the function ξ at t, which is defined by Δξ(t)=ξ(t+)-ξ(t-), where the notations ξ(t+) and ξ(t-) represent, respectively, the right hand side and the left hand side limits of the function ξ at t.Let(𝕏,∥·∥𝕏) and (𝕐,∥·∥𝕐) be Banach spaces, the symbol ℒ(𝕐,𝕏) stands for the Banach space formed by all bounded linear operators from 𝕐 into 𝕏 endowed with the uniform operator topology. In particular, we abbreviate this notation by ℒ(𝕏) when 𝕐=𝕏. Moreover, for r>0, we denote by Br(𝕏) the closed ball consisting of all x∈𝕏 such that ∥x∥≤r. For a linear operator A, we denote by ρ(A) its resolvent set and, for λ∈ρ(A), R(λ,A)=(λI-A)-1 is the resolvent operator. In addition, we denote by AP(𝕏) the space of almost periodic functions from ℝ into 𝕏 in the Bohr sense. It is well known that AP(𝕏) endowed with the norm of uniform convergence is a Banach space. For details about the almost periodic functions we refer to [20].We now give a brief summary of this work. In Section2 we recall some definitions and properties that are needed to establish our results. In Section 3, we establish our results about the existence of almost periodic mild solutions to the impulsive Cauchy problem (1.1). Finally, in Section 4 we apply our abstract results to a concrete system with impulses.


## 2. Preliminaries

We begin by defining the countable subsets ofℝ where the impulsive effects are concentrated.Letℬ be the set consisting all real sequences T={ti}i∈ℤ such that α=infi∈ℤ(ti+1-ti)>0. It is immediate that this condition implies that limi→∞ti=∞ and limi→-∞ti=-∞.Remark 2.1.
IfT={ti}i∈ℤ∈ℬ and ti<t≤ti+1, then
(2.1)t-tk=t-ti+ti-tk≥t-ti+(i-k)α,
for k≤i.Definition 2.2.
The sequenceT={tk}k∈ℤ∈ℬ is said to be almost periodic if for each ϵ>0 there is a relatively dense set 𝒬ϵ in ℝ having the following property: for each τ∈𝒬ϵ there is an integer q∈ℤ such that |ti+q-ti-τ|<ϵ for all i∈ℤ.Given a sequenceT={ti}i∈ℤ∈ℬ, we consider tij=ti+j-ti, for i,j∈ℤ.Definition 2.3 (see [4]).
The sequenceT={ti}i∈ℤ∈ℬ is said to be uniformly almost periodic if for each ϵ>0 there exists a relatively dense set 𝒬ϵ in ℤ such that
(2.2)|ti+qj-tij|<ϵ,
for all i,j∈ℤ and q∈𝒬ϵ.Remark 2.4.
It has been established in [4, Lemma 27] that if T is uniformly almost periodic, then it is almost periodic.ForT={ti}i∈ℤ∈ℬ fixed, let 𝒫𝒞T(ℝ,𝕏) be the space consisting of all piecewise continuous functions x:ℝ→𝕏 such that x(·) is continuous at t for every t∉T and x(ti)=x(ti-) for all i∈ℤ, where, as it is usual, we have denoted by x(t-) the left hand limit of x(·) at t. Hence a function x∈𝒫𝒞T(ℝ,𝕏) if x is left continuous on ℝ, right continuous on ℝ∖T and it can have jump discontinuities on the right hand side at the points of T.Definition 2.5 (see [4]).
LetT={ti}i∈ℤ∈ℬ. The function φ∈𝒫𝒞T(ℝ,𝕏) is said to be T-piecewise almost periodic if the following conditions are fulfilled.(i)
The setT is almost periodic.(ii)
For everyϵ>0 there exists δ>0 such that ∥x(t)-x(t′)∥<ϵ for all t,t′∈(ti,ti+1) such that |t-t′|<δ and some i∈ℤ.(iii)
For eachϵ>0 there exists a relatively dense set Ωϵ in ℝ such that if τ∈Ωϵ, then
(2.3)∥φ(t+τ)-φ(t)∥X<ϵ,
for all t∈ℝ satisfying the condition |t-ti|>ϵ for all i∈ℤ.For a fixed sequenceT={ti}i∈ℤ as in the Definition 2.2, we denote by APT(𝕏) the space formed for all T-piecewise almost periodic function. It is well known that the space APT(𝕏) endowed with the norm of the uniform convergence ∥·∥∞ is a Banach space.For more details about the properties of piecewise almost periodic functions we refer the reader to [4]. We only mention here a pair of properties which are essentials for our developments.Lemma 2.6.
Letg∈APT(𝕏). Then ℛ(g) is a relatively compact subset of 𝕏.Proof.
Letϵ>0 be fixed. It follows from the Definition 2.5(ii) that there exists δ>0 such that
(2.4)∥g(t)-g(t′)∥<ϵ,
for all t,t′∈(ti,ti+1) such that |t-t′|<δ and i∈ℤ. We can assume that δ<ϵ. Applying now the Definition 2.5(iii) we infer the existence of L>0 having the following property. In any interval of length greater or equal that L there exists τ such that ∥g(t+τ)-g(t)∥𝕏<δ for all t∈ℝ satisfying the condition |t-ti|≥δ for all i∈ℤ. Hence, if t∈(ti,ti+1, |t-ti|>δ and |t-ti+1|>δ), we can select τ∈[-t,L-t] and
(2.5)g(t)∈g(t+τ)+Bδ⊆g([0,L])+Bδ.
Since g is piecewise continuous, the set KL=g([0,L]) is compact. Moreover, if t∈(ti,ti+δ), then ∥g(t)-g(ti+δ)∥<ϵ which implies that g(t)∈KL+Bϵ. A similar property holds when t∈(ti+1-δ,ti+1). Consequently, for every t∈ℝ we have that g(t)∈KL+Bϵ. Since ϵ was arbitrarily chosen, this completes the proof.Definition 2.7 (see [21, Definition 2]).
The sequence of mapsIi:𝕏→𝕏, i∈ℤ, is said to be almost periodic if for each x∈𝕏 and ϵ>0 there is a relatively dense set Qϵ(x) in ℤ such that ∥Ii+q(x)-Ii(x)∥<ϵ for all q∈Qϵ(x) and i∈ℤ.The following property follows easily from the Definition2.7.Lemma 2.8.
LetIi:𝕏→𝕏, i∈ℤ, be an almost periodic sequence of maps and let K⊂𝕏 a compact set. Assume that there is a positive constant L such that
(2.6)∥Ii(x)-Ii(y)∥≤L∥x-y∥,
for all x∈𝕏 and i∈ℤ. Then the set of sequences {(Ii(x))i∈ℤ:x∈K} is uniformly almost periodic.Combining  Lemma2.8 with Definition 2.5 we obtain the following property which will be essential for our developments.Lemma 2.9.
LetT={ti}i∈ℤ∈ℬ and let φ∈APT(𝕏). Assume that the sequence of vector-valued functions {Ii}i∈ℤ is almost periodic. If there is a positive constant L such that
(2.7)∥Ii(x)-Ii(y)∥≤L∥x-y∥,
for all x∈𝕏 and i∈ℤ, then {Ii(φ(ti))}i∈ℤ is an almost periodic sequence.Proof.
To prove this lemma we are going to use the characterization of almost periodic sequences established in [4, Theorem 70]. Let (qn′′)n be a sequence of integer numbers. Since ℛ(φ) is relatively compact, it follows from the Lemma 2.8 that (Ii(x))i∈ℤ is a uniformly almost periodic sequence for x∈ℛ(φ). Therefore, we can extract a subsequence (qn′)n of (qn′′)n such that Ii+qn′(x) is convergent as n→∞ uniformly for x∈ℛ(φ) and i∈ℤ. On the other hand, as φ is a T-piecewise almost periodic function and infi∈ℤ(ti+1-ti)>0, it follows from [4, Lemma 37] that the sequence φ(ti) is almost periodic. Consequently, we can extract a subsequence (qn)n of (qn′)n such that φ(ti+qn)n is convergent as n→∞ uniformly for i∈ℤ. This allows us to conclude that
(2.8)‖Ii+qm(φ(ti+qm))-Ii+qn(φ(ti+qn))‖≤‖Ii+qm(φ(ti+qm))-Ii+qm(φ(ti+qn))‖+‖Ii+qm(φ(ti+qn))-Ii+qn(φ(ti+qn))‖≤L‖φ(ti+qm)-φ(ti+qn)‖+‖Ii+qm(φ(ti+qn))-Ii+qn(φ(ti+qn))‖≤L‖φ(ti+qm)-φ(ti+qn)‖+sup⁡x∈R(φ)‖Ii+qm(x)-Ii+qn(x)‖,
which implies that (Ii+qn(φ(ti+qn)))n is a Cauchy sequence uniformly for i∈ℤ. This complete the proof.To study the impulsive system (1.1), we recall briefly some important properties of the classical nonautonomous abstract Cauchy problem. Let A(t):D(A(t))→𝕏 be closed linear operators. We begin by studying the homogeneous problem(2.9)u′(t)=A(t)u(t),t≥s,t,s∈R,u(s)=x∈X.
In what follows we introduce the concept of evolution family associated with the problem (2.9).Definition 2.10.
A family of bounded linear operators{U(t,s),t≥s}subsetℒ(𝕏) is called a strongly continuous evolution family if the following conditions are fulfilled.(a)
U(t,t)=I.(b)
U(t,s)U(s,r)=U(t,r) for every r≤s≤t.(c)
For eachx∈𝕏 the function (t,s)→U(t,s)x is continuous.If for eachs≤t and each x∈D(A(s)) we have that U(t,s)(D(A(s)))⊆D(A(t)), and the function t→U(t,s)x is continuously differentiable with respect to t and a solution of the problem (2.9), then the evolution family U(t,s) is said to be generated by {A(t):t∈ℝ}.The existence of an evolution family allows us to establish a variation of constants formula to solve the inhomogeneous problem(2.10)u′(t)=A(t)u(t)+f(t),t>s,t,s∈R,u(s)=x∈X,
where f is a locally integrable function. We refer the reader to [22] for a discussion about this matter. We only recall here that the function(2.11)u(t)=U(t,s)u0+∫stU(t,ξ)f(ξ)dξ,t≥s,
is said to be the mild solution of the problem (2.10).The problem of establishing the conditions under which{A(t):t∈ℝ} generates an evolution family that has been studied by several authors. We refer to [23] for a discussion about this subject. In the rest of this work we use the terminology used in [23]. Specifically we consider the following conditions.(AT1)
There are constantsK≥0,  ω∈ℝ, and ϕ∈(π/2,π) such that λ∈ρ(A(t)) and
(2.12)‖R(λ,A(t))‖≤K1+|λ-ω|,
for t∈ℝ and λ∈{w}∪{λ∈ℂ:|arg(λ-w)|≤ϕ}.(AT2)
There are constantsL≥0 and μ,ν∈(0,1] with μ+ν>1 such that
(2.13)|λ|ν∥(ωI-A(t))R(λ+ω,A(t))(R(ω,A(t))-R(ω,A(t)))∥≤L|t-s|μ,
for t,s∈ℝ and |argλ|≤ϕ.The concept of exponential dichotomy is a well-known technique used to study the asymptotic behavior of solutions of differential equations. In the next definition we precise this concept [23, 24].Definition 2.11.
An evolution familyU(t,s), t,s∈ℝ, s≤t, on a Banach space 𝕏 has an exponential dichotomy if there are a uniformly bounded and strongly continuous map P:ℝ→ℒ(𝕏) such that each P(t) is a projection, and constants N,μ>0 such that for t≥s the following conditions hold.(ex1)
U(t,s)P(s)=P(t)U(t,s).(ex2)
LetQ(t)=I-P(t). The restriction UQ(t,s):Q(s)𝕏→Q(t)𝕏 of U(t,s) is invertible (we set UQ(s,t)=UQ(t,s)-1).(ex3)
∥U(t,s)P(s)∥≤Ne-μ(t-s), and ∥UQ(s,t)Q(t)∥≤Ne-μ(t-s).In this case, the operator-valued mapΓ(t,s) given by Γ(t,s)=U(t,s)P(s), for t≥s and Γ(t,s)=-UQ(t,s)Q(s), for t<s is called Green's function corresponding to U(·,·) and P(·).The existence, properties, and examples of Green's functions can be founded in [23]. We only mention here a few properties directly related with our objectives. If f is a bounded function, it follows from (2.11) that the unique bounded mild solution of the equation(2.14)u′(t)=A(t)u(t)+f(t),t∈R,
is given by(2.15)u(t)=∫-∞∞Γ(t,ξ)f(ξ)dξ,t∈R.
Assuming that the conditions (AT1)-(AT2) hold, we introduce the following condition.  (R)
R(ω,A(·))∈AP(ℒ(𝕏)).Lemma 2.12 (see [23, Proposition 5.8]).
Assume that the conditions (AT1)-(AT2) and (R) hold. IfU(·,·) has an exponential dichotomy with constants N,μ>0, then for each ϵ>0 and h>0 there is a relatively dense set Ωϵ,h such that
(2.16)∥Γ(t+τ,s+τ)-Γ(t,s)∥≤ϵe-(μ/2)|t-s|,|t-s|>h,t,s∈R,τ∈Ωϵ,h.We abbreviate this property by writingΓ∈AP(ℒ(𝕏)).Remark 2.13.
As was pointed out in [25], under the hypotheses of the Lemma 2.12, for all sequence of real numbers (tn′)n≥0 and h>0 there is a subsequence (tn)n≥0 such that Γ(t+tn,s+tn)x is uniformly convergent for all x∈X and t,s∈ℝ with |t-s|>h. Taking h=1,1/2,…, and using the method of diagonal choice, it is possible to show that Γ(t+tn,s+tn)x is uniform convergent with respect to t,s∈ℝ with t≠s for each x∈X. Moreover, since P(·)∈AP(ℒ(𝕏)) and Γ(t,t)=P(t), then the preceding assertion holds for all t,s∈ℝ.


## 3. Existence of Solutions

In this section we keep the notations introduced in the Section2. In addition, we will assume that T={ti}i∈ℤ∈ℬ is an uniformly almost periodic sequence of moments, and we consider as standing hypotheses that conditions (AT1)-(AT2) hold and that U(t,s) is an evolution family generated by the operators A(t) with an exponential dichotomy P(t). Initially, we consider the abstract cauchy problem with impulses(3.1)u′(t)=A(t)u(t)+f(t),t∈R,t≠ti,i∈Z,Δu(ti)=xi,i∈Z,
where f∈𝒫𝒞T(ℝ,𝕏).Definition 3.1.
A functionu∈𝒫𝒞T(ℝ,𝕏) is said to be a piecewise continuous mild solution of the problem (3.1) if for all t∈ℝ, ti<t≤ti+1, we have
(3.2)u(t)=U(t,ti)u(ti)+U(t,ti)xi+∫titU(t,s)f(s)ds.If we assume thatf is bounded and that the set {∥xi∥:i∈ℤ} is bounded, it follows from (2.15) that the unique bounded piecewise continuous mild solution of the problem (3.1) is given by(3.3)u(t)=∫-∞∞Γ(t,ξ)f(ξ)dξ+∑ti<tΓ(t,ti)xi,t∈R.Our results of existence of solutions for the problem (1.1) are based in several properties of this construction, which we will collect in the following lemma.Lemma 3.2.
LetT={ti}i∈ℤ∈ℬ uniformly almost periodic. Assume that f∈APT(𝕏), Γ∈AP(ℒ(𝕏)) and the sequence {xi:i∈ℤ} is almost periodic. Then for each ϵ>0 there are relatively dense sets Ωϵ of ℝ and 𝒬ϵ of ℤ such that the following conditions hold. (i)
∥f(t+τ)-f(t)∥<ϵ for all t∈ℝ, |t-ti|>ϵ, τ∈Ωϵ and i∈ℤ.(ii)
∥Γ(t+τ,s+τ)-Γ(t,s)∥<ϵ for all t,s∈ℝ, |t-s|>0, |s-ti|>ϵ, |t-ti|>ϵ, τ∈Ωϵ and i∈ℤ.(iii)
∥xi+q-xi∥𝕏<ϵ for all q∈𝒬ϵ and i∈ℤ.(iv)
|ti+q-ti-τ|<ϵ for all q∈𝒬ϵ and τ∈Ωϵ and i∈ℤ.Remark 3.3.
The proof of Lemma3.2 is based on the technique of finding common almost periods. We refer the reader to [4] for a discussion about this method.Lemma 3.4.
Assume that the conditions of Lemma2.12 hold. Let x∈APT(𝕏) and let v(t) be given by
(3.4)v(t)=∫-∞∞Γ(t,ξ)x(ξ)dξ,t∈R.
Then the function v∈AP(𝕏).Proof.
Forϵ>0, let Ωϵ be a relatively dense set of ℝ formed by ϵ-periods of Γ and x such as in the Lemma 3.2. For τ∈Ωϵ we have
(3.5)v(t+τ)-v(t)=∫-∞∞(Γ(t+τ,s)-Γ(t,s))x(s)ds=∫-∞t(Γ(t+τ,s)-Γ(t,s))x(s)ds+∫t∞(Γ(t+τ,s)-Γ(t,s))x(s)ds.
The first term on the right hand side of (3.5) can be decomposed as
(3.6)∫-∞t(Γ(t+τ,s)-Γ(t,s))x(s)ds=∫-∞t(Γ(t+τ,s+τ)-Γ(t,s))x(s)ds+∫-∞tΓ(t+τ,s+τ)(x(s+τ)-x(s))ds=J1+J2.
Let h>0. Applying the Lemma 2.12, we can estimate the first term on the right hand side of the above expression as
(3.7)∥J1∥=‖∫-∞t(Γ(t+τ,s+τ)-Γ(t,s))x(s)ds‖≤∥x∥∞∫-∞t-h∥Γ(t+τ,s+τ)-Γ(t,s)∥ds+∫t-ht∥(Γ(t+τ,s+τ)-Γ(t,s))f(s)∥ds≤ϵ∥x∥∞∫-∞t-he-(μ/2)(t-s)ds+∫t-ht‖(Γ(t+τ,s+τ)-Γ(t,s))x(s)‖ds≤2μ∥x∥∞ϵ+2N∥x∥∞h.
In order to estimate the second term on the right hand side of (3.6), we assume that ti<t≤ti+1. For 0<h<α/2, then we can split the integral ∫-∞t∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds appropriately to obtain
(3.8)∥J2∥≤∫-∞t∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds≤∑j=-∞i-1∫tj+htj+1-h∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds+∑j=-∞i-1∫tjtj+h∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds+∑j=-∞i-1∫tj+1-htj+1∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds+∫tit∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds.
Since x∈APT(𝕏) we have that ∥x(s+τ)-x(s)∥<ϵ for all s∈[tj+h,tj+1-h] and j∈ℤ, j≤i. Moreover, in view of that
(3.9)t-s≥t-ti+ti-s≥t-ti+ti-(tj+1-h)≥t-ti+α(i-1-j)+h,
we can estimate
(3.10)∑j=-∞i-1∫tj+htj+1-h‖Γ(t+τ,s+τ)(x(s+τ)-x(s))‖ds≤ϵ∑j=-∞i-1∫tj+htj+1-h∥Γ(t+τ,s+τ)∥ds≤ϵN∑j=-∞i-1∫tj+htj+1-he-μ(t-s)ds≤ϵNμ∑j=-∞i-1e-μ(t-tj+1+h)≤ϵNμ∑j=-∞i-1e-μα(i-j-1)≤ϵNμ(1-e-μα).
To estimate the second term on the right hand side of (3.8) we observe
(3.11)∑j=-∞i-1∫tjtj+h∥Γ(t+τ,s+τ)(x(s+τ)-x(s))∥ds≤2N∥x∥∞∑j=-∞i-1∫tjtj+he-μ(t-s)ds≤2Nϵ∥x∥∞e-μh∑j=-∞i-1e-μ(t-tj)≤2Nϵe-μ(h+t-ti)∥x∥∞∑j=-∞i-1e-μα(i-j)≤2Nϵ∥x∥∞1-e-μα.
We obtain similar estimates for the third and fourth term on the right hand side of (3.8). Combining these estimate, we get that ∥J1∥≤O(ϵ) and ∥J2∥≤O(ϵ) independent of t∈ℝ. Furthermore, proceeding in a similar way we can show that
(3.12)‖∫t∞(Γ(t+τ,s)-Γ(t,s))x(s)ds‖=O(ϵ),
which completes the proof that v(·) is an almost periodic function in the Bohr's sense.We introduce a new condition on the evolution familyU(·,·).(H)
For eachx∈𝕏, U(t+h,t)x→x as h→0+ uniformly for t∈ℝ.Lemma 3.5.
Assume that the assumptions (R) and (H) hold. LetK be a compact subset of 𝕏. Then ∥Γ(t+h,s+h′)x-Γ(t,s)x∥→0, as h,h′→0+ uniformly for s,t∈ℝ and x∈K.Proof.
SinceP∈AP(ℒ(𝕏)) [23, Corollary 5.1] the set W={P(s)x:x∈K,s∈ℝ} is relatively compact in 𝕏. Moreover, using (H), we have
(3.13)Γ(s+h,s)x-P(s)x=[U(s+h,s)-I]P(s)x=[U(s+h,s)-I]y→0,h→0,
uniformly for y∈W.
We will prove separately thatΓ(t+h,s)x-Γ(t,s)x→0 and Γ(t,s+h)x-Γ(t,s)x→0 as h→0 uniformly for s,t∈ℝ and x∈𝕏. Assume first that h>0. We have
(3.14)Γ(t+h,s)x-Γ(t,s)x=[U(t+h,t)-I]Γ(t,s)x(3.15)=[U(t+h,t)-I,Γ(t,s)-P(s)]x+[U(t+h,t)-I]P(s)x.
Using (3.13), (3.15), and assumption (H) we deduce that there exists β>0 such that
(3.16)Γ(t+h,s)x-Γ(t,s)x→0,h→0,
uniformly for s,t∈ℝ with t-s≤β and x∈𝕏. Similarly, the assertion (3.16) is immediate when t-s>0 is large enough, because ∥Γ(t,s)∥→0, as t-s→∞. We consider now 0<β<a and β≤t-s≤a. It follows from [23, Theorem 5.9] that the function r↦Γ(t+r,s+r) is almost periodic. This implies that the set W′={Γ(t,s)x:x∈K,β≤t-s≤a} is relatively compact in 𝕏. Using again the assumption (H) we get that [U(t+h,t)-I]y→0, h→0, uniformly for t∈ℝ and y∈W′. Applying (3.14) we also obtain (3.16). A similar argument shows the assertion for h<0.
Now we estimateΓ(t,s+h)x-Γ(t,s)x as h→0. Assume now that h>0. Using again the assumption (H) and the fact that P(·) is almost periodic, from the decomposition
(3.17)Γ(t,s+h)x-Γ(t,s)x=U(t,s+h)[P(s+h)x-U(s+h,s)P(s)x],
it follows easily that Γ(t,s+h)x-Γ(t,s)x as h→0 uniformly for s,t∈ℝ and x∈𝕏. Arguing in a similar way we obtain the property for h<0.Lemma 3.6.
Assume that the assumptions (R) and (H) hold. Let(xi)i∈ℤ be a discrete almost periodic sequence and let g(t) be given by
(3.18)g(t)=Γ(t,ti)xi,ti<t≤ti+1,i∈Z.
Then the function g∈APT(𝕏).Proof.
It is clear thatg is T-piecewise continuous. Let ϵ,β>0 be fixed. Let M>0 be a constant such that ∥xj∥≤M for all j∈ℤ. Moreover, applying the Lemma 3.5 we can choose δ>0 such that
(3.19)‖Γ(t,s)xj-Γ(t′,s′)xj‖≤ϵ3,
for |t-t′|≤δ, |s-s′|≤δ, and for all j∈ℤ.
We consider0<ϵ′=min{ϵ/3M,ϵ/3N,β,δ}.
Applying the Lemma3.2 we infer that there are relatively dense sets Ω of ℝ and 𝒬 of ℤ such that the following conditions hold.(i)
∥Γ(t+τ,s+τ)-Γ(t,s)∥<ϵ′ for all t,s∈ℝ, |t-s|>0, |s-tj|>ϵ′, |t-tj|>ϵ′, τ∈Ω and j∈ℤ.(ii)
∥xj+q-xj∥𝕏<ϵ′ for all q∈𝒬 and j∈ℤ.(iii)
|tj+q-tj-τ|<ϵ′ for all q∈𝒬, τ∈Ω and i∈ℤ.
We considert∈ℝ and i∈ℤ such that ti<t<ti+1, |t-ti|>β and |t-ti+1|>β. By using (iii) we select q∈𝒬 such that
(3.20)|tj+q-tj-τ|<ϵ′,
for all j∈ℤ. This implies that
(3.21)ti+q-ti-τ<ϵ′<β,
which in turn implies that
(3.22)t+τ>ti+β+τ>ti+q.
Arguing in a similar way, we have
(3.23)ti+q+1-ti+1-τ>-ϵ′>-β,
from which follows that
(3.24)ti+q+1>ti+1-β+τ>t+τ.
Next we abbreviate k=i+q. Since tk<t+τ<tk+1 we can write
(3.25)g(t+τ)-g(t)=Γ(t+τ,tk)xk-Γ(t,ti)xi=[Γ(t+τ,ti+τ)-Γ(t,ti)]xk+Γ(t,ti)(xk-xi)+Γ(t+τ,tk)xk-Γ(t+τ,ti+τ)xk.
Using (i) we deduce that
(3.26)‖[Γ(t+τ,ti+τ)-Γ(t,ti)]xk‖≤ϵ3.
Similarly, using (ii) we infer that
(3.27)∥Γ(t,ti)(xk-xi)∥≤ϵ3.
Using again that |ti+q-ti-τ|<ϵ′<δ and (3.19), we have that
(3.28)∥Γ(t+τ,tk)xk-Γ(t+τ,ti+τ)xk∥≤ϵ3.
Collecting these estimate, it follows from (3.25) that ∥g(t+τ)-g(t)∥≤ϵ for all τ∈Ω.
Next we will prove thatg is uniformly continuous on the ∪i∈ℤ(ti,ti+1). Let t,h∈ℝ, h>0 such that ti<t,t+h<ti+1. We have
(3.29)g(t+h)-g(t)=Γ(t+h,ti)xi-Γ(t,ti)xi=[Γ(t+h,t)-Γ(t,t)]Γ(t,ti)xi.
We choose appropriately 0<β<a and we analyze Γ(t,ti)xi in the cases t-ti<β,  β≤t-ti≤a and a<t-ti. Arguing as in the proof of the Lemma 3.5 we conclude that g(t+h)-g(t) converges to zero as h→0 independent of t and i.The next theorem is the main result of this section. In this statement we denote(3.30)C=2Nμ(∥f∥∞+∥F(0)∥)+N1-e-μαsup⁡⁡j∈Z∥Ij(0)∥.Theorem 3.7.
Assume that the conditions (R) and (H) hold. Letf∈APT(X) and let F,Ii:𝕏→𝕏, i∈ℤ be maps that satisfy the following conditions.(a)
The family{Ii:i∈ℤ} is almost periodic and there exists a constant L1≥0 such that
(3.31)∥Ii(x)-Ii(y)∥≤L1∥x-y∥,
for all x,y∈𝕏 and i∈ℤ.(b)
There exists a nondecreasing functionL2:[0,∞)→[0,∞) such that
(3.32)∥F(x)-F(y)∥≤L2(r)∥x-y∥,
for all x,y∈𝕏, ∥x-y∥≤r.If there exists r>0 such that
(3.33)Cr+N(L11-e-μα+2L2(r)μ)<1,
then the problem (1.1) has a unique T-piecewise continuous almost periodic mild solution u(·) which satisfies
(3.34)u(t)=∫-∞∞Γ(t,s)f(s)ds+∫-∞∞Γ(t,s)F(u(s))ds+∑ti<tΓ(t,ti)Ii(u(ti)).Proof.
LetΛ:APT(𝕏)→𝒫𝒞T(ℝ,𝕏) be the operator defined by
(3.35)Λu(t)=∫-∞∞Γ(t,s)f(s)ds+∫-∞∞Γ(t,s)F(u(s))ds+∑ti<tΓ(t,ti)Ii(u(ti)).
Since the function t↦F(u(t)) belongs to the space APT(𝕏), it follows from Lemma 3.4 that the function t↦∫-∞∞Γ(t,s)f(s)ds+∫-∞∞Γ(t,s)F(u(s))ds also belongs to the space APT(𝕏).
Letxi=Ii(u(ti)) for i∈ℤ. We define gk:ℝ→𝕏 by gk(t)=Γ(t,ti-k)xi-k for ti<t≤ti+1. It follows from Lemma 3.6 that gk∈APT(𝕏). Moreover,
(3.36)∥gk(t)∥=∥Γ(t,ti-k)xi-k∥≤Nsup⁡i∈Z∥xi∥e-μ(t-ti-k)≤Nsup⁡⁡i∈Z∥xi∥e-μ(t-ti)e-μαk.
Therefore, the series ∑k=0∞gk is uniformly convergent on ℝ. Consequently, ∑k=0∞gk∈APT(𝕏). Since ∑ti<tΓ(t,ti)Ii(u(ti))=∑k=0∞gk, and combining this property with the previous assertion, it follows that Λu∈APT(𝕏).
This shows thatΛ:APT(𝕏)→APT(𝕏). Let u∈APT(𝕏) such that ∥u∥∞≤r. It follows from (3.35) that
(3.37)∥Λu(t)∥≤∫-∞t∥Γ(t,s)f(s)∥ds+∫t∞∥Γ(t,s)f(s)∥ds+∫-∞t∥Γ(t,s)(F(u(s))-F(0))∥ds+∫-∞t∥Γ(t,s)F(0)∥ds+∫t∞∥Γ(t,s)(F(u(s))-F(0))∥ds+∫t∞∥Γ(t,s)F(0)∥ds+∑ti<t∥Γ(t,ti)(Ii(u(ti))-Ii(0))∥+∑ti<t∥Γ(t,ti)Ii(0)∥≤C+2NμL2(r)r+N1-e-μαL1r≤r,
which implies that Λ(Br(APT(𝕏)))⊆Br(APT(𝕏)).
Finally, we verify thatΛ is a contraction, let u1,u2 be arbitrary elements of Br(APT(𝕏)) and ti<t≤ti+1. Since t-tj≥t-ti+(i-j)α for j≤i, we get
(3.38)∥Λu1(t)-Λu2(t)∥≤∑-∞<tj<t∥Γ(t,tj)∥L(X)∥Ij(u1(tj))-Ij(u2(tj))∥+∫-∞∞∥Γ(t,s)∥L(X)∥F(u1(s))-F(u2(s))∥ds≤∑j=-∞iNe-μ(t-tj)L1∥u1-u2∥∞+∫-∞tNe-μ(t-s)L2(r)∥u1-u2∥∞ds+∫t∞Ne-μ(s-t)L2(r)∥u1-u2∥∞ds≤NL1e-μ(t-ti)∑j=-∞ie-μα(i-j)∥u1-u2∥∞+2NL2(r)μ∥u1-u2∥∞≤N(L11-e-μα+2L2(r)μ)∥u1-u2∥∞.
It follows from (3.3) that the fixed point u of Λ is the T-piecewise continuous almost periodic mild solution of the problem (1.1).In the caseF satisfies a uniform Lipschitz condition we obtain the following immediate consequence.Corollary 3.8.
Assume that the conditions (R) and (H) hold. Letf∈APT(X) and let F,Ii:𝕏→𝕏,  i∈ℤ be maps that satisfy the following conditions.(a)
The family{Ii:i∈ℤ} is almost periodic and there exists a constant L1≥0 such that
(3.39)∥Ii(x)-Ii(y)∥≤L1∥x-y∥,
for all x,y∈𝕏 and i∈ℤ.(b)
There exists a constantL2≥0 such that
(3.40)∥F(x)-F(y)∥≤L2∥x-y∥,
for all x,y∈𝕏.If
(3.41)N(L11-e-μα+2L2μ)<1,
then the problem (1.1) has a unique T-piecewise continuous almost periodic mild solution.


## 4. Applications

As an application we consider a system described by the partial differential equation with impulses(4.1)∂∂tz(t,ξ)=∂2∂ξ2z(t,ξ)+b(t)z(t,ξ)+w(t,ξ),t∈R,ξ∈[0,π],z(t,0)=z(0,π)=0,t∈RΔz(ti,ξ)=∫0πp(ti,η,ξ)z(ti,η)dη,ξ∈[0,π],i∈Z.
In this equation, we assume that b:ℝ→ℝ, w:ℝ×[0,π]→ℝ and p:ℝ×[0,π]×[0,π]→ℝ are functions that satisfy some properties to be specified later. Moreover, T={ti}i∈ℤ is a uniformly almost periodic sequence of moments. Such systems arises, among other diffusion systems, in the temperature control of a heated metal bar with insulated ends. To model this system we consider 𝕏=L2([0,π]). Let A0 be the operator defined by(4.2)(A0φ)(ξ)=d2φ(ξ)dξ2
with domain(4.3)D(A0)={φ∈X:φ∈H2([0,π]),φ(0)=φ(π)=0}.
The spectrum of A0 consists of the eigenvalues -n2 for n∈IN, with associated eigenvectors(4.4)φn(ξ)=(2π)1/2sin⁡(nξ).
Furthermore, the set {φn:n∈IN} is an orthonormal basis of 𝕏. In particular,(4.5)A0φ=∑n=1∞-n2〈φ,φn〉φn,
for φ∈D(A0). Using the above expression, one easily verifies that A0 is the infinitesimal generator of a strongly continuous semigroup S(t) given by(4.6)S(t)φ=∑n=1∞e-n2t〈φ,φn〉φn,t≥0.LetA(t)=A0+b(t)I for t∈ℝ defined on D(A(t))=D(A0). We consider the following conditions.(a)
The functionb(·) is almost periodic.(b)
The functionp(·) is continuous. We denote
(4.7)L1=(∬0πp2(ti,η,ξ)dηdξ)1/2.(c)
The functionw verifies the Carathéodory conditions:
(i)
w(t,·):[0,π]→ℝ is measurable;(ii)
w(·,ξ):ℝ→ℝ is continuous a.e.;(iii)
there exists a functiong∈L2([0,π]) such that |w(t,ξ)|≤g(ξ) for all t∈ℝ and ξ∈[0,π].In this case, the operatorsA(t) satisfy the conditions (AT1)-(AT2). Moreover, the evolution family U(t,s) generated by A(t) is given by(4.8)U(t,s)=e∫stb(τ)dτS(t-s),s≤t.
It is immediate that this evolution family satisfies the assumption (H). It follows from (c) that the function f:ℝ→𝕏, f(t)=w(t,·) is measurable. Moreover, it follows from (b) that the map Ii:𝕏→𝕏 given by(4.9)Ii(φ)(ξ)=∫0πp(ti,η,ξ)φ(η)dη,
is a bounded linear map with ∥Ii∥≤L1 for all i∈ℤ. Consequently, if we define u(t)=z(t,·), the problem (4.1) can be modeled by the abstract system (1.1). In the rest of this section we assume that conditions (a), (b), and (c) are fulfilled. We assume further that w satisfies the following condition.  (d)
The functionw is uniformly T-piecewise almost periodic. This means that
(i)
for the set{w(·,ξ):0≤ξ≤π}⊆APT(ℝ) and for each ϵ>0, there exists a relatively dense set Ωϵ in ℝ such that
(4.10)|w(t+τ,ξ)-w(t,ξ)|<ϵ,
for all τ∈Ωϵ, ξ∈[0,π] and t∈ℝ satisfying the condition |t-ti|>ϵ for all i∈ℤ.(ii)
for everyϵ>0 there exists δ>0 such that |w(t,ξ)-w(t′,ξ)∥<ϵ for all i∈ℤ, ξ∈[0,π],  t,t′∈(ti,ti+1) such that |t-t′|<δ,It is not difficult to show that ifw satisfies conditions (c) and (d), then the function f∈APT(𝕏).On the other hand, we consider the following condition.(e)
There aren∈IN and μ>0 such that (n-1)2+μ≤b(t)≤n2-μ for all t∈ℝ.Assuming that this condition holds, we defineP(t):𝕏→𝕏 by(4.11)P(t)φ=∑k=n∞〈φ,φk〉φk.
It is immediate to see that (4.12)U(t,s)P(s)φ=∑k=n∞〈φ,φk〉e∫stb(τ)dτS(t-s)φk=∑k=n∞e-k2(t-s)+∫stb(τ)dτ〈φ,φk〉φk,
which implies that(4.13)∥U(t,s)P(s)φ∥≤e-n2(t-s)+∫stb(τ)dτ∥φ∥.
Since(4.14)∫stb(τ)dτ-n2(t-s)≤-μ(t-s),
we infer that(4.15)∥U(t,s)P(s)∥≤e-μ(t-s),s≤t.
Arguing in a similar way, if Q(t)=I-P(t), then(4.16)U(t,s)Q(s)φ=∑k=1n-1e-k2(t-s)+∫stb(τ)dτ〈φ,φk〉φk,
which implies that(4.17)U(t,s)Q(s)φ=∑k=1n-1e-k2(t-s)+∫stb(τ)dτ〈φ,φk〉φk,UQ(s,t)φ=(U(t,s)Q(s))-1φ=∑k=1n-1ek2(t-s)-∫stb(τ)dτ〈φ,φk〉φk.
Hence(4.18)∥UQ(s,t)φ∥≤e(n-1)2(t-s)-∫stb(τ)dτ∥φ∥.
In view of that(4.19)∫stb(τ)dτ-(n-1)2(t-s)≥μ(t-s),
we infer that(4.20)∥UQ(s,t)∥≤e-μ(t-s),s≤t.
As a consequence we can affirm that the evolution family U(·,·) has an exponential dichotomy and the associated Green's function Γ satisfies the estimate ∥Γ(t,s)∥≤e-μ|t-s| for s,t∈ℝ.Finally, we note that forRe(λ) enough small, the resolvent operator (4.21)R(λ,A(t))=(λI-A0-b(t)I)-1=(I-b(t)R(λ,A0))-1R(λ,A0)=∑k=0∞b(t)kR(λ,A0)k+1,
where the series on the right hand side converges in the space ℒ(𝕏) uniformly for t∈ℝ. Therefore, the operator-valued function R(λ,A(·))∈AP(ℒ(𝕏)), which in turn shows that the evolution family U(·,·) satisfies the condition (R).The next result is an immediate consequence of the Theorem3.7.Theorem 4.1.
Let us assume the conditions (a)-(e) are fulfilled. IfL1/1-e-μα<1, then the problem (4.1) has a unique T-piecewise almost periodic mild solution.This result can be generalized to include the system(4.22)∂∂tz(t,ξ)=a(t)∂2∂ξ2z(t,ξ)+b(t)z(t,ξ)+w(t,ξ),t∈R,ξ∈[0,π],z(t,0)=z(0,π)=0,t∈R,Δz(ti,ξ)=∫0πp(ti,η,ξ)z(ti,η)dη,ξ∈[0,π],i∈Z,
when a(·)∈AP(ℝ) is a positive function. In fact, in this case the evolution family U(·,·) is given by(4.23)U(t,s)=e∫stb(τ)dτS(∫sta(τ)dτ),s≤t,
and we can argue as above to study this system.



---

*Source: 632687-2011-04-11.xml*