- Research
- Open access
- Published:

# Square-mean almost automorphic mild solutions to some stochastic differential equations in a Hilbert space

*Advances in Difference Equations*
**volume 2011**, Article number: 9 (2011)

## Abstract

This article deals primarily with the existence and uniqueness of square-mean almost automorphic mild solutions for a class of stochastic differential equations in a real separable Hilbert space. We study also some properties of square-mean almost automorphic functions including a compostion theorem. To establish our main results, we use the Banach contraction mapping principle and the techniques of fractional powers of an operator.

**Mathematics Subject Classification (2000)**

34K14, 60H10, 35B15, 34F05.

## 1 Introduction

In this article, we investigate the existence and uniqueness of square-mean almost automorphic solutions to the class of stochastic differential equations in the abstract form:

where is the infinitesimal generator of an analytic semigroup of linear operators {*T*(*t*)}_{
t≥0}on , *B*
_{
i
} , *i* = 1, 2, 3, are bounded linear operators that can be viewed as control terms, and *W*(*t*) is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space , where . Here, *f*, *g*, and *h* are appropriate functions to be specified later.

The concept of almost automorphy is an important generalization of the classical almost periodicity. They were introduced by Bochner [1, 2]; for more details about this topic, we refer the reader to [3, 4]. In recent years, the existence of almost periodic and almost automorphic solutions on different kinds of deterministic differential equations have been considerably investigated in lots of publications [5–15] because of its significance and applications in physics, mechanics, and mathematical biology.

Recently, the existence of almost periodic or pseudo almost periodic solutions to some stochastic differential equations have been considered in many publications, such as [16–22] and references therein. In a very recent article [23], the authors introduced a new concept of square-mean almost automorphic stochastic process. This paper generalizes the concept of quadratic mean almost periodic processes introduced by Bezandry and Diagana [18]. The authors established the existence and uniqueness of square-mean almost automorphic mild solutions to the following stochastic differential equations:

in a Hilbert space , where A is an infinitesimal generator of a *C*
_{0}-semigroup {*T*(*t*)}_{
t ≥ 0}, and *W*(*t*) is a two-sided standard one-dimensional Brown motion defined on the filtered probability space , where .

Motivated by the above mentioned studies [18, 23], the main purpose of this article is to investigate the existence and uniqueness of square-mean almost automorphic solutions to the problem (1.1). Note that (1.1) is more general than the problem studied in [23]. We first use a sharper definition (Definition 2.1) of square-mean almost automorphic process than the Definition 2.5 in [23]. We then present some additional properties of square-mean almost automorphic processes (see Lemmas 2.4-2.5). Our main result is established by using fractional powers of linear operators and Banach contraction principle. The obtained result can be seen as a contribution to this emerging field since it improves and generalizes the results in [23].

The rest of this article is organized as follows. In section 2, we recall and prove some basic definitions, lemmas, and preliminary facts which will be used throughout this article. We also prove some additional properties of square-mean almost automorphic functions. In Section 3, we prove the existence and uniqueness of square-mean almost automorphic mild solutions to (1.1).

## 2 Preliminaries

In this section, we introduce some basic definitions, notations, lemmas, and technical results which are used in the sequel. For more details on this section, we refer the reader to [23, 24].

Throughout the article, we assume that and are two REAL separable Hilbert spaces. Let be a complete probability space. The notation stands for the space of all -valued random variables *x* such that

For , let

Then, it is routine to check that is a Hilbert space equipped with the norm ||·||_{2}. We let denote the space of all the linear-bounded operators from into , equipped with the usual operator norm . In addition, *W*(*t*) is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space , where .

Let 0 ∈ *ρ*(*A*) where *ρ*(*A*) is the resolvent set of *A*; then, it is possible to define the fractional power (-*A*) ^{α} , for 0 < *α* ≤ 1, as a closed linear invertible operator on its domain *D*((-*A*) ^{α} ). Furthermore, the subspace *D*((-*A*) ^{α} ) is dense in and the expression

defines a norm on *D*((-*A*) ^{α} ). Hereafter, we denote by the Banach space *D*((-*A*) ^{α} ) with norm ||*x*||_{
α
}.

The following properties hold by Pazy [25].

**Lemma 2.1** *Let* 0 < *γ* ≤ *μ* ≤ 1. *Then, the following properties hold:*

*(i)*
*is a Banach space and*
*is continuous*.

*(ii) The function s* → (-*A*)^{μ}
*T*(*s*) *is continuous in the uniform operator topology on* (0, ∞), *and there exists* *M*
_{
μ
}> 0 *such that* ||(-A)^{μ}T(t)|| ≤ M_{μ}e^{-δt}t^{-μ}
*for each t* > 0.

