We present and analyze a modified Holling type-II predator-prey model that includes some important factors such as Allee effect, density-dependence, and environmental noise. By constructing suitable Lyapunov functions and applying Itô formula, some qualitative properties are given, such as the existence of global positive solutions, stochastic boundedness, and the global asymptotic stability. A series of numerical simulations to illustrate these mathematical findings are presented.

1. Introduction

The study of the interrelationship between species and their environment, ecology, in such areas as predator-prey and competition interactions, renewable resource management, evolution of pesticide resistant strains, ecological and genetically engineered control of pests, multispecies societies, and so on, is now an enormous field [1]. Predator-prey interaction is one of the basic interspecies relations for ecological and social models, and it is also a basic block of more complicated food chain, food web and biochemical network structure [2]. In recent years, one of the important predator-prey models is the Holling type-II model, originally due to Holling [3, 4], which has been extensively studied in many articles [511].

In ecological populations, species growth is often damped by an Allee effect. The so-called Allee effect is described by the positive relationship between population density and the per capita growth rate [12, 13]. The logistic model assumes that per capita growth rate declines monotonically with density. But for population subject to an Allee effect, per capita growth rate shows a humped curve increasing (from negative to positive) at low density, up to a maximum at intermediate density and then declining [14]. The Allee effect may arise from a number of sources such as difficulties in finding mates when population density is low, social dysfunction at small population sizes, food exploitation, inbreeding depression, and predator avoidance or defense [15]. This effect usually saturates or disappears as population get larger [12]. The Allee effect has been modeled in different ways [1618], such as multiplicative Allee effect and additive Allee effect. In an ecological point of view, Allee effect has been modeled into strong and weak cases. The strong Allee effect introduces a population threshold, and the population must surpass this threshold to grow. In contrast, population with a weak Allee effect do not have a threshold [19]. the Allee effect’s strong potential impact on population dynamics has been attracting much attention recently. Detailed investigations relating to the Allee effect may be found in [1215, 1728].

In reality, there are many benefits to be gained in using stochastic models because real life is full of randomness and stochasticity. A large number of stochastic differential equation models are considered as they provide some additional degree of realism compared to their deterministic counterpart [2]. The environment factors are time dependent randomly varying and should be taken as stochastic [29, 30]. The basic mechanism and factors of population growth like the resources and vital rates-birth, death, immigration and emigration change nondeterministically due to random environment [31]. Most natural phenomena do not follow strictly deterministic laws but rather oscillate randomly about some average values, so that the population density never attains a fixed value with the advancement of time [32]. In predator-prey model, the random fluctuations are also undeniably arising from either environmental variability or internal species. For example, the birth and death processes of individuals are intrinsically stochastic fluctuations which become especially pronounced when the number of individuals is small [33]. Recent advances in stochastic differential equations enable a lot of authors to introduce stochastic factor into the model of physical phenomena, whether it is a random noise in the system of differential equations or environmental fluctuations in parameters [3445].

Based upon these factors, to the best of our knowledge, a small amount of work has been done with stochastic perturbation on a modified Holling type-II predator-prey model which has an Allee effect on prey population and density-dependence of predator population. The purpose of this paper is to study that the stochastic factor has a significant effect on the dynamics of Holling type-II predator-prey model with an Allee effect and density-dependence. The organization of this paper is as follows. In the next section, we present the formulation of mathematical model with Allee effect, density-dependence, and environmental noise. Moreover, we present a qualitative analysis of the stochastic model. In Section 3, we use numerical simulations to reveal the influence of noise on the dynamical behavior of the model. A brief discussion is given in Section 4.

2. The Model and Analysis

In this paper, we present a Holling type-II predator-prey model that includes some important factors such as an Allee effect on prey population, density-dependence of predator population, and environmental noise. Assuming that the random factors in the environment would display themselves mainly as fluctuations on the intrinsic growth rates of prey and predator, then the stochastic modified Holling type-II predation model takes the following form:

Here, we replace the intrinsic growth rates (>0) and (>0) of prey and predator by

In the above model, and represent prey and predator densities at time , respectively. is the term of additive Allee effect and and are Allee effect constants. If , the function of prey growth rate with the Allee effect of the prey is called weak Allee effect; if , the modified function of prey growth rate is strong Allee effect. stands for the density-dependence of predator population and . (>0) is the predation rate, (>0) the half-saturation density of Holling type-II functional response, and (>0) the predator death rate. The positive constants and , respectively, are the coefficients of the effect of the environmental stochastic perturbation on the prey and on the predator population. is a standard white noise with increment that is independent Gaussian random variables . That is to say,    is a Brownian motion defined on a complete probability space with a filtration satisfying the usual conditions; namely, it is right continuous and increasing while contains all -null sets [46].

Consider model (1) as an Itô stochastic differential system of the type where and the solution    is an Itô process, is a slowly varying continuous component or drift coefficient, and is the rapidly varying continuous random component or diffusion coefficient [46].

2.1. Existence of Global Positive Solutions

For a stochastic differential equation, in order to have a unique global solution (i.e., no explosion in a finite time) for any given initial value, the coefficients of the equation are generally required to satisfy the linear growth condition and local Lipschitz condition [46]. To show that model (1) has a global positive solution, let us firstly prove that the model has a positive local solution by making the change of variables.

Theorem 1. There is a unique local solution for to model (1) a.s. for any given initial value , where is the explosion time.

Proof. Set , and we consider the equations on . Then we know that the coefficients of (2.1) satisfy the local Lipschitz condition, and there is a unique local solution on . By Itô’s formula, we can see that , is the unique positive local solution to model (1) with the initial value , .

Next, we show that the solution of model (1) is global; that is, a.s.

Theorem 2. For model (1) and any given initial value , there is a unique solution on and the solution will remain in with probability one.

Proof. Let be sufficiently large for and lying within the interval . For each integer , let us define a sequence of stopping times by where we set ( represents the empty set) in this paper. Since is nondecreasing as , there exists the limit Then Now, we need to show a.s. If this statement is violated, then there exist and such that Thus, there is an integer such that
Define a -function by which is a nonnegative function. If , by using Itô’s formula, we compute where , are positive numbers. Integrating both sides of the above inequality from to and taking the expectations give rise to Set and by inequality (10), we get . For every , and equal either or , hence It then follows from (13) that where is the indicator function of . Letting leads to the contradiction . This completes the proof.

2.2. Stochastic Boundedness

Theorem 3. For any , there is a positive constant , which is independent of initial value , such that the solution of model (1) has the property that

Proof. Define a function by For any , using Itô formula gives that as ; then, where is an integer. Hence,
Applying Itô formula yields Using the sequence of stopping times defined in the proof of Theorem 2 and from (21), we have Letting in the latter inequality with a fact that and a.s. and using Fatou’s lemma, we obtain Therefore,
On the other hand, since we obtain The proof is complete.

Theorem 4. The solutions of model (1) are stochastically ultimately bounded for any initial value .

Proof. The solutions of model (1) will remain in for all with probability one from Theorem 2. And by Theorem 3, let ; there is a such that For any , set . Then by Chebyshev inequality, That is, This completes the proof.

Next, we study the asymptotic properties of the moment solutions of model (1).

Theorem 5. For any given , there is a ; let be the solution of model (1) with any initial value ; then,

Proof. Set , and from Theorem 3, we have so, where is a positive number. Then where ; we can obtain That is, Set ; therefore,

2.3. Stochastic Asymptotic Stability

From Theorem 2, model (1) has a global positive solution. By constructing some Lyapunov functions, we analyze stochastic asymptotic stability of the positive equilibria of the stochastic model. The equilibria of the stochastic model (1) we consider are solutions of the following model: From (37), the positive equilibrium satisfies the equation As an example, we only give the proof of a positive equilibrium of model (1).

Theorem 6. Let and if , , then the equilibrium point of model (1) is stochastically asymptotically stable in ; that is, for any initial value , the solution of model (1) has the property that almost surely

Proof. Based on the theory of stability of stochastic differential equations [46], we only need to construct a Lyapunov function satisfying and the identity holds if and only if , where is the solution of the stochastic differential equation (3) and is the equilibrium point of model (3).
Define Lyapunov functions The nonnegativity of this function can be observed from on . If , applying Itô’s formula, we have Similarly, we obtain
Define and choose
We compute Let ; then, we have Clearly, if and hold, then the above inequality implies along all trajectories in the first quadrant except . Then the desired assertion (41) follows immediately.

3. Numerical Simulations

In this section, we perform extensive numerical simulations of model (1) to confirm the analytical results by referring to the method mentioned in Higham [47]. Next, we consider the discretization equations where and are the Gaussian random variables .

When choosing the environmental noise intensities (i.e., without noise), under the weak Allee effect, Figure 1 shows time-series plots and phase portraits of prey population and predator population of model (1) with initial value and other parameters values , , , , , , and . In Figure 1(a), with the Allee effect , one can see that a positive equilibrium point of model (1) is globally asymptotically stable, which illustrates the stable population distribution of both species. In Figure 1(b), increasing to , a stable limit cycle occurs which indicates that prey population coexist with predator population with oscillator balance behavior.

Figure 2 shows time-series plots for model (1) with , , , , , , , and and initial condition . The only difference between conditions of Figures 2(a) and 2(b) is that the values of environmental noise intensities and are different. As pointed out in Theorem 6, if those conditions hold, then the positive equilibrium point is stochastically asymptotically stable in . In Figure 2(a), we choose and the conditions of Theorem 6 are satisfied. That is to say, the equilibrium point is stochastically asymptotically stable. In Figure 2(b), choosing and , one can see that two species and will die out. In other words, when the environmental noise intensities are large and violate the conditions of Theorem 6, the positive equilibrium is no longer globally stable and not permanent.

By comparing Figure 1(a) and Figure 2(a), one can realize that if the noise is not strong, the stochastic perturbation does not cause sharp changes of the dynamics of model (1). However, when the environmental noise is sufficiently large (see Figure 2(b)), the noise can force the population to become extinct.

4. Conclusions and Remarks

In this paper, we propose a stochastic version of a modified Holling type-II predator-prey model with an Allee effect in prey population and take into account density-dependence of predator population. We perturb the model with respect to white noise around its intrinsic growth rate of the prey and predator population, respectively. By constructing suitable Lyapunov functions and applying Itô formula, some qualitative properties are given, such as the existence of global positive solutions, stochastic boundedness, and stochastic asymptotic stability which means that in the biological point of view, the community consisting of both prey and predator species is a stable biotic community where all species will coexist.

To our knowledge, the stability analysis of the stochastic Holling type-II predator-prey model with the Allee effect and density-dependence we illustrated here appears to be rare. And our complete analysis of the stochastic predator-prey model will give some suggestions to other models.


The author would like to thank the editor and the anonymous referees for their helpful comments and suggestions.