Bifurcations in Delayed Lotka-Volterra Intraguild Predation Model

Similar documents
STABILITY ANALYSIS OF DELAY DIFFERENTIAL EQUATIONS WITH TWO DISCRETE DELAYS

Global Stability Analysis on a Predator-Prey Model with Omnivores

STABILITY AND BIFURCATION ANALYSIS ON DELAY DIFFERENTIAL EQUATIONS. Xihui Lin. Master of Science. Applied Mathematics

DYNAMICS OF A PREDATOR-PREY INTERACTION IN CHEMOSTAT WITH VARIABLE YIELD

Chapter 14 Three Ways of Treating a Linear Delay Differential Equation

Bifurcation and Stability Analysis of a Prey-predator System with a Reserved Area

ESAIM: M2AN Modélisation Mathématique et Analyse Numérique M2AN, Vol. 37, N o 2, 2003, pp DOI: /m2an:

Dynamics on a General Stage Structured n Parallel Food Chains

Reaction-Diffusion Models and Bifurcation Theory Lecture 11: Bifurcation in delay differential equations

Three ways of treating a linear delay differential equation

Applications of Sturm sequences to bifurcation analysis of delay differential equation models

Delayed Dynamics in Heterogeneous Competition with Product Differentiation

Hopf Bifurcation and Limit Cycle Analysis of the Rikitake System

DYNAMICS IN 3-SPECIES PREDATOR-PREY MODELS WITH TIME DELAYS. Wei Feng

Analysis of a lumped model of neocortex to study epileptiform ac

Delayed Dynamics in Heterogeneous Competition with Product Differentiation

x 2 F 1 = 0 K 2 v 2 E 1 E 2 F 2 = 0 v 1 K 1 x 1

Antagonistic and Synergistic Interactions Among Predators

NUMERICAL SIMULATION DYNAMICAL MODEL OF THREE-SPECIES FOOD CHAIN WITH LOTKA-VOLTERRA LINEAR FUNCTIONAL RESPONSE

Stability Analysis And Maximum Profit Of Logistic Population Model With Time Delay And Constant Effort Of Harvesting

Andronov Hopf and Bautin bifurcation in a tritrophic food chain model with Holling functional response types IV and II

Stability of Ecosystem Induced by Mutual Interference between Predators

DYNAMICS OF A RATIO-DEPENDENT PREY-PREDATOR SYSTEM WITH SELECTIVE HARVESTING OF PREDATOR SPECIES. 1. Introduction

Lotka Volterra Predator-Prey Model with a Predating Scavenger

Feedback-mediated oscillatory coexistence in the chemostat

HOPF BIFURCATION CONTROL WITH PD CONTROLLER

Analysis of a delayed predator-prey model with ratio-dependent functional response and quadratic harvesting. Peng Feng

2D-Volterra-Lotka Modeling For 2 Species

STUDY OF THE DYNAMICAL MODEL OF HIV

Stability analysis of delayed SIR epidemic models with a class of nonlinear incidence rates

ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS. Sze-Bi Hsu. Christopher A. Klausmeier. Chiu-Ju Lin

Hopf bifurcations, and Some variations of diffusive logistic equation JUNPING SHIddd

Absolute Stability and Conditional Stability in General Delayed Differential Equations

1 2 predators competing for 1 prey

Approximating the Stability Region for a Differential Equation with a Distributed Delay

Research Article Stability Switches and Hopf Bifurcations in a Second-Order Complex Delay Equation

On the stabilizing effect of specialist predators on founder-controlled communities

Ordinary Differential Equations

Physics: spring-mass system, planet motion, pendulum. Biology: ecology problem, neural conduction, epidemics

1 Introduction. ISSN , England, UK World Journal of Modelling and Simulation Vol. 11 (2015) No. 3, pp

Chaos and adaptive control in two prey, one predator system with nonlinear feedback

Dynamics of Modified Leslie-Gower Predator-Prey Model with Predator Harvesting

Math Ordinary Differential Equations

Harvesting Model for Fishery Resource with Reserve Area and Modified Effort Function

Nonlinear dynamics & chaos BECS

DYNAMICS OF A DELAY-DIFFUSION PREY-PREDATOR MODEL WITH DISEASE IN THE PREY

Hopf Bifurcation Analysis of a Dynamical Heart Model with Time Delay

HARVESTING IN A TWO-PREY ONE-PREDATOR FISHERY: A BIOECONOMIC MODEL

Bifurcation in a Discrete Two Patch Logistic Metapopulation Model

Chaos in a Predator-Prey Model with an Omnivore

STABILITY AND HOPF BIFURCATION IN A SYMMETRIC LOTKA-VOLTERRA PREDATOR-PREY SYSTEM WITH DELAYS

Weak Allee effect in a predator-prey system involving distributed delays

HOPF BIFURCATION ANALYSIS OF A PREDATOR-PREY SYSTEM WITH NON-SELECTIVE HARVESTING AND TIME DELAY

Lab 5: Nonlinear Systems

The Fractional-order SIR and SIRS Epidemic Models with Variable Population Size

The dynamics of disease transmission in a Prey Predator System with harvesting of prey

University of Bristol - Explore Bristol Research. Early version, also known as pre-print

NONSTANDARD NUMERICAL METHODS FOR A CLASS OF PREDATOR-PREY MODELS WITH PREDATOR INTERFERENCE

On a non-autonomous stochastic Lotka-Volterra competitive system

The Invariant Curve in a Planar System of Difference Equations

OBSERVABILITY AND OBSERVERS IN A FOOD WEB

TURING AND HOPF PATTERNS FORMATION IN A PREDATOR-PREY MODEL WITH LESLIE-GOWER-TYPE FUNCTIONAL RESPONSE

Existence of Positive Periodic Solutions of Mutualism Systems with Several Delays 1

SPIRAL WAVE GENERATION IN A DIFFUSIVE PREDATOR-PREY MODEL WITH TWO TIME DELAYS

Numerical bifurcation analysis of delay differential equations

1.Introduction: 2. The Model. Key words: Prey, Predator, Seasonality, Stability, Bifurcations, Chaos.

Global dynamics of a predator-prey system with Holling type II functional response

The effect of emigration and immigration on the dynamics of a discrete-generation population

Predator-Prey Model with Ratio-dependent Food

Lotka-Volterra Models Nizar Ezroura M53

Invariance properties in the root sensitivity of time-delay systems with double imaginary roots

THE ROSENZWEIG-MACARTHUR PREDATOR-PREY MODEL

Dynamical Systems in Biology

Research Article Numerical Stability Test of Neutral Delay Differential Equations

Dynamics of Disease Spread. in a Predator-Prey System

Neural Excitability in a Subcritical Hopf Oscillator with a Nonlinear Feedback

LOTKA-VOLTERRA SYSTEMS WITH DELAY

Period Doubling Cascades in a Predator-Prey Model with a Scavenger

Parameter Sensitivity In A Lattice Ecosystem With Intraguild Predation

A Discrete Numerical Scheme of Modified Leslie-Gower With Harvesting Model

Existence of permanent oscillations for a ring of coupled van der Pol oscillators with time delays

On the stability and Hopf bifurcation of the non-zero uniform endemic equilibrium of a time-delayed malaria model

Models Involving Interactions between Predator and Prey Populations

From simple rules to cycling in community assembly

PERSISTENCE AND PERMANENCE OF DELAY DIFFERENTIAL EQUATIONS IN BIOMATHEMATICS

2 One-dimensional models in discrete time

Delay SIR Model with Nonlinear Incident Rate and Varying Total Population

Weierstraß-Institut. für Angewandte Analysis und Stochastik. Leibniz-Institut im Forschungsverbund Berlin e. V. Preprint ISSN

Behaviour of simple population models under ecological processes

Applications in Biology

Qualitative and Quantitative Approaches in Dynamics of Two Different Prey-Predator Systems

3.5 Competition Models: Principle of Competitive Exclusion

Dynamics Analysis of Anti-predator Model on Intermediate Predator With Ratio Dependent Functional Responses

Linear and Nonlinear Oscillators (Lecture 2)

A delayed SIR model with general nonlinear incidence rate

A Discrete Model of Three Species Prey- Predator System

Krauskopf, B., Erzgraber, H., & Lenstra, D. (2006). Dynamics of semiconductor lasers with filtered optical feedback.

PREDATOR-PREY MODELS WITH DISTRIBUTED TIME DELAY

Stability and Hopf bifurcation of a ratio-dependent predator prey model with time delay and stage structure

Stability and bifurcation in a two species predator-prey model with quintic interactions

Transcription:

MATIMYÁS MATEMATIKA Journal of the Mathematical Society of the Philippines ISSN 5-696 Vol. 37 Nos. - (4) pp. - Bifurcations in Delayed Lotka-Volterra Intraguild Predation Model Juancho A. Collera Department of Mathematics and Computer Science University of the Philippines Baguio Baguio City, Philippines jacollera@up.edu.ph Abstract Omnivory is defined as feeding on more than one trophic level. An example of this is the so-called intraguild predation (IG) which includes a predator and its prey that share a common resource. IG predation models are known to exhibit interesting dynamics including chaos. This work considers a three-species food web model with omnivory, where the interactions between the basal resource, the IG prey, and the IG predator are of Lotka-Volterra type. In the absence of predation, the basal resource follows a delayed logistic equation or popularly known as Hutchinson s equation. Conditions for the existence, stability, and bifurcations of all non-negative equilibrium solutions are given using the delay time as parameter. Results are illustrated using numerical bifurcation analysis. Introduction Omnivory, as defined in [5], occurs when a population feeds on resources at more than one trophic level. For example, a species feeding on its prey s resource is called omnivorous. This particular type of tri-trophic community module is called intraguild (IG) predation [6], and was shown to be quite common in nature []. This three-species IG predation model includes top and intermediate predators termed as IG predator and IG prey, respectively, and a basal resource. The IG predator depends completely both on the IG prey and the basal resource for its sustenance, while the IG prey depends solely on the basal resource. A study of a model of IG predation with non-linear functional responses in [3] showed that omnivory stabilizes and enhances persistence of the three-species food web. However, a model of Lotka-Volterra type with linear functional responses considered in [9] showed that IG predation could have a destabilizing effect, and a criterion for co-existence of all three species is that the IG prey must be superior than the IG predator in competing for the shared basal resource. Lotka-Volterra IG predation models are known to exhibit interesting dynamics such as limit cycles [8], bistabity [], and chaos [4, 9]. In this paper, we consider a Lotka-Volterra IG predation model where, in the absence of the IG predator and the IG prey, the basal resource grows according to the delayed logistic equation or more commonly known as the Hutchinson s equation [3]. It should be noted that there are several other ways of formulating the delayed logistic equation such as in [], and in this paper, we use the so-called classical delayed logistic equation. Our delayed model generalizes the Lotka-Volterra IG predation models of [9] and [9] which are basically

Juancho A. Collera systems of ODEs. This paper is organized as follows. In Section, we introduce the delayed Lotka-Volterra IG predation model and discuss the existence of its equilibrium solutions. In Section 3, we give the main results of this paper. These are the conditions for stability and bifurcations of all non-negative equilibria using the delay time as parameter. In Section 4, we use numerical continuation and bifurcation analysis to illustrate our results on the effects of the delay time to our Lotka-Volterra IG predation model. We then end by giving a summary and the thoughts of this paper. The Model We consider the following delayed Lotka-Volterra IG predation model ẋ(t) = [a a x(t τ) a y(t) a 3 z(t)] x(t), ẏ(t) = [ b + b x(t) b 3 z(t)] y(t), () ż(t) = [ c + c x(t) + c y(t)] z(t), where x(t), y(t), and z(t) are the densities at time t of the basal resource, IG prey, and IG predator, respectively. In the absence of the IG predator and the IG prey, the basal resource grows according to the delay logistic equation [3, 8]. When τ =, we recover the ODEs model in [9]. We refer to [9] for the description of the rest of the parameters in (). Moreover, we use an initial condition (x(t), y(t), z(t)) = (x, y, z ) for t [ τ, ] and where x, y, z. An important characteristic of the IG predation is that it is a mixture of community modules such as competition and predation [8, 9, 6]. When a 3 = c =, we obtain a food chain while if b 3 = c =, we obtain exploitative competition (or shared resources) where two predators, in our case the IG predator and the IG prey, share a common resource and the IG predator does not feed on the IG prey. Meanwhile, if a = b =, we obtain apparent competition (or shared predation), which in our model, the IG predator feeds on both the IG prey and the basal resource but there is no predation on the basal resource by the IG prey. In this case, the IG prey will go extinct.. Equilibrium Solutions System () has five possible non-negative equilibrium solutions: E = (,, ), E = (K,, ) where K = a /a, E = (A, B, ) where A = b /b and B = (a b a b )/a b, E 3 = (C,, D) where C = c /c and D = (a c a c )/a 3 c, and the positive equilibrium solution E 4 = (P/S, Q/S, R/S) where P = a b 3 c a b 3 c + a 3 b c, Q = a b 3 c + a b 3 c a 3 b c + a 3 b c, R = a b c a b c + a b c a b c, S = a b 3 c a b 3 c + a 3 b c. Since all parameters of system () are positive, we have K >, A >, and C >. Thus, E and E always exist. For E and E 3 to exist, we require B > and D >, respectively, or equivalently A < K and C < K, respectively. Now, if S is positive (resp. negative),