*(iii) For each* *x* ∈ *D*((-*A*) ^{μ} ) *and t* ≥ 0, (-*A*) ^{μ}
*T*(*t*)*x* = *T*(*t*)(-*A*) ^{μ}
*x*.

*(iv)* (-*A*)^{-μ}
*is a bounded linear operator in*
*with D*((-*A*) ^{μ} ) = *Im*((-*A*
^{)-μ}).

**Definition 2.1** ([23]) *A stochastic process*
*is said to be stochastically continuous if*

**Definition 2.2** *(compare with*[23]) *A stochastically continuous stochastic process*
*is said to be square-mean almost automorphic if for every sequence of real numbers*
, *there exist a subsequence* {*s*
_{
n
}}_{
n∈ℕ}
*and a stochastic process*

*hold for each t* ∈ ℝ.

The collection of all square-mean almost automorphic stochastic processes is denoted by .

**Lemma 2.2** ([23]) *If x, x*
_{1}
*and x*
_{2}
*are all square-mean almost automorphic stochastic processes, then the following hold true:*

*(i) x*
_{1} + *x*
_{2}
*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*
.

**Lemma 2.3** ([23])
*is a Banach space when it is equipped with the norm:*

*for*
.

Let be defined as and note that , are Banach spaces; then, we state the following lemmas (cf. [3, 13]):

**Lemma 2.4** *Let*
. *Then, we have*

*(I)*
.

*(II)*
.

**Lemma 2.5** *Let*
*and assume that*
. *Then*, .

**Definition 2.3** ([23]) *A function*
, (*t*,*x*) → *f*(*t*,*x*), *which is jointly continuous, is said to be square-mean almost automorphic in t* ∈ ℝ *for each*
*if for every sequence of real numbers*
, *there exist a subsequence* {*s*
_{
n
}}_{
n∈ℕ}
*and a stochastic process*
*such that*

*for each* *t* ∈ ℝ *and each*
.

**Theorem 2.1** ([23]) *Let*
, (*t*, *x*) → *f*(*t, x*) *be square-mean almost automorphic in* *t* ∈ ℝ *for each*
, *and assume that f satisfies Lipschitz condition in the following sense:*

*for all*
*and for each* t ∈ ℝ, *where*
*is independent of t. Then, for any square-mean almost automorphic process*
, *the stochastic process*
*given by F*(*t*) = *f* (*t*, *x*(*t*)) *is square-mean almost automorphic*.

**Definition 2.4** *An*
*-progressively measurable stochastic process* {*x*(*t*)}_{
t ∈ ℝ}
*is called a mild solution of problem (1.1) on R if the function s* → *AT*(*t* - *s*)*f* (*s*, *B*
_{1}
*x*(*s*)) *is integrable on* (-∞, *t*) *for each* *t* ∈ ℝ, *and x*(*t*) *satisfies the corresponding stochastic integral equation*

*for all* *t* ≥ *a and for each* *a* ∈ ℝ.

## 3 Main results

In this section, we investigate the existence of a square-mean almost automorphic solution for the problem (1.1). We first list the following basic assumptions:

(H1) The operator is the infinitesimal generator of an analytic semigroup of linear operators {*T*(*t*)}_{
t≥0}on and *M*, *δ* are positive numbers such that ||*T*(*t*)||≤ *Me*
^{-δt}for *t* ≥ 0.

(H2) The operators for *i* = 1, 2, 3, are bounded linear operators and .

(H3) There exists a positive number *β* ∈ (0, 1) such that is square-mean almost automorphic in *t* ∈ ℝ for each . Let *L*
_{
f
} > 0 be such that for each

(H4) The functions and are square-mean almost automorphic in *t* ∈ ℝ for each . Moreover, *g* and *h* satisfy Lipschitz conditions in *φ* uniformly for *t*, that is, there exist positive numbers *L*
_{
g
} , and *L*
_{
h
} such that

and

for all *t* ∈ ℝ and each *φ*, .

**Theorem 3.1** *Let*
*and* *α* < *β* < 1. If *the conditions (H1)-(H4) are satisfied, then the problem (1.1) has a unique square-mean almost automorphic mild solution*
*provided that*

(3.1)

*where* Γ(·) *is the gamma function*.

**Proof:** Let be the operator defined by

First, we prove that Λ*x* is well defined. Indeed, let , then *s* → *B*
_{
i
}
*x*(*s*) is in as , , *i* = 1, 2, 3 in virtue of Lemma 2.5, and hence, by Theorem 2.1, the function *s* → (-*A*)^{β}
*f* (*s*, *B*
_{1}
*x*(*s*)) belongs to whenever . Thus, using Lemma 2.2 (iii), it follows that there exists a constant *N*
_{
f
} > 0 such that sup_{
t∈ℝ}
*E*||(-*A*)^{β}
*f*(*t*,*B*
_{1}
*x*(*t*))||^{2} ≤ *N*
_{
f
}. Moreover, from the continuity of *s* → *AT*(*t* - *s*) and *s* → *T*(*t* - *s*) in the uniform operator topology on (-∞, *t*) for each *t* ∈ ℝ and the estimate

