the dynamical analysis of a prey-predator model with a refuge

11
Research Article The Dynamical Analysis of a Prey-Predator Model with a Refuge-Stage Structure Prey Population Raid Kamel Naji 1 and Salam Jasim Majeed 1,2 1 Department of Mathematics, College of Science, Baghdad University, Baghdad, Iraq 2 Department of Physics, College of Science, i-Qar University, Nasiriyah, Iraq Correspondence should be addressed to Salam Jasim Majeed; [email protected] Received 20 July 2016; Accepted 1 November 2016 Academic Editor: Jaume Gin´ e Copyright © 2016 R. K. Naji and S. J. Majeed. is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 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. e existence, uniqueness, and boundedness of the solution of the proposed model are discussed. All the feasible equilibrium points are determined. e local and global stability analysis of them are investigated. e 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 e development of the qualitative analysis of ordinary differential equations is deriving to study many problems in mathematical biology. e 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 [1–6]. 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 [7–12]. 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 [13–23]. erefore, 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 () represent the population size of the immature prey at time ; () represents the population size of the mature prey at time , while () denotes the population size of the predator species at time . erefore in order to describe the dynamics Hindawi Publishing Corporation International Journal of Differential Equations Volume 2016, Article ID 2010464, 10 pages http://dx.doi.org/10.1155/2016/2010464

Upload: nguyenhanh

Post on 12-Feb-2017

217 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: The Dynamical Analysis of a Prey-Predator Model with a Refuge

Research ArticleThe Dynamical Analysis of a Prey-Predator Model witha Refuge-Stage Structure Prey Population

Raid Kamel Naji1 and Salam Jasim Majeed1,2

1Department of Mathematics, College of Science, Baghdad University, Baghdad, Iraq2Department of Physics, College of Science, Thi-Qar University, Nasiriyah, Iraq

Correspondence should be addressed to Salam Jasim Majeed; [email protected]

Received 20 July 2016; Accepted 1 November 2016

Academic Editor: Jaume Gine

Copyright © 2016 R. K. Naji and S. J. Majeed. This is an open access article distributed under the Creative Commons AttributionLicense, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properlycited.

We proposed and analyzed a mathematical model dealing with two species of prey-predator system. It is assumed that the prey is astage structure population consisting of two compartments known as immature prey and mature prey. It has a refuge capability asa defensive property against the predation. The existence, uniqueness, and boundedness of the solution of the proposed model arediscussed. All the feasible equilibrium points are determined. The local and global stability analysis of them are investigated. Theoccurrence 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 ordinarydifferential equations is deriving to study many problemsin mathematical biology. The modeling for the populationdynamics of a prey-predator system is one of the importantand interesting goals in mathematical biology, which hasreceived wide attention by several authors [1–6]. In thenatural world many kinds of prey and predator specieshave a life history that is composed of at least two stages:immature andmature, and each stage has different behavioralproperties. So, some works of stage structure prey-predatormodels have been provided in a good number of papers in theliteratures [7–12]. Zhang et al. in [9] and Cui and Takeuchiin [11] proposed two mathematical models of prey stagestructure; in these models the predator species consumesexclusively the immature prey. Indeed, there are many factorsthat impact the dynamics of prey-predator interactions suchas disease, harvesting, prey refuge, delay, and many otherfactors. Several prey species have gone to extinction, andthis extinction must be caused by external effects such asoverutilization, overpredation, and environmental factors(pollution, famine). Prey may avoid becoming attacked by

predators either by protecting themselves or by living ina refuge where it will be out of sight of predators. Sometheoretical and empirical studies have shown and testedthe effects of prey refuges and making an opinion that therefuges used by prey have a stabilizing influence on prey-predator interactions; also prey extinction can be preventedby the addition of refuges; for instance, we can refer to[13–23]. Therefore, it is important and worthwhile to studythe effects of a refuge on the prey population with preystage structure. Consequently, in this paper, we proposed andanalyzed the prey-predator model involving a stage structurein prey population together with a preys refuge property as adefensive property against the predation.

2. Mathematical Model

In this section a prey-predator model with a refuge-stagestructure prey population is proposed for study. Let 𝑥(𝑇)represent the population size of the immature prey at time𝑇; 𝑦(𝑇) represents the population size of the mature prey attime𝑇, while 𝑧(𝑇) denotes the population size of the predatorspecies at time𝑇.Therefore in order to describe the dynamics

Hindawi Publishing CorporationInternational Journal of Differential EquationsVolume 2016, Article ID 2010464, 10 pageshttp://dx.doi.org/10.1155/2016/2010464

Page 2: The Dynamical Analysis of a Prey-Predator Model with a Refuge

2 International Journal of Differential Equations

of this model mathematically the following hypotheses areadopted:

(1) The immature prey grows exponentially dependingcompletely on its parents with growth rate 𝑟 > 0.There is an intraspecific competition between theirindividuals with intraspecific competition rate 𝛿1 > 0.The immature prey individual becomes mature withgrownup rate 𝛽 > 0 and faces natural death with arate 𝑑1 > 0.

(2) There is an intraspecific competition between theindividuals of mature prey population with intraspe-cific competition rate 𝛿2 > 0. Further the mature preyspecies faces natural death rate too with a rate 𝑑2 > 0.

(3) The environment provides partial protection of preyspecies against the predation with a refuge rate 0 <𝑚 < 1; therefore there is 1−𝑚 of prey species availablefor predation.

(4) There is an intraspecific competition between theindividuals of predator population with intraspecificcompetition rate 𝛿3 > 0. Further the predator speciesfaces natural death rate too with a rate 𝑑3 > 0.

The predator consumes the prey in both the compartmentsaccording to the mass action law represented by Lotka–Volterra type of functional response with conversion rates0 < 𝑒1 < 1 and 0 < 𝑒2 < 1 for immature and matureprey, respectively. Consequently, the dynamics of this modelcan be represented mathematically with the following set ofdifferential equations.�� = 𝑟𝑦 − 𝛿1𝑥2 − 𝑑1𝑥 − 𝛽𝑥 − 𝛾1 (1 − 𝑚) 𝑥𝑧�� = 𝛽𝑥 − 𝛿2𝑦2 − 𝑑2𝑦 − 𝛾2 (1 − 𝑚) 𝑦𝑧�� = 𝑒1𝛾1 (1 − 𝑚) 𝑥𝑧 + 𝑒2𝛾2 (1 − 𝑚) 𝑦𝑧 − 𝛿3𝑧2 − 𝑑3𝑧

(1)

with initial conditions, 𝑥(0) > 0, 𝑦(0) > 0, and 𝑧(0) > 0.In order to simplify the analysis of system (1) the number

of parameters in system (1) is reduced using the followingdimensionless variables in system (1):

𝑦1 = 𝑒1𝛾1 (1 − 𝑚)𝑑2 𝑥,𝑦2 = 𝑒2𝛾2 (1 − 𝑚)𝑑2 𝑦,𝑦3 = 𝛿3𝑑2 𝑧,𝑡 = 𝑑2𝑇.

(2)

Accordingly, the dimensionless form of system (1) can bewritten as ��1 = 𝑎1𝑦2 − 𝑎2𝑦21 − 𝑎3𝑦1 − 𝑎4𝑦1𝑦3��2 = 𝑏1𝑦1 − 𝑏2𝑦22 − 𝑦2 − 𝑏3𝑦2𝑦3��3 = 𝑦1𝑦3 + 𝑦2𝑦3 − 𝑦23 − 𝑏4𝑦3,

(3)

where the dimensionless parameters are given by

𝑎1 = 𝑒1𝛾1𝑟𝑒2𝛾2𝑑2 ,𝑎2 = 𝛿1𝑒1𝛾1 (1 − 𝑚) ,𝑎3 = 𝑑1 + 𝛽𝑑2 ,𝑎4 = 𝛾1 (1 − 𝑚)𝛿3 ,𝑏1 = 𝑒2𝛾2𝛽𝑒1𝛾1𝑑2 ,𝑏2 = 𝛿2𝑒2𝛾2 (1 − 𝑚) ,𝑏3 = 𝛾2 (1 − 𝑚)𝛿3 ,𝑏4 = 𝑑3𝑑2 .

(4)

According to the equations given in system (3), all theinteraction functions are continuous and have a continuouspartial derivatives.Therefore they are Lipschitzain and hencethe solution of system (3) exists and is unique. Moreover thesolution of system (3) is bounded as shown in the followingtheorem.

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

Proof. Let 𝑊 = 𝑦1 + 𝑦2 + 𝑦3 be solutions of system (3) withinitial conditions, 𝑦1(0) > 0, 𝑦2(0) > 0, and 𝑦3(0) > 0. Thenby differentiation 𝑊 with respect to 𝑡 we get𝑑𝑊𝑑𝑡 ≤ 𝑎1𝑦2 (1 − 𝑦2𝑎1/𝑏2) + 𝑏1𝑦1 (1 − 𝑦1𝑏1/𝑎2) − 𝜎1𝑊

≤ 𝜎2 − 𝜎1𝑊; (5)

here 𝜎1 = min {1, 𝑎3, 𝑏4} and 𝜎2 = 𝑎21/4𝑏2 + 𝑏21 /4𝑎2. Now byusing comparison theorem, we get

0 < 𝑊 ≤ (𝑊0𝑒−𝜎1𝑡 + 𝜎2𝜎1 (1 − 𝑒−𝜎1𝑡)) . (6)

Thus for 𝑡 → ∞ we obtain 0 < 𝑊 ≤ 𝜎2/𝜎1. Hence, allsolutions of system (3) in 𝑅3+ are uniformly bounded andtherefore we have finished the proof.

3. Local Stability Analysis

It is observed that system (3) has at most three biologicallyfeasible equilibrium points; namely, 𝐸𝑖, 𝑖 = 0, 1, 2. Theexistence conditions for each of these equilibrium points arediscussed below:

Page 3: The Dynamical Analysis of a Prey-Predator Model with a Refuge

International Journal of Differential Equations 3

(1) The trivial equilibrium points 𝐸0 = (0, 0, 0) existalways.

(2) The predator free equilibrium point is denoted by𝐸1 = (��1, ��2, 0), where��1 = 1𝑏1 (𝑏2��22 + ��2) (7)

while ��2 is a positive root of the following third-orderpolynomial𝐴1𝑦32 + 𝐴2𝑦22 + 𝐴3𝑦2 + 𝐴4 = 0; (8)

here, 𝐴1 = 𝑎2𝑏22 /𝑏21 , 𝐴2 = 2𝑎2𝑏2/𝑏21 , 𝐴3 = (𝑎2 +𝑎3𝑏1𝑏2)/𝑏21 , and 𝐴4 = (𝑎3 − 𝑎1𝑏1)/𝑏1 exist uniquely inthe interior of 𝑦1𝑦2-plane if and only if the followingcondition holds: 𝑎3 < 𝑎1𝑏1. (9)

(3) The interior (positive) equilibrium point is given by𝐸2 = (𝑦∗1 , 𝑦∗2 , 𝑦∗3 ), where𝑦∗1 = [(𝑏2 + 𝑏3) 𝑦∗2 + (1 − 𝑏3𝑏4)] 𝑦∗2𝑏1 − 𝑏3𝑦∗2 ,𝑦∗3 = 𝑦∗1 + 𝑦∗2 − 𝑏4 (10)

while 𝑦∗2 is a positive root of the following third-orderpolynomial:𝐵1𝑦32 + 𝐵2𝑦22 + 𝐵3𝑦2 + 𝐵4 = 0; (11)

here,𝐵1 = 𝑎2 (𝑏2 + 𝑏3)2 + 𝑎4𝑏2 (𝑏2 + 𝑏3) > 0,𝐵2 = [2𝑎2 (𝑏2 + 𝑏3) + 2𝑎4𝑏2 + 𝑎4𝑏3] (1 − 𝑏3𝑏4)− [𝑎3𝑏2𝑏3 + 𝑏23 (𝑎3 + 𝑎1)] ,𝐵3 = 2𝑎1𝑏1𝑏3 + (𝑎2 + 𝑎4) (1 − 𝑏3𝑏4)2+ 𝑏1 (𝑎3 − 𝑎4𝑏4) (𝑏2 + 𝑏3)+ [𝑏1𝑎4 − 𝑏3 (𝑎3 − 𝑎4𝑏4)] (1 − 𝑏3𝑏4) ,𝐵4 = 𝑏1 [𝑎3 − 𝑎1𝑏1 − 𝑎3𝑏3𝑏4 − 𝑎4𝑏4 (1 − 𝑏3𝑏4)] .

(12)

Clearly, (11) has a unique positive root represented by𝑦∗2 if the following set of conditions hold:𝐵4 < 0 with (𝐵2 > 0 or 𝐵3 < 0) (13)

Therefore, 𝐸2 exists uniquely in int. 𝑅3+ if in additionto condition (13) the following conditions are satis-fied. 𝑦∗1 + 𝑦∗2 > 𝑏4𝑏3𝑏4 − 1𝑏2 + 𝑏3 < 𝑦∗2 < 𝑏1𝑏3

or 𝑏1𝑏3 < 𝑦∗2 < 𝑏3𝑏4 − 1𝑏2 + 𝑏3 .(14)

Now to study the local stability of these equilibrium points,the Jacobian matrix 𝐽(𝑦1, 𝑦2, 𝑦3) for the system (3) at anypoint (𝑦1, 𝑦2, 𝑦3) is determined as

(−2𝑎2𝑦1 − 𝑎3 − 𝑎4𝑦3 𝑎1 −𝑎4𝑦1𝑏1 −2𝑏2𝑦2 − 1 − 𝑏3𝑦3 −𝑏3𝑦2𝑦3 𝑦3 𝑦1 + 𝑦2 − 2𝑦3 − 𝑏4). (15)

Thus, system (3) has the following Jacobian matrix near 𝐸0 =(0, 0, 0).𝐽 (𝐸0) = (−𝑎3 𝑎1 0𝑏1 −1 00 0 −𝑏4). (16)

Then the characteristic equation of 𝐽(𝐸0) is given by

(𝜆 + 𝑏4) [𝜆2 + (𝑎3 + 1) 𝜆 + 𝑎3 − 𝑎1𝑏1] = 0. (17)

Clearly, all roots of (17) have negative real parts if and only ifthe following condition holds:

𝑎3 > 𝑎1𝑏1. (18)

So, 𝐸0 is locally asymptotically stable under condition (18)and saddle point otherwise. Therefore, 𝐸0 is locally asymp-totically stable whenever 𝐸1 does not exist and unstablewhenever 𝐸1 exists.

The Jacobianmatrix of system (3) around the equilibriumpoint 𝐸1 = (��1, ��2, 0) reduced to

𝐽 (𝐸1) = (−2𝑎2��1 − 𝑎3 𝑎1 −𝑎4��1𝑏1 −2𝑏2��2 − 1 −𝑏3��20 0 ��1 + ��2 − 𝑏4)= (𝑎𝑖𝑗)3×3 .(19)

Then the characteristic equation of 𝐽(𝐸1) is written by

[𝜆 − 𝑎33] [𝜆2 − (𝑎11 + 𝑎22) 𝜆 + 𝑎11𝑎22 − 𝑎12𝑎21] = 0. (20)

Straightforward computation shows that all roots of (20) havenegative real part provided that

��1 + ��2 < 𝑏4 (21)(2𝑎2��1 + 𝑎3) (2𝑏2��2 + 1) > 𝑎1𝑏1. (22)

So, 𝐸1 is locally asymptotically stable if the above twoconditions hold.

Finally the Jacobian matrix of system (3) around theinterior equilibrium point 𝐸2 = (𝑦∗1 , 𝑦∗2 , 𝑦∗3 ) is written

𝐽 (𝐸2) = (𝑏𝑖𝑗)3×3 ; (23)

Page 4: The Dynamical Analysis of a Prey-Predator Model with a Refuge

4 International Journal of Differential Equations

here 𝑏11 = − (2𝑎2𝑦∗1 + 𝑎4𝑦∗3 + 𝑎3) ,𝑏12 = 𝑎1,𝑏13 = −𝑎4𝑦∗1 ,𝑏21 = 𝑏1,𝑏22 = − (2𝑏2𝑦∗2 + 𝑏3𝑦∗3 + 1) ,𝑏23 = −𝑏3𝑦∗2 ,𝑏31 = 𝑦∗3 ,𝑏32 = 𝑦∗3 ,𝑏33 = −𝑦∗3 .

(24)

Hence, the characteristic equation of 𝐽(𝐸2) becomes

𝜆3 + 𝐷1𝜆2 + 𝐷2𝜆 + 𝐷3 = 0 (25)

with𝐷1 = − (𝑏11 + 𝑏22 + 𝑏33) > 0,𝐷2 = 𝑏11𝑏22 − 𝑏12𝑏21 + 𝑏11𝑏33 − 𝑏13𝑏31 + 𝑏22𝑏33− 𝑏23𝑏32,𝐷3 = 𝑏33 (𝑏12𝑏21 − 𝑏11𝑏22) + 𝑏11𝑏23𝑏32 − 𝑏12𝑏23𝑏31+ 𝑏22𝑏13𝑏31 − 𝑏21𝑏13𝑏32.(26)

Consequently, Δ = 𝐷1𝐷2 − 𝐷3 can be written as

Δ = (𝑏11 + 𝑏22) (𝑏12𝑏21 − 𝑏11𝑏22) − 𝑏11𝑏22𝑏33− (𝑏11 + 𝑏22) (𝑏11𝑏33 − 𝑏13𝑏31) .− 𝑏222𝑏33 − 𝑏11𝑏233 − 𝑏22𝑏233 + 𝑏13𝑏31 (𝑏33 + 𝑏21)+ 𝑏23𝑏32 (𝑏33 + 𝑏12)(27)

Since 𝐷1 > 0, then according to Routh-Hurwitz criterion 𝐸2is locally asymptotically stable if and only if 𝐷3 > 0 and Δ =𝐷1𝐷2 −𝐷3 > 0. According to the form of𝐷3 and the signs ofJacobian elements the last four terms are positive, while thefirst term will be positive under the sufficient condition (28)below. However Δ becomes positive if and only if in additionto condition (28) the second sufficient condition given by (29)holds.

(2𝑎2𝑦∗1 + 𝑎4𝑦∗3 + 𝑎3) (2𝑏2𝑦∗2 + 𝑏3𝑦∗3 + 1) > 𝑎1𝑏1 (28)𝑦∗3 > 𝑏1,𝑦∗3 > 𝑎1. (29)

Therefore under these two sufficient conditions 𝐸2 is locallyasymptotically stable.

4. Global Stability

In this section the global stability for the equilibrium pointsof system (3) is investigated by using the Lyapunov methodas shown in the following theorems.

Theorem 2. Assume that the vanishing equilibrium point𝐸0 islocally asymptotically stable; then it is globally asymptoticallystable in 𝑅3+ if and only if the following condition holds:𝑎4𝑏1𝑎3 < 𝑏3 < 𝑎4𝑎1 . (30)

Proof. Consider the following positive definite real valuedfunction: 𝑉0 (𝑦1, 𝑦2, 𝑦3) = 1𝑎4𝑦1 + 1𝑏3𝑦2 + 𝑦3. (31)

Straightforward computation shows that the derivative of 𝑉0with respect to 𝑡 is given by𝑑𝑉0𝑑𝑡 < (𝑎4𝑏1 − 𝑎3𝑏3𝑎4𝑏3 )𝑦1 + (𝑎1𝑏3 − 𝑎4𝑎4𝑏3 )𝑦2 − 𝑏4𝑦3. (32)

Therefore, by using condition (30), we obtain 𝑑𝑉0/𝑑𝑡 whichis negative definite in 𝑅3+, and then𝑉0 is a Lyapunov functionwith respect to 𝐸0. Hence 𝐸0 is globally asymptotically stablein 𝑅3+ and the proof is complete.

Theorem 3. Assume that the predator free equilibrium point𝐸1 = (��1, ��2, 0) is locally asymptotically stable; then it isglobally asymptotically stable in 𝑅3+ if the following conditionholds:

( 𝑎1𝑎4𝑦1 + 𝑏1𝑏3𝑦2)2< 4( 𝑎1��2𝑎4𝑦1��1 + 𝑎2𝑎4)( 𝑏1��1𝑏3𝑦2��2 + 𝑏2𝑏3) . (33)

Proof. Consider the following positive definite real valuedfunction:

𝑉1 (𝑦1, 𝑦2, 𝑦3) = 1𝑎4 (𝑦1 − ��1 − ��1 ln 𝑦1��1)+ 1𝑏3 (𝑦2 − ��2 − ��2 ln 𝑦2��2) + 𝑦3. (34)

Straightforward computation shows that the derivative of 𝑉1with respect to 𝑡 is given by𝑑𝑉1𝑑𝑡 = −( 𝑎1��2𝑎4𝑦1��1 + 𝑎2𝑎4) (𝑦1 − ��1)2

− ( 𝑏1��1𝑏3𝑦2��2 + 𝑏2𝑏3) (𝑦2 − ��2)2+ ( 𝑎1𝑎4𝑦1 + 𝑏1𝑏3𝑦2) (𝑦1 − ��1) (𝑦2 − ��2) − 𝑦23− (𝑏4 − ��1 − ��2) 𝑦3.

(35)

Page 5: The Dynamical Analysis of a Prey-Predator Model with a Refuge

International Journal of Differential Equations 5

Now using condition (33) gives us that𝑑𝑉1𝑑𝑡 < −[√ 𝑎1��2𝑎4𝑦1��1 + 𝑎2𝑎4 (𝑦1 − ��1)− √ 𝑏1��1𝑏3𝑦2��2 + 𝑏2𝑏3 (𝑦2 − ��2)]2 − (𝑏4 − ��1 − ��2) 𝑦3.

(36)

Clearly 𝑑𝑉1/𝑑𝑡 is negative definite due to local stabilitycondition (21). Hence 𝑉1 is a Lyapunov function with respectto 𝐸1, and then 𝐸1 is globally asymptotically stable, whichcompletes the proof.

Theorem 4. Assume that the interior equilibrium point 𝐸2 =(𝑦∗1 , 𝑦∗2 , 𝑦∗3 ) is locally asymptotically stable in 𝑅3+; then itis globally asymptotically stable if and only if the followingcondition holds:

(𝑦∗2 𝑎1𝑏3𝑦∗1 𝑏1 − 𝑎4)2 < 4𝑦∗2 𝑎1𝑎2𝑏3𝑏4𝑦∗1 𝑏1 . (37)

Proof. Consider the following positive definite real valuedfunction around 𝐸2:𝑉1 (𝑦1, 𝑦2, 𝑦3) = (𝑦1 − 𝑦∗1 − 𝑦∗1 ln 𝑦1𝑦∗1 )

+ 𝑦∗2 𝑎1𝑦∗1 𝑏1 (𝑦2 − 𝑦∗2 − 𝑦∗2 ln 𝑦2𝑦∗2 )+ 𝑦∗2 𝑎1𝑏3𝑦∗1 𝑏1 (𝑦3 − 𝑦∗3 − 𝑦∗3 ln 𝑦3𝑦∗3 ) .

(38)

Our computation for the derivative of 𝑉2 with respect to 𝑡gives that𝑑𝑉2𝑑𝑡 = − 𝑎1𝑦1𝑦2𝑦∗1 (𝑦2𝑦∗1 − 𝑦1𝑦∗2 )2 − 𝑎2 (𝑦1 − 𝑦∗1 )2

− 𝑦∗2 𝑎1𝑏2𝑦∗1 𝑏1 (𝑦2 − 𝑦∗2 )2+ (𝑦∗2 𝑎1𝑏3𝑦∗1 𝑏1 − 𝑎4) (𝑦1 − 𝑦∗1 ) (𝑦3 − 𝑦∗3 )− 𝑦∗2 𝑎1𝑏3𝑏4𝑦∗1 𝑏1 (𝑦3 − 𝑦∗3 )2 .

(39)

Now by using the condition (37) we obtain that𝑑𝑉2𝑑𝑡< − 𝑎1𝑦1𝑦2𝑦∗1 (𝑦2𝑦∗1 − 𝑦1𝑦∗2 )2 − 𝑦∗2 𝑎1𝑏2𝑦∗1 𝑏1 (𝑦2 − 𝑦∗2 )2

− [√𝑎2 (𝑦1 − 𝑦∗1 ) − √𝑦∗2 𝑎1𝑏3𝑏4𝑦∗1 𝑏1 (𝑦3 − 𝑦∗3 )]2 .(40)

According to the above inequality we have 𝑑𝑉2/𝑑𝑡 whichis negative definite; therefore, 𝐸2 is globally asymptoticallystable in 𝑅3+ and hence the proof is complete.

5. Local Bifurcation

In this section the local bifurcation near the equilibriumpoints of system (3) is investigated using Sotomayor’s the-orem for local bifurcation [24]. It is well known that theexistence of nonhyperbolic equilibrium point is a necessarybut not sufficient condition for bifurcation to occur. Nowrewrite system (3) in the form

�� = 𝑓 (𝑌) , (41)

where 𝑌 = (𝑦1, 𝑦2, 𝑦3)𝑇 ,𝑓 = (𝑓1, 𝑓2, 𝑓3)𝑇 . (42)

Then according to Jacobian matrix of system (3) given in(15), it is simple to verify that for any nonzero vector 𝑈 =(𝑢1, 𝑢2, 𝑢3)𝑇 we have𝐷2𝑓 (𝑦1, 𝑦2, 𝑦3) (𝑈, 𝑈)

= 𝜕2𝑓𝜕𝑦21 𝑢21 + 𝜕2𝑓𝜕𝑦1𝜕𝑦2 𝑢1𝑢2 + 𝜕2𝑓𝜕𝑦2𝜕𝑦1 𝑢2𝑢1 + 𝜕2𝑓𝜕𝑦22 𝑢22+ 𝜕2𝑓𝜕𝑦1𝜕𝑦3 𝑢1𝑢3 + 𝜕2𝑓𝜕𝑦3𝜕𝑦1 𝑢3𝑢1 + 𝜕2𝑓𝜕𝑦2𝜕𝑦3 𝑢2𝑢3+ 𝜕2𝑓𝜕𝑦3𝜕𝑦2 𝑢3𝑢2 + 𝜕2𝑓𝜕𝑦23 𝑢23.

(43)

Consequently, we obtain that

𝐷2𝑓 (𝑦1, 𝑦2, 𝑦3) (𝑈, 𝑈) = ( −2𝑎2𝑢21 − 2𝑎4𝑢1𝑢3−2𝑏2𝑢22 − 2𝑏3𝑢2𝑢32𝑢1𝑢3 + 2𝑢2𝑢3 − 2𝑢23) (44)

and therefore

𝐷3𝑓 (𝑦1, 𝑦2, 𝑦3) (𝑈, 𝑈,𝑈) = (000) . (45)

Thus system (3) has no pitchfork bifurcation due to (45).Moreover, the local bifurcation near the equilibrium pointsis investigated in the following theorems:

Theorem 5. System (3) undergoes a transcritical bifurcationnear the vanishing equilibrium point, but saddle node bifurca-tion cannot occur, when the parameter 𝑎3 passes through thebifurcation value 𝑎∗3 = 𝑎1𝑏1.Proof. According to the Jacobian matrix 𝐽(𝐸0) given by (16),system (3) at the equilibrium point 𝐸0 with 𝑎3 = 𝑎∗3 has zeroeigenvalue, say 𝜆∗0 = 0, and the Jacobian matrix 𝐽(𝐸0, 𝑎∗3 )becomes

𝐽 (𝐸0, 𝑎∗3 ) = 𝐽∗0 = (−𝑎∗3 𝑎1 0𝑏1 −1 00 0 −𝑏4). (46)

Page 6: The Dynamical Analysis of a Prey-Predator Model with a Refuge

6 International Journal of Differential Equations

Now let 𝑈[0] = (𝑢[0]1 , 𝑢[0]2 , 𝑢[0]3 )𝑇 be the eigenvector corre-sponding to the eigenvalue 𝜆∗0 = 0. Thus 𝐽∗0𝑈[0] = 0 gives𝑈[0] = (𝑢[0]1 , 𝑏1𝑢[0]1 , 0)𝑇, where 𝑢[0]1 represents any nonzeroreal number. Also, let 𝑊[0] = (𝑤[0]1 , 𝑤[0]2 , 𝑤[0]3 )𝑇 representsthe eigenvector corresponding to the eigenvalue 𝜆∗0 = 0 of𝐽∗𝑇0 . Hence 𝐽∗𝑇0 𝑊[0] = 0 gives that 𝑊[0] = (𝑤[0]1 , 𝑎1𝑤[0]1 , 0)𝑇,where 𝑤[0]1 denotes any nonzero real number. Now, since

𝑑𝑓𝑑𝑎3 = 𝑓𝑎3 (𝑌, 𝑎3) = (𝑑𝑓1𝑑𝑎3 , 𝑑𝑓2𝑑𝑎3 , 𝑑𝑓3𝑑𝑎3)𝑇= (−𝑦1, 0, 0)𝑇 (47)

thus𝑓𝑎3(𝐸0, 𝑎∗3 ) = (0, 0, 0)𝑇, which gives (𝑊[0])𝑇𝑓𝑎3(𝐸0, 𝑎∗3 ) =0. So, according to Sotomayor’s theorem for local bifurcation,system (3) has no saddle node bifurcation at 𝑎3 = 𝑎∗3 . Also,since

𝐷𝑓𝑎3 (𝐸0, 𝑎3) = (−1 0 00 0 00 0 0) (48)

then,

(𝑊[0])𝑇 (𝐷𝑓𝑎3 (𝐸0, 𝑎∗3 ) 𝑈[0])= (𝑤[0]1 , 𝑎1𝑤[0]1 , 0) (−𝑢[0]1 , 0, 0)𝑇 = −𝑢[0]1 𝑤[0]1 = 0. (49)

Moreover, by substituting 𝐸0, 𝑎∗3 , and 𝑈[0] in (44) we get that

𝐷2𝑓 (𝐸0, 𝑎∗3 ) (𝑈[0], 𝑈[0])= (−2𝑎2 (𝑢[0]1 )2 , −2𝑏2𝑏21 (𝑢[0]1 )2 , 0)𝑇 . (50)

Hence, it is obtain that

(𝑊[0])𝑇𝐷2𝑓 (𝐸0, 𝑎∗3 ) (𝑈[0], 𝑈[0])= −2 (𝑎2 + 𝑎1𝑏2𝑏21 ) (𝑢[0]1 )2 𝑤[0]1 = 0. (51)

Thus, according to Sotomayor’s theorem system (3) has atranscritical bifurcation at 𝐸0 as the parameter 𝑎3 passesthrough the value 𝑎∗3 ; thus the proof is complete.

Theorem 6. Assume that condition (22) holds; then system(3) undergoes a transcritical bifurcation near the predator freeequilibrium point𝐸1, but saddle node bifurcation cannot occur,when the parameter 𝑏4 passes through the bifurcation value𝑏∗4 = ��1 + ��2.Proof. According to the Jacobian matrix 𝐽(𝐸1) given by (19),system (3) at the equilibrium point 𝐸1 with 𝑏4 = 𝑏∗4 has zeroeigenvalue, say 𝜆∗1 = 0, and the Jacobian matrix 𝐽(𝐸1, 𝑏∗4 )becomes 𝐽 (𝐸1, 𝑏∗4 ) = 𝐽∗1 = (𝑎∗𝑖𝑗)3×3 , (52)

where 𝑎∗𝑖𝑗 = 𝑎𝑖𝑗; ∀𝑖, 𝑗 = 1, 2, 3, with 𝑎∗33 = 0. Now let,𝑈[1] = (𝑢[1]1 , 𝑢[1]2 , 𝑢[1]3 )𝑇 be the eigenvector correspondingto the eigenvalue 𝜆∗1 = 0. Thus 𝐽∗1𝑈[1] = 0 gives 𝑈[1] =(Λ 1𝑢[1]3 , Λ 2𝑢[1]3 , 𝑢[1]3 )𝑇, whereΛ 1 = (𝑎12𝑎23−𝑎22𝑎13)/(𝑎11𝑎22−𝑎12𝑎21) and Λ 2 = (𝑎21𝑎13 − 𝑎11𝑎31)/(𝑎11𝑎22 − 𝑎12𝑎21) arenegative according to the sign of the Jacobian elements and𝑢[1]3 represents any nonzero real numbers. Also, let 𝑊[1] =(𝑤[1]1 , 𝑤[1]2 , 𝑤[1]3 )𝑇represent the eigenvector corresponding toeigenvalue 𝜆∗1 = 0 of 𝐽∗𝑇1 . Hence 𝐽∗𝑇1 𝑊[1] = 0 gives that𝑊[1] = (0, 0, 𝑤[1]3 )𝑇, where 𝑤[1]3 stands for any nonzero realnumbers. Now, since𝑑𝑓𝑑𝑏4 = 𝑓𝑏4 (𝑌, 𝑏4) = (𝑑𝑓1𝑑𝑏4 , 𝑑𝑓2𝑑𝑏4 , 𝑑𝑓3𝑑𝑏4)𝑇 = (0, 0, −𝑦3)𝑇 (53)

thus 𝑓𝑏4(𝐸1, 𝑏∗4 ) = (0, 0, 0)𝑇, which gives (𝑊[1])𝑇𝑓𝑏4(𝐸1, 𝑏∗4 ) =0. So, according to Sotomayor’s theorem for local bifurcation,system (3) has no saddle node bifurcation at 𝑏4 = 𝑏∗4 . Also,since

𝐷𝑓𝑏4 (𝐸1, 𝑏4) = (0 0 00 0 00 0 −1) (54)

then, we can have

(𝑊[1])𝑇 (𝐷𝑓𝑏4 (𝐸1, 𝑏∗4 ) 𝑈[1])= (0, 0, 𝑤[1]3 ) (0, 0, −𝑢[1]3 )𝑇 = −𝑢[1]3 𝑤[1]3 = 0. (55)

Moreover, substituting 𝐸1, 𝑏∗4 , and 𝑈[1] in (44) gives

𝐷2𝑓 (𝐸1, 𝑏∗4 ) (𝑈[1], 𝑈[1]) = 2 (𝑢[1]3 )2⋅ (−𝑎2Λ21 − 𝑎4Λ 1, −𝑏2Λ22 − 𝑏3Λ 2, Λ 1 + Λ 2 − 1)𝑇 . (56)

Hence, it is obtained that

(𝑊[1])𝑇𝐷2𝑓 (𝐸1, 𝑏∗4 ) (𝑈[1], 𝑈[1])= 2 (Λ 1 + Λ 2 − 1) (𝑢[1]3 )2 𝑤[1]3 = 0. (57)

Thus, according to Sotomayor’s theorem system (3) has atranscritical bifurcation at 𝐸1 as the parameter 𝑏4 passesthrough the value 𝑏∗4 ; thus the proof is complete.

Theorem 7. Assume that condition (21) holds; then system(3) undergoes a saddle node bifurcation near the predator freeequilibrium point 𝐸1 when the parameter 𝑎1 passes through thebifurcation value 𝑎∗1 = (2𝑎2��1 + 𝑎3)(2𝑏2��2 + 1)/𝑏1.Proof. According to the Jacobian matrix 𝐽(𝐸1) given by (19),system (3) at the equilibrium point 𝐸1 with 𝑎1 = 𝑎∗1 has zeroeigenvalue, say 𝜆∗∗1 = 0, and the Jacobian matrix 𝐽(𝐸1, 𝑎∗1 )becomes 𝐽 (𝐸1, 𝑎∗1 ) = 𝐽∗∗1 = (𝑎∗∗𝑖𝑗 )

3×3, (58)

Page 7: The Dynamical Analysis of a Prey-Predator Model with a Refuge

International Journal of Differential Equations 7

where 𝑎∗∗𝑖𝑗 = 𝑎𝑖𝑗; ∀𝑖, 𝑗 = 1, 2, 3, with 𝑎∗∗12 = 𝑎∗1 . Now let𝑈[11] = (𝑢[11]1 , 𝑢[11]2 , 𝑢[11]3 )𝑇 be the eigenvector correspondingto the eigenvalue 𝜆∗∗1 = 0. Thus 𝐽∗∗1 𝑈[11] = 0 gives 𝑈[11] =(−(𝑎∗1 /𝑎11)𝑢[11]2 , 𝑢[11]2 , 0)𝑇, where 𝑢[11]2 represents any nonzeroreal numbers. Also, let𝑊[11] = (𝑤[11]1 , 𝑤[11]2 , 𝑤[11]3 )𝑇 representthe eigenvector corresponding to eigenvalue 𝜆∗∗1 = 0 of𝐽∗∗𝑇1 . Hence 𝐽∗∗𝑇1 𝑊[11] = 0 gives that 𝑊[11] = (−(𝑎21/𝑎11)𝑤[11]2 , 𝑤[11]2 , (Ψ/𝑎11𝑎33)𝑤[11]2 )𝑇, where Ψ = 𝑎13𝑎21 − 𝑎11𝑎23is negative due to the sign of the Jacobian elements and 𝑤[11]2denotes any nonzero real numbers. Now, since𝑑𝑓𝑑𝑎1 = 𝑓𝑎1 (𝑌, 𝑎1) = (𝑑𝑓1𝑑𝑎1 , 𝑑𝑓2𝑑𝑎1 , 𝑑𝑓3𝑑𝑎1)𝑇 = (𝑦2, 0, 0)𝑇 (59)

thus 𝑓𝑎1(𝐸1, 𝑎∗1 ) = (��2, 0, 0)𝑇; hence (𝑊[11])𝑇𝑓𝑎1(𝐸1, 𝑎∗1 ) =−(𝑎21/𝑎11)𝑤[11]2 ��2 = 0. So, according to Sotomayor’s theoremfor local bifurcation the first condition of saddle nodebifurcation is satisfied in system (3) at 𝑎1 = 𝑎∗1 . Moreover,substituting 𝐸1, 𝑎∗1 , and 𝑈[11] in (44) gives

𝐷2𝑓 (𝐸1, 𝑎∗1 ) (𝑈[11], 𝑈[11])= (𝑢[11]2 )2 (−2𝑎2𝑎∗21𝑎211 , −2𝑏2, 0)𝑇 . (60)

Hence, it is obtained that

(𝑊[11])𝑇𝐷2𝑓 (𝐸1, 𝑎∗1 ) (𝑈[11], 𝑈[11])= 2(𝑎2𝑎∗21 𝑎21𝑎311 − 𝑏2)(𝑢[11]2 )2 𝑤[11]2 = 0. (61)

Thus, according to Sotomayor’s theorem system (3) has asaddle node bifurcation at 𝐸1 as the parameter 𝑎1 passesthrough the value 𝑎∗1 ; thus the proof is complete.

Theorem 8. Assume that(2𝑎2𝑦∗1 + 𝑎4𝑦∗3 + 𝑎3) (2𝑏2𝑦∗2 + 𝑏3𝑦∗3 + 1) < 𝑎1𝑏1 (62)

𝑦∗1 < 𝑎1𝑎4 . (63)

Then system (3) undergoes a saddle node bifurcation nearthe interior equilibrium point 𝐸2, as the parameter 𝑏1 passesthrough the bifurcation value 𝑏∗1 = Γ1/Γ2, where Γ1 and Γ2 aregiven in the proof.

Proof. According to the determinant of the Jacobian matrix𝐽(𝐸2) given by 𝐷3 in (25), condition (62) represents anecessary condition to have nonpositive determinant for𝐽(𝐸2). Now rewrite the form of the determinant as follows:𝐷3 = Γ1 − 𝑏1Γ2. (64)

Here Γ1 = 𝑏11𝑏23𝑏32 + 𝑏22𝑏31𝑏13 − 𝑏11𝑏22𝑏33 − 𝑏12𝑏23𝑏31 andΓ2 = 𝑏13𝑏32−𝑏33𝑏12. Obviously, Γ1 is positive always, while Γ2 ispositive under the condition (63).Thus it is easy to verify that

𝐷3 = 0 and hence 𝐽(𝐸2) has zero eigenvalue, say 𝜆∗2 = 0, as𝑏1 passes through the value 𝑏∗1 = Γ1/Γ2, which means that 𝐸2becomes a nonhyperbolic point. Let now the Jacobian matrixof system (3) at 𝐸2 with 𝑏1 = 𝑏∗1 be given by

𝐽 (𝐸2, 𝑏∗1 ) = 𝐽∗2 = (𝑏∗𝑖𝑗)3×3 , (65)

where 𝑏∗𝑖𝑗 = 𝑏𝑖𝑗 ∀𝑖, 𝑗 = 1, 2, 3, and 𝑏∗21 = 𝑏∗1 .Let 𝑈[∗] = (𝑢[∗]1 , 𝑢[∗]2 , 𝑢[∗]3 )𝑇 be the eigenvector corre-

sponding to the eigenvalue 𝜆∗2 = 0. Thus 𝐽∗2𝑈[∗] = 0gives 𝑈[∗] = (Φ1𝑢[∗]3 , Φ2𝑢[∗]3 , 𝑢[∗]3 )𝑇, where Φ1 = (𝑏12𝑏23 −𝑏22𝑏13)/(𝑏11𝑏22 − 𝑏12𝑏∗1 ) and Φ2 = (𝑏∗1 𝑏13 − 𝑏11𝑏23)/(𝑏11𝑏22 −𝑏12𝑏∗1 ) are positive due to the Jacobian elements and 𝑢[∗]3represents any nonzero real number. Also, let 𝑊[∗] =(𝑤[∗]1 , 𝑤[∗]2 , 𝑤[∗]3 )𝑇 represent the eigenvector correspondingto eigenvalue 𝜆∗2 = 0 of 𝐽∗𝑇2 . Hence 𝐽∗𝑇2 𝑊[∗] = 0 givesthat 𝑊[∗] = (Θ1𝑤[∗]3 , Θ2𝑤[∗]3 , 𝑤[∗]3 )𝑇, where Θ1 = (𝑏21𝑏32 −𝑏22𝑏31)/(𝑏11𝑏22 − 𝑏12𝑏∗1 ) and Θ2 = (𝑏12𝑏31 − 𝑏11𝑏32)/(𝑏11𝑏22 −𝑏12𝑏∗1 ) are negative due to the Jacobian elements and 𝑤[∗]3denotes any nonzero real numbers. Now, since

𝑑𝑓𝑑𝑏1 = 𝑓𝑏1 (𝑌, 𝑏1) = (𝑑𝑓1𝑑𝑏1 , 𝑑𝑓2𝑑𝑏1 , 𝑑𝑓3𝑑𝑏1)𝑇 = (0, 𝑦1, 0)𝑇 (66)

thus 𝑓𝑏1(𝐸2, 𝑏∗1 ) = (0, 𝑦∗1 , 0)𝑇, which gives (𝑊[∗])𝑇𝑓𝑏1(𝐸2,𝑏∗1 ) = Θ2𝑦∗1𝑤[∗]3 = 0. Consequently the first condition ofsaddle node bifurcation is satisfied.Moreover, by substituting𝐸2, 𝑏∗1 , and 𝑈[∗] in (44) we get that

𝐷2𝑓 (𝐸2, 𝑏∗1 ) (𝑈[∗], 𝑈[∗]) = 2 (𝑢[∗]3 )2⋅ (−𝑎2Φ21 − 𝑎4Φ1, −𝑏2Φ22 − 𝑏3Φ2, Φ1 + Φ2 − 1)𝑇 . (67)

Hence, it is obtained that

(𝑊[∗])𝑇𝐷2𝑓 (𝐸2, 𝑏∗1 ) (𝑈[∗], 𝑈[∗]) = 2 (𝑢[∗]3 )2 𝑤[∗]3× [− (𝑎2Φ21 + 𝑎4Φ1)Θ1 − (𝑏2Φ22 + 𝑏3Φ2)Θ2+ (Φ1 + Φ2 − 1)] = 0.(68)

So, according to Sotomayor’s theorem, system (3) has a saddlenode bifurcation as 𝑏1 passes through the value 𝑏∗1 and hencethe proof is complete.

6. Numerical Simulations

In this section, the global dynamics of system (3) is investi-gated numerically. The objectives first confirm our obtainedanalytical results and second specify the control set of param-eters that control the dynamics of the system. Consequently,system (3) is solved numerically using the following biologi-cally feasible set of hypothetical parameters with different sets

Page 8: The Dynamical Analysis of a Prey-Predator Model with a Refuge

8 International Journal of Differential Equations

00.5

11.5

2

00.5

11.5

(0.5, 1, 1.7)

(1.5, 1.5, 1.5)

(0.2, 0.2, 0.2)

(0.9, 0.8, 0.7)

(0.46, 0.15, 0.42)

y1

y2

0

0.5

1

1.5

2

y3

Figure 1: 3D phase plot of the system (3) for the data given by(69) starting from different initial values in which the solutionapproaches asymptotically to 0.46, 0.15, and 0.42.

of initial points and then the resulting trajectories are drawnin the form of phase portrait and time series figures.𝑎1 = 2,𝑎2 = 0.1,𝑎3 = 0.4,𝑎4 = 0.5,𝑏1 = 0.4,𝑏2 = 0.1,𝑏3 = 0.5,𝑏4 = 0.2.

(69)

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

Now in order to discuss the effect of the parameters valuesof system (3) on the dynamical behavior of the system, thesystem is solved numerically for the data given in (69) withvarying one parameter each time. It is observed that varyingparameters values 𝑎2, 𝑎4, 𝑏2, 𝑏3, and 𝑏4 have no qualitativeeffect on the dynamical behavior of system (3) and thesystem still approaches to a positive equilibrium point. Onthe other hand, when 𝑎1 decreases in the range (𝑎1 ≤ 1.05)keeping other parameters fixed as given in (69) the dynamicalbehavior of system (3) approaches asymptotically to thevanished equilibrium point as shown in the typical figuregiven by Figure 2. Similar observations have been obtained onthe behavior of system (3) in case of increasing the parameter𝑎3 in the range (𝑎3 ≥ 0.8) or decreasing the parameter 𝑏1 inthe range (𝑏1 ≤ 0.2), with keeping other parameters fixed asgiven in (69), and then the solution of system (3) is depictedin Figures 3 and 4, respectively. Finally, for the parameters𝑎2 = 0.9 and 𝑏4 = 0.7 with other parameters fixed as given in

y1

y2

y3

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

Popu

latio

ns

2000 4000 6000 8000 100000Time

Figure 2: Time series of system (3) approaches asymptotically tothe vanishing equilibrium point for 𝑎1 = 0.8 with other parametersgiven by (69).

y1

y2

y3

5000 10000 150000Time

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

Popu

latio

ns

Figure 3: Time series of system (3) approaches asymptotically tothe vanishing equilibrium point for 𝑎3 = 0.85with other parametersgiven by (69).

(69), the solution of system (3) approaches asymptotically tothe predator free equilibrium point as shown in the Figure 5.

7. Discussion

In this paper, amodel that describes the prey-predator systemhaving a refuge and stage structure properties in the preypopulation has been proposed and studied analytically aswell as numerically. Sufficient conditions which ensure the

Page 9: The Dynamical Analysis of a Prey-Predator Model with a Refuge

International Journal of Differential Equations 9

0

0.2

0.4

0.6

0.8

1

Popu

latio

ns

1000 2000 3000 4000 5000 6000 7000 8000 9000 100000Time

y1

y2

y3

Figure 4: Time series of system (3) approaches asymptotically tothe vanishing equilibrium point for 𝑏1 = 0.15 with other parametersgiven by (69).

0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

Popu

latio

ns

2000 4000 6000 8000 100000Time

y1

y2

y3

Figure 5: Time series of system (3) approaches asymptotically to thepredator free equilibrium point 𝐸1 = (0.42, 0.16, 0) for 𝑎2 = 0.9 and𝑏4 = 0.7 with other parameters given by (69).

stability of equilibria and the existence of local bifurcationare obtained. The effect of each parameter on the dynam-ical behavior of system (3) is studied numerically and thetrajectories of the system are drowned in the typical figures.According to these figures, which represent the solutionof system (3) for the data given by (69), the followingconclusions are obtained.

(1) System (3) has no periodic dynamics rather than thefact that the system approaches asymptotically to oneof their equilibrium points depending on the set of

parameter data and the stability conditions that aresatisfied.

(2) Although the position of the positive equilibriumpoint in the interior of 𝑅3+ changed as varying inthe parameters values 𝑎2, 𝑎4, 𝑏2, 𝑏3, and 𝑏4, there isno qualitative change in the dynamical behavior ofsystem (3) and the system still approaches to a positiveequilibrium point. Accordingly adding the refugefactorwhich is included implicitly in these parametersplays a vital role in the stabilizing of the system at thepositive equilibrium point.

(3) Decreasing in the value of growth rate of immatureprey or in the value of conversion rate from immatureprey tomature prey keeping the rest of parameter as in(69) leads to destabilizing of the positive equilibriumpoint and the system approaches asymptotically to thevanishing equilibrium point, which means losing thepersistence of system (3).

(4) Increasing in the value of grownup rate of immatureprey keeping the rest of parameter as in (69) leadsto destabilizing of the positive equilibrium pointand the system approaches asymptotically to thevanishing equilibrium point too, which means losingthe persistence of system (3).

(5) Finally, for the data given by (69), increasing intraspe-cific competition of immature prey and natural deathrate of the predator leads to destabilizing of the pos-itive equilibrium point and the solution approachesinstead asymptotically to the predator free equilib-rium point, which confirm our obtained analyticalresults represented by conditions (21)-(22).

Competing Interests

The authors declare that they have no competing interests.

References

[1] H. I. Freedman, Deterministic Mathematical Models in Popula-tion Ecology, vol. 57, Marcel Dekker, New York, NY, USA, 1980.

[2] J. D. Murray,Mathematical Biology, Springer, Berlin, Germany,3rd edition, 2002.

[3] B. Dubey and R. K. Upadhyay, “Persistence and extinctionof one-prey and two-predator system,” Nonlinear Analysis:Modelling and Control, vol. 9, no. 4, pp. 307–329, 2004.

[4] S. Gakkhar, B. Singh, and R. K. Naji, “Dynamical behavior oftwo predators competing over a single prey,”BioSystems, vol. 90,no. 3, pp. 808–817, 2007.

[5] T. K. Kar andA. Batabyal, “Persistence and stability of a two preyone predator,” International Journal of Engineering, Science andTechnology, vol. 2, no. 2, pp. 174–190, 2010.

[6] G. P. Samanta, “Analysis of a delay nonautonomous predator-prey system with disease in the prey,” Nonlinear Analysis:Modelling and Control, vol. 15, no. 1, pp. 97–108, 2010.

[7] W. Wang and L. Chen, “A predator-prey system with stage-structure for predator,” Computers andMathematics with Appli-cations, vol. 33, no. 8, pp. 83–91, 1997.

Page 10: The Dynamical Analysis of a Prey-Predator Model with a Refuge

10 International Journal of Differential Equations

[8] O. Bernard and S. Souissi, “Qualitative behavior of stage-structured populations: application to structural validation,”Journal ofMathematical Biology, vol. 37, no. 4, pp. 291–308, 1998.

[9] X. Zhang, L. Chen, and A. U. Neumann, “The stage-structuredpredator-prey model and optimal harvesting policy,” Mathe-matical Biosciences, vol. 168, no. 2, pp. 201–210, 2000.

[10] J. Cui, L. Chen, andW.Wang, “The effect of dispersal on popula-tion growth with stage-structure,” Computers and Mathematicswith Applications, vol. 39, no. 1-2, pp. 91–102, 2000.

[11] J. Cui and Y. Takeuchi, “A predator-prey system with a stagestructure for the prey,” Mathematical and Computer Modelling,vol. 44, no. 11-12, pp. 1126–1132, 2006.

[12] S. Liu and E. Beretta, “A stage-structured predator-prey modelof Beddington-DeAngelis type,” SIAM Journal onAppliedMath-ematics, vol. 66, no. 4, pp. 1101–1129, 2006.

[13] S. Xu, “Dynamics of a general prey-predator model with prey-stage structure and diffusive effects,”Computers andMathemat-ics with Applications, vol. 68, no. 3, pp. 405–423, 2014.

[14] E. Gonzalez-Olivares and R. Ramos-Jiliberto, “Dynamic conse-quences of prey refuges in a simple model system: more prey,fewer predators and enhanced stability,” Ecological Modelling,vol. 166, no. 1-2, pp. 135–146, 2003.

[15] T. K. Kar, “Stability analysis of a prey-predator model incorpo-rating a prey refuge,” Communications in Nonlinear Science andNumerical Simulation, vol. 10, no. 6, pp. 681–691, 2005.

[16] Y. Huang, F. Chen, and L. Zhong, “Stability analysis of a prey-predator model with Holling type III response function incor-porating a prey refuge,” Applied Mathematics and Computation,vol. 182, no. 1, pp. 672–683, 2006.

[17] Z. Ma, W. Li, Y. Zhao, W.Wang, H. Zhang, and Z. Li, “Effects ofprey refuges on a predator-preymodel with a class of functionalresponses: the role of refuges,” Mathematical Biosciences, vol.218, no. 2, pp. 73–79, 2009.

[18] V. Krivan, “On the Gause predator-prey model with a refuge: afresh look at the history,” Journal ofTheoretical Biology, vol. 274,no. 1, pp. 67–73, 2011.

[19] S. Wang and Z. Ma, “Analysis of an ecoepidemiological modelwith prey refuges,” Journal of Applied Mathematics, vol. 2012,Article ID 371685, 16 pages, 2012.

[20] A. K. Pal and G. P. Samanta, “A ratio-dependent eco-epidemiological model incorporating a prey refuge,” UniversalJournal of Applied Mathematics, vol. 1, no. 2, pp. 86–100, 2013.

[21] A. De Rossi, I. Ferrua, E. Perracchione, G. Ruatta, and E. Ven-turino, “Competitionmodels with niche for squirrel populationdynamics,” in Proceedings of the 11th International Conferenceof Numerical Analysis and Applied Mathematics( ICNAAM ’13),vol. 1558 of AIP Conference Proceedings, pp. 1818–1821, Rhodes,Greece, September 2013.

[22] M. Haque, M. S. Rahman, E. Venturino, and B.-L. Li, “Effect ofa functional response-dependent prey refuge in a predator-preymodel,” Ecological Complexity, vol. 20, pp. 248–256, 2014.

[23] R. Cavoretto, A. De Rossi, E. Perracchione, and E. Venturino,“Reliable approximation of separatrixmanifolds in competitionmodels with safety niches,” International Journal of ComputerMathematics, vol. 92, no. 9, pp. 1826–1837, 2015.

[24] L. Perko, Differential Equations and Dynamical Systems, vol. 7,Springer, New York, NY, USA, 3rd edition, 2001.

Page 11: The Dynamical Analysis of a Prey-Predator Model with a Refuge

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of