Bifurcations in Delayed Lotka-Volterra... 3 then each of P, Q, and R must also be positive (resp. negative) for E 4 to be a positive equilibrium. The following theorem summarizes these results. Theorem. For system (), the equilibrium solutions E = (,, ) and E = (K,, ) always exist, while E and E 3 exist provided a b > a b and a c > a c, respectively, or equivalently, A < K and C < K, respectively. The positive equilibrium solution E 4 exists if P/S, Q/S, and R/S are all positive.. Local Stability of Equilibria Let X(t) = [x(t), y(t), z(t)] T. Then, the linear system corresponding to () around an equilibrium solution E = (x, y, z ) is Ẋ(t) = M X(t) + M X(t τ) where a a x a y a 3 z a x a 3 x M = b y b + b x b 3 z b 3 y c z c z c + c x + c y and M = a x and with corresponding characteristic equation, det(λi M M e λτ ) =. () If all roots of () have negative real part, then the equilibrium solution E is locally asymptotically stable [8]. We can think of the roots of () as continuous functions of the delay time τ, that is, λ = λ(τ). When τ =, () is a polynomial equation. In this case, the well-known Routh-Hurwitz criterion can then be utilized to provide stability conditions for E. Now, consider the case when τ >. The following lemma is adopted from Corollary.4 of [7] specifically for the characteristic equation (). Lemma. As τ is increased from zero, the sum of the orders of the roots of () in the open right half-plane can change only if a zero appears on or crosses the imaginary axis. This means that stability switch occurs at a critical value τ = τ where λ(τ ) is either zero or purely imaginary. The transversality condition d(re λ)/ τ=τ > implies that the eigenvalues cross from left to right. Hence, if E is stable at τ =, then, as τ is increased, it loses its stabilty at τ = τ. Thus, E is locally asymptotically stable when τ (, τ ). If there are no roots of () that cross the imaginary axis, then there are no stability switches and in this case, we have absolute stability [4]. That is, E remains stable for all delay time τ >. In the section that follows, we show that stability switch occurs at a Hopf bifurcation point. That is, a stable equilibrium solution E loses its stability at τ = τ where λ(τ ) is purely imaginary while a small-amplitude limit cycle branching from this equilibrium solution emerges. More precisely, we now state the Hopf Bifurcation Theorem [3, 8]. Consider the one-parameter family of delay differential equations ẋ(t) = F (x t, ρ), (3) where F : C R R n is twice continuously differentiable in its arguments, C = C ([ r, ], R n ) is the space of continuous functions from [ r, ] into R n with r, x t (θ) = x(t + θ) for

4 Juancho A. Collera x t C, and F (, ρ) = for all ρ. That is, φ = is an equilibrium solution of (3) for all ρ. Linearizing (3) about φ =, we obtain the linear system ẋ(t) = L(ρ)x t. We assume that the characteristic equation h(ρ, λ) = corresponding to this linear system satisfies the following: (H) h(, λ) = has a pair of simple imaginary roots ±iω with ω and no other root that is an integer multiple of ω. Property (H) implies that h λ (, iω ). The implicit function theorem then guarantees, for small ρ, the existence of continuously differentiable family of roots λ(ρ) = α(ρ) + iω(ρ) satisfying λ() = iω. We also assume that (H) the roots λ(ρ) cross the imaginary axis transversally as ρ increases from zero. That is, α () >. Theorem 3 (Hopf Bifurcation Theorem). Let (H) and (H) hold. Then, there exists ε >, real-valued even functions ρ(ε) and T (ε) satisfying ρ() = and T () = π/ω and a nonconstant T (ε)-periodic function p(t, ε), with all functions being continuously differentiable in ε for ε < ε, such that p(t, ε) is a solution of (3) and p(t, ε) = εq(t, ε) where q(t, ) is a π/ω -periodic solution of q = L()q. 3 Main Results In the following, we give conditions for the stability of each equilibrium solution of system () when τ > using the technique mentioned above. When τ =, the stability analysis of each of the equilibrium solution of system () can be found in [4, Appendix A] and in [9] but in slightly different form. We mention them here for completeness. At E, the characteristic equation () becomes (λ a )(λ + b )(λ + c ) = whose roots are a >, b < and c <. Thus, we have the following result. Theorem 4. The equilibrium solution E = (,, ) of system () is a local saddle point and is unstable for all delay time τ >. At E, the characteristic equation () becomes (λ b a B/a ) (λ c a 3 D/a ) ( λ + a e λτ ) =. (4) When τ =, (4) has roots a <, b a B/a, and c a 3 D/a. In this case, we see that E is locally asymptotically stable provided both B and D are negative, or equivalently A > K and C > K. Recall from Theorem that these conditions imply that both E and E 3 do not exist. Suppose now that τ >, and A > K and C > K. It is known that all roots of λ + a e λτ = have negative real part if and only if a τ < π/ (see for example [, pp.7]). Thus, E is locally asymptotically stable if and only if τ < π/a. Theorem 5. Suppose that () satisfies a b > a b and a c > a c, or equivalently A > K and C > K, respectively. Then, the equilibrium solution E = (K,, ) is locally asymptotically stable if and only if τ (, τ c ) where τ c = π/a. If τ = τ c, then () undergoes a Hopf bifurcation at E. Example. The set of parameter values (a, a, a, a 3, b, b, b 3, c, c, c ) = (,.5,,.6,.75,.5,.5,.5,.5,.3)

Bifurcations in Delayed Lotka-Volterra... 5 satisfies the assumptions in Theorem 5, and gives τ c = π/ (approx..578). Figure illustrates the stability switch at τ = π/ using the initial condition (x(t), y(t), z(t)) = (,, ) for t [ τ, ]. E = (,, ) is stable for τ (, τ c ). τ =.5 τ =.6 x(t) 3 3 5 5 5 5 y(t) 5 5 5 5 z(t) 5 5 time t 5 5 time t Figure : Stability switch occurs at a Hopf bifurcation point where τ = π/. E is stable when τ < π/ (Left) and is unstable when τ > π/ (Right). At E, the characteristic equation () becomes (λ R/a b ) ( λ + bλe λτ + c ) = (5) where b = a A and c = a b B. Since the existence of E requires both A and B to be positive, we have b > and c >. First, consider the case when τ =. Since b > and c >, the Routh-Hurwitz criterion tells us that all roots of λ + bλ + c = have negative real parts. Thus, E is locally asymptotically stable if and only if R <. Suppose now that τ > and R <. Since both c and R are non-zero, λ = is not a root of (5). Meanwhile, notice that λ = iµ, with µ >, is a root of (5) if and only if µ satisfies µ +i bµe iµτ + c =. Splitting into real and imaginary parts, we obtain bµ sin(µτ) = µ c and bµ cos(µτ) =. (6) Squaring each sides of equations in (6) and then adding them together, we get µ 4 ( b + c ) [ µ + c =, or equivalently, µ = b + c ± ( b + c ) ] 4 c. Since b + c > and the discriminant ( b + c) 4 c = b ( b + 4 c) >, we obtain two positive values of µ given by { [ ( b µ ± = + c ) ± ( b + c ) ]} / 4 c (7) with < µ < µ +. Using (6), we get cot µτ =. Thus µτ = (k + )π/ for k =,,,... Now, corresponding to a given µ, define the increasing sequence τ k = (k + )π/µ for k =,,,.... The proof of the following lemma can be found in [, pp. 74 75]. Lemma 6. Let λ(τ) be the root of (5) satisfying λ(τ k ) = iµ. Then, d(re λ) sign = sign (µ b c). τ=τk

