Skip to main content

A new criterion on existence and uniqueness of stationary distribution for diffusion processes

Abstract

In this paper, we provide a new criterion on the existence and uniqueness of stationary distribution for diffusion processes. An example is given to illustrate our results.

MSC:60H10, 37A25.

1 Introduction

In many applications such as finance and biology, we often wish to replace the time dependent instantaneous measure by a stationary (or ergodic) measure. Thus, we face the following questions: Do the systems possess ergodic properties? Under what conditions do the systems have the desired properties of ergodicity? There are many criteria for the existence and uniqueness of stationary distribution for diffusion processes. See, for example, Hasminskii [1], Pinsky [2], Prato and Zabcyk [3], Yin and Zhu [4], Zhang [5]. However, most criteria suppose the infinitesimal operators satisfy the uniform ellipticity condition. An interesting question is: What happens if the infinitesimal operators can be degenerate? Is there a simple and general sufficiency condition? In this paper, we will give a new sufficient condition to verify the existence and uniqueness of stationary distribution for general diffusion processes.

Let { X x 0 (t),t0, x 0 S} be a family of diffusion processes on some probability space (Ω,F,P), where S R n stands for the state space. Let C 0 2 (S):= C 0 2 (S,R) be the continuous functions from S into with continuous derivatives up to order two and with compact support in S. Let ( { X ( t ) } t 0 ) be a diffusion process on S with a transition function P t (x,dy)=P(X(t)dy|X(0)=x) and for f in C 0 2 (S) with infinitesimal generator

Lf(x)= 1 2 i , j = 1 n a i j (x) 2 f x i x j + i = 1 n b i (x) f x i
(1.1)

on a domain DS. The infinitesimal generator corresponding processes are termed diffusion processes. Besides, we assume the diffusion processes satisfy the following basic assumptions:

  1. (i)

    a={ a i j (x)} and b={ b i (x)} are locally bounded and measurable functions on D;

  2. (ii)

    a is continuous on D;

  3. (iii)

    there exits a unique strong solution X(t);

  4. (iv)

    the solution X(t) does not explode at any finite time.

For any f C b (S), the set of bounded continuous functions on S, define

( P t f ) (x)= S P t (x,dy)f(y),xS.
(1.2)

For simplicity, denote P t ( x i ,dz) by P x i t . Recall that a sequence of probability measures { P x i t :i=0,1,,} on (S, B n (S)) is said to converge weakly to a probability measure P y 0 t (on S), for every t0, if

lim x i y 0 ( P t f ) ( x i ):=Ef ( X x i ( t ) ) = ( P t f ) ( y 0 ):=Ef ( X y 0 ( t ) )
(1.3)

holds for all bounded continuous functions f on S. A diffusion process X(t) is said to have the (weak) Feller property if for any bounded and continuous function f, P t f is a bounded continuous function. Besides, if a i j (x)0, 1i,jn, then the processes become deterministic stochastic processes. In this case, for any bounded continuous function f,

