Existence of non-constant positive stationary solutions of the shadow predator-prey systems with Allee effect
© Bao and Liu; licensee Springer. 2014
Received: 23 April 2014
Accepted: 30 July 2014
Published: 15 August 2014
In this paper, we consider the dynamics of the shadow system of a kind of homogeneous diffusive predator-prey system with a strong Allee effect in prey. We mainly use the time-mapping methods to prove the existence and non-existence of the non-constant positive stationary solutions of the system in the one dimensional spatial domain. The problem is assumed to be subject to homogeneous Neumann boundary conditions.
Here and stand for the densities of the prey and predator at time and a spatial position with , respectively; are the diffusion coefficients of the species; d is the death rate of the predator, a measures the saturation effect, m is the strength of the interaction. The Allee threshold b is assumed to be smaller than 1. The strong Allee effect introduces a population threshold, and the population must surpass this threshold to grow. The boundary condition here is assumed to be homogeneous Neumann type, which implies that there is no flux for the populations on the boundary. For more details on the problem (1.1), we refer interested readers to [1–7] and references therein.
In , the authors considered the traveling wave solutions of system (1.1). More precisely, they showed that there is a non-negative traveling wave solution of system (1.1) connecting the semi-trivial solution and the positive equilibrium solution . They also proved that, under certain suitable conditions, there is a small traveling wave train solution of system (1.1).
In , the authors considered the non-existence of non-constant positive steady state solutions, and bifurcations of spatially homogeneous and non-homogeneous periodic solutions as well as non-constant steady state solutions are studied. These results allow for the phenomenon that the rich impact of the Allee effect essentially increases the system spatiotemporal complexity.
Although the existence and non-existence of non-constant steady state solutions of the system (1.1) has been considered in  for finite diffusion coefficients, no results have been reported to consider the existence and non-existence of the positive non-constant steady state solutions for the shadow system corresponding to the system (1.1). The shadow system we mentioned here stands for the system where one of the diffusion coefficients tends to infinity. The readers are referred to [9–11] for the earlier contributions on the shadow systems.
The methods we used in the paper are standard time-mapping methods (see  and references therein for precise details on time-mapping methods). We hope that the results in the paper will allow for a clearer understanding of the rich dynamics of this particular pattern formation system. In Section 2, we state the derivation of the shadow system of the original reaction-diffusion system (1.1). In Section 3, we study the existence of the non-constant stationary solutions of the shadow system; in Section 4, we end up our discussions by drawing some conclusions.
2 Derivation of the shadow system
Firstly, we state the following useful a priori estimate for the non-negative solutions of system (1.1) obtained in :
3 Existence of non-constant positive stationary solutions of the shadow system
In this section, we mainly concentrate on the existence of the non-constant positive solutions of the reduced shadow system (2.4).
From (3.2), we can find that, for any , , and , where , and .
It follows that if is a solution of (2.4), then must attain its local minimal value at a point in .
We have the following lemma on the properties of the function defined above.
- 1.Suppose that holds. Then for any , is increasing, while for any , is decreasing, where(3.4)
Suppose that holds. Then, for any , is increasing, while for any , is decreasing.
Because provided that , we conclude from (3.5) that is increasing () for , while for any , is decreasing (). The second part of the lemma can be proved similarly. □
From Lemma 3.1, it follows that attains its maximum value at . If holds, then for all . Thus, does not has its minimal value point in , which implies that the shadow system (2.4) does not possess positive non-constant stationary solutions. Similarly, if holds, then system (2.4) does not also possess positive non-constant stationary solutions.
Thus, in order for the shadow system to have non-constant positive stationary solutions, we need to concentrate on the case when .
Since for , for , it follows that is convex in , and concave in , and taking its local minimum value at . In other words, is decreasing in , and increasing in .
Thus, the problem admits solutions for some if and only if and we are now deriving the precise information on the suitable such that the problem has positive non-constant stationary solutions.
Then for any , there exists a unique , such that .
Then is well defined and is strictly increasing in , since in this interval is convex and takes a strict minimum at .
where we make another change of variable, , .
Clearly, the function has a unique root since , and .
On the other hand, by the properties of f, we know that f has two critical points in , denoted by and , that is to say, . Since , , and has a unique positive critical point , it follows that .
Thus, the results in Lemma 4.4 in  hold true in our problem. That is, for any , we have , which together with (3.14) implies that .
and due to , it follows that or equivalently . This together with the fact that , we can conclude that .
Summarizing the analysis above, we can conclude the following.
In this paper, we studied the existence and non-existence of the positive non-constant stationary solutions of a shadow system corresponding to a kind of diffusive homogeneous predator-prey system with Holling type-II functional response and strong Allee effect in prey. We hope that the results in the paper will allow for the clearer understanding of the rich dynamics of this particular pattern formation system. Future work might include considering the qualitative behavior of the parabolic shadow system.
The authors are very grateful to the anonymous referee for his/her valuable comments and suggestions, which led to an improved presentation of the manuscript.
- Boukal DS, Sabelis MW, Berec L: How predator functional responses and Allee effects in prey affect the paradox of enrichment and population collapse. Theor. Popul. Biol. 2007, 72: 136-147. 10.1016/j.tpb.2006.12.003View ArticleMATHGoogle Scholar
- Holling CS: The components of predation as revealed by a study of small mammal predation of the Euorpean pine swalfy. Can. Entomol. 1959, 91: 293-320. 10.4039/Ent91293-5View ArticleGoogle Scholar
- Lewis M, Karevia P: Allee dynamics and the spread of invading organisms. Theor. Popul. Biol. 1993, 43: 141-158. 10.1006/tpbi.1993.1007View ArticleMATHGoogle Scholar
- Morozov A, Petrovovskii S, Li B: Spatiotemporal complexity of patchy invasion in a predator-prey system with the Allee effect. J. Theor. Biol. 2006, 238: 18-35. 10.1016/j.jtbi.2005.05.021View ArticleMathSciNetGoogle Scholar
- Nisbet RM, Gurney WSC: Modelling Fluctuating Populations. Wiley, New York; 1982.MATHGoogle Scholar
- Petrovovskii S, Morozov A, Li B: Regimes of biological invasion in a predator-prey system with the Allee effect. Bull. Math. Biol. 2005, 67: 637-661.MathSciNetView ArticleGoogle Scholar
- Wang J, Shi J, Wei J: Dynamics and pattern formation in a diffusive predatory-prey system with strong Allee effect in prey. J. Differ. Equ. 2011, 251: 1276-1304. 10.1016/j.jde.2011.03.004MathSciNetView ArticleMATHGoogle Scholar
- Hsu C, Yang C, Yang T, Yang T: Existence of traveling wave solutions for diffusive predator-prey type systems. J. Differ. Equ. 2012, 252: 3040-3075. 10.1016/j.jde.2011.11.008MathSciNetView ArticleMATHGoogle Scholar
- Nishiura Y: Global structure of bifurcating solutions of some reaction-diffusion systems. SIAM J. Math. Anal. 1982, 13: 555-593. 10.1137/0513037MathSciNetView ArticleMATHGoogle Scholar
- Opial Z:Sur les périodes des solutions de I’équation différentielle . Ann. Pol. Math. 1961, 10: 49-72.MathSciNetMATHGoogle Scholar
- Keener J: Activators and inhibitors in pattern formation. Stud. Appl. Math. 1978, 59: 1-23.MathSciNetView ArticleMATHGoogle Scholar
- Jang J, Ni W, Tang M: Global bifurcation and structure of Turing patterns in the 1-D Lengyel-Epstein model. J. Dyn. Differ. Equ. 2004, 16: 297-320. 10.1007/s10884-004-2782-xMathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.