it follows that *s* → *AT*(*t* - *s*)*f* (*s*, *B*
_{1}
*x*(*s*)), *s* → *T*(*t* - *s*)*g*(*s*, *B*
_{2}
*x*(*s*)) and *s* → *T*(*t* - *s*)*h*(*s*, *B*
_{3}
*x*(*s*)) are integrable on (-∞, *t*) for every *t* ∈ ℝ, therefore, Λ*x* is well defined.

Next, we show that . Let us consider the nonlinear operator Λ_{1}
*x*, Λ_{2}
*x*, and Λ_{3}
*x* acting on the Banach space defined by

and

respectively. Now, let us prove that . Let be an arbitrary sequence of real numbers. Since , there exists a subsequence {*s*
_{
n
}}_{
n∈ℕ}of such that for certain stochastic process

hold for each *t* ∈ ℝ. Moreover, if we let , then by using Cauchy-Schwarz inequality, we have

Thus, by (3.2), we immediately obtain that

for each *t* ∈ ℝ, and we can show in a similar way that

for each *t* ∈ ℝ. Thus, we conclude that .

Similarly, by using Theorem 2.1, one easily sees that *s* → *g* (*s*, *B*
_{2}
*x*(*s*)) belongs to whenever . Since for every sequence of real numbers , there exists a subsequence such that for certain stochastic process

hold for each *t* ∈ ℝ. Moreover, if we let , then by using Cauchy-Schwarz inequality, we get

Thus, by (3.3), we immediately obtain that

for each *t* ∈ ℝ, and we can show in a similar way that

for each *t* ∈ ℝ. Thus, we conclude that .

Now, by using Theorem 2.1, one easily sees that *s* → *h* (*s*, *B*
_{3}
*x*(*s*)) is in whenever . Since , for every sequence of real numbers , there exists a subsequence such that for certain stochastic process

hold for each *t* ∈ ℝ. The next step consists of showing that . Let for each σ ∈ ℝ. Note that is also a Brownian motion and has the same distribution as *W*. Moreover, if we let , then by making a change of variables *σ* = *s* - *s*
_{
n
} we get

Thus, using an estimate on Ito integral established in Ichikawa [26], we obtain that

Thus, by (3.4), we immediately obtain that

for each *t* ∈ ℝ. Arguing in a similar way, we infer that

for each *t* ∈ ℝ. Thus, we conclude that . Since , and in view of the above, it is clear that Λ maps into itself.

Now the remaining task is to prove that is a contraction mapping on . Indeed, for each *t* ∈ ℝ, , we see that

We first evaluate the first term of the right-hand side as follows:

As regards the second term, by Cauchy-Schwarz inequality, we have

As regards the third term, we use again Cauchy-Schwarz inequality and obtain

As far as the last term is concerned, by the Ito integral, we get

Thus, by combining, it follows that, for each *t* ∈ ℝ,

that is,

Note that

and (3.5) together with (3.6) gives, for each *t* ∈ ℝ,

Hence, we obtain

which implies that Λ is a contraction by (3.1). Therefore, by the Banach contraction principle, we conclude that there exists a unique fixed point *x*(·) for Λ in , such that Λ*x* = *x*, that is

for all *t* ∈ ℝ. If we let , then

However, for *t* ≥ *a*,

In conclusion, is a mild solution of equation (1.1) and . The proof is completed.

**Remark 3.1** *The results of Theorem 3.1 can be used to study the existence and uniqueness of square-mean almost automorphic mild solutions to the example in*[18].

## References

Bochner S:

**A new approach to almost automorphicity.***Proc Natl Acad Sci USA*1962,**48:**2039-2043. 10.1073/pnas.48.12.2039Bochner S:

**Continuous mappings of almost automorphic and almost periodic functions.***Proc Natl Acad Sci USA*1964,**52:**907-910. 10.1073/pnas.52.4.907N'Guérékata GM:

*Almost Automorphic and Almost Periodic Functions in Abstract Space.*Kluwer Academic Plenum Publishers, New York; 2001.N'Guérékata GM:

*Topics in Almost Automorphy.*Springer, New York; 2005.Abbas S, Bahuguna D:

**Almost periodic solutions of neutral functional differential equations.***Comput Math Appl*2008,**55:**2593-2601. 10.1016/j.camwa.2007.10.011Diagana T, N'Guérékata GM:

**Almost automorphic solutions to semilinear evolution equations.***Funct Differential Equation*2006,**13:**195-206.Diagana T, N'Guérékata GM:

**Almost automorphic solutions to some classes of partial evolution equations.***Appl Math Lett*2007,**20:**462-466. 10.1016/j.aml.2006.05.015Ding H-S, Long W, N'Guérékata GM:

**Almost automorphic solutions of nonautonomous evolution equations.***Nonlinear Anal TMA*2010,**70:**4158-4164.Ding H-S, Long W, N'Guérékata GM:

**A composition theorem for weighted pseudo almost automorphic functions and applications.***Nonlinear Anal TMA*2010,**73:**2644-2650. 10.1016/j.na.2010.06.042Ding H-S, Liang J, Xiao T-J:

**Almost automorphic solutions to nonautonomous semilinear evolution equations in Banach spaces.***Nonlinear Anal TMA*2010,**73:**1426-1438. 10.1016/j.na.2010.05.006Hernández E, Henríquez HR:

**Existence of periodic solutions of partial neutral functional differential equations with unbounded delay.***J Math Anal Appl*1998,**221:**499-522. 10.1006/jmaa.1997.5899Henríquez HR, Vasquez CH:

**Almost periodic solutions of abstract retarded functional differential equations with unbounded delay.***Acta Appl Math*1999,**57:**105-132. 10.1023/A:1006266900851N'Guérékata GM:

**Existence and uniqueness of almost automorphic mild solutions to some semilinear abstract differential equations.***Semigroup Forum*2004,**69:**80-86. 10.1007/s00233-003-0021-0Zhao Z-H, Chang Y-K, Nieto JJ:

**Almost automorphic and pseudo almost automorphic mild solutions to an abstract differential equation in Banach spaces.***Nonlinear Anal TMA*2010,**72:**1886-1894. 10.1016/j.na.2009.09.028Zhao Z-H, Chang Y-K, Li W-S:

**Asymptotically almost periodic, almost periodic and pseudo almost periodic mild solutions for neutral differential equations.***Nonlinear Anal RWA*2010,**11:**3037-3044. 10.1016/j.nonrwa.2009.10.024Bezandry P, Diagana T:

**Existence of almost periodic solutions to some stochastic differential equations.***Appl Anal*2007,**86:**819-827. 10.1080/00036810701397788Bezandry P:

**Existence of almost periodic solutions to some functional integro-differential stochastic evolution equations.***Stat Prob Lett*2008,**78:**2844-2849. 10.1016/j.spl.2008.04.008Bezandry P, Diagana T:

**Existence of quadratic-mean almost periodic solutions to some stochastic hyperbolic differential equations.***Electron J Differential Equations*2009,**111:**1-14.Da Prato G, Tudor C:

**Periodic and almost periodic solutions for semilinear stochastic evolution equations.***Stoch Anal Appl*1995,**13:**13-33. 10.1080/07362999508809380Tudor CA:

**Almost periodic solutions of affine stochastic evolutions equations.***Stoch Stoch Rep*1992,**38:**251-266.Tudor CA, Tudor M:

**Pseudo almost periodic solutions of some stochastic differential equations.***Math Rep (Bucur.)*1999,**1:**305-314.Dorogovtsev AYa, Ortega OA:

**On the existence of periodic solutions of a stochastic equation in a Hilbert space.***Visnik Kiiv Univ Ser Math Mekh*1988,**115**(30):21-30.Fu MM, Liu ZX:

**Square-mean almost automorphic solutions for some stochastic differential equations.***Proc Am Math Soc*2010,**138:**3689-3701. 10.1090/S0002-9939-10-10377-3Da Prato G, Zabczyk J:

*Stochastic Equations in Infinite Dimensions.*Cambridge University Press, Cambridge; 1992.Pazy A:

**Semigroups of Linear Operators and Applications to Partial Equations.**In*Applied Mathematical Sciences*.*Volume 44*. Springer-Verlag, New York; 1983.Ichikawa A:

**Stability of semilinear stochastic evolution equations.***J Math Anal Appl*1982,**90:**12-44. 10.1016/0022-247X(82)90041-5

## Acknowledgements

The authors are grateful to the anonymous referees for their valuable comments and suggestions to improve this paper. This study was supported by NNSF of China (10901075), Program for New Century Excellent Talents in University (NCET-10-0022), the Key Project of Chinese Ministry of Education (210226), the Scientific Research Fund of Gansu Provincial Education Department (0804-08), and Qing Lan Talent Engineering Funds (QL-05-16A) from Lanzhou Jiaotong University.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

YKC carried out the main proof of this manuscript, ZHZ drafted the manuscript and corrected the main theorems, GMN gave two lemmas, corrected the main theorems and improved this manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Chang, YK., Zhao, ZH. & N'Guérékata, G.M. Square-mean almost automorphic mild solutions to some stochastic differential equations in a Hilbert space.
*Adv Differ Equ* **2011**, 9 (2011). https://doi.org/10.1186/1687-1847-2011-9

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2011-9