# Two types of permanence of a stochastic mutualism model

## Abstract

A stochastic mutualism model is proposed and investigated in this paper. We show that there is a unique solution to the model for any positive initial value. Moreover, we show that the solution is stochastically bounded, uniformly continuous and globally attractive. Under some conditions, we conclude that the stochastic model is stochastically permanent and persistent in mean. Finally, we introduce some figures to illustrate our main results.

## 1 Introduction

Population systems have long been an important theme in mathematical biology due to their universal existence and importance. As far as mutualism system is concerned, lots of proofs have been found in many types of communities. Mutualism occurs when one species provides some benefit in exchange for some benefit. One of the simplest models is the classical Lotka-Volterra two-species mutualism model, which reads

${ d N 1 ( t ) d t = N 1 ( t ) [ a 1 − b 1 N 1 ( t ) + c 1 N 2 ( t ) ] , d N 2 ( t ) d t = N 2 ( t ) [ a 2 − b 2 N 2 ( t ) + c 2 N 1 ( t ) ] .$
(1)

There are many excellent results on the two-species mutualism model (1). It is well known that in nature, with the restriction of resources, it is impossible for one species to survive if its density is too high. Thus the above model is not so good in describing the mutualism of two species (see ). Gopalsamy  proposed the mutualism model as follows:

${ d N 1 ( t ) d t = r 1 ( t ) N 1 ( t ) [ K 1 ( t ) + α 1 ( t ) N 2 ( t ) 1 + N 2 ( t ) − N 1 ( t ) ] , d N 2 ( t ) d t = r 2 ( t ) N 2 ( t ) [ K 2 ( t ) + α 2 ( t ) N 1 ( t ) 1 + N 1 ( t ) − N 2 ( t ) ] ,$
(2)

where $N 1 (t)$ and $N 2 (t)$ denote population densities of each species at time t, $r i$ denotes the intrinsic growth rate of species $N i$ and $α i > K i$, $i=1,2$. The carrying capacity of species $N i$ is $K i$ in the absence of other species, while with the help of the other species, the carrying capacity becomes $( K i (t)+ α i (t) N 3 − i (t))/(1+ N 3 − i (t))$, $i=1,2$. It is assumed that the coefficients of the system are all continuous and bounded. Li and Xu  obtained sufficient conditions for the existence of positive periodic solutions. Chen and You  gave the sufficient conditions for the permanence of the model. Chen et al.  considered the permanence of a delayed discrete mutualism model with feedback controls. Here we transform the system (2) into the following form:

${ d x ( t ) d t = x ( t ) [ a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) ] , d y ( t ) d t = y ( t ) [ b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 2 ( t ) y ( t ) ] .$
(3)

As a matter of fact, population systems are often subject to environmental noise, i.e., due to environmental fluctuations, parameters involved in population models are not absolute constants, and they may fluctuate around some average values. Based on these factors, more and more people began to be concerned about stochastic population systems (see ). Especially, Mao et al.  obtained the interesting and surprising conclusion: even a sufficiently small noise can suppress explosions in population dynamics. Jiang et al.  considered the global stability and stochastic permanence of a stochastic logistic model. Ji et al.  discussed the persistence in mean of a predator-prey model with stochastic perturbation. Now, taking into account the effect of randomly fluctuating environment, we incorporate white noise in each equation of the system (3). Therefore, the non-autonomous stochastic system can be described by the Itô equation

${ d x ( t ) = x ( t ) [ a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) ] d t + σ 1 ( t ) x ( t ) d B 1 ( t ) , d y ( t ) = y ( t ) [ b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 2 ( t ) y ( t ) ] d t + σ 2 ( t ) y ( t ) d B 2 ( t ) ,$
(4)

where $a i (t)$, $b i (t)$, $c i (t)$, $σ i (t)$, $i=1,2$ are all positive, continuous and bounded functions on $[0,+∞)$, and $B 1 (t)$, $B 2 (t)$ are independent Brownian motions, $σ 1$ and $σ 2$ represent the intensities of the white noises.

For convenience, if $f(t)$ is a continuous bounded function on $[0,+∞)$, we define

$f ˆ = inf t ∈ [ 0 , + ∞ ) f(t), f ˇ = sup t ∈ [ 0 , + ∞ ) f(t).$

For any sequence ${ f i (t)}$ ($i=1,2$) define

$f ˆ = inf t ∈ [ 0 , + ∞ ) f i (t), f ˇ = sup t ∈ [ 0 , + ∞ ) f i (t).$

To the best of our knowledge, a very little amount of work has been done on the stochastic system (4). Therefore, we aim to consider dynamical properties of the stochastic model (4) in this paper.

Since stochastic differential equation (4) describes population dynamics, it is necessary for the solution of the system to be positive and not to explode to infinity in a finite time. In this paper, we firstly show that the stochastic system (4) has a unique global (no explosion in a finite time) solution for any positive initial value in Section 2.1. To a population system, the stochastic boundedness is one of most important topics. Section 2.2 tells us that the stochastic model (4) is stochastically ultimately bounded. Furthermore, we will show that the solution of (4) is uniformly continuous and globally attractive in Section 2.3 and Section 2.4 respectively. Moreover, we obtain that the stochastic system is stochastically permanent (cf. [6, 8]) in Section 3. Section 4 shows that the stochastic system is persistent in mean (cf. [7, 12]). And under some conditions, we discuss the stochastic extinction of the system (4) in Section 5. We work out some figures to illustrate the various theorems obtained before in Section 6. Finally, we close the paper with conclusions in Section 7. The important contributions of this paper are therefore clear.

## 2 Basic properties of the solution

### 2.1 Positive and global solution

Throughout this paper, let $(Ω,F, { F t } t ≥ 0 ,P)$ be a complete probability space with a filtration ${ F t } t ≥ 0$ satisfying the usual conditions. We denote by $R + 2$ the positive cone in $R 2$, $X(t)=(x(t),y(t))$ and $|X(t)|= ( x 2 ( t ) + y 2 ( t ) ) 1 2$. And we use K to denote a positive constant whose exact value may be different in different appearances.

Theorem 1 For any given initial value $X 0 =( x 0 , y 0 )∈ R + 2$, there is a unique solution $X(t)=(x(t),y(t))$ to stochastic differential equation (4) on $t≥0$ and the solution will remain in $R + 2$ with probability 1, that is, $X(t)=(x(t),y(t))∈ R + 2$ for all $t≥0$ almost surely.

Proof The proof is similar to [5, 8]. Since the coefficients of equation (4) are locally Lipschitz continuous, for any given initial value $X 0 ∈ R + 2$, there is a unique local solution $X(t)$ on $t∈[0, τ e )$, where $τ e$ is the explosion time. To show this solution is global, we need to show that $τ e =+∞$ a.s. Let $m 0 >0$ be sufficiently large for $x(t)$ and $y(t)$ lying within the interval $[ 1 m 0 , m 0 ]$. For each integer $m≥ m 0$, define the stopping time

where, throughout this paper, we set $inf∅=∞$. Obviously, $τ m$ is increasing as $m→∞$. Let $τ ∞ = lim m → ∞ τ m$, whence $τ ∞ ≤ τ e$ a.s. If we can show that $τ ∞ =∞$ a.s., then $τ e =∞$ a.s. If not, there is $ϵ∈(0,1)$ and $T>0$ such that $P{ τ ∞ ≤T}>ϵ$. Hence there is an integer $m 1 ≥ m 0$ such that $P{ τ m ≤T}≥ϵ$ for all $m≥ m 1$. Define a function $V: R + 2 → R +$ by $V(x)=(x−1−lnx)+(y−1−lny)$. The non-negativity of this function can be seen from $u−1−lnu≥0$ on $u>0$. If $X(t)∈ R + 2$, we obtain that

$L V = ( x − 1 ) [ a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) ] + ( y − 1 ) [ b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 2 ( t ) y ( t ) ] + σ 1 2 + σ 2 2 2 ≤ ( a ˇ i + c ˇ i ) x ( t ) − c ˆ i ( t ) x 2 ( t ) + ( b ˇ i + c ˇ i ) y ( t ) − c ˆ i ( t ) y 2 ( t ) + 1 2 ( σ 1 2 + σ 2 2 ) ≤ K .$

Therefore

$EV ( X ( τ m ∧ T ) ) =V( X 0 )+E ∫ 0 τ m ∧ T LV ( X ( t ) ) dt≤V( X 0 )+KT.$
(5)

On the other hand, we have

$V ( X ( τ m ) ) ≥[m−1−lnm]∧ [ ln m − 1 + 1 m ] .$

It follows from (5) that

$V( X 0 )+KT≥ϵ ( [ m − 1 − ln m ] ∧ [ ln m − 1 + 1 m ] ) .$

Letting $m→∞$ leads to the contradiction $∞>V( X 0 )+KT=∞$. Hence, we have $τ ∞ =∞$ a.s. The proof is complete. □

### 2.2 Stochastic boundedness

Stochastic boundedness is one of most important topics because boundedness of a system guarantees its validity in a population system. We first present the definition of stochastically ultimate boundedness.

Definition 1 (see )

The solution $X(t)=(x(t),y(t))$ of equation (4) is said to be stochastically ultimately bounded if for any $ϵ∈(0,1)$, there is a positive constant $δ=δ(ϵ)$ such that for any initial value $X 0 ∈ R + 2$, the solution $X(t)$ to (4) has the property that

$lim sup t → ∞ P { | X ( t ) | > δ } <ϵ.$

Theorem 2 The solution of the system (4) is stochastically ultimately bounded for any initial value $X 0 =( x 0 , y 0 )∈ R + 2$.

Proof By Theorem 1, the solution $X(t)$ will remain in $R + 2$ for all $t≥0$ with probability 1. Define the function $V= e t x p$ for $p>0$. By the Itô formula, we obtain

$L V = e t x p ( t ) [ 1 + p ( a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) ) + p ( p − 1 ) 2 σ 1 2 ] ≤ e t [ ( 1 + p a ˇ + p ( p − 1 ) 2 σ ˇ 2 ) x p ( t ) − p c ˆ x p + 1 ( t ) ] ≤ 1 ( c ˆ ) p [ 1 + p a ˇ + p ( p − 1 ) 2 σ ˇ 2 p + 1 ] p + 1 e t : = K 1 ( p ) e t .$

