We first give a solution to a key problem concerning the completeness
of the space of weighted pseudo almost-periodic functions and then establish a new
composition theorem with respect to these functions. Some important remarks with
concrete examples are also presented. Moreover, we prove an existence theorem for the
weighted pseudo almost-periodic mild solution to the semilinear evolution equation:
x′(t)=Ax(t)+f(t,x(t)), t∈ℝ,
where A is the infinitesimal generator of an exponentially stable C0-semigroup. An application is also given to illustrate the abstract existence theorem.
1. Introduction
It is well known that periodicity and almost periodicity are natural and important phenomena in the real world. In 2006, Diagana [1] introduced the concept of weighted pseudo almost-periodic functions, which is a generalization of the classical almost-periodic functions of Bohr as well as the vector-valued almost-periodic functions of Bochner (cf., e.g., [1–4]). Recently, weighted pseudo almost-periodic functions are widely investigated and used in the study of differential equations. Many basic properties and applications to several classes of differential equations were established, see, for example, Blot et al. [5] and Diagana [6]. On the other hand, the properties of weighted pseudo almost-periodic functions are more complicated and changeable than the almost-periodic functions and the pseudo almost-periodic functions because the influence of the weight ρ is very strong sometimes. Very recently, we constructed examples to show that the decomposition of weighted pseudo almost-periodic functions is not generally unique [3]. Hence, the space of the weighted pseudo almost-periodic functions may not be a Banach space under the usual supremum norm. Actually, the completeness of the space of these functions is worthy to be studied deeply by new ideas. In this paper, we will present a solution to the fundamental problem. Then, we will study the corresponding composition problem of weighted pseudo almost-periodic functions, as well as the existence of weighted pseudo almost-periodic mild solution to the following semilinear evolution equation:
x′(t)=Ax(t)+f(t,x(t)),t∈R,
where A is the infinitesimal generator of an exponentially stable C0-semigroup.
The paper is organized as follows. In Section 2, we prove a completeness theorem for the space of weighted pseudo almost-periodic functions by introducing a new norm on the space. Moreover, some remarks on weighted pseudo almost-periodic functions are given. In Section 3, we first establish a composition theorem for weighted pseudo almost-periodic functions and then give an existence theorem for the weighted pseudo almost-periodic mild solution to the evolution equation (1.1). An example is presented to illustrate the abstract existence theorem.
2. Completeness Theorem
Throughout this paper, we let 𝕏,𝕐 be Banach spaces and BC(ℝ,𝕏) the Banach space of all 𝕏-valued bounded continuous functions equipped with the supremum norm. Lloc1(ℝ) denotes the space of all locally integrable functions on ℝ, and 𝕌 stands for
U:={ρ∈Lloc1(R):ρ(t)>0,a.e.t∈R}.
If ρ∈𝕌, then we set
μ(T,ρ):=∫-TTρ(t)dt,T>0.
Define the space 𝕌∞ as
U∞:={ρ∈U:limT→∞μ(T,ρ)=∞},
and define 𝕌b as the set of all ρ∈𝕌∞ such that ρ is bounded with inft∈ℝρ(t)>0. Obviously,
Ub⊂U∞⊂U.
In what follows we recall some definitions and notations needed in this paper.
Definition 2.1 (S. Bochner).
A continuous function f:ℝ↦𝕏 is called almost periodic if for each ε>0 there exists an l(ε)>0 such that every interval I of length l(ε) contains a number τ with the property that
‖f(t+τ)-f(t)‖<ε,∀t∈R.
The set of all such functions will be denoted by AP(𝕏) in this paper.
A continuous function f:ℝ×𝕐↦𝕏 is said to be almost periodic if f(t,x) is almost periodic in t∈ℝ uniformly for all x∈K, where K is any bounded subset of 𝕐. Denote by AP(ℝ×𝕐,𝕏) the set of all such functions.
The set of bounded continuous functions with vanishing mean value is denoted by PAP0(ℝ,𝕏), that is,
PAP0(R,X):={ϕ∈BC(R,X):limT→∞12T∫-TT‖ϕ(σ)‖dσ=0}.
Let ρ∈𝕌∞, and we define the set of continuous functions with vanishing mean value under weight ρ by
PAP0(R,X,ρ):={ϕ∈BC(R,X):limT→∞1μ(T,ρ)∫-TT‖ϕ(σ)‖ρ(σ)dσ=0},
and define
PAP0(R×Y,X,ρ):={ϕ∈BC(R×Y,X):limT→∞1μ(T,ρ)∫-TT‖ϕ(σ,u)‖ρ(σ)dσ=0uniformlyforuinanyboundedsubsetofYlimT→∞1μ(T,ρ)∫-TT}.
For simplicity of notation, we write
PAP0(X)andPAP0(X)
instead of
PAP0(R,X)andPAP0(R,X),
respectively.
The following definition is a slight modification of that given by Diagana [1].
Definition 2.2.
A function f∈BC(ℝ,𝕏)(f∈BC(ℝ×𝕏,𝕏)) is called weighted pseudo almost periodic (or ρ-pseudo almost periodic) if it can be expressed as f=g+ϕ, where g∈AP(𝕏)(g∈AP(ℝ×𝕏,𝕏)) and ϕ∈PAP0(𝕏,ρ)(ϕ∈PAP0(ℝ×𝕏,𝕏,ρ)). The set of weighted pseudo almost-periodic functions from ℝ into 𝕏 is denoted by PAP(𝕏,ρ)(PAP(ℝ×𝕏,𝕏,ρ)) here.
Remark 2.3.
(i) Clearly, AP(𝕏) and PAP0(𝕏,ρ) are closed linear subspaces of BC(ℝ,𝕏) under the supremum norm.
(ii) There are a lot of weighted pseudo almost-periodic functions. For example, the following function:
f=sint+sin2t+11+t2
is weighted pseudo almost periodic under weight ρ=1+t2, see Example 3.6 for another example.
(iii) If one set ρ(t)=1, then weighted pseudo almost-periodic functions are exactly the so-called pseudo almost-periodic functions. Furthermore, when the weight ρ∈𝕌b, Diagana’s work showed that the class of functions in PAP0(𝕏,ρ) coincides with PAP0(𝕏). So, the concept of weighted pseudo almost-periodic functions is a generalization of the concept of pseudo almost-periodic functions. From the following example given by us, one will see that this concept is a real generalization.
Example 2.4.
Let
ρ(t)={et,t≤0,1,t>0.
Then the bounded continuous function
f(t)=sint+sinπt+arctant
is pseudo almost-periodic under this weight ρ but it is not the usual pseudo almost periodic function.
(iv) Suppose f=g+ϕ:ℝ↦𝕏 is a weighted pseudo almost-periodic function. From [3] we know that the decomposition of f is not generally unique, that is, the function space PAP(𝕏,ρ) cannot be decomposed as
AP(X)⨁PAP0(X,ρ).
Therefore, we do not know whether PAP(𝕏,ρ) is a Banach space under the norm
‖f(t)‖=supt∈R‖g(t)‖+supt∈R‖ϕ(t)‖,
although AP(𝕏) and PAP0(𝕏,ρ) are closed linear subspaces of BC(ℝ,𝕏) under the supremum norm, and hence Banach spaces.
In order to obtain a completeness theorem for the space PAP(𝕏,ρ) by overcoming the trouble showed in (iii) of the above remark, we use the “modular" idea and endow the weighted pseudo almost-periodic function in PAP(𝕏,ρ) with a new norm as follows.
Let {gi+ϕi,i∈I} be all the possible decomposition of f∈PAP(𝕏,ρ). We define
‖f‖ρ=infi∈I(‖gi‖+‖ϕi‖)=infi∈I(supt∈R‖gi(t)‖+supt∈R‖ϕi(t)‖).
Clearly, ∥·∥ρ is a norm on PAP(𝕏,ρ). Moreover, we have the following result.
Theorem 2.5 (completeness theorem).
PAP(𝕏,ρ) is a Banach space under the norm ∥·∥ρ.
Proof.
Suppose {fn} is a Cauchy sequence in PAP(𝕏,ρ), relative to the norm ∥·∥ρ. Then we can choose a subsequence {fni} with
‖fni+1-fni‖ρ≤12i+1,i=1,2,….
Set
h0=fn1,hi=fni+1-fnifori=1,2,….
Then by the definition of the norm ∥·∥ρ, we can decompose each hi as hi=gi+ϕi, where gi∈AP(ℝ,𝕏) and ϕi∈PAP0(𝕏,ρ) with
‖hi‖ρ≥‖gi‖+‖ϕi‖-12i+1,i=0,1,2,….
Observing that
fni=fn1+(fn2-fn1)+⋯+(fni-fni-1)=h0+h1+⋯+hi-1=g0+g1+⋯+gi-1+ϕ0+ϕ1+⋯+ϕi-1=∑k=0i-1gk+∑k=0i-1ϕk,i=0,1,2,…,
we claim that fni converges to a weighted pseudo almost-periodic function. Actually, it follows from (2.17) and (2.19) that
‖gi‖+‖ϕi‖≤‖hi‖ρ+12i+1≤‖fni+1-fni‖ρ+12i+1≤12i,i=1,2,….
So
‖gi‖≤12i,i=1,2,….
Therefore
‖∑k=0∞gk‖≤∑k=0∞‖gk‖≤‖g0‖+∑k=1∞12k=‖g0‖+1.
This, together with the fact that AP(ℝ,𝕏) is a Banach space and limi→∞∥gi∥=0, implies that g:=∑k=0∞gk exists and g∈AP(ℝ,𝕏). The same arguments indicate that ϕ:=∑k=0∞ϕk exists and ϕ∈PAP(𝕏,ρ). Thus, by (2.20) we have
limi→∞fni=∑k=0∞gk+∑k=0∞ϕk=g+ϕ.
Therefore, fni converges to f=g+ϕ, which belongs to PAP(𝕏,ρ). In other words, {fn} is a Cauchy sequence having a convergent subsequence. Consequently, {fn} is a convergent sequence under the norm ∥·∥ρ. This means that PAP(𝕏,ρ) is a Banach space under the norm ∥·∥ρ.
Remark 2.6.
Clearly, the norm ∥·∥1 coincides with the sup norm when f is a pseudo almost-periodic function, as a result of the uniqueness of decomposition of pseudo almost-periodic functions.
3. Composition Theorem and Existence Theorem
To obtain the existence of weighted pseudo almost periodic mild solutions to the semilinear evolution equation (1.1), we first establish a new composition theorem as follows.
Theorem 3.1 (composition theorem).
Let f∈PAP(ℝ×𝕏,𝕏,ρ) andf=g+ϕ with g∈AP(ℝ×𝕏,𝕏) and ϕ∈PAP0(ℝ×𝕏,ρ). Assume that f(t,x) is uniformly continuous in every bounded subset K⊂𝕏 uniformly for t∈ℝ. If x∈PAP(𝕏,ρ) and x(t)=α(t)+β(t), with α(t)∈AP(𝕏), and β(t)∈PAP0(𝕏,ρ), then
g(⋅,α(⋅))∈AP(X),f(⋅,x(⋅))-g(⋅,α(⋅))∈PAP0(X,ρ),
and furthermore f(·,x(·))∈PAP(𝕏,ρ).
Proof.
Write
f(t,x(t))=g(t,α(t))+f(t,x(t))-f(t,α(t))+ϕ(t,α(t)).
Then, we claim that
g(t,α(t))∈AP(𝕏),
F(t):=f(t,x(t))-f(t,α(t))∈PAP0(𝕏,ρ),
ϕ(t,α(t))∈PAP0(𝕏,ρ).
Actually, by the theorem of composition of almost-periodic functions, it is easy to see that (a) holds.
Next, let us prove (b).
Clearly, F(t) is bounded and continuous. By the uniformly continuity of f(t,x), we know that for any ε>0, there exists δ>0 such that
‖β(t)‖:=‖x(t)-α(t)‖<δ
implies that
‖f(t,x(t))-f(t,α(t))‖<ε.
Set
E1:={t∈R:‖β(t)‖<δ},E2:={t∈R:‖β(t)‖≥δ}.
Then E1 and E2 are measurable sets and E1∪E2=ℝ. In addition, ∥F(t)∥<ε on the set E1. Observe
1μ(T,ρ)∫E2∩[-T,T]ρ(s)ds=1δμ(T,ρ)∫E2∩[-T,T]δρ(s)ds≤1δμ(T,ρ)∫E2∩[-T,T]‖β(s)‖ρ(s)ds≤1δμ(T,ρ)∫-TT‖β(s)‖ρ(s)ds.
Using β(t)∈PAP0(𝕏,ρ), we get
limT→∞1μ(T,ρ)∫E2∩[-T,T]ρ(s)ds=0.
Moreover, for any T>0,
1μ(T,ρ)∫-TT‖F(s)‖ρ(s)ds=1μ(T,ρ)∫E1∩[-T,T]‖F(s)‖ρ(s)ds+1μ(T,ρ)∫E2∩[-T,T]‖F(s)‖ρ(s)ds≤εμ(T,ρ)∫E1∩[-T,T]ρ(s)ds+supt∈R‖F(t)‖μ(T,ρ)∫E2∩[-T,T]ρ(s)ds≤ε+supt∈R‖F(t)‖1μ(T,ρ)∫E2∩[-T,T]ρ(s)ds.
Therefore, we have
limT→∞1μ(T,ρ)∫-TT‖F(s)‖ρ(s)ds=0.
That means that (b) is true.
Finally, we prove (c).
Since ϕ(t,α(t)) is continuous in [-T,T], it is uniformly continuous in [-T,T]. Set I=α([-T,T]). Then I is compact in 𝕏. So one can find finite open balls Bk(k=1,2,…,m) with center xk∈I and radius δ small enough such that I⊂⋃k=1mBk and
‖ϕ(t,α(t))-ϕ(t,xk)‖<ε2,α(t)∈Bk,t∈[-T,T].
The set Ok={t∈[-T,T]:α(t)∈Bk} is open in [-T,T] and [-T,T]=⋃k=1mOk. Let
V1=O1,Vk=Ok∖⋃j=1k-1Oj(2≤k≤m).
Then Vi∩Vj=∅ when i≠j,1≤i,j≤m, and
Vk⊂Ok,⋃k=1mVk=[-T,T].
On the other hand, by ϕ∈PAP0(ℝ×𝕏,𝕏,ρ), we see that there exists T0>0 such that
1μ(T,ρ)∫-TT‖ϕ(s,xk)‖ρ(s)ds<ε2m,forT≥T0,k∈{1,2,…,m}.
Hence for T≥T0,
1μ(T,ρ)∫-TT‖ϕ(s,α(s))‖ρ(s)ds=1μ(T,ρ)∑k=1m∫Vk∩[-T,T]‖ϕ(s,α(s))‖ρ(s)ds≤1μ(T,ρ)∑k=1m∫Vk∩[-T,T]‖ϕ(s,α(s))-ϕ(s,xk)‖ρ(s)ds+1μ(T,ρ)∑k=1m∫Vk∩[-T,T]‖ϕ(s,xk)‖ρ(s)ds≤1μ(T,ρ)∑k=1m∫Vk∩[-T,T]ε2ρ(s)ds+∑k=1m1μ(T,ρ)∫-TT‖ϕ(s,xk)‖ρ(s)ds≤ε2+mε2m=ε.
Thus, (c) holds.
Since PAP0(𝕏,ρ) is a linear space, we have f(·,x(·))∈PAP(𝕏,ρ), by (a), (b), and (c).
The following assumption on the weight ρ∈𝕌∞ will be used in our next investigation.
For a ω>0,
P(ω):=limT→+∞1μ(T,ρ)∫-TTe-ω(t+T)ρ(t)dt=0,∫σTe-ω(t-σ)ρ(t)dt≤Mρ(σ)
for some constant M>0 and T is sufficiently large.
Remark 3.2.
(i) Since ρ(t)∈𝕌∞, condition (3.15) is satisfied when
supT>0∫-TTe-ω(t+T)ρ(t)dt<+∞.
Condition (3.16) is satisfied when ρ(t) is nonincreasing. Therefore, if the weight ρ is bounded and nonincreasing, then both (3.15) and (3.16) are satisfied.
(ii) Besides the weight mentioned in (i) above, there are lots of weights satisfying the assumption (H0). By giving the following example, we present two unbounded weights satisfying the assumption (H0).
Example 3.3.
(1) Take ρ(t)=eω̃t,ω>ω̃>0. Then we have
0≤P(ω)=limT→+∞1μ(T,ρ)∫-TTe-ω(t+T)ρ(t)dt=limT→+∞e-ωTμ(T,ρ)∫-TTe-(ω-ω̃)tdt=limT→+∞-ω̃ω-ω̃e(ω̃-2ω)T-e-ω̃Teω̃T-e-ω̃T≤limT→+∞ω̃(e-2ω̃T-e-2ωT)ω-ω̃=0.
Therefore P(ω) satisfies condition (3.15). Furthermore,
∫σTe-ω(t-σ)ρ(t)dt=eωσ(e-(ω-ω̃)σ-e-(ω-ω̃)T)ω-ω̃≤eω̃σω-ω̃:=Mρ(σ),
where M=1/(ω-ω̃). So (3.16) is satisfied.
(2) Take ρ(t)=1+t2. Then for every ω>0, we obtain
0≤P(ω)=limT→+∞e-ωTμ(T,ρ)∫-TTe-ωt(1+t2)dt=limT→+∞e-ωTμ(T,ρ)[-ω2t2+2ωt+2+ω2ω3e-ωt]|-TT≤limT→+∞ω2T2-2ωT+2+ω22(T+T3/3)ω3=0.
Moreover,
∫σTe-ω(t-σ)ρ(t)dt=∫σTe-ω(t-σ)(1+t2)dt=eωσ[-ω2t2+2ωt+2+ω2ω3e-ωt]|σT≤ω2σ2+2ωσ+2+ω2ω3≤(ω2+1)σ2+2+2ω2ω3≤2(ω2+1)ω3(σ2+1):=Mρ(σ),
where M=2(ω2+1)/ω3 is a constant.
Definition 3.4.
A mild solution to (1.1) is a continuous function x(t):ℝ↦𝕏 satisfying
x(t)=T(t-a)x(a)+∫atT(t-s)f(s,x(s))ds
for all t≥a and all a∈ℝ.
Theorem 3.5.
Let A generate an exponentially stable C0- semigroup {T(t)}t≥0, that is,
‖T(t)‖≤Ke-ωt,∀t≥0,
for some positive constants K and ω. Let the weight ρ satisfy (H0) for the ω in (3.23). Assume that
f=g+ϕ:ℝ×𝕏↦𝕏 is weighted pseudo almost periodic, with g∈AP(ℝ×𝕏,𝕏) and ϕ∈PAP0(ℝ×𝕏,𝕏,ρ).
for every t∈ℝ,x,y∈𝕏,
‖f(t,x)-f(t,y)‖≤Lf‖x-y‖,‖g(t,x)-g(t,y)‖≤Lg‖x-y‖,
for some constants Lf and Lg with (2Lg+Lf)K/ω<1.
Then (1.1) admits a unique weighted pseudo almost-periodic mild solution.
Proof.
Define a nonlinear operator ℱ on PAP(𝕏,ρ) by
(Fx)(t)=∫-∞tT(t-s)f(s,x(s))ds,t∈R.
Fix x(t)∈PAP(𝕏,ρ). Then
x(t)=α(t)+β(t)
with
α(t)∈AP(X),β(t)∈PAP0(X,ρ).
By Theorem 3.1, we know that there exist two functions
ĝ(t)=g(t,α(t))∈AP(X),φ̂(t)=f(t,x(t))-f(t,α(t))+φ(t,α(t))∈PAP0(X,ρ)
such that
f(⋅,x(⋅))=ĝ(⋅)+φ̂(⋅).
Therefore (ℱx)(t) can be expressed as (ℱx)(t)=G(t)+Φ(t), where
G(t):=∫-∞tT(t-s)ĝ(s)ds,Φ(t):=∫-∞tT(t-s)φ̂(s)ds.
From (3.28) and the fact that {T(t)} is exponentially stable, it follows that G(t)∈AP(𝕏).
Next, we show that Φ(t)∈PAP0(𝕏,ρ).
By (3.29), we see that φ̂(t) is bounded on ℝ, that is, supt∈ℝ∥φ̂(t)∥<+∞, and φ̂ is continuous. Hence, for any T>0, we have
1μ(T,ρ)∫-TT‖Φ(s)‖ρ(s)ds=1μ(T,ρ)∫-TT‖∫-∞sT(t-σ)φ̂(σ)dσ‖ρ(s)ds≤1μ(T,ρ)∫-TT∫-∞s‖T(s-σ)‖‖φ̂(σ)‖dσρ(s)ds≤1μ(T,ρ)∫-TT∫-∞sKe-ω(s-σ)‖φ̂(σ)‖dσρ(s)ds≤1μ(T,ρ)∫-TT(∫-∞-T+∫-Ts)Ke-ω(s-σ)‖φ̂(σ)‖dσρ(s)ds:=I+J,
where
I=1μ(T,ρ)∫-TT∫-∞-TKe-ω(s-σ)‖φ̂(σ)‖dσρ(s)ds,J=1μ(T,ρ)∫-TT∫-TsKe-ω(s-σ)‖φ̂(σ)‖dσρ(s)ds.
Clearly,
I≤1μ(T,ρ)supt∈R‖φ̂(σ)‖∫-TT∫-∞-TKe-ω(s-σ)ρ(s)dσds,≤Kωμ(T,ρ)supt∈R‖φ̂(σ)‖∫-TTe-ω(s+T)ρ(s)ds.
This, together with the assumption (H0), implies that
I⟶0asT⟶+∞.
Moreover, by Fubini’s theorem and assumption H0, we get
J=Kμ(T,ρ)∫-TT‖φ̂(σ)‖∫σTe-ω(s-σ)ρ(s)dsdσ≤MKμ(T,ρ)∫-TT‖φ̂(σ)‖ρ(σ)dσ.
Thus, (3.29) implies that
J⟶0asT⟶+∞.
So, Φ(t)∈PAP0(𝕏,ρ).
Consequently, (ℱx)(t)=G(t)+Φ(t) is a weighted pseudo almost-periodic function on ℝ. This means that ℱ maps PAP(𝕏,ρ) into PAP(𝕏,ρ).
Now, let x,y∈PAP(𝕏,ρ) with
x=αx+βx,y=αy+βy,
where
αx,αy∈AP(X),βx,βy∈PAP0(X,ρ)
are periodic and vanishing mean value components of weighted pseudo almost-periodic functions x,y. Then by Theorem 3.1, we have
g(⋅,αx(⋅)),g(⋅,αy(⋅))∈AP(X),f(⋅,x(⋅))-g(⋅,αx(⋅)),f(⋅,y(⋅))-g(⋅,αy(⋅))∈PAP0(X,ρ).
Observe
Fx(t)-Fy(t)=∫-∞tT(t-s)(g(s,αx(s))-g(s,αy(s)))ds+∫-∞tT(t-s)[(f(s,x(s))-g(s,αx(s)))-(f(s,y(s))-g(s,αy(s)))]ds.
We know from the arguments in the above paragraph that the two integrals on the right side are in, respectively, AP(𝕏) and PAP0(𝕏,ρ). Therefore,
‖Fx-Fy‖ρ≤supt∈R∫-∞t‖T(t-s)(g(s,αx(s))-g(s,αy(s)))‖ds+supt∈R∫-∞t‖T(t-s)[(f(s,x(s)))-(g(s,αx(s)))-(f(s,y(s))-g(s,αy(s)))]‖ds≤(2Lg‖αx-αy‖+Lf‖x-y‖)supt∈R∫-∞t‖T(t-s)‖ds≤(2Lg+Lf)(‖αx-αy‖+‖βx-βy‖)supt∈R∫-∞tKe-ω(t-s)ds=(2Lg+Lf)Kω(‖αx-αy‖+‖βx-βy‖).
Since the inequality is true for any decomposition of x(t),y(t), we can take the infimum and then obtain
‖Fx-Fy‖ρ≤(2Lg+Lf)Kω‖x-y‖ρ.
Hence ℱ is a contraction under the assumption that (2Lg+Lf)K/ω<1.
By the contraction mapping theorem, the mapping ℱ has a unique fixed point x(t)∈PAP(𝕏,ρ), and this fixed point satisfies the integral equation
x(t)=∫-∞tT(t-s)f(s,x(s))ds,
for all t∈ℝ. Fixing a∈ℝ, we have
x(a)=∫-∞aT(a-s)f(s,x(s))ds.
Since
T(t-s)=T(t-a)(a-s),t≥a≥s,
it follows that x(t) satisfies (3.22). Hence x(t) is a mild solution to (1.1).
On the other hand, let y(t) be a pseudo almost-periodic mild solution to (1.1). Then y(t) satisfies (3.22), with x replaced by y. Letting a→-∞ yields
y(t)=∫-∞tT(t-s)f(s,y(s))ds,t∈R.
Since y(t) is bounded on ℝ and {T(t)}t≥0 is exponentially stable, hence x(t)≡y(t) on ℝ.
In conclusion, x(t) is the unique mild solution to (1.1), which ends the proof.
Example 3.6.
Let 𝕏=L2(0,1), and
D(A):={x∈C1[0,1];x′isabsolutelycontinuouson[0,1],x″∈X,x(0)=x(1)=0},Ax(t)=x″(t),t∈(0,1),x∈D(A).
Then, A generates a C0-semigroup T(t) on 𝕏 with
‖T(t)‖≤e-π2t,t≥0.
Let
f(t,x)=x(cost+cos2t)+11+t2cosx=g(t,x)+ϕ(t,x),t∈R,x∈X,ρ(t)=(1+t2).
Then, g∈AP(ℝ×𝕏,𝕏),ϕ∈PAP0(ℝ×𝕏,𝕏,ρ), and f,g satisfy (H2) with
Lf=2,Lg=2,K=1,ω=π2.
By Theorem 3.5, the corresponding equation (1.1) has a unique weighted pseudo almost-periodic mild solution under the weight ρ(t)=(1+t2).
Acknowledgments
This work was supported by the NSF of China (11071042, 11026100, 11171210), the Chinese Academy of Sciences, the Shanghai Key Laboratory for Contemporary Applied Mathematics (08DZ2271900), and the Laboratory of Mathematics for Nonlinear Science at the Fudan University.
DiaganaT.Weighted pseudo almost periodic functions and applications20063431064364610.1016/j.crma.2006.10.0082271739ZBL1112.43005AyachiM.BlotJ.Variational methods for almost periodic solutions of a class of neutral delay equations200820081310.1155/2008/1532851532852393110ZBL1149.34042LiangJ.XiaoT.-J.ZhangJ.Decomposition of weighted pseudo-almost periodic functions201073103456346110.1016/j.na.2010.07.0342680039ZBL1198.43004XiaoT.-J.LiangJ.19981701Berlin, GermanySpringer-VerlagLecture Notes in Mathematics1725643BlotJ.MophouG. M.N'GuérékataG. M.PennequinD.Weighted pseudo almost automorphic functions and applications to abstract differential equations2009713-490390910.1016/j.na.2008.10.1132527511ZBL1177.34077DiaganaT.Weighted pseudo-almost periodic solutions to some differential equations20086882250226010.1016/j.na.2007.01.0542398647ZBL1162.34032