Almost Automorphic Solutions to Nonautonomous Stochastic Functional Integrodifferential Equations
Abstract
This paper concerns the square-mean almost automorphic solutions to a class of abstract semilinear nonautonomous functional integrodifferential stochastic evolution equations in real separable Hilbert spaces. Using the so-called “Acquistapace-Terreni” conditions and Banach contraction principle, the existence, uniqueness, and asymptotical stability results of square-mean almost automorphic mild solutions to such stochastic equations are established. As an application, square-mean almost automorphic solution to a concrete nonautonomous integro-differential stochastic evolution equation is analyzed to illustrate our abstract results.
1. Introduction
Stochastic differential equations in both finite and infinite dimensions, which are important from the viewpoint of applications since they incorporate natural randomness into the mathematical description of the phenomena and hence provide a more accurate description of it, have received considerable attention. Based on this viewpoint, there has been an increasing interest in extending certain classical deterministic results to stochastic differential equations in recent years. As a good case in point, the existence of almost periodic or pseudo-almost periodic solutions to stochastic evolution equations has been extensively considered in many publications; see [1–8] and the references therein.
Integrodifferential equations are used to describe lots of phenomena arising naturally from many fields such as fluid dynamics, number reactor dynamics, population dynamics, electromagnetic theory, and biological models, most of which cannot be described by classical differential equations, and hence they have attracted more and more attention in recent years; see [1, 9–12] for more details.
Recently, Keck and McKibben [9, 10] proposed a general abstract model for semilinear functional stochastic integrodifferential equations and studied the existence and uniqueness of mild solutions to these equations. Based on their works, the existence and uniqueness of square-mean almost periodic solutions to some functional integrodifferential stochastic evolution equations was carefully investigated in [1] for the autonomous case and in our forthcoming paper for the nonautonomous case. In a very recent paper, as a natural generalization of the notion of square-mean almost periodicity, a new concept of square-mean almost automorphic stochastic process was introduced by Fu and Liu [13], and the existence results of square-mean almost automorphic mild solutions to some linear and semilinear autonomous stochastic differential equations were formulated, while paper [14] investigated the same issue for nonautonomous stochastic differential equations. Under some suitable assumptions, the authors established in a forthcoming paper the existence and uniqueness of square-mean almost automorphic solutions to a class of autonomous functional integrodifferential stochastic evolution equations.
Motivated by the aforementioned works [1, 13, 14], we investigate in this paper the existence and uniqueness of square-mean almost automorphic solutions to nonautonomous equation (1). The main tools employed here are Banach contraction principle and an estimate on the Ito integral. The obtained results can be seen as a contribution to this emerging field.
The paper is organized as follows. In Section 2, we review some basic definitions and preliminary facts on square-mean almost automorphic processes which will be used throughout this paper. Section 3 is devoted to establish the existence, uniqueness, and the asymptotical stability of square-mean almost automorphic mild solution to (1). As an illustration of our abstract result, square-mean almost automorphic solution to a concrete nonautonomous integrodifferential stochastic evolution equation is investigated in Section 4.
2. Preliminaries
To begin this paper, we recall some primary definitions, notations, lemmas, and technical results which will be used in the sequel. For more details on almost automorphy and stochastic differential equations, the readers are referred to [13, 17–23] and the references therein.
It is well-known that Brownian motion plays a key role in the construction of stochastic integrals. Throughout this paper, W(t) denotes a two-sided standard one-dimensional Brownian motion defined on the filtered probability space (Ω, ℱ, P, ℱt), where ℱt = σ{W(u) − W(v); u, v ≤ t}.
Definition 1. A standard one-dimensional Brownian motion is a continuous, adapted real-valued stochastic process (W(t), t ≥ 0) such that
- (i)
W(0) = 0 a.s.;
- (ii)
W(t) − W(s) is independent of ℱs for all 0 ≤ s < t;
- (iii)
W(t) − W(s) is N(0, t − s) distributed for all 0 ≤ s ≤ t.
The following definitions and lemmas concerning square-mean almost automorphic functions can be found in [13, 14].
Definition 2. A stochastic process X : ℝ → ℒ2(P; ℍ) is said to be stochastically continuous if
Definition 3. A stochastically continuous stochastic process X : ℝ → ℒ2(P; ℍ) is said to be square-mean almost automorphic if for every sequence of real numbers there exists a subsequence {sn} and a stochastic process Y : ℝ → ℒ2(P; ℍ) such that
Lemma 4. If X, X1, and X2 are all square-mean almost automorphic stochastic processes, then the following statements hold true:
- (i)
X1 + X2 is square-mean almost automorphic;
- (ii)
λX is square-mean almost automorphic for every scalar λ;
- (iii)
There exists a constant M > 0 such that sup t∈ℝ∥X(t)∥2 ≤ M. That is, X is bounded in ℒ2(P; ℍ).
Lemma 5. AA(ℝ; ℒ2(P; ℍ)) is a Banach space when it is equipped with the norm
Definition 6. A jointly continuous function F : ℝ × ℒ2(P; ℍ) → ℒ2(P; ℍ), (t, X) ↦ F(t, X) is said to be square-mean almost automorphic in t ∈ ℝ for each X ∈ ℒ2(P; ℍ) if for every sequence of real numbers there exists a subsequence {sn} and a stochastic process G : ℝ × ℒ2(P; ℍ) → ℒ2(P; ℍ) such that
Lemma 7. Let f : ℝ × ℒ2(P; ℍ) → ℒ2(P; ℍ), (t, X) ↦ f(t, X) be square-mean almost automorphic in t ∈ ℝ for each X ∈ ℒ2(P; ℍ), and assume that f satisfies a Lipschitz condition in the following sense:
The Acquistapace-Terreni conditions (ATCs, for short) play an important role in the study of nonautonomous stochastic differential equations. We state it below for the readers’ convenience.
The following lemma can be found in [15, 24, 25].
Lemma 8. Suppose that the ATCs are satisfied, and then there exists a unique evolution family {U(t, s)} −∞<s≤t<∞ on ℒ2(P; ℍ), which governs the linear part of (1).
3. Main Results
- (H1)
The operator A(t) : D(A(t)) ⊂ ℒ2(P; ℍ) → ℒ2(P; ℍ) is a family of densely defined closed linear operators satisfying the ATCs, and the generated evolution family U(t, s) is uniformly exponentially stable; that is, there exist constants M ≥ 1 and δ > 0 such that
() - (H2)
The evolution family {U(t, s), t ≥ s} generated by A(t) satisfies the following condition: from every sequence of real numbers , we can extract a subsequence {sn} n∈ℕ such that, for any ε > 0, there exists an N ∈ ℕ such that n > N implies that
() -
for all t ≥ s, where δ > 0 is the constant required in (H1).
- (H3)
The functions Fi : ℝ × ℒ2(P; ℍ) → ℒ2(P; ℍ), (t, X) ↦ Fi(t, X) (i = 1,2), and G : ℝ × ℒ2(P; ℍ) → ℒ2(P; ℍ), (t, X) ↦ G(t, X) are square-mean almost automorphic in t ∈ ℝ for each X ∈ ℒ2(P; ℍ). Moreover, F1, F2, and G are Lipschitz in X uniformly for t in the following sense: there exist constants Ki > 0 (i = 1, 2, 3) such that
() -
for all stochastic processes X, Y ∈ ℒ2(P; ℍ) and t ∈ ℝ.
Definition 9. An ℱt progressively measurable process (X(t)) t∈ℝ is called a mild solution of (1) if it satisfies the corresponding stochastic integral equation:
Now we are in a position to show the existence and uniqueness of square-mean almost automorphic solution to (1).
Theorem 10. Assume that conditions (H1)–(H3) are satisfied, then (1) has a unique square-mean almost automorphic mild solution X(·) ∈ AA(ℝ; ℒ2(P; ℍ)) which can be explicitly expressed as
Proof. First of all, it is not difficult to verify that the stochastic process
To seek the square-mean almost automorphic mild solution to (1), let us consider the nonlinear operator 𝒮 acting on the Banach space AA(ℝ; ℒ2(P; ℍ)) given by
Now define three nonlinear operators acting on the Banach space AA(ℝ; ℒ2(P; ℍ)) as follows:
In an analogous way, assuming that X is square-mean almost automorphic and using Lemma 7, one can easily see that f2(·): = F2(·, X(·)) is also square-mean almost automorphic. Let be an arbitrary sequence of real numbers, and then there exists a subsequence {sn} of and a stochastic process such that
Assuming that X ∈ AA(ℝ; ℒ2(P; ℍ)), then similar argument as above ensures that g(·): = G(·, X(·)) ∈ AA(ℝ; ℒ2(P; ℍ)). As a consequence, for every sequence of real numbers there exist a subsequence and a stochastic process such that
The next step aims to prove the square-mean almost automorphy of 𝒮3X. This is more complicated because the involvement of the Brownian motion W. Consider the Brownian motion defined by
In view of the above arguments, it follows from (18) that the nonlinear operator 𝒮 = 𝒮1 + 𝒮2 + 𝒮3 maps AA(ℝ; ℒ2(P; ℍ)) into itself. To complete the proof, it suffices to show that 𝒮 is a contraction mapping on AA(ℝ; ℒ2(P; ℍ)). Indeed, for each X, Y ∈ AA(ℝ; ℒ2(P; ℍ)), thanks to the fact that (a + b + c) 2 ≤ 3a2 + 3b2 + 3c2, we have the following observation:
Remark 11. If the functions F1, F2, G in (1) are square-mean almost periodic in t, then the unique square-mean almost automorphic solution obtained in Theorem 10 is actually square-mean almost periodic; see paper [27].
The following Gronwall-type inequality is proved to be useful in our asymptotic stability analysis.
Lemma 12. Let u(t), b(t) be nonnegative continuous functions for t ≥ a, and α, γ be some positive constants. If
Theorem 13. Let all the assumptions in Theorem 10 hold and assume that
Proof. Let X(t) be any mild solution of (1) with initial value X(0). Then, on account of (H1)-(H2) and the assumptions imposed on B and C, along the same line as in [9] we could show that, for any t ≥ 0,
Define Y(t): = E∥X(t) − X*(t)∥2, and it yields that
4. Applications
- (H4)
The coefficients aij (i, j = 1,2, …, n) are symmetric, that is, aij = aji for all i, j = 1,2, …, n. In addition,
() -
for all i, j = 1,2, …, n and
() -
for some μ ∈ (1/2,1], where means the closure of Ω.
- (H5)
There exists δ0 > 0 such that
() -
for all and η ∈ ℝn.
And thus, as an immediate consequence of Theorem 10, it yields the following.
Theorem 14. Under assumptions (H2), (H3), (H4), and (H5), the nonautonomous integrodifferential stochastic evolution equation (62)-(63) has a unique mild solution which is square-mean almost automorphic provided that (15) holds. If, in addition, (58) is valid, then the unique almost automorphic solution is asymptotically stable in square-mean sense.
Acknowledgments
This paper is jointly supported by the National Natural Science Foundation of China under Grant nos. 11201266 and 11171191 and the Tianyuan Youth Foundation of National Natural Science Foundation of China under Grant nos. 11026150 and 11026098.