Hence we have

$d ( e t x p ) =LVdt+p e t x p σ 1 d B 1 (t)≤ K 1 (p) e t dt+p e t x p σ 1 (t)d B 1 (t).$

Thus $e t E x p −E x 0 p ≤ K 1 (p) e t$. So, we have $lim sup t → ∞ E x p ≤ K 1 (p)<+∞$.

On the other hand, define the function $V= e t y p$ for $p>0$. We have

$L V = e t y p ( t ) [ 1 + p ( b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 2 ( t ) y ( t ) ) + p ( p − 1 ) 2 σ 2 2 ] ≤ e t [ ( 1 + p b ˇ + p ( p − 1 ) 2 σ ˇ 2 ) y p ( t ) − p c ˆ y p + 1 ( t ) ] ≤ 1 ( c ˆ ) p [ 1 + p b ˇ + p ( p − 1 ) 2 σ ˇ 2 p + 1 ] p + 1 e t : = K 2 ( p ) e t .$

This implies $d( e t y p (t))= K 2 (p) e t dt+p e t y p σ 2 (t)d B 2 (t)$. Then $lim sup t → ∞ E y p ≤ K 2 (p)<+∞$. For $X(t)=(x(t),y(t))∈ R + 2$, note that $| X ( t ) | p ≤ 2 p 2 ( x p + y p )$, therefore

$lim sup t → ∞ E | X ( t ) | p ≤K<+∞.$

Applying the Chebyshev inequality yields the required assertion. □

### 2.3 Uniform continuity

In this section, we show the positive solution $X(t)=(x(t),y(t))$ is uniformly Hölder continuous. Main tools are to use appropriate Lyapunov functions and fundamental inequalities. Main methods are motivated by [6, 8].

Lemma 1 ([13, 14])

Suppose that a stochastic process $X(t)$ on $t≥0$ satisfies the condition $E | X ( t ) − X ( s ) | α ≤c | t − s | 1 + β$, $0≤s,t<+∞$, for some positive constants α, β and c. Then there exists a continuous modification $X ˜ (t)$ of $X(t)$, which has the property that for every $γ∈(0, β α )$, there is a positive random variable $h(w)$ such that

$P { ω : sup 0 < | t − s | < h ( ω ) , 0 ≤ s , t < + ∞ | X ˜ ( t , ω ) − X ˜ ( s , ω ) | | t − s | γ ≤ 2 1 − 2 − γ } =1.$

In other words, almost every sample path of $X ˜ (t)$ is locally but uniformly Hölder-continuous with exponent γ.

Theorem 3 For any initial value $( x 0 , y 0 )∈ R + 2$, almost every sample path of $X(t)=(x(t),y(t))$ to (4) is uniformly continuous on $t≥0$.

Proof

Let us consider the stochastic equation as follows:

$x(t)= x 0 + ∫ 0 t f 1 ( s , x ( s ) , y ( s ) ) ds+ ∫ 0 t g 1 ( s , x ( s ) , y ( s ) ) d B 1 (t),$

where It follows from Theorem 2 that

$E | f 1 ( s , x ( s ) , y ( s ) ) | p = E ( x p ( s ) | a 1 ( s ) + a 2 ( s ) y ( s ) 1 + y ( s ) − c 1 ( s ) x ( s ) | p ) ≤ 1 2 E x 2 p ( s ) + 1 2 E ( a 1 ( s ) + a 2 ( s ) y ( s ) 1 + y ( s ) − c 1 ( s ) x ( s ) ) 2 p ≤ 1 2 E x 2 p ( s ) + 2 2 p − 2 a ˇ 2 p + 2 2 p − 2 c ˇ E x 2 p ( s ) ≤ K 1 ( 2 p )$

and

$E | g 1 ( s , x ( s ) , y ( s ) ) | p =E ( σ 1 p ( s ) x 1 p ( s ) ) ≤ σ ˇ p E x p (s)≤ σ ˇ p K 1 (p).$

By the moment inequality (cf. [15, 16]) then for $0≤ t 1 < t 2 <∞$ and $p>2$,

$E| ∫ t 1 t 2 g 1 (s)d B 1 (s) | p ≤ [ p ( p − 1 ) 2 ] p 2 ( t 2 − t 1 ) p − 2 2 ∫ t 1 t 2 E | g 1 ( s ) | p ds,$

where dropping $(s,x(s),y(s))$ from $g 1 (s,x(s),y(s))$.

Let $0≤ t 1 < t 2 <∞$, $t 2 − t 1 ≤1$, $1/p+1/q=1$, we can compute where dropping $(s,x(s),y(s))$ from $f 1 (s,x(s),y(s))$ and $g 1 (s,x(s),y(s))$. Consequently, it follows from Lemma 1 that almost every sample path of $x(t)$ is locally but uniformly Hölder continuous with an exponent $γ∈(0, p − 2 2 p )$, and therefore almost every sample path of $x(t)$ is uniformly continuous on $t≥0$.

Similarly, by virtue of Lemma 1, almost every sample path of $y(t)$ is uniformly continuous on $t≥0$. In a word, almost every sample path of $(x(t),y(t))$ to (4) is uniformly continuous on $t≥0$. □

### 2.4 Global attractivity

Here we show that the solution of (4) is globally attractive.

Lemma 2 (Barbalat )

Let $f(t)$ be a non-negative function defined on $[0,+∞)$ such that $f(t)$ is integrable on $[0,+∞)$ and is uniformly continuous on $[0,+∞)$. Then $lim t → ∞ f(t)=0$.

Definition 2 Let $X 1 (t)=( x 1 (t), y 1 (t))$ and $X 2 (t)=( x 2 (t), y 2 (t))$ be two arbitrary solutions of the system (4) with initial values $( x 1 (0), y 1 (0))∈ R + 2$ and $( x 2 (0), y 2 (0))∈ R + 2$ respectively. If

$lim t → ∞ [ | x 1 ( t ) − x 2 ( t ) | + | y 1 ( t ) − y 2 ( t ) | ] =0a.s.$

then we say the system is globally attractive.

Theorem 4 Let $c 1 (t)−|( b 1 (t)− b 2 (t))|>0$, $c 2 (t)−|( a 1 (t)− a 2 (t))|>0$ on $[0,+∞)$ hold. Then, for any initial value $X 0 =( x 0 , y 0 )∈ R + 2$, the solution $X(t)=(x(t),y(t))$ is globally attractive.

Proof The proof is motivated by the arguments of . Define the Lyapunov function $V(t)=| x 1 (t)− x 2 (t)|+| y 1 (t)− y 2 (t)|$. By virtue of the Itô formula, we obtain

$d + V ( t ) = sgn ( x 1 ( t ) − x 2 ( t ) ) d [ ln x 1 ( t ) − ln x 2 ( t ) ] + sgn ( y 1 ( t ) − y 2 ( t ) ) d [ ln y 1 ( t ) − ln y 2 ( t ) ] = sgn [ x 1 ( t ) − x 2 ( t ) ] × { a 1 ( t ) + a 2 ( t ) y 1 ( t ) 1 + y 1 ( t ) − a 1 ( t ) + a 2 ( t ) y 2 ( t ) 1 + y 2 ( t ) − c 1 ( t ) [ x 1 ( t ) − x 2 ( t ) ] } d t + sgn [ y 1 ( t ) − y 2 ( t ) ] × { b 1 ( t ) + b 2 ( t ) x 1 ( t ) 1 + x 1 ( t ) − b 1 ( t ) + b 2 ( t ) x 2 ( t ) 1 + x 2 ( t ) − c 2 ( t ) [ y 1 ( t ) − y 2 ( t ) ] } d t = | ( a 1 ( t ) − a 2 ( t ) ) ( y 1 ( t ) − y 2 ( t ) ) | ( 1 + y 1 ( t ) ) ( 1 + y 2 ( t ) ) + | ( b 1 ( t ) − b 2 ( t ) ) ( x 1 ( t ) − x 2 ( t ) ) | ( 1 + x 1 ( t ) ) ( 1 + x 2 ( t ) ) − c 1 | x 1 ( t ) − x 2 ( t ) | − c 2 | y 1 ( t ) − y 2 ( t ) | ≤ − ( c 1 ( t ) − | ( b 1 ( t ) − b 2 ( t ) ) | ) | x 1 ( t ) − x 2 ( t ) | − ( c 2 ( t ) − | ( a 1 ( t ) − a 2 ( t ) ) | ) | y 1 ( t ) − y 2 ( t ) | .$

Integrating the above inequality from 0 to t, there exists a positive constant K such that

$V(t)+K ∫ 0 t ( | x 1 ( s ) − x 2 ( s ) | + | y 1 ( s ) − y 2 ( s ) | ) ds≤V(0)<+∞.$

Therefore, it follows from Theorem 3 and Lemma 2 that

$lim t → ∞ [ | x 1 ( t ) − x 2 ( t ) | + | y 1 ( t ) − y 2 ( t ) | ] =0a.s.$

So, we complete the proof. □

## 3 Stochastic permanence

The property of permanence is more desirable since it means the long time survival in a population dynamics. Now, the definition of stochastic permanence will be given below [6, 8].

Definition 3 The solution $X(t)=(x(t),y(t))$ of equation (4) is said to be stochastically permanent if for any $ϵ∈(0,1)$, there exists a pair of positive constants $δ=δ(ϵ)$ and $χ=χ(ϵ)$ such that for any initial value $X 0 =( x 0 , y 0 )∈ R + 2$, the solution $X(t)$ to (4) has the properties that

$lim inf t → ∞ P { | X ( t ) | ≥ δ } ≥1−ϵ, lim inf t → ∞ P { | X ( t ) | ≤ χ } ≥1−ϵ.$

Let us now impose a hypothesis.

Assumption 1 $min{ a ˆ , b ˆ }> σ ˇ 2 2$.

Theorem 5 Under Assumption  1, for any initial value $X 0 =( x 0 , y 0 )∈ R + 2$, the solution $X(t)=(x(t),y(t))$ satisfies that

$lim sup t → ∞ E ( 1 | X ( t ) | θ ) ≤K,$
(6)

where θ is an arbitrary positive constant satisfying

$min{ a ˆ , b ˆ }> θ + 1 2 σ ˇ 2 ,$
(7)

and k is an arbitrary positive constant satisfying

$θmin{ a ˆ , b ˆ }− θ ( θ + 1 ) 2 σ ˇ 2 −k>0.$
(8)

Proof Define $V(X)=(x+y)$ for $(x,y)∈ R + 2$, then

$d V ( X ) = [ x ( t ) ( a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) ) + y ( t ) ( b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 1 ( t ) y ( t ) ) ] d t + ( σ 1 x d B 1 ( t ) + σ 2 y d B 2 ( t ) ) .$

And also define $U(X(t))= 1 V ( X ( t ) )$ on $t≥0$. Applying the Itô formula, we get

$d U = − U 2 [ ( x ( a 1 ( t ) + a 2 ( t ) y 1 + y − c 1 ( t ) x ) + y ( b 1 ( t ) + b 2 ( t ) x 1 + x − c 1 ( t ) y ) ) d t + ( σ 1 ( t ) x d B 1 ( t ) + σ 2 ( t ) y d B 2 ( t ) ) ] + U 3 [ ( σ 1 ( t ) x ) 2 + ( σ 2 ( t ) y ) 2 ] d t = L U d t − U 2 [ σ 1 ( t ) x d B 1 ( t ) + σ 2 ( t ) y d B 2 ( t ) ] ,$

where

$L U = − U 2 [ x ( a 1 ( t ) + a 2 ( t ) y 1 + y − c 1 ( t ) x ) + y ( b 1 ( t ) + b 2 ( t ) x 1 + x − c 1 ( t ) y ) ] + U 3 [ ( σ 1 ( t ) x ) 2 + ( σ 2 ( t ) y ) 2 ]$

dropping $X(t)$ from $U(X(t))$, $V(X(t))$ and t from $x(t)$, $y(t)$. Under Assumption 1, choose a positive constant θ such that it obeys (7). By the Itô formula again, we have

$L ( 1 + U ) θ =θ ( 1 + U ) θ − 1 LU+ θ ( θ − 1 ) 2 U 4 ( 1 + U ) θ − 2 [ ( σ 1 ( t ) x ) 2 + ( σ 2 ( t ) y ) 2 ] .$

Now, choose $k>0$ sufficiently small such that it satisfies (8). Thus by the Itô formula,

$L [ e k t ( 1 + U ) θ ] =k e k t ( 1 + U ) θ + e k t L ( 1 + U ) θ = e k t ( 1 + U ) θ − 2 ( k ( 1 + U ) 2 + F ) .$

The following analysis mainly focuses on the upper boundedness of the function

$( 1 + U ) θ − 2 ( k ( 1 + U ) 2 + F ) .$

We compute

$F = − θ U 2 [ x ( a 1 ( t ) + a 2 ( t ) y 1 + y − c 1 ( t ) x ) + y ( b 1 ( t ) + b 2 ( t ) x 1 + x − c 1 ( t ) y ) ] − θ U 3 [ x ( a 1 ( t ) + a 2 ( t ) y 1 + y − c 1 ( t ) x ) + y ( b 1 ( t ) + b 2 ( t ) x 1 + x − c 1 ( t ) y ) ] + θ U 3 [ ( σ 1 ( t ) x ) 2 + ( σ 2 ( t ) y ) 2 ] + θ ( θ + 1 ) 2 U 4 [ ( σ 1 ( t ) x ) 2 + ( σ 2 ( t ) y ) 2 ]$

dropping t from $x(t)$, $y(t)$. Simplifying the inequalities above, we obtain

$L [ e k t ( 1 + U ) θ ] = e k t ( 1 + U ) θ − 2 [ k ( 1 + U ) 2 + F ] ≤ e k t ( 1 + U ) θ − 2 [ K + K U − ( θ min { a ˆ , b ˆ } − θ ( θ + 1 ) 2 σ ˇ 2 − k ) U 2 ] .$

Then (8) implies that there exists a positive constant K such that

$L e k t ( 1 + U ) θ ≤K e k t .$

This implies

$E [ e k t ( 1 + U ( t ) ) θ ] ≤ ( 1 + U ( 0 ) ) θ + K k e k t = ( 1 + U ( 0 ) ) θ +K e k t .$

Thus, $lim sup t → ∞ E U θ (t)≤ lim sup t → ∞ E ( 1 + U ( t ) ) θ ≤K$. Note that $( x + y ) θ ≤ 2 θ ( x 2 + y 2 ) θ 2 = 2 θ | X | θ$ for $X=(x,y)∈ R + 2$. Consequently,

$lim sup t → ∞ E ( 1 | X ( t ) | θ ) ≤ 2 θ lim sup t → ∞ E U θ (t)≤K.$

□

Theorem 6 Let Assumption  1 hold. Then the system (4) is stochastically permanent.

The proof is an application of the well-known Chebyshev inequality and Theorems 2 and 5. Here it is omitted.

## 4 Persistence in mean

In view of ecology, a good situation occurs when all species co-exist. In this section, we will consider another stochastic persistence, that is, stochastic persistence in mean. Now, we present the definition of persistence in mean.

Definition 4 (see [7, 12])

The system (4) is said to be persistent in mean if

$lim t → ∞ 1 t ∫ 0 t x(s)ds>0, lim t → ∞ 1 t ∫ 0 t y(s)ds>0a.s.$

Firstly, we introduce a fundamental lemma which will be used.

Lemma 3 Consider the one-dimensional stochastic equation

$dx(t)=x(t) [ a ( t ) − b ( t ) x ( t ) ] dt+σ(t)x(t)dB(t),$
(9)

where $a(t)$, $b(t)$, $σ(t)$ are positive, continuous and bounded functions, $B(t)$ is a standard Brownian motion. Under the condition $a ˆ > σ ˇ 2 2$, for any initial value $x 0 >0$, the solution $x(t)$ to (9) has the property

$lim t → ∞ ln x ( t ) t =0a.s.$

Proof We firstly show $lim sup t → ∞ ln x ( t ) t ≤0$ a.s. To define the Lyapunov function $V(t,x)= e t lnx$, using the Itô formula, we obtain

$d ( e t ln x ( t ) ) = e t [ ln x ( t ) + a ( t ) − b ( t ) x ( t ) − σ 2 ( t ) 2 ] dt+ e t σ(t)dB(t).$

Thus

$e t lnx(t)−ln x 0 = ∫ 0 t e s [ ln x ( s ) + a ( s ) − b ( s ) x ( s ) − σ 2 ( s ) 2 ] ds+M(t),$

where $M(t)= ∫ 0 t e s σ(s)dB(s)$, whose quadratic variation is

$〈 M ( t ) , M ( t ) 〉 = ∫ 0 t e 2 s σ 2 (s)ds.$

By virtue of the exponential martingale inequality, for any positive constants T, δ, β, we have

$P { sup 0 ≤ t ≤ T [ M ( t ) − δ 2 〈 M ( t ) , M ( t ) 〉 ] > β } ≤ e − δ β .$

Choose $T=kγ$, $δ=nϵ e − k δ$ and $β= θ e k δ ln k ϵ n$, where $k∈ Z +$, $0<ϵ<1$, $θ>1$ and $γ>0$ above. Hence

$P { sup 0 ≤ t ≤ T [ M ( t ) − n ϵ e − k δ 2 〈 M ( t ) , M ( t ) 〉 ] > θ e k δ ln k ϵ n } ≤ k − θ .$

Obviously, we know $∑ k = 1 ∞ k − θ <∞$. Applying the Borel-Cantalli lemma, we obtain that there exists some $Ω i ⊂Ω$ with $P( Ω i )=1$ such that for any $ω∈ Ω i$, an integer $k i = k i (ω)$ such that for any $k> k i$, we get

$M(t)≤ n ϵ e − k δ 2 〈 M ( t ) , M ( t ) 〉 + θ e k δ ln k ϵ n$

for all $0≤t≤kγ$. Then

$e t lnx(t)−ln x 0 ≤ ∫ 0 t e s [ ln x ( s ) + a r ( s ) − b ( s ) x ( s ) − σ 2 ( s ) 2 + n ϵ e s − k δ 2 σ 2 ( s ) ] ds+ θ e k δ ln k ϵ .$

Note that $t∈[0,kγ]$, $s∈[0,t]$, we have

$lnx(s)+a(s)−b(s)x(s)− σ 2 ( s ) 2 + n ϵ e s − k δ 2 σ 2 (s)≤K.$

