Volume 2013, Issue 1 473969
Research Article
Open Access

Almost Automorphic Solutions to Nonautonomous Stochastic Functional Integrodifferential Equations

Li Xi-liang

Corresponding Author

Li Xi-liang

School of Mathematics and Information Sciences, Shandong Institute of Business and Technology, Yantai 264005, China sdibt.edu.cn

Search for more papers by this author
Han Yu-liang

Han Yu-liang

School of Mathematics and Information Sciences, Shandong Institute of Business and Technology, Yantai 264005, China sdibt.edu.cn

Search for more papers by this author
First published: 18 April 2013
Academic Editor: Zhiming Guo

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 [18] 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, 912] 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.

In this paper, we are concerned with a class of semilinear nonautonomous functional stochastic integrodifferential equations in a real separable Hilbert space in the abstract form:
()
where A(t) : D(A(t)) ⊂ 2(P; ) → 2(P; ) is a family of densely defined closed (possibly unbounded) linear operator satisfying the so-called “Acquistapace-Terreni” conditions introduced in [15], B and C are convolution-type kernels in 1(0, ) and 2(0, ), respectively, satisfying Assumption  3.2 in [16], W(t) is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space (Ω, , P, t), where t = σ{W(u) − W(v);   u, vt}. Here F1, F2, G : × 2(P; ) → 2(P; ) are jointly continuous functions satisfying some additional conditions to be specified later in Section 3.

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, 1723] and the references therein.

Throughout this paper, we assume that (, ∥·∥) is a real separable Hilbert space, (Ω, , P) is a probability space, and 2(P; ) stands for the space of all -valued random variables X such that
()
For X2(P; ), let
()
It is routine to check that 2(P; ) is a Banach space equipped with the norm ∥·∥2.

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, vt}.

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, ts) distributed for all 0 ≤ st.

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

()
hold for each t. The collection of all square-mean almost automorphic stochastic processes is denoted by AA(; 2(P; )).

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 tX(t)∥2M. That is, X is bounded in 2(P; ).

Lemma 5. AA(; 2(P; )) is a Banach space when it is equipped with the norm

()
for XAA(; 2(P; )).

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 X2(P; ) if for every sequence of real numbers there exists a subsequence {sn} and a stochastic process G : × 2(P; ) → 2(P; ) such that

()
hold for each t and each X2(P; ).

Lemma 7. Let f : × 2(P; ) → 2(P; ), (t, X) ↦ f(t, X) be square-mean almost automorphic in t for each X2(P; ), and assume that f satisfies a Lipschitz condition in the following sense:

()
for all φ, ψ2(P; ) and each t, where L > 0 is independent of t. Then for any square-mean almost automorphic stochastic process X : 2(P; ), the stochastic process F : 2(P; ) given by F(t): = f(t, X(t)) is square-mean almost automorphic.

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.

ATCs. There exist constants λ0 ≥ 0,   θ ∈ (π/2, π),   L, K ≥ 0, and α, β ∈ (0,1] with α + β > 1 such that
()
for t, s,   λΣθ : = {λ − {0} : |argλ| ≤ θ}.

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)} <st< on 2(P; ), which governs the linear part of (1).

3. Main Results