( P t f ) (x)= { 0 , x x 0 , 1 , x = x 0 .
(1.4)

Thus, the deterministic processes do not have the weak Feller property. Therefore, to consider the Feller property X(t) at any time t, the random variable X(t) can take on at least a countable number of values with positive probabilities. More precisely, the diffusion X(t) whose semigroup should be irreducible (see, for example, Cerrai [6]). Hence, we impose the following assumption on the diffusion semigroup:

  1. (v)

    the semigroup P t is irreducible.

The aim of the present paper is twofold. First, we aim to give a new criterion for general diffusions, especially when the coefficients of diffusions are non-Lipschitz or coefficients of diffusions are degenerate. This is highly non-trivial because when the diffusion matrix is singular, the corresponding infinitesimal operator L is a class of non-elliptic operators, which the maximum principle on an elliptic operator fails. Our second aim is to give general sufficient conditions on the stationary distribution for population dynamical systems.

To proceed, we list several notions:

A T : the transpose of any matrix or vector A;

|A|: the trace norm of matrix A, i.e., |A|= trace ( A T A ) ;

B(0,r)={xS:|x|<r} and B c (0,r):={xS:|x|r};

K: a generic positive constant whose values may vary at its different appearances.

2 Main results

Before we show the main result, we first impose the following assumptions:

(A1) E|X(t)|<+ for each t>0;

(A2) sup t 0 E|X(t)|<+.

To begin with, we cite a known result from Bhattacharya and Waymire [7] as a lemma.

Lemma 2.1 [[7], pp.643-645]

Let P x 0 t , P x 1 t ,, P y 0 t be probability measures on S for every t0. The following are equivalent statements.

  1. (a)

    { P x i t :i=0,1,2,} converge weakly to P y 0 t .

  2. (b)

    Equation (1.3) holds for all infinitely differentiable functions vanishing outside a bounded set.

Lemma 2.2 Let assumptions (i)-(v) and (A1) hold, the diffusion process X(t) has the weak Feller property.

Proof The proof of this lemma is essentially the same as that of Lemma 3.2 of Tong et al. [8]. □

Theorem 2.1 If assumptions (i)-(v) and (A2) hold, then the diffusion process X(t) has a unique stationary distribution.

Proof The proof of this theorem is divided into two steps as follows.

Step 1: We show that the Markov process X(t) whose transition semigroup P t has an invariant measure. For this end, we first prove that for some x 0 S, the family { P t ( x 0 ,dy):t0} is tight, i.e., given ε>0, there exists r< such that P t ( x 0 , B c (0,r))ε. It will follow from the Prohorov theorem that there exist t n and a probability measure π, perhaps depending on x 0 , such that

P t n ( x 0 ,dy)π(dy)as n.
(2.1)

By Chebyshev’s inequality, p>0,

P t ( x 0 , | y | > r ) =P ( | X ( t ) | > r | X ( 0 ) = x 0 ) E | X ( t ) | p r p .

Therefore, the tightness of the family { P t ( x 0 ,dy):t0} follows from assumption (A2).

The next task is to prove that the limit in (2.1) does not depend on x 0 . To this end, define

μ T (A)= 1 T 0 T P t ( x 0 ,A)dt.
(2.2)

By Chebyshev’s inequality,

μ T ( B c ( 0 , r ) ) = 1 T 0 T P t ( x 0 , B r c ) dt
(2.3)
1 r T 0 T E | X ( t ) | dt K r
(2.4)

and we have, for any ε>0, μ T (B(0,r))>1ε, whenever r is large enough. Therefore, { μ T ,T>0} is tight, namely, there exists a subsequence t n +, the sequence μ t n converges weakly to a measure π. By the Krylov-Boyoliubov theorem(see, e.g., Prato and Zabczyk [3], Corollary 3.1.2, p.22), one can follow π is an invariant measure for P t , t0. In other words,

P t ( x 0 ,dz)π(dz) x 0 S.
(2.5)

Step 2: We show that (2.5) is the unique stationary distribution. To this end, for every bounded continuous function f:SR, (2.5) implies

( P t n f ) (y) f ¯ := S f(z)π(dz).
(2.6)

By Lebesgue’s dominated convergence theorem, applied to the sequence P t n f, we have

P t ( P t n f ) (x)= S ( P t n f ) (y) P t (x,dy) P t f ¯ = f ¯ .
(2.7)

By Lemma 2.2, if f is bounded and continuous, then P t f is a bounded continuous function. Therefore, applying (2.6) to P t f yields that

P t n ( P t f ) (x) S ( P t f ) (z)π(dz).
(2.8)

Note that P t ( P t n f)= P t n ( P t f)= P t + t n f, the limits in (2.7) and (2.8) coincide,

S ( P t f ) (z)π(dz)= S f(z)π(dz),

i.e., if X(0) has a distribution π, then Ef(X(t))=Ef(X(0)) for all t0. Namely, π is a stationary distribution.

To prove the uniqueness, let π be any invariant probability, then for all bounded continuous f:SR,

S ( P t n f ) (z) π (dz)= S f(z) π (dz).
(2.9)

But by (2.6), the left-hand side of equality (2.9) converges to f ¯ . Therefore, S f(z)π(dz)= S f(z) π (dz), which implies π =π. □

3 An example

In this section, we give an example to illustrate our conditions and results.

Example 3.1 Recently, Mao [9] has considered the stationary distribution of stochastic population dynamics. They assumed that population sizes follow the following stochastic differential equations:

d X i (t)= X i (t) ( b i + j = 1 n a i j X j ( t ) ) dt+ X i (t) j = 1 n σ i j d W j (t),
(3.1)

where X i (t) stands for the population size of species i at time t, b i is the intrinsic growth rate of species i, a i j represents the effect of interspecies (if ij) or intraspecies (if i=j) interaction. Here W j (t) is an independent one-dimensional Brownian motion. Let W(t)= ( W 1 ( t ) , , W n ( t ) ) T be an n-dimensional Brownian motion. Then Eq. (3.1) can be rewritten as

dX(t)=diag ( X 1 ( t ) , , X n ( t ) ) [ ( b + A X ( t ) ) d t + σ d W ( t ) ] ,
(3.2)

where X(t)= ( X 1 ( t ) , , X n ( t ) ) T , b= ( b 1 , b 2 , , b n ) T , A= ( a i j ) n × n , σ= ( σ i j ) n × n , γ(u)= ( γ 1 ( u ) , , γ n ( u ) ) T . Besides, we suppose that W(t) and N(t) are independent and for i,j=1,,n, σ i j are nonnegative constants, and σ i i >0 for some i. If a i i <0, a i j >0, 1i,jn, ij, then the model (3.2) is termed the facultative Lotka-Volterra model. If a i i <0, a i j 0, 1i,jn, ij, then the model (3.2) is termed the competitive Lotka-Volterra model. Both Lotka-Volterra models have been extensively studied by many authors (see, e.g., Bao et al. [10, 11]). For the competitive model (3.2) with Poisson jumps, Bao et al. [10, 11] show that Eq. (3.2) has some nice results such as global positive solution, existence of an invariant measure, some asymptotic properties. To obtain our results, we impose the following assumptions:

(H1) −A is a nonsingular M-matrix;

(H2) a i i <0, a i j 0, i=1,,n.

Lemma 3.1 If one of assumptions (H1) and (H2) holds, then there is a positive constant K such that for any initial value x 0 R + n ,

sup t R + E | X ( t ) | K.
(3.3)

Proof The proof is essentially the same as the proof of Theorem 3.1 of Mao [9] and Theorem 3.1 of Bao [11]. We omit the proof. □

Theorem 3.1 If one of assumptions (H1) and (H2) holds, then the model (3.2) has a unique stationary distribution.

Proof According to the results obtained by Mao [9], Tong et al. [8], and Bao et al. [11], it is not hard to check that the model (3.2) satisfies all the conditions of Theorem 2.1 together with Lemma 3.1. Hence, the uniqueness of stationary distribution follows immediately. □

Remark 3.1 Assumption (H1) relaxes the sufficient conditions obtained by Tong et al. [8]. Assumption (H2) means that if population dynamics is competitive, then it has a unique stationary distribution, which implies ergodic properties of the model (3.2). This gives a new method to estimate parameters for competitive population dynamics.

References

  1. 1.

    Hasminskii RZ: Stochastic Stability of Differential Equations. Sijthoff & Noordhoff, Rockville; 1980:71–155.

    Google Scholar 

  2. 2.

    Pinsky RG: Positive Harmonic Function and Diffusion. Cambridge University Press, Cambridge; 1995:235–282.

    Google Scholar 

  3. 3.

    Da Prato G, Zabczyk J: Ergodicity for Infinite Dimensional Systems. Cambridge University Press, Cambridge; 1996:11–168.

    Google Scholar 

  4. 4.

    Yin G, Zhu C: Hybrid Switching Diffusions. Springer, Berlin; 2010:27–133.

    Google Scholar 

  5. 5.

    Zhang XC: Exponential ergodicity of non-Lipschitz stochastic differential equations. Proc. Am. Math. Soc. 2009, 137: 329–337.

    MATH  Article  Google Scholar 

  6. 6.

    Cerrai S Lecture Notes in Mathematics 1762. In Second Order PDE’s in Finite and Infinite Dimension. A Probabilistic Approach. Springer, Berlin; 2001:65–77.

    Google Scholar 

  7. 7.

    Bhattacharya RN, Waymire EC: Stochastic Processes with Applications. Wiley, New York; 1990:643–646.

    Google Scholar 

  8. 8.

    Tong JY, Zhang ZZ, Bao JH: The stationary distribution of the facultative population model with a degenerate noise. Stat. Probab. Lett. 2013, 83: 655–664. 10.1016/j.spl.2012.11.003

    MATH  MathSciNet  Article  Google Scholar 

  9. 9.

    Mao XR: Stationary distribution of stochastic population systems. Syst. Control Lett. 2011, 60: 398–405. 10.1016/j.sysconle.2011.02.013

    MATH  Article  Google Scholar 

  10. 10.

    Bao JH, Yuan CG: Stochastic population dynamics driven by Lévy noise. J. Math. Anal. Appl. 2012, 391: 363–375. 10.1016/j.jmaa.2012.02.043

    MATH  MathSciNet  Article  Google Scholar 

  11. 11.

    Bao JH, Mao XR, Yin G, Yuan CG: Competitive Lotka-Volterra population dynamics with jumps. Nonlinear Anal. 2011, 74: 6601–6616. 10.1016/j.na.2011.06.043

    MATH  MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors are grateful to the anonymous referees for their valuable comments and suggestions which led to improvements in this manuscript. The research of Z. Zhang was partially supported by the National Natural Science Foundation of China (Nos. 11071037, 11171062, 11126253 and 11201062), the Fundamental Research Funds for the Central Universities, and the Innovation Program of Shanghai Municipal Education Commission (No. 12ZZ063).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Zhenzhong Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors have made the same contribution. All authors read and approved the final 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

Zhang, Z., Chen, D. A new criterion on existence and uniqueness of stationary distribution for diffusion processes. Adv Differ Equ 2013, 13 (2013). https://doi.org/10.1186/1687-1847-2013-13

Download citation

Keywords

  • diffusion processes
  • stationary distribution
  • Feller property
\