For all $t∈[0,kγ]$ with $k> k 0 (ω)$, we derive

$e t lnx(t)−ln x 0 ≤ ∫ 0 t K e s ds+ θ e k δ ln k ϵ =K ( e t − 1 ) + θ e k δ ln k ϵ .$

Thus, for $(k−1)γ≤t≤kγ$, we get $lnx(t)≤ e − t ln x 0 +K(1− e − t )+ θ e δ ln k ϵ$. This implies

$ln x ( t ) ln t ≤ ln x 0 e t ln t + K ( 1 − e − t ) ln t + θ e δ ln k ϵ ln ( ( k − 1 ) γ ) .$

Letting $k→∞$, that is, $t→∞$, we can imply $lim sup t → ∞ ln x ( t ) ln t ≤ θ e γ ϵ$. By making $γ↓0$, $ϵ↑1$ and $θ↓1$, we get $lim sup t → ∞ ln x ( t ) ln t ≤1$. Consequently,

$lim sup t → ∞ ln x ( t ) t = lim sup t → ∞ ln x ( t ) ln t lim sup t → ∞ ln t t ≤ lim sup t → ∞ ln t t =0.$

Thus it remains to show that $lim inf t → ∞ ln x ( t ) t ≥0$ a.s. The quadratic variation of the stochastic integral $∫ 0 t σ(s)dB(s)$ is $∫ 0 t σ 2 (s)ds≤Kt$. So, the strong law of large numbers of local martingales yields that

Hence, for any $ϵ>0$, there exists some positive $T<∞$ such that

For any $t>s≥T$, we have

$| ∫ s t σ ( s ) d B ( s ) | <ϵ(s+t)a.s.$

Then, for any $t>T$,

$1 x ( t ) = 1 x ( T ) e [ ∫ T t − ( a ( s ) − σ 2 ( s ) 2 ) d s − ∫ T t σ ( s ) d B ( s ) ] + ∫ T t b ( s ) e [ ∫ s t − ( a ( τ ) − σ 2 ( τ ) 2 ) d τ − ∫ T t σ 1 ( r ( τ ) ) d B ( τ ) ] d s ≤ 1 x ( T ) e [ ∫ T t − ( a ( s ) − σ 2 ( s ) 2 ) d s + ϵ ( t + T ) ] + ∫ T t b ( s ) e [ ∫ s t − ( a ( τ ) − σ 2 ( τ ) 2 ) d τ + ϵ ( t + s ) ] d s .$

Therefore

$e − 2 ϵ ( t + T ) 1 x ( t ) ≤ 1 x ( T ) e [ ∫ T t − ( a ( s ) − σ 2 ( s ) 2 ) d s − ϵ ( t + T ) ] + ∫ T t b ( s ) e [ ∫ s t − ( a ( τ ) − σ 2 ( τ ) 2 ) d τ − ϵ ( t − s ) − 2 ϵ T ] d s ≤ K < ∞ .$

That is, $1 x ( t ) ≤K e 2 ϵ ( t + T )$ a.s. Then $ln 1 x ( t ) t ≤ 1 t [lnK+2ϵ(t+T)]$ a.s. Thus $lim inf t → ∞ ln x ( t ) t ≥−2ϵ$ a.s. Since ϵ is arbitrary, we conclude that

$lim inf t → ∞ ln x ( t ) t ≥0a.s.$

So, the proof is complete. □

Remark 1 Lemma 3 generalizes the works of  and .

To continue our analysis, let us impose the following hypothesis.

Assumption 2 $a ˆ − σ ˇ 2 2 >0$, $b ˆ − σ ˇ 2 2 >0$.

Theorem 1 tells us there is a unique global solution (which is positive for any initial value $X 0 =( x 0 , y 0 )∈ R + 2$) to the stochastic system (4). So, we conclude the following results by the comparison theorem. We can get

$dx(t)≤x(t) [ a ˇ − c 1 ( t ) x ( t ) ] dt+ σ 1 (t)x(t)d B 1 (t)$

and

$dx(t)≥x(t) [ a ˆ − c 1 ( t ) x ( t ) ] dt+ σ 1 (t)x(t)d B 1 (t).$

Denote that $X 2$ is the solution to the following stochastic equation:

$d X 2 (t)= X 2 (t) [ a ˇ − c 1 ( t ) X 2 ( t ) ] dt+ σ 1 (t) X 2 (t)d B 1 (t)$
(10)

with $X 2 (0)= x 0$. And $X 1$ is the solution to the equation

$d X 1 (t)= X 1 (t) ( a ˆ − c 1 ( t ) X 1 ( t ) ) dt+ σ 1 (t) X 1 (t)d B 1 (t)$
(11)

with $X 1 (0)= x 0$. It is obvious that $X 1 (t)≤x(t)≤ X 2 (t)$, $t∈[0,+∞)$ a.s. Moreover, we can have

$dy(t)≤y(t) ( b ˇ − c 2 ( t ) y ( t ) ) dt+ σ 2 (t)y(t)d B 2 (t)$

and

$dy(t)≥y(t) ( b ˆ − c 2 ( t ) y ( t ) ) dt+ σ 2 (t)y(t)d B 2 (t).$

We denote $Y 1 (t)$ is the solution of the stochastic differential equation

$d Y 1 (t)= Y 1 (t) [ b ˆ − c 2 ( t ) Y 1 ( t ) ] dt+ σ 2 Y 1 (t)d B 2 (t)$
(12)

with $Y 1 (0)= y 0$. And the stochastic equation

