Skip to content

Advertisement

  • Research
  • Open Access

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

  • 1Email author,
  • 1 and
  • 2
Advances in Difference Equations20112011:9

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

  • Received: 20 September 2010
  • Accepted: 14 June 2011
  • Published:

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.

Keywords

  • Stochastic differential equations
  • Square-mean almost automorphic processes
  • Mild solutions

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

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, Lanzhou Jiaotong University, Lanzhou, Gansu, 730070, PR, China
(2)
Department of Mathematics, Morgan State University, 1700 E. Cold Spring Lane, Baltimore, MD 21251, USA

References

  1. Bochner S: A new approach to almost automorphicity. Proc Natl Acad Sci USA 1962, 48: 2039-2043. 10.1073/pnas.48.12.2039MathSciNetView ArticleMATHGoogle 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.907MathSciNetView ArticleMATHGoogle Scholar
  3. N'Guérékata GM: Almost Automorphic and Almost Periodic Functions in Abstract Space. Kluwer Academic Plenum Publishers, New York; 2001.View ArticleGoogle 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.011MathSciNetView ArticleMATHGoogle Scholar
  6. Diagana T, N'Guérékata GM: Almost automorphic solutions to semilinear evolution equations. Funct Differential Equation 2006, 13: 195-206.MathSciNetMATHGoogle 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.015MathSciNetView ArticleMATHGoogle 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.View ArticleMathSciNetMATHGoogle 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.042View ArticleMathSciNetMATHGoogle 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.006MathSciNetView ArticleMATHGoogle 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.5899MathSciNetView ArticleMATHGoogle 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:1006266900851MathSciNetView ArticleMATHGoogle 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-0MathSciNetView ArticleMATHGoogle 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.028MathSciNetView ArticleMATHGoogle 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.024MathSciNetView ArticleMATHGoogle Scholar
  16. Bezandry P, Diagana T: Existence of almost periodic solutions to some stochastic differential equations. Appl Anal 2007, 86: 819-827. 10.1080/00036810701397788MathSciNetView ArticleMATHGoogle 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.008MathSciNetView ArticleMATHGoogle 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.MathSciNetMATHGoogle 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/07362999508809380MathSciNetView ArticleMATHGoogle Scholar
  20. Tudor CA: Almost periodic solutions of affine stochastic evolutions equations. Stoch Stoch Rep 1992, 38: 251-266.MathSciNetView ArticleMATHGoogle Scholar
  21. Tudor CA, Tudor M: Pseudo almost periodic solutions of some stochastic differential equations. Math Rep (Bucur.) 1999, 1: 305-314.MathSciNetMATHGoogle 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.MathSciNetMATHGoogle 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-3MathSciNetView ArticleMATHGoogle Scholar
  24. Da Prato G, Zabczyk J: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge; 1992.View ArticleGoogle 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-5MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Chang et al; licensee Springer. 2011

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement