Asymptotic moment boundedness of the stochastic theta method and its application for stochastic differential equations
© Qiu et al.; licensee Springer. 2014
Received: 26 August 2014
Accepted: 21 November 2014
Published: 8 December 2014
This paper is devoted to the study of reproduction of asymptotic boundedness in the second moment and small moments of stochastic differential equations by the stochastic theta method. In addition, we illustrate that the asymptotic moment boundedness of the numerical solution stand-alone plays a key role in the study of numerical stationary distribution.
The numerical reproduction of asymptotic properties of stochastic differential equations (SDEs) studies that given the underlying SDE has certain asymptotic property how one chooses a proper numerical method such that the corresponding discrete numerical solution can reproduce the same property. Among different types of asymptotic properties, stability has been attracting a lot of attention in recent years. Many papers are devoted to the numerical reproduction of stability of SDEs in different senses, such as mean square stability [1–3], almost sure stability [4–6], stability in small moment , we just mention some of them here. Another asymptotic property, asymptotic boundedness, was studied rarely, but has its own interest. Not like the stability that requires the solution to tend to the trivial solution as time becomes large, the boundedness only needs the solution to be bounded above by some positive constant. On the one hand, the stability could be regarded as a specific situation of the boundedness. More importantly, the asymptotic boundedness plays an important role in the study of stationary distribution of SDEs. In the series papers of Mao, Yuan, Yin, etc. [8–11], the stationary distributions of numerical solutions were used to approximate the stationary distribution of underlying equations. One of the key components in proving the existence and uniqueness of the numerical stationary distribution is the moment boundedness of numerical solutions. We will give more details about it in Section 4.
In this paper, we investigate the asymptotic moment boundedness of the stochastic theta method (STM). As the parameter theta is employed to control the implicitness of the method, the STM is regarded a generalisation of the Euler-Maruyama (EM) method and the backward Euler-Maruyama (BEM) method. The stabilities in different senses of the STM have been studied by many authors [12–14]. But, to our best knowledge, few papers have discussed the asymptotic moment boundedness of the STM for SDEs. Recently, in , the authors studied the moment boundedness for the EM method and the BEM method. The results presented in this paper can be seen as a generalisation of those in . In addition, different choices of the θ will lead to distinguishing conditions on the drift and diffusion coefficients. We will study the asymptotic boundedness in the second moment and p th moments for p much less than one. The study of the second moment is typical as it can be related to many concepts in engineering such as energy function. While the small moments may have no obvious physical meanings, but they can be connected to the boundedness in probability which is crucial to the proof of the numerical stationary distribution. Besides, for the small moments, the conditions required for the drift and diffusion coefficients are weaker than those for the second moment.
We construct this paper as follows. In Section 2, some mathematical preliminaries are stated. The main results and proofs are presented in Section 3. The application of the moment boundedness in the study of numerical stationary distribution is discussed in Section 4.
2 Mathematical preliminary
We assume that are smooth enough for SDE (2.1) to have a unique global solution on .
for , where Δt is the time step and is the Brownian motion increment.
This, together with , ensures that (2.2) is well defined, that is, STM (2.2) can be solved uniquely for the next step (see, for example, ).
3 Main results
Our main results and their proofs are presented in this section. We start off with the second moment in Section 3.1, two cases of the θ are discussed. Then the same structure is used for Section 3.2 to investigate the small moments.
3.1 The second moment
First we discuss the situation for , which has the linear growth condition on both drift and diffusion coefficients. Second we relax the constraint on the drift coefficient when .
The boundedness of the underlying SDE is well known. We state the following theorem and refer the readers to Chapter 5 of  for the proof.
Now we consider reproducing this boundedness property by the STM.
Let , then assertion (3.6) holds. □
This theorem shows that the STM can reproduce the upper bound of true solution (3.4) for the case of . The result of the EM boundedness, Theorem 5.2 in , is reproduced perfectly as a special case.
We try to release the constraint on the drift coefficient when and reproduce the boundedness property in STM as well. To show the theorem of this case, we first present the following lemma.
when , thus , we have easily; when , thus , we still have .
Let , assertion (3.8) and the special case hold. □
Without the linear growth condition on the drift coefficient, this theorem shows that the STM can still reproduce the boundedness property of true solution (3.4). The result of the BEM boundedness, Theorem 5.4 in , is recovered perfectly as a special case when .
3.2 The small moment
In this section, we discuss the asymptotic boundedness of STM in the p th moment for small p. First we discuss the situation for , which has a linear growth condition on both drift and diffusion coefficients. Second we release the constraint on the drift coefficient when .
where κ and a are positive constants. We first present the theorem on the asymptotic boundedness in small moment of the solution of (2.1).
where C is a positive constant dependent on κ, a, p, D, but independent of .
Following the same technique as the one used in Theorem 5.2 in , by choosing the Lyapunov function , it is straightforward to prove this theorem. So we omit it here. Now we give the result for the STM solution.
where is a constant dependent on κ, a, p and D, but independent of and Δt.
The theorem shows that the STM can reproduce the boundedness property of true solution (3.4). The result of the EM boundedness, Theorem 3.2 in , is recovered as a special case when .
In this part, we consider the case . One may notice from the next theorem that in this case the parameter θ exists in the conditions, therefore the boundedness of the underlying equation may not be fully reproduced under the same conditions. However, as we stated in Section 1 that the asymptotic moment boundedness of the numerical as a stand-alone result is a key component in the study of numerical stationary distribution. Thus we still keep the next theorem and the problem that if one could construct some θ independent sufficient conditions for this case remains open.
where and is a positive constant dependent on κ, a, p and D.
The proof is complete. □
4 Application and further research
In this section, we illustrate the application of the results in the last section to the study of numerical stationary distribution.
Recalling Theorem 3.1 in , the authors proved that for any given one-step numerical method if the following three assumptions hold and the numerical solution is a homogeneous Markov process with a proper transition probability kernel, then the numerical solution has a unique stationary distribution as time tends to infinity.
It is clear that Assumption 4.1 is satisfied by the results in Section 3 and the Chebyshev inequality. Furthermore, it is not hard to see that one can adapt the proofs in the previous section to show that for and some small enough p, tends to 0 as time becomes large. Then Assumption 4.2 follows. Due to the page limit, we omit the proof here. Assumption 4.3 can be obtained from the finite time moment boundedness of the STM; see, for example, . In addition, it is easy to adapt the proof of Theorem 2.7 in  to show that the numerical solution derived from STM is a homogeneous Markov process with a proper transition probability kernel.
Therefore, one can see that there exists a unique stationary distribution for the numerical solution generated by the STM. As stated in [8–11], the reason to study the numerical stationary distribution is to approximate the stationary distribution of the underlying equations by avoiding solving the nontrivial Kolmogorov-Fokker-Planck partial differential equation. A more interesting open problem to us is if the numerical stationary distribution could be used as numerical solutions to certain type of partial differential equations.
One may see that those three assumptions are given in the sense of probability, but the existing sufficient conditions for Assumptions 4.1 and 4.2 are all in moment. The small moments as illustrated in this paper need weaker conditions than the second moment, but those conditions are still much stronger than those for underlying SDEs [20, 21] in which the sufficient conditions are given in the format of Lyapunov V functions. Thus, another interesting open problem is if one can construct some sufficient conditions in the format of Lyapunov V so that the assumptions can be satisfied directly without via the moment results.
The authors would like to thank the National Natural Science Foundation of China (Grant No. 11471071) and the Natural Science Foundation of Shanghai (Grant No. 14ZR1401200) for their financial support.
- Saito Y, Mitsui T: Stability analysis of numerical schemes for stochastic differential equations. SIAM J. Numer. Anal. 1996, 33(6):2254-2267. 10.1137/S0036142992228409MathSciNetView ArticleGoogle Scholar
- Schurz H: Stability, Stationarity, and Boundedness of Some Implicit Numerical Methods for Stochastic Differential Equations and Applications. Logos Verlag Berlin, Berlin; 1997.Google Scholar
- Higham DJ: Mean-square and asymptotic stability of the stochastic theta method. SIAM J. Numer. Anal. 2000, 38(3):753-769. 10.1137/S003614299834736XMathSciNetView ArticleGoogle Scholar
- Berkolaiko G, Buckwar E, Kelly C, Rodkina A: Almost sure asymptotic stability analysis of the θ -Maruyama method applied to a test system with stabilising and destabilising stochastic perturbations. LMS J. Comput. Math. 2012, 15: 71-83.MathSciNetView ArticleGoogle Scholar
- Wu F, Mao X, Szpruch L: Almost sure exponential stability of numerical solutions for stochastic delay differential equations. Numer. Math. 2010, 115(4):681-697. 10.1007/s00211-010-0294-7MathSciNetView ArticleGoogle Scholar
- Mao X, Shen Y, Gray A: Almost sure exponential stability of backward Euler-Maruyama discretizations for hybrid stochastic differential equations. J. Comput. Appl. Math. 2011, 235(5):1213-1226. 10.1016/j.cam.2010.08.006MathSciNetView ArticleGoogle Scholar
- Higham DJ, Mao X, Yuan C: Almost sure and moment exponential stability in the numerical simulation of stochastic differential equations. SIAM J. Numer. Anal. 2007, 45(2):592-609. 10.1137/060658138MathSciNetView ArticleGoogle Scholar
- Mao X, Yuan C, Yin G: Numerical method for stationary distribution of stochastic differential equations with Markovian switching. J. Comput. Appl. Math. 2005, 174(1):1-27. 10.1016/j.cam.2004.03.016MathSciNetView ArticleGoogle Scholar
- Yuan C, Mao X: Stability in distribution of numerical solutions for stochastic differential equations. Stoch. Anal. Appl. 2004, 22(5):1133-1150. 10.1081/SAP-200026423MathSciNetView ArticleGoogle Scholar
- Yuan C, Mao X: Stationary distributions of Euler-Maruyama-type stochastic difference equations with Markovian switching and their convergence. J. Differ. Equ. Appl. 2005, 11(1):29-48. 10.1080/10236190412331314150MathSciNetView ArticleGoogle Scholar
- Liu W, Mao X: Numerical stationary distribution and its convergence for nonlinear stochastic differential equations. J. Comput. Appl. Math. 2015, 276: 16-29.MathSciNetView ArticleGoogle Scholar
- Rodkina A, Schurz H: Almost sure asymptotic stability of drift-implicit θ -methods for bilinear ordinary stochastic differential equations in . J. Comput. Appl. Math. 2005, 180(1):13-31. 10.1016/j.cam.2004.09.060MathSciNetView ArticleGoogle Scholar
- Chen L, Wu F: Almost sure exponential stability of the θ -method for stochastic differential equations. Stat. Probab. Lett. 2012, 82(9):1669-1676. 10.1016/j.spl.2012.05.004View ArticleGoogle Scholar
- Chen L, Wu F: Choice of θ and its effects on stability in the stochastic θ -method of stochastic delay differential equations. Int. J. Comput. Math. 2012, 89(15):2106-2122. 10.1080/00207160.2012.703320MathSciNetView ArticleGoogle Scholar
- Kloeden PE, Platen E Applications of Mathematics (New York) 23. In Numerical Solution of Stochastic Differential Equations. Springer, Berlin; 1992.View ArticleGoogle Scholar
- Milstein GN, Tretyakov MV Scientific Computation. In Stochastic Numerics for Mathematical Physics. Springer, Berlin; 2004.View ArticleGoogle Scholar
- Platen E, Bruti-Liberati N Stochastic Modelling and Applied Probability 64. In Numerical Solution of Stochastic Differential Equations with Jumps in Finance. Springer, Berlin; 2010.View ArticleGoogle Scholar
- Mao X, Yuan C: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London; 2006.View ArticleGoogle Scholar
- Liu W, Mao X: Asymptotic moment boundedness of the numerical solutions of stochastic differential equations. J. Comput. Appl. Math. 2013, 251: 22-32.MathSciNetView ArticleGoogle Scholar
- Yuan C, Mao X: Asymptotic stability in distribution of stochastic differential equations with Markovian switching. Stoch. Process. Appl. 2003, 103(2):277-291. 10.1016/S0304-4149(02)00230-2MathSciNetView ArticleGoogle Scholar
- Dang N: A note on sufficient conditions for asymptotic stability in distribution of stochastic differential equations with Markovian switching. Nonlinear Anal. 2014, 95: 625-631.MathSciNetView ArticleGoogle Scholar
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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.