Research Article Existence of Almost Periodic Solutions for ...Existence of Almost Periodic...
Transcript of Research Article Existence of Almost Periodic Solutions for ...Existence of Almost Periodic...
-
Research ArticleExistence of Almost Periodic Solutions for Impulsive NeutralFunctional Differential Equations
Junwei Liu1 and Chuanyi Zhang2
1 College of Science, Yanshan University, Qinhuangdao 066004, China2Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China
Correspondence should be addressed to Junwei Liu; [email protected]
Received 8 May 2014; Accepted 20 July 2014; Published 12 August 2014
Academic Editor: Robert A. Van Gorder
Copyright Β© 2014 J. Liu and C. Zhang.This is an open access article distributed under the Creative Commons Attribution License,which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The existence of piecewise almost periodic solutions for impulsive neutral functional differential equations in Banach spaceis investigated. Our results are based on Krasnoselskiiβs fixed-point theorem combined with an exponentially stable stronglycontinuous operator semigroup. An example is given to illustrate the theory.
1. Introduction
In this paper, we study the existence of piecewise almostperiodic solutions for a class of abstract impulsive neutralfunctional differential equationswith unbounded delaymod-eled in the form
π
ππ‘(π’ (π‘) + π (π‘, π’
π‘)) = π΄π’ (π‘) + π (π‘, π’
π‘) ,
π‘ β π , π‘ ΜΈ= π‘π, π β π,
Ξπ’ (π‘π) = πΌ
π(π’
π‘π) , π β π,
(1)
where π΄ is the infinitesimal generator of an exponentiallystable strongly continuous semigroup of linear operators{π(π‘)}
π‘β₯0on a Banach space (π, β β β), the history π’
π‘:
(ββ, 0] β π, π’π‘(π) = π’(π‘ + π) belongs to an abstract phase
space B defined axiomatically, π(β ), π(β ), πΌπ(β ) (π β π) are
appropriate functions, {π‘π}πβπ
is a discrete set of real numberssuch that π‘
π< π‘
πwhen π < π, and the symbol Ξπ(π‘) represents
the jump of the function π(β ) at π‘, which is defined by Ξπ(π‘) =π(π‘
+) β π(π‘
β).
The existence of solutions to impulsive differential equa-tions is one of the most attracting topics in the qualita-tive theory of impulsive differential equations due to theirapplications in mechanical, electrical engineering, ecology,biology, and others; see, for instance, [1β6] and the referencestherein. Some recent contributions on mild solutions to
impulsive neutral functional differential equations have beenestablished in [7β14]. On the other hand, the existence ofalmost periodic solutions for impulsive differential equationshas been investigated by many authors; see, for example, [2β5, 15, 16]. However, the existence of almost periodic solutionsfor the impulsive neutral functional differential equations inthe form (1) is an untreated topic in the literature and this factis the motivation of the present work.
The paper is organized as follows: in Section 2, we recallsome notations, concepts, and useful lemmas which areused in this paper. In Section 3, some criteria ensuring theexistence of almost periodic solutions for impulsive neutralfunctional differential equations are obtained. In Section 4,we give an application.
2. Preliminaries
Let (π, β β β) be a Banach space. π΄ : π·(π΄) β π is theinfinitesimal generator of a strongly continuous semigroup oflinear operators {π(π‘)}
π‘β₯0on the Banach space π and π
1, πΏ
are positive constants such that βπ(π‘)β β€ π1πβπΏπ‘ for π‘ β₯ 0.
Let 0 β π(π΄); it is possible to define the fractional powerπ΄πΌ, 0 < πΌ < 1, as a closed linear operator with its domain
π·(π΄πΌ). We denote by π
πΌa Banach space between π·(π΄) and
π endowed with the norm βπ₯βπΌ
= βπ΄πΌπ₯β, π₯ β π·(π΄πΌ); the
following properties hold.
Hindawi Publishing CorporationAbstract and Applied AnalysisVolume 2014, Article ID 782018, 11 pageshttp://dx.doi.org/10.1155/2014/782018
-
2 Abstract and Applied Analysis
Lemma 1 (see [17, 18]). Let 0 < πΌ < π½ < 1; then ππ½is
continuously embedded intoππΌwith bounded πΎ; that is,
βπ₯βπΌβ€ πΎβπ₯β
π½. (2)
Moreover, the function π β π΄πΌπ(π ) is continuous in theuniform operator topology on (0,β) and there exists π
2> 0
such that βπ΄πΌπ(π‘)β β€ π2πβπΏπ‘
π‘βπΌ for every π‘ > 0.
Throughout this paper, let T be the set consisting of allreal sequences {π‘
π}πβπ
such that πΎ = infπβπ
(π‘π+1
β π‘π) > 0.
For {π‘π}πβπ
β T , let ππΆ(π ,ππΌ) be the space formed by all
piecewise continuous functions π : π β ππΌsuch that π(β )
is continuous at π‘ for any π‘ β {π‘π}πβπ
and π(π‘π) = π(π‘
β
π) for all
π β π; letππΆ(π ΓππΌ, π
πΌ) be the space formed by all piecewise
continuous functions π : π Γ ππΌ
β ππΌsuch that, for any
π₯ β ππΌ, π(β , π₯) is continuous at π‘ for any π‘ β {π‘
π}πβπ
andπ(π‘
π, π₯) = π(π‘
β
π, π₯) for all π β π and for any π‘ β π , π(π‘, β ) is
continuous at π₯ β ππΌ.
Definition 2. A number π β π is called an π-translationnumber of the function π β ππΆ(π ,π
πΌ) if
π(π‘ + π) β π(π‘)πΌ < π, (3)
for all π‘ β π which satisfies |π‘ β π‘π| > π, for all π β π. Denote
by π(π, π) the set of all π-translation numbers of π.
Definition 3 (see [1]). A function π β ππΆ(π ,ππΌ) is said to
be piecewise almost periodic if the following conditions arefulfilled.
(1) {π‘ππ
= π‘π+π
β π‘π}, π β π, π = 0, Β±1, Β±2, . . ., are
equipotentially almost periodic; that is, for any π > 0,there exists a relatively dense set of π-almost periodsthat are common to all the sequences {π‘π
π}.
(2) For any π > 0, there exists a positive number πΏ = πΏ(π)such that if the points π‘ and π‘ belong to a sameinterval of continuity of π and |π‘ β π‘| < πΏ, thenβπ(π‘
) β π(π‘
)βπΌ< π.
(3) For every π > 0, π(π, π) is a relatively dense set in π .
We denote by π΄ππ(π ,π
πΌ) the space of all piecewise
almost periodic functions. π΄ππ(π ,π
πΌ) endowed with the
uniform convergence topology is a Banach space.
Definition 4. π β ππΆ(π Γ ππΌ, π
πΌ) is said to be piecewise
almost periodic in π‘ uniformly in π₯ β ππΌif for each compact
set πΎ β ππΌ, {π(β , π₯) : π₯ β πΎ} is uniformly bounded and,
given π > 0, there exists a relatively dense setΞ©(π) such thatπ(π‘ + π, π₯) β π(π‘, π₯)
πΌ < π, (4)
for all π₯ β πΎ, π β Ξ©(π), and π‘ β π , |π‘ β π‘π| > π for all π β π.
Denote by π΄ππ(π Γ π
πΌ, π
πΌ) the set of all such functions.
Lemma 5 (see [15]). Let π β π΄ππ(π ,π
πΌ); then the range of π,
π (π), is a relatively compact subset ofππΌ.
Lemma 6. Suppose that π(π‘, π₯) β π΄ππ(π Γ π
πΌ, π
πΌ) and
π(π‘, β ) is uniformly continuous on each compact subsetπΎ β ππΌ
uniformly for π‘ β π ; that is, for every π > 0, there existsπΏ > 0 such that π₯, π¦ β πΎ and βπ₯ β π¦β
πΌ< πΏ implies that
βπ(π‘, π₯) β π(π‘, π¦)βπΌ
< π for all π‘ β π . Then π(β , π₯(β )) βπ΄π
π(π ,π
πΌ) for any π₯ β π΄π
π(π ,π
πΌ).
Proof. Since π₯ β π΄π(π ,ππΌ), by Lemma 5, π (π₯) is a relatively
compact subset ofππΌ. Becauseπ(π‘, β ) is uniformly continuous
on each compact subsetπΎ β ππΌuniformly for π‘ β π , then for
any π > 0, there exist a number πΏ : 0 < πΏ β€ π/2, such that
π(π‘, π₯1) β π(π‘, π₯2)πΌ <
π
2, (5)
where π₯1, π₯
2β π (π₯), and βπ₯
1β π₯
2βπΌ< πΏ, π‘ β π . By piecewise
almost periodic of π and π₯, there exists a relatively dense setΞ© of π such that the following conditions hold:
π(π‘ + π, π₯0) β π(π‘, π₯0)πΌ <
π
2,
βπ₯(π‘ + π) β π₯(π‘)βπΌ<
π
2,
(6)
for π₯0β π (π₯) and π‘ β π , |π‘ β π‘
π| > π, π β π, π β Ξ©. Note that
π (π‘ + π, π₯ (π‘ + π)) β π (π‘, π₯ (π‘))
= π (π‘ + π, π₯ (π‘ + π)) β π (π‘, π₯ (π‘ + π))
+ π (π‘, π₯ (π‘ + π)) β π (π‘, π₯ (π‘)) .
(7)
We haveπ(π‘ + π, π₯(π‘ + π)) β π(π‘, π₯(π‘))
πΌ
β€π(π‘ + π, π₯(π‘ + π)) β π(π‘, π₯(π‘ + π))
πΌ
+π (π‘, π₯ (π‘ + π)) β π (π‘, π₯ (π‘))
πΌ.
(8)
We deduce from (5) and (6) that the following formula holds:π(π‘ + π, π₯(π‘ + π)) β π(π‘, π₯(π‘))
πΌ β€ π,
π‘ β π ,π‘ β π‘π
> π, π β π, π β Ξ©.
(9)
That is, π(β , π₯(β )) is piecewise almost periodic. The proof iscomplete.
Since the uniform continuity is weaker than the Lipschitzcontinuity, we obtain the following lemma as an immediateconsequence of the previous lemma.
Lemma 7. Let π(π‘, π₯) β π΄ππ(π Γ π
πΌ, π
πΌ) and π is Lipschitz;
that is, there is a positive number πΏ such thatπ(π‘, π₯) β π(π‘, π¦)
πΌ β€ πΏπ₯ β π¦
πΌ, (10)
for all π‘ β π and π₯, π¦ β ππΌ; if for any π₯ β π΄π
π(π ,π
πΌ), then
π(β , π₯(β )) β π΄ππ(π ,π
πΌ).
In this paper, we assume that the phase space B is alinear space formed by functions mapping (ββ, 0] into π
πΌ
endowed with a norm β β βB and satisfying the followingconditions.
-
Abstract and Applied Analysis 3
(1) If π₯ β ππΆ(π ,ππΌ), then π₯
π‘β B for all π‘ β π and
βπ₯π‘βB β€ πΏ supπ β€π‘βπ₯(π )βπΌ, where πΏ > 0 is a constant
independent of π₯(β ) and π‘ β π .
(2) The spaceB is complete.
(3) If {ππ}πβπ
β B is a uniformly bounded sequence inππΆ((ββ, 0], π
πΌ) formed by functions with compact
support and ππ β π in the compact open topology,then π β B and βππ β πβB β 0, as π β β.
Lemma 8 (see [1, 15]). Assume that π β π΄ππ(π ,π
πΌ), the
sequence {π₯π: π β π} is almost periodic in π
πΌ, and {π‘π
π=
π‘π+π
β π‘π}, π β π, π = 0, Β±1, Β±2, . . ., are equipotentially almost
periodic. Then for each π > 0, there are relatively dense setsΞ©π,π,π₯π
of π and ππ,π,π₯π
of π such that the following conditionshold.
(i) βπ(π‘ + π) β π(π‘)βπΌ
< π for all π‘ β π , |π‘ β π‘π| > π, π β
Ξ©π,π,π₯π
, and π β π.
(ii) βπ₯π+π
β π₯πβπΌ< π for all π β π
π,π,π₯πand π β π.
(iii) For every π β Ξ©π,π,π₯π
, there exists at least one numberπ β π
π,π,π₯πsuch that
π‘π
πβ π
< π, π β π. (11)
Definition 9. A bounded function π’ β ππΆ(π ,ππΌ) is a mild
solution of (1) if the following holds:π’π= π β B, the function
π΄π(π‘ β π )π(π , π’π ) is integrable, and for any π‘ β π , π‘
π< π‘ β€ π‘
π+1,
π’ (π‘) = π (π‘ β π) [π (0) + π (π, π)] β π (π‘, π’π‘)
β β«
π‘
π
π΄π (π‘ β π ) π (π , π’π ) ππ
+ β«
π‘
π
π (π‘ β π ) π (π , π’π ) ππ
+ β
π
-
4 Abstract and Applied Analysis
In order to obtain our results, we need to introduce someadditional notations. Letβ : π β π be a continuous functionsuch that β(π‘) β₯ 1 for all π‘ β π and β(π‘) β β as |π‘| β β.We consider the space
(ππΆ)0
β(π ,π
πΌ) = {π’ β ππΆ (π ,π
πΌ) : lim
|π‘|ββ
βπ’ (π‘)βπΌ
β (π‘)= 0} .
(16)
Endowed with the norm βπ’ββ= sup
π‘βπ (βπ’(π‘)β
πΌ/β(π‘)), it is a
Banach space.We recall here the following compactness criterion in
these spaces, which we can refer to [7, 19β23].
Lemma 10. A set π΅ β (ππΆ)0β(π ,π
πΌ) is a relatively compact set
if and only if
(1) lim|π‘|ββ
(βπ₯(π‘)βπΌ/β(π‘)) = 0 uniformly for π₯ β π΅;
(2) π΅(π‘) = {π₯(π‘) : π₯ β π΅} is relatively compact in ππΌfor
every π‘ β π ;(3) the set π΅ is equicontinuous on each interval (π‘
π, π‘π+1
)
(π β π).
Theorem 11 (Krasnoselskiiβs fixed-point theorem [24]). Letπ be a closed convex nonempty subset of a Banach space π;suppose that π΄ and π΅ map π intoπ such that
(i) π΄π₯ + π΅π¦ β π (βπ₯, π¦ β π),(ii) π΄ is completely continuous,(iii) π΅ is a contraction with constant πΏ < 1.
Then there is a π¦ β π with π΄π¦ + π΅π¦ = π¦.
3. Main Results
In this section, we discuss the existence of piecewise almostperiodic solutions for impulsive neutral functional differen-tial equation (1). To begin, let us list the following hypotheses.
(A1) The operator π΄ is the infinitesimal generator of anexponentially stable strongly continuous semigroupof linear operators {π(π‘)}
π‘β₯0; that is, there exist con-
stants π1> 0, πΏ > 0 such that βπ(π‘)β β€ π
1πβπΏπ‘ for
π‘ β₯ 0. Moreover, π(π‘) is compact for π‘ > 0.(A2) π(π‘, π₯) β π΄π
π(π ΓB, π
πΌ) is uniformly continuous in
π₯ β B uniformly in π‘ β π ; πΌπ(π₯) is almost periodic
in π β π uniformly in π₯ β B and is a uniformlycontinuous function in π₯ for all π β π. For everyπ > 0, πΆ
1π= sup
π‘βπ ,βπ₯βBβ€ππΏβπ(π‘, π₯)β
πΌ< β, πΆ
2π=
supπβπ,βπ₯βBβ€ππΏ
βπΌπ(π₯)β
πΌ< β. Moreover, there exist a
number πΏ0> 0, such thatπ
1(πΆ
1/πΏ+πΆ
2/(1βπ
βπΏπΎ)) β€
πΏ0/2, where πΆ
1= πΆ
1πΏ0, πΆ
2= πΆ
2πΏ0.
(A3) π β π΄ππ(π Γ B, π
π½), π(π‘, 0) = 0, and there exist a
number πΏ1> 0 such that
π(π‘, π1) β π(π‘, π2)π½ β€ πΏ1
π1 β π2B (17)
for all π‘ β π , π1, π
2β B.
(A4) Let {π₯π} β π΄π
π(π ,π
πΌ) be uniformly bounded in π
and uniformly convergent in each compact set of π ;then {π(β , π₯
π(β ))} is relatively compact in ππΆ(π ,π
πΌ).
Theorem 12. Suppose that conditions (A1)β(A4) hold; then (1)has a piecewise almost periodic solution provided thatπΎπΏπΏ
1+
(π2π/πΏ
π½βπΌ sin(π(1 + πΌ β π½))Ξ(1 + πΌ β π½))πΏ1πΏ β€ 1/2.
Proof. Let
π΅ = {π’ β π΄ππ(π ,π
πΌ) : βπ’β
πΌβ€ πΏ
0} . (18)
Note that π΅ is a closed convex set ofπ΄ππ(π ,π
πΌ). By (A3) and
Lemma 1, we have
π΄π (π‘ β π ) π (π , π’π )πΌ
β€π΄1+πΌβπ½
π (π‘ β π )
π(π , π’π )π½
β€ π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)π(π , π’π ) β π(π , 0)
π½
β€ π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
πΏ1
π’π B
β€ π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
πΏ1πΏ sup
πβ€π
βπ’(π)βπΌ
β€ π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
πΏ1πΏπΏ
0,
(19)
and we infer that π β π΄π(π‘ β π )π(π , π’π ) is integrable on
(ββ, π‘].Define the operator Ξ₯ on (ππΆ)0
β(π ,π
πΌ) by
Ξ₯π’ (π‘) = β π (π‘, π’π‘) β β«
π‘
ββ
π΄π (π‘ β π ) π (π , π’π ) ππ
+ β«
π‘
ββ
π (π‘ β π ) π (π , π’π ) ππ
+ β
π‘π
-
Abstract and Applied Analysis 5
For any π₯, π¦ β π΅, by (A3) and Lemma 1, we have
Ξ₯1π₯ (π‘)πΌ
=
βπ (π‘, π₯
π‘) β β«
π‘
ββ
π΄π (π‘ β π ) π (π , π₯π ) ππ
πΌ
β€π (π‘, π₯π‘)
πΌ
+ β«
π‘
ββ
π΄π (π‘ β π ) π (π , π₯π )πΌππ
β€ πΎπ (π‘, π₯π‘)
π½
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )
π (π , π₯π )π½ππ
= πΎπ(π‘, π₯π‘) β π(π‘, 0)
π½
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )
Γπ (π , π₯π ) β π (π , 0)
π½ππ
β€ πΎπΏ1
π₯π‘B
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )πΏ1
π₯π Bππ
β€ πΎπΏ1πΏ sup
πβ€π‘
βπ₯(π)βπΌ
+ β«
π‘
ββ
π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
Γ πΏ1πΏ sup
πβ€π
βπ₯ (π)βπΌππ
β€ πΎπΏ1πΏβπ₯β
πΌ
+ β«
π‘
ββ
π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
Γ πΏ1πΏβπ₯β
πΌππ
β€ πΎπΏ1πΏβπ₯β
πΌ
+π
2π
πΏπ½βπΌ sin (π (1 + πΌ β π½)) Ξ (1 + πΌ β π½)
Γ πΏ1πΏβπ₯β
πΌ,
Ξ₯2π¦ (π‘)πΌ =
β«
π‘
ββ
π (π‘ β π ) π (π , π¦π ) ππ
+β
π‘π
-
6 Abstract and Applied Analysis
where π‘ β π , |π‘ β π‘π| > π, π β π. So for π β Ξ©
π,π,π,πΌπ, we know
that
Ξ₯1π₯ (π‘ + π) β Ξ₯
1π₯ (π‘)
= βπ (π‘ + π, π₯π‘+π
) β β«
π‘+π
ββ
π΄π (π‘ + π β π ) π (π , π₯π ) ππ
+ π (π‘, π₯π‘) + β«
π‘
ββ
π΄π (π‘ β π ) π (π , π₯π ) ππ
= βπ (π‘ + π, π₯π‘+π
) + π (π‘, π₯π‘)
β β«
π‘
ββ
π΄π (π‘ β π ) [π (π + π, π₯π +π
) β π (π , π₯π )] ππ ,
(28)
soΞ₯1π₯(π‘ + π) β Ξ₯1π₯(π‘)
πΌ
β€π(π‘ + π, π₯π‘+π) β π(π‘, π₯π‘)
πΌ
+ β«
π‘
ββ
π΄π (π‘ β π ) [π (π + π, π₯π +π) β π (π , π₯π )]πΌππ
β€ πΎπ(π‘ + π, π₯π‘+π) β π(π‘, π₯π‘)
π½
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )
Γπ (π + π, π₯π +π) β π (π , π₯π )
π½ππ
β€ πΎπ + β«
π‘
ββ
π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
πππ
β€ π(πΎ +π
2π
πΏπ½βπΌ sin (π (1 + πΌ β π½)) Ξ (1 + πΌ β π½)) .
(29)
That is,Ξ₯1π₯(π‘ + π) β Ξ₯1π₯(π‘)
πΌ
β€ π (πΎ + (π2π)
Γ (πΏπ½βπΌ sin (π (1 + πΌ β π½))
Γ Ξ (1 + πΌ β π½))β1
) ,
(30)
Ξ₯2π¦ (π‘ + π) β Ξ₯
2π¦ (π‘)
= β«
π‘+π
ββ
π (π‘ + π β π ) π (π , π¦π ) ππ
+ β
π‘π
-
Abstract and Applied Analysis 7
+ β«
π‘
ββ
π΄π (π‘ β π ) [π (π , π₯π ) β π (π , π¦π )]πΌππ
β€ πΎπ(π‘, π₯π‘) β π(π‘, π¦π‘)
π½
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )
π(π , π₯π ) β π(π , π¦π )π½ππ
β€ πΎπΏ1
π₯π‘ β π¦π‘B
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )πΏ1
π₯π β π¦π Bππ
β€ πΎπΏ1πΏ sup
πβ€π‘
π₯ (π) β π¦ (π)πΌ
+ β«
π‘
ββ
π΄1+πΌβπ½
π (π‘ β π )πΏ1πΏ sup
πβ€π
π₯(π) β π¦(π)πΌππ
β€ πΎπΏ1πΏπ₯ β π¦
πΌ
+ β«
π‘
ββ
π2πβπΏ(π‘βπ )
(π‘ β π )β(1+πΌβπ½)
πΏ1πΏπ₯ β π¦
πΌππ
β€ πΎπΏ1πΏπ₯ β π¦
πΌ
+π
2π
πΏπ½βπΌ sin (π (1 + πΌ β π½)) Ξ (1 + πΌ β π½)
Γ πΏ1πΏπ₯ β π¦
πΌ.
(34)
Therefore,Ξ₯1π₯ β Ξ₯1π¦
πΌ
β€ [πΎπΏ1πΏ +
π2π
πΏπ½βπΌ sin (π (1 + πΌ β π½)) Ξ (1 + πΌ β π½)πΏ1πΏ]
Γπ₯ β π¦
πΌ.
(35)
SinceπΎπΏ1πΏ+ (π
2π/πΏ
π½βπΌ sin(π(1+πΌβπ½))Ξ(1+πΌβπ½))πΏ1πΏ β€
1/2 < 1, it follows that Ξ₯1is a contraction.
Step 3. Ξ₯2is completely continuous.
Claim 1. Ξ₯2is continuous.
Let {π₯π} β π΄π
π(π ,π
πΌ), π₯
πβ π₯ in π΄π
π(π ,π
πΌ) as π β
β; by Lemma 5, we may find a compact subset π΅0β π
πΌsuch
that π₯π(π‘), π₯(π‘) β π΅
0for all π‘ β π , π β π; here we assume
π΅ β π΅0. By (A2), for the given π, there exist πΏ > 0 such that
π₯, π¦ β B, βπ₯ β π¦βB β€ πΏ, implies that
π (π‘, π₯π‘) β π (π‘, π¦π‘)πΌ β€ π,
πΌπ(π₯
π‘π) β πΌ
π(π¦
π‘π)πΌ
β€ π.
(36)
For the above πΏ, there exists π0β π such that
π₯π(π‘) β π₯(π‘)πΌ β€
πΏ
πΏ(37)
for π > π0and π‘ β π ; then
(π₯π)π‘ β π₯π‘B β€ πΏ,
π(π‘, (π₯π)π‘) β π (π‘, π₯π‘)πΌ β€ π,
πΌπ((π₯
π)π‘π) β πΌ
π(π₯
π‘π)πΌ
β€ π,
(38)
for π > π0and π‘ β π . Hence,
Ξ₯2(π₯π)(π‘) β Ξ₯2π₯(π‘)πΌ
=
β«
π‘
ββ
π (π‘ β π ) π (π , (π₯π)π ) ππ
+ β
π‘π
-
8 Abstract and Applied Analysis
where {Ξ₯2π’(π‘ β π) : π’ β π΅} is uniformly bounded in π
πΌand
π(π) is compact, so {Ξ₯π2π’(π‘) : π’ β π΅} is relatively compact in
ππΌ. Moreover,
Ξ₯2π’ (π‘) β Ξ₯π
2π’ (π‘)
πΌ
=
β«
π‘
π‘βπ
π (π‘ β π ) π (π , π₯π ) ππ
+ β
π‘βπ
-
Abstract and Applied Analysis 9
β€π
4,
β
π‘
-
10 Abstract and Applied Analysis
Let π = πΏ2([0, π]) and π΄ be the infinitesimal generatorof an analytic semigroup {π(π‘)}
π‘β₯0which is compact for π‘ > 0
and given by π΄π’ = π’ with domain π·(π΄) = {π’ β πΏ2([0, π]) :π’
β πΏ2([0, π]), π’(0) = π’(π) = 0}. The semigroup {π(π‘)}
π‘β₯0is
defined for π’ β πΏ2([0, π]) by
π (π‘) π’ =
β
β
π=1
πβπ2π‘β¨π’, π
πβ© π
π, (52)
where {ππ, π β π} is an orthonormal basis of π; then
|π(π‘)π’| β€ πβπ‘|π’|, 0 ΜΈ= π’ β πΏ2([0, π]). For π’ β πΏ2([0, π]),
πΌ β (0, 1), (βπ΄)βπΌπ’ = ββπ=1
πβ2πΌ
β¨π’, ππβ©π
π, π
πΌis the Banach
space endowed with the norm β β βπΌbetweenπ andπ·(π΄).
In this paper, we assume πΌ = 1/4, π½ = 3/4.To study the system (51), we make the following assump-
tions.(i) The functions (ππ/πππ)π
1(π, π, π), π = 0, 1 are Lebesgue
measurable, π1(π, π, 0) = π
1(π, π, π) = 0 and
πΏ1
:= max{β«π
0
β«
0
ββ
β«
π
0
(ππ
ππππ1(π, π, π))
2
ππ ππ ππ : π = 0, 1}
< β.
(53)
(ii) The functions ππ(π = 2, 3, 4), π
π(π β π) are
continuous, and the sequence of functions {ππ, π β π} is
almost periodic.
Under these conditions, we define π, π : π ΓB β π, πΌπ:
B β π (π β π) by
π (π‘, π) = β«
0
ββ
β«
π
0
π1(π , π, π) π (π‘ + π , π) ππ ππ ,
π‘ β π , π β [0, π] ,
π (π‘, π) = π2(π) π (π‘, π) + β«
0
ββ
π3(π ) π (π‘ + π , π) ππ + π
4(π‘, π) ,
π‘ β π , π β [0, π] ,
πΌπ(π) = β«
π
0
ππ(π‘πβ π ) π (π , π) ππ , π β π, π β [0, π] .
(54)
We assume further that π, π satisfy the following condi-tion.
(iii) π β π΄ππ(π Γ B, π
π½) and π β π΄π
π(π Γ B, π
πΌ) are
uniformly continuous in π₯ β B uniformly in π‘ β π .Under the above assumptions, we can rewrite (51) as
the abstract form (1) and verify that the assumptions ofTheorem 12 hold; then we can get the next result, which is aconsequence of Theorem 12.
Proposition 14. Assume that the previous conditions areverified, if
πΏ1πΏ (πΎ + βπ) < 1. (55)
The system (51) has a piecewise almost periodic solution.
Conflict of Interests
The authors declare that they have no conflict of interests.
References
[1] A. M. Samoilenko and N. A. Perestyuk, Impulsive DifferentialEquations, World Scientific, Singapore, 1995.
[2] G. T. Stamov, J. O. Alzabut, P. Atanasov, and A. G. Stamov,βAlmost periodic solutions for an impulsive delaymodel of pricefluctuations in commodity markets,β Nonlinear Analysis: RealWorld Applications, vol. 12, no. 6, pp. 3170β3176, 2011.
[3] G. T. Stamov and I. M. Stamova, βAlmost periodic solutions forimpulsive neural networks with delay,β Applied MathematicalModelling, vol. 31, no. 7, pp. 1263β1270, 2007.
[4] J. O. Alzabut, G. T. Stamov, and E. Sermutlu, βOn almost peri-odic solutions for an impulsive delay logarithmic populationmodel,β Mathematical and Computer Modelling, vol. 51, no. 5-6, pp. 625β631, 2010.
[5] Q.Wang, H. Zhang, M. Ding, and Z.Wang, βGlobal attractivityof the almost periodic solution of a delay logistic populationmodel with impulses,β Nonlinear Analysis: Theory, Methods &Applications, vol. 73, no. 12, pp. 3688β3697, 2010.
[6] L. Pan and J. Cao, βAnti-periodic solution for delayed cellularneural networks with impulsive effects,β Nonlinear Analysis:Real World Applications, vol. 12, no. 6, pp. 3014β3027, 2011.
[7] C. Cuevas, E.Hernandez, andM.Rabelo, βThe existence of solu-tions for impulsive neutral functional differential equations,βComputers & Mathematics with Applications. An InternationalJournal, vol. 58, no. 4, pp. 744β757, 2009.
[8] A. Anguraj and K. Karthikeyan, βExistence of solutions forimpulsive neutral functional differential equations with nonlo-cal conditions,βNonlinear Analysis: Theory, Methods & Applica-tions, vol. 70, no. 7, pp. 2717β2721, 2009.
[9] E. HernaΜndez, βGlobal solutions for abstract impulsive neutraldifferential equations,β Mathematical and Computer Modelling,vol. 53, no. 1-2, pp. 196β204, 2011.
[10] O. Abdelghani, βLocal and global existence and uniquenessresults for impulsive functional differential equations withmul-tiple delay,β Journal of Mathematical Analysis and Applications,vol. 323, no. 1, pp. 456β472, 2006.
[11] M. E. Hernandez, M. Rabello, and H. R. Henriquez, βExistenceof solutions for impulsive partial neutral functional differentialequations,β Journal of Mathematical Analysis and Applications,vol. 331, no. 2, pp. 1135β1158, 2007.
[12] Y. Chang, A. Anguraj, andM.M.Arjunan, βExistence results forimpulsive neutral functional differential equations with infinitedelay,βNonlinear Analysis: Hybrid Systems, vol. 2, no. 1, pp. 209β218, 2008.
[13] R. Ye, βExistence of solutions for impulsive partial neutralfunctional differential equation with infinite delay,β NonlinearAnalysis: Theory, Methods & Applications A, vol. 73, no. 1, pp.155β162, 2010.
[14] M. E. HernaΜndez, H. R. HenrΜΔ±quez, and M. A. McKibben,βExistence results for abstract impulsive second-order neutralfunctional differential equations,β Nonlinear Analysis, vol. 70,no. 7, pp. 2736β2751, 2009.
[15] H. R. HenrΜΔ±quez, B. de Andrade, and M. Rabelo, βExistenceof almost periodic solutions for a class of abstract impulsivedifferential equations,β ISRN Mathematical Analysis, vol. 2011,Article ID 632687, 21 pages, 2011.
-
Abstract and Applied Analysis 11
[16] J.W. Liu andC.Y. Zhang, βExistence and stability of almost peri-odic solutions for impulsive differential equations,β Advances inDifference Equations, vol. 34, p. 14, 2012.
[17] A. Pazy, Semigroups of Linear Operators and Applications toPartial Differential Equations, vol. 44 of Applied MathematicalSciences, Springer, New York, NY. USA, 1983.
[18] H. R. HenrΜΔ±quez and C. Lizama, βCompact almost automorphicsolutions to integral equations with infinite delay,β NonlinearAnalysis: Theory, Methods & Applications A, vol. 71, no. 12, pp.6029β6037, 2009.
[19] R. P. Agarwal, C. Cuevas, and J. P. dos Santos, βAnalyticresolvent operator and existence results for fractional integro-differential equations,β Journal of Abstract Differential Equationsand Applications, vol. 2, no. 2, pp. 26β47, 2012.
[20] S. Sivasankaran,M.M.Arjunan, andV.Vijayakumar, βExistenceof global solutions for second order impulsive abstract partialdifferential equations,β Nonlinear Analysis. Theory, Methods &Applications. An International Multidisciplinary Journal. SeriesA: Theory and Methods, vol. 74, no. 17, pp. 6747β6757, 2011.
[21] E. M. Hernandez, S. M. T. Aki, and H. HenrΜΔ±quez, βGlobalsolutions for impulsive abstract partial differential equations,βComputers & Mathematics with Applications, vol. 56, no. 5, pp.1206β1215, 2008.
[22] R. P. Agarwal, B. de Andrade, and C. Cuevas, βWeightedpseudo-almost periodic solutions of a class of semilinear frac-tional differential equations,β Nonlinear Analysis. Real WorldApplications. An International Multidisciplinary Journal, vol. 11,no. 5, pp. 3532β3554, 2010.
[23] Y. Chang, R. Zhang, and G.M. NβGueΜreΜkata, βWeighted pseudoalmost automorphic mild solutions to semilinear fractionaldifferential equations,β Computers and Mathematics with Appli-cations, vol. 64, no. 10, pp. 3160β3170, 2012.
[24] T. A. Burton, βA fixed-point theorem of Krasnoselskii,β AppliedMathematics Letters, vol. 11, no. 1, pp. 85β88, 1998.
[25] E. HernaΜndez and H. R. HenrΔ±quez, βExistence of periodicsolutions of partial neutral functional-differential equationswith unbounded delay,β Journal of Mathematical Analysis andApplications, vol. 221, no. 2, pp. 499β522, 1998.
[26] T. Diagana, E. Hernandez, and M. Rabello, βPseudo almostperiodic solutions to some non-autonomous neutral functionaldifferential equations with unbounded delay,β Mathematicaland Computer Modelling, vol. 45, no. 9-10, pp. 1241β1252, 2007.
-
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of