Asymptotic dynamics of the Leslie-Gower competition system with Allee effects and stocking
- Yunshyong Chow^{1} and
- Sophia R-J Jang^{2}Email author
https://doi.org/10.1186/s13662-014-0330-5
© Chow and Jang; licensee Springer 2015
Received: 2 May 2014
Accepted: 19 December 2014
Published: 14 January 2015
Abstract
We investigate the classical Leslie-Gower competition system where one of the two competing populations is subject to Allee effects and is also under constant stocking. The model can have either no interior steady state, a unique interior steady state, two interior steady states or three interior steady states depending on parameter values. Using the tools of monotone planar systems, we provide basins of attraction for the local attractors and for the non-hyperbolic steady states. It is concluded that stocking of the weaker competitor can promote the coexistence of both competing populations.
Keywords
1 Introduction
The Allee effect, referring to the reduced fitness or the decline in population growth at low population densities or sizes, was first observed by Allee [1]. It has significant impact on population survival when the population is at low level. There has been a rebound of interest in Allee effects recently due to fragmentation of habitats, invasions of exotic species, biological control of pest, etc. We refer the reader to [2] and references cited therein for biological motivation and mathematical models of Allee effects.
When a population is subject to Allee effects, it is well known that there exists a critical population level below which the population will go extinct [2]. Therefore, such a population is in danger of extinction if its population size or density is small. Frequently, constant levels of the external populations are added to the resident populations per generation in order to conserve the endangered populations [3]. Motivated by this, we consider the classical two-dimensional Leslie-Gower competition system where one of the populations is subject to Allee effects and is also under constant stocking. Several discrete-time mathematical models have been proposed to study the effects of external stocking. See AlSharawi and Rhouma [4], Elaydi and Yakubu [5], Kulenović and Nurkanović [6] and references cited therein.
The authors in [6] investigate the Leslie-Gower competition system when one of the two populations is under constant stocking. The resulting model has at most two interior steady states and the basins of attraction of the steady states are completely determined [6]. Unlike the model studied in [6], we assume in this study that one of the two competing populations is subject to Allee effects and is also under constant stocking. Using the tools of two-dimensional monotone maps [7, 8], we provide the asymptotic dynamics of the resulting system. The model with no stocking has been studied in [9]; it can have at most two interior steady states. It is proved in [9] that one of the interior steady states is a saddle point and its global stable manifold is the boundary for population coexistence and competitive exclusion. With stocking, it is shown in the present study that the model can have up to three interior steady states, one of which is a saddle point and the other two are local attractors. The global stable manifold of the saddle point separates the positive cone into two positively invariant regions such that the solutions converge to either one of the interior steady states for all positive initial populations. As a consequence, stocking of one of the two competing populations with Allee effects can promote population coexistence.
In the following section, we present the model and its preliminary analysis. The global behavior of the solutions is studied in Section 3. The final section provides discussion and conclusions.
2 The model and preliminary results
Proposition 2.1
Equation (2.5) has a unique steady state \(\bar{x}\), where \(u<\bar{x}<u+\lambda_{1}\) and \(\bar{x}\) is globally asymptotically stable in \([0, \infty)\) for (2.5).
When (2.5) has three interior steady states, then the middle steady state is a repeller while the other two interior steady states are asymptotically stable (cf. [14, Theorem 2.1]). Similar to the proof in [14], the asymptotic dynamics of (2.5) can be completely determined when there are three interior steady states. However, we assume (2.5) has a unique interior steady state for simplicity. The analysis carried out in this work can be applied to the case where (2.5) has three interior steady states as well.
Let \(\mathbb{R}_{+}^{2}=\{(x,y)\in\mathbb{R}^{2}:x\geq0, y\geq0\}\) and let \(\operatorname{int}(\mathbb{R}_{+}^{2})\) denote the interior of \(\mathbb{R}_{+}^{2}\). It is straightforward to verify that solutions of (2.4) remain nonnegative and are bounded for \(t>0\), and the map F is one-to-one on \(\mathbb{R}_{+}^{2}\).
Proposition 2.2
Solutions of (2.4) remain nonnegative and are bounded for \(t>0\). Moreover, the map F is one-to-one on \(\mathbb{R}_{+}^{2}\).
Proof
Let \((x_{0}, y_{0})\) and \((x_{1}, y_{1})\) in \(\mathbb{R}_{+}^{2}\) be such that \(F(x_{0}, y_{0})=F(x_{1}, y_{1})\), i.e., \(f_{i}(x_{0},y_{0})=f_{i}(x_{1}, y_{1})\), \(i=1, 2\). If \(x_{0}=0\) or \(y_{0}=0\), then \((x_{0}, y_{0})=(x_{1},y_{1})\) holds trivially. We now assume \(x_{i}, y_{i}>0\) for \(i=0, 1\) and \(x_{0}< x_{1}\). Then \(y_{0}< y_{1}\) since \(f_{2}(x_{0},y_{0})=f_{2}(x_{1},y_{1})\). Let \(Y_{i}=Y_{i}(x)\) be defined by \(f_{i}(x, Y_{i}(x))=f_{i}(x_{0},y_{0})\) for \(i=1, 2\). Then \(y=Y_{1}(x)\) and \(y=Y_{2}(x)\) have two positive intersections \((x_{0}, y_{0})\) and \((x_{1}, y_{1})\). It is easy to see that \(y=Y_{2}(x)\) is a line with \(Y_{2}^{\prime}(x)=\frac{c_{2}y_{0}}{1+c_{2}x_{0}}>0\), and \(Y_{1}^{\prime}(x)>0\) and \(Y_{1}^{\prime\prime}(x)=\frac{2\alpha m^{2}}{(m+x)^{3}}>0\) for \(x>0\), where \(\alpha=\frac{(m+x_{0})(1+c_{0}+c_{1}y_{0})}{x_{0}^{2}}\). Moreover, a simple calculation yields \(Y_{1}^{\prime}(x)-Y_{2}^{\prime}(x)=\frac{\operatorname{det} J(x,y)}{-\frac{\partial f_{1}}{\partial y}\frac{\partial f_{2}}{\partial y}}>0\) by (2.9). Hence \(Y_{1}(x)>Y_{2}(x)\) on \((x_{0}, \infty)\) and we obtain a contradiction. It is possible that \(y=Y_{1}(x)\) and \(y=Y_{2}(x)\) have two solutions, but at most one positive solution. Hence F is one-to-one on \(\mathbb{R}_{+}^{2}\). □
Define the partial ordering ‘\(\leq_{K}\)’ on \(\mathbb{R}_{+}^{2}\) by \(X_{1}=(x_{1} , y_{1})\leq_{K} X_{2}=(x_{2},y_{2})\) if \(x_{1} \leq x_{2}\) and \(y_{1}\geq y_{2}\), \(X_{1}<_{K}X_{2}\) if \(X_{1}\leq_{K} X_{2}\) and \(X_{1}\neq X_{2}\), and \(X_{1}\ll_{K} X_{2}\) if \(x_{1} < x_{2}\) and \(y_{1}>y_{2}\). A map \(\mathbf{T}: \mathbb{R}_{+}^{2}\rightarrow\mathbb{R}_{+}^{2}\) is said to be monotone with respect to \(\leq_{K}\) if \(\mathbf{T}(x_{1}, y_{1})\leq_{K}\mathbf{T}(x_{2}, y_{2})\) whenever \((x_{1}, y_{1})\leq_{K}(x_{2},y_{2})\) and T is strongly monotone if \(\mathbf{T}(x_{1}, y_{1})\ll_{K}\mathbf{T}(x_{2}, y_{2})\) whenever \((x_{1}, y_{1})<_{K}(x_{2}, y_{2})\).
A subset B of \(\mathbb{R}^{2}\) is K-convex with respect to \(\leq_{K}\) if B contains the line segment joining any of its two points that are ordered by \(\leq_{K}\) [8]. An \(n\times n\) matrix \(P=(p_{ij})\) is K-positive on a subset C of \(\mathbb{R}_{+}^{2}\) if its diagonal entries are nonnegative on C and its off diagonal entries are nonpositive on C [8]. We refer the reader to Smith [8] for the general theory of two-dimensional monotone maps.
Since populations x and y engage in interspecific competition, using the tool of monotone planar maps, the asymptotic dynamics of (2.4) can easily be understood as shown below.
Theorem 2.3
The map F is monotone on \(\mathbb{R}_{+}^{2}\) and strongly monotone on \(\operatorname{int}(\mathbb{R}_{+}^{2})\). Moreover, every solution of (2.4) converges to a steady state.
Proof
Let \(X_{i}(t)=(x_{i}(t), y_{i}(t))\), \(i=1, 2\), be two solutions of (2.4) with \(X_{1}(0)\leq_{K}X_{2}(0)\). Then \(x_{1}(1)\leq f_{1}(x_{2}(0), y_{1}(0))\leq f_{1}(x_{2}(0), y_{2}(0))=x_{2}(1)\) and \(y_{1}(1)\geq f_{2}(x_{2}(0), y_{1}(0))\geq f_{2}(x_{2}(0), y_{2}(0))=y_{2}(1)\), i.e., \(X_{1}(1)\leq_{K}X_{2}(1)\). Inductively, \(X_{1}(t)\leq_{K}X_{2}(t)\) for \(t\geq1\) and F is monotone on \(\mathbb{R}_{+}^{2}\) with respect to \(\leq_{K}\). Similarly, one can prove that F is strongly monotone on \(\operatorname{int}(\mathbb{R}_{+}^{2})\). Notice \(\operatorname{int}(\mathbb{R}^{2}_{+})\) is forwardly invariant under F, contains order intervals and is \(\leq_{K}\)-convex. The determinant of the Jacobian matrix of (2.4) is positive on \(\operatorname{int}(\mathbb{R}_{+}^{2})\) by (2.9). Moreover, the Jacobian matrix is K-positive in \(\operatorname{int}(\mathbb{R}_{+}^{2})\) by (2.8) and the map F is one-to-one by Proposition 2.2. Therefore, conditions (H+) given in [8] are satisfied for F on \(\operatorname{int}(\mathbb{R}_{+}^{2})\). It follows from [8, Theorem 4.2, Lemma 4.3] that solutions of (2.4) with initial conditions in \(\operatorname{int}(\mathbb{R}_{+}^{2})\) are eventually componentwise monotone and hence are convergent. If \(y(0)=0\) and \(x(0)\geq0\), then the solution converges to \((\bar{x}, 0)\). If \(x(0)=0\) and \(y(0)>0\), then \(x(1)=u\) and \(y(1)>0\), i.e., solutions start on the positive y-axis will be mapped into \(\operatorname{int}(\mathbb{R}_{+}^{2})\) in one iteration. We conclude that every solution of (2.4) converges to a steady state. □
Let \((x_{0}, y_{0})\in\mathbb{R}_{+}^{2}\) be given. Relative to \((x_{0},y_{0})\), we divide \(\mathbb{R}_{+}^{2}\) into four quadrants in a counter-clockwise manner: \(Q_{1}(x_{0},y_{0})=\{(x,y)\in\mathbb{R}_{+}^{2}: x\geq x_{0}, y\geq y_{0}\}\), \(Q_{2}(x_{0}, y_{0})=\{(x,y)\in\mathbb{R}_{+}^{2}: x\leq x_{0}, y\geq y_{0}\}\), and \(Q_{3}(x_{0},y_{0})\) and \(Q_{4}(x_{0},y_{0})\) are defined similarly. If \((x_{0}, y_{0})\) is a steady state of (2.4), then it is easy to see that \(Q_{i}(x_{0},y_{0})\), \(i=2, 4\), are positively invariant since F is monotone with respect to \(\leq_{K}\). Indeed, let \((x_{0}, y_{0})\) be a steady state of system (2.4) and let \((x,y)\in Q_{2}(x_{0},y_{0})\), i.e., \((x, y)\leq_{K} (x_{0},y_{0})\). Then since F is monotone with respect to \(\leq_{K}\), we obtain \(F^{t}(x,y)\leq_{K} F^{t}(x_{0},y_{0})=(x_{0},y_{0})\) for \(t=1, 2, \ldots \) . Hence \(F^{t}(x,y)\in Q_{2}(x_{0},y_{0})\) for \(t=1, 2, \ldots \) and \(Q_{2}(x_{0},y_{0})\) is positively invariant. The proof of positive invariance of \(Q_{4}(x_{0}, y_{0})\) is similar.
Remark 1
When \(\frac{\lambda_{2}-1}{c_{2}}=\bar{x}\), then \(E_{0}\) is non-hyperbolic with a stable manifold lying on the nonnegative x-axis by (2.10). One may use the technique of center manifold [15] to determine the stability of \(E_{0}\). However, we do not consider this critical case in the present investigation.
3 Asymptotic dynamics
In this section, we study the existence of interior steady states and investigate the asymptotic dynamics of system (2.4). Observe that if \(\frac{\lambda_{2}-1}{c_{2}}\leq u\), then the two non-trivial nullclines cannot have any positive intersections and (2.4) has no interior steady state. Moreover, \(E_{0}=(\bar{x}, 0)\) is locally asymptotically stable by (2.10) since \(u<\bar{x}\) and therefore \(E_{0}\) is globally asymptotically stable by Theorem 2.3. The proof of the following theorem is omitted.
Theorem 3.1
If \(\frac{\lambda_{2}-1}{c_{2}}\leq u\), then \(E_{0}=(\bar{x}, 0)\) is globally asymptotically stable in \(\mathbb{R}_{+}^{2}\) for (2.4).
Dynamics of system ( 2.4 )
Cases | Global dynamical behavior of ( 2.4 ) |
---|---|
1 | (2.4) has no interior steady state and \(E_{0}\) is GAS in \(\mathbb {R}_{+}^{2}\). |
2 | (2.4) has a unique interior steady state \(E^{*}\) which is GAS in Γ. |
3 | (2.4) has a unique interior steady state \(E^{*}\) which is non-hyperbolic. \(W^{s}\) separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{1}\) and \(R_{2}\) such that \(E_{0}\) is GAS in \(R_{2}\) and solutions with initial conditions in \(R_{1}\) converge to \(E^{*}\). |
4 | (2.4) has two hyperbolic interior steady states \(E_{1}^{*}\) and \(E_{2}^{*}\). \(W_{2}^{s}\) separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{1}\) and \(R_{2}\) such that \(E_{1}^{*}\) and \(E_{0}\) are GAS in \(R_{1}\) and \(R_{2}\), respectively. |
5 | (2.4) has two interior steady states, one is hyperbolic and the other is non-hyperbolic. The global stable manifold of the non-hyperbolic steady state separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{1}\) and \(R_{2}\) such that the other interior steady state is GAS in \(R_{1}\) and \(E_{0}\) is GAS in \(R_{2}\). |
6 | (2.4) has three interior steady states \(E_{i}^{*}\), i = 1,2,3. \(W_{2}^{s}\) separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{1}\) and \(R_{2}\) such that \(E_{1}^{*}\) and \(E_{3}^{*}\) are GAS in \(R_{1}\) and \(R_{2}\), respectively. |
Theorem 3.2
- (a)
If \(\frac{\lambda_{2}-1}{c_{2}}>\bar{x}\), then case 2 holds.
- (b)Let \(\frac{\lambda_{2}-1}{c_{2}}<\bar{x}\). Then \(E_{0}\) is locally asymptotically stable.
- (i)
If \(B_{1}\cap A_{2}=\emptyset\) and \(y=\hat{q}_{2}(x)\) is not tangent to \(y=q_{1}(x)\), then case 1 holds.
- (ii)
If \(B_{1}\cap A_{2}=\emptyset\) and \(y=\hat{q}_{2}(x)\) is tangent to \(y=q_{1}(x)\) at \(x^{*}\), where \(u< x^{*}< \frac{\lambda_{2}-1}{c_{2}}\), then case 3 holds.
- (iii)
If \(B_{1}\cap A_{2}\neq\emptyset\), then case 4 holds.
- (i)
Proof
(a) Since \(\frac{\lambda_{2}-1}{c_{2}}>\bar{x}\) and both nullclines are strictly decreasing, it can easily be shown that the two nullclines have a unique positive intersection \(x^{*}\), where \(u< x^{*}<\bar{x}\). Indeed, let \(q(x)=q_{1}(x)-\hat{q}_{2}(x)\), the difference of the two isoclines. Then \(q^{\prime\prime}(x)=q_{1}^{\prime\prime}(x)>0\) for \(x>u\) by (2.12) and the assumption \(u\geq m\). It is clear that \(q(x)=0\) has at least one positive solution in \((u, \bar{x})\) since \(\lim_{x\rightarrow u^{+}}q(x)=\infty\) and \(q(\bar{x})<0\). If \(q(x)=0\) has two solutions \(x_{i}\), \(i=1,2\), where \(u< x_{1}<x_{2}<\bar{x}\), then \(q(\bar{x})<0\) implies that either \(q(x)=0\) has at least one more solution in \((x_{2}, \bar{x})\) or \(q^{\prime}(x_{i})=0\) for some \(i=1, 2\). In either of these cases, we obtain a contradiction to \(q^{\prime\prime}(x)>0\) on \((u, \infty)\). Therefore, \(q(x)=0\) cannot have more than one positive solution in \((u, \bar{x})\) and (2.4) has a unique interior steady state \(E^{*}=(x^{*}, y^{*})\). We can easily verify that \(E^{*}\) is locally asymptotically stable. Indeed, since \(q_{1}^{\prime}(x^{*})<0\), \(q_{2}^{\prime}(y^{*})<0\), and \(b, c<0\), we have from (2.16)-(2.17) that \(a<1\) and \(d<1\). Hence \(\operatorname{det} J(E^{*})=ad-bc< ad<1\). Observe that \(q_{1}^{\prime}(x^{*})<-c_{2}\), i.e., \(\frac{q_{1}^{\prime}(x^{*})}{-c_{2}}>1\) and hence \(q_{1}^{\prime}(x^{*})q_{2}^{\prime}(y^{*})-1>0\), i.e., \(p(1)>0\) by (2.19). Therefore, \(E^{*}\) is locally asymptotically stable by the Jury conditions. On the other hand, \(E_{0}\) is a saddle point with stable manifold being the nonnegative x-axis by (2.10). It follows from Theorem 2.3 that solutions with initial conditions in Γ converge to \(E^{*}\) and hence \(E^{*}\) is globally asymptotically stable in Γ, i.e., case 2 holds.
(b) By the assumption and (2.10), \(E_{0}\) is locally asymptotically stable. The proof of (i) is trivial by Theorem 2.3 since there is no interior steady state. To prove (ii), observe that the straight line \(y=\hat{q}_{2}(x)\) is tangent to the curve \(y=q_{1}(x)\) at \(x^{*}\) in which \(E^{*}=(x^{*}, y^{*})\) is the unique interior steady state. Thus, \(q_{1}^{\prime}(x^{*})=-c_{2}\) and \(q_{1}^{\prime}(x^{*})q_{2}^{\prime}(y^{*})=1\). Therefore, \(p(1)=0\) by (2.19) and \(E^{*}\) is non-hyperbolic. The other eigenvalue of \(J(E^{*})\) is \(\operatorname{det} J(E^{*})=ad-bc< ad<1\) since \(q_{1}\) is decreasing implying \(a<1\). Moreover, eigenvectors of \(J(E^{*})\) with respect to \(\operatorname{det} J(E^{*})\) are not parallel to the coordinate axes. Theorems 1-4 of [7] imply that the stable manifold \(W^{s}\) of \(E^{*}\) is \(C^{1}\) and strictly increasing. Since (2.4) has no 2-cycle solutions and no other interior steady state, \(W^{s}\) intersects the nonnegative y-axis and is unbounded in \(Q_{1}(E^{*})\) by Corollary 2 of [7]. Therefore, Theorem 6 of [7] implies that \(W^{s}\) separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{1}\) and \(R_{2}\) with \(E_{0}\in R_{2}\). Since every solution converges to a steady state by Theorem 2.3 and \(R_{i}\) is forwardly invariant, solutions with initial conditions in \(R_{1}\) converge to \(E^{*}\). Observe that \(\hat{q}_{2}(x)< q_{1}(x)\) for \(x\in (x^{*}, \frac{\lambda_{2}-1}{c_{2}})\) and every solution in \(R_{2}\) will enter \(\operatorname{int}(Q_{4}(E^{*}))\) in finite time steps by [7, Theorem 4]. To show every solution in \(R_{2}\) converges to \(E_{0}\), it is enough to consider those solutions in \(\operatorname{int}(Q_{4}(E^{*}))\). Notice that \(E^{*}\ll_{K}(x_{0},y_{0})\leq_{K}F(x_{0},y_{0})\) for any \(x_{0}\in(x^{*}, \frac{\lambda_{2}-1}{c_{2}})\) and \(y_{0}= \frac{q_{1}(x_{0})+\hat{q}_{2}(x_{0})}{2}\). Let \((x,y)\in \operatorname{int}(Q_{4}(E^{*}))\) be arbitrary. Then we can find \((x_{0},y_{0})\), where \(x_{0}\in(x^{*}, \frac{\lambda_{2}-1}{c_{2}})\) and \(y_{0}= \frac{q_{1}(x_{0})+\hat{q}_{2}(x_{0})}{2}\), such that \((x_{0},y_{0})\leq_{K}(x,y)\). As a result, \(E^{*}\ll_{K}F^{n}(x_{0},y_{0})\leq_{K}F^{n}(x,y)\) for \(n=0, 1, 2, \ldots \) and \(F^{n}(x,y)\) cannot converge to \(E^{*}\). Thus solutions in \(R_{2}\) converge to \(E_{0}\) and case 3 holds.
(iii) implies that (2.4) has two interior steady states \(E_{i}^{*}=(x_{i}^{*}, y_{i}^{*})\), \(i=1,2\), \(x_{1}^{*}< x_{2}^{*}\). Then \(E_{1}^{*}\ll_{K}E_{2}^{*}\) and it can be readily verified that \(E_{1}^{*}\) is locally asymptotically stable and \(E_{2}^{*}\) is a saddle point. Indeed, \(q_{1}^{\prime}(x_{1}^{*})<\hat{q}_{2}^{\prime}(x_{1}^{*})\), \(q_{1}^{\prime}(x_{2}^{*})>\hat{q}_{2}^{\prime}(x_{2}^{*})\), and \(q_{2}^{\prime}(y_{i}^{*})= \frac{1}{\hat{q}_{2}^{\prime}(x_{i}^{*})}\) for \(i=1,2\). Therefore at \(E_{2}^{*}\), we have by (2.19), \(p(1)=(q_{1}^{\prime}(x_{2}^{*})q_{2}^{\prime}(y_{2}^{*})-1)bc<0\) and \(E_{2}^{*}\) is a saddle point. At \(E_{1}^{*}\), we have \(p(1)=(q_{1}^{\prime}(x_{1}^{*})q_{2}^{\prime}(y_{1}^{*})-1)bc>0\) and \(\operatorname{det} J(E_{1}^{*})=ad-bc< ad<1\) by (2.16)-(2.18). Therefore, \(E_{1}^{*}\) is locally asymptotically stable. The stable manifold \(W_{2}^{s}\) of \(E_{2}^{*}\) is a strictly increasing \(C^{1}\)-curve by [7]. Since \(Q_{1}(E_{2}^{*})\) has neither steady state nor 2-cycle solutions, \(W_{2}^{s}\) is unbounded in \(Q_{1}(E_{2}^{*})\) and \(W_{2}^{s}\) intersects with the nonnegative y-axis. Therefore \(W_{2}^{s}\) separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{i}\), \(i=1, 2\), with \(E_{1}^{*} \in R_{1}\) and \(E_{0}\in R_{2}\). The remaining assertion follows and case 4 holds. □
Let \(1-c_{1}c_{2}>0\). Observe that \(\lim_{x\rightarrow\infty}H(x)=\infty\), \(\lim_{x\rightarrow-\infty}H(x)=-\infty\), \(H(u)<0\) and \(H(x)\) has at most two critical points. The asymptotic dynamics of (2.4) is given below.
Theorem 3.3
- (a)Let \(\bar{x}< \frac{\lambda_{2}-1}{c_{2}}\). Then (2.4) has at least one interior steady state.
- (i)
Case 2 holds if there exist a unique \(x^{*}\in(u, \bar{x})\) such that \(H(x)<0\) on \((u, x^{*})\) and \(H(x)>0\) on \((x^{*}, \bar{x})\).
- (ii)
Case 6 holds if there exist \(z_{i}\), \(i=1,2\), \(u< z_{1}<z_{2}<\bar{x}\) such that \(H^{\prime}(z_{1})=0=H^{\prime}(z_{2})\) and \(H(z_{1})>0>H(z_{2})\).
- (iii)
Case 5 holds if there exist \(z_{i}\), \(i=1,2\), \(u< z_{1}<z_{2}<\bar{x}\) such that \(H^{\prime}(z_{1})=0=H^{\prime}(z_{2})\) and either \(H(z_{1})=0>H(z_{2})\) or \(H(z_{1})>0=H(z_{2})\).
- (i)
- (b)Let \(\bar{x}> \frac{\lambda_{2}-1}{c_{2}}\).
- (i)
Case 1 holds if \(H(x)<0\) on \((u, \frac{\lambda _{2}-1}{c_{2}})\).
- (ii)
Case 4 holds if there exists \(z\in(u, \frac{\lambda_{2}-1}{c_{2}})\) such that \(H^{\prime}(z)=0\) and \(H(z)>0\).
- (iii)
Case 3 holds if there exists \(x^{*}=z\in(u, \frac{\lambda_{2}-1}{c_{2}})\) such that \(H^{\prime}(z)=0\neq H^{\prime\prime}(z)\) and \(H(z)=0\).
- (i)
Proof
(a) Since \(\bar{x}< \frac{\lambda_{2}-1}{c_{2}}\), \(E_{0}\) is a saddle point with stable manifold lying on the nonnegative x-axis. Moreover, \(H(\bar{x})>0\) and \(H(u)<0\) imply \(H(x)=0\) has at least one solution lying between u and \(\bar{x}\). Hence (2.4) has at least one interior steady state. The assumption of (i) implies that (2.4) has a unique interior steady state \(E^{*}=(x^{*}, y^{*})\) and \(H^{\prime}(x^{*})>0\). It can be shown that \(E^{*}\) is locally asymptotically stable since \(\hat{q}_{2}^{\prime}(x^{*})>q_{1}^{\prime}(x^{*})\) by (3.5). Therefore, \(E^{*}\) is globally asymptotically stable in Γ and case 2 holds.
(iii) is the critical case of (ii). Notice that if \(H(x)>0\) for \(x>z_{1}\) and sufficiently close to \(z_{1}\), then by the assumption on \(z_{2}\) there exist \(z^{*}\in(z_{1}, z_{2})\) such that \(H^{\prime}(z^{*})=0\), which contradicts to the fact that \(H(x)\) has at most two critical points. Therefore, \(z_{1}\) is a non-degenerate critical point and hence (2.4) has two interior steady states \(E_{i}^{*}=(x_{i}^{*}, y_{i}^{*})\), \(i=1,2\), where \(u< x_{1}^{*}=z_{1}<z_{2}<x_{2}^{*}<\bar{x}\). Since \(H^{\prime}(x_{1}^{*})=0\), \(E_{1}^{*}\) is non-hyperbolic by (2.19) and (3.5). The other eigenvalue of \(J(E_{1}^{*})\) is \(\operatorname{det}J(E_{1}^{*})=ad-bc<1\) with corresponding eigenvectors not parallel to the coordinate axes. On the other hand, \(H^{\prime}(x_{2}^{*})>0\) implies that \(E_{2}^{*}\) is locally asymptotically stable. The stable manifold \(W_{1}^{s}\) is a strictly increasing \(C^{1}\)-curve that intersects the nonnegative y-axis and extends indefinitely in \(Q_{1}(E_{1}^{*})\). It follows that \(W_{1}^{s}\) separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions \(R_{1}\) and \(R_{2}\) with \(E_{2}^{*}\in R_{2}\). Consequently, solutions with initial conditions in \(R_{1}\) converge to \(E_{1}^{*}\) by a similar proof as that of Theorem 3.2(b)(ii), and \(E_{2}^{*}\) is globally asymptotically stable in \(R_{2}\), i.e., case 5 holds. The other critical case can be shown similarly.
(b) Since \(\bar{x}> \frac{\lambda_{2}-1}{c_{2}}\), \(E_{0}\) is locally asymptotically stable. Also \(H(u)<0\) and \(H( \frac{\lambda_{2}-1}{c_{2}})<0\). If \(H(x)<0\) on the interval \((u, \frac{\lambda_{2}-1}{c_{2}})\), then (2.4) has no interior steady state and \(E_{0}\) is globally asymptotically stable by Theorem 2.3. This proves (i).
(ii) Note first that such a z given in the assumption is unique and hence (2.4) has two interior steady states \(E_{i}^{*}=(x_{i},y_{i})\), \(i=1, 2\), where \(E_{1}^{*}\ll_{K}E_{2}^{*}\). It is straightforward to verify that \(E_{1}^{*}\) is locally asymptotically stable and \(E_{2}^{*}\) is a saddle point. The stable manifold \(W_{2}^{s}\) of \(E_{2}^{*}\) is a strictly increasing \(C^{1}\)-curve that intersects the nonnegative y-axis and is unbounded in \(Q_{1}(E_{2}^{*})\). The remaining assertion follows. The assumption of (iii) implies that the existence of a unique interior steady state \(E^{*}=(x^{*}, y^{*})\), where \(x^{*}=z\), which is, moreover, non-hyperbolic since \(H^{\prime}(x^{*})=0\). However, the other eigenvalue of \(J(E^{*})\) is \(\operatorname{det} J(E^{*})=ad-bc< ad<1\) with corresponding eigenvectors not parallel to the coordinate axes. The remaining proof is similar to the proof (ii) of Theorem 3.2(b). □
Let \(m=2\), \(u=0.9\), \(c_{1}=c_{2}=0.5\), \(\lambda_{1}=12.5\), and \(\lambda_{2}=6\). Then \(\bar{x}=10.48> \frac{\lambda_{2}-1}{c_{2}}=10\) and \(y=H(x)\) lies below the horizontal axis as shown in Figure 1(d). If u is decreased to \(u=0.15\) with \(\lambda_{1}=13.5\), then \(\bar{x}=10.51> \frac{\lambda_{2}-1}{c_{2}}=10\) and \(H(x)=0\) has two positive solutions within the feasible region as shown in Figure 1(e). If u is increased slightly to \(u=0.16789\), then \(\bar{x}=10.53> \frac{\lambda_{2}-1}{c_{2}}=10\) and \(H(x)=0\) has a unique positive solution within the feasible region as shown in Figure 1(f).
Consider the case where \(1-c_{1}c_{2}<0\). Then \(\lim_{x\rightarrow\infty}H(x)=-\infty\), \(\lim_{x\rightarrow-\infty}H(x)=\infty\), \(H(u)<0\) and \(H(x)=0\) has at least one negative solution. Hence, \(H(x)=0\) can have at most two positive solutions. The asymptotic dynamics of (2.4) is given below.
Theorem 3.4
- (a)
If \(\bar{x}< \frac{\lambda_{2}-1}{c_{2}}\), then case 2 holds.
- (b)Let \(\bar{x}> \frac{\lambda_{2}-1}{c_{2}}\).
- (i)
Case 1 holds if \(H(x)<0\) on \((u, \frac{\lambda_{2}-1}{c_{2}})\).
- (ii)
Case 4 holds if there exists \(z\in(u, \frac{\lambda_{2}-1}{c_{2}})\) such that \(H^{\prime}(z)=0\) and \(H(z)>0\).
- (iii)
Case 5 holds if the critical point z in (ii) is such that \(H(z)=0\neq H^{\prime\prime}(z)\).
- (i)
Proof
(a) By the assumption, we have \(H(\bar{x})>0\), \(\lim_{x\rightarrow\infty}H(x)=-\infty\), and \(\lim_{x\rightarrow-\infty}H(x)=\infty\). Therefore \(H(x)=0\) has a unique positive solution \(x^{*}\) in \((u, \bar{x})\) with \(H^{\prime}(x^{*})>0\). The remaining assertion follows.
(b) Notice that \(H( \frac{\lambda_{2}-1}{c_{2}})<0\) and \(E_{0}\) is asymptotically stable. Since \(H(x)=0\) has at least one negative root, \(H(x)=0\) can have at most two positive roots in \((u, \frac{\lambda_{2}-1}{c_{2}})\). (i) If \(H(x)<0\) on \((u, \frac{\lambda_{2}-1}{c_{2}})\), then \(H(x)=0\) has no positive solution on \((u, \frac{\lambda_{2}-1}{c_{2}})\) and (2.4) has no interior steady state. It follows that \(E_{0}\) is globally asymptotically stable and case 1 holds.
(ii) By the assumption, \(H(x)=0\) has two positive solutions \(x_{i}^{*}\), \(i=1, 2\), where \(u< x_{1}^{*}<z<x_{2}^{*}<\frac{\lambda_{2}-1}{c_{2}}\). Hence (2.4) has two interior steady states \(E_{i}^{*}=(x_{i}^{*}, y_{i}^{*})\), \(i=1,2\), \(E_{1}^{*}\ll_{K}E_{2}^{*}\). It can be verified that \(E_{1}^{*}\) is asymptotically stable and \(E_{2}^{*}\) is a saddle point. The remaining of the proof is similar to the proof of Theorem 3.3(b)(ii) and case 4 holds. (iii) is a critical case of (ii) and \(H(x)=0\) implies \(x_{1}^{*}=z\). System (2.4) has two interior steady states \(E_{i}^{*}=(x_{i}^{*}, y_{i}^{*})\), \(i=1,2\), where \(E_{1}^{*}\) is non-hyperbolic and \(E_{2}^{*}\) is asymptotically stable. The remaining proof is similar to the proof of Theorem 3.3(a)(iii). □
Remark 2
The condition in Theorem 3.3(a)(ii) is a sufficient condition for the existence of three interior steady states. The condition is feasible since \(H(x)\) is a polynomial of degree 3 so that it is possible for \(y=H(x)\) to have two critical points in \((u, \bar{x})\). Similarly, conditions stated in Theorem 3.3(b) and Theorem 3.4 are sufficient conditions for the existence of one or two interior steady states. There are possibly other different sufficient conditions.
The asymptotic dynamics of system (2.4) when \(c_{1}c_{2}=1\) is summarized below. Since the proof of Theorem 3.5 is similar to the proofs of Theorems 3.2-3.4, we omit the proof.
Theorem 3.5
- (a)Let \(\Delta>0\).
- (i)
If \(\bar{x}< \frac{\lambda_{2}-1}{c_{2}}\), then case 2 holds.
- (ii)
If \(\bar{x}> \frac{\lambda_{2}-1}{c_{2}}\), then case 1 holds.
- (i)
- (b)Let \(\Delta<0\).
- (i)
If \(\bar{x}< \frac{\lambda_{2}-1}{c_{2}}\), then case 2 holds.
- (ii)
Let \(\bar{x}> \frac{\lambda_{2}-1}{c_{2}}\). If \(\hat{x}\in(u, \frac{\lambda_{2}-1}{c_{2}})\) and \(H(\hat{x})>0\), then case 4 holds. If \(\hat{x}\in(u, \frac{\lambda_{2}-1}{c_{2}})\) and \(H(\hat{x})=0\), then case 3 holds. If either \(\hat{x}\notin(u, \frac{\lambda_{2}-1}{c_{2}})\) or if \(\hat{x}\in(u, \frac{\lambda_{2}-1}{c_{2}})\) and \(H(\hat{x})<0\), then case 1 holds.
- (i)
- (c)Let \(\Delta=0\).
- (i)
If \(\bar{x}< \frac{\lambda_{2}-1}{c_{2}}\), then case 2 holds.
- (ii)
If \(\bar{x}> \frac{\lambda_{2}-1}{c_{2}}\), then case 1 holds.
- (i)
In Figure 4(a), we use \(\lambda_{1}=5.2\) and \(\lambda_{2}=8.5\), then \(\Delta=-0.45<0\), \(\bar{x}=3.45< \frac{\lambda_{2}-1}{c_{2}}=3.75\) and \(H(x)=0\) has a unique solution lying in \((u, \bar{x})\). In Figure 4(b), where \(\lambda_{1}=3\) and \(\lambda_{2}=3.5\), and we have \(\Delta=-0.75<0\) and \(\bar{x}=1.82> \frac{\lambda_{2}-1}{c_{2}}=1.25\). Then \(H(x)<0\) on the feasible interval so that \(H(x)=0\) has no positive solution. If we let \(\lambda_{1}=10.6\) and \(\lambda_{2}=17\), then \(\Delta=-1.6<0\) and \(\bar{x}=8.61> \frac{\lambda_{2}-1}{c_{2}}=8.0\). In this case, the horizontal axis is tangent to the curve \(y=H(x)\) at its vertex as shown in Figure 4(c). When \(\lambda_{2}\) is increased to \(\lambda_{2}=18\), then \(\Delta=-1.1<0\) and \(\bar{x}=8.61> \frac{\lambda_{2}-1}{c_{2}}=8.5\). The equation \(H(x)=0\) has two positive solutions in the interval \((u, \frac{\lambda_{2}-1}{c_{2}})\). See Figure 4(d).
Remark 3
In this study we focus on the case when the x population has only one interior steady state. If there are three boundary steady states, then since the boundary x-dynamics is completely known, we can apply a similar analysis by separating \(\mathbb{R}_{+}^{2}\) into several positively invariant regions instead of only two regions and the corresponding asymptotic dynamics can also be obtained.
4 Discussion and conclusions
Allee effects are phenomena in biology which arise when per-capita growth rates increase with increasing population level up to a maximum and then decline thereafter due to intraspecific competition [1]. The phenomena have received considerable attention recently due to fragmentation of habitats, invasion of exotic species, and biological control of pest, etc. [2], all involving small populations. When a population is subject to Allee effects, it is well known that there exists a critical population level below which the population will go extinct [2]. Therefore, the population is in danger of extinction if its population size or density is small. Consequently, constant levels of the external populations are frequently added to the resident populations per generation in order to conserve the endangered populations [3].
Kulenović and Nurkanović [6] studied a special case of (4.2), namely \(n=2\) with \(h_{2}=0\) and \(h_{1}=h>0\), i.e., system (2.2). It is proved in [6] that (2.2) has at most two interior steady states and in such a case the smaller interior steady state is a saddle point. The stable manifold of the saddle point then separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions such that solutions in either region converge to the corresponding steady state, i.e., one region of solutions converges to the coexisting steady state, while the \(x_{2}\) population goes extinct in the other region. That is, case 4 of Table 1 holds for system (2.2).
In this investigation, we also consider only two competing populations where one of the populations is subject to Allee effects and is also under stocking. The resulting system (2.4) has a richer dynamics than that of the model (2.2) with no Allee effects. Indeed, Table 1 summarizes different asymptotic behavior of model (2.4). In addition to case 4, it is possible for system (2.4) to have three interior steady states where the middle interior steady state is a saddle point. The stable manifold of the saddle point separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions such that solutions in each of the regions converge to the corresponding interior steady state. Therefore, when stocking is implemented for the population with Allee effects, it can promote the coexistence of the two competing populations.
We next discuss the effects of constant stocking u on system (2.3). First, notice that those steady states of (2.3) on the nonnegative y-axis all disappear for (2.4). Therefor stocking of the x population prevents the population from extinction. Secondly, model (2.3) always has a region Γ, depending on the Allee threshold of the x population, such that the y population out-competes the x population if the initial population distributions lie in Γ. See Theorem 2.7 of [6]. In particular, the y population will drive the x population to extinction if the x population is small. With stocking of the x population, the region Γ disappears so that the y population will not out-compete the x population when the x population is small as long as the constant stocking u satisfies the assumption of Proposition 2.1. Moreover, if the stocking u is large, then the x population will drive the y population to extinction even when the x population is subject to Allee effects as demonstrated in Theorem 3.1. As a consequence, large stocking can reverse competition outcomes.
The most important effect of the stocking is that system (2.4) can have three interior steady states. Without stocking, system (2.3) has at most two interior steady states where the smaller one is a saddle point and the other steady state is asymptotically stable. One region of the solutions converges to the steady state on the positive y-axis so that the x population is driven to extinction when the population is subject to Allee effects but there is no stocking. When system (2.4) has three interior steady states, then the middle interior steady state is a saddle point while the other two interior steady states are asymptotically stable. See Theorem 3.3(a)(ii). The stable manifold of the saddle point separates \(\mathbb{R}_{+}^{2}\) into two positively invariant regions such that solutions in each of these regions converge to the corresponding interior steady state. Therefore, for this parameter regime, given in Theorem 3.3(a)(ii), both competing populations can coexist as an interior steady state, where the magnitude of the population sizes depends on the initial populations.
Finally, system (2.4) can have a unique global asymptotic stable interior steady state as given in case 2 of Table 1. This global stability signifies that dynamical behavior of (2.4) is no longer initial condition dependent. The dependence on the initial conditions can be viewed as a hallmark of the Allee effects and stocking of the population can erase this hallmark and can promote a robust coexistence between the two populations.
Declarations
Acknowledgements
We thank one of the referees for helpful comments and suggestions.
Open Access 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.
Authors’ Affiliations
References
- Allee, WC: The Social Life of Animals. William Heinemann, London (1938) View ArticleGoogle Scholar
- Courchamp, F, Berec, L, Gascoigne, J: Allee Effects in Ecology and Conservation. Oxford University Press, New York (2008) View ArticleGoogle Scholar
- Nock, C, Ovenden, J, Butler, G, Wooden, I, Moore, A, Baverstock, J: Population structure, effective population size and adverse effects of stocking in the endangered Australian eastern freshwater cod Maccullochella ikei. J. Fish Biol. 78, 303-321 (2011) View ArticleGoogle Scholar
- AlSharawi, Z, Rhouma, M: Coexistence and extinction in a competitive exclusion Leslie/Gower model with harvesting and stocking. J. Differ. Equ. Appl. 15, 1031-1053 (2009) View ArticleMATHMathSciNetGoogle Scholar
- Elaydi, S, Yakubu, A: Global stability of cycles: Lotka-Volterra competition model with stocking. J. Differ. Equ. Appl. 8, 537-549 (2002) View ArticleMATHMathSciNetGoogle Scholar
- Kulenović, M, Nurkanović, M: Global behavior of a two-dimensional competitive system of difference equations with stocking. Math. Comput. Model. 55, 1998-2011 (2012) View ArticleMATHGoogle Scholar
- Kulenović, M, Merino, O: Invariant manifolds for competitive discrete systems in the plane. Int. J. Bifurc. Chaos 20, 2471-2486 (2010) View ArticleMATHGoogle Scholar
- Smith, HL: Planar competitive and cooperative difference equations. J. Differ. Equ. Appl. 3, 335-357 (1998) View ArticleMATHGoogle Scholar
- Jang, SR-J: Competitive exclusion and coexistence in a Leslie-Gower competition model with Allee effects. Appl. Anal. 92, 1527-1540 (2013) View ArticleMATHMathSciNetGoogle Scholar
- Cushing, JM, Levarge, S, Chitnis, N, Henson, S: Some discrete competition models and the competitive exclusion principle. J. Differ. Equ. Appl. 10, 1139-1151 (2004) View ArticleMATHMathSciNetGoogle Scholar
- Leslie, PH, Gower, JC: The properties of a stochastic model for two competing species. Biometrika 45, 316-330 (1958) View ArticleMATHMathSciNetGoogle Scholar
- Schreiber, S: Allee effects, extinctions, and chaotic transients in simple population models. Theor. Popul. Biol. 64, 201-209 (2003) View ArticleMATHGoogle Scholar
- Allen, L: An Introduction to Mathematical Biology. Prentice Hall, New York (2006) Google Scholar
- Jang, SR-J: Allee effects in a discrete-time host-parasitoid model. J. Differ. Equ. Appl. 12, 165-181 (2006) View ArticleMATHGoogle Scholar
- Wiggins, S: Introduction to Applied Nonlinear Dynamical Systems and Chaos, 2nd edn. Springer, New York (2003) MATHGoogle Scholar
- Yakubu, A: The effects of planting and harvesting on endangered species in discrete competitive systems. Math. Biosci. 126, 1-20 (1995) View ArticleMATHMathSciNetGoogle Scholar
- Yakubu, A: A discrete competitive system with planting. J. Differ. Equ. Appl. 4, 213-214 (1998) View ArticleMATHGoogle Scholar