- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- 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
The Scientific World Journal
Volume 2013 (2013), Article ID 132923, 7 pages
Existence and Uniqueness of Solution for a Class of Stochastic Differential Equations
1Department of Mathematics, Guangdong University of Education, Guangzhou 510310, China
2School of Mathematical Sciences, Guangxi Teachers Education University, Nanning 530023, China
3Department of Mathematics, South China University of Technology, Guangzhou 510640, China
Received 2 August 2013; Accepted 21 August 2013
Academic Editors: K. Ammari and S. Kim
Copyright © 2013 Junfei Cao et al. 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.
A class of stochastic differential equations given by , , , are investigated. Upon making some suitable assumptions, the existence and uniqueness of solution for the equations are obtained. Moreover, the existence and uniqueness of solution for stochastic Lorenz system, which is illustrated by example, are in good agreement with the theoretical analysis.
Stochastic differential equations (SDEs) play an important role in characterizing many social, physical, biological, and engineering problems. They are important from the viewpoint of applications since they incorporate (natural) randomness into the mathematical description of the phenomena and provide a more accurate description of it. Therefore, the theory of SDEs has developed quickly, the investigation for SDEs has attracted considerable attention of researchers, and many qualitative theories of SDEs have been obtained (see [1–9] and the references therein).
The existence and uniqueness of solution are among the most basic and key topics in qualitative theory of SDEs. In the last two decades, the existence and uniqueness of solution for SDEs have been considered in many publications such as [10–14] and the references therein. Especially, Mao had investigated the stochastic differential equations: on the closed interval , , in his book , and obtained that if Lipschitz condition and linear growth condition: hold, then (1) had a unique solution satisfying . Furthermore, Mao  also discussed stochastic functional differential equations with finite delay: where could be considered as a -value stochastic process. The initial value is an -measurable -value random variable such that . For (4), if uniform Lipschitz condition for any , , and linear growth condition are satisfied, then (4) had a unique solution ; moreover, .
We also mention that, following Mao , many papers were devoted to improving the results of Mao  by weakening the Lipschitz conditions on coefficients (e.g., see Jiang and Wang , Fei , Caraballo et al. , Wu et al. , Jiang and Shen , Taniguchi , Fan and Jiang , Bao and Hou , Ren et al. , Taniguchi , Wang and Huang , Lin , Xie , Fei , Ren and Zhang  and Zhang , etc.). In particular, Caraballo et al. , Taniguchi , Bao and Hou , and Taniguchi  have studied the existence and uniqueness of solutions to SDEs under the non-Lipschitzian condition.
To the best of our knowledge, most of the results on existence theory for SDEs focused on the case of the coefficient satisfying linear growth condition; however, the results on existence theory for SDEs without linear growth condition were discussed seldom. In this paper, without linear growth condition, some new criteria ensuring the existence and uniqueness of solutions for a class of SDEs are firstly established. These criteria improve, complement a number of existing results, and handle some cases not covered by known criteria. The results obtained in this paper not only improve the previous conclusion in the case of linear growth condition, but also can be applied in the existence and uniqueness of solution for the stochastic Lorenz system for weather forecasting, some other systems, and so on.
The rest of this paper is organized as follows. In Section 2, some relating notations and preliminary facts are introduced. Section 3 obtains the existence and uniqueness of solution for a class of SDEs without linear growth condition. In Section 4, an interesting examples is given to show the effectiveness of our results.
This section is concerned with some notations and preliminary results which are used in what follows.
In this paper, we adopt the symbols as follow: denotes the usual -dimensional Euclidean space, denotes norm in . If is a vector or a matrix, its transpose is denoted by ; if is a matrix, its trace norm is represented by . Let be a complete probability space with a filtration satisfying the usual conditions (i.e., it is increasing and right continuous). is independent of the -field generated by and contains all -null sets. is a given -dimensional standard Brownian motion.
Consider -dimensional stochastic differential equations: where , is independent of , and satisfies is an -dimensional Wiener process, , is a matrix. Our purpose is to find the solution for (7). Hence, we will show the existence, uniqueness theorem and the properties of solution for (7) in the next section. Moreover, to illustrate the effectiveness of our results, we prove the existence and uniqueness of solution for the stochastic Lorenz system.
To guarantee the existence and uniqueness of solution for (7), the following conditions, instead of Lipschitz and linear growth conditions, are described.
satisfies the Lipschitz condition; moreover,
satisfies the Lipschitz condition and the linear growth condition: where denotes the inner product of and , , and are constants.
3. The Existence and Uniqueness Theorem
In this section, we start to study the existence and uniqueness of solution for (7) without linear growth condition. To complete our main results, we need to prepare several lemmas which will be utilized in the sequel.
Lemma 1. Let and be satisfied. Setting with and , and then the modified stochastic differential equations: possesses a continuous almost sure unique measurable solution process.
Proof. As the truncation function , remains differentiable and its derivative is both continuous and has a compact support. Hence is bounded and satisfies linear growth condition as well as Lipschitz condition. According to , satisfies linear growth condition and Lipschitz condition. Therefore, the assertion follows by the usual existence and uniqueness theorem (see Gihman and Skorohod , p. 37–47).
Lemma 2 (see ). Let , be both positive and semidefinite Hermite matrix, and is a positive integer; then
We compute the th norm of the solution for (11) as follows. By Itô formula w.r.t. the function for being even, one obtains According to Lemma 2, one has Together with , the differential of the th norm is given by where is an adapted process that compensates all the estimation made and could be computed explicitly.
Lemma 3. Let be even, and then there exists a constant independent of such that for .
Proof. For , define stopping time . Note that Since for all , using and the above inequality, one concludes that integrand of the stochastic integral is bounded; hence, Form , we get the following inequality: Let , , then (18) becomes which implies Gronwall inequality implies that there exists a constant such that By inductive method, there exist a constant such that It remains to show that the stopping time satisfies for . By the continuity of the solution in , the norm is bounded; therefore, it converges -wise to as . Since the norm is nonnegative and bounded for all , for , Fatou Lemma implies that
Lemma 4. Let be even, and then there exists a constant independent of such that for .
Proof. From (15), it follows that
Taking to the power to obtain an expression for , one has
According to for , one obtains
Since the solution for (11) is measurable for and continuous in , the norm is -measurable (see Wentzell , p. 89, p. 18). Therefore, applying , together with Hölder inequality to remove the powers outside the deterministic integrals and , changing expectation and integration by Fubini theorem and using Lemma 3, one obtains
which is bounded by a constant . To further estimate the stochastic integral , using the Burkholder-Davis-Gundy (see Mao , p. 7), one obtains
with the constant
For , using and, for , Hölder inequality to remove the powers outside the integral on the right side of (29), afterwards, one proceeds similar to handle the Lebesgue integrals and , which leads to a constant . Combining the above discussion, one obtains
To complete the proof one needs to show for . Mentioning that the solution is continuous in , thus is bounded and converges -wise, for , to . Moreover, Fatou Lemma and (31) imply
Now, we state our first main result.
Theorem 5. Let and be satisfied, and then (7) possesses a unique almost sure continuous solution process.
Proof. It is easy to see that the uniqueness follows from the Lipschitz condition fulfilled by the coefficients (see Remark 2 in Gihman and Skorohod , p. 45).
In the following, we only need to prove the existence of solution for (7).
Note that Lemma 1 ensures the existence of a solution for (11). We firstly show that converges to a function for .
Again let denote the stopping time for . From Chebyshev inequality and Lemma 4, it follows that Note that this states slightly more than convergence in probability of . One can find, for almost every , an such that . Moreover, one has and (almost sure) on for all (see Gihman and Skorohod , p. 4). Thus, if , then for all . From the above discussion, it follows that the set is monotonously increasing and converges to , for . We point out once more that if , then one can express, for almost , the limit function by for all . (Actually is only a version of on ; i.e., there exists an exceptional -null set . Note that there are countable many such null sets, so that the union over all the -null set is again a null set.) Therefore, converges uniformly in to , together with is continuous in , is further continuous in .
Secondly, we further show that the limit function is a real solution for (7).
For , this is true because for all . For , one considers the limit function of for . According to and for , the almost sure convergence of to implies Therefore, is a solution for (7) on . The proof is completed.
Under the assumptions and , the solution has some important properties.
Corollary 6. The solution for (7) has the following properties.(i) is a -measurable homogeneous Markov process.(ii)Let for a fixed even , and then there exists a constant such that Furthermore, for every deterministic and bounded set , the constant is finite ( is deterministic).
Proof. (i) Because the coefficients , of (11) are independent of , respectively, and fulfill both linear growth condition and Lipschitz condition, the solution is a homogeneous Markov process by Theorem 1 in Gihman and Skorohod  (Section 10). Therefore, the solution of system (7) is also a homogeneous Markov process since uniformly converges to .
(ii) From the proof of Lemma 4, it is to see that there exists the constant in (ii). Note that , , can be bounded by a probably more accurate constant using Lemma 3. Every bounded set is contained in a ball of appropriate radius and center zero. Setting , the assertion follows from the linear dependence of the bounding constant (cf. (23) and (31) resp.).
Corollary 7. Let , and then there exists a constant such that
Proof. The assumptions imply that the constant in the proof of Lemma 3 is negative. Hence, there exist a bounded constant only depending on the initial condition, but not on .
In this section, we prove the existence and uniqueness of solution for the stochastic Lorenz system for weather forecasting as an application to illustrate the effectiveness of our results.
The Lorenz system was introduced by Lorenz . For the physical meaning of the system, the reader is referred to Peitgen et al. . Forces not described by those equations are assumed to be random. We model these influences by white noise. This leads to the stochastic Lorenz system which has been described in detail in Arnold  and has been intensively studied in [6, 37] and so forth.
Definition 8. Let , be constants, then the stochastic Lorenz system is defined by the two parts of the drift are given by and the noise term matrix satisfies Lipschitz as well as linear growth condition.
Remark 9. If one considers the noise to act in Stratonovich form, one talks about the Stratonovich Lorenz system. Note that the Stratonovich and the corresponding Itô Lorenz system are equivalent up to an additional drift term (see Arnold , p. 181).
Theorem 10. The stochastic Lorenz system (37) exists a unique solution.
Proof. Let , , , and , and one has The three parts of the drift are given by Obviously, the noise term matrix remains satisfying Lipschitz as well as linear growth condition. According to (40), one has . Moreover, where . Hence according to Theorem 10, system (39) exists a unique solution, so is system (37).
This paper considers the problems of existence and uniqueness of solution for a class of stochastic differential equations whose nonlinear part does not satisfy linear growth condition. Some new criteria ensuring the existence and uniqueness of solution were presented. These criteria extend, improve, complement a number of results about the existence and uniqueness of solution, and handle some cases not covered by known criteria. Furthermore, these criteria are important in applications such as stochastic Lorenz system for weather forecasting, some other systems, and so on.
This work is supported by the National Natural Science Foundation of China (no. 11271139), (no. 11201089) and (no. 11301090) and Guangxi Natural Science Foundation (no. 2013GXNSFAA019014) and (no. 2013GXNSFBA019016).
- D. Xu, Z. Yang, and Y. Huang, “Existence-uniqueness and continuation theorems for stochastic functional differential equations,” Journal of Differential Equations, vol. 245, no. 6, pp. 1681–1703, 2008.
- T. Caraballo, I. D. Chueshov, P. Marín-Rubio, and J. Real, “Existence and asymptotic behaviour for stochastic heat equations with multiplicative noise in materials with memory,” Discrete and Continuous Dynamical Systems, vol. 18, no. 2-3, pp. 253–270, 2007.
- J. Cao, Q. Yang, and Z. Huang, “On almost periodic mild solutions for stochastic functional differential equations,” Nonlinear Analysis: Real World Applications, vol. 13, no. 1, pp. 275–286, 2012.
- T. Caraballo, M. J. Garrido-Atienza, B. Schmalfuss, and J. Valero, “Non-autonomous and random attractors for delay random semilinear equations without uniqueness,” Discrete and Continuous Dynamical Systems, vol. 21, no. 2, pp. 415–443, 2008.
- J. Cao, Q. Yang, and Z. Huang, “Existence and exponential stability of almost automorphic mild solutions for stochastic functional differential equations,” Stochastics, vol. 83, no. 3, pp. 259–275, 2011.
- H. Keller, “Attractors and bifurcations of the stochastic Lorenz system,” Tech. Rep. 389, Institut für Dynamische Systeme, Universität Bremen, 1996.
- T. Caraballo, J. Real, and T. Taniguchi, “The exponential stability of neutral stochastic delay partial differential equations,” Discrete and Continuous Dynamical Systems, vol. 18, no. 2-3, pp. 295–313, 2007.
- J. Cao, Q. Yang, Z. Huang, and Q. Liu, “Asymptotically almost periodic solutions of stochastic functional differential equations,” Applied Mathematics and Computation, vol. 218, no. 5, pp. 1499–1511, 2011.
- I. Chueshov and B. Schmalfuss, “Qualitative behavior of a class of stochastic parabolic PDES with dynamical boundary conditions,” Discrete and Continuous Dynamical Systems, vol. 18, no. 2-3, pp. 315–338, 2007.
- F. Wei and K. Wang, “The existence and uniqueness of the solution for stochastic functional differential equations with infinite delay,” Journal of Mathematical Analysis and Applications, vol. 331, no. 1, pp. 516–531, 2007.
- Z. Fan, M. Liu, and W. Cao, “Existence and uniqueness of the solutions and convergence of semi-implicit Euler methods for stochastic pantograph equations,” Journal of Mathematical Analysis and Applications, vol. 325, no. 2, pp. 1142–1159, 2007.
- H. Schurz, “Existence and uniqueness of solutions of semilinear stochastic infinite-dimensional differential systems with H-regular noise,” Journal of Mathematical Analysis and Applications, vol. 332, no. 1, pp. 334–345, 2007.
- S. Zhou and M. Xue, “The existence and uniqueness of the solution for neutral stochastic functional differential equations with infinite delay,” Journal of Applied Mathematics, vol. 1, pp. 95–105, 2008.
- X. Mao, Stochastic Differential Equations and Their Applications, Horwood Publication, Chichester, UK, 1997.
- G. Jiang and X. Wang, “Regularity property of solution to two-parameter stochastic volterra equation with non-lipschitz coefficients,” Acta Mathematica Sinica, vol. 33, pp. 872–882, 2013.
- W. Fei, “Existence and uniqueness for solutions to fuzzy stochastic differential equations driven by local martingales under the non-Lipschitzian condition,” Nonlinear Analysis: Theory, Methods & Applications, vol. 76, pp. 202–214, 2013.
- T. Caraballo, F. Morillas, and J. Valero, “Attractors of stochastic lattice dynamical systems with a multiplicative noise and non-Lipschitz nonlinearities,” Journal of Differential Equations, vol. 253, no. 2, pp. 667–693, 2012.
- H. Wu, W. Wang, and J. Ren, “Anticipated backward stochastic differential equations with non-Lipschitz coefficients,” Statistics and Probability Letters, vol. 82, no. 3, pp. 672–682, 2012.
- F. Jiang and Y. Shen, “A note on the existence and uniqueness of mild solutions to neutral stochastic partial functional differential equations with non-Lipschitz coefficients,” Computers and Mathematics with Applications, vol. 61, no. 6, pp. 1590–1594, 2011.
- T. Taniguchi, “The existence of energy solutions to 2-dimensional non-Lipschitz stochastic Navier-Stokes equations in unbounded domains,” Journal of Differential Equations, vol. 251, no. 12, pp. 3329–3362, 2011.
- S. Fan and L. Jiang, “Finite and infinite time interval BSDEs with non-Lipschitz coefficients,” Statistics and Probability Letters, vol. 80, no. 11-12, pp. 962–968, 2010.
- J. Bao and Z. Hou, “Existence of mild solutions to stochastic neutral partial functional differential equations with non-Lipschitz coefficients,” Computers and Mathematics with Applications, vol. 59, no. 1, pp. 207–214, 2010.
- J. Ren, J. Wu, and X. Zhang, “Exponential ergodicity of non-Lipschitz multivalued stochastic differential equations,” Bulletin des Sciences Mathematiques, vol. 134, no. 4, pp. 391–404, 2010.
- T. Taniguchi, “The existence and uniqueness of energy solutions to local non-Lipschitz stochastic evolution equations,” Journal of Mathematical Analysis and Applications, vol. 360, no. 1, pp. 245–253, 2009.
- Y. Wang and Z. Huang, “Backward stochastic differential equations with non-Lipschitz coefficients,” Statistics & Probability Letters, vol. 79, pp. 1438–1443, 2009.
- Q. Lin, “A class of backward doubly stochastic differential equations with non-Lipschitz coefficients,” Statistics and Probability Letters, vol. 79, no. 20, pp. 2223–2229, 2009.
- B. Xie, “The stochastic parabolic partial differential equation with non-Lipschitz coefficients on the unbounded domain,” Journal of Mathematical Analysis and Applications, vol. 339, no. 1, pp. 705–718, 2008.
- W. Fei, “Existence and uniqueness of solution for fuzzy random differential equations with non-Lipschitz coefficients,” Information Sciences, vol. 177, no. 20, pp. 4329–4337, 2007.
- J. Ren and X. Zhang, “Continuity modulus of stochastic homeomorphism flows for SDEs with non-Lipschitz coefficients,” Journal of Functional Analysis, vol. 241, no. 2, pp. 439–456, 2006.
- X. Zhang, “Homeomorphic flows for multi-dimensional SDEs with non-Lipschitz coefficients,” Stochastic Processes and Their Applications, vol. 115, no. 3, pp. 435–448, 2005.
- I. Gihman and A. Skorohod, Stochastic Differentialgleichungen, Akademie, Berlin, Germany, 1971.
- S. Wang, M. Wu, and Z. Jia, Inequality of Matrix, Science Press, 2006.
- A. Wentzell, Theorie Zufälliger Prozesse, Birkhäuser, Basel, Switzerland, 1979.
- E. Lorenz, “Deterministic nonperiodic flows,” Journal of the Atmospheric Sciences, vol. 12, pp. 139–163, 1963.
- H. Peitgen, H. J. Jürgens, and D. Saupe, Chaos and Fractals, Springer, New York, NY, USA, 1992.
- L. Arnold, Random Dynamical Systems, Preliminary Version, 1994.
- B. Schmallfuß, “The random attractor of the stochastic Lorenz system,” Zeitschrift für Angewandte Mathematik und Physik, vol. 48, pp. 951–975, 1997.
- L. Arnold, Random Differentialgleichungen, R. Oldenbourg, München, Germany, 1973.