Volume 2013, Issue 1 183420

Research Article

Open Access

Almost Automorphic Mild Solutions to Neutral Parabolic Nonautonomous Evolution Equations with Nondense Domain

Zhanrong Hu,

Corresponding Author

Zhanrong Hu

[email protected]

Department of Mathematics, North University of China, Taiyuan 030051, China nuc.edu.cn

School of Mechatronic Engineering, North University of China, Taiyuan 030051, China nuc.edu.cn

Search for more papers by this author

Zhen Jin,

Zhen Jin

Department of Mathematics, North University of China, Taiyuan 030051, China nuc.edu.cn

School of Mechatronic Engineering, North University of China, Taiyuan 030051, China nuc.edu.cn

Search for more papers by this author

Zhanrong Hu,

Corresponding Author

Zhanrong Hu

[email protected]

Department of Mathematics, North University of China, Taiyuan 030051, China nuc.edu.cn

School of Mechatronic Engineering, North University of China, Taiyuan 030051, China nuc.edu.cn

Search for more papers by this author

Zhen Jin,

Zhen Jin

Department of Mathematics, North University of China, Taiyuan 030051, China nuc.edu.cn

School of Mechatronic Engineering, North University of China, Taiyuan 030051, China nuc.edu.cn

Search for more papers by this author

First published: 15 May 2013

https://doi.org/10.1155/2013/183420

Citations: 2

Academic Editor: Yonghui Xia

Share a link

Email
Wechat
Bluesky

Abstract

Combining the exponential dichotomy of evolution family, composition theorems for almost automorphic functions with Banach fixed point theorem, we establish new existence and uniqueness theorems for almost automorphic mild solutions to neutral parabolic nonautonomous evolution equations with nondense domain. A unified framework is set up to investigate the existence and uniqueness of almost automorphic mild solutions to some classes of parabolic partial differential equations and neutral functional differential equations.

1. Introduction

In this paper, we are interested in the existence and uniqueness of almost automorphic mild solutions to the following neutral parabolic evolution equations in Banach space 𝕏:

(1)

(2)

where sectorial operators A(t) : D(A(t)) ⊂ 𝕏 → 𝕏 have a domain D(A(t)) not necessarily dense in 𝕏 and satisfy “Acquistapace-Terreni" conditions, f, g:ℝ × 𝕏 → 𝕏 are almost automorphic in the first argument and Lipschitz in the second argument, and B, C:𝕏 ↦ 𝕏 are bounded linear operators.

Bochner has shown in the seminal work [1] that in certain situations it is possible to establish the almost periodicity of an object by first establishing its almost automorphy and then invoking auxiliary conditions which, when coupled with almost automorphy, give almost periodicity. From then on, automorphy has been widely investigated. Fundamental properties of almost automorphic functions on groups and abstract almost automorphic minimal flows were studied by Veech [2, 3] and others. Afterwards, Zaki [4] extended the notion of scalar-valued almost automorphy to the one of vector-valued almost automorphic functions, paving the road to many applications to differential equations and dynamical systems. Among other things, Shen and Yi [5] showed that almost automorphy is essential and fundamental in the qualitative study of almost periodic differential equations in the sense that almost automorphic solutions are the right class for almost periodic systems. We refer the readers to the monographs [6, 7] by N’Guérékata for more information on this topic.

In the autonomous case, namely A(t) = A, the existence and uniqueness of almost automorphic mild solutions to evolution equation (1) with f = 0 have been successfully investigated in [6–13] in the framework of semigroups of bounded linear operators. In [13], N’Guérékata studied the existence and uniqueness of almost automorphic solutions for semilinear evolution equation

(3)

where A generates an exponentially stable semigroup on Banach space 𝕏 and g : ℝ × 𝕏 → 𝕏 is almost automorphic. The author proved that the unique bounded mild solution u : ℝ → 𝕏 of (3) is almost automorphic. In [8], Boulite et al. studied the existence and uniqueness of almost automorphic solutions for evolution equation (3), assuming that A generates a hyperbolic semigroup on Banach space 𝕏 and g : ℝ × 𝕏_α → 𝕏 is almost automorphic, where 𝕏_α is an intermediate space between D(A) and 𝕏. The authors proved that the unique bounded mild solution u : ℝ → 𝕏_α of (3) is almost automorphic. Cieutat and Ezzinbi [9] studied the existence of bounded and compact almost automorphic solutions for semilinear evolution equation (3). The main methods are through the minimizing of some subvariant functionals. They gave sufficient conditions ensuring the existence of an almost automorphic mild solution when there is at least one bounded mild solution on ℝ⁺.

In the nonautonomous case, almost automorphic mild solutions to evolution equation (1) with f = 0 have been successfully investigated in [14–16] in the framework of evolution family. Among others, Baroun et al. [14] generalized the main results of [8] to the nonautonomous case. The authors proved that the unique bounded mild solution u : ℝ → 𝕏_α of the semilinear evolution equation

(4)

is almost automorphic, assuming that the evolution family {U(t, s)} _t≥s generated by A(t) has an exponential dichotomy and g : ℝ × 𝕏_α → 𝕏 is almost automorphic. Ding et al. [15] established the existence and uniqueness theorem of almost automorphic mild solutions to the evolution equation (4), where the evolution family {U(t, s)} _t≥s generated by A(t) has an exponential dichotomy and g : ℝ × 𝕏 → 𝕏 is almost automorphic. Liu and Song [16] proved the existence and uniqueness of an almost automorphic or a weighted pseudo almost automorphic mild solution to (4), assuming that the evolution family {U(t, s)} _t≥s generated by A(t) is exponentially stable and g : ℝ × 𝕏 → 𝕏 is almost automorphic or weighted pseudo almost automorphic.

A rich source of the literature exists on almost automorphic mild solutions to linear and semilinear evolution equations. However, to the best of our knowledge, there are few results available on the existence and uniqueness of almost automorphic mild solutions to neutral parabolic nonautonomous evolution equations (1) and (2), especially in the case of not necessarily dense domain and bounded perturbations. Nondensity occurs in many situations, from restrictions made on the space where the equation is considered or from boundary conditions. For example, the space C²[0, π] of twice continuously differential functions with null value on the boundary is nondense in C[0, π], the space of continuous functions. One can refer for this to [17–19] or Section 5 for more details. We further remark that our first main result (Theorem 18) recovers partly Theorem 2.2 in [15] and Theorem 3.2 in [16] in the parabolic case. Moreover, a unified framework is set up in the second main result (Theorem 21) to study the existence and uniqueness of almost automorphic mild solutions to some classes of parabolic partial differential equations and neutral functional differential equations. As one will see, the additional neutral term f(t, u(t)) greatly widens the applications of the main result since (2) is general enough to incorporate some classes of parabolic partial differential equations and neutral functional differential equations as special cases.

As a preparation, in Section 2 we fix our notation and collect some basic facts on evolution family and almost automorphy. Section 3 deals with the proof of the existence and uniqueness theorem of almost automorphic mild solutions to evolution equation (1). In Section 4, we study the existence and uniqueness of almost automorphic mild solutions to evolution equation (2) with bounded perturbations. Finally, the abstract results are applied to some classes of parabolic partial differential equations and neutral functional differential equations.

2. Preliminaries

Throughout this paper, ℕ, ℤ, ℝ, and ℂ stand for the sets of positive integer, integer, real, and complex numbers, and (𝕏, ∥·∥) stands for a Banach space. If (𝕐, ∥·∥_𝕐) is another Banach space, the space B(𝕏, 𝕐) denotes the Banach space of all bounded linear operators from 𝕏 into 𝕐 equipped with the uniform operator topology. The resolvent operator R(λ, A) is defined by R(λ, A): = (λ − A) ⁻¹ for λ ∈ ρ(A), the resolvent set of a linear operator A.

2.1. Evolution Family and Exponential Dichotomy

Definition 1 (see [20], [21].)A family of bounded linear operators {U(t, s)} _t≥s on a Banach space 𝕏 is called an evolution family if

(1)
U(t, r)U(r, s) = U(t, s) and U(s, s) = I for all t ≥ r ≥ s and t, r, s ∈ ℝ;
(2)
the map (t, s) ↦ U(t, s)x is continuous for all x ∈ 𝕏, t > s, and t, s ∈ ℝ.

Definition 2 (see [20], [21].)An evolution family {U(t, s)} _t≥s on a Banach space 𝕏 has an exponential dichotomy (or is called hyperbolic) if there exist projections P(t), t ∈ ℝ, uniformly bounded and strongly continuous in t and constants M > 0, δ > 0 such that

(1)
U(t, s)P(s) = P(t)U(t, s) for t ≥ s and t, s ∈ ℝ;
(2)
the restriction U_Q(t, s) : Q(s)𝕏 → Q(t)𝕏 of U(t, s) is invertible for t ≥ s (and we set U_Q(s, t): = U_Q(t, s) ⁻¹);
(3)
for t ≥ s and t, s ∈ ℝ.

Here and below we set Q : = I − P.

Remark 3. Exponential dichotomy is a classical concept in the study of the long-term behavior of evolution equations, combining forward exponential stability on some subspaces with backward exponential stability on their complements. Its importance relies in particular on the robustness; that is, exponential dichotomy persists under small linear or nonlinear perturbations (see, e.g., [20–24]).

Definition 4 (see [20], [21].)Given an evolution family {U(t, s)} _t≥s with an exponential dichotomy, one defines its Green’s function by

(5)

2.2. Almost Automorphy and Bi-Almost Automorphy

Let C(ℝ, 𝕏) denote the collection of continuous functions from ℝ into 𝕏. Let BC(ℝ, 𝕏) denote the Banach space of all bounded continuous functions from ℝ into 𝕏 equipped with the sup norm ∥u∥_∞ : = sup _t∈ℝ∥u(t)∥. Similarly, C(ℝ × 𝕏, 𝕐) denotes the collection of all jointly continuous functions from ℝ × 𝕏 into 𝕐, and BC(ℝ × 𝕏, 𝕐) denotes the collection of all bounded and jointly continuous functions f : ℝ × 𝕏 → 𝕐.

Definition 5 (Bochner). A function f ∈ C(ℝ, 𝕏) is said to be almost automorphic if for any sequence of real numbers , there exists a subsequence {s_n} _n∈ℕ such that

(6)

pointwise for each t ∈ ℝ. This limit means that

(7)

is well defined for each t ∈ ℝ and

(8)

for each t ∈ ℝ. The collection of all such functions will be denoted by AA(𝕏).

Example 6 (Levitan). The function f(t) = sin(1/(2 + cos t + cos πt)), t ∈ ℝ, is almost automorphic but not almost periodic.

Remark 7. An almost automorphic function may not be uniformly continuous, while an almost periodic function must be uniformly continuous.

Lemma 8 (see [6], [7].)Assume that f, g : ℝ → 𝕏 are almost automorphic and λ is any scalar. Then the following holds true:

(1)
f + g, λf are almost automorphic;
(2)
the range R_f of f is precompact, so f is bounded;
(3)
f_τ defined by f_τ(t) = f(t + τ), τ ∈ ℝ, is almost automorphic.

Lemma 9 (see [6], [7].)If {f_n} is a sequence of almost automorphic functions and f_n → f (n → ∞) uniformly on ℝ, then f is almost automorphic.

Lemma 10 (see [6].)The space AA(𝕏) equipped with sup norm ∥u∥_∞ = sup _t∈ℝ∥u(t)∥ is a Banach space.

Definition 11 (see [25].)A function f ∈ C(ℝ × 𝕏, 𝕏) is said to be almost automorphic if f is almost automorphic in t ∈ ℝ for each u ∈ 𝕏. That is to say, for every sequence of real numbers , there exists a subsequence {s_n} _n∈ℕ such that

(9)

pointwise on ℝ for each u ∈ 𝕏. Denote by AA(ℝ × 𝕏, 𝕏) the collection of all such functions.

Lemma 12 (see [6], Theorem 2.2.6.)Assume that f ∈ AA(ℝ × 𝕏, 𝕏) and there exists a constant L_f > 0 such that for all t ∈ ℝ and u, v ∈ 𝕏,

(10)

If ϕ(·) ∈ AA(𝕏), then f(·, ϕ(·)) ∈ AA(𝕏).

Corollary 13 (see [6], Corollary 2.1.6.)Assume that u ∈ AA(𝕏) and B ∈ B(𝕏). If for each t ∈ ℝ, v(t) = Bu(t), then v ∈ AA(𝕏).

Definition 14 (see [26].)A function f ∈ C(ℝ × ℝ, 𝕏) is called bi-almost automorphic if for every sequence of real numbers , one can extract a subsequence {s_n} _n∈ℕ such that

(11)

is well defined for each t, s ∈ ℝ, and

(12)

for each t, s ∈ ℝ. The collection of all such functions will be denoted by bAA(ℝ × ℝ, 𝕏).

In other words, a function f ∈ C(ℝ × ℝ, 𝕏) is said to be bi-almost automorphic if for any sequence of real numbers , there exists a subsequence {s_n} _n∈ℕ such that

(13)

pointwise for each t, s ∈ ℝ.

3. Neutral Parabolic Nonautonomous Evolution Equation

In this section, we will establish the existence and uniqueness theorem of almost automorphic mild solutions to neutral parabolic nonautonomous evolution equation (1) under assumptions (H1)–(H5) listed below:

(H1)
there exist constants λ₀ ≥ 0, θ ∈ (π/2, π), L₀, K₀ ≥ 0, and α, β ∈ (0,1] with α + β > 1 such that
(14)
for t, s ∈ ℝ, λ ∈ Σ_θ : = {λ ∈ ℂ∖{0} : |argλ| ≤ θ},
(H2)
the evolution family {U(t, s)} _t≥s generated by A(t) has an exponential dichotomy with dichotomy constants M > 0, δ > 0, dichotomy projections P(t), t ∈ ℝ, and Green’s function Γ(t, s),
(H3)
Γ(t, s)x ∈ bAA(ℝ × ℝ, 𝕏) for each x ∈ 𝕏,
(H4)
f ∈ AA(ℝ × 𝕏, 𝕏), and there exists a constant L_f > 0 such that for all t ∈ ℝ and u, v ∈ 𝕏,
(15)
(H5)
g ∈ AA(ℝ × 𝕏, 𝕏), and there exists a constant L_g > 0 such that for all t ∈ ℝ and u, v ∈ 𝕏,
(16)

Remark 15. Assumption (H1) is usually called “Acquistapace-Terreni” conditions, which was first introduced in [27] for λ₀ = 0. If (H1) holds, then there exists a unique evolution family {U(t, s)} _t≥s on 𝕏 such that (t, s) ↦ U(t, s) ∈ B(𝕏) is strongly continuous for t > s, U(·, s) ∈ C¹((s, ∞), B(𝕏)), ∂_tU(t, s) = A(t)U(t, s) for t > s. These assertions are established in Theorem 2.3 of [28]. See also [27, 29, 30].

Definition 16. A mild solution to (1) is a continuous function u : ℝ → 𝕏 satisfying integral equation

(17)

for all t ≥ s and all s ∈ ℝ.

Lemma 17. Assume that (H1)–(H3) and (H5) hold. Define nonlinear operator Λ on AA(𝕏) by

(18)

Then Λ maps AA(𝕏) into itself.

Proof. Combining the ideas from Theorem 4.28 in [22], the technique of exponential dichotomy, composition theorem of almost automorphic functions, and the Lebesgue dominated convergence theorem, we strive for a more self-contained proof. Let u ∈ AA(𝕏). Then it follows from Lemma 12 [6, Theorem 2.2.6] that h : = g(·, u(·)) ∈ AA(𝕏), in view of (H5). Hence, (Λu)(t) can be rewritten as

(19)

From triangle inequality and exponential dichotomy of {U(t, s)} _t≥s, it follows that

(20)

Hence, Λ is well defined for each t ∈ ℝ. To show Λu ∈ C(ℝ, 𝕏), we will verify that

(21)

By h ∈ C(ℝ, 𝕏) and the strong continuity of Γ(t, s), we have for each t ∈ ℝ, x ∈ 𝕏, σ > 0,

(22)

Transforming (19) into another form, we have, for σ > 0,

(23)

In view of (23), triangle inequality and exponential dichotomy of {U(t, s)} _t≥s, we have

(24)

Thus, in the Lebesgue dominated convergence theorem, (22) leads to (21) and therefore to Λu ∈ C(ℝ, 𝕏).

To show Λu ∈ AA(𝕏), let us take a sequence of real numbers and show that there exists a subsequence {s_n} _n∈ℕ such that

(25)

By h ∈ AA(𝕏) and (H3), there exists a subsequence {s_n} _n∈ℕ such that for each t ∈ ℝ, x ∈ 𝕏, σ > 0,

(26)

Again, in view of (23), triangle inequality and exponential dichotomy of {U(t, s)} _t≥s, we obtain

(27)

Thus, in the Lebesgue dominated convergence theorem, (26) leads to (25) and therefore to Λu ∈ AA(𝕏). Here we used the translation invariance of almost automorphic functions, which is collected in Lemma 8(3). The proof is complete.

Now we are in a position to state and prove the first main result of this paper.

Theorem 18. Suppose that (H1)–(H5) hold. If Θ = L_f + (2ML_g/δ) < 1, then there exists a unique mild solution u ∈ AA(𝕏) to (1) such that

(28)

Proof. Firstly, define nonlinear operator Γ on AA(𝕏) by

(29)

Let u ∈ AA(𝕏), then it follows from Lemma 12 [6, Theorem 2.2.6] that f(·, u(·)) ∈ AA(𝕏), in view of (H4). Together with Lemma 17, we deduce that the operator Γ is well defined and maps AA(𝕏) into itself.

Secondly, we will prove that Γ is a strict contraction on AA(𝕏). Let v, w ∈ AA(𝕏). By (H2), (H4), and (H5), we have

(30)

Hence,

(31)

