Abstract

A predator-prey model is studied mathematically and numerically. The aim is to explore how some key factors influence dynamic evolutionary mechanism of steady conversion and bifurcation behavior in predator-prey model. The theoretical works have been pursuing the investigation of the existence and stability of the equilibria, as well as the occurrence of bifurcation behaviors (transcritical bifurcation, saddle-node bifurcation, and Hopf bifurcation), which can deduce a standard parameter controlled relationship and in turn provide a theoretical basis for the numerical simulation. Numerical analysis ensures reliability of the theoretical results and illustrates that three stable equilibria will arise simultaneously in the model. It testifies the existence of Bogdanov-Takens bifurcation, too. It should also be stressed that the dynamic evolutionary mechanism of steady conversion and bifurcation behavior mainly depend on a specific key parameter. In a word, all these results are expected to be of use in the study of the dynamic complexity of ecosystems.

1. Introduction

The dynamical behaviors between different populations and their complex properties have been given close attention by biologists and ecologists. Since the pioneering work of Lotka and Volterra, the research interest in predator-prey dynamics has achieved constant attention. It is well known that these models can directly reflect changes in the size of populations. Considerable improvements are that the relevant theories become more and more complete in this category in recent years [15].

The predator-prey models have extensive applicability in the field of biological problems. The biologist can use them to study the relationship between species in different domains [610]. Yang and Zhao [11] have established a fish-algae consumption model to explore how to apply the complex dynamics between fish-algae populations to expound the mechanism of algae blooms; these results will be helpful in controlling algae bloom. González-Olivares and Rojas-Palma [12] have established a Gause type predator-prey model with Allee effects and considered three standard functional responses, respectively. They found that different types of functional responses will lead to a model’s dynamic behavior change. Their results perfectly explore that the expression of one interaction term has a significant effect on the stability and persistence of the population model, which is meaningful in establishing biological mathematical model. Dhar et al. [13] have proposed a mathematical model to study how instantaneous nutrient recycling affects the dynamic characteristic of aquatic ecosystem. The nutrient supply rate was found to affect the local stability of equilibrium; this work was significant for models involving flowing waters. Luo [14] has considered a mathematical model to study how the periodic environment influences the internal operating characteristics of the aquatic ecosystem. He pointed out that the temperature has a certain time periodicity, the fluctuation of temperature can lead to changes in intrinsic carrying capacity, and the growth rate of prey populations can also be influenced by time periodicity; these results in [14] are more accordant with the actual situation.

It is a common phenomenon in nature that one predator lives on multiple prey species. To address this issue, some researchers have begun to consider alternative prey to depict the dynamic predator mechanism [1518]. It is easy to find out that alternative prey can variously affect the dynamic capture feature. On one hand, alternative prey can increase the predation quantity for the focal prey, because more prey biomass may result in higher predation rates for both prey items. On the other hand, the alternative prey population can also lower predation on the focal prey because of predator preference for the alternative prey resources [19]. At the same time, many studies show that the alternative population can intensively influence the dynamic behavior of the aquatic ecosystem [20, 21]. Based on this mechanism, Kar and Chattopadhyay [22] have developed a two-species predator-prey model which includes the effect of alternative prey. The model can be depicted aswhere and represent prey and predator population densities or biomass at time , respectively. Here, stands for the intrinsic growth rate of the prey without any environment limitations, is the environmental carrying capacity of the prey in the absence of the predator, is the Holling type-II functional response [23], which is used to depict the average feeding rate of the predator when the predator spends time seeking prey, where is the half saturation constant for the Holling type-II, is the grazing rate of the predator population, and are the conversional rate and mortality rate of predator, respectively, and indicates the portion of biomass of predator increments from the alternative prey, where represents the growth rate of the predator on account of the alternative prey. From the formula, we can see that when the quantity of focal prey approaches the environmental carrying capacity , the amount of alternative prey consumed by the predator will tend to be zero [24].

The concept of Allee effect was firstly derived from the research of Allee and Bowen [25]. Since then, the Allee effect received the attention of many researchers [2629]. Allee effects can be roughly classified into two types: strong and weak [30]. For these two forms, there is a critical value that is referred to as the Allee threshold, respectively. The fist form means that if the population size is below the threshold, the species will become extinct. When the growth rate gradually decreases but remains positive with a low population size, the Allee effect is described as weak. Aulisa and Jang [31] have established a continuous-time predator-prey model to study influences in dynamical behaviors when the prey population possesses Allee effect. They pointed out that both species will become extinct if the prey population size falls below a certain threshold. Pan et al. [32] have considered a reaction-diffusion phytoplankton-zooplankton model with double Allee effects on prey population. They pointed out that the Allee effects can make the dynamical behaviors of a system increasingly complex.

The strong Allee effect can be depicted by the following form:where is Allee effect threshold. If population density or size is below the threshold, this population is doomed to extinction. Here , the other parameters’ significance is the same as model (1).

Now we will establish a predator-prey model with strong Allee effects:

The parameters are all greater than zero and have the same significance as above. For simplicity, we write the above model in dimensionless form as follows: we take the scaling , , and ; then, model (3) can be simplified aswhere ,  ,  ,  ,  , and apparently .

In the succedent subsections of this paper, we introduce the problem of determining the number of equilibria. Stability analysis of equilibrium point is also presented. Then, we provide a demonstration of several types of bifurcation and give a set of parameter values to prove the existence of Bogdanov-Takens (BT) bifurcation. In Section 3, numerical simulations are given to illustrate the theoretical analysis results, followed by conclusions in Section 4.

2. Qualitative Analysis

2.1. Equilibria

In this subsection, we mainly concentrate on the existence of positive equilibrium of model (4a) and (4b). Model (4a) and (4b) has three boundary equilibria: , , and and they are always existent. The interior equilibria are the intersection points of the vertical isocline and horizontal isocline in the interior of the first quadrant. The expressions of vertical and horizontal isoclines are as follows:

The horizontal isocline is vertical line and the number of perpendiculars is decided by (5b). We denote (5b) by , where . have the same solutions as (5b), and two solutions exist in the equation at most. We denoted them by and , where . From the geometric properties of isoclines we can know that model (4a) and (4b) has interior equilibrium points if and only if or . Then, the maximum number of equilibria for model (4a) and (4b) is five. We use and to signify the interior equilibria, the existence and stability of which are shown as follows.

The Jacobian matrix of model (4a) and (4b) at the equilibrium point is

Theorem 1. (1) is an asymptotically stable node point if and a saddle point for ; if , it is a high order singularity. The Jacobian matrix around shows that(2) is a asymptotically stable node point when while it is a saddle point when . The Jacobian matrix around is (3) is always unstable. The Jacobian matrix around isOne of the eigenvalues is , so is unstable.

Theorem 2. If and hold, model (4a) and (4b) has only one interior equilibrium . Furthermore, is always unstable, especially when ; it is a high-order singularity, where

Proof. According to (6),Let ; substituting (11a) into , we getThen, we know when and , is a saddle point or a high-order singularity.

Theorem 3. If and , model (4a) and (4b) has only one interior equilibrium . Furthermore, is locally asymptotically stable when , where and

Proof. According to (6), Imitating the proof of Theorem 2, we can knowthen, , which means two eigenvalues have the same sign.
Since Solving , we can get that there exists a set , such that for all , where . Then, we know that if , and both eigenvalues of have negative real parts, and is locally asymptotically stable.
From the above discussion, we find that model (4a) and (4b) may possess two interior equilibria and simultaneously if ,  ,   , and . The stability condition of is still .
Considering the existence and stability conditions integrated, we know that there will appear three stable equilibria synchronously if the scope of those parameters satisfies the above conditions. Based on the above demonstration, some cases where the stability of equilibria may occur are cited in Table 1, where the existence of equilibria is classified according to the magnitude of and .

2.2. Local Bifurcation

From Table 1 we know that the variation of parameter value will lead to the number change of interior equilibria. We take as variable parameter and find that changing the value of will vary equilibrium’s number; when the value of increases across the threshold , the interior equilibrium bifurcates from , and when the value of is across , another interior equilibrium can bifurcate from . Then, there exist two transcritical bifurcations, which are denoted by TC1 and TC2, respectively.

Theorem 4. (1) Model (4a) and (4b) undergoes transcritical bifurcation at when the value of parameter equals the transcritical bifurcation threshold .
(2) Model (4a) and (4b) undergoes another transcritical bifurcation at when the value of parameter equals the transcritical bifurcation threshold .

Proof. It can be easily seen that coincides with when . According to the theorems in [33, 34], it can be found that one interior equilibrium point branches off from when passes the threshold and also conforms with the transversality condition for transcritical bifurcation. The same notation we followed in this paper is mentioned in [33].
We can calculate the value of Jacobian matrix of model (4a) and (4b) as , and then is a nonhyperbolic equilibrium point when . Let the eigenvectors and indicate the eigenvectors corresponding to zero eigenvalues of and , respectively. Next the transversality conditions for the transcritical bifurcation are satisfied be verified,where :We notice that and if and then the transcritical bifurcation is supercritical, which means that an interior equilibrium point arises through under this condition. Another aspect is that if , the transcritical bifurcation is subcritical and an interior equilibrium vanishes across .
In the following, we demonstrate that another interior equilibrium point bifurcates from through transcritical bifurcation at the threshold . Similarly, we can get , , and are the eigenvectors corresponding to and , respectively. We have If and , the transcritical bifurcation is supercritical and an interior equilibrium point appears across under this condition. Another aspect is that if , the transcritical bifurcation is subcritical and an interior equilibrium vanishes across .

Theorem 5. Model (4a) and (4b) undergoes saddle-node bifurcation when , where .

Proof. It is easy to calculate that the discriminant of is equal to zero when , which means has a twofold root. We denote this root by . Model (4a) and (4b) has only one interior equilibrium point correspondingly and the constituents are given by The Jacobian matrix evaluate at is given by where . Obviously, matrix has a double zero eigenvalues when . We can count out the eigenvectors corresponding to the zero eigenvalue, which are and . Utilizing the expressions of vectors and , as well as , we can get Given the value range of , we know that cannot be equal to zero. Then, by Sotomayor’s theorem we can prove that the model undergoes a saddle-node bifurcation when the parameter goes via the critical threshold .

Theorem 6. In the case of , the interior equilibrium point changes its stability through the Hopf-bifurcation at the threshold , where .

Proof. Because the interior equilibrium point is always a saddle, then Hopf bifurcation can only take place at . Parameter can drive equilibrium into an unstable state when , so is the critical value where the stability of changes. Next we will prove the necessary condition for Hopf bifurcation to occur. To testify the transversality condition of the Hopf bifurcation of the model’s solution, we take , where is an eigenvalue of the Jacobian matrix . If the Hopf bifurcation occurs at , is a purely imaginary number, such that , , and . Substituting by , we can get Using (16), we know and . Then, the transversality condition of a Hopf bifurcation is satisfied [35].

Theorem 7. Model (4a) and (4b) undergoes a Bogdanov-Takens (BT) bifurcation of codimension two.
As we know, and are the necessary conditions of the occurrence of Hopf and saddle-node, respectively. If both Hopf and saddle-node conditions hold, there will be a new bifurcation called Bogdanov-Takens bifurcation. In this situation, the Jacobian matrix has a double zero eigenvalue [36]. Since the explicitly analytical expressions for thresholds of BT bifurcation are quite difficult to determine, we give a numerical example to confirm the system exhibit BTs bifurcation. We fix , , and . We find that, at , and . Moreover, and ; these expressions prove the transversality conditions for a BT bifurcation [37].

3. Numerical Results

In order to verify the correctness and feasibility of the theoretical results, a series of numerical simulations will be depicted in detail. Many phase diagrams are given to display the dynamics properties of model (4a) and (4b), which are based on pplane8 routines [38] in Matlab 7.1. In fact, according to [39], we can know pplane8 is a powerful tool for studying planar autonomous systems of differential equations, which can rapidly and accurately draw trajectories of each phase plane, count each critical point, and correctly characterize each equilibrium point of the studied systems. It is easy to find from Table 1 that model (4a) and (4b) only has an interior equilibrium point if ; then, the premise of parametric ranges in Figure 1 is . It should be pointed out from Figure 1(a) that two vertical lines passing through points and are the transcritical bifurcation curves, which have been named TC1 and TC2, respectively. Furthermore, if is feasible, that is to say, model (4a) and (4b) does not have any interior equilibrium point when the value of is positioned within region I of Figure 1(a), three boundary equilibria , , and exist.   is asymptotically stable, while and are unstable, the results of which have been shown in Figure 2(a) (). We know those three boundary equilibria , , and always exist no matter what the value of is. Thus, in the following cases we do not introduce the existence of boundary equilibria separately. However, if the value of is gradually increasing across the transcritical bifurcation TC1 and finally enters into region II, model (4a) and (4b) has an interior equilibrium point . It is worth emphasizing that the critical value of transcritical bifurcation is and the interior equilibrium point is a saddle point, boundary equilibria and are stable, and is an unstable node point, which has been shown in Figure 2(b) (). As the value of gradually increases to , which is a critical value of another transcritical bifurcation and finally enters into region III, model (4a) and (4b) has two interior equilibria and , which are unstable; and are stable, and is a saddle point (see Figure 2(c), ).

To further fully explore the existence of the equilibria and the occurrence of the bifurcation behavior in model (4a) and (4b), we take another set of parameter values in Figure 1(b) and repeat the steps in Figure 1(a). The bifurcation diagram in Figure 1(b) has been depicted in detail as follows. It is obvious to find that model (4a) and (4b) has an interior equilibrium point if the value of exceeds the threshold value , which is transcritical bifurcation threshold TC3. It is worthwhile to point out that the interior equilibrium point is unstable on the account of . The boundary equilibrium is stable, and and are saddle points (see Figure 2(d), ). We take another set of parameters values as the supplement to display the case that there exists only one interior equilibrium point and it is locally asymptotically stable (see Figure 3(a)), where and are saddle points, and are stable, and . Furthermore, if the value of increases beyond the threshold value of transcritical bifurcation threshold and finally enters into region V, te model (4a) and (4b) has three boundary equilibria , , and and two interior equilibria and (see Figure 2(e), ). It is necessary to underline that and are stable and , so the interior equilibria and are all unstable.

In order to clearly explore the steady characteristic of the interior equilibrium point , Figure 1(c) will be given, which is the partially enlarged view of Figure 1(b). It should be stressed that the interior equilibrium will change the stable state if the value of increased beyond the line L1 and finally enters into region VI, which suggests that a Hopf bifurcation can lead to the appearance of a limit cycle in the vicinity of the interior equilibrium if (see Figure 2(f)). From Figure 2(f), we can observe that this limit cycle around is stable as it attracts two neighboring trajectories: the trajectory (bottle green curve) lying inside the limit cycle and the trajectory (blue curve) lying outside; these two trajectories move ectad and entad, respectively, and converge on the limit cycle. But at this time the interior equilibrium point and boundary equilibrium point are unstable, and and are stable. When the value of enters into domain VI, becomes stable, remains unstable, and and are all stable in this domain. Thus, it is interesting to know that model (4a) and (4b) will show three stationary phenomenon (see Figure 2(g), ). Due to the parameter values, the nature of and only can be seen clearly on the enlarged view (see Figure 2(g)). Therefore, we take another group of values to exhibit the three stable states in overall view in Figure 3(b). If the value of gradually increases and reaches , it is easy to find that and coincide at line L2 and the coincident point is called saddle-node point, which has features of both saddle and node points (see Figure 2(h)). However, it will disappear if the value of is increased higher than , which signifies that model (4a) and (4b) will undergo a saddle-node bifurcation if the value of increases across the threshold value . In a word, it is worthy of our summary that model (4a) and (4b) can show a complex dynamic evolutionary process of steady conversion and bifurcation behavior with increase of key parameter .

In addition, model (4a) and (4b) has three boundary equilibria , , and and an interior equilibrium point , which is unstable if or . However, it is worth stressing that the boundary equilibrium point is a saddle point if and is an unstable high-order singularity if (see Figures 4(a) and 4(b)). At the same time, it can be known from Theorem 7 that model (4a) and (4b) can undergo a Bogdanov-Takens bifurcation if and , which is shown in Figure 4(c).

Based on the above analysis, the key parameter can impose influence on dynamic evolutionary mechanism of steady conversion and bifurcation behavior and lead to model (4a) and (4b) having three stationary phenomena and multiple bifurcation behaviors, which can in turn prove that the theoretical results are correct and the complex dynamics of model (4a) and (4b) mainly depend on some key parameters. Moreover, these results show that the method of using mathematical model to study the ecological problems is feasible.

4. Conclusions

On the basis of the theories and methods of ecology, a predator-prey model is studied numerically and analytically in this paper. The aim is to probe how some key factors influence dynamic evolutionary mechanism of steady conversion and bifurcation behavior in predator-prey model. The theoretical works have been promoting the investigation of the existence and stability of the equilibria, as well as some conditions of some bifurcations behaviors, such as transcritical bifurcation, saddle-node bifurcation, and Hopf bifurcation, which can deduce a standard parameter controlled relationship and in turn provide a theoretical basis for the numerical simulation.

Numerical analysis indicates that the dynamic evolutionary mechanism of steady conversion and bifurcation behavior mainly depend on a specific key parameter . Within this framework, the direct and indirect effects caused by the specific key parameter are investigated by means of bifurcation analysis and phase diagram. It is obvious to find that the existence and stability of interior equilibria and mainly depend on a key parameter . These results suggest that the key parameter plays an important role in the prey-predator model. In addition, when the value of the key parameter is larger than some critical value, the model can possess multiple bifurcation behaviors, such as transcritical bifurcation, saddle-node bifurcation, and Hopf bifurcation. Thus, it is worthwhile to remark that the key parameter has a profound effect on the population bifurcation dynamical behaviors. In a word, some key parameters can alter population dynamics and features in prey-predator model. In addition, it is our hope that all these results can be applied in the study of the dynamic complexity of ecosystems.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the National Key Basic Research Program of China (973 Program, Grant no. 2012CB426510), by the National Natural Science Foundation of China (Grant no. 31370381), and by the Key Program of Zhejiang Provincial Natural Science Foundation of China (Grant no. LZ12C03001).