Volume 2016, Issue 1 2010464
Research Article
Open Access

The Dynamical Analysis of a Prey-Predator Model with a Refuge-Stage Structure Prey Population

Raid Kamel Naji

Raid Kamel Naji

Department of Mathematics, College of Science, Baghdad University, Baghdad, Iraq uobaghdad.edu.iq

Search for more papers by this author
Salam Jasim Majeed

Corresponding Author

Salam Jasim Majeed

Department of Mathematics, College of Science, Baghdad University, Baghdad, Iraq uobaghdad.edu.iq

Department of Physics, College of Science, Thi-Qar University, Nasiriyah, Iraq utq.edu.iq

Search for more papers by this author
First published: 24 November 2016
Citations: 17
Academic Editor: Jaume Giné

Abstract

We proposed and analyzed a mathematical model dealing with two species of prey-predator system. It is assumed that the prey is a stage structure population consisting of two compartments known as immature prey and mature prey. It has a refuge capability as a defensive property against the predation. The existence, uniqueness, and boundedness of the solution of the proposed model are discussed. All the feasible equilibrium points are determined. The local and global stability analysis of them are investigated. The occurrence of local bifurcation (such as saddle node, transcritical, and pitchfork) near each of the equilibrium points is studied. Finally, numerical simulations are given to support the analytic results.

1. Introduction

The development of the qualitative analysis of ordinary differential equations is deriving to study many problems in mathematical biology. The modeling for the population dynamics of a prey-predator system is one of the important and interesting goals in mathematical biology, which has received wide attention by several authors [16]. In the natural world many kinds of prey and predator species have a life history that is composed of at least two stages: immature and mature, and each stage has different behavioral properties. So, some works of stage structure prey-predator models have been provided in a good number of papers in the literatures [712]. Zhang et al. in [9] and Cui and Takeuchi in [11] proposed two mathematical models of prey stage structure; in these models the predator species consumes exclusively the immature prey. Indeed, there are many factors that impact the dynamics of prey-predator interactions such as disease, harvesting, prey refuge, delay, and many other factors. Several prey species have gone to extinction, and this extinction must be caused by external effects such as overutilization, overpredation, and environmental factors (pollution, famine). Prey may avoid becoming attacked by predators either by protecting themselves or by living in a refuge where it will be out of sight of predators. Some theoretical and empirical studies have shown and tested the effects of prey refuges and making an opinion that the refuges used by prey have a stabilizing influence on prey-predator interactions; also prey extinction can be prevented by the addition of refuges; for instance, we can refer to [1323]. Therefore, it is important and worthwhile to study the effects of a refuge on the prey population with prey stage structure. Consequently, in this paper, we proposed and analyzed the prey-predator model involving a stage structure in prey population together with a preys refuge property as a defensive property against the predation.

2. Mathematical Model

In this section a prey-predator model with a refuge-stage structure prey population is proposed for study. Let x(T) represent the population size of the immature prey at time T; y(T) represents the population size of the mature prey at time T, while z(T) denotes the population size of the predator species at time T. Therefore in order to describe the dynamics of this model mathematically the following hypotheses are adopted:
  • (1)

    The immature prey grows exponentially depending completely on its parents with growth rate r > 0. There is an intraspecific competition between their individuals with intraspecific competition rate δ1 > 0. The immature prey individual becomes mature with grownup rate β > 0 and faces natural death with a rate d1 > 0.

  • (2)

    There is an intraspecific competition between the individuals of mature prey population with intraspecific competition rate δ2 > 0. Further the mature prey species faces natural death rate too with a rate d2 > 0.

  • (3)

    The environment provides partial protection of prey species against the predation with a refuge rate 0 < m < 1; therefore there is 1 − m of prey species available for predation.

  • (4)

    There is an intraspecific competition between the individuals of predator population with intraspecific competition rate δ3 > 0. Further the predator species faces natural death rate too with a rate d3 > 0.

The predator consumes the prey in both the compartments according to the mass action law represented by Lotka–Volterra type of functional response with conversion rates 0 < e1 < 1 and 0 < e2 < 1 for immature and mature prey, respectively. Consequently, the dynamics of this model can be represented mathematically with the following set of differential equations.
()
with initial conditions, x(0) > 0, y(0) > 0, and z(0) > 0.
In order to simplify the analysis of system (1) the number of parameters in system (1) is reduced using the following dimensionless variables in system (1):
()
Accordingly, the dimensionless form of system (1) can be written as
()
where the dimensionless parameters are given by
()
According to the equations given in system (3), all the interaction functions are continuous and have a continuous partial derivatives. Therefore they are Lipschitzain and hence the solution of system (3) exists and is unique. Moreover the solution of system (3) is bounded as shown in the following theorem.

Theorem 1. All the solutions of system (3) that initiate in the positive octant are uniformly bounded.

Proof. Let W = y1 + y2 + y3 be solutions of system (3) with initial conditions, y1(0) > 0, y2(0) > 0, and y3(0) > 0. Then by differentiation W with respect to t we get

()
here σ1 = min{1, a3, b4} and Now by using comparison theorem, we get
()
Thus for t we obtain 0 < Wσ2/σ1. Hence, all solutions of system (3) in are uniformly bounded and therefore we have finished the proof.

3. Local Stability Analysis

It is observed that system (3) has at most three biologically feasible equilibrium points; namely, Ei, i = 0,1, 2. The existence conditions for each of these equilibrium points are discussed below:
  • (1)

    The trivial equilibrium points E0 = (0,0, 0) exist always.

  • (2)

    The predator free equilibrium point is denoted by , where

    ()

  • while is a positive root of the following third-order polynomial

    ()

  • here, , , , and A4 = (a3a1b1)/b1 exist uniquely in the interior of y1y2-plane if and only if the following condition holds:

    ()

  • (3)

    The interior (positive) equilibrium point is given by , where

    ()

  • while is a positive root of the following third-order polynomial:

    ()

  • here,

    ()

  • Clearly, (11) has a unique positive root represented by if the following set of conditions hold:

    ()

  • Therefore, E2 exists uniquely in int.   if in addition to condition (13) the following conditions are satisfied.

    ()

Now to study the local stability of these equilibrium points, the Jacobian matrix J(y1, y2, y3) for the system (3) at any point (y1, y2, y3) is determined as
()
Thus, system (3) has the following Jacobian matrix near E0 = (0,0, 0).
()
Then the characteristic equation of J(E0) is given by
()
Clearly, all roots of (17) have negative real parts if and only if the following condition holds:
()
So, E0 is locally asymptotically stable under condition (18) and saddle point otherwise. Therefore, E0 is locally asymptotically stable whenever E1 does not exist and unstable whenever E1 exists.
The Jacobian matrix of system (3) around the equilibrium point reduced to
()
Then the characteristic equation of J(E1) is written by
()
Straightforward computation shows that all roots of (20) have negative real part provided that
()
()
So, E1 is locally asymptotically stable if the above two conditions hold.
Finally the Jacobian matrix of system (3) around the interior equilibrium point is written
()
here
()
Hence, the characteristic equation of J(E2) becomes
()
with
()
Consequently, Δ = D1D2D3 can be written as
()
Since D1 > 0, then according to Routh-Hurwitz criterion E2 is locally asymptotically stable if and only if D3 > 0 and Δ = D1D2D3 > 0. According to the form of D3 and the signs of Jacobian elements the last four terms are positive, while the first term will be positive under the sufficient condition (28) below. However Δ becomes positive if and only if in addition to condition (28) the second sufficient condition given by (29) holds.
()
()
Therefore under these two sufficient conditions E2 is locally asymptotically stable.

4. Global Stability

In this section the global stability for the equilibrium points of system (3) is investigated by using the Lyapunov method as shown in the following theorems.

Theorem 2. Assume that the vanishing equilibrium point E0 is locally asymptotically stable; then it is globally asymptotically stable in if and only if the following condition holds:

()

Proof. Consider the following positive definite real valued function:

()
Straightforward computation shows that the derivative of V0 with respect to t is given by
()
Therefore, by using condition (30), we obtain dV0/dt which is negative definite in , and then V0 is a Lyapunov function with respect to E0. Hence E0 is globally asymptotically stable in and the proof is complete.

Theorem 3. Assume that the predator free equilibrium point is locally asymptotically stable; then it is globally asymptotically stable in if the following condition holds:

()

Proof. Consider the following positive definite real valued function:

()
Straightforward computation shows that the derivative of V1 with respect to t is given by
()
Now using condition (33) gives us that
()
Clearly dV1/dt is negative definite due to local stability condition (21). Hence V1 is a Lyapunov function with respect to E1, and then E1 is globally asymptotically stable, which completes the proof.

Theorem 4. Assume that the interior equilibrium point is locally asymptotically stable in ; then it is globally asymptotically stable if and only if the following condition holds:

()

Proof. Consider the following positive definite real valued function around E2:

()
Our computation for the derivative of V2 with respect to t gives that
()
Now by using the condition (37) we obtain that
()
According to the above inequality we have dV2/dt which is negative definite; therefore, E2 is globally asymptotically stable in and hence the proof is complete.

5. Local Bifurcation

In this section the local bifurcation near the equilibrium points of system (3) is investigated using Sotomayor’s theorem for local bifurcation [24]. It is well known that the existence of nonhyperbolic equilibrium point is a necessary but not sufficient condition for bifurcation to occur. Now rewrite system (3) in the form
()
where
()
Then according to Jacobian matrix of system (3) given in (15), it is simple to verify that for any nonzero vector U = (u1, u2, u3) T we have
()
Consequently, we obtain that
()
and therefore
()
Thus system (3) has no pitchfork bifurcation due to (45). Moreover, the local bifurcation near the equilibrium points is investigated in the following theorems:

Theorem 5. System (3) undergoes a transcritical bifurcation near the vanishing equilibrium point, but saddle node bifurcation cannot occur, when the parameter a3 passes through the bifurcation value .

Proof. According to the Jacobian matrix J(E0) given by (16), system (3) at the equilibrium point E0 with has zero eigenvalue, say , and the Jacobian matrix becomes

()
Now let be the eigenvector corresponding to the eigenvalue . Thus gives , where represents any nonzero real number. Also, let represents the eigenvector corresponding to the eigenvalue of . Hence gives that , where denotes any nonzero real number. Now, since
()
thus , which gives . So, according to Sotomayor’s theorem for local bifurcation, system (3) has no saddle node bifurcation at . Also, since
()
then,
()
Moreover, by substituting , and U[0] in (44) we get that
()
Hence, it is obtain that
()
Thus, according to Sotomayor’s theorem system (3) has a transcritical bifurcation at E0 as the parameter a3 passes through the value ; thus the proof is complete.

Theorem 6. Assume that condition (22) holds; then system (3) undergoes a transcritical bifurcation near the predator free equilibrium point E1, but saddle node bifurcation cannot occur, when the parameter b4 passes through the bifurcation value .

Proof. According to the Jacobian matrix J(E1) given by (19), system (3) at the equilibrium point E1 with has zero eigenvalue, say , and the Jacobian matrix becomes

()
where , with . Now let, be the eigenvector corresponding to the eigenvalue . Thus gives , where Λ1 = (a12a23a22a13)/(a11a22a12a21) and Λ2 = (a21a13a11a31)/(a11a22a12a21) are negative according to the sign of the Jacobian elements and represents any nonzero real numbers. Also, let represent the eigenvector corresponding to eigenvalue of . Hence gives that , where stands for any nonzero real numbers. Now, since
()
thus , which gives . So, according to Sotomayor’s theorem for local bifurcation, system (3) has no saddle node bifurcation at . Also, since
()
then, we can have
()
Moreover, substituting , and U[1] in (44) gives
()
Hence, it is obtained that
()
Thus, according to Sotomayor’s theorem system (3) has a saddle node bifurcation at E1 as the parameter b4 passes through the value ; thus the proof is complete.

Theorem 7. Assume that condition (21) holds; then system (3) undergoes a saddle node bifurcation near the predator free equilibrium point E1 when the parameter a1 passes through the bifurcation value .

Proof. According to the Jacobian matrix J(E1) given by (19), system (3) at the equilibrium point E1 with has zero eigenvalue, say , and the Jacobian matrix becomes

()
where , with . Now let be the eigenvector corresponding to the eigenvalue . Thus gives , where represents any nonzero real numbers. Also, let represent the eigenvector corresponding to eigenvalue of . Hence gives that , where Ψ = a13a21a11a23 is negative due to the sign of the Jacobian elements and denotes any nonzero real numbers. Now, since
()
thus ; hence . So, according to Sotomayor’s theorem for local bifurcation the first condition of saddle node bifurcation is satisfied in system (3) at . Moreover, substituting , and U[11] in (44) gives
()
Hence, it is obtained that
()
Thus, according to Sotomayor’s theorem system (3) has a transcritical bifurcation at E1 as the parameter a1 passes through the value ; thus the proof is complete.

Theorem 8. Assume that

()
()
Then system (3) undergoes a saddle node bifurcation near the interior equilibrium point E2, as the parameter b1 passes through the bifurcation value , where Γ1 and Γ2 are given in the proof.

Proof. According to the determinant of the Jacobian matrix J(E2) given by D3 in (25), condition (62) represents a necessary condition to have nonpositive determinant for J(E2). Now rewrite the form of the determinant as follows:

()
Here Γ1 = b11b23b32 + b22b31b13b11b22b33b12b23b31 and Γ2 = b13b32b33b12. Obviously, Γ1 is positive always, while Γ2 is positive under the condition (63). Thus it is easy to verify that D3 = 0 and hence J(E2) has zero eigenvalue, say , as b1 passes through the value , which means that E2 becomes a nonhyperbolic point. Let now the Jacobian matrix of system (3) at E2 with be given by
()
where , and .

Let be the eigenvector corresponding to the eigenvalue . Thus gives , where and are positive due to the Jacobian elements and represents any nonzero real number. Also, let represent the eigenvector corresponding to eigenvalue of . Hence gives that , where and are negative due to the Jacobian elements and denotes any nonzero real numbers. Now, since

()
thus , which gives . Consequently the first condition of saddle node bifurcation is satisfied. Moreover, by substituting , and U[∗] in (44) we get that
()
Hence, it is obtained that
()
So, according to Sotomayor’s theorem, system (3) has a saddle node bifurcation as b1 passes through the value and hence the proof is complete.

6. Numerical Simulations

In this section, the global dynamics of system (3) is investigated numerically. The objectives first confirm our obtained analytical results and second specify the control set of parameters that control the dynamics of the system. Consequently, system (3) is solved numerically using the following biologically feasible set of hypothetical parameters with different sets of initial points and then the resulting trajectories are drawn in the form of phase portrait and time series figures.
()

Clearly, Figure 1 shows the asymptotic approach of the solutions, which started from different initial points to a positive equilibrium point (0.46, 0.15, 0.42), for the data given by (69). This confirms our obtained result regarding the existence of globally asymptotically stable positive point of system (3) provided that certain conditions hold.

Details are in the caption following the image
3D phase plot of the system (3) for the data given by (69) starting from different initial values in which the solution approaches asymptotically to 0.46, 0.15, and 0.42.

Now in order to discuss the effect of the parameters values of system (3) on the dynamical behavior of the system, the system is solved numerically for the data given in (69) with varying one parameter each time. It is observed that varying parameters values a2, a4, b2, b3, and b4 have no qualitative effect on the dynamical behavior of system (3) and the system still approaches to a positive equilibrium point. On the other hand, when a1 decreases in the range (a1 ≤ 1.05) keeping other parameters fixed as given in (69) the dynamical behavior of system (3) approaches asymptotically to the vanished equilibrium point as shown in the typical figure given by Figure 2. Similar observations have been obtained on the behavior of system (3) in case of increasing the parameter a3 in the range (a3 ≥ 0.8) or decreasing the parameter b1 in the range (b1 ≤ 0.2), with keeping other parameters fixed as given in (69), and then the solution of system (3) is depicted in Figures 3 and 4, respectively. Finally, for the parameters a2 = 0.9 and b4 = 0.7 with other parameters fixed as given in (69), the solution of system (3) approaches asymptotically to the predator free equilibrium point as shown in the Figure 5.

Details are in the caption following the image
Time series of system (3) approaches asymptotically to the vanishing equilibrium point for a1 = 0.8 with other parameters given by (69).
Details are in the caption following the image
Time series of system (3) approaches asymptotically to the vanishing equilibrium point for a3 = 0.85 with other parameters given by (69).
Details are in the caption following the image
Time series of system (3) approaches asymptotically to the vanishing equilibrium point for b1 = 0.15 with other parameters given by (69).
Details are in the caption following the image
Time series of system (3) approaches asymptotically to the predator free equilibrium point E1 = (0.42,0.16,0) for a2 = 0.9 and b4 = 0.7 with other parameters given by (69).

7. Discussion

In this paper, a model that describes the prey-predator system having a refuge and stage structure properties in the prey population has been proposed and studied analytically as well as numerically. Sufficient conditions which ensure the stability of equilibria and the existence of local bifurcation are obtained. The effect of each parameter on the dynamical behavior of system (3) is studied numerically and the trajectories of the system are drowned in the typical figures. According to these figures, which represent the solution of system (3) for the data given by (69), the following conclusions are obtained.
  • (1)

    System (3) has no periodic dynamics rather than the fact that the system approaches asymptotically to one of their equilibrium points depending on the set of parameter data and the stability conditions that are satisfied.

  • (2)

    Although the position of the positive equilibrium point in the interior of changed as varying in the parameters values a2, a4, b2, b3, and b4, there is no qualitative change in the dynamical behavior of system (3) and the system still approaches to a positive equilibrium point. Accordingly adding the refuge factor which is included implicitly in these parameters plays a vital role in the stabilizing of the system at the positive equilibrium point.

  • (3)

    Decreasing in the value of growth rate of immature prey or in the value of conversion rate from immature prey to mature prey keeping the rest of parameter as in (69) leads to destabilizing of the positive equilibrium point and the system approaches asymptotically to the vanishing equilibrium point, which means losing the persistence of system (3).

  • (4)

    Increasing in the value of grownup rate of immature prey keeping the rest of parameter as in (69) leads to destabilizing of the positive equilibrium point and the system approaches asymptotically to the vanishing equilibrium point too, which means losing the persistence of system (3).

  • (5)

    Finally, for the data given by (69), increasing intraspecific competition of immature prey and natural death rate of the predator leads to destabilizing of the positive equilibrium point and the solution approaches instead asymptotically to the predator free equilibrium point, which confirm our obtained analytical results represented by conditions (21)-(22).

Competing Interests

The authors declare that they have no competing interests.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.