If Θ = L_f + (2ML_g/δ) < 1, then the operator Γ becomes a strict contraction on AA(𝕏). Since the space AA(𝕏) equipped with sup norm ∥u∥_∞ = sup _t∈ℝ∥u(t)∥ is a Banach space by Lemma 10, an application of Banach fixed point theorem shows that there exists a unique u ∈ AA(𝕏) such that (28) holds.

Finally, to prove that u satisfies (17) for all t ≥ s, all s ∈ ℝ. For this, we let

(32)

Multiplying both sides of (32) by U(t, s) for all t ≥ s, we have

(33)

Hence, u ∈ AA(𝕏) is a unique mild solution to (1). The proof is complete.

4. Bounded Perturbations

In this section, we consider neutral parabolic nonautonomous evolution equation (2). For this, we need assumptions (H1)–(H5) listed in the previous section and the following assumption:

(H6)
B, C ∈ B(𝕏) with max {∥B∥_B(𝕏), ∥C∥_B(𝕏)} = K.

Definition 19. A mild solution to (2) is a continuous function u : ℝ → 𝕏 satisfying integral equation

(34)

for all t ≥ s and all s ∈ ℝ.

Lemma 20. Let assumptions (H1)–(H3), (H5), and (H6) hold. Define nonlinear operator Λ₁ on AA(𝕏) by

(35)

Then Λ₁ maps AA(𝕏) into itself.

Proof. Let u(·) ∈ AA(𝕏). By (H6) and Corollary 13, we obtain Cu(·) ∈ AA(𝕏). Then it follows from Lemma 12 [6, Theorem 2.2.6] that h₁ : = g(·, Cu(·)) ∈ AA(𝕏), in view of (H5). The left is almost same as the proof of Lemma 17, remembering to replace Λ, h by Λ₁, and h₁, respectively. This ends the proof.

Now we are in a position to state and prove the second main result of this paper.

Theorem 21. Suppose that (H1)–(H6) hold. If Θ₁ = K(L_f + (2ML_g/δ)) < 1, then there exists a unique mild solution u ∈ AA(𝕏) to (2) such that

(36)

Proof. Firstly, define nonlinear operator Γ₁ on AA(𝕏) by

(37)

Let u ∈ AA(𝕏). By (H6) and Corollary 13, we obtain Bu ∈ AA(𝕏). Hence, it follows from Lemma 12 [6, Theorem 2.2.6] that f(·, Bu(·)) ∈ AA(𝕏), in view of (H4). Together with Lemma 20, we deduce that the operator Γ₁ is well defined and maps AA(𝕏) into itself.

Secondly, we will prove that Γ₁ is a strict contraction on AA(𝕏) and apply Banach fixed point theorem. Let v, w ∈ AA(𝕏). Then it follows from (H2), (H4), (H5), and (H6) that

(38)

Hence,

(39)

If Θ₁ = K(L_f + (2ML_g/δ)) < 1, then the operator Γ₁ becomes a strict contraction on AA(𝕏). Since the space AA(𝕏) equipped with sup norm ∥u∥_∞ = sup _t∈ℝ∥u(t)∥ is a Banach space by Lemma 10, an application of Banach fixed point theorem shows that there exists a unique u ∈ AA(𝕏) such that (36) holds.

Finally, to prove that u satisfies (34) for all t ≥ s, all s ∈ ℝ. For this, we let

(40)

Multiplying both sides of (40) by U(t, s) for all t ≥ s, then

(41)

Hence, u ∈ AA(𝕏) is a unique mild solution to (2). The proof is complete.

5. Applications to Parabolic Partial Differential Equations and Neutral Functional Differential Equations

In this section, two examples are given to illustrate the effectiveness and flexibility of Theorem 21. By a mild solution to a partial or neutral functional differential equation, we mean a mild solution to the corresponding evolution equation.

Example 22. Consider the following parabolic partial differential equation:

(42)

where q is continuous on [0, π].

Let 𝕏 : = C[0, π] denote the space of continuous functions from [0, π] to ℝ equipped with the sup norm and define the operator A by

(43)

It is known (see [18, Example 14.4]) that A is sectorial, D(A) is not dense in C[0, π], and A is the generator of an analytic semigroup {T(t)} _t≥0 not strongly continuous at 0. Since the spectrum of A consists of the sequence of eigenvalues λ_n = −n², n ∈ ℕ, it can be easily checked that ∥T(t)∥ ≤ e^−t for t ≥ 0, remembering that the spectral bound s(A) = sup {Reλ : λ ∈ σ(A)} of A coincides with its growth bound

(44)

Define a family of linear operators A(t), t ∈ ℝ by

(45)

In the case that A(t) : D(A(t)) ⊂ 𝕏 → 𝕏 have a constant domain D(A(t)) ≡ D(A(0)) and λ₀ = 0, it is known that [31, 32] assumption (H1) can be replaced by the following assumption (ST).

(ST)
There exist constants θ ∈ (π/2, π), L₀, K₀ ≥ 0, and α ∈ (0,1] such that
(46)
for t, s, r ∈ ℝ, λ ∈ Σ_θ : = {λ ∈ ℂ∖{0}:|argλ | ≤ θ}.

Now, it is not hard to verify that A(t) satisfy (H1). By Theorem 2.3 of [28], A(t) generate an evolution family {U(t, s)} _t≥s that is strongly continuous for t > s. Furthermore,

(47)

Hence,

(48)

and (H2) is satisfied with M = 1, δ = 2, P(s) = I.

As for (H3), it is obvious that U(t, s)φ ∈ C(ℝ × ℝ, C[0, π]) for each φ ∈ C[0, π].

To show that U(t, s)φ ∈ bAA(ℝ × ℝ, C[0, π]) for each φ ∈ C[0, π], let us take a sequence of real numbers and show that there exists a subsequence {s_n} _n∈ℕ such that

(49)

pointwise for each t, s ∈ ℝ.

By −3 + sinτ + sinπτ ∈ AA(ℝ), there exists a subsequence {s_n} _n∈ℕ such that pointwise for each τ ∈ ℝ,

(50)

In view of (47) and (50), an application of the Lebesgue dominated convergence theorem shows that

(51)

pointwise for each t, s ∈ ℝ. Hence, (H3) is satisfied.

Define the operators B, C by

(52)

then ∥B∥_B(C[0,π]) = ∥C∥_B(C[0,π]) = ∥q∥_∞ : = max _ξ∈[0,π] {q(ξ)}.

In view of the above, (42) can be transformed into the abstract form (2), and assumptions (H1)–(H3) and (H6) are satisfied.

We add the following assumptions:

(H4a)
f : ℝ × C[0, π] → C[0, π], (t, u) ↦ f(t, u) is almost automorphic, and there exists a constant L_f > 0 such that for all t ∈ ℝ, u(t, ·), v(t, ·) ∈ C[0, π],
(53)
(H5a)
g : ℝ × C[0, π] → C[0, π], (t, u) ↦ g(t, u) is almost automorphic, and there exists a constant L_g > 0 such that for all t ∈ ℝ, u(t, ·), v(t, ·) ∈ C[0, π],
(54)

Now, the following proposition is an immediate consequence of Theorem 21.

Proposition 23. Under assumptions (H4a) and (H5a), parabolic partial differential equation (42) admits a unique almost automorphic mild solution if

(55)

Furthermore, if one takes

(56)

A simple computation shows that f, g ∈ AA(ℝ × C[0, π], C[0, π]), (H4a), and (H5a) are satisfied with L_f = 1, L_g = 1/4. By Proposition 23, (42) admits a unique almost automorphic mild solution whenever ∥q∥_∞ < 4/5.

Example 24. Consider neutral functional differential equation

(57)

where τ ∈ ℝ is a fixed constant.

Take 𝕏, A, A(t), t ∈ ℝ, (H4a), and (H5a) as in Example 22. Define the operators B, C by

(58)

then ∥B∥_B(C[0,π]) = ∥C∥_B(C[0,π]) = 1.

Now, (57) can be transformed into the abstract form (2) and assumptions (H1)–(H3) and (H6) are satisfied. Hence, Theorem 21 leads also to the following proposition.

Proposition 25. Under assumptions (H4a) and (H5a), neutral functional differential equation (57) admits a unique almost automorphic mild solution if

(59)

Furthermore, if one takes

(60)

A simple computation shows that f, g ∈ AA(ℝ × C[0, π], C[0, π]), (H4a), and (H5a) are satisfied with L_f = 1/2, L_g = 1/4. By Proposition 25, (57) admits a unique almost automorphic mild solution.

Acknowledgments

The authors would like to thank the referees for their careful reading of this paper. This work is supported by the National Science Foundation of China (11171314).

References

1 Bochner S., A new approach to almost periodicity, Proceedings of the National Academy of Sciences of the United States of America. (1962) 48, 2039–2043, MR0145283, https://doi.org/10.1073/pnas.48.12.2039, ZBL0112.31401.
Google Scholar
2 Veech W. A., Almost automorphic functions on groups, American Journal of Mathematics. (1965) 87, 719–751, MR0187014, https://doi.org/10.2307/2373071, ZBL0137.05803.
Google Scholar
3 Veech W. A., On a theorem of Bochner, Annals of Mathematics. (1967) 86, 117–137, MR0215945, https://doi.org/10.2307/1970363, ZBL0155.40502.
Google Scholar
4 Zaki M., Almost automorphic solutions of certain abstract differential equations, Annali di Matematica Pura ed Applicata. (1974) 101, 91–114, MR0364805, https://doi.org/10.1007/BF02417100, ZBL0304.42028.
Google Scholar
5 Shen W. and Yi Y., Almost automorphic and almost periodic dynamics in skew-product semi ows, Memoirs of the American Mathematical Society. (1998) 136, no. 647.
Google Scholar
6 N′Guérékata G. M., Almost Automorphic Functions and Almost Periodic Functions in Abstract Spaces, 2001, Kluwer Academic/Plenum, New York, NY, USA.
10.1007/978-1-4757-4482-8
Google Scholar
7 N′Guérékata G. M., Topics in Almost Automorphy, 2005, Springer, New York, NY, USA, MR2107829.
Google Scholar
8 Boulite S., Maniar L., and N′Guérékata G. M., Almost automorphic solutions for hyperbolic semilinear evolution equations, Semigroup Forum. (2005) 71, no. 2, 231–240, https://doi.org/10.1007/s00233-005-0524-y, MR2184055, ZBL1086.34052.
Google Scholar
9 Cieutat P. and Ezzinbi K., Almost automorphic solutions for some evolution equations through the minimizing for some subvariant functional, applications to heat and wave equations with nonlinearities, Journal of Functional Analysis. (2011) 260, no. 9, 2598–2634, https://doi.org/10.1016/j.jfa.2011.01.002, MR2772346, ZBL1217.47080.
Google Scholar
10 Diagana T., Nguerekata G., and Nguyen Van Minh, Almost automorphic solutions of evolution equations, Proceedings of the American Mathematical Society. (2004) 132, no. 11, 3289–3298, https://doi.org/10.1090/S0002-9939-04-07571-9, MR2073304, ZBL1053.34050.
Google Scholar
11 Goldstein J. A. and N′Guérékata G. M., Almost automorphic solutions of semilinear evolution equations, Proceedings of the American Mathematical Society. (2005) 133, no. 8, 2401–2408, https://doi.org/10.1090/S0002-9939-05-07790-7, MR2138883, ZBL1073.34073.
Google Scholar
12 N′guerekata G. M., Almost automorphy, almost periodicity and stability of motions in Banach spaces, Forum Mathematicum. (2001) 13, no. 4, 581–588, https://doi.org/10.1515/form.2001.023, MR1830248, ZBL0974.34058.
Google Scholar
13 N′Guérékata G. M., Existence and uniqueness of almost automorphic mild solutions to some semilinear abstract differential equations, Semigroup Forum. (2004) 69, no. 1, 80–86, https://doi.org/10.1007/s00233-003-0021-0, MR2063980, ZBL1077.47058.
Google Scholar
14 Baroun M., Boulite S., N′Guérékata G. M., and Maniar L., Almost automorphy of semilinear parabolic evolution equations, Electronic Journal of Differential Equations. (2008) 2008, 1–9, 2-s2.0-42949096442.
Google Scholar
15 Ding H.-S., Long W., and N′Guérékata G. M., Almost automorphic solutions of nonautonomous evolution equations, Nonlinear Analysis. Theory, Methods & Applications A: Theory and Methods. (2009) 70, no. 12, 4158–4164, https://doi.org/10.1016/j.na.2008.09.005, MR2514748, ZBL1161.43301.
Google Scholar
16 Liu J.-H. and Song X.-Q., Almost automorphic and weighted pseudo almost automorphic solutions of semilinear evolution equations, Journal of Functional Analysis. (2010) 258, no. 1, 196–207, https://doi.org/10.1016/j.jfa.2009.06.007, MR2557959, ZBL1194.47047.
Google Scholar
17 Adimy M. and Ezzinbi K., A class of linear partial neutral functional-differential equations with nondense domain, Journal of Differential Equations. (1998) 147, no. 2, 285–332, https://doi.org/10.1006/jdeq.1998.3446, MR1633941, ZBL0915.35109.
Google Scholar
18 Da Prato G. and Sinestrari E., Differential operators with nondense domain, Annali della Scuola Normale Superiore di Pisa. (1987) 14, no. 2, 285–344, MR939631.
Google Scholar
19 Sinestrari E., On the abstract Cauchy problem of parabolic type in spaces of continuous functions, Journal of Mathematical Analysis and Applications. (1985) 107, no. 1, 16–66, https://doi.org/10.1016/0022-247X(85)90353-1, MR786012, ZBL0589.47042.
Google Scholar
20 Maniar L. and Schnaubelt R., Almost periodicity of inhomogeneous parabolic evolution equations, Lecture Notes in Pure and Applied Mathematics, 2003, 234, Dekker, New York, NY, USA, 299–318.
Google Scholar
21 Schnaubelt R., Asymptotic behaviour of parabolic nonautonomous evolution equations, Functional Analytic Methods for Evolution Equations, 2004, 1855, Springer, Berlin, Germany, 401–472, Lecture Notes in Mathematics, https://doi.org/10.1007/978-3-540-44653-8_5, MR2108962, ZBL1082.35092.
10.1007/978-3-540-44653-8_5
Google Scholar
22 Chicone C. and Latushkin Y., Evolution Semigroups in Dynamical systems and Differential Equations, 1999, American Mathematical Society, Providence, RI, USA, MR1707332.
Google Scholar
23 Coppel W. A., Dichotomies in Stability Theory, 1978, Springer, Berlin, Germany, MR0481196.
Google Scholar
24 Sacker R. J. and Sell G. R., Dichotomies for linear evolutionary equations in Banach spaces, Journal of Differential Equations. (1994) 113, no. 1, 17–67, https://doi.org/10.1006/jdeq.1994.1113, MR1296160, ZBL0815.34049.
Google Scholar
25 Ding H.-S., Liang J., and Xiao T.-J., Almost automorphic solutions to nonautonomous semilinear evolution equations in Banach spaces, Nonlinear Analysis. Theory, Methods & Applications Series A: Theory and Methods. (2010) 73, no. 5, 1426–1438, https://doi.org/10.1016/j.na.2010.05.006, MR2661237, ZBL1192.43005.
Google Scholar
26 Xiao T.-J., Zhu X.-X., and Liang J., Pseudo-almost automorphic mild solutions to nonautonomous differential equations and applications, Nonlinear Analysis. Theory, Methods & Applications. A: Theory and Methods. (2009) 70, no. 11, 4079–4085, https://doi.org/10.1016/j.na.2008.08.018, MR2515324, ZBL1175.34076.
Google Scholar
27 Acquistapace P. and Terreni B., A unified approach to abstract linear nonautonomous parabolic equations, Rendiconti del Seminario Matematico della Università di Padova. (1987) 78, 47–107, MR934508, ZBL0646.34006.
Google Scholar
28 Acquistapace P., Evolution operators and strong solutions of abstract linear parabolic equations, Differential and Integral Equations. (1988) 1, no. 4, 433–457, MR945820, ZBL0723.34046.
10.57262/die/1372451947
Google Scholar
29 Yagi A., Parabolic evolution equations in which the coefficients are the generators of infinitely differentiable semigroups. II, Funkcialaj Ekvacioj. (1990) 33, no. 1, 139–150, MR1065472, ZBL0706.35060.
Google Scholar
30 Yagi A., Abstract quasilinear evolution equations of parabolic type in Banach spaces, Unione Matematica Italiana B. (1991) 5, no. 2, 341–368, MR1111127, ZBL0851.35060.
Google Scholar
31 Amann H., Linear and Quasilinear Parabolic Problems. Volume 1: Abstract Linear Theory, 1995, Birkhäuser Boston, Boston, Mass, USA, https://doi.org/10.1007/978-3-0348-9221-6, MR1345385.
Google Scholar
32 Lunardi A., Analytic Semigroups and Optimal Regularity in Parabolic Problems, 1995, Birkhäuser, Basel, Switzerland, https://doi.org/10.1007/978-3-0348-9234-6, MR1329547.
Google Scholar

Citing Literature

All articles

Almost Automorphic Mild Solutions to Neutral Parabolic Nonautonomous Evolution Equations with Nondense Domain

Abstract

1. Introduction

2. Preliminaries

2.1. Evolution Family and Exponential Dichotomy

2.2. Almost Automorphy and Bi-Almost Automorphy

3. Neutral Parabolic Nonautonomous Evolution Equation

4. Bounded Perturbations

5. Applications to Parabolic Partial Differential Equations and Neutral Functional Differential Equations

Acknowledgments

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Almost Automorphic Mild Solutions to Neutral Parabolic Nonautonomous Evolution Equations with Nondense Domain

Abstract

1. Introduction

2. Preliminaries

2.1. Evolution Family and Exponential Dichotomy

2.2. Almost Automorphy and Bi-Almost Automorphy

3. Neutral Parabolic Nonautonomous Evolution Equation

4. Bounded Perturbations

5. Applications to Parabolic Partial Differential Equations and Neutral Functional Differential Equations

Acknowledgments

References

Citing Literature

References

Related

Information