6 Juancho A. Collera For µ = µ ±, define the sequence τ ± k = (k + )π/µ ± for k =,,,... correspondingly, and let τ ± = τ µ ±. Since < µ < µ +, we have τ µ+ < τ µ, and hence τ µ+ is the smallest amongst all τ ± k. From (7), we have µ + b c >. Thus, at τ = τ µ+ (or equivalently at d(re λ) µ = µ + ), the quantity is positive by Lemma 6. This, together with Theorem 3, we have the following result. Theorem 7. Suppose that in system (), a b c + a b c < a b c + a b c or equivalently R <. Then, the equilibrium solution E = (A, B, ) of () is locally asymptotically stable whenever τ (, τ µ+ ). If τ = τ µ+, then system () undergoes a Hopf bifurcation at E. Example. Using the same set of parameters and initial condition as in Example with b changed to.5, the assumptions in Theorem 7 are satisfied. Figure illustrates the stability switch at τ = τ µ+ =.6573 approximately. τ =.5 τ =.75 x(t) 3 3 5 5 5 5 y(t) 5 5 5 5 z(t) 5 5 time t 5 5 time t Figure : Stability switch occurs at a Hopf bifurcation where τ = τ µ+ =.6573 approximately. The equlibrium solution E = (.5,.5,.) is stable when τ < τ µ+ (Left) and is unstable when τ > τ µ+ (Right). A similar condition for the stability of E 3 can be obtained using the same analysis used for E, and is given in the following theorem. Theorem 8. Suppose that in system (), a b 3 c + a 3 b c < a b 3 c + a 3 b c or equivalently Q <. Let b = a C, c = a 3 c D, and ν + = { [ ( b ) / + c + ( b + c) 4 c ]}. Then, the equilibrium solution E 3 = (C,, D) of () is locally asymptotically stable whenever τ (, τ ν+ ) where τ ν+ = π/ν +. If τ = τ ν+, then system () undergoes a Hopf bifurcation at E 3. At E 4, the characteristic equation () becomes λ 3 + aλ + b + (cλ + d)e λτ = (8) where a = (P Qa b + P Ra 3 c + QRb 3 c )/S, b = P QR(a 3 b c a b 3 c )/S 3, c = a P/S, and d = P QRa b 3 c /S 3. Note here that b + d = P QR/S. Order-three quasi-polynomials with single delay, different to (8), have been studied in [5, ]. We follow a similar method

Bifurcations in Delayed Lotka-Volterra... 7 used in [5] to analyze the distribution of the roots of (8) on the complex plane. When τ =, then (8) reduces to λ 3 + cλ + aλ + (b + d) =. (9) The Routh-Hurwitz criterion tells us that all roots of (9) have negative real part if and only if the following inequalities hold: a, c, b + d > and ac (b + d) >. If S <, then P, Q, and R must all be negative for E 4 to be a positive equilibrium. This implies that a >, c >, and b + d <, and thus, E 4 is unstable. If S >, then each of P, Q, and R must be positive for E 4 to be a positive equilibrium. In this case, a, c, and b+d are all positive. Now, notice that if in addition to the assumption that S >, we also have b < (or equivalently a b 3 c > a 3 b c ), then ac (b + d) = a P (Qa b + Ra 3 c )/S 3 b >. Hence, for the case when τ =, E 4 is locally asymptotically stable whenever S > and b <. Suppose now that τ >, and assume that S > and b <. If λ = is a root of (8), then b + d =. However, b + d since b + d = P QR/S and none of P, Q, and R is equal to zero. Thus, λ = is not a root of (8). If λ = iω, with ω >, is a root (8), then iω 3 + iaω + b + ( cω + d)e iωτ =. Splitting into real and imaginary parts, we get (cω d) cos ωτ = b, and (cω d) sin ωτ = ω 3 aω. () Squaring each sides of these equations and then adding corresponding sides give ω 6 + αω 4 + βω + γ = () where α = a c, β = a + cd, and γ = b d. We claim that α <, β >, and γ <. To see this, observe that since S >, we have P, Q, R > and consequently, a, c, and d are all positive. Immediately, we see that α < and β >. Meanwhile, the assumptions S > and b < gives b + d > and b d <, respectively. As a result, γ = (b + d)(b d) <. We now show that () has at least one positive root. Let h(u) = u 3 + αu + βu + γ, and note that if the equation h(u) = has a positive root u = u, then () has a positive root ω = u. Now, notice that h (u) = 3u + αu + β = has two positive roots u ± = ( α ± α 3β )/3 with < u < u +. Since h() = γ <, h () = β >, and h () = α <, we know that the graph of h passes through the point (, γ) below the horizontal axis, and then increases in a concave down manner. The continuity of h and the fact that h increases without bound as u + guarantee that h has at least one positive root u. That is, () has a positive root ω = u, and therefore (8) has purely imaginary roots λ = ±iω. Noting that a local maximum of h occurs at u = u and a local minimum of h occurs at u = u +, we see that the graph of the cubic polynomial h is increasing on (, u ) and on (u +, + ). Moreover, we either have < u < u or u > u +. If the equation h(u) = has more than one positive roots, then it must have exactly three positive roots so that ω is a simple root of (). Using the first equation ( ) in (), ] for a given ω, define its corresponding increasing sequence τ k = ω [cos b cω d + πk for k =,,,... Specifically, for a given ω, we get a corresponding τ. Among the three positive roots of the equation h(u) =, we then choose u so that ω = ω = u has corresponding τ that is smallest. This guarantees that a pair of purely imaginary eigenvalues first occurs at τ = τ. Lemma 9. Let λ(τ) be the root of (8) satisfying λ(τ k ) = iω. Then, d(re λ) >. τ=τk

8 Juancho A. Collera Proof. From (8), Consequently, [ (3λ + a) + (cλ (cλ + d)τ)e λτ ] dλ λ(cλ + d)e λτ =. = ( ) dλ cλ + (3λ + a)e λτ λ(cλ + d) = τ λ c cλ + d 3λ + a λ(λ 3 + aλ + b) τ λ since e λτ /(cλ + d) = /(λ 3 + aλ + b) using (8). Hence, { } { ( ) } d (Re λ) dλ sign = sign Re λ=iω { = sign Re λ=iω c cλ + d + Re 3λ a λ 4 + aλ + bλ } λ=iω { c = sign Re cω + d + Re 3ω } a ω 4 aω + ibω { c = sign cω d + (3ω a)(ω 4 aω) } (ω 4 aω ) + (bω ) { c = sign cω d + (3ω a)(ω } a) (ω 3 aω ) + b { c = sign cω d + (3ω a)(ω } a) (cω d) since (ω 3 aω ) + b = (cω d) from (). Thus, { } d (Re λ) sign = sign { c(cω d) + (3ω a)(ω a) } λ=iω = sign { 3ω 4 + ( 4a c )ω + (a + cd) } = sign { 3ω 4 + αω + β }. Since h is increasing on the intervals (, u ) and (u +, ), and u belongs to (, u ) or to (u +, ), we have h (u ) = 3u + αu + β >. This implies that 3ω 4 + αω + β > since ω = u. Thus, { } d (Re λ) sign = sign { 3ω 4 + αω + β } = + λ=iω and this completes the proof. By Lemma 9, >. This, together with Theorem 3 give the following result. d(re λ) τ=τ Theorem. Suppose that in system (), a b 3 c + a 3 b c > a b 3 c and a b 3 c > a 3 b c (or equivalently S > and b <, respectively). Then, the positive equilibrium solution E 4 of () is locally asymptotically stable whenever τ (, τ ). If τ = τ, then system () undergoes a Hopf bifurcation at E 4.

Bifurcations in Delayed Lotka-Volterra... 9 Example 3. Using the same set of parameters as in Example with b = and c =.4, the assumptions in Theorem are satisfied. Using the initial condition (x(t), y(t), z(t)) = (.78,.58,.6) for t [ τ, ], Figure 3 illustrates the stability switch at τ = τ =.7438 approximately. x(t).8.79.78.77.76 τ =.65 5 5 5 3 35 4 45 x(t) τ =.85 5 5 5 3 35 4 45.6 y(t).59.58.57 y(t).56 5 5 5 3 35 4 45 5 5 5 3 35 4 45.8. z(t).7.6.5 z(t)..4 5 5 5 3 35 4 45 time t 5 5 5 3 35 4 45 time t Figure 3: Stability switch occurs at τ = τ =.7438 (approx.). The positive equilibrium solution E 4 = (.7778,.5778,.556) is stable for τ < τ (Left) and is unstable when τ > τ (Right). 4 Numerical Continuation Recall that for τ =, E 4 is locally asymptotically stable whenever S > and b <. A branch of equilibrium solutions can be obtained by following or continuing this equilibrium solution in DDE-Biftool [6] using the delay time τ as parameter. DDE-Biftool is a numerical continuation and bifurcation analysis tool developed by Engelborghs et al [7]. We use the same set of parameters and initial condition used in Example 3. In Figure 4, the top panel shows the branch of equilibrium solutions (horizontal line) obtained in DDE-Biftool, where green and magenta represents the stable and unstable parts of the branch, respectively. A change of stability occurs at a Hopf bifurcation point marked with ( ) where τ = τ. Again, we use DDE-biftool to continue this Hopf point into a branch of periodic solutions. We obtained a stable branch of periodic solutions and is shown as the green curve in the top panel of Figure 4. Here, the vertical axis gives a measure of the maximum value of the oscillation of the periodic solutions in the x(t) component. The middle and bottom panels correspond to the same bifurcation diagram as the top panel but for the y(t) and the z(t) components. Figure 4 illustrates the results of Theorem, that is, the stability switch at τ = τ and the occurrence of Hopf bifurcation. Numerical continuations show that, as the positive equilibrium E 4 loses its stability, the branch of periodic solutions that emerges from the Hopf point is stable. Biologically, this means that the three species still persist and the only difference now is that the three populations are oscillating. 5 Conclusion We studied a delayed Lotka-Volterra IG predation model where, in the absence of predation, the basal resource grows according to the delayed logistic equation. By first considering the case where τ =, stability conditions for the all non-negative equilibria are established using the well-known Routh-Hurwitz criterion. For τ >, we showed that stability switch occurs

Juancho A. Collera x(t).8.74 τ.75 y(t).7.6.74 τ.75.64 z(t).6.56.74 τ.75 Delay Time τ Figure 4: Stable branch of periodic solutions emerges from the Hopf bifurcation point marked with ( ) where τ = τ. at a Hopf bifurcation where the stable equilibrium becomes unstable. Moreover, numerical continuation shows that a stable branch of periodic solutions emerges from the Hopf point as the positive equilibrium solution becomes unstable. This means that by increasing the delay time the positive equilibrium could become unstable. However, since the periodic orbit that will emerge is stable, all three species will still persist. Acknowledgement The author acknowledges the support of the University of the Philippines Baguio and funding from the Diamond Jubilee Professorial Chair Award. References [] M. Arim, P.A. Marquet, Intraguild predation: a widespread interaction related to species biology, Ecol. Lett. 7(7) (4) 557 564. [] J. Arino, W. Lin, G.S.K. Wolkowicz, An alternative formulation for a delayed logistic equation, J. Theor. Biol. 4() (6) 9 9. [3] O. Arino, M.L. Hbid, and E. Ait Dads (Eds.), Delay Differential Equations and Applications, Springer, Berlin, 6. [4] F. Brauer, Absolute stability in delay equations, J. Differ. Equations 69() (987) 85 9. [5] R.V. Culshaw, S. Ruan, A delay-differential equation model of HIV infection of CD4 + T-cells, Math. Biosci. 65() () 7 39.

Bifurcations in Delayed Lotka-Volterra... [6] K. Engelborghs, T. Luzyanina, D. Roose, Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL, ACM T. Math. Software 8() (). [7] K. Engelborghs, T. Luzyanina, G. Samaey, DDE-BIFTOOL v..: a Matlab package for bifurcation analysis of delay differential equations, Report TW-33, Department of Computer Science, K.U. Leuven, Leuven, Belgium,. [8] R.D. Holt, Community modules, in: Multitrophic interactions in terrestrial ecosystems, 36th Symposium of the British Ecological Society, Blackwell Science, Oxford, 997, pp. 333 349 [9] R.D. Holt, G.A. Polis, A theoretical framework for intraguild predation, Am. Nat. (997) 745 764. [] S.B. Hsu, S. Ruan, T.H. Yang, Analysis of three species Lotka-Volterra food web models with omnivory, J. Math. Anal. Appl. (in press). [] P. Katri, S. Ruan, Dynamics of human T-cell lymphotropic virus I (HTLV-I) infection of CD4 + T-cells, C. R. Biol. 37() (4) 9 6. [] Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, Academic Press, New York, 993. [3] K. McCann, A. Hastings, Reevaluating the omnivorystability relationship in food webs, P. Roy. Soc. Lond. B Bio. 64(385) (997) 49 54. [4] T. Namba, K. Tanabe, N Maeda, Omnivory and stability of food webs, Ecol. Complex. 5() (8) 73 85. [5] S.L. Pimm, J.H. Lawton, On feeding on more than one trophic level, Nature 75(568) (978) 54 544. [6] G.A. Polis, C.A. Myers, R.D. Holt, The ecology and evolution of intraguild predation: potential competitors that eat each other, Annu. Rev. Ecol. Syst. (989) 97 33. [7] S. Ruan, J. Wei, On the zeros of transcendental functions with applications to stability of delay differential equations with two delays, Dynam. Cont. Dis. Ser. A (3) 863 874. [8] H. Smith, An Introduction to Delay Differential Equations with Applications to the Life Sciences, Springer, New York,. [9] K. Tanabe, T. Namba, Omnivory creates chaos in simple food web models, Ecology 86() (5) 34 344.

Juancho A. Collera