- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 473969, 13 pages
Almost Automorphic Solutions to Nonautonomous Stochastic Functional Integrodifferential Equations
School of Mathematics and Information Sciences, Shandong Institute of Business and Technology, Yantai 264005, China
Received 28 January 2013; Accepted 7 March 2013
Academic Editor: Zhiming Guo
Copyright © 2013 Li Xi-liang and Han Yu-liang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
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.
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  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 , and the existence results of square-mean almost automorphic mild solutions to some linear and semilinear autonomous stochastic differential equations were formulated, while paper  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 is a family of densely defined closed (possibly unbounded) linear operator satisfying the so-called “Acquistapace-Terreni” conditions introduced in , and are convolution-type kernels in and , respectively, satisfying Assumption 3.2 in , is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space , where . Here 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.
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.
Throughout this paper, we assume that is a real separable Hilbert space, is a probability space, and stands for the space of all -valued random variables such that For , let It is routine to check that is a Banach space equipped with the norm .
It is well-known that Brownian motion plays a key role in the construction of stochastic integrals. Throughout this paper, denotes a two-sided standard one-dimensional Brownian motion defined on the filtered probability space , where .
Definition 1. A standard one-dimensional Brownian motion is a continuous, adapted real-valued stochastic process such that(i) a.s.;(ii) is independent of for all ;(iii) is distributed for all .
Definition 2. A stochastic process is said to be stochastically continuous if
Definition 3. A stochastically continuous stochastic process is said to be square-mean almost automorphic if for every sequence of real numbers there exists a subsequence and a stochastic process such that hold for each . The collection of all square-mean almost automorphic stochastic processes is denoted by .
Lemma 4. If , , and are all square-mean almost automorphic stochastic processes, then the following statements hold true:(i) is square-mean almost automorphic;(ii) is square-mean almost automorphic for every scalar ;(iii)There exists a constant such that . That is, is bounded in .
Lemma 5. is a Banach space when it is equipped with the norm for .
Definition 6. A jointly continuous function , is said to be square-mean almost automorphic in for each if for every sequence of real numbers there exists a subsequence and a stochastic process such that hold for each and each .
Lemma 7. Let , be square-mean almost automorphic in for each , and assume that satisfies a Lipschitz condition in the following sense: for all and each , where is independent of . Then for any square-mean almost automorphic stochastic process , the stochastic process given by 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 , and with such that for .
Lemma 8. Suppose that the ATCs are satisfied, and then there exists a unique evolution family on , 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 is a family of densely defined closed linear operators satisfying the ATCs, and the generated evolution family is uniformly exponentially stable; that is, there exist constants and such that (H2) The evolution family generated by satisfies the following condition: from every sequence of real numbers , we can extract a subsequence such that, for any , there exists an such that implies that for all , where is the constant required in (H1).(H3) The functions , and are square-mean almost automorphic in for each . Moreover, , , and are Lipschitz in uniformly for in the following sense: there exist constants such that for all stochastic processes and .
Definition 9. An progressively measurable process is called a mild solution of (1) if it satisfies the corresponding stochastic integral equation: for all and each .
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 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 and each , 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 given by If we can show that the operator maps 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 as follows: We show first that is square-mean almost automorphic whenever is. Indeed, assuming that is square-mean almost automorphic, then Lemma 7 implies that is also square-mean almost automorphic. Hence, for any sequence of real numbers , there exists a subsequence of and a stochastic process such that hold for each . By assumption (H2), for any , there exists such that 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 and for the aforementioned if it yields that where . Hence, for each . And we can show in a similar way that for each . Thus, we conclude that .
In an analogous way, assuming that is square-mean almost automorphic and using Lemma 7, one can easily see that is also square-mean almost automorphic. Let be an arbitrary sequence of real numbers, and then there exists a subsequence of and a stochastic process such that hold for each . Now define functions on as follows: and then, by making change of variables and , 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 , thanks to the boundedness and square-mean almost automorphy of , there exists certain such that implies that where we use the fact that, for arbitrary , there exists such that, for all , holds for all . This indicates that for each . In an analogous way, we can show that for each . Combining (33) with (34), we obtain that is square-mean almost automorphic.
Assuming that , then similar argument as above ensures that . As a consequence, for every sequence of real numbers there exist a subsequence and a stochastic process such that hold for each . Hence, for arbitrary , there exists certain such that, for all , there holds for all .
The next step aims to prove the square-mean almost automorphy of . This is more complicated because the involvement of the Brownian motion . Consider the Brownian motion defined by for each , which has the same distribution as . Define two functions on as below: By making change of variables and , and then using Cauchy-Schwarz inequality, we obtain that For the above-mentioned , by using an estimate on Ito integral established in , it follows that once , 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 . Analogously, we can show that for each . Combining (43) with (44), we obtain that is square-mean almost automorphic.
In view of the above arguments, it follows from (18) that the nonlinear operator maps into itself. To complete the proof, it suffices to show that is a contraction mapping on . Indeed, for each , thanks to the fact that , 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 , That is, where . Notice that As a result, (50) together with (51) gives that, for each , 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 for in , 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 in (1) are square-mean almost periodic in , then the unique square-mean almost automorphic solution obtained in Theorem 10 is actually square-mean almost periodic; see paper .
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 of (1) is said to be stable in square-mean sense if, for arbitrary , there exists such that whenever , where stands for a solution of (1) with initial value . The solution 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 be nonnegative continuous functions for , and be some positive constants. If then
Proof. Let be any mild solution of (1) with initial value . Then, on account of (H1)-(H2) and the assumptions imposed on and , along the same line as in  we could show that, for any ,
Define , and it yields that Hence, it follows from Lemma 12 that Straightforwardly, we obtain that converges to exponentially fast if , which is equivalent to our condition (58). Thus, we come to the conclusion that the unique square-mean almost automorphic mild solution of (1) is asymptotically stable in square-mean sense. The proof is completed.
To illustrate the applications of our abstract results, let us consider the following nonautonomous functional integrodifferential stochastic partial differential equation: for and , where is a bounded subset whose boundary is both of class and locally on one side of . Suppose further that (62) satisfies the following boundary conditions: where is the outer unit normal vector. A family of operators defined by is formally assigned to be where and satisfy the following conditions.(H4) The coefficients are symmetric, that is, for all . In addition, for all and for some , where means the closure of .(H5) There exists such that for all and .
Now, let and let be the Sobolev space of order 2 on . For each , define an operator on by where Under assumptions (H4)-(H5), the existence of an evolution family satisfying (H1) is guaranteed; see, for example, .
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.
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.
- P. H. Bezandry, “Existence of almost periodic solutions to some functional integro-differential stochastic evolution equations,” Statistics & Probability Letters, vol. 78, no. 17, pp. 2844–2849, 2008.
- P. H. Bezandry and T. Diagana, “Existence of almost periodic solutions to some stochastic differential equations,” Applicable Analysis, vol. 86, no. 7, pp. 819–827, 2007.
- P. H. Bezandry and T. Diagana, “Square-mean almost periodic solutions nonautonomous stochastic differential equations,” Electronic Journal of Differential Equations, vol. 2007, no. 117, 10 pages, 2007.
- P. H. Bezandry and T. Diagana, “Existence of -almost periodic solutions to a class of nonautonomous stochastic evolution equations,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 35, pp. 1–19, 2008.
- A. Y. Dorogovtsev and O. A. Ortega, “On the existence of periodic solutions of a stochastic equation in a Hilbert space,” Vīsnik Kiïvs'kogo Unīversitetu, Serīya Matematiki ta Mekhanīki, vol. 115, no. 30, pp. 21–30, 1988.
- G. Da Prato and C. Tudor, “Periodic and almost periodic solutions for semilinear stochastic equations,” Stochastic Analysis and Applications, vol. 13, no. 1, pp. 13–33, 1995.
- C. A. Tudor, “Almost periodic solutions of affine stochastic evolution equations,” Stochastics and Stochastics Reports, vol. 38, no. 4, pp. 251–266, 1992.
- C. A. Tudor and M. Tudor, “Pseudo almost periodic solutions of some stochastic differential equations,” Mathematical Reports (Bucureşti), vol. 1, no. 2, pp. 305–314, 1999.
- D. N. Keck and M. A. McKibben, “Functional integro-differential stochastic evolution equations in Hilbert space,” Journal of Applied Mathematics and Stochastic Analysis, vol. 16, no. 2, pp. 141–161, 2003.
- D. N. Keck and M. A. McKibben, “Abstract stochastic integrodifferential delay equations,” Journal of Applied Mathematics and Stochastic Analysis, no. 3, pp. 275–305, 2005.
- J. Liang, T. J. Xiao, and J. van Casteren, “A note on semilinear abstract functional differential and integrodifferential equations with infinite delay,” Applied Mathematics Letters, vol. 17, no. 4, pp. 473–477, 2004.
- T. J. Xiao and J. Liang, “Blow-up and global existence of solutions to integral equations with infinite delay in Banach spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 12, pp. e1442–e1447, 2009.
- M. M. Fu and Z. X. Liu, “Square-mean almost automorphic solutions for some stochastic differential equations,” Proceedings of the American Mathematical Society, vol. 138, no. 10, pp. 3689–3701, 2010.
- Y. K. Chang, Z. H. Zhao, and G. M. N'Guerekata, “Square-mean almost automorphic mild solutions to non-autonomous stochastic differential equations in Hilbert spaces,” Computers and Mathematics with Applications, vol. 61, no. 2, pp. 384–391, 2011.
- P. Acquistapace and B. Terreni, “A unified approach to abstract linear nonautonomous parabolic equations,” Rendiconti del Seminario Matematico della Università di Padova, vol. 78, pp. 47–107, 1987.
- D. Kannan and A. T. Bharucha-Reid, “On a stochastic integro-differential evolution equation of Volterra type,” Journal of Integral Equations, vol. 10, pp. 351–379, 1985.
- Ø. Bernt, Stochastic Differential Equations, Springer, Berlin, Germany, 2005.
- T. Diagana and G. M. N'Guérékata, “Almost automorphic solutions to semilinear evolution equations,” Functional Differential Equations, vol. 13, no. 2, pp. 195–206, 2006.
- T. Diagana and G. M. N'Guérékata, “Almost automorphic solutions to some classes of partial evolution equations,” Applied Mathematics Letters, vol. 20, no. 4, pp. 462–466, 2007.
- G. M. N'Guerekata, Almost Automorphic and Almost Periodic Functions in Abstract Spaces, Kluwer Academic, New York, NY, USA, 2001.
- G. M. N'Guérékata, Topics in Almost Automorphy, Springer, New York, NY, USA, 2005.
- G. Da Prato and J. Zabczyk, Stochastic Equations in Infinite Dimensions, vol. 44 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, UK, 1992.
- M. Zaki, “Almost automorphic solutions of certain abstract differential equations,” Annali di Matematica Pura ed Applicata, vol. 101, pp. 91–114, 1974.
- P. Acquistapace, “Evolution operators and strong solutions of abstract linear parabolic equations,” Differential and Integral Equations, vol. 1, no. 4, pp. 433–457, 1988.
- A. Lunardi, Analytic Semigroups and Optimal Regularity in Parabolic Problems, vol. 16 of Progress in Nonlinear Differential Equations and Their Applications, Birkhäuser, Basel, Switzerland, 1995.
- A. Ichikawa, “Stability of semilinear stochastic evolution equations,” Journal of Mathematical Analysis and Applications, vol. 90, no. 1, pp. 12–44, 1982.
- X. L. Li and Y. L. Han, “Square-mean almost periodic solutions to some stochastic evolution equations,” Acta Mathematica Sinica. In press.
- L. Maniar and R. Schnaubelt, “Almost periodicity of inhomogeneous parabolic evolution equations,” in Evolution Equations, vol. 234 of Lecture Notes in Pure and Applied Mathematics, pp. 299–318, Marcel Dekker, New York, NY, USA, 2003.