$d Y 2 (t)= Y 2 (t) [ ( b ˇ − c 2 ( t ) Y 2 ( t ) ] dt+ σ 2 Y 2 (t)d B 2 (t)$
(13)

has the solution $Y 2 (t)$ for initial value $Y 2 (0)= y 0$. Consequently, $Y 1 (t)≤y(t)≤ Y 2 (t)$, $t∈[0,+∞)$ a.s. To sum up, we have

(14)

Lemma 4 Under Assumption  2, for any initial value $x 0 >0$, the solution $x(t)$ to (4) satisfies

$lim t → ∞ ln x ( t ) t =0a.s.$

Lemma 3, (10), (11) and (14) can straightforward imply the assertion.

Lemma 5 Under Assumption  2, for any initial value $y 0 >0$, the solution $y(t)$ to (4) satisfies

$lim t → ∞ ln y ( t ) t =0a.s.$

Lemma 3, (12), (13) and (14) prove the result.

Theorem 7 Let Assumption  2 hold. Then, for any initial value $( x 0 , y 0 )∈ R + 2$, the system (4) is persistent in mean. That is, the system (4) has the properties

$lim inf t → ∞ ∫ 0 t y ( s ) d s t ≥ g − σ 2 2 2 h >0, lim inf t → ∞ ∫ 0 t x ( s ) d s t ≥ a ˆ − σ ˇ 2 2 c ˇ >0a.s.$

Proof Denote $V(x)=lnx$, by the Itô formula, we obtain

$d ( ln x ( t ) ) = [ a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) − σ 1 2 ( t ) 2 ] dt+ σ 1 (t)d B 1 (t).$

Then

$ln x ( t ) = ln x 0 + ∫ 0 t ( a 1 ( s ) + a 2 ( s ) y ( s ) 1 + y ( s ) − σ 1 2 ( s ) 2 ) d s − ∫ 0 t c 1 ( s ) x ( s ) d s + ∫ 0 t σ 1 ( s ) d B 1 ( s ) ,$

which yields

$c ˇ ∫ 0 t x(s)ds≥−lnx(t)+ln x 0 + ( a ˆ − σ ˇ 2 2 ) t+ ∫ 0 t σ 1 (s)d B 1 (s).$

By virtue of the strong law of large numbers and Lemma 4, we get

$lim inf t → ∞ ∫ 0 t x ( s ) d s t ≥ a ˆ − σ ˇ 2 2 c ˇ >0a.s.$

On the other hand, denote $V(y)=lny$, by the Itô formula, we obtain

$d ( ln y ( t ) ) = [ b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 2 ( t ) y ( t ) − σ 2 2 ( t ) 2 ] dt+ σ 2 (t)d B 2 (t).$

Thus

$ln y ( t ) = ln y 0 + ∫ 0 t ( b 1 ( s ) + b 2 ( s ) x ( s ) 1 + x ( s ) − σ 2 2 ( s ) 2 ) d s − ∫ 0 t c 2 ( s ) y ( s ) d s + ∫ 0 t σ 2 ( s ) d B 2 ( s ) .$

So, we have

$c ˇ ∫ 0 t y(s)ds≥−lny(t)+ln y 0 + ( b ˆ − σ ˇ 2 2 ) t+ ∫ 0 t σ 2 (s)d B 2 (s).$

Dividing t on both sides yields

$c ˇ ∫ 0 t y ( s ) d s t ≥− ln y ( t ) t + ln y 0 t + ( b ˆ − σ ˇ 2 2 ) + ∫ 0 t σ 2 ( s ) d B 2 ( s ) t .$

Letting $t→∞$, by virtue of the strong law of large numbers and Lemma 5, we have

$lim inf t → ∞ ∫ 0 t y ( s ) d s t ≥ b ˆ − σ ˇ 2 2 c ˇ >0a.s.$

The proof is complete. □

## 5 Extinction

In Sections 3 and 4, we showed that under certain conditions, the system was stochastically permanent and persistent in mean respectively. In view of ecology, a bad thing happens when a species disappears. Here, we will show that if the noise is sufficiently large, the solution to the associated stochastic model will become extinct with probability one.

Theorem 8 Assume $a ˇ − σ ˆ 2 2 <0$ and $b ˇ − σ ˆ 2 2 <0$ hold. Then, for any initial value $( x 0 , y 0 )∈ R + 2$, the solution $(x(t),y(t))$ to (4) will be extinct exponentially with probability one, that is,

$lim sup t → ∞ ln x ( t ) t ≤ a ˇ − σ ˆ 2 2 <0, lim sup t → ∞ ln y ( t ) t ≤ b ˇ − σ ˆ 2 2 <0a.s.$

Proof Define Lyapunov functions lnx and lny respectively. Then, by the Itô formula, we have

$d ( ln x ( t ) ) = [ a 1 ( t ) + a 2 ( t ) y ( t ) 1 + y ( t ) − c 1 ( t ) x ( t ) − σ 1 2 ( t ) 2 ] dt+ σ 1 (t)d B 1 (t)$

and

$d ( ln y ( t ) ) = [ b 1 ( t ) + b 2 ( t ) x ( t ) 1 + x ( t ) − c 2 ( t ) y ( t ) − σ 2 2 ( t ) 2 ] dt+ σ 2 (t)d B 2 (t).$

Hence

$lnx(t)≤ln x 0 + ( a ˇ − σ ˆ 2 2 ) t+ ∫ 0 t σ 1 (s)d B 1 (s)$

and

$lny(t)≤ln y 0 + ( b ˇ − σ ˆ 2 2 ) t+ ∫ 0 t σ 2 (s)d B 2 (s).$

Dividing t on the both sides, letting $t→∞$ and applying the strong law of large numbers for local martingales, we have

$lim sup t → ∞ ln x ( t ) t ≤ a ˇ − σ ˆ 2 2 <0, lim sup t → ∞ ln y ( t ) t ≤ b ˇ − σ ˆ 2 2 <0a.s.$

So, we complete the proof. □

## 6 Numerical simulations

In this section we use the Milstein method mentioned in Higham  to substantiate the analytical findings.

For the model (4), we consider the discretization equation: where $ξ k$ and $η k$ are Gaussian random variables that follow $N(0,1)$.

