- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 592547, 10 pages
Global Stability and Bifurcations of a Diffusive Ratio-Dependent Holling-Tanner System
College of Science, China University of Petroleum (East China), Qingdao, Shandong 266580, China
Received 8 May 2013; Accepted 17 July 2013
Academic Editor: Chun-Lei Tang
Copyright © 2013 Wenjie Zuo. 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.
The dynamics of a diffusive ratio-dependent Holling-Tanner predator-prey system subject to Neumann boundary conditions are considered. By choosing the ratio of intrinsic growth rates of predators to preys as a bifurcation parameter, the existence and stability of spatially homogeneous and nonhomogeneous Hopf bifurcations and steady state bifurcation are investigated in detail. Meanwhile, we show that Turing instability takes place at a certain critical value; that is, the stationary solution becomes unstable induced by diffusion. Particularly, the sufficient conditions of the global stability of the positive constant coexistence are given by the upper-lower solutions method.
Predator-prey systems describing the interaction between two species with positive-negative feedbacks continue to arouse the interest of applied mathematicians and ecologists. The functional response is the important component depicting the predator-prey relationship . In order to better characterize the ecological interaction such as lynx and hare and sparrow and sparrow hawk especially by Tanner  and Wollkind et al. , May developed the so-called Holling-Tanner predator-prey model  which takes the following form: where , stand for the prey and the predator densities, respectively. And in ecological senses, , , , , , are positive constants which denote prey intrinsic growth rate, carrying capacity, capturing rate, half capturing saturation constant, predator intrinsic growth rate, and conversion rate of prey into predator, respectively. The functional response is of Michaelis-Menten type in enzyme-substrate kinetics, proposed by Holling .
Hsu and Huang  proved the global stability of the positive equilibrium of System (1) by applying the Dulac’s criterion and constructing Lyapunov function. Gasull et al.  showed that the stable positive equilibrium is surrounded by two limit cycles. Thus, the local stability does not imply the global stability.
Spatial diffusion is ubiquitous. Assuming the preys and the predators are in an isolate patch, I neglect the impact of migration, including immigration and emigration, and only consider the diffusion of the spatial domain. It has been shown that the diffusion can generate the more rich spatiotemporal complex [8–10]. A diffusive Holling-Tanner predator-prey system is as follows: Ma and Li  investigated the existence of Hopf bifurcation and the steady state bifurcations of simple and double eigenvalues of System (2). Peng and Wang  proved the global stability of the unique positive equilibrium of System (2) under certain hypothesis by constructing Lyapunov function. Chen and Shi  improved the results given in .
Some biologists have questioned the functional response solely depending on the prey density [14–16], especially when predators have to search for food, (and therefore have to share or compete for food). Numerous fields and laboratory experiments have revealed that a more reasonable functional response should be the so-called ratio-dependent predator-prey theory [14, 15], which can be strongly stated as that the per capita predator growth rate should be the function of the ratio of predator abundance. A predator-prey system with the ratio-dependent functional response can exhibit rich dynamics [17, 18].
In this paper, we consider the following diffusive ratio-dependent Holling-Tanner predator-prey system: M. Banerjee and S. Banerjee  examined the existence of Turing and non-Turing patterns of System (3) by numerical simulations and revealed the fact that Hopf bifurcation is essential for spatiotemporal chaos. Liang and Pan  established the global stability of positive equilibrium of System (3) without diffusion by constructing Lyapunov function and obtained the uniqueness of the limit cycle.
My work is the extension of [11, 19]. In addition, what is more important in ecosystem is whether the species would coexist in the long run; that is, whether the positive equilibrium is globally asymptotically stable. In this paper, we aim to study Hopf bifurcations and steady state bifurcations induced by intrinsic growth rate and Turing instability induced by diffusion. Particularly, the global stability of the unique positive equilibrium is obtained by the upper-lower solutions method under certain conditions. Simulations are carried out to strongly support the theoretical results.
The rest of the paper is organized as follows. In Section 2, the instability of the semitrivial equilibrium and the local stability of the positive coexistence of system (3) are studied by the distribution of eigenvalues. And the existence, stability, and direction of Hopf bifurcations are investigated in detail as the intrinsic growth rate crosses the critical value. Turing bifurcation induced by diffusion takes place at the certain critical values. In Section 3, the steady state bifurcations are considered with as the bifurcation parameter and the interaction of Hopf bifurcation and steady state bifurcation are discussed. In Section 4, the global stability of the unique positive coexistence is proved by the upper-lower solutions method.
2. Hopf Bifurcations and Turing Bifurcations
For simplicity of later discussion, we suppose that . Introducing the following dimensionless variables: System (3) can be transformed into where , , , .
It is easy to check that System (5) has always a boundary equilibrium and has a positive constant coexistence if and only if , where The characteristic equations of the linearization of (5) at are given by Thus, Hence, is always unstable since (7) has at least a positive root . Next we study the local stability of the positive steady state and the existence of bifurcations.
2.1. Stability of the Positive Coexistence and Hopf Bifurcations
The linearized operator of System (5) at is as follows: The characteristic equations corresponding to are where where .
Obviously, if , then , , which implies that all the roots of (10) are negative real-part. Thus the unique positive constant equilibrium is locally asymptotically stable.
Indeed, in Section 4, we can prove the global stability of the unique positive coexistence under the stronger conditions. Next, we will seek all the possible Hopf bifurcation values , so we assume holds.
We will identify Hopf bifurcation value which satisfies From (11), , for all , which means that the possible Hopf bifurcation points belong to the interval . For any Hopf bifurcation point , are a pair of conjugate eigenvalues of near , where and .
Hence, all Hopf bifurcation points reduce to the following set: Obviously, is equivalent to where . Since , there exists such that , , and , , .
Clearly, , for all . And for , We discuss , for all in two cases.
Case 1. We can choose small enough such that , that is, for , , where
Case 2. When ,
In order that for all , we only need . Thus, .
Summarizing the above analysis results, we draw our main conclusion in this subsection.
Theorem 1. Suppose and , hold. If there exists such that , or , where and are defined by (18) and (19), respectively. Then for System (5), the following results are true:(1)The positive constant steady state is locally asymptotically stable for and unstable for ;(2)System (5) undergoes a Hopf bifurcation at (defined by (15)) and the bifurcating periodic solutions can be parameterized into the following forms: Furthermore, the periodic solutions bifurcating from at are spatially homogeneous. And bifurcating periodic solutions from , () are spatially inhomogeneous.
Next we only consider the direction and stability of Hopf bifurcation at .
Theorem 2. For the System (5), the Hopf bifurcations at are backward, and the bifurcating periodic solutions are locally asymptotically stable.
Proof. Here we apply the notations and calculations in [9, 21], we put
such that and , where .
Recall that in our context,
By direct computation, it follows that and Hence, it is direct to calculate, by (24) and (25), which implies that . Thus, . Therefore, by (25) and , we can obtain that Since , then the bifurcating periodic solutions are backward and exist for . And combining , for all , we can obtain that the bifurcating periodic solutions are asymptotically stable since .
Next, we give an example to illustrate the theoretical results above.
Example 3. Taking , System (5) has a unique positive constant steady state . Obviously, , . By the formula above, we obtain . And . Thus, . By Theorems 1 and 2, is asymptotically stable for as illustrated in Figures 1(a) and 1(b). When crosses through the critical value, losses its stability and a family of periodic solutions appear and are asymptotically stable since as illustrated in Figures 2(a) and 2(b).
We can compute the direction and stability of bifurcating periodic solutions by the same way as Theorem 2 and omit it here. Combining the stability theory, we have the following results.
2.2. Turing Instability Induced by Diffusion
In this subsection, we consider Turing instability with diffusion effect. As mentioned earlier, when , , for all . Hence, no Turing instability occurs. Next we always confine .
When System (5) has no diffusion, the characteristic equation (10) at can be transformed into Then all the roots of (28) are negative real part if . Combining the stability theory , we easily know that the unique positive equilibrium of System (5) without diffusion is asymptotically stable for and unstable for . In the following, we mainly consider the occurrence of Turing instability induced by diffusion. Hence we confine . That is, is locally asymptotically stable without diffusion effect.
It is well-known that is unstable if the characteristic equation (10) has at least a positive real-part root. Notice when , , for all . The necessary condition of the instability of the equlibirium of System (5) is for some .
Recall where .
Hence we need and . That is, . Otherwise, for all .
Obviously, has two positive roots since where If we can find some such that . Then . That is, . The constant positive coexistence is unstable. Hence, we draw the following conclusions.
Theorem 5. Assume that , , , and , hold. Then is unstable for . That is, Turing instability occurs if
3. Steady State Bifurcations
In this section, we still choose as the main bifurcation parameter with positive constants and study the existence of the steady state bifurcation points. The steady state solutions of System (5) satisfy the following elliptic system: System (33) has a unique positive constant coexistence if and only if . By the same way as Section 2.1, the characteristic equation of the linearization of (33) at is where are defined by (11).
Next we identify all the possible steady state bifurcation points by  which satisfy the following conditions: For convenience, we rewrite where .
Obviously, , for all for . Hence the potential steady state bifurcation points set is as follows: with , , , fixed.
Thus has two roots as Let Since , has two positive roots as By , hence . That is, when , , for all . No steady state bifurcation occurs. Then the potential steady state bifurcation points reduce to the following set: with , , , fixed.
Next, the properties of are discussed and direct computation can obtain the following results.
Lemma 6. Suppose that , hold. When , is decreasing on and is increasing on . Furthermore,
From the properties of , if , then there exists a unique such that Thus, .
Define . Then for any , there exists a unique such that or .
are potential steady state bifurcation values. But it is possible that for some and such that . In this case, is a double eigenvalue of for . In addition, it is also possible that . Hence, the dimension of center manifold at can be as high as .
Next we will prove that there are only countable many , in fact only finitely many for any given , such that , for some . Let , be polynomials of and . Hence, on -plane, , are finitely many analytic curves. We fix , so for any , there are only finitely many such that . So have at most only finitely many intersection points. Thus the intersection points of different in are at most countable. Define
We assume that , and thus is a simple eigenvalue. And Obviously, , for all .
Summarizing the above, we can obtain the main results in this section.
Theorem 7. Suppose that are positive constants and , hold. are defined as (38) and .
If for some , , there exactly exists one point , such that or , where . Then there is a smooth curve of positive solutions of (33) bifurcating from . Moreover, near , , where for for some smooth function such that and . Here satisfy .
In the following, we will discuss the interaction between the Hopf and steady state bifurcation points. All possible Hopf bifurcation points are identified in Section 2.1 and all possible steady state bifurcation points can be identified in Section 3. And it has previously shown that at most countable such that or for some . Hence high-dimensional center manifold from is still possible. We do not consider it here. We assume , Hopf bifurcations, and steady state bifurcation points may occur at this points in the following four cases.
Case 1. Neither nor exists, and then there is no bifurcation points;
Case 2. exists but not , and then there is one steady state bifurcation point and no Hopf bifurcation point.
Case 3. Both and exist, and then(a); then there is one steady state bifurcation point and no Hopf bifurcation since ;(b); then there is one steady state bifurcation point and one Hopf bifurcation.
Case 4. exists but no , then there is no steady state bifurcation point and one Hopf bifurcation.
Example 8. In Figure 3, for and , Case 1 occurs, and there are no bifurcation points. For , Case 2 occurs, and there exists 3 steady state bifurcation points and no Hopf bifurcation points. For , Case 3 (a) occurs, and there is one steady state bifurcation point and no Hopf bifurcation points since . For , Case 3 (b) occurs, and there exists 13 Hopf bifurcation points and 13 steady state bifurcation points. For , Case 4 occurs, and there exists one Hopf bifurcation point and no steady state bifurcation points.
4. Global Stability of the Positive Coexistence
Theorem 9. Assume that are positive constants and . Then for system (5), the positive constant equilibrium is globally asymptotically stable if or . That is, for any initial values , if
Proof. It is well known that if and satisfies
then uniformly in .
We can choose satisfying By the first equation of (5), we have By the comparison principle of the parabolic equation, we obtain Then there exists such that , for all , . Thus, by the second equation of (5), By the comparison principle again, . There exists such that , for all .
On the other hand, By the comparison principle, , since . Thus, there exists such that , for all . Again in turn this implies Hence, . There exists such that since (51) holds. Therefore, for , , for all and satisfy Equation (58) implies that and are a pair of upper and lower solutions of system (5), respectively (see [23, 24]). It is obvious that there exists such that for any , , We construct the iteration sequences and , satisfy where , . Then by (58) we can obtain Then there exist and such that and . And According to (63), we have By (64), we can obtain If we assume that , then Substituting (66) into (64) and simplifying, we can obtain Thus the quadratic equation has two different positive roots and .
On the other hand, when or , where are two roots of (68). Thus (68) cannot have two positive roots.
When , (68) becomes a linear equation and has at most one real root. This contradicts the above. Hence, . Similarly, . Then from the results in [23, 24], the solution of System (5) satisfies
The author wish to express his special gratitude to the reviewers and the editor for their valuable comments and suggestions that led to a truly significant improvement of the paper. This research is partially supported by Shandong Provincial Natural Science Foundation, China (no. ZR2011AQ017), and by the Fundamental Research Funds for the Central Universities (nos. 13CX02011A and 12CX04081A).
- G. Guo and J. Wu, “The effect of mutual interference between predators on a predator-prey model with diffusion,” Journal of Mathematical Analysis and Applications, vol. 389, no. 1, pp. 179–194, 2012.
- J. Tanner, “The stability and the intrinstic growth rates of prey and predator populations,” Ecology, vol. 56, pp. 855–867, 1975.
- D. J. Wollkind, J. B. Collings, and J. A. Logan, “Metastability in a temperature-dependent model system for predator-prey mite outbreak interactions on fruit trees,” Bulletin of Mathematical Biology, vol. 50, no. 4, pp. 379–409, 1988.
- E. Sáez and E. González-Olivares, “Dynamics of a predator-prey model,” SIAM Journal on Applied Mathematics, vol. 59, no. 5, pp. 1867–1878, 1999.
- C. S. Holling, “The functional response of predator to prey density and its role in mimicry and population regulation,” Memoirs of the Entomological Society of Canada, vol. 45, pp. 1–69, 1965.
- S. B. Hsu and T. W. Huang, “Global stability for a class of predator-prey systems,” SIAM Journal on Applied Mathematics, vol. 55, no. 3, pp. 763–783, 1995.
- A. Gasull, R. Kooij, and J. Torregrosa, “Limit cycles in the Holling-Tanner model,” Publicacions Matemàtiques, vol. 41, pp. 149–167, 1997.
- J. Shi and X. Wang, “On global bifurcation for quasilinear elliptic systems on bounded domains,” Journal of Differential Equations, vol. 246, no. 7, pp. 2788–2812, 2009.
- F. Yi, J. Wei, and J. Shi, “Bifurcation and spatiotemporal patterns in a homogeneous diffusive predator-prey system,” Journal of Differential Equations, vol. 246, no. 5, pp. 1944–1977, 2009.
- W. Zuo and J. Wei, “Multiple bifurcations and spatiotemporal patterns for a coupled two-cell Brusselator model,” Dynamics of Partial Differential Equations, vol. 8, no. 4, pp. 363–384, 2011.
- Z.-P. Ma and W.-T. Li, “Bifurcation analysis on a diffusive Holling-Tanner predator-prey model,” Applied Mathematical Modelling. Simulation and Computation for Engineering and Environmental Systems, vol. 37, no. 6, pp. 4371–4384, 2013.
- R. Peng and M. Wang, “Global stability of the equilibrium of a diffusive Holling-Tanner prey-predator model,” Applied Mathematics Letters, vol. 20, no. 6, pp. 664–670, 2007.
- S. Chen and J. Shi, “Global stability in a diffusive Holling-Tanner predator-prey model,” Applied Mathematics Letters, vol. 25, no. 3, pp. 614–618, 2012.
- R. Arditi and L. R. Ginzburg, “Coupling in predator-prey dynamics: ratio-dependence,” Journal of Theoretical Biology, vol. 139, no. 3, pp. 311–326, 1989.
- R. Arditi, L. R. Ginzburg, and H. R. Akcakaya, “Variation in plankton densities among lakes: a case for ratio-dependent models,” The American Naturalist, vol. 138, pp. 1287–1296, 1991.
- L. R. Ginzburg and H. R. Akcakaya, “Consequences of ratio-dependent predation for steady-state properties of ecosystems,” Ecology, vol. 73, no. 5, pp. 1536–1543, 1992.
- Q. Wang, Y. Zhang, Z. Wang, M. Ding, and H. Zhang, “Periodicity and attractivity of a ratio-dependent Leslie system with impulses,” Journal of Mathematical Analysis and Applications, vol. 376, no. 1, pp. 212–220, 2011.
- Q. Wang, Jizhou, Z. Wang, M. Ding, and H. Zhang, “Existence and attractivity of a periodic solution for a ratio-dependent Leslie system with feedback controls,” Nonlinear Analysis. Real World Applications, vol. 12, no. 1, pp. 24–33, 2011.
- M. Banerjee and S. Banerjee, “Turing instabilities and spatio-temporal chaos in ratio-dependent Holling-Tanner model,” Mathematical Biosciences, vol. 236, no. 1, pp. 64–76, 2012.
- Z. Liang and H. Pan, “Qualitative analysis of a ratio-dependent Holling-Tanner model,” Journal of Mathematical Analysis and Applications, vol. 334, no. 2, pp. 954–964, 2007.
- B. D. Hassard, N. D. Kazarinoff, and Y. H. Wan, Theory and Applications of Hopf Bifurcation, vol. 41, Cambridge University Press, Cambridge, UK, 1981.
- S. Ruan and J. Wei, “On the zeros of transcendental functions with applications to stability of delay differential equations with two delays,” Dynamics of Continuous, Discrete & Impulsive Systems A, vol. 10, no. 6, pp. 863–874, 2003.
- C. V. Pao, “On nonlinear reaction-diffusion systems,” Journal of Mathematical Analysis and Applications, vol. 87, no. 1, pp. 165–198, 1982.
- C. V. Pao, Nonlinear Parabolic and Elliptic Equations, Plenum Press, New York, NY, USA, 1992.