- Research
- Open Access
- Published:
Permanence and global stability of a May cooperative system with strong and weak cooperative partners
Advances in Difference Equations volume 2018, Article number: 172 (2018)
Abstract
In this paper, a May cooperative system with strong and weak cooperative partners is proposed. First, by using differential inequality theory, we obtain the permanence and non-permanence of the system. Second, we discuss the existence of the positive equilibrium point and boundary equilibrium point, after that, by constructing suitable Lyapunov functions, it is shown that the equilibrium points are globally asymptotically stable in the positive octant. Finally, examples together with their numerical simulations show the feasibility of the main results.
1 Introduction
Cooperative system is an important system in the field of biology, and the importance of the system is the same as for prey–predator and competitive systems. Many scholars have done research on the cooperative ecosystem (see [1–12]). May [1] described a cooperative system with the following equations:
where \({x_{1}}\), \({x_{2}}\) are the densities of the species \({x_{1}}\), \({x_{2}}\) at time t, respectively, \({r_{i}} \) refers to the intrinsic rate of population \({x_{i}}\), \(i=1,2\), and \({b_{i}}\), \(i=1,2\), refers to the coefficients of cooperation, \({r_{i}}\), \({a_{i}}\), \({b_{i}}\), \({c_{i}}\), \(i=1,2\) are positive constants. His research shows that the cooperative system has a unique positive equilibrium point and it is globally asymptotically stable.
Cui and Chen [2] think that a non-autonomous form is more reasonable. They put forward the following cooperation system:
where the function \({r_{i}(t)}\), \({a_{i}(t)}\), \({b_{i}(t)}\), \({c_{i}(t)}\), \(i=1,2\) are continuous functions and bounded above and below by positive constants. Under the premise of \({r_{i}(t)}\), \({a_{i}(t)}\), \({b_{i}(t)}\), \({c_{i}(t)}\), \(i=1,2\) are periodic function, they get the sufficient conditions which guarantee the global asymptotic stability of positive periodic solutions of this system.
In view of the influence of time delay, species interactions and feedback, Chen, Liao and Huang [3] proposed the following n-species cooperation system:
where \(x_{i}(t)\), \(i=1,\ldots,n\) is the density of cooperation species \(X_{i}\), \(u_{i}(t)\), \(i=1,\ldots,n\), is the feedback control variable. The authors obtained the sufficient conditions which guarantee the permanence by using differential inequality theory. For more work as regards the system, we can refer to [4–6].
In the real world, individual organisms are associated with a strong and weak differential. Mohammadi [13] proposed a Leslie–Gower predator–prey model:
where \(r_{1}\), \(b_{1}\), α, \(c_{1}\), \(c_{2}\), \(r_{2}\), \(a_{2}\) are positive constants, the predators can distinguish between strong and weak prey and predator eats only weak prey, when a prey becomes weak, it does not become strong again; by constructing a suitable Lyapunov function, it is shown that the unique equilibrium point is stable in the positive octant.
Conversely, in many cooperative ecosystems, partners like strong partners, because the strong partners are more conducive to their survival. This shows that the cooperative object should only be part instead of the whole.
There are two populations:
The partner H, whose total density is H, is divided into two categories \({H_{1}}\), \({H_{2}}\). \({H_{1}}\) denotes the strong partner density and \({H_{2}}\) denotes the weak. Of the other partner, the total density is P.
The May cooperative model (1.1) is our basic model and we consider the following assumptions to improve the model:
- \((A_{1})\) :
-
The partner P can distinguish between strong partner \({H_{1}}\) and weak partner \({H_{2}}\) and the partner P cooperates only with strong partner \({H_{1}}\).
- \((A_{2})\) :
-
When provided with food resources, the weak partner \({H_{2}}\) has no negative influence on the stronger partner, that is to say, the weak partners can only eat the food after the strong ones have used enough.
- \((A_{3})\) :
-
Due to the lack of sufficient food resources, once it becomes weak, the weak partner \({H_{2}}\) and their descendants will no longer be strong.
- \((A_{4})\) :
-
The rate of becoming weak is described by the simple mass action \(\alpha{H_{1}}{H_{2}}\).
By the above assumptions, we propose a model as follows:
where \({r_{i}}\), \({a_{i}}\), \({b_{i}}\), \({c_{i}}\), d, \(i=1,2\) are positive constants.
The structure of this article as follows. In Sect. 2 we will introduce several useful lemmas and prove permanence and non-permanence. In Sect. 3 we will discuss the existence of the equilibrium point. In Sect. 4 global stability of equilibrium points is studied. In Sect. 5 two examples are given to show the feasibility of our results. We end this paper by a brief discussion.
2 Permanence and non-permanence
In view of the actual ecological implications of system (1.5), we assume that the initial value \(H_{i}(0)>0\), \(i=1, 2\), \(P(0)>0\) in system (1.5). Obviously, any solution of system (1.5) remains positive for all \(t\geq0\).
Lemma 2.1
(see [14])
Let \(a>0\), \(b>0\).
-
(I)
If \(\frac{dx}{dt}\geq x(b-ax)\), then \(\liminf_{t\rightarrow+\infty}{x(t)}\geq\frac{b}{a}\) for \(t \geq0\) and \(x(0)>0\).
-
(II)
If \(\frac{dx}{dt}\leq x(b-ax)\), then \(\limsup_{t\rightarrow+\infty}{x(t)}\leq\frac{b}{a}\) for \(t\geq0\) and \(x(0)>0\).
Lemma 2.2
(see [15])
Let \(a>0\), \(b>0\).
If \(\frac{dx}{dt}\leq x(-b-ax)\), then \(\lim_{t\rightarrow+\infty}{x(t)}=0\) for \(t\geq0\) and \(x(0)>0\).
Theorem 2.1
If the assumptions \((B_{1})\) and \((B_{2})\) hold,
- \((B_{1})\) :
-
\(M=1-\frac{\alpha d}{r_{1}e}>0\),
- \((B_{2})\) :
-
\(1>\frac{{\alpha }^{2}(a_{1}c_{2}+b_{1})}{r_{1}e(a_{1}c_{1}c_{2}+b_{1}c_{1}+c_{2})}\),
then system (1.5) is permanent.
Proof
Let \((H_{1}(t),H_{2}(t),P(t))^{T}\) be any positive solution of system (1.5), from the second equation of system (1.5), it follows that
According to Lemma 2.1, we have
For any positive constant ε small enough, it follows from (2.1) that there exists a large enough \(T_{1}>0\) such that
From the third equation, we have
According to Lemma 2.1, we have
For any positive constant ε small enough, it follows from (2.3) that there exists a large enough \(T_{2}>T_{1}\) such that
By applying (2.2) and (2.4), from the first equation of system (1.5), we have
According to Lemma 2.1, we have
Letting \(\varepsilon\rightarrow0\) and by applying (2.1) and (2.3)
For any positive constant ε small enough, it follows from (2.5) that there exists a large enough \(T_{3}>T_{2}\) such that
Then the second equation of (1.5) leads to
According to Lemma 2.1, we have
Letting \(\varepsilon\rightarrow0\) in the above inequality leads to
For any positive constant ε small enough, it follows from (2.7) that there exists a large enough \(T_{4}>T_{3}\) such that
Then substituting (2.8) into the first equation of (1.5), we have
According to Lemma 2.1, we have
Letting \(\varepsilon\rightarrow0\) and by applying (2.5) and (2.7)
From the third equation of system(1.5), it follows that
According to Lemma 2.1, we have
(2.1), (2.3), (2.5), (2.7), (2.9) and (2.10) show that if the assumptions \((B_{1})\), \((B_{2})\) hold, then system (1.5) is permanent. □
Theorem 2.2
If the assumption \((B_{3})\) holds,
- \((B_{3})\) :
-
\(M=1-\frac{\alpha d}{r_{1}e}<0\),
then the weak partners \(H_{2}\) and partners P are permanent, the strong partners \(H_{1}\) are non-permanent.
Proof
Let \((H_{1}(t),H_{2}(t),P)^{T}\) be any positive solutions of system (1.5) for \(t\geq0\).
From the proof Theorem 2.1, we know
Noting that condition \((B_{3})\) implies that \(1-\frac{\alpha(H_{2}^{i}-\varepsilon)}{r_{1}}<0\).
According to Lemma 2.2, we have
By applying (2.11), from the second equation of system (1.5), it is easy to prove that
(2.3), (2.10), (2.11) and (2.12) show that if the assumptions \((B_{3})\) hold, then the weak partners \(H_{2}\) and partners P are permanent, the strong partners \(H_{1}\) are non-permanent. □
3 Existence of equilibrium point
Theorem 3.1
If the assumption \((B_{1})\) holds, then system (1.5) have a unique positive equilibrium point.
Proof
We determine the positive equilibrium of the system (1.5) through solving the following equations:
Here we transform Eqs. (3.1) into the following form:
where \(a_{11}=Ma_{1}\), \(b_{11}=Mb_{1}\), \(c_{11}=(c_{1}+\frac{\alpha d}{r_{1}e})/M\), from the first and second equations of (3.2), we have
where
From the terms D and F of (3.3), we know that there is a unique positive solutions \(H_{1}^{*}\). Substitute \(H_{1}^{*}\) into the second and third equations of (3.1). Then system (1.5) has a unique positive equilibrium point \(E_{1}(H_{1}^{*}, H_{2}^{*}, {P}^{*})\). □
Theorem 3.2
Clearly, the system (1.5) has an equilibrium point \(E_{2}(0, {H_{2}}_{*}, {P}_{*})\).
4 Global stability
Theorem 4.1
If the assumptions \((B_{1})\) and \((B_{4})\) hold,
- \((B_{4})\) :
-
\({\alpha}^{2}<\frac{a_{2}r_{1}c_{1}e}{a_{2}+b_{2}H_{1}^{s}}\),
then the positive equilibrium of system (1.5) is globally asymptotically stable.
Proof
Inspired by the idea of Li, Han and Chen [7] and Leon [8], the following Lyapunov function is presented:
We define \(L: \{(H_{1},H_{2},P)\in R_{+}^{3}:H_{1}>0,H_{2}>0,P>0 \}\rightarrow R\) by
where \(\eta_{1}=1\), \(\eta _{2}=r_{1}b_{1}H_{1}^{*}(a_{2}+b_{2}H_{1}^{*})/r_{2}b_{2}{P}^{*}(a_{1}+b_{1}{P}^{*})\), \(\eta_{3}=1/a_{2}\). The function \(L(H_{1},H_{2},P)\) is defined, continuous and positive definite for all \(H_{1},H_{2},P>0\). and the minimum \(L(H_{1},H_{2},P)=0\) occurs at the equilibrium point \((H_{1}^{*},H_{2}^{*},{P}^{*})^{T}\). Calculating the derivative of L along the solution \((H_{1}(t),H_{2}(t),P(t))^{T}\) of the system (1.5), we have
where
Now, we prove \(A(t)\), \(B(t)\) are negative definite.
Let \(A(t)\stackrel{\text{def}}{=}\frac {1}{(a_{1}+b_{1}P)(a_{2}+b_{2}{H_{1}})}Y^{T}AY\) where \(Y=((H_{1}-H_{1}^{*}),(P-{P}^{*}))^{T}\) and
Note first that both of the off-diagonal elements of matrix A are negative and
thus \(A(t)\leq0\).
Noting that \(ab\leq\frac{\theta a^{2}}{2}+\frac{b^{2}}{2\theta}\), \(\theta>0\), it follows
Denote \(\delta_{1}=\frac{r_{1}c_{1}}{a_{2}+b_{2}H_{1}^{s}}-\frac{\alpha }{2a_{2}\theta_{1}}-\frac{\eta_{3}\alpha}{2\theta_{2}}\) and \(\delta_{2}=\eta_{3}c_{2}-\frac{\eta_{3}\alpha\theta_{2}}{2}-\frac {\alpha\theta_{1}}{2a_{2}}\). Then taking
gives
From \((B_{4})\), we know that \(\delta_{i}>0\), \(i=1,2\). It is easy to see that \(B(t)\leq0\).
Obvious, \(\frac{dL}{dt}<0\) for all \(H_{1}>0\), \(H_{2}>0\), \(P>0\) except the equilibrium point \((H_{1}^{*}, H_{2}^{*}, {P}^{*})\) where \(\frac{dL}{dt}=0\). According to the Lyapunov asymptotic stability theorem [9], the equilibrium point \((H_{1}^{*}, H_{2}^{*}, {P}^{*})\) is globally asymptotically stable in the interior of \(R_{+}^{3}\). This completes the proof. □
Theorem 4.2
If the assumptions \((B_{3})\) and \((B_{5})\) hold,
- \((B_{5})\) :
-
\({\alpha}^{2}< r_{1}c_{1}e\),
then the equilibrium point \(E_{2}(0, {H_{2}}_{*}, {P}_{*})\) system is globally asymptotically stable.
Proof
We define \(L: \{(H_{1},H_{2},P)\in R_{+}^{3}:H_{1}>0,H_{2}>0,P>0 \}\rightarrow R\) by
where \(\eta_{1}=1\), \(\eta_{2}=r_{1}a_{2}^{2}/r_{2}b_{2}^{2}P_{*}^{2}\), \(\eta_{3}=1/a_{2}\). The function \(L(H_{1},H_{2},P)\) is defined, continuous and positive definite for all \(H_{1},H_{2},P>0\). and the minimum \(L(H_{1},H_{2},P)=0\) occurs at the equilibrium point \((H_{1}^{*},H_{2}^{*},{P}^{*})^{T}\). Calculating the derivative of L along the solution \((H_{1}(t),H_{2}(t),P(t))^{T}\) of the system (1.5), we have
where
Now, we prove \(C(t)\), \(D(t)\) is negative definite.
Let \(C(t)\stackrel{\text{def}}{=}\frac {1}{(a_{1}+b_{1}P)(a_{2}+b_{2}{H_{1}})}Y^{T}CY\) where \(Y=((H_{1}),(P-{P}_{*}))^{T}\)
Note first that both of the off-diagonal elements of matrix A are negative and
thus \(C(t)\leq0\).
Noting that \(ab\leq\frac{\theta a^{2}}{2}+\frac{b^{2}}{2\theta}\), \(\theta>0\), from (2.11), for sufficiently small constant \(\varepsilon_{0}>0\), there is an integer \(T>0\) such that if \(t>T\), \(b_{2}H_{1}(t)<\varepsilon_{0}\), it follows that
Denote \(\delta_{1}=\frac{r_{1}c_{1}}{a_{2}+\varepsilon_{0}}-\frac{\alpha }{2a_{2}\theta_{1}}-\frac{\eta_{3}\alpha}{2\theta_{2}}\) and \(\delta_{2}=\eta_{3}c_{2}-\frac{\eta_{3}\alpha\theta_{2}}{2}-\frac {\alpha\theta_{1}}{2a_{2}}\). Then taking
gives
From \((B_{5})\), we know that, for sufficiently small constant \(\varepsilon_{0}>0\), \(\delta_{i}>0\), \(i=1,2\). It is easy to see that \(D(t)\leq0\).
Obviously, \(\frac{dL}{dt}<0\) for all \(H_{1}>0\), \(H_{2}>0\), \(P>0\) except the equilibrium point \((0, {H_{2}}_{*}, {P}_{*})\) where \(\frac{dL}{dt}=0\). According to the Lyapunov asymptotic stability theorem [9], the equilibrium point \((0, {H_{2}}_{*}, {P}_{*})\) is globally asymptotically stable in the interior of \(R_{+}^{3}\). This completes the proof. □
5 Example and numeric simulation
Consider the following system:
By calculation, we have \(M=1-\frac{\alpha d}{r_{1}e}=0.9>0\), \({\alpha}^{2}=0.09<8<\frac{a_{2}r_{1}c_{1}e}{a_{2}+b_{2}H_{1}^{s}}\), and it is easy to see that the conditions \((B_{1})\) and \((B_{4})\) are verified. It follows from Theorem 4.1 that there is a unique positive equilibrium point \((H_{1}^{*},H_{2}^{*},{P}^{*})=(0.383868, 1.057580, 0.517211)\) of system (5.1) and it is globally asymptotically stable. Our numerical simulation supports our result (see Fig. 1).
Dynamical behavior of system (5.1) with initial values \((0.4,1.2,0.7)^{T}\), \((0.1,0.8,0.2)^{T}\) and \((0.25,0.6,0.3)^{T}\)
Consider the following system:
By calculation, we have \(M=1-\frac{\alpha d}{r_{1}e}=-0.1<0\), \({\alpha}^{2}=10.89<\frac{a_{2}r_{1}c_{1}e}{a_{2}+b_{2}H_{1}^{s}}=12\), it is easy to see that the conditions \((B_{3})\) and \((B_{5})\) are verified. It follows from Theorem 3.1 that there is a unique positive equilibrium point \(({H_{1}}_{*},{H_{2}}_{*},{P}_{*})=(0, 1, 0.5)\) of system (5.2) and it is globally asymptotically stable. Our numerical simulation supports our result (see Fig. 2).
Dynamical behavior of system (5.2) with initial values \((0.4,1.4,0.8)^{T}\), \((0.1,0.9,0.3)^{T}\) and \((1.2,0.5,0.1)^{T}\)
6 Discussion
In this paper, a May cooperative system with strong and weak cooperative partners is studied. We obtained the sufficient conditions that guarantee the permanence, non-permanence and the global stability of the equilibrium points. By comparing the conditions of \((B_{1})\) and \((B_{3})\), we found that as α becomes larger and larger, the strong partner changes from persistent to extinct. The ecological explanation is that more and more the strong partner become a weak partner, thus we have extinction of the strong. The above numerical simulations also supports this conclusion.
At the end of this paper, we point out that conditions \((B_{1})\) and \((B_{3})\) can be weakened or even are unnecessary. This problem is very interesting and worthy of further study in the future.
References
May, R.M.: Theoretical Ecology, Principles and Applications. Sounders, Philadelphia (1976)
Cui, J.A., Chen, L.S.: Global asymptotic stability in a nonautonomous cooperative system. Syst. Sci. Math. Sci. 6(1), 44–51 (1993)
Chen, F.D., Liao, X.Y., Huang, Z.K.: The dynamic behavior of N-species cooperation system with continuous time delays and feedback controls. Appl. Math. Comput. 181(2), 803–815 (2006)
Chen, L.J., Xie, X.D.: Permanence of an N-species cooperation system with continuous time delays and feedback controls. Nonlinear Anal., Real World Appl. 12(1), 34–38 (2011)
Nasertayoob, P., Vaezpour, S.M.: Permanence and existence of positive periodic solution for a multi-species cooperation system with continuous time delays, feedback control, and periodic external source. Adv. Differ. Equ. 2012(1), Article ID 156 (2012)
Muhammadhaji, A., Teng, Z.D., Abdurahman, X.: Permanence and extinction analysis for a delayed ratio-dependent cooperative system with stage structure. Afr. Math. 25(4), 897–909 (2014)
Li, Z., Han, M.A., Chen, F.D.: Influence of feedback controls on an autonomous Lotka–Volterra competitive system with infinite delays. Nonlinear Anal., Real World Appl. 14(1), 402–413 (2013)
Leon, C.V.D.: Lyapunov functions for two-species cooperative systems. Appl. Math. Comput. 219(5), 2493–2497 (2012)
Yang, K., Miao, Z.S., Chen, F.D., Xie, X.D.: Influence of single feedback control variable on an autonomous Holling-II type cooperative system. J. Math. Anal. Appl. 435(1), 874–888 (2016)
Miao, Z.S., Xie, X.D., Pu, L.Q.: Dynamic behaviors of a periodic Lotka–Volterra commensal symbiosis model with impulsive. Commun. Math. Biol. Neurosci. 2015, Article ID 3 (2015)
Xie, X.D., Miao, Z.S., Xue, Y.L.: Positive periodic solution of a discrete Lotka–Volterra commensal symbiosis model. Commun. Math. Biol. Neurosci. 2015, Article ID 2 (2015)
Wu, R.X., Lin, L., Zhou, X.Y.: A commensal symbiosis model with Holling type functional response. J. Math. Comput. Sci. 16, 364–371 (2016)
Mohammadi, H., Mahzoon, M.: Effect of weak prey in Leslie–Gower predator–prey model. Appl. Math. Comput. 224(4), 196–204 (2013)
Chen, F.D.: On a nonlinear nonautonomous predator–prey model with diffusion and distributed delay. Comput. Appl. Math. 180(1), 33–49 (2005)
Chen, F.D., Chen, W.L., Wu, Y.M., Ma, Z.Z.: Permanence of a stage-structured predator–prey system. Appl. Math. Comput. 219(17), 8856–8864 (2013)
Acknowledgements
The research was supported by Guangxi College Enhancing Youth’s Capacity Project (2017KY0599) and the Scientific Research Development Fund of Young Researchers of Guangxi University of Finance and Economics (2017QNB18).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there is no conflict of interests.
Additional information
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
Zhao, L., Qin, B. & Chen, F. Permanence and global stability of a May cooperative system with strong and weak cooperative partners. Adv Differ Equ 2018, 172 (2018). https://doi.org/10.1186/s13662-018-1628-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1628-5
MSC
- 34C05
- 34C25
Keywords
- Cooperative system
- Strong
- Weak
- Global stability