1 Introduction
The dynamical analysis of the predator–prey model plays an important role in mathematical biology. Though many biologists believe that if the unique positive equilibrium point of a predator–prey system is locally asymptotically stable, then it is globally asymptotically stable, it is not always true however. It is proved that a unique positive locally asymptotically stable equilibrium point has at least one limit cycle surrounding the equilibrium point under suitable conditions. Thus many mathematicians try to use some well-known methods to find the conditions for global stability for the equilibrium point of predator–prey system [1–8]. Stage-structured population models also have received great attention in recent years. Aiello and Freedman [9] studied a stage-structured model of one species growth consisting of immature and mature members. Cui et al. [10] analyzed the effect of dispersal on the permanence of a stage-structured single-species population model without time delay. A significant amount of research has been carried out based on different kinds of predator–prey systems with division of the predators into immature and mature individuals like Kar and Pahari [11], Magnusson [12], Wang et al. [13], Xu et al. [14], Gao et al. [15], Xu and Ma [16], Chakraborty et al. [17] etc. and references therein.
Ton and Hieu [18] constructed a prey–predator model consisting of one prey and two predators system with Beddington–DeAngelis functional responses. They studied the permanence and extinction of the species and established sufficient conditions for the permanence and extinction. Kar and Chattopadhyay [19] studied the long-run dynamics of a prey–predator model in the presence of an alternative prey. Tian and Xu [20] investigated a stage-structured predator–prey system with Holling type-II functional response. They proved that the predator extinction equilibrium is globally asymptotically stable when the coexistence equilibrium is not feasible and derived sufficient conditions for the global stability of the coexistence equilibrium. Chakraborty et al. [21] described a stage structured prey–predator fishery model where adult prey and predator populations are harvested in the system. They discussed the dynamic behavior of the system and used the fishing effort as a control to develop a dynamic framework to investigate the optimal utilization of the resource. The optimal management of renewable resources as fishery, which has a direct relationship with sustainable development, has been extensively studied by Clark [22,23] and Kot [24] and references therein [25–28].
In the present paper, we have discussed the dynamics of a stage-structured prey–predator fishery system in a competitive environment [29,30]. The asymptotic behavior of the proposed system is analyzed and the sufficient conditions are derived for the global stability of the system at the interior equilibrium point using a geometrical approach. The competitive parameters are used to examine the system transitions at the critical points. Attempt has made to interpret the obtained results in terms of ecology to the extent possible. The control parameter is characterized and the optimal control problem is formulated to it solve using an iterative method with a Runge–Kutta fourth-order scheme. The numerical results provide several realistic features of the model system.
2 Model formulation
We consider a prey–predator model with stage structure for predator and non-selective harvesting is taken into consideration. Let us assume x, y and z are respectively the size of prey population, immature predator population and mature predator population at time t. It is assumed that the populations are growing in a closed homogeneous environment. The growth of prey population is assumed to be logistic and the birth rate of the immature predator population is assumed to be proportional to the density of the existing mature predator population with a proportionality constant β. It is to be noted that cannibalism (which means the act of any population consuming members of its own type or kind, including the consumption of mates) introduces trophic structure and feedback loops within populations. We have assumed the cannibalism or cyclic recruitment pattern of the predator population. In this regard, we have considered that the mature predator population catches the prey population and the immature predator population according to Holling type-II functional response, i.e., respectively, αxz/(a + x) and ωyz/(b + y), where α and ω are the respective maximal predator per capita consumption rate, i.e. the maximum number of prey and immature predator that can be eaten by a predator in each time unit and a, b are the half-capturing saturation constant, i.e. the number of prey and immature predators necessary to achieve one-half of the maximum rates α and ω [31]. It is also assumed that there exist density-dependent factors, competition, between prey population and immature predator population for their survival. The growth of mature predator population is assumed to be of the Leslie-Gower type, with an intrinsic growth rate s and carrying capacity proportional to the sum of the prey and immature predator population size [17,32,33].
In this context, it is to be noted that a study in a Canadian lake showed how the introduced red shiners decreased the rainbow trout population by competition with young trout, even if large trout benefited from the introduction by eating the shiners [34]. Differences in the dynamics, growth, survivorship, and resource use within age classes of interacting populations are often produced by the combined effect of competition and predation [34]. This shows that there is often the need at the present age to study the population dynamics, since very complex interactions work at different levels in populations.
Keeping these aspects in view, the dynamics of the system may be governed by the following system of differential equations:
(2.1) |
Harvesting has a strong impact on the dynamic evaluation of a population subjected to it. First of all, depending on the nature of the applied harvesting strategy, the long-run stationary density of population may be significantly smaller than the long-run stationary density of a population in the absence of harvesting. Therefore, while a population can in the absence of harvesting be free of extinction risk, harvesting can lead to the incorporation of a positive extinction probability and, therefore, to potential extinction in a finite time. Secondly, if a population is subjected to a positive extinction rate, then harvesting can drive the population density to a dangerously low level at which extinction becomes sure, no matter how the harvester affects the population afterwards.
The functional form of the harvest is generally considered using the phrase catch-per-unit-effort (CPUE) hypothesis [23] to describe an assumption that catch per unit effort is proportional to the stock level. Therefore, harvesting function h1(t), h2(t) and h3(t) can be written in the following form:
(2.2) |
Finally, using equation (2.2) in (2.1), the system becomes,
(2.3) |
3 Boundedness of the system
In this section, we intend to establish the conditions to get positive as well as bounded solutions of the system (2.3). If y(t) is always non-negative, then all possible solutions of the system(2.3)are positive. From the first set of equation (2.3) system we can write,Theorem 3.1
Proof
where
Taking integration in the region [0,t], we get,
Again, from the third equation of the system (2.3) we get,
By integration in the region [0,t], we get, .
Hence, according to our assumption, if we consider , then it may be concluded that all the solutions of the system (2.3) are always positive.
In the remaining part of our analysis, we assume that y(t) is always non-negative, so that the solutions of the system (2.3) are always positive. In the next theorem, we try to find some sufficient conditions for which the solutions of the system (2.3) are bounded.
Theorem 3.2
If E < β/q2γ, then the solution of the system (2.3) are bounded above.
Proof
From the first equation of the system (2.3), we may conclude that .
Again, from the third equation of the system (2.3) we may write:
Using the above expression in the second equation of the system (2.3), we obtain .
Now, if then, ξ > 0 and then, integrating the above equation, we get:
Thus, we may write
Hence, all the solutions of the system (2.3) are bounded if .
Hence, the theorem is proved.
4 Equilibrium points: existence and stability
To analyze the system (2.3) at its equilibria, we first try to find all possible non-negative equilibria. Clearly, the system has three feasible non-negative equilibria, namely:
- • the boundary equilibrium at provided ;
- • the prey-free equilibria at P2 (0, y1, z1) where and provided β > ω and ;
- • the interior equilibrium P*(x*, y*, z*) where (x*, y*, z*) are the positive solution of the system .
The third equation of the system (2.3) gives,
(4.1) |
Again, eliminating z* from the first and third equation of the system (2.3), we get:
(4.2) |
Now eliminating z* from the second and third equation of the system (2.3), we get
Substituting y* in the above expression we get,
(4.3) |
Therefore, after getting the positive solution of x* from equation (4.3), it is easy to get the interior positive solution of y*and z* from equations (4.1) and (4.2) provided . The boundary equilibriumis locally asymptotically stable if the fishing effort used to harvest lies between the biotechnical productivity of the mature predator and the prey population, i.e., . The characteristic equation of the system (2.3) at can be written as:Theorem 4.1
Proof
The roots are and .
Consequently, is asymptotically stable if .
Theorem 4.2
The prey free equilibrium P2 (0, y1, z1) is unstable if
Proof
The characteristic equation of the system (2.3) at P2 (0, y1, z1) is:
Suppose that the three roots are 0, λ1, λ2.
Then, and
Therefore, λ1, λ2 both are negative if and .
It is to be noted that the saddle-node equilibrium occurs in non-linear systems with one zero eigenvalue when the system undergoes the saddle-node bifurcation, where a saddle and a node approach each other, coalesce into a single equilibrium and then disappear.
It is also evident that saddle-nodes are always unstable.
Now the characteristic equation of the system around its interior equilibrium point P*(x*, y*, z*) is given by:
(4.4) |
It is to be noted that b1 > 0 if c1 > c2. Again, b3 > 0 if .
where f1 = (c1 – c2) x*y*ρ – e1, f2 = (c1 – c2) (d2 – d3) + e2 – e3.
It may also be noted that b3 can be expressed as,
Therefore, b3 > 0 if
where h1 = (c1 – c2) x*y*σ – g1, h2 = (c1 – c2) (d2 – d3) + g2 – g3.
Now, we state and prove the theorem for the local stability of the system around its interior equilibrium point.
Theorem 4.3
The sufficient conditions for the system(2.3)is locally asymptotically stable around its interior equilibrium point P* (x*, y*, z*) are c1 > c2, or and or .
Proof
If the interior equilibrium point P* (x*, y*, z*) of the system (2.3) exists, then its characteristic equation at the interior equilibrium point is given by equation (4.4).
The condition c1 > c2 implies that b1 > 0.
Again, b3 > 0 if or .
Finally, or implies that b1b2 > b3.
Hence, by the Routh–Hurwitz criterion, the theorem follows.
5 Bifurcation analysis
We now analyze the bifurcation phenomenon of the proposed system considering competitive parameters, σ and ρ, as the bifurcation parameters. It is easy to show, using Liu's criterion [35], that the system (2.3) undergoes a Hopf bifurcation at its interior equilibrium for the critical value of the competitive parameters σ = σ* and ρ = ρ*. Let us assume that the positive equilibrium is locally asymptotically stable with e1 > (c1 – c2) x*y*ρ (or g1 > (c1 – c2) x*y*σ); then a simple Hopf bifurcation occurs at the unique real value or . The characteristic equation of the model system (2.3) at the interior equilibrium P* (x*, y*, z*) is given by λ3 + b1λ2 + b2λ + b3 = 0. As it is assumed that the positive equilibrium point P* (x*, y*, z*) is locally asymptotically stable, therefore it is evident from Theorem 4.4 that b1 > 0 and b3 > 0 for all positive values of σ and ρ. Now, or we can write . Consequently, we have Δ(σ*) = 0 or Δ(ρ*) = 0. Furthermore, if , Again, if . Hence, by Liu's criterion, the theorem follows.Theorem 5.1
Proof
6 Global stability
In this section, we will use geometric approach to derive the sufficient conditions for the global stability of the system at the positive equilibrium. For detailed calculations, one can see Chakraborty et al. [17], Li and Muldowney [36], Bunomo et al. [37], Martin [38] etc.
The autonomous system (2.3) can be written as where
If V(x) be the variation matrix of the system, then it can be written as:
If is the second additive compound matrix of V due to Bunomo et al. [37]; we can write:
We consider M(x) in C1 (D) in a way that . Then we can write: and
Thus, easily we can show that,
and
So by calculating we get:
Now let us define the following vector norm in where (u, v, w) is the vector norm in R3 and it is denoted by Γ:
Now we assume that there exists a positive and t1 > 0 such that:
where t > t1.
Also, we take
Then, we can write:
Now, we are asserting the following theorem to the existence of a global stability around its interior equilibrium. The system(2.1)is globally asymptotically stable around its interior equilibrium if, where:Theorem 6.1
withsuch that for t1 > 0, we have whenever t > t1.
7 Optimal control problem
In commercial exploitation of renewable resources, the fundamental problem from the economic point of view is to determine the optimal trade off between present and future harvests. The emphasis of this section is on the profit making aspect of fisheries. It is an elaborate study of the optimal harvesting policy and the profit earned by harvesting, focusing on the quadratic cost and conservation of fish population by constraining the letter to always study above a critical threshold. The main reasoning for the quadratic cost is that it allows us to derive an analytical expression for the optimal harvest; the resulting solution is different from the bang-bang solution, which is usually obtained in the case of a linear cost function.
In this section, our objective is to optimize (maximize) the total discount net revenue earned from the fishery. Symbolically, our strategy is to maximize the present value J, which is to be formulated as:
(8.1) |
The problem subjected to the population equation (2.3) and control constraints can be solved by Pointagrin's Maximum Principle.
The convexity of the objective function with respect to E, the linearity of the differential equations in the control and the compactness of the range values of the state variables can be combined to give the existence of the optimal control.
Suppose Eδ is an optimal control with the corresponding states xδ, yδ and zδ. We are seeking to derive the optimal control Eδ such that:
The Hamiltonian of this control problem is:
The transversality conditions give λi(tf) = 0, i = 1, 2, 3.
Now, it is possible to find the characterization of the optimal control Eδ.
On the set , we have:
This implies that:
(8.2) |
Now, the adjacent equations are
(8.3) |
(8.4) |
(8.5) |
Therefore, we summarize the above analysis by the following theorem: There exist an optimal control Eδand corresponding solutions xδ, yδand zδand that maximizes J(E) over U. Furthermore, there exists adjoint functions λ1, λ2and λ3satisfying equations(8.3)–(8.5) with transversality conditions λi(tf) = 0, i = 1, 2, 3. Moreover, the optimal control is given by:Theorem 8.1
8 Numerical simulation
As the problem is not a case study, the real world data are not available for this model. We, therefore, take here some hypothetical data with the sole purpose of illustrating the analytical results that we have established in the previous sections. Moreover, it may be noted that as the parameters of the model are not based on real world observations, the main features described by the simulations presented in this section should be considered from a qualitative, rather than a quantitative point of view. However, numerous scenarios covering the breadth of the biological feasible parameter space were conducted and the results shown above display the gamut of dynamical results collected from all the scenarios tested.
8.1 Numerical simulation to study the bifurcation phenomenon
In order to ensure the existence of bifurcation, let us consider the following parameter set:
It is to be noted that if we consider the value of, ρ = 0.13591, then it is observed from Fig. 1 that P*(x*, y*, z*) is locally asymptotically stable and the populations x, y and z converge to their steady states in finite time. Now if we gradually increase the value of ρ, keeping other parameters fixed, then by Theorem 5.1, it is easy to get a critical value of ρ as ρ* = 0.14591 such that P*(x*, y*, z*) loses its stability as ρ passes through ρ*. Figs. 2 and 3 clearly show the result. It may also be noted that if we consider the value of ρ = 0.15591, then it is evident from Fig. 4 that the positive equilibrium P*(x*, y*, z*) is unstable. Moreover, a periodic orbit may be observed near P*(x*, y*, z*).
8.2 Numerical simulation to study the optimal control problem
The numerical simulation of optimal control [39] under various parameters set can be done using the fourth-order Runge–Kutta forward-backward sweep method; the system state equations (2.3) and their corresponding adjoint equations (8.3)–(8.5) are simultaneously solved. Initially, we make a guess for optimal control and then solved the system of state equations (2.3) forward in time using the Runge–Kutta method with the initial conditions x0, y0 and z0. Then, using state values, the adjoined equations (8.3)–(8.5) are solved backward in time using the Runge–Kutta method with the transversality condition. At this point, the optimal control is updated using the values for the state and adjoint variables. The updated control replaces the initial control and the process is repeated until the successive iterations of the control values are sufficiently close. The convergence of such an iterative method is based on work of Hackbush [40].
At first, we discretize the interval [t0, tn] at the points where h is the time step such that tn = tf. Now a combination of forward and backward difference approximation is considered to solve the system. The time derivative of state variables can be expressed by their first-order forward difference as follows:
By using a similar technique, we approximate the time derivative of the adjoint variables by their first-order backward difference and we use the approximate scheme as follows:
The sensitivity of the biological as well as economic parameters of the system on the optimal prey population, immature and mature predator population and also on the fishing effort can be studied using the numerical solution of the optimal control problem.
9 Conclusion
This paper deals with a prey–predator type fishery system which incorporates cannibalism in competitive environment with stage structured for the predator. The interactions among immature and mature species are based on the assumptions as follows: (i) the recruitment of the immature species depend on the size of the mature species; (ii) two substocks interact via cannibalism; (iii) immature predator population which are the product of the mature predator also become mature and (iv) prey population and immature predator population compete with each other for their survival. Though our paper is not based on a case study, Canadian lake fishery may be a good example for our model as red shiners population of Canadian lake fishery decreased the rainbow trout population by competition with young trout, even if large trout benefited from the introduction by eating the shiners.
The dynamics of the proposed system is analyzed in the presence of combined harvesting. Though cannibalism plays an important role towards achieving a sustainable ecosystem, however, it may be noted that so far very few research articles incorporate the effects of cannibalism in the growth of a species in a prey–predator system. It is evident from our study that the cannibalism can be considered as an important structural force in population dynamics. Moreover, our results depict that cannibalism can be considered as an essential biotic process for the populations life in environments characterized by large fluctuations in food resources. The cannibalism in the predator population creates different behavior in the the prey–predator system and thus alters the impact of a predator on prey population dynamics. It may also be concluded that cannibalism decreases the probability of extinction of the species of an ecosystem.
It is observed that for the boundedness of the system, it is necessary to control the fishing effort used to harvest the populations. The criterion for the existence of several equilibria, stabilities and bifurcations of the system are derived. It is further noted that the saddle-node equilibrium occurs to the non-linear systems at the prey free equilibrium. Our results suggest that the density-dependent competitive coefficients may lead a stable equilibrium to become unstable through a simple Hopf bifurcation as the density-dependent competitive coefficients for the species passes through its critical value. It is also clear that when density-dependent competitive coefficients for the species are large, both prey and predator populations reach periodic oscillations around the equilibrium in finite time then converge to their equilibrium values. However, as the density-dependent competitive coefficients for the species decreases, oscillations also increase and the positive steady state disappears; then the consumer population dies out.
It may also be pointed out that in this paper, several important parameters such as ecological fluctuations, refuge, interaction with other species etc. are disregarded. Hence, further research is necessary to accomplish the needs in this field.
Disclosure of interest
The authors declare that they have no conflicts of interest concerning this article.
Acknowledgement
We are very grateful to the anonymous reviewers for their careful reading, constructive comments and helpful suggestions, which have helped us to improve the presentation of this work significantly. The first author also gratefully acknowledges the director of INCOIS for his encouragements and unconditional help. This is INCOIS contribution number 131.