Abstract
The permanence for three-species cooperative difference systems of Lotka-Volterra is considered. By constructing some suitable regions, we prove that a cooperative system cannot be permanent. Furthermore, we find the orbits starting from our regions approach the coordinate axes as n tends to infinity. This is somewhat similar to the May-Leonard behavior in the case of competition models.
Similar content being viewed by others
1 Introduction
In theoretical ecology, the models governed by difference equations are used to characterize the interactions of species with non-overlapping generations. For example, Ricker [1] introduced a discrete-time population model to forecast fish stock recruitment given by
where \(x(k)\) represents the number of individuals of generation k, r is the intrinsic growth rate and K is interpreted as the carrying capacity of the environment. It is well known that the dynamics of model (1.1) may be extremely complex [2]. However, one of the most important questions from a biological point of view is whether or not all species in a multi-species community can be permanent.
The discrete-time model of Ricker type of n species is modeled by the following equation:
where \(x_{i}(k)\) represents the densities of the i species at kth generation, \(a_{ij}\) measures the intensity of intra-specific competition or the interspecific competition. These equations are also called the discrete-time Lotka-Volterra systems. Permanence is an important concept of mathematical biology concerning the survival of a population which has been studied in many papers [3–7]. Here, we give its definition as follows.
Definition 1.1
System (1.2) is said to be permanent if there is a compact set E in the interior of \(R^{n}_{+}\) such that, for each positive initial position, the orbit of system (1.2) through this initial position eventually enters and remains in E. Equivalently, there exist constants \(M,m>0\), such that, for each initial value \((x_{1}(0),x_{2}(0), \ldots,x_{n}(0))\in{ \operatorname{int}R_{+}^{n}}\), the orbits of system (1.2) starting from the initial value satisfy
For system (1.2) in the n-dimensional competitive and prey-predator cases, in [3], Hofbauer et al. obtained conditions for permanence of the system (1.2). For system (1.2) in the two-species prey-predator case, Hutson and Moran [5] gave necessary and sufficient conditions for its permanence. For the two-species competition system of equation (1.2), the permanence was considered by Lu and Wang [6]. For higher-dimensional case of equation (1.2), a three-species competitive system of the May-Leonard type was studied by Roeger in [8]. Global stability result of system (1.2) was given by Wang and Lu in [9]. For system (1.2) in the two-dimensional cooperative case, an example was given by Hofbauer et al. [3] to show that system (1.2) may not be permanent. By applying the approach of Hofbauer et al. in [3], Lu and Wang [6] proved that any two-species cooperative system of equation (1.2) cannot be permanent. For the high-dimensional cooperative case, the technique developed in [4, 6] cannot easily be extended, Wei et al. [7] gave an incomplete result of non-permanence for system (1.2) in the n-species cooperative case.
The above results proposed by previous studies [3, 5, 6] were extended by Kon [10] to a general two-species Kolmogorov system. By virtue of the average Lyapunov functions approach developed by Hofbauer et al. [3], he gave some permanence conditions and applied them to prey-predator and competitive cases. However, in the cooperative case, he suggested that the conditions of permanence may fail based on the results obtained in [6]. By introducing the constants \(\theta_{ij}\), system (1.2) in the two-species case can be extended as follows:
Equation (1.4) is called the Gilpin and Ayala type model; it was proposed by Gilpin and Ayala in [11]. For two- and high-dimensional competitive and prey-predator cases of (1.4), the dynamical behavior was studied by Kon [10] and Chen et al. in [12, 13]. For system (1.4) in the cooperative case, the permanence result was left unsolved in [10].
In this paper, we consider the following three-dimensional discrete-time Lotka-Volterra systems:
The main object in the present paper is to complete the proof of Wei et al. [7] in the three-dimensional case. Furthermore, we also consider the permanence of model (1.4) in some special case. Our main results are stated as follows.
Theorem 1.1
If \(a_{ij}>0\) (\(i,j=1,2\)) and \(\theta_{11}=\theta_{21}>0\), \(\theta_{12}= \theta_{22}>0\) are satisfied, then system (1.4) is not permanent.
Theorem 1.2
If system (1.5) is a cooperative one, i.e. \(a_{ij}>0\) (\(i,j=1,2,3\)), then it is not permanent.
2 Preliminaries and some lemmas
To show the main results, firstly, we will give some lemmas which will be used in the sequel.
Let
where \(a_{ij}>0\).
By virtue of the Perron-Frobenius theorem, Theorem 15.1.1 and 15.1.2 in [4] and Lemma 2 in [7], it can be easily seen that we have the following.
Lemma 2.1
If matrix A with \(a_{ij}> 0\) satisfies \(\det(A)>0\), then A has a real eigenvalue \(\lambda>0\) and a corresponding eigenvector \(p=(p_{1},p_{2},p_{3})> 0\) with \(\sum_{i=1}^{3} p_{i}=1\), that is,
furthermore,
Remark 2.1
Arrow [14] and Szidarovszky [15] extended the Perron-Frobenius theorem to Metzler matrices. Here a matrix A is called a Metzler matrix if its off-diagonal entries are non-negative. Thus, Lemma 2.1 can also be obtained from Theorem 4′ in [14] or Theorem 7.12 in [15].
Lemma 2.2
[4]
If \(u=(u_{1},u_{2}\cdots u_{n})\geq0\), \(v=(v_{1},v_{2} \cdots v_{n})\geq0\) and \(\sum^{n}_{i=1}v_{i}=1\), then
Lemma 2.3
By considering the relationships between \(a_{31}\) and \(a_{21}\), \(a_{23}\) and \(a_{13}\), \(a_{32}\) and \(a_{12}\), the interaction matrix A can be classified into the following five classes:
-
(1)
\(a_{31}\geq{a_{21}}\), \(a_{23}\leq{a_{13}}\);
-
(2)
\(a_{32}\geq{a_{12}}\), \(a_{23}\geq{a_{13}}\), \(a_{31}< a _{21}\); \(a_{32}\geq{a_{12}}\), \(a_{23}>{a_{13}}\), \(a_{31}\geq{a_{21}}\);
-
(3)
\(a_{32}<{a_{12}}\), \(a_{31}< a_{21}\); \(a_{32}= {a_{12}}\), \(a_{23}<{a_{13}}\), \(a_{31}<{a_{21}}\); \(a_{32}<{a_{12}}\), \(a_{23}>{a_{13}}\), \(a_{31}={a _{21}}\);
-
(4)
\(a_{12}<{a_{32}}\), \(a_{31}<{a_{21}}\), \(a_{23}<{a_{13}}\);
-
(5)
\(a_{12}>{a_{32}}\), \(a_{31}>{a_{21}}\), \(a_{23}>{a_{13}}\).
Remark 2.2
Clearly, the above five cases are a complete classification of interaction matrix A in terms of the relationship between \(a_{31}\) and \(a_{21}\), \(a_{23}\) and \(a_{13}\), \(a_{32}\) and \(a_{12}\).
For convenience, we rewrite system (1.5) into the following form:
Lemma 2.4
If \(\det(A)<0\) and \(a_{31}\geq{a_{21}}\), \(a_{23}\leq{a_{13}}\), then the map defined by equation (2.2) satisfies
where \(\tilde{\varepsilon} >1\) and
Here \(N>0\) is arbitrarily fixed, \(a=\frac{1}{2}\min_{i\neq {j}}\{a_{ij}\}\), \(M>0\) is sufficiently large and \(0<\delta<a\) is a constant.
Proof
Let α̂, β̂, γ̂ be defined as
where \(A_{ii}\) and \(A_{ij}\) (\(i\neq j\)) are the algebraic cofactors of \(-a_{ii}\) and \(a_{ij}\) (\(i\neq j\)), respectively.
Along the orbits of (2.2), we have
where \(\hat{\triangle}={r_{1}}\hat{\alpha}+{r_{2}}\hat{\beta}+ {r_{3}}\hat{\gamma}\).
Let \((x,y,z)\in{B_{N}\cap{I_{(M,M)}}}\). Then, for large enough \(M>0\), we obtain
Moreover, since \(x\rightarrow{x\exp(-ax)}\) is monotonically decreasing for \(x\geq M> \frac{1}{a}\), we infer that
together with the definition of region I, it follows that
From (2.6), we see that if \((x,y,z)\in{B_{N}\cap{I_{(M,M)}}}\), then \(z\leq N^{\frac{1}{ \hat{\gamma}}} M^{-(\frac{\hat{\alpha}+\hat{\beta}}{\hat{\gamma}})}\). Thus, we conclude that
By the fact that \(y\rightarrow{y\exp(-ay)}\) is monotonically decreasing for \(y> \frac{1}{a}\), it follows that
Clearly, (2.6)-(2.9) imply \((x{^{\prime}},y{^{ \prime}},z{^{\prime}})\in{B_{N}\cap{ \mathrm{IV}_{(M \tilde{\varepsilon} ,M\tilde{\varepsilon} )}}}\).
Let \((x,y,z)\in{B_{N}\cap{ \mathrm{IV}_{(M,M)}}}\), then, for large enough \(M>0\),
Moreover,
Since \(y\rightarrow{y\exp(-ay)}\) is monotonically decreasing for \(y>\frac{1}{a}\), we have
According to (2.14)-(2.13), we have \((x',y',z') \in{B_{N}\cap{\mathrm{I}_{(M\tilde{\varepsilon},M \tilde{\varepsilon})}}}\). □
Lemma 2.5
If \(\det(A)<0\) and \(a_{12}<{a_{32}}\), \(a_{31}<{a_{21}}\), \(a_{23}<{a_{13}}\), then the map defined by equation (2.2) satisfies
where \(\tilde{\varepsilon}>1\) and
where \(a=\frac{1}{2}\min_{i\neq{j}}\{a_{ij}\}\), \(M>0\) is sufficiently large and
with constants \(0<\delta<a, 0<\delta_{1}<a_{21}-a_{31}, 0<\delta_{3}<a _{32}-a_{12}\) and \(0<\delta_{5}<a_{13}-a_{23}\).
Proof
Since the proofs of (2.15) and (2.16) are essentially the same as the proof of (2.14), it suffices to prove that (2.14) is satisfied, that is, we need only verify that there exists a constant \(\tilde{\varepsilon}>1\) such that the following holds true for the map defined by (2.2):
Let \((x,y,z)\in{B}_{N}\cap{ \mathrm{III}{'}_{(M,M)}}\), for large enough \(M>0\), we have
where α̂, β̂, γ̂ are defined as in (2.5).
Notice that \(y\exp(-ay)\) is monotonically decreasing when \(y\geq \frac{1}{a}\), and we obtain for \((x,y,z)\in{B}_{N}\cap{ \mathrm{III}{'}_{(M,M)}}\),
Furthermore, from (2.18), we deduce that if \((x,y,z)\in {B}_{N}\cap{ \mathrm{III}{'}_{(M,M)}}\), then
Therefore,
From the above it follows that
for the map given by (2.2).
By using the same procedure as in the proof of (2.14), we see that the map defined by (2.2) satisfies (2.15) and (2.16). □
3 Proof of main results
3.1 Proof of Theorem 1.1
Proof
By introducing the transformation
system (1.4) becomes
The proof proceeds in a similar manner to that employed in Theorem 1 in [6]. □
3.2 Proof of Theorem 1.2
Proof
By considering the sign of \(\det(A)\), we will divide our proof in three cases.
Case I. \(\det(A)=0\). Define a continuous function \(V(x,y,z)\) by
where \(A_{11}\), \(A_{21}\) and \(A_{31}\) are the algebraic cofactors of \(-a_{11}\), \(a_{21}\) and \(a_{31}\), respectively.
It is obvious that \(A_{ij}>0\) since \(a_{ij}>0\). Along the orbits of (2.2), we have
where \(\triangle=A_{11}{r_{1}}+A_{21}{r_{2}}+A_{31}{r_{3}}\).
Case I.1. If \(\triangle=0\), then \(V(x,y,z)\) is invariant along the orbits of (2.2). In this case, for any given compact set E in the interior of \(R^{3}_{+}\), we can take sufficiently large C such that
which implies the non-permanence of system (1.5).
Case I.2. If \(\triangle<0\) (>0), then \(\exp ({\triangle })<1\) (>1). It follows from (3.4) that, for any given compact set E in the interior of \(R^{3}_{+}\), there is a positive orbit of (2.2) leaving ultimately E, which will not return to E afterwards. Therefore, system (1.5) remains not permanent in this case.
Case II. Suppose \(\det(A)>0\). From Lemma 2.1, we see that there exist constant \(p_{1},p_{2},p_{3}>0\), such that (2.1) holds.
Construct the following continuous function \(V(x,y,z)\):
where \(\alpha= {p_{1}} \), \(\beta= {p_{2}} \), \(\gamma= {p_{3}} \).
Calculating along the orbits of (2.2), we obtain
where \(\tilde{\triangle}={r_{1}}\alpha+{r_{2}}\beta+{r_{3}}\gamma \) and
Since \(x>0\), \(y>0\), \(z>0\), let us denote by μ the number defined by \(\mu=\min\{\mu_{1},\mu_{2},\mu_{3}\}\). Then together with Lemma 2.2, it is shown that
where \(\tilde{\mu}=(\alpha+\beta+\gamma)^{-1}\) and \(0<\tilde{k}< \min\{(\alpha\tilde{\mu})^{-1},(\beta\tilde{\mu})^{-1},(\gamma \tilde{\mu})^{-1}\}\).
Therefore, we have
Since \(\tilde{k} \mu>0\), \(\tilde{\mu}>0\), one can take \(M>0\) large enough to satisfy \(\varepsilon=\bar{\Delta}+\mu\tilde{k}{M}^{\tilde{\mu}}>1\) and considering the regions \(U_{M}=\{(x,y,z)\in{R^{3}_{+}}\vert V(x,y,z) \geq{M}\}\), (2.2) maps \(U_{M}\) into \(U_{M\varepsilon}\). Therefore, all the orbits starting in \(U_{M}\) are unbounded and system (1.5) is not permanent.
Case III. \(\det(A)<0\). According to Lemma 2.3, our proof in this case can be divided into five cases.
Case III.1. \(a_{31}\geq{a_{21}}\), \(a_{23}\leq{a_{13}}\).
From Lemma 2.4, we claim that (2.2) maps
Similarly,
where \(\tilde{\varepsilon} >1\). By iteration, this shows that all orbits starting in \(B_{N}\cap{\mathrm{I}_{(M,M)}}\) are unbounded and system (1.5) is not permanent.
Case III.2. \(a_{32}\geq{a_{12}}\), \(a_{23}\geq{a_{13}}\), \(a_{31}< a_{21}\); \(a_{32}\geq{a_{12}}\), \(a_{23}>{a_{13}}\), \(a _{31}\geq{a_{21}}\).
In this case we define the regions \(\mathrm{II}_{(M,M)}\) and \(\mathrm{V}_{(M,M)}\) as follows:
It is easy to check that Case III.2 satisfies \(a_{32}\geq{a_{12}}\), \(a _{23}\geq{a_{13}}\). Observe that Case III.1 and \(a_{32}\geq{a_{12}}\), \(a _{23}\geq{a_{13}}\) are in a symmetric form. The proof of this case follows in a similar manner to Case III.1, so we see that the map defined by equation (2.2) satisfies
and
with \(\tilde{\varepsilon}>1\). By iteration, this shows that all orbits starting in \(B_{N}\cap{\mathrm{II}_{(M,M)}}\) are unbounded, which implies that system (1.5) is not permanent.
Case III.3. \(a_{32}<{a_{12}}\), \(a_{31}< a_{21}\); \(a_{32}={a_{12}}\), \(a_{23}<{a_{13}}\), \(a_{31}<{a_{21}}\); \(a_{32}<{a_{12}}\), \(a_{23}> {a_{13}}\), \(a_{31}={a_{21}}\).
In this case let us define regions \(\mathrm{III}_{(M,M)}\) and \(\mathrm{IV}_{(M,M)}\) as follows:
It is obvious that Case III.3 satisfies \(a_{12}\geq{a_{32}}\), \(a_{21} \geq{a_{31}}\). By virtue of the symmetry, the theorem can be proved by the same method as employed in the proof of Case III.1 and hence we know that (2.2) satisfies
and
with \(\tilde{\varepsilon}>1\). By iteration, this shows that all orbits starting in \(B_{N}\cap{\mathrm{II}_{(M,M)}}\) are unbounded. This leads to non-permanence of system (1.5).
Case III.4. \(a_{12}<{a_{32}}\), \(a_{31}<{a_{21}}\), \(a_{23}<{a_{13}}\).
From Lemma 2.5, we infer that
where \(\tilde{\varepsilon}>1\). By iteration, all orbits starting in \(B_{N}\cap{ \mathrm{III}'_{(M,M)}}\) are unbounded. Hence, system (1.5) is not permanent.
Case III.5. \(a_{12}>{a_{32}}\), \(a_{31}>{a_{21}}\), \(a_{23}>{a_{13}}\).
Define the regions as follows:
where \(a=\frac{1}{2}\min\{a_{ij}\}_{(i\neq{j})}\), \(M>0\) is sufficiently large and
with \(0<\delta<a\), \(0<\delta_{2}<a_{12}-a_{32}\), \(0<\delta_{4}<a_{23}-a _{13}\), \(0<\delta_{6}<a_{31}-a_{21}\). Similarly to the proof of Case III.4, we obtain
where \(\tilde{\varepsilon} >1\). By iteration, all orbits starting in \(B_{N}\cap{ \mathrm{IV}{'}_{(M,M)}}\) are unbounded and Theorem 1.2 holds true in this case.
This completes the proof of the theorem. □
Remark 3.1
The method we used here is to find some regions so that the orbits of (1.5) starting from them approach the axes as n tends to infinity. For example, in Case III.1, we constructed the regions \(B_{N}\), \(\mathfrak{I}'\), \(\mathrm{III}'\), \(\mathrm{V}'\) satisfying the requirement that the orbits starting in region \(B_{N} \cap \mathrm{III}'\) jump to the region \(B_{N} \cap \mathrm{V}'\) and then jump to the region \(B_{N} \cap \mathrm{I}'\) and finally jump to the region \(B_{N} \cap \mathrm{III}'\) again. This is somewhat similar to a phenomenon proposed by May and Leonard [16] in the three competition models.
4 Concluding remarks
We have seen that systems (1.4) and (1.5) in the cooperative case cannot be permanent by modifying the techniques used in Lu and Wang [6] and Hofbauer et al. [3]. Our approach is to find a suitable set of initial positions satisfying the requirement that the positive orbits of (1.5) starting from this set approach the x-axis, y-axis and z-axis as n tends to infinity. This is somewhat similar to that in [8, 16] where the orbits of a three-dimensional discrete competition models approach the boundary cycle. The orbits of (1.5) starting from the given regions satisfy
Hence, sufficiently small statistical fluctuations can lead to the extinction of any species. This means that the three species reveal the great risk of extinction in practice although they are cooperative and each one can be permanent in the absence of the other two.
For the matrix A, we have shown that system (1.5) is not permanent in any case with all the elements \(a_{ij}\) (\(i,j=1,2,3\)) positive. In fact, by using the technique similar to the proof of Theorem 1.2, we can also obtain the non-permanence of system (1.5). This is the following theorem without limitation for \(a_{ii}\) (\(i=1,2,3\)).
Theorem 4.1
If for the matrix A, for all i, j such that \(a_{ij}>0\) (\(i\neq {j}\)) (\(i,j=1,2,3\)), then system (1.5) is not permanent.
References
Ricker, WE: Stock and recruitment. J. Fish. Res. Board Can. 11, 559-623 (1954)
May, RM: Simple mathematical models with very complicated dynamics. Nature 261, 459-467 (1976)
Hofbauer, J, Hutson, V, Jansen, W: Coexistence for systems governed by difference equations of Lotka-Volterra type. J. Math. Biol. 25, 553-570 (1987)
Hofbauer, J, Sigmund, K: Dynamical Systems and the Theory of Evolution. Cambridge University Press, Cambridge (1988)
Hutson, V, Moran, W: Persistence of species obeying difference equations. J. Math. Biol. 15, 203-213 (1982)
Lu, Z, Wang, W: Permanence and global attractivity for Lotka-Volterra difference systems. J. Math. Biol. 25, 269-282 (1999)
Wei, Q, Lu, Z, Chen, L: Non-permanence for Lotka-Volterra difference systems. In: Advanced Topics in Biomathematics, pp. 259-263. World Scientific Press, Singapore (1998)
Roeger, L-IW: Discrete May-Leonard competition models II. Discrete Contin. Dyn. Syst. B 5, 841-860 (2005)
Wang, W, Lu, Z: Global stability of discrete models of Lotka-Volterra type. Nonlinear Anal. 35, 1019-1030 (1999)
Kon, R: Permanence of discrete-time Kolmogorov systems for two species and saturated fixed points. J. Math. Biol. 48, 57-81 (2004)
Gilpin, ME, Ayala, FJ: Global models of growth and competition. Proc. Natl. Acad. Sci. 70, 3590-3593 (1973)
Chen, F, Wu, L, Li, Z: Permanence and global attractivity of the discrete Gilpin-Ayala type population model. Comput. Appl. Math. 53, 1214-1227 (2007)
Li, Z, Chen, F: Extinction and almost periodic solutions of a discrete Gilpin-Ayala type population model. J. Differ. Equ. Appl. 19, 719-737 (2013)
Arrow, KJ: A ‘dynamic’ proof of the Frobenius-Perron theorem for Metzler matrices. In: Anderson, TW, Athreya, KB, Iglehart, DL (eds.) Probability, Statistics and Mathematics-Papers in Honor of Samuel Karlin, pp. 17-26. Academic Press, New York (1989)
Szidarovszky, F: Introduction to Matrix Theory: With Applications to Business and Economics. World Scientific, Singapore (2002)
May, RM, Leonard, WJ: Nonlinear aspects of competition between three species. SIAM J. Appl. Math. 29, 243-253 (1975)
Acknowledgements
The first author was supported by the National Natural Science Foundation of China (No. 11401062), The National Natural Science Foundation of Chongqing CSTC (No. cstc2014jcyjA0080), Scientific and Technological Research Program of Chongqing Municipal Education Commission (No. KJ1400937), The Scientific Research Foundation of CQUT (No. 2012ZD37). The second author was supported by the Specialized Research Fund for the Doctoral Program of Higher Education of China (No. 20115134110001).
We are grateful to the anonymous referees for their careful reading and helpful suggestions which led to an improvement of our original manuscript. We also express our gratitude to Professor Yong Fu in Chongqing University of Technology for his careful reading of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have equally made contributions. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lu, G., Lu, Z. Non-permanence for three-species Lotka-Volterra cooperative difference systems. Adv Differ Equ 2017, 152 (2017). https://doi.org/10.1186/s13662-017-1202-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1202-6