- Research
- Open access
- Published:
Qualitative analysis of a harvested predator-prey system with Holling type III functional response
Advances in Difference Equations volume 2013, Article number: 249 (2013)
Abstract
A harvested predator-prey system with Holling type III functional response is considered. By applying qualitative theory of differential equations, we show the instability and global stability properties of the equilibria and the existence and uniqueness of limit cycles for the model. The possibility of existence of a bionomic equilibrium is discussed. The optimal harvesting policy is studied from the view point of control theory. Numerical simulations are carried out to illustrate the validity of our results.
1 Introduction
The dynamical relationship between predators and their preys is one of the dominant subjects in ecology and mathematical ecology due to its universal importance, see [1].
Harvesting generally has a strong impact on the population dynamics of a harvested species. The severity of this impact depends on the harvesting strategy implemented which in turn may range from rapid depletion to complete preservation of the population. Problems related to the exploitation of multispecies systems are interesting and difficult both theoretically and practically. The problem of inter-specific competition between two species which obey the law of logistic growth was considered by Gause [2]. But he did not study the effect of harvesting. Clark [3] considered harvesting of a single species in a two-species ecologically competing population model. Modifying Clark’s model, Chaudhuri [4, 5] studied combined harvesting and considered the perspectives of bioeconomics and dynamic optimization of a two-species fishery. Matsuda [6] showed that the total yield and lowest stock levels of harvested resources increase if fishers may focus their effort on a temporally abundant stock. Matsuda [7] showed that the maximum sustainable yield from the multispecies systems does not guarantee persistence of all resources. Dai [8] analyzed the global behavior of a predator-prey system with some functional response in the presence of constant harvesting. Xiao [9] studied Bogdanov-Takens bifurcations in a predator-prey system with constant rate harvesting.
Kar [10] studied global dynamics and controllability of a harvested prey-predator system with Holling type III functional response:
The aim of this paper is to consider the instability and global stability properties of the equilibria and the optimal harvesting policy, the existence and uniqueness of limit cycles of a harvested predator-prey system with Holling type III functional response:
where x, y denote prey and predator population respectively at any time t; α, β, , r, and are positive constants. Here α, β, and r are the same with system (1.1), and denote the harvesting efforts for the prey and predator respectively, the term denotes the functional response of the predator, which is known as Holling type III response function [11].
This work is motivated by the paper by Kar and Matsuda. They studied the above system (1.1) and showed the local stability of equilibria and uniqueness of limit cycle, but they did not discuss the global stability of the positive equilibrium, the possibility of existence of a bionomic equilibrium, and the optimal harvesting policy. This paper gives the complete qualitative analysis for model (1.2) and the results improve and extend the corresponding results of the above system (1.1).
This paper is organized as follows. Basic properties such as the boundedness, existence, stability and instability of the equilibria of the model are given in Section 2. In Section 3, sufficient conditions for the global stability of the unique positive equilibrium are obtained. In Section 4, we derive the existence and uniqueness of limit cycle. In Section 5, we study a bionomic equilibrium. In Section 6, we study optimal harvest policy. In Section 7, we give numerical stimulations of system (1.2).
2 Basic properties of the model
Let . For practical biological meaning, we simply study system (1.2) in .
Lemma 2.1 All the solutions of system (1.2) with the initial values , are uniformly bounded.
Proof Let us consider the function
Differentiating w with respect to τ and using (1.2), we get
Now we have
Applying the theory of differential inequality [9], we obtain
which, upon letting , yields . So, we have that all the solutions of system (1.2) that start in are confined to the region B, where
This completes the proof. □
Now we find all the equilibria admitted by the system and study their stability properties. The equilibria of (1.2) are the intersection points of the prey isocline on which and the predator isocline on which . Obviously, is the trivial equilibrium and is the only axial equilibrium of system (1.2). The third and the most interesting equilibrium point is , where and are given by
Thus the existence condition for the positive interior equilibrium point depends upon the restrictions
and
namely
We assume that the system parameters are such that they satisfy conditions (2.2) and (2.3). From the expressions for and , we observe that increases with and decreases with . This is natural because an increase in decreases the predator population and hence enhances the survival rate of the prey; on the other hand, an increase in results in the loss of food for the predator.
Lemma 2.2 (1) is a saddle point;
-
(2)
If holds, is a stable focus or a stable node. If holds, then is a saddle point; is a stable node point for ; is a stable focus or a stable node for ; is an unstable focus or an unstable node for ; is a center or a focus for .
Proof The Jacobian matrix of system (1.2) is given by
-
(1)
Since , we derive that is a saddle point;
-
(2)
The Jacobian matrix of system (1.2) for the equilibrium point is given by
If holds, namely , then , , we can derive that is a stable focus or a stable node. If holds, namely , then , we can derive that is a saddle point. If , then , is a higher-order singular point. At this time, point and point are the same point. So, we can derive that is a stable node point.
The Jacobian matrix of system (1.2) for the equilibrium point is given by
As ,
we know that if , namely , we derive that , is a stable focus or a stable node. If , namely , we derive that , is an unstable focus or an unstable node. If , namely , is a center or a focus. The proof is completed. □
We make the following transformation:
Substituting this into system (1.2), then replacing τ with t gives
From Lemma 2.2 we know that if holds, namely , is a center focus. We can make further conclusions as follows.
Lemma 2.3
-
(1)
If holds, namely , is a stable fine focus with order one;
-
(2)
If holds, namely , is an unstable fine focus with order one,
where .
Proof First use the coordinate translation, that is, translate the origin of coordinates into the point . Then we make the following substitutions for model (2.5):
Replacing , , with x, y, t respectively, we have
We denote and make the following transformations: , , . Replacing u, v, τ with x, y, t, respectively, gives
where , , , , , , , .
It is obvious that , and . Then we make use of the Poincare method to calculate the focus value.
Construct a form progression , where is the k th homogeneous multinomial with x and y. Considering , we can obtain that three multinomials and four multinomials of are equal to zero separately. Noting that , we can obtain
Let
then we can obtain the following form:
From , we can derive that
By the comparison method of correlates, we can obtain that
then and
Let , , then we can derive that
Hence the point of system (2.5) is an unstable fine focus with order one when , namely . But considering the time change , is a stable fine focus with order one. And is an unstable fine focus with order one when , namely . The proof is completed. □
3 Global stability of the unique positive equilibrium
Theorem 3.1 Suppose that holds, there is no close orbit around system (2.5) in the first quadrant. And if holds, the positive equilibrium of system (2.5) is globally asymptotically stable for .
Proof By Lemmas 2.1 and 2.2, the solution of system (1.2) with the initial values , is unanimous bounded for all , and the point is globally asymptotically stable under conditions of Theorem 3.1. We should prove that system (2.5) does not have limit cycle if holds.
Define a Dulac function , then along system (2.5), we have
Let , then , we can derive that the roots of are , and .
As , we know that reaches the maximum value at .
Hence if holds, for all , then system (2.5) does not have any close orbit. Then we can obtain that if holds, the positive equilibrium exists and is globally asymptotically stable for . This completes the proof. □
4 Existence and uniqueness of limit cycle
Theorem 4.1 Suppose that , then system (2.5) has at least one limit cycle in the first quadrant.
Proof We see that with , so we have is an untangent line of the system. And the positive trajectory of system (1.2) goes through from its right side to its left side when it meets the line .
Construct a Dulac function , computing along the trajectories of system (1.2), we have
If is large enough, we have , where . So, the line goes through upper to lower part in the region . For system (1.2), construct a Bendixson ring including . Define , , as the lengths of line , , separately. The outer boundary line of Bendixson ring is J. Due to Lemma 2.1, we know that there exists a unique unstable singular point in the Bendixson ring . By the Poincare-Bendixson theorem, system (2.5) has at least one limit cycle in the first quadrant. This completes the proof. □
Note . From the proof of Lemma 2.2, we know that
Hence by the Hopf bifurcation theorem [12], the system enters into a Hopf-type small amplitude periodic solution at the parametric value near the positive interior equilibrium point .
Now we consider the problem of uniqueness of the limit cycle arising from Hopf bifurcation at the parametric value . There are different techniques for studying the uniqueness of limit cycles. Kuang [13] gave the following result on the uniqueness of limit cycles for the system:
where ; all the functions are sufficiently smooth on and satisfy
Theorem 4.2 Assume that (4.3) holds. If there exist constants ξ and η with such that
Then system (4.2) has exactly one limit cycle which is globally asymptotically stable [13].
Theorem 4.3 If conditions (2.2), (2.3) and hold, then system (1.2) has a unique limit cycle.
Proof We can rewrite system (1.2) as system (4.2) with ,
It is clear that and satisfy assumption (4.3). Let , and . Then by (2.3) we see that . Assumption (4.4) is satisfied. In fact, we have ; if and if . For the sake of convenience, let
and
Since
we get . Hence, assumption (4.5) is satisfied.
Now
Differentiating this equality and using the fact that , we obtain
Taking into account, we have
Hence
where .
Since , has a minimum value at .
Therefore, . Thus assumption (4.6) is satisfied.
Thus we observe that whenever the nontrivial equilibrium of system (1.2) is unstable, then all the solutions of the system, initiating in the interior of the positive quadrant of the plane, except at the equilibrium, approach a unique limit cycle eventually. But by Lemma 2.3, we know that when , is a stable fine focus with order one. So, when and only when , system (1.2) has a unique limit cycle. The proof is completed. □
Remark 1 System (1.2) has no limit cycle whenever the harvesting efforts and satisfy the condition . So, local stability of the equilibrium point implies global asymptotic stability. From the point of view of ecological managers, it may be desirable to have a unique positive equilibrium which is globally asymptotically stable in order to plan harvesting and maintain sustainable development of an ecosystem.
Remark 2 If we wish, we can prevent the cycles in the system considered. Let be the harvesting efforts for which system (1.2) admits a limit cycle. Then these efforts must satisfy the condition . Now let be the required limiting value for the solutions of the system. Let be such that . Hence will be asymptotically stable only if the harvesting efforts satisfy the condition . Therefore, by choosing the effort functions as and , it is possible to prevent cycles and drive to the steady state .
5 Bionomic equilibrium
Motivated by the paper by Kar [14], we consider the bionomic equilibrium and optimal harvest policy of system (1.2). Let be the constant prey species cost per unit effort. Let be the constant predator species cost per unit effort, let be the constant price per unit biomass of the prey species, and let be the constant price per unit biomass of the predator species.
The economic rent (net revenue) at any time is given by
where and , they denote the economic rent of the prey species and the predator species separately.
The bionomic equilibrium of the predator-prey system implies both a biological equilibrium and an economic equilibrium. The biological equilibrium occurs when , and the economic equilibrium is defined to be achieved when the economic rent is completely dissipated (i.e., when ).
Hence we can derive the bionomic equilibrium from the following system:
Now the following cases may arise.
Case 1: If and , then and . In this case, we should stop harvesting the prey species, but we can harvest the predator species. Hence we can derive that , and from , we have . We substitute and into , then we have
Let , we know that , . So, has at least one positive root in .
Now we discuss the roots of as follows.
For , we can derive that when , and , then does not have any roots in . Hence we discuss the roots of only in .
-
(1)
If , we have , then has only one positive root in .
-
(2)
If , we can derive that and are the roots of . It is obvious that , . We can further obtain that:
-
(i)
If and , then has three positive roots in .
-
(ii)
If or , then has two positive roots in .
-
(iii)
If or , then has one positive root in .
Let the root of be , then we substitute and into . We can obtain that . For , then we must have . At last, we have the bionomic equilibrium .
Case 2: If and , then and . In this case, we should stop harvesting the predator species, but we can harvest the prey species. Hence we can derive that , and from , we have . Substituting and into , we have and is any positive number. Then we substitute and into , we can obtain that . For , then we must have . Hence is any positive number but it must satisfy . At last, we have the bionomic equilibrium .
Case 3: If and , then and . In this case, we should stop harvesting the predator species and the prey species. Hence we can derive that and . Then the bionomic equilibrium does not exist.
Case 4: If and , then and . In this case, we can harvest both the predator species and the prey species. Hence, from , we have and . Then we substitute and into , . We can obtain that and . For and , then we must have and . At last, we have the bionomic equilibrium .
6 Optimal harvest policy
The fundamental problem in determination of an optimal harvest policy in a commercial predator-prey system is to determine the optimal trade-off between the current and future harvests. So, for determining an optimal harvesting policy, we consider the present value J of a continuous time stream of revenues given by
where δ denotes the instantaneous annual rate of discount. N is the economic rent (net revenue) at any time t given by , where and are the cost per unit biomass of the x and y species, separately; and are the prices per unit biomass of the x and y species, respectively.
We shall optimize the objective function
subject to the state Eq. (1.2) by using Pontryagin’s maximal principle.
Let us now construct the Hamiltonian function
where and are the adjoint variables. and are the control variables. Now we wish to find the maximum equilibrium of the Hamiltonian function . For the control variables and are the linear function of , we have that the optimal equilibrium must occur at the extreme point, namely
By the maximal principle, there exist adjoint variables and for all such that
and
Using Eq. (6.3) we can derive that
and
By Eqs. (6.6) and (6.7) we know that () are invariable by the change of time t.
Using (5.3), Eqs. (6.6) and (6.7), we have that Eqs. (6.4) and (6.5) become
By Eqs. (6.8) and (6.9), we can obtain the positive root . Then substituting the values of the positive root into (5.2), we get
7 Numerical simulation
Example 1 For simulation let us take , , , .
We verify the limit cycle, global stability and controllability of system (1.2). (See Figures 1-6.)
To show the controllability of the system, we take examples as follows:
-
(1)
(see Figure 3);
-
(2)
(see Figure 4);
-
(3)
(see Figure 5);
-
(4)
(see Figure 6).
Figures 3-6 show the dependence of the dynamic behavior of system (1.2) on the harvesting efforts for the prey . Figures 3-6 show that when is small, both the prey and predator population converge to their equilibrium values respectively, but as is large, the predator does not have enough food and approaches extermination at last. As is large enough, both the prey and predator approach extermination at last. Which means that if we change the value of , it is possible to prevent the cyclic behavior of the predator-prey system and to drive it to a required stable state.
Example 2 For , , , , , and the remaining parameter values being the same as above, then Eqs. (6.8), (6.9) can be simplified as follows:
We can solve roots of Eqs. (7.1) and (7.2) by the tool of Maple. The roots of Eqs. (7.1) and (7.2) are solved as follows:
But only satisfies
So, we can derive that , . Then, substituting the values of and into (5.2), we get , . So, we can derive that an optimal equilibrium solution is .
8 Conclusion
In this paper, qualitative analysis of a harvested predator-prey system with Holling type III functional response is considered. This work presents analysis of the effect of harvesting efforts on the prey-predator system. We have proved that exactly one stable limit cycle occurs in the system under certain conditions and have proved the global stability of the positive equilibrium. It was also found that it is possible to control the system in such a way that the system approaches a required state, using the efforts and as the control. The results we have obtained may be helpful for the fishery managers wishing to maintain a globally sustainable yield.
References
Berryman AA: The origins and evolutions of predator-prey theory. Ecology 1992, 73: 1530–1535. 10.2307/1940005
Gause GF: La Theorie mathematique de la lutte pour la vie. Hermann, Paris; 1935.
Clark CW: Mathematical Bioeconomics: The Optimal Management of Renewable Resources. 2nd edition. Wiley, New York; 1990.
Chaudhuri KS: A bioeconomic model of harvesting a multispecies fishery. Ecol. Model. 1986, 32: 267–279. 10.1016/0304-3800(86)90091-8
Chaudhuri KS: Dynamic optimization of combined harvesting of a two species fishery. Ecol. Model. 1988, 41: 17–25. 10.1016/0304-3800(88)90041-5
Matsuda H, Katsukawa T: Fisheries management based on ecosystem dynamics and feedback control. Fish. Oceanogr. 2002, 11(6):366–370. 10.1046/j.1365-2419.2002.00214.x
Matsuda H, Abrams PA: Maximal yields from multi-species fisheries systems: rules for systems with multiple trophic. Ecol. Appl. 2006, 16(1):225–237. 10.1890/05-0346
Dai G, Tang M: Coexistence region and global dynamics of a harvested predator-prey system. SIAM J. Appl. Math. 1998, 58(1):193–210. 10.1137/S0036139994275799
Xiao D, Ruan S: Bogdanov-Takens bifurcations in predator-prey systems with constant rate harvesting. Fields Inst. Commun. 1999, 21: 493–506.
Kar TK, Matsuda H: Global dynamics and controllability of a harvested prey-predator system with Holling type III function response. Nonlinear Anal. Hybrid Syst. 2007, 1: 59–67. 10.1016/j.nahs.2006.03.002
Chaudhuri KS: Dynamic optimization of combined harvesting of a two species fishery. Ecol. Model. 1988, 41: 17–25. 10.1016/0304-3800(88)90041-5
Hassard BD, Kazarinoff ND, Wan YH: Theory and Application of Hopf Bifurcation. Cambridge University Press, Cambridge; 1981.
Kuang Y, Freedman HI: Uniqueness of limit cycles in Gauss-type models of predator-prey systems. Math. Biosci. 1988, 88: 67–84. 10.1016/0025-5564(88)90049-1
Kar TK, Chaudhuri KS: On non-selective harvesting of a two competing fish species in the presence of toxicity. Ecol. Model. 2003, 161(1–2):125–137. 10.1016/S0304-3800(02)00323-X
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Jiang, Q., Wang, J. Qualitative analysis of a harvested predator-prey system with Holling type III functional response. Adv Differ Equ 2013, 249 (2013). https://doi.org/10.1186/1687-1847-2013-249
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-249