Skip to main content

Theory and Modern Applications

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

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:

(1.1)

where is the infinitesimal generator of an analytic semigroup of linear operators {T(t)} t≥0on , 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 [515] 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 [1622] 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-δtt 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)||2M. 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 sAT(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 ta 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≥0on and M, δ are positive numbers such that ||T(t)||≤ Me -δtfor 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 sB 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))||2N f . Moreover, from the continuity of sAT(t - s) and sT(t - s) in the uniform operator topology on (-∞, t) for each t and the estimate

it follows that sAT(t - s)f (s, B 1 x(s)), sT(t - s)g(s, B 2 x(s)) and sT(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 } nof such that for certain stochastic process

(3.2)

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 sg (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

(3.3)

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 sh (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

(3.4)

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,

(3.5)

Note that

(3.6)

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 ta,

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

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

    Article  MathSciNet  MATH  Google Scholar 

  2. Bochner S: Continuous mappings of almost automorphic and almost periodic functions. Proc Natl Acad Sci USA 1964, 52: 907-910. 10.1073/pnas.52.4.907

    Article  MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  4. N'Guérékata GM: Topics in Almost Automorphy. Springer, New York; 2005.

    Google Scholar 

  5. 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.011

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  9. 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.042

    Article  MathSciNet  MATH  Google Scholar 

  10. Ding 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.006

    Article  MathSciNet  MATH  Google Scholar 

  11. Herná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.5899

    Article  MathSciNet  MATH  Google Scholar 

  12. Henrí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:1006266900851

    Article  MathSciNet  MATH  Google Scholar 

  13. N'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-0

    Article  MathSciNet  MATH  Google Scholar 

  14. Zhao 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.028

    Article  MathSciNet  MATH  Google Scholar 

  15. Zhao 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.024

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  17. Bezandry 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.008

    Article  MathSciNet  MATH  Google Scholar 

  18. Bezandry P, Diagana T: Existence of quadratic-mean almost periodic solutions to some stochastic hyperbolic differential equations. Electron J Differential Equations 2009, 111: 1-14.

    MathSciNet  MATH  Google Scholar 

  19. Da Prato G, Tudor C: Periodic and almost periodic solutions for semilinear stochastic evolution equations. Stoch Anal Appl 1995, 13: 13-33. 10.1080/07362999508809380

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  21. Tudor CA, Tudor M: Pseudo almost periodic solutions of some stochastic differential equations. Math Rep (Bucur.) 1999, 1: 305-314.

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  23. 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-3

    Article  MathSciNet  MATH  Google Scholar 

  24. Da Prato G, Zabczyk J: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge; 1992.

    Chapter  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Yong-Kui Chang.

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.

Reprints and permissions

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

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords