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