In Figure 1a,b, we choose $a 1 = b 1 =0.4$, $a 2 = b 2 =0.5$, $c 1 = c 2 =0.1$. In Figure 1a,b, we choose $σ 1 ( t ) 2 /2= σ 2 2 (t)/2=0.01$. By virtue of Theorem 6, the system will be stochastically permanent. It follows from Theorem 7 that the system will be persistent in mean. What we mentioned above can be seen from Figure 1a,b. The difference between conditions of Figure 1a,b,c is that the values of $σ 1$ and $σ 2$ are different. In Figure 1a,b, we choose $σ 1 2 /2= σ 2 2 /2=0.01$. In Figure 1c, we choose $σ 1 2 /2= σ 2 2 /2=1$. In view of Theorem 8, both species x and y will go to extinction. Figure 1c confirms this.

By comparing Figure 1a,b with Figure 1c, we can observe that small environmental noise can retain the stochastic system permanent; however, sufficiently large environmental noise makes the stochastic system extinct.

## 7 Conclusions

In this paper, we consider the stochastic mutualism system (4). We show that there is a unique positive solution to the model for any positive initial value. Moreover, we show that the positive solutions are uniformly continuous, globally attractive. Especially, we conclude the following: under Assumption 1, the stochastic model (4) is stochastically permanent; under Assumption 2, the stochastic model (4) is persistent in mean. It is interesting and surprising to obtain the results. It is easy to see that Assumptions 1 and 2 have almost the same meaning. To a great extent, when the intensity of environmental noise is not too big, some nice properties such as non-explosion, boundedness, permanence are desired. However, Theorem 8 reveals that a large white noise will force the population to become extinct.

## References

1. 1.

Chen LJ, Chen LJ, Li Z: Permanence of a delayed discrete mutualism model with feedback controls. Math. Comput. Model. 2009, 50: 1083-1089. 10.1016/j.mcm.2009.02.015

2. 2.

Gapalsamy K: Stability and Oscillations in Delay Equations of Population Dynamics. Kluwer Academic, London; 1992.

3. 3.

Li YK, Xu GT: Positive periodic solutions for an integrodifferential model of mutualism. Appl. Math. Lett. 2001, 14: 525-530. 10.1016/S0893-9659(00)00188-9

4. 4.

Chen FD, You MS: Permanence for an integrodifferential model of mutualism. Appl. Math. Comput. 2007, 186: 30-34. 10.1016/j.amc.2006.07.085

5. 5.

Mao XR, Marion G, Renshaw E: Environmental Brownian noise suppresses explosions in population dynamics. Stoch. Process. Appl. 2002, 97: 95-110. 10.1016/S0304-4149(01)00126-0

6. 6.

Jiang DQ, Shi NZ, Li XY: Global stability and stochastic permanence of a non-autonomous logistic equation with random perturbation. J. Math. Anal. Appl. 2008, 340: 588-597. 10.1016/j.jmaa.2007.08.014

7. 7.

Ji CY, Jiang DQ, Shi NZ: Analysis of a predator-prey model with modified Leslie-Gower and Holling-type II schemes with stochastic perturbation. J. Math. Anal. Appl. 2009, 359: 482-498. 10.1016/j.jmaa.2009.05.039

8. 8.

Li XY, Mao XR: Population dynamical behavior of non-autonomous Lotka-Volterra competitive system with random perturbation. Discrete Contin. Dyn. Syst. 2009, 24: 523-545.

9. 9.

Zhu C, Yin G: On hybrid competitive Lotka-Volterra ecosystems. Nonlinear Anal. TMA 2009, 71: e1370-e1379. 10.1016/j.na.2009.01.166

10. 10.

Zhu C, Yin G: On competitive Lotka-Volterra model in random environments. J. Math. Anal. Appl. 2009, 357: 154-170. 10.1016/j.jmaa.2009.03.066

11. 11.

Ji CY, Jiang DQ, Li XY: Qualitative analysis of a stochastic ratio-dependent predator-prey system. J. Comput. Appl. Math. 2011, 235: 1326-1341. 10.1016/j.cam.2010.08.021

12. 12.

Chen LS, Chen J: Nonlinear Biological Dynamical System. Science Press, Beijing; 1993.

13. 13.

Mao XR: Stochastic versions of the Lassalle theorem. J. Differ. Equ. 1999, 153: 175-195. 10.1006/jdeq.1998.3552

14. 14.

Karatzas I, Shreve S: Brownian Motion and Stochastic Calculus. Springer, Berlin; 1991.

15. 15.

Friedman A: Stochastic Differential Equations and Applications. Academic Press, New York; 1976.

16. 16.

Mao XR: Stochastic Differential Equations and Applications. Horwood, Chichester; 1997.

17. 17.

Barbalat I: Systems d’equations differential d’oscillations nonlineairies. Rev. Roum. Math. Pures Appl. 1959, 4: 267-270.

18. 18.

Higham DJ: An algorithmic introduction to numerical simulation of stochastic differential equations. SIAM Rev. 2001, 43: 525-546. 10.1137/S0036144500378302

## Acknowledgements

The authors are grateful to the associate editor and the referees for their helpful suggestions. This work was supported by the National Natural Science Foundation of P.R. China (No. 11171081, 11171056), the Natural Scientific Research Innovation Foundation in Harbin Institute of Technology (No. HIT.NSRIF.2011094), the Scientific Research Foundation of Harbin Institute of Technology at Weihai (No. HIT(WH)ZB201103).

## Author information

Authors

### Corresponding author

Correspondence to Jingliang Lv.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The authors carried out the proof of the main part of this article. All authors have read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

Reprints and Permissions

Qiu, H., Lv, J. & Wang, K. Two types of permanence of a stochastic mutualism model. Adv Differ Equ 2013, 37 (2013). https://doi.org/10.1186/1687-1847-2013-37 