In this section, we investigate the existence and uniqueness of square-mean almost automorphic solution to the nonautonomous stochastic integrodifferential evolution equation (1). The following assumptions are imposed on (1) which will be assumed throughout the manuscript.
  • (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),  ts} 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 ts, 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 X2(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, Y2(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:

()
for all ta and each a.

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

()
provided that
()

Proof. First of all, it is not difficult to verify that the stochastic process

()
is well defined and satisfies
()
for all ta and each a, and hence it is a mild solution of the original (1).

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

()
If we can show that the operator 𝒮 maps AA(; 2(P; )) into itself and it is a contraction mapping, then, by Banach contraction principle, we can conclude that there is a unique square-mean almost automorphic mild solution to (1).

Now define three nonlinear operators acting on the Banach space AA(; 2(P; )) as follows:

()
We show first that 𝒮1X is square-mean almost automorphic whenever X is. Indeed, assuming that X is square-mean almost automorphic, then Lemma 7 implies that f1(·): = F1(·, X(·)) is also square-mean almost automorphic. Hence, for any sequence of real numbers , there exists a subsequence {sn} of and a stochastic process such that
()
hold for each t. By assumption (H2), for any ε > 0, there exists N1 = N1(ε) ∈ such that n > N1 implies that
()
Now, define functions on as follows:
()
and then the above observation together with (3.1) and Cauchy-Schwarz inequality implies that for any ε > 0 and for the aforementioned N1 = N1(ε) ∈ if n > N1 it yields that
()
where M1 : = sup tEf1(t)∥2 < +. Hence,
()
for each t. And we can show in a similar way that
()
for each t. Thus, we conclude that u = 𝒮1XAA(; 2(P; )).

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

()
hold for each t. Now define functions on as follows:
()
and then, by making change of variables τ = σsn and r = ssn, we obtain that
()
Let us evaluate the first term of the right-handed side by using Cauchy-Schwarz inequality:
()
As to the second term, in a similar manner as above, we have the following observation:
()
Based on the above argument, for arbitrary ε > 0, thanks to the boundedness and square-mean almost automorphy of f2, there exists certain N2 = N2(ε) ∈ such that n > N2 implies that
()
where we use the fact that, for arbitrary ε > 0, there exists N2 = N2(ε) ∈ such that, for all n > N2,
()
holds for all t. This indicates that
()
for each t. In an analogous way, we can show that
()
for each t. Combining (33) with (34), we obtain that v = 𝒮2X is square-mean almost automorphic.

Assuming that XAA(; 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

()
hold for each t. Hence, for arbitrary ε > 0, there exists certain N3 = N3(ε) ∈ such that, for all n > N3, there holds
()
for all t.

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

()
for each s, which has the same distribution as W. Define two functions on as below:
()
By making change of variables τ = σsn and r = ssn, and then using Cauchy-Schwarz inequality, we obtain that
()
For the above-mentioned ε > 0, by using an estimate on Ito integral established in [26], it follows that once n > N3, then the first term of the above inequality can be evaluated as
()
and the second term can be evaluated analogously as
()
The above argument yields that
()
which implies that
()
for each t. Analogously, we can show that
()
for each t. Combining (43) with (44), we obtain that ω = 𝒮3X is square-mean almost automorphic.

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, YAA(; 2(P; )), thanks to the fact that (a + b + c) 2 ≤ 3a2 + 3b2 + 3c2, we have the following observation:

()
Now, we evaluate the first term of the right-hand side with the help of Cauchy-Schwarz inequality as follows:
()
As to the second term, we can proceed in the same manner as above and obtain
()
As far as the last term of the right-hand side is concerned, we use again the estimate on the Ito integral to obtain
()
Thus, by combining the three inequalities together, we obtain that, for each t,
()
That is,
()
where . Notice that
()
As a result, (50) together with (51) gives that, for each t,
()
It follows that
()
which implies that 𝒮 is a contraction mapping by the assumption (15) imposed on Θ. Therefore, by the Banach contraction principle, we conclude that there exists a unique fixed point X for 𝒮 in AA(; 2(P; )), which is the unique square-mean almost automorphic mild solution to the functional integrodifferential semilinear stochastic evolution equation (1) as we have claimed. The proof is complete.

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].

Now we are in a position to show the asymptotically stable property of the unique square-mean almost automorphic solution to (1). Recall that the unique square-mean almost automorphic solution X*(t) of (1) is said to be stable in square-mean sense if, for arbitrary ϵ > 0, there exists δ > 0 such that
()
whenever EX(0) − X*(0)∥2 < δ, where X(t) stands for a solution of (1) with initial value X(0). The solution X*(t) is said to be asymptotically stable in square-mean sense if it is stable in square-mean sense and
()

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 ta, and α,  γ be some positive constants. If

()
then
()

Theorem 13. Let all the assumptions in Theorem 10 hold and assume that

()
Then the unique square-mean almost automorphic mild solution X*(t) of (1) is asymptotically stable in square-mean sense.

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,

()
where .

Define Y(t): = EX(t) − X*(t)∥2, and it yields that

()
Hence, it follows from Lemma 12 that
()
Straightforwardly, we obtain that Y(t) converges to 0 exponentially fast if −δ + κ < 0, which is equivalent to our condition (58). Thus, we come to the conclusion that the unique square-mean almost automorphic mild solution X*(t) of (1) is asymptotically stable in square-mean sense. The proof is completed.

4. Applications

To illustrate the applications of our abstract results, let us consider the following nonautonomous functional integrodifferential stochastic partial differential equation:
()
for t and xΩ, where Ωn is a bounded subset whose boundary Ω is both of class C2 and locally on one side of Ω. Suppose further that (62) satisfies the following boundary conditions:
()
where n(x) = (n1(x), n2(x), …, nn(x)) is the outer unit normal vector. A family of operators A(t, x) defined by 2X/x2 = A(t, x)X(t, x) is formally assigned to be
()
where aij  (i, j = 1,2, …, n) and c satisfy the following conditions.
  • (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.

Now, let = 2(Ω) and let 2(Ω) be the Sobolev space of order 2 on Ω. For each t, define an operator A(t) on 2(P; ) by
()
where
()
Under assumptions (H4)-(H5), the existence of an evolution family U(t, s) satisfying (H1) is guaranteed; see, for example, [28].

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.