Abstract and Applied Analysis

Volume 2014, Article ID 781394, 19 pages

http://dx.doi.org/10.1155/2014/781394

## Dynamical Behavior of the Stochastic Delay Mutualism System

^{1}School of Mathematics and Statistics, Northeast Normal University, Changchun, Jilin 130024, China^{2}School of College of Basic Sciences, Changchun University of Technology, Changchun, Jilin 130021, China^{3}College of Sciences, China University of Petroleum, Qingdao 266580, China

Received 11 February 2014; Accepted 9 April 2014; Published 29 May 2014

Academic Editor: Juntao Sun

Copyright © 2014 Peiyan Xia 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.

#### Abstract

We discuss the dynamical behavior of the stochastic delay three-specie mutualism system. We develop the technique for stochastic differential equations to deal with the asymptotic property. Using it we obtain the existence of the unique positive solution, the asymptotic properties, and the nonpersistence. Finally, we give the numerical examinations to illustrate our results.

#### 1. Introduction

The classical Lotka-Volterra model for two mutualistic species is described by the ordinary differential equation (ODE) There are many extensive literatures concerned with the dynamics of this model and we do not mention them here except [1]. Goh [1] showed that if holds, system (1) has a stable and globally attractive equilibrium point with the following property: where

In fact, in many physical as well as biological systems, many studies indicate that time delay widely exists in nature, for examples, in [2–7]. When the growth rate of each specie is affected by the time delay, as a result, (1) becomes a delay differential equation (DDE) In [4], He and Gopalsamy obtained a supercritical Hopf-bifurcation of (4) at (a constant) and proved that the equilibrium is no longer asymptotically stable as the delay increases to . If only the interspecific positive feedback terms are affected by the delay, (1) becomes The positive equilibrium of (5) is globally attractive if holds, which implies the delay is harmless.

Population systems are often subject to environmental noise and many authors have investigated the dynamical behaviors of stochastic population systems, for examples, in [8–26]. May [27] revealed that the parameters of the stochastic systems always fluctuate around their average values and the solution also fluctuates around its average value. If we still use to denote the average growth rate, then the intrinsic growth rate becomes where is white noise and is a positive constant representing the intensity of the noise. As a result, the mutualism system (1) becomes a stochastic differential equation (SDE) Ji et al. in [14] analyzed the long-time asymptotic behavior of the system (7) and obtained the ergodic property and its stationary distribution.

Let us take a further step by considering a 3-dimensional mutualism system subject to the white noise. As a result, it becomes a stochastic delay differential equation (SDDE)

Our aim is to investigate the long-time asymptotic behavior of SDDE (9). This paper is organized as follows. In order to obtain better dynamic properties of SDDE (9), we show that there exists a unique global positive solution with any initial positive value under some assumptions in Section 2. Then, we estimate the expectation in time average of the distance between the solution of (9) and the positive equilibrium point of the deterministic model (8); namely, where is the unique positive equilibrium point of system (8). In Section 3, we prove that system (9) is persistent in time average as the intensity of the white noise is small and yields the limit of the solution in time average. In Section 4, we obtain the nonpersistence of system (9) as the intensity of noise is big. Finally, in Section 5, we illustrate our results by some numerical examinations.

Throughout this paper, unless otherwise specified, let denote a complete probability space with a filtration satisfying the usual conditions (i.e., it is right continuous and contains all -null sets). Denote by the positive cone in ; namely, . Let and denote by the family of the continuous functions from to . For , its norm is denoted by .

To discuss the dynamical behavior of (9), we impose the following assumption.

*Assumption 1. *Consider and , , .

*Assumption 2. *Consider .

#### 2. Existence and Uniqueness of the Positive Solution

In population dynamics, the existence of the global positive solution is necessary. In order for a SDE to have a unique global (i.e., no explosion at any finite time) solution for any given initial value, its coefficients are generally required to satisfy the linear growth condition and local Lipschitz condition (Arnold et al. [28], Mao [23]). However, the coefficients of system (9) do not satisfy the linear growth condition, though they are locally Lipschitz continuous, so the solution of system (9) may explode at a finite time. So we prepare the following useful lemma and then yield the existence of the positive solution by using it.

Lemma 3. *Under Assumption 1, then we have
*

*Proof. *The assertions are obviously obtained from , , , and . Here we omit the proof.

Theorem 4. *Under Assumption 1, for any given initial value , there is a unique positive solution to system (9) on and the solution will remain in with probability 1; namely, for all a. s.*

*Proof. *Firstly, define a function by
where
From Lemma 3, . So, is nonnegative. By Itô’s formula, we obtain
where
By Young’s inequality, we have
Secondly, define
By Itô’s formula, we have
Therefore, let
Equalities (16) and (18) imply that
where
where is a positive constant. By the method similar to that in [24], the proof is therefore completed.

Under Assumption 1, DDE (8) has a positive equilibrium which is globally attractive while the system with the stochastic perturbation has a unique global positive solution. It is natural to ask how to estimate the distance between the solution of the deterministic system and the solution of the stochastic system. The following theorem gives us an answer.

Theorem 5. *Under Assumption 1, system (9) has the following property:
**
where is a solution on to (9) with an initial value , is defined in the proof of Theorem 4, and is the unique positive equilibrium of system (8); namely,
*

For brevity, we will give the proof in the appendix.

#### 3. Persistence in Time Average

For convenience, we denote the unique global solution of system (9) by with an initial data . Theorem 4 shows that the solution of system (9) will remain positive under Assumption 1. This property gives us an opportunity to investigate how the solution varies in . In population dynamics, one of the most attractive properties is persistence which means all species will coexist. Now we give the definition of persistence in time average.

*Definition 6. *System (9) is persistent in time average, if, for any initial data , the solution has the property that

To prove that system (9) is persistent in time average, we will cite a lemma. Jiang and Shi in [17] discussed a stochastic nonautonomous logistic equation where is 1-dimensional standard Brownian motion, , and is independent of . They obtained the following result.

Lemma 7 (see [17]). *Assume that , and are bounded continuous functions defined on , , and . Then there exists a unique continuous positive solution of (25) for any initial value , which is global and represented by
**
Moreover, the solution has the property that
*

*Remark 8. *Let , , be the solution of the following equation:
with initial value . From Lemma 7, we have
From the result in [13], we know
provided Assumption 2.

Theorem 9. *Under Assumptions 1 and 2, system (9) is persistent in time average.*

*Proof. *From Lemma 7, we know
From Remark 8, yields
Together with Lemma 7, it is easy to obtain
The inequality a.s. will be shown in Theorem 11.

Theorem 9 shows that system (9) is persistent in time average if the intensity of noise is small. Next we want to obtain the limit of the solution in time average of system (9). We begin from the lemma in [29].

Lemma 10. *Let , . If there exist positive constants and such that
**
and a.s., then
*

Theorem 11. *Under Assumptions 1 and 2, for any initial data , the solution has the property that
**
where
*

The mathematical derivations are lengthy; we will give the proof in the appendix.

#### 4. Nonpersistence

In this section, we will show that the system (9) is nonpersistent if the intensity of the noise is big enough; however, it does not occur to the deterministic system. First of all, we give the definition of nonpersistence.

*Definition 12. *System (9) is nonpersistent, if there are positive constants such that

Theorem 13. *Under Assumption 1, if holds, system (9) is nonpersistent, where ; is defined by .*

*Proof. *It follows from that
Together with , we have
If holds, it follows
Hence, system (9) is nonpersistent. The proof is completed.

By a similar method, we can yield the following theorems.

Theorem 14. *Under Assumption 1, if holds, system (9) is nonpersistent, where , , .*

Theorem 15. *Under Assumption 1, if holds, system (9) is nonpersistent, where .*

#### 5. Numerical Examinations

In this section, we give the numerical examinations to illustrate above results. By the method mentioned in [30], consider the discrete equation: where represents the integer part of . Choosing suitable parameters in the system, by Matlab we get the simulation figures with initial value . (For convenience we let the initial value be a constant function; otherwise we have to give values.) The time step ; we always choose Then . By choosing different intensities of the noise and time delays, we obtain the following cases to illustrate our results.

*Case 1 (persistence). *Choosing , then we have . Hence all assumptions of Theorem 11 are satisfied. Figure 1 shows that the solution fluctuates in a small zone.

*Case 2 (nonpersistence (we only illustrate the first situation)). **(1) ** Is Disturbed by a Big Noise, Which Leads to Nonpersistence*. Choosing , then we have but . For convenience we shorten to . Hence the assumptions of Theorem 13 are satisfied, and system (9) is nonpersistent (see Figure 2(d)). In addition, since , do not tend to zero in time average by Theorem 9. So a.s. (see Figures 2(a)–2(c)).* (2) The Second Specie ** Is Disturbed by the Big White Noise, Which Leads to the Nonpersistence*. Choosing , then we have , but . Hence the assumptions of Theorem 13 are satisfied, and system (9) is nonpersistent (see Figure 3(d)). In addition, since , do not tend to zero in time average by Theorem 9. So a.s. (see Figures 3(a)–3(c)).* (3) The Third Specie ** Is Disturbed by the Big White Noise, Which Leads to the Nonpersistence*. Choosing , then we have , but . Hence the assumptions of Theorem 13 are satisfied, and system (9) is nonpersistent (see Figure 4(d)). In addition, since , do not tend to zero in time average by Theorem 9. So we have a.s. (see Figures 4(a)–4(c)).* (4) The First Two Species ** Are Disturbed by the Big White Noises, Which Leads to the Nonpersistence*. Choosing , then we have , but . Hence the assumptions of Theorem 13 are satisfied; then system (9) is nonpersistent (see Figure 5(d)). In addition, since , does not tend to zero in time average by Theorem 9. So we have a.s. (see Figures 5(a)–5(c)).* (5) The First and the Third Species **, ** Are Disturbed by the Big White Noises, Which Leads to the Nonpersistence*. Choosing , , , , , then we have , but . Hence the assumptions of Theorem 13 are satisfied, and system (9) is nonpersistent (see Figure 6(d)). In addition, since , does not tend to zero in time average by Theorem 9. So we have a.s. (see Figures 6(a)–6(c)).* (6) The Last Two Species **, ** Are Disturbed by the Big White Noises, Which Leads to Nonpersistence*. Choosing , then we have , but . Hence the assumptions of Theorem 13 are satisfied, and system (9) is nonpersistent (see Figure 7(d)). In addition, since , does not tend to zero in time average by Theorem 9. So we have a.s. (see Figures 7(a)–7(c)).* (7) All the Three Species **, **, ** Are Disturbed by the Big White Noise, Which Leads to the Nonpersistence*. Choosing , then we have . Hence the assumptions of Theorem 13 are satisfied, and system (9) is nonpersistent (see Figure 8(d)). So we have a.s. (see Figures 8(a)–8(c)).

#### Appendices

#### A. Proof of Theorem 5

*Proof. *Define a function by
By Itô’s formula, we have
where
Since is the equilibrium point of system (8), we have
By Young inequality, we have