ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS. Sze-Bi Hsu. Christopher A. Klausmeier. Chiu-Ju Lin. (Communicated by the associate editor name)
|
|
- Emerald West
- 8 years ago
- Views:
Transcription
1 Manuscript submitted to AIMS Journals Volume X, Number 0X, XX 00X Website: pp. X XX ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS Sze-Bi Hsu Department of Mathematics National Tsing-Hua University Hsinchu, Taiwan 300 Christopher A. Klausmeier Kellogg Biological Station Michigan State University Hickory Corners MI 49060, USA Chiu-Ju Lin Department of Mathematics National Tsing-Hua University Hsinchu, Taiwan 300 (Communicated by the associate editor name) Abstract. In this paper we study a mathematical model of two parallel food chains in a chemostat. Each food chain consists of a prey species x and a predator species y. Two food chains are symmetric in the sense that the prey species are identical and so are the specialized predator species. We assume that both of the prey species in the parallel food chains share the same nutrient R. In this paper we show that as the input concentration R (0) of the nutrient varies, there are several possible outcomes: (1) all species go extinct; () only the two prey species survive; (3) all species coexist at equilibrium; (4) all species coexist in the form of oscillations. We analyze cases (1) (3) rigorously; for case (4) we do extensive numerical studies to present all possible phenomena, which include limit cycles, heteroclinic cycles, and chaos. 1. Introduction and the model. Populations often vary in nature. While they are subject to external forcing, communities are also capable of generating sustained oscillations through interspecific interactions such as predator-prey [8, 15, 10, 13] and intransitive competition of three or more species [9, 7]. Key questions are: what other food web configurations are capable of producing internally-generated nonequilibrium dynamics, under what environmental conditions do we expect oscillations, and what are the characteristics of these oscillations? Here we investigate the dynamics of another simple food web module, that of two parallel food chains coupled by a shared basal resource. In the following we describe a mathematical model of symmetrical food chains in a chemostat. Let R(t) denote the concentration of nutrient (or resource) at time t. Let x 1 (t) and x (t) be the population density of two identical prey at time t on the first and second food chain, respectively; y 1 (t) and y (t) be the population density of two identical 000 Mathematics Subject Classification. 34D05, 34D0, 9D5. Key words and phrases. food chains, limit cycles, heteroclinic orbits, chemostat, chaos. Research partially supported by National Council of Science, Republic of China. 1
2 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN predators respectively. Let R (0) be the input concentration and D be the dilution rate. The governing equations are R (t) = (R (0) R(t))D 1 γ x f(r(t))(x 1 (t) + x (t)), x 1(t) = (f(r(t)) D)x 1 (t) 1 γ y g(x 1 (t))y 1 (t), x (t) = (f(r(t)) D)x (t) 1 γ y g(x (t))y (t), y 1(t) = (g(x 1 (t)) D)y 1 (t), (1) y (t) = (g(x (t)) D)y (t), f(r(t)) = mr(t) a + R(t), g(x i(t)) = µx i(t), i = 1,, K + x i (t) R(0) 0, x 1 (0) > 0, x (0) > 0, y 1 (0) > 0, y (0) > 0, where f(r) and g(x) are the growth rate of prey species x and predator y, respectively. They take the forms of the Michaelis-Menten formulation. m is the maximum growth rate, a is the half-saturation constant for the prey species x. µ is the maximal growth rate and K is the half-saturation constant for the predator species y. γ x and γ y are the yield constants for the prey species x and the predator species y respectively. By rescaling x and y, we may assume γ x = γ y = 1. Let Σ = R (0) (R + x 1 + x + y 1 + y ). Adding the equations in (1) yields Σ (t) = DΣ(t). It follows that Σ(t) = Σ(0)e Dt 0 as t. Since lim t (R(t) + x 1 (t) + x (t) + y 1 (t) + y (t)) = R (0), we conclude that the omega limit set of the system (1) lies in the set Ω = {(R, x 1, x, y 1, y ) : R + x 1 + x + y 1 + y = R (0) }. Consider the limiting system of (1) on Ω x 1(t) = (f(r(t)) D)x 1 (t) g(x 1 (t))y 1 (t), x (t) = (f(r(t)) D)x (t) g(x (t))y (t), y 1(t) = (g(x 1 (t)) D)y 1 (t), y (t) = (g(x (t)) D)y (t), R(t) = R (0) (x 1 (t) + x (t)) (y 1 (t) + y (t)), x i (0) > 0, y i (0) > 0, i = 1,, () 0 < x 1 (0) + x (0) + y 1 (0) + y (0) < R (0).
3 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 3 In the rest of section we shall consider the following model (3), which is a generalization of (). x 1(t) = (f(r(t)) d x )x 1 (t) g(x 1 (t))y 1 (t), x (t) = (f(r(t)) d x )x (t) g(x (t))y (t), y 1(t) = (g(x 1 (t)) d y )y 1 (t), y (t) = (g(x (t)) d y )y (t), R(t) = R (0) (x 1 (t) + x (t)) (y 1 (t) + y (t)), x i (0) > 0, y i (0) > 0, i = 1,, 0 < x 1 (0) + x (0) + y 1 (0) + y (0) < R (0), where d x and d y are the death rates of prey and predator, respectively. For convenience, we denote the break-even resource concentration λ x and λ y for prey species x and predator species y, respectively, λ x = f 1 a (d x ) = ( m d x ) 1, λ y = g 1 (d y ) = K ( µ d y ) 1. If m d x then x i (t) 0 as t, i = 1,. Similarly if µ d y then y i (t) 0 as t, i = 1,. Hence we assume λ x > 0, λ y > 0. The rest of the paper is organized as follows. In section, we state some preliminary results about the single food chain model. In section 3, we consider the two parallel food chains with either no predators or with only one predator. In section 4, we analyze and classify all cases on two parallel food chains sharing one nutrient. In section 5, we present our numerical studies and discuss their biological meanings.. Preliminary results for the single food chain. In this section we review some preliminary results about the single food chain model. Using the same notations in previous section, we consider the following system of the single food chain: x (t) = (f(r(t)) d x )x(t) g(x(t))y(t), y (t) = (g(x(t)) d y )y(t), R(t) = R (0) (x(t) + y(t)), x(0) > 0, y(0) > 0, 0 < x(0) + y(0) < R (0). Then from [1], we have the following results. Theorem.1. (a) If 0 < R (0) < λ x then x(t) 0, y(t) 0 as t. (b) If λ x < R (0) < λ x + λ y then x(t) x > 0, y(t) 0 as t where x = R (0) λ x. (c) If R (0) > λ x + λ y then there exists a unique equilibrium E c = (x c, y c ) of the system (4), where x c = λ y and y c satisfies the equation f(r (0) y x c y) d x = d y x c. Furthermore (x c, y c ) is locally stable if µ (K + x c ) y ma c < (a + R (0) x c y c ). (*) (3) (4)
4 4 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN (d) ( ) is equivalent to R (0) < ˆR for some ˆR > 0. (e) If λ x + λ y < R (0) < ˆR then (x(t), y(t)) E c as t. (f) If R (0) > ˆR then there exists a limit cycle Γ. Remark 1. In (f), we conjecture that (x(t), y(t)) approaches a unique limit cycle Γ as t provided (x(0), y(0)) (x c, y c ). 3. Two parallel food chains with either no predators or with only one predator. In this section we first consider two parallel food chains without predators. x 1(t) = (f(r(t)) d x )x 1 (t), x (t) = (f(r(t)) d x )x (t), R(t) = R (0) (x 1 (t) + x (t)), x 1 (0) > 0, x (0) > 0, 0 < x 1 (0) + x (0) < R (0). Theorem 3.1. If R (0) > λ x, then the solution (x 1 (t), x (t)) (x 1, x ) as t where the limit (x 1, x ), x 1 0, x 0 depends on the initial condition (x 1 (0), x (0)) satisfying x 1 + x = R (0) λ x, x 1 = x 1(0) x (0) x. Proof. Adding the two differential equations in (5) yields (x 1 + x ) (t) = (f(r(t)) d x )(x 1 + x )(t) Then x 1 (t) + x (t) R (0) λ x as t. = (f(r (0) (x 1 + x )(t)) d x )(x 1 + x )(t) > 0 if (x 1 + x )(t) < R (0) λ x, = 0 if (x 1 + x )(t) = R (0) λ x, < 0 if (x 1 + x )(t) > R (0) λ x. ( x1 ) From (5) x 1 x 1 = x x x = f(r(t)) d x, x = 1 x x 1 x x x = x 1 x x 1 x 1 x x 1 = 0. Hence x 1(t) x1(0) x (t) = c, t 0 where c = x. Let x (0) 1(t) = cx (t). From x 1 (t)+x (t) R (0) λ x as t, we get (1 + c)x (t) R (0) λ x, and x (t) R(0) λ x 1+c = x, x 1 (t) c(r (0) λ x) 1+c = x 1. Thus (x 1 (t), x (t)) (x 1, x ) as t. Remark. Every point in the set {(x 1, x )) : x 1 + x = R (0) λ x } is an equilibrium for the system (5). It is easy to verify that each of them is stable, but not asymptotically stable. Consider two parallel food chains with only one predator. The equations take the following form: x 1(t) = (f(r(t)) d x )x 1 (t) g(x 1 (t))y 1 (t), x (t) = (f(r(t)) d x )x (t), y 1(t) = (g(x 1 (t)) d y )y 1 (t), R(t) = R (0) (x 1 (t) + x (t) + y 1 (t)), x 1 (0) > 0, x (0) > 0, y 1 (0) > 0, 0 < x 1 (0) + x (0) + y 1 (0) < R (0). (5) (6)
5 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 5 In this case we obtain an interesting result that says that a single predator in the parallel food chains cannot survive. The following is a useful lemma in the proof of Theorem 3.3. Lemma 3.. ([1]) If lim t f(t) exists, and f (t) is bounded, then lim t f (t) = 0. Theorem 3.3. If R (0) > λ x, then the solution (x 1 (t), x (t), y 1 (t)) of (6) satisfies y 1 (t) 0 as t and (x 1 (t), x (t), y 1 (t)) (x 1, x, 0), for some x 1, x 0 satisfying x 1 + x = R (0) λ x. Proof. First, we add the three differential equations in (6) and get (x 1 + x + y 1 ) (t) = [f(r(t)) d x ](x 1 + x )(t) d y y 1 (t). (7) From (7), if f(r(t)) d x 0 then the quantity (x 1 + x + y 1 ) is decreasing. It is noted that f(r(t)) d x 0 R λ x R (0) (x 1 + x + y 1 ) λ x R (0) λ x (x 1 + x + y 1 ). So we divide the positive octant of R 3 into two regions. Let P = {(x 1, x, y 1 ) R 3 + x 1 + x + y 1 = R (0) λ x }, Ω 1 = {(x 1, x, y 1 ) R 3 + R (0) > x 1 + x + y 1 > R (0) λ x }, Ω = {(x 1, x, y 1 ) R 3 + x 1 + x + y 1 < R (0) λ x }. Suppose the trajectory (x 1 (t), x (t), y 1 (t)) stays in the region Ω 1 for all t 0, then (x 1 + x + y 1 )(t) is strictly decreasing and converges to a constant. It is easy to verify that x 1(t) + x (t) + y 1 (t) is bounded. Then from Lemma 3. we have (x 1 + x + y 1 ) (t) 0 as t. Since f(r) d x < 0 in Ω 1, then from (7) we have that f(r) d x 0 and y 1 (t) 0 as t. Hence x 1 (t) + x (t) converges to the constant R (0) λ x as t. If the trajectory (x 1 (t), x (t), y 1 (t)) passes the plane P, then from (7) it enters the region Ω and stays there. Now, consider the trajectory in the region Ω. Since R = R (0) (x 1 + x + y 1 ), from (6) x (t) = (f(r(t)) d x )x (t). x (t) is strictly increasing and bounded above by R (0) λ x, then x (t) converges, say x (t) x > 0 as t. Since x (t) converges and x (t) is bounded, from Lemma 3. we obtain that x (t) approaches zero as t. From the second equation of the system (6), it follows that f(r) d x 0 as t, R(t) λ x as t, R (0) (x 1 + x + y 1 )(t) λ x as t, (x 1 + y 1 )(t) (R (0) λ x x ) as t.
6 6 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Similarly (x 1 + y 1 ) (t) is bounded, from Lemma 3. we have (x 1 + y 1 ) (t) 0 as t. Since f(r) d x 0 as t and x 1 (t) is bounded, it follows that (x 1 + y 1 ) (t) =[f(r(t)) d x ]x 1 (t) d y y 1 (t) d y y 1 ( ) as t. Thus y 1 (t) 0 and we have (x 1 (t), x (t), y 1 (t)) (x 1, x, 0) as t for some x 1, x 0, x 1 + x = R (0) λ x. 4. Mathematical analysis of two parallel food chains system. In this section we focus on the limiting system (3). This is a system of four differential equations, and we proceed in the standard way: identify the rest points, determine their local stability, and discuss its global behavior Rest points and their local stability. The system has the following seven types of rest points: E 0 =(0, 0, 0, 0), E 10 = ( x 1, 0, 0, 0), E 0 = (0, x, 0, 0), E x = (x 1, x, 0, 0), E 1 = (x 1, 0, y 1, 0), E = (0, x, 0, y ), E c = (x 1c, x c, y 1c, y c ). The rest point E 0 always exists; E 10 and E 0 exist if R (0) > λ x where x 1 = x = R (0) λ x. The E x exists if R (0) > λ x where x 1 + x = R (0) λ x. From (3), E 1 exists if R (0) > λ x + λ y, where x 1 = λ y and y 1 satisfies f(r (0) x 1 y 1 ) d x = d y y 1 x 1, (8) y 1 is uniquely determined from (8). Similarly E has the same properties as E 1, so we just consider one of them. From (3) E c exists if and only if R (0) > λ x + λ y. It is easy to verify that x 1c = x c = λ y and y 1c = y c. We denote x c = x 1c = x c, y c = y 1c = y c. Then y c satisfies f(r (0) x c y c ) d x = d y y c x c. (9) Note that (9) has a unique positive solution if and only if R (0) > λ x + λ y. Now we establish the asymptotic stability of the rest points by showing the real parts of the eigenvalues of the variational matrix around the equilibria are negative. The variational matrix J about equilibrium E i, which takes the form At E 0, J(E 0 ) = J = m 11 m 1 m 13 m 14 m 1 m m 3 m 4 m 31 0 m m 4 0 m 44. f(r (0) ) d x f(r (0) ) d x d y d y The eigenvalues are the diagonals. Hence if R (0) < λ x then E 0 is asymptotically stable. If R (0) > λ x then E 0 is a saddle point with two dimensional stable manifold..
7 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 7 At E 10, J(E 10 ) = m 11 m 1 m 13 m m m 44 where m 11 = f ( R) x 1, m 1 = f ( R) x 1, m 13 = f ( R) x 1 g( x 1 ), m 14 = f ( R) x 1, m 33 = g( x 1 ) d y, m 44 = d y, R = R (0) x 1 = λ x. The eigenvalues are 0, m 11, m 33, m 44 with m 11 < 0 and m 44 < 0. We note that m 33 < 0 g( x 1 ) d y < 0 g(r (0) λ x ) < d y R (0) < λ x + λ y. If R (0) > λ x + λ y, then E 10 is a saddle. Similarly results hold for E 0 : if R (0) < λ x + λ y then J(E 0 ) has three negative eigenvalues and one zero eigenvalue, and E 0 is a saddle if R (0) > λ x + λ x. At E x, J(E x ) = m 11 m 1 m 13 m 14 m 1 m m 3 m m m 44 where m 11 = m 1 = m 14 = f (R )x 1, m 13 = f (R )x 1 g(x 1), m 1 = m = m 3 = f (R )x, m 4 = f (R )x g(x ), m 33 = g(x 1) d y, m 44 = g(x ) d y, R = R (0) (x 1 + x ) = λ x.,, It is easy to see that m 33 and m 44 are two eigenvalues. eigenvalues are the eigenvalues of the matrix [ ] m11 m polynomial of 1 is computed as m 1 m [ ] The remaining two m11 m 1. The characteristic m 1 m [λ + f (λ x )x 1][λ + f (λ x )x ] [f (λ x )] x 1x = 0 λ + [f (λ x )(R (0) λ x )]λ = 0. Clearly, the other two eigenvalues of J(E x ) are 0 and f (λ x )(R (0) λ x ). We note that m 33 < 0 iff x 1 < λ y and m 44 < 0 iff x < λ y. When R (0) λ x < λ y we get x 1 < λ y, x < λ y. Case 1: If λ x +λ y < R (0) < λ x +λ y, then the line x 1 +x = R (0) λ x is divided into three parts (See Fig. 1): 1. If (x 1, x ) AD, then J(E x ) has one zero eigenvalue, two negative eigenvalues and one positive eigenvalue. The unstable manifold of E x points into the positive y 1 direction.. If (x 1, x ) CD, then J(E x ) has one zero eigenvalue, three negative eigenvalues. 3. If (x 1, x ) BC, then J(E x ) has one zero eigenvalue, two negative eigenvalues and one positive eigenvalue. The unstable manifold of E x points into the positive y direction. Case : If R (0) > λ x + λ y, then the line x 1 + x = R (0) λ x is divided into three parts (See Fig. ):
8 8 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN x R (0) λ x λ y R (0) λ x B 0 + C 0 D 0 + A x 1 R (0) λ x λ y R (0) λ x Figure 1: Case 1. λ x + λ y < R (0) < λ x + λ y, AB is the line of equilibria (E x ). The plus and minus signs are the signs of the eigenvalues of J(E x ). x R (0) λ x B 0 + C 0 ++ R (0) λ x λ y D 0 + A x 1 λ y R (0) λ x R (0) λ x Figure : Case. R (0) > λ x + λ y. 1. (x 1, x ) AD, the eigenvalues of J(E x ) have same properties as in Case 1.. (x 1, x ) CD, then J(E x ) has one zero eigenvalue, one negative eigenvalue, two positive eigenvalues. 3. (x 1, x ) BC, the eigenvalues of J(E x ) have same properties as in Case 1. Case 3: If R (0) = λ x + λ y, then the line x 1 + x = R (0) λ x is divided into two parts (See Fig. 3): 1. If (x 1, x ) AC, then J(E x ) has one zero eigenvalue, two negative eigenvalues and one positive eigenvalue.. If (x 1, x ) BC, then J(E x ) has one zero eigenvalue, two negative eigenvalues and one positive eigenvalue. At E 1, J(E 1 ) = m 11 m 1 m 13 m 14 0 m 0 0 m m 44,
9 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 9 x R (0) λ x B 0 + λ y = R(0) λ x C 0 + A x 1 λ y = R(0) λ x R (0) λ x Figure 3: Case 3. R (0) = λ x + λ y. where m 11 = (f(r) d x ) f (R)x 1 g (x 1 )y 1, m 1 = m 14 = f (R)x 1, m 13 = f (R)x 1 g(x 1 ), m = f(r) d x, m 31 = g (x 1 )y 1, m 44 = d y, R = R (0) (x 1 + y 1 ). It is easy to see that one eigenvalue is m 44 = d y. The rest of three eigenvalues are the eigenvalues of m 11 m 1 m 13 0 m 0. m The eigenvalues λ satisfy λ(m 11 λ)(m λ) (m λ)m 13 m 31 = 0 (m λ)(λ m 11 λ m 13 m 31 ) = 0. One of eigenvalues is m = f(r (0) y x 1 y 1 ) d x = d 1 y x 1 > 0 by (8). The other two eigenvalues satisfy λ m 11 λ m 13 m 31 = 0. Since m 13 m 31 < 0, it follows that the real part of the other two eigenvalues is negative if and only if m 11 < 0, i.e. y d 1 y x 1 f (R (0) x 1 y 1 )x 1 g (x 1 )y 1 < 0. We conclude that if m 11 < 0 then E 1 is a saddle point with three dimensional stable manifold, otherwise if m 11 > 0 then E 1 is saddle with one dimensional stable manifold. Similarly for E, if m < 0 then E is a saddle point with three dimensional stable manifold, otherwise if m > 0 then E is saddle with one dimensional stable manifold. At E c, where J(E c ) = m 11 m 1 m 13 m 14 m 1 m m 3 m 4 m m = p q s q q p q s r r 0 0 p =(f(r c ) d x ) f (R c )x c g (x c )y c, q = f (R c )x c < 0, r =g (x c )y c > 0, s = f (R c )x c g(x c ) < 0, R c =R (0) (x c + y c )., (10)
10 10 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN The stability analysis around E c is presented in the following Lemma 4.1, whose proof is deferred to the appendix. Lemma 4.1. One of the following three cases holds: (a) E c is a repeller (each eigenvalue of the variational matrix J(E c ) has positive real part) or (b) E c is a saddle point with two dimensional stable manifold, or (c) J(E c ) has two eigenvalues that are purely imaginary, two eigenvalues with positive real part. The local behavior of the rest points are summarized in Table 1. Point Existence Stability E 0 = (0, 0, 0, 0) Always Asymptotically stable if R (0) < λ x. Saddle with -D stable manifold if R (0) > λ x. E 10 = ( x 1, 0, 0, 0) x 1 = R (0) λ x R (0) > λ x If R (0) < λ x + λ y, then J(E 10 ) has three negative eigenvalues and one zero eigenvalue. Saddle if R (0) > λ x + λ y. E 0 = (0, x, 0, 0) x = R (0) λ x R (0) > λ x If R (0) < λ x + λ y, then J(E 0 ) has three negative eigenvalues and one zero eigenvalue. Saddle if R (0) > λ x + λ y. E x = (x 1, x, 0, 0) x 1 + x = R (0) λ x R (0) > λ x If R (0) < λ x + λ y, then J(E x ) has three negative eigenvalues and one zero eigenvalue. If R (0) > λ x + λ y, there are Case 1,, 3 discsused above. E 1 = (x 1, 0, y 1, 0) x 1 = λ y, y 1 satisfies f(r (0) x 1 y 1 ) d x = d y y 1 x 1 E = (0, x, 0, y ) x = λ y, y satisfies f(r (0) x y ) d x = d y y x E c = (x c, x c, y c, y c ) x c = λ y, y c satisfies f(r (0) x c y c ) d x = d y y c x c R (0) > λ x + λ y R (0) > λ x + λ y R (0) > λ x + λ y Table 1: Saddle with 3-D stable manifold if y d 1 y x 1 f (R (0) (x 1 + y 1 )) g (x 1 )y 1 < 0. Saddle with 1-D stable manifold if y d 1 y x 1 f (R (0) (x 1 + y 1 )) g (x 1 )y 1 > 0. Saddle with 3-D stable manifold if y d y x f (R (0) (x + y )) g (x )y < 0. Saddle with 1-D stable manifold if y d y x f (R (0) (x + y )) g (x )y > 0. Saddle with -D stable manifold or a repeller or E c satisfies (3) of Lemma 4.1.
11 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS Global analysis of the two parallel food chains. We have established the existence and local stability of the rest points. As the parameter R (0) varies, the system (3) has different behavior. In the following, we study the global asymptotic behavior of the solutions of (3). Theorem 4.. (a) If 0 < R (0) < λ x then (x 1 (t), x (t), y 1 (t), y (t)) E 0 as t. (b) If λ x < R (0) < λ x + λ y then (x 1 (t), x (t), y 1 (t), y (t)) E x = (x 1, x, 0, 0) for some x 1 > 0, x > 0, x 1 + x = R (0) λ x as t. Proof. (a) If 0 < R (0) < λ x then f(r (0) ) d x < 0. From (3) we have x i(t) (f(r(t)) d x )x i (t), (f(r (0) ) d x )x i (t), = δx i (t), i = 1,, where δ = d x f(r (0) ) > 0. It follows that lim t x i (t) = 0, i = 1,. From (3) it is obvious that x i (t) 0 t, implies y i (t) 0 as t. (b) If λ x < R (0) < λ x + λ y then g(r (0) λ x ) < g(λ y ) = d y. From (3) we have (x 1 + x ) (t) (f(r(t)) d x )(x 1 + x )(t), (f(r (0) (x 1 + x )(t)) d x )(x 1 + x )(t). From the above differential inequality we get (x 1 + x )(t) R (0) λ x + ε for ε > 0 small such that R (0) λ x + ε < λ y, and t sufficiently large. From (3) it follows that y i (t) y i (t) = g(x i(t)) d y g((x 1 + x )(t)) d y g(r (0) λ x + ε) d y < 0, i = 1, if ε > 0 is small enough. Hence lim t y i (t) = 0, i = 1,. Then we have (x 1 + x ) (t) = (f(r(t)) d x )(x 1 + x )(t) g(x 1 )y 1 g(x )y = (f(r (0) (x 1 + x )(t)) d x )(x 1 + x )(t) + o(1) as t. Thus (x 1 + x )(t) R (0) λ x as t. Further analysis of the system (3) with larger R (0) is very technical. Next we will prove the extinction of top predators. The method is similar to those in the papers of Hsu, Hwang, and Kuang [5, 6], and Hsu [4]. Theorem 4.3. If λ x + λ y < R (0) < λ x + λ y then lim t y 1 (t)y (t) = 0. Proof. Without loss of generality we can assume that y 1 (0) > 0, y (0) > 0. Let P be the hyperplane P = {(x 1, x, y 1, y ) R 4 + x 1 + x + y 1 + y = R (0) λ x }, and the regions Ω 1 and Ω be Ω 1 = {(x 1, x, y 1, y ) R 4 + R 0 > x 1 + x + y 1 + y > R (0) λ x }, Ω = {(x 1, x, y 1, y ) R 4 + x 1 + x + y 1 + y < R (0) λ x }.
12 1 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Adding all differential equations in (3) yields (x 1 + x + y 1 + y ) (t) = [f(r(t)) d x ](x 1 + x )(t) d y (y 1 + y )(t). (11) If the trajectory (x 1 (t), x (t), y 1 (t), y (t)) stays in Ω 1 for t T where T is large, then (x 1 + x + y 1 + y )(t) is decreasing, since R (0) > x 1 + x + y 1 + y > R (0) λ x R (0) (x 1 + x + y 1 + y ) < R (0) (R (0) λ x ) = λ x f(r) < d x. From (11) and Lemma 3., we get (x 1 + x + y 1 + y ) 0 as t, and it follows that (y 1 + y )(t) 0 as t. If the trajectory (x 1 (t), x (t), y 1 (t), y (t)) passes through hyperplane P, then obviously it enters the region Ω and stays there for rest of time. Now we focus on the behavior of the trajectory in Ω. In this region we have Note that where x 1 + x + y 1 + y < R (0) λ x < (λ x + λ y ) λ x = λ y. (1) y 1 y 1 + y y = g(x 1 ) + g(x ) d y = µx 1 K + x 1 + µx K + x d y = µx 1(K + x ) + µx (K + x 1 ) (K + x 1 )(K + x ) P (x 1, x ) = (K + x 1 )(K + x ). d y P (x 1, x ) =µx 1 (K + x ) + µx (K + x 1 ) d y (K + x 1 )(K + x ) =µx 1 (K + x ) + µx (K + x 1 ) µλ y (K + (x 1 + x )K + x 1 x ) K + λ y = 1 K + λ y [µk ((x 1 + x )(K λ y ) + (x 1 x Kλ y ))]. Thus from (1) P (x 1, x ) µk [(x 1 + x )(K λ y ) + (x 1 + x ) ] Kλ y K + λ y < µk [(x 1 + x )(K λ y ) + λ y (x 1 + x ) Kλ y ] K + λ y = µk K + λ y [(x 1 + x )K Kλ y ] < µk K + λ y [λ y K Kλ y ] =0. From above, we conclude that y 1 (t) y 1 (t) + y (t) y (t) < δ 1 < 0 for some δ 1 > 0 for all t 0. Then y 1 (t)y (t) 0 exponentially as t.
13 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 13 Conjecture 1. If λ x +λ y < R (0) < λ x +λ y, the trajectory (x 1 (t), x (t), y 1 (t), y (t)) satisfies that lim t y i (t) = 0 for i = 1,. For the case R (0) > λ x + λ y, the global asymptotic behavior of the solution of (3) is more complicated. In this case the interior equilibrium E c exists and it is either a repeller or a saddle point with two dimensional stable manifold or it satisfies Lemma 4.1 (c). The following theorem describes what the stable manifold is. Theorem 4.4. Let R (0) > λ x +λ y. Assume x 1 (0) = x (0) > 0, y 1 (0) = y (0) > 0. (a) If R (0) < R then (x 1 (t), x (t), y 1 (t), y (t)) E c as t, (b) If R (0) > R then there exists a limit cycle Γ, where R is the unique root of the equation of R (0), µ ma (K + x ) y = (a + R (0) (x + y )), where x = λ y and y = y (R (0) ) satisfies f(r (0) x y) d x = d y y x. Remark 3. We conjecture (x 1 (t), x (t), y 1 (t), y (t)) approaches the unique limit cycle Γ as t. Proof. Let (x (t), y (t)) be the solution of the initial value problem x (t) =(f(r (0) (x + y)(t)) d x )x(t) g(x(t))y(t), y (t) =(g(x(t)) d y )y(t), x(0) = x 1 (0) = x (0) > 0, y(0) = y 1 (0) = y (0) > 0. Then (x (t), x (t), y (t), y (t)) satisfies (3). By uniqueness of the solution of an ordinary differential equation, it follows that x 1 (t) x (t) x (t), y 1 (t) y (t) y (t). Note that One makes the following changes: f(r (0) (x + y)) = m(r(0) (x + y)) a + (R (0) (x + y)) ( ) R m (0) (x + y) = ( ). a + R (0) (x + y) R (0) R(0), a a, λ x λ x. Substituting these into above differential equations and dropping the bars yields x (t) =(f(r (0) (x + y)(t)) d x )x(t) g(x(t))y(t), y (t) =(g(x(t)) d y )y(t), x(0) > 0, y(0) > 0. It is the same as the system (4). Thus we complete the proof. Theorem 4.4 shows that when R (0) < R the two dimensional stable manifold of the saddle point E c contains {(x 1, x, y 1, y ) R 4 + : x 1 = x, y 1 = y }. In the following Theorem 4.5, we show that for the system (3) if the Hopf bifurcation occurs, it must occur at R (0) = R. The proof is deferred to appendix 6.
14 14 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Theorem 4.5. For the system (3) Hopf bifurcation occurs only at R (0) = R, where R is defined in Theorem Discussion and numerical study. Our analytic study on the mathematical model of the two parallel food chains (3) reveals some interesting outcomes as the input concentration of the nutrient R (0) varies. If 0 < R (0) < λ x then both of the prey species and both of the predator species go extinct (Theorem 4. (a)). If λ x < R (0) < λ x + λ y then the prey species survive and the predator species go extinct with limiting value E x = (x 1, x, 0, 0) for some x 1, x > 0 satisfying x 1 + x = R (0) λ x (Theorem 4. (b)). If λ x + λ y < R (0) < λ x + λ y then from Theorem 4.3 the predator species y 1 and y satisfy lim t y 1 (t)y (t) = 0. For the case R (0) > λ x + λ y, if the initial populations satisfy x 1 (0) = x (0) > 0, y 1 (0) = y (0) > 0 then the trajectory approaches E c = (x c, x c, y c, y c ) as t provided λ x + λ y < R (0) < R (Theorem 4.4 (a)) or the trajectory approaches a unique limit cycle provided R (0) > R (Theorem 4.4 (b)). In the case λ x + λ y < R (0) < λ x + λ y, we know that y 1 and y satisfy lim t y 1 (t)y (t) = 0. Furthermore, by extensive numerical simulations, we conjecture that y 1 and y approach zero as time goes to infinity (See Fig 4). For the case R > R (0) > λ x + λ y, we present some numerical simulations with varying initial conditions (Fig 5). The interior equilibrium E c is a saddle point with two-dimensional stable manifold. Each figure in (a) (e) shows the same behavior for the solutions of the system (3). The prey populations x 1 (t) and x (t) alternatively exchange between the maximum x h and minimum x l, x h +x l = R (0) λ x. When the prey species x 1 (t) (x (t)) decreases rapidly from the maximum x h to the minimum x l, the prey species x (t) (x 1 (t)) increases rapidly from the minimum x l to the maximum x h and predator species y 1 (t) (y (t)) behaves like a pulse when x 1 (t) (x (t)) exchanges from x h to x l. Moreover, the prey population x 1 (t), x (t) stays at the maximum x h and the minimum x l longer and longer as time becomes large. We may explain this phenomena by Fig 6. From Fig, for each equilibrium P on the segment AD the one-dimensional unstable manifold W (P ) points into positive y 1 direction with zero y -component. W (P ) will approach the line x 1 + x = R (0) λ x in x 1 -x plane (Theorem 3.3). Similarly for each equilibrium Q on the segment BC, the one-dimensional unstable manifold W (Q) points into positive y direction with zero y 1 -component. We conjecture that there exists a unique heteroclinic orbit Γ 1 from P = (x h, x l, 0, 0) to Q = (x l, x h, 0, 0) and a unique heteroclinic orbit Γ from Q = (x l, x h, 0, 0) to P = (x h, x l, 0, 0) (See Fig 6 (a), (b)). Each time that the orbit γ(t) = (x 1 (t), x (t), y 1 (t), y (t)) approaches the equilibria (x h, x l, 0, 0) and (x l, x h, 0, 0), it stays there successively longer and longer. We note that in Fig 5 (f), the initial conditions satisfies x 1 (0) = x (0), y 1 (0) = y (0), i.e. γ(0) lies on the stable manifold of the interior equilibrium E c, the trajectory γ(t) approaches E c as t. In Figure 7 the input concentration R (0) satisfies R (0) > R and the interior equilibrium E c is a repeller (i.e. each eigenvalue of the variational matrix J(E c ) has positive real parts). In this case the behavior of the orbit γ(t) is similar to above case except that x h R (0) λ x and x l 0. Figure 7 (a) (e) show the prey population x 1 (t), x (t) alternatively exchange between x h and x l and the predator population y 1 (t), y (t) increase and decrease rapidly when prey population
15 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 15 exchange their values. We note that Figure 7 (f) shows that x(t) = x 1 (t) = x (t) and y(t) = y 1 (t) = y (t) oscillate periodically when x 1 (0) = x (0), y 1 (0) = y (0). In [9, 11, ] the authors studied the competition of three species with same intrinsic growth rate where the parameters α i, β i, satisfy x 1 = x 1 (1 x 1 α 1 x 1 β 1 x 3 ), x = x (1 β x 1 x α x 3 ), x 3 = x 3 (1 α 3 x 1 β 3 x x 3 ), x 1 (0) > 0, x (0) > 0, x 3 (0) > 0, (13) 0 < α i < 1 < β i, i = 1,, 3. (14) The condition (14) implies that there exists a heteroclinic orbit O 3 on the x 1 -x plane from e = (0, 1, 0) to e 1 = (1, 0, 0), a heteroclinic orbit O on the x 1 -x 3 plane from e 1 to e 3 = (0, 0, 1) and a heteroclinic orbit O 1 on the x -x 3 plane from e 3 to e. The system (13) is referred to as the asymmetric May-Leonard model or the rockpaper-scissors game. When α 1 = α = α 3, β 1 = β = β 3, (13) is referred to as the symmetric May-Leonard model. Let A i = 1 α i, B i = β i 1. If A 1 A A 3 < B 1 B B 3 then it was shown [, 11], the heteroclinic cycle O = 3 i=1 O i is an attractor. The system (3) exhibits similar behavior as (13) for the case R (0) > λ x + λ y with some parameters (m = 1.5, a = 0.3, µ = 1.5, K = 0.5, d x = d y = 1). For the case R (0) > λ x +λ y, if the initial populations for either prey or predator are not identical, then from our extensive numerical simulations there are many different kinds of behaviors for the trajectory of the system (3). The trajectory may approach a unique heteroclinic orbit in some parameter range as we discuss above (See Fig 5 and Fig 7). The trajectory may approach a limit cycle (See Fig 8) in some parameter range. It is possible that the trajectory is chaotic in some parameter range (See Fig 9). For fixed R (0) we denoted y j 1 as the j-th local maximum of y 1 (t) for t [1000, 000]. In Fig 10, we plot the orbit diagram as R (0) varies. We note that in [14] Vandermeer studied a two-prey and two-predator system with switch predation mechanism. The behavior of the system also exhibits periodic oscillation and chaotic behavior as our system (3) does. There are still many open problems left for future investigation. We list as followings: (Q1): Under the assumption λ x +λ y < R (0) < λ x +λ y, is it true that y 1 (t) 0 and y (t) 0 as t. (Q): Existence and stability of hetroclinic orbit. (Q3): When does the period doubling routes to chaos occur? (Q4): How does the asymptotic behavior change when the two food chains are not perfectly symmetrical? 6. Appendix. Proof of Lemma 4.1. By routine computation, the characteristic polynomial of J(E c ) is λ 4 + A 1 λ 3 + A λ + A 3 λ + A 4 = 0, (15)
16 16 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Figure 4: R (0) = 1, m =., a = 0.3, µ = 1.8, K = 0.4, d x = d y = 1, then λ x = 0.5, λ y = 0.5, 0.75 = λ x + λ y < 1 = R (0) < λ x + λ y = 1.5. The initial conditions are : x 1 (0) = 0.1, x (0) = 0., y 1 (0) = 0., y (0) = 0.1. Figure 5: R (0) =.8, m = 1.5, a = 0.3, µ = 1.5, K = 0.5, d x = d y = 1. Then λ x = 0.6, λ y = 1, R = > R (0) =.8 > λ x + λ y =.6, E c = (1, 1, 0.05, 0.05). The initial conditions (x 1 (0), x (0), y 1 (0), y (0)) are (a) (1.1,1.05,0.01,0.3), (b) (0.06,0.1,1.,1.03), (c) (0.05,1.1,1.3,0.), (d) (0.75,0.7,0.05,0.05), (e)(0.7,0.7,0.05,0.1), (f) (0.7,0.7,0.05,0.05).
17 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS (a) 17 (b) y1 6 y Γ1 6 Γ ¾ BB x x R³ ³ a ³ a ³ ³ ³ À ³ ³ (xl, xh, 0) ³ ³ µ (xl, xh, 0) ³³ C ³³ C ³³ ³³ ³ ³ ³ D ³ D A ³ A ³ ³a ³a ³ ³ (xh, xl, 0) (xh, xl, 0) ª ª x1 x1 Figure 6 Figure 7: R(0) = 4.8, m = 1.5, a = 0.3, µ = 1.5, K = 0.5, dx = dy = 1, Ec = (1, 1, , ). The initial conditions (x1 (0), x (0), y1 (0), y (0)) are (a) (0.,0.6,0.05,1.3), (b) (.3,1.5,0.05,0.3), (c) (0.05,0.1,0.08,0.1), (d) (0.6,0.6,1.1,1.05), (e) (0.65,0.6,1.1,1.1), (f) (0.6,0.6,1.1,1.1).
18 18 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Figure 8: R(0) = 1.05, m = 10, a = 0.3, µ = 10, K = 0.5, dx = dy = 1, then λx = , λy = The initial conditions (x1 (0), x (0), y1 (0), y (0)) are (0.1,0.,0.,0.1). Figure 9: R(0) = 1.3, m = 10, a = 0.3, µ = 10, K = 0.5, dx = dy = 1, then λx = , λy = The initial conditions (x1 (0), x (0), y1 (0), y (0)) are (0.1,0.,0.,0.1). Figure 10: Fixed m = 10, a = 0.3, µ = 10, K = 0.5, dx = dy = 1, then λx = , λy = The range of R(0) is from 0.6 to 3..
19 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 19 where A 1 = p, The equation (15) can be rewritten as A =p q rs, A 3 =r(ps q ), A 4 =r (s q ). Then eigenvalues of J(E c ) are the roots of (16) (λ + a 1 λ + b 1 )(λ + a λ + b ) = 0. (17) λ + a 1 λ + b 1 = 0, λ + a λ + b = 0. Let the roots of first and second equations be z 1, z and z 3, z 4 respectively. Comparing (15) and (17) yields A 1 =a 1 + a = p, A =a 1 a + b 1 + b = p q rs, A 3 =a 1 b + b 1 a = r(ps q ), A 4 =b 1 b = r (s q ). From (11), it is easy to show that b 1 b = r (s q ) > 0. Thus 0 is not an eigenvalue. If Re(z i ) = 0 for all i = 1,, 3, 4 then p = 0 and there are two pair of pure imaginary eigenvalues, therefore (17) becomes (λ + b 1 )(λ + b ) = 0 and A 3 = 0. However, A 3 = rq = g (λ y )y c [f (R c )λ y ] < 0, a contradiction. From above observation, we know that there are at most one pair of pure imaginary eigenvalues. On the other hand, b 1 b > 0 implies that both of b 1 and b are either positive or negative. If b 1 < 0, b < 0 then we have four real roots with two positive and two negative. Hence from now on, we only consider the case b 1 > 0, b > 0. The following lemma is useful to the proof of Lemma 4.1. Lemma 6.1. p as a function of R (0), p(r (0) ) is increasing in R (0) and there exists a R (λ x + λ y, ) such that p(r ) = 0. Proof. From (11) we let p(r (0) ) =f(r (0) λ y y c (R (0) )) d x f (R (0) λ y y c (R (0) ))λ y g (λ y )y c (R (0) ). Differentiating p(r (0) ) with respect to R (0) yields dp(r (0) ) dr (0) =f (R (0) λ y y c (R (0) )) (1 y c(r (0) )) From (9) y c satisfies f (R (0) λ y y c (R (0) ))λ y (1 y c(r (0) )) g (λ y )y c(r (0) ). (18) f(r (0) λ y y c (R (0) )) d x = d y λ y y c (R (0) ). (19)
20 0 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Thus we have f (R (0) λ y y c (R (0) )) (1 y c(r (0) )) = d y λ y y c(r (0) ), (0) y c(r (0) f (R (0) λ y y x (R (0) )) ) = d y > 0. (1) λ y + f (R (0) λ y y x (R (0) )) From (0) we have f (R (0) λ y y c (R (0) )) (1 y c(r (0) )) g (λ y )y c(r (0) ) = d y y λ c(r (0) ) g (λ y )y c(r (0) ) y [ ] =y c(r (0) g(λy ) ) g (λ y ) λ y =y c(r (0) µ λ y ) > 0. K + λ y K + λ y From above and f < 0 we have dp(r(0) ) > 0 i.e. p(r (0) ) is strictly increasing dr (0) in R (0). Next, we show that there is a unique root of p(r (0) ) = 0. When R (0) = λ x + λ y, (19) implies y c (R (0) ) = 0. Then p(r (0) ) = f (λ x )λ y < 0. Consider the case R (0). From (19) and (1) it follows that d y λ y y c (R (0) ) f(r (0) λ y ) d x < m d x, and lim R (0) y c (R (0) ) = y c ( ) = λy d y (m d x ). We note that Thus p(r (0) ) =f(r (0) λ y y c (R (0) )) d x f (R (0) λ y y c (R (0) ))λ y g (λ y )y c (R (0) ) = m(r(0) λ y y c (R (0) )) a + R (0) λ y y c (R (0) ) d x ma (a + R (0) λ y y c (R (0) )) λ µk y (K + λ y ) y c(r (0) ) = λy+yc(r m(1 (0) ) ) R (0) a + 1 λ y+y c (R (0) ) R (0) R (0) ( m d x ma (R (0) ) d x a + 1 λ y+y c (R (0) ) R (0) R (0) lim R (0) ) λ y µk (K + λ y ) y c( ) as R (0). p(r (0) ) =p( ) = µk (K + λ y ) y c(r (0) ) [ ] dy µk λ y (K + λ y ) y c ( ) = µλ y (K + λ y ) y c( ) > 0. µ Hence p( ) = (K+λ y ) λ y y c ( ) > 0. Therefore there exists a unique root R > λ x + λ y s.t. p(r ) = 0.
21 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 1 In the following we discuss the properties of eigenvalues of J(E c ) as p varies. Case 1: If p = 0 then 4 i=1 Re(z i) = 0. From above, we note that it is impossible that Re(z i ) = 0 for all i = 1,, 3, 4. If there exist Re(z i ) = 0 for some i, then there is exactly a pair of pure imaginary eigenvalues. Assume z i = ±iβ and z 3, z 4 are real. Then z 3 + z 4 = 0, b = z 3 z 4 < 0, a contradiction to b > 0. Thus Re(z i ) 0 for all i. From p = 0 we have a 1 = a and two of real part of z i are positive, two are negative. Case : If p > 0, then a 1 + a = p < 0, a 1 b + b 1 a = r(ps q ) < 0. W.L.O.G let a 1 a, there are three subcases. (i) a 1 a < 0 a 1 < 0, a > 0. (ii) a 1 a > 0 a 1 < 0, a < 0. (iii) a 1 a = 0 a 1 < 0, a = 0. For subcase (i) a 1 < 0, a > 0, the eigenvalues z i, i = 1,, 3, 4 satisfy { z1 z = b 1 > 0, z 1 + z = a 1 > 0. { z3 z 4 = b > 0, z 3 + z 4 = a < 0. From above we have that z 1, z have positive real parts and z 3, z 4 have negative real parts. For subcase (ii) a 1 < 0, a < 0, all 4 roots have positive real part. For subcase (iii) a 1 a = 0 a 1 < 0, a = 0, then there is a pair of pure imaginary eigenvalues z 3, z 4. Other eigenvalues z 1, z have positive real parts. Case 3: If p < 0, then a 1 + a = p > 0. Similarly, let a 1 a and consider the following subcases. (i) a 1 a < 0 a 1 > 0, a < 0. (ii) a 1 a > 0 a 1 > 0, a > 0. (iii) a 1 a = 0 a 1 > 0, a = 0. Similar to the discussion of Case, we have the following results. For the subcase (i) a 1 > 0, a < 0, there are two roots with positive real parts and two with negative real parts. For subcase (ii) a 1 > 0, a > 0 the real parts of all roots are negative. From Routh-Hurwitz criterion, we have A 1 > 0, A > 0, A 3 > 0 and A 4 > 0 also A 3 (A 1 A A 3 ) > A 1A 4 ([3] p.55), or equivalently p > 0, p q rs > 0, r(ps q ) > 0, r (s q ) > 0, (r(ps q ))(( p)(p q rs) (r(ps q ))) > ( p) (r (s q )). () Assume () holds then from (11) and (18) 0 < a 1 + a = p, 0 < a 1 a + b 1 + b = p q rs q p < rs, 0 < a 1 b + b 1 a = r(ps q ) q ps < 0.
22 SZE-BI HSU AND CHRISTOPHER A. KLAUSMEIER AND CHIU-JU LIN Note that Thus ( p)(p q rs) (r(ps q )) =[p(q p ) + prs + q r] <[p( rs) + prs + q r] =[r(q ps)] <0. (r(ps q ))(( p)(p q rs) (r(qs q ))) < 0 < ( p) (r (s q )), which contradicts (). Thus subcase (ii) cannot hold. (iii) a 1 > 0, a = 0, then a 1 b +b 1 a = a 1 b > 0. On the other hand a 1 b +b 1 a = r(ps q ) 0, a contradiction. From the above discussion, we complete the proof of Lemma 4.1. Proof of Theorem 4.5. From above discussion, Hopf bifurcation doesn t occur at p 0 i.e. R (0) R. If we reverse the time t t in the system (3), then the characteristic polynomial of J(E c ) becomes λ 4 A 1 λ 3 + A λ A 3 λ + A 4 = 0. (3) From (17) and Routh-Hurwitz criterion, Re(λ) < 0 if and only if B 1 = A 1 = p > 0, B =A = p q rs > 0, B 3 = A 3 = r(ps q ) > 0, B 4 =A 4 = r (s q ) > 0, =B 3 (B 1 B B 3 ) B 1B 4 =[ r(ps q )][p(p q rs) + r(ps q )] (p) r (s q ) > 0. B 1 > 0, B 3 > 0 and B 4 > 0 hold spontaneously. If > 0, then B > 0. Thus > 0 if and only if all eigenvalues λ have strictly negative real parts. We claim that = 0 if and only if there are two purely imaginary eigenvalues and two eigenvalues with negative real parts. Thus, if < 0 then there are two eigenvalues with positive real parts and two eigenvalues with negative real parts. Therefore bifurcation occurs as = 0. To prove the claim, we use the similar discussion in the proof of Lemma 4.1, (3) can be rewritten as the form (17). = 0 B 3 (B 1 B B 3 ) B 1B 4 = 0 (a 1 b + a b 1 )[(a 1 + a )(a 1 a + b 1 + b ) (a 1 b + a b 1 )] (a 1 + a ) (b 1 b ) = 0 a 1 a [(b 1 b ) + (a 1 + a )(a 1 b + a b 1 )] = 0. It is easy to get the sufficient direction. Conversely, we consider =[ r(ps q )][p(p q rs) + r(ps q )] (p) r (s q ) =4r[(p q)(p + q)(pq sp + rq )].
23 ANALYSIS OF A MODEL OF TWO PARALLEL FOOD CHAINS 3 If = 0, then p = q and it implies a 1 b + a b 1 = B 3 = rq(s + q) > 0. Hence [(b 1 b ) + (a 1 + a )(a 1 b + a b 1 )] > 0 and a 1 a = 0. The claim holds. From above > 0 if and only if p + q > 0, i.e. (f(r c ) d x ) f (R c )λ y g (λ y )y c > 0. (f(r c ) d x ) f (R c )λ y g (λ y )y c = 1 ma d y y c λ y (a + R c ) λ µk y (K + λ y ) y c [ ] µ =λ y (K + λ y ) y ma c (a + R c ). Thus (f(r c ) d x ) f (R c )λ y g (λ y )y c > 0 if and only if (K+λ y) y c (a+r c) > 0. The latter is the criterion in Theorem 4.4 such that R (0) > R. Therefore > 0 if and only if R (0) > R. Thus if Hopf bifurcation occurs, it must occur at R (0) = R. Acknowledgments. We would like to thank Professor X. Q. Zhao for the stimulating discussion. Also we thank the referees for the improvement of the paper. REFERENCES [1] W. A. Coppell, Stability and Asymptotic Behavior of Solutions of Differential Equations, Heath, Boston, [] C. W.Chi, S. B.Hsu, and L. I. Wu, On the asymmetric May-Leonard model of three competing species, SIAM J. Appl. Math., 58 (1998), [3] S. B.Hsu, Ordinary Differential Equations and Applications, World Scientific Press, 006. [4] S. B. Hsu, Predator-mediated coexistence and extinction, Math. Bios., 54 (1981), [5] S. B. Hsu, T. W. Hwang, and Y. Kuang, A ratio-dependent food chain model and its applications to biological control, Math. Bios., 181 (003), [6] S. B. Hsu, T. W. Hwang, and Y. Kuang, Rich dynamics of a ratio-depend one-prey-twopredators model, J. Math. Biol., 43 (001), [7] J. Huisman, and F. J. Weissing, Biodiversity of plankton by species oscillations and chaos, Nature, 40 (1999), [8] A. J. Lotka, Elements of Physical Biology, Williams and Wilkins, 195. [9] R. M. May, W. J.Leonard, Nonlinear aspects of competition between three species, SIAM J. Appl. Math., 9 (1975), [10] W. W. Murdoch, C. J. Briggs, R. M. Nisbet, Consumer-Resource Dynamics, Princeton University Press, 003. [11] P. Schuster, K. Sigmund, and R. Wolf, On ω-limit for competition between three species, SIAM J. Appl. Math., 37 (1979), [1] H. L. Smith and P. Waltman, Theory of Chemostat, Cambridge University Press, [13] P. Turchin, Complex Population Dynamics: A Theoretical/Empirical Synthesis, Princeton University Press, 003. [14] J. Vandermeer, Coupled oscillations in food webs: balancing competition and mutualism in simple ecological models, American Naturalist, 163 (004), [15] V. Volterra, Variazioni e fluttuazioni del numero d individui in specie animali conviventi, Mem. R. Accad. Naz. dei Lincei, (196), Received xxxx 0xx; revised xxxx 0xx. address: sbhsu@math.nthu.edu.tw address: klausme1@msu.edu address: d961806@oz.nthu.edu.tw µ ma
Pest control may make the pest population explode
Pest control may make the pest population explode Hirokazu Ninomiya and Hans F. Weinberger Zeitschrift für angewandte Mathematik un Physik 54 (2003), pp. 869-873. To Larry Payne on his eightieth birthday
More information15 Limit sets. Lyapunov functions
15 Limit sets. Lyapunov functions At this point, considering the solutions to ẋ = f(x), x U R 2, (1) we were most interested in the behavior of solutions when t (sometimes, this is called asymptotic behavior
More informationFuzzy Differential Systems and the New Concept of Stability
Nonlinear Dynamics and Systems Theory, 1(2) (2001) 111 119 Fuzzy Differential Systems and the New Concept of Stability V. Lakshmikantham 1 and S. Leela 2 1 Department of Mathematical Sciences, Florida
More informationA characterization of trace zero symmetric nonnegative 5x5 matrices
A characterization of trace zero symmetric nonnegative 5x5 matrices Oren Spector June 1, 009 Abstract The problem of determining necessary and sufficient conditions for a set of real numbers to be the
More informationReaction diffusion systems and pattern formation
Chapter 5 Reaction diffusion systems and pattern formation 5.1 Reaction diffusion systems from biology In ecological problems, different species interact with each other, and in chemical reactions, different
More informationOnline Appendix to Stochastic Imitative Game Dynamics with Committed Agents
Online Appendix to Stochastic Imitative Game Dynamics with Committed Agents William H. Sandholm January 6, 22 O.. Imitative protocols, mean dynamics, and equilibrium selection In this section, we consider
More informationSECOND DERIVATIVE TEST FOR CONSTRAINED EXTREMA
SECOND DERIVATIVE TEST FOR CONSTRAINED EXTREMA This handout presents the second derivative test for a local extrema of a Lagrange multiplier problem. The Section 1 presents a geometric motivation for the
More informationLecture 13 Linear quadratic Lyapunov theory
EE363 Winter 28-9 Lecture 13 Linear quadratic Lyapunov theory the Lyapunov equation Lyapunov stability conditions the Lyapunov operator and integral evaluating quadratic integrals analysis of ARE discrete-time
More informationNonlinear Systems of Ordinary Differential Equations
Differential Equations Massoud Malek Nonlinear Systems of Ordinary Differential Equations Dynamical System. A dynamical system has a state determined by a collection of real numbers, or more generally
More informationMATH 425, PRACTICE FINAL EXAM SOLUTIONS.
MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More informationt := maxγ ν subject to ν {0,1,2,...} and f(x c +γ ν d) f(x c )+cγ ν f (x c ;d).
1. Line Search Methods Let f : R n R be given and suppose that x c is our current best estimate of a solution to P min x R nf(x). A standard method for improving the estimate x c is to choose a direction
More information4 Lyapunov Stability Theory
4 Lyapunov Stability Theory In this section we review the tools of Lyapunov stability theory. These tools will be used in the next section to analyze the stability properties of a robot controller. We
More informationStability. Chapter 4. Topics : 1. Basic Concepts. 2. Algebraic Criteria for Linear Systems. 3. Lyapunov Theory with Applications to Linear Systems
Chapter 4 Stability Topics : 1. Basic Concepts 2. Algebraic Criteria for Linear Systems 3. Lyapunov Theory with Applications to Linear Systems 4. Stability and Control Copyright c Claudiu C. Remsing, 2006.
More informationA Simple Model of Price Dispersion *
Federal Reserve Bank of Dallas Globalization and Monetary Policy Institute Working Paper No. 112 http://www.dallasfed.org/assets/documents/institute/wpapers/2012/0112.pdf A Simple Model of Price Dispersion
More informationThe Australian Journal of Mathematical Analysis and Applications
The Australian Journal of Mathematical Analysis and Applications Volume 7, Issue, Article 11, pp. 1-14, 011 SOME HOMOGENEOUS CYCLIC INEQUALITIES OF THREE VARIABLES OF DEGREE THREE AND FOUR TETSUYA ANDO
More informationStudent name: Earlham College. Fall 2011 December 15, 2011
Student name: Earlham College MATH 320: Differential Equations Final exam - In class part Fall 2011 December 15, 2011 Instructions: This is a regular closed-book test, and is to be taken without the use
More informationDynamical Systems Analysis II: Evaluating Stability, Eigenvalues
Dynamical Systems Analysis II: Evaluating Stability, Eigenvalues By Peter Woolf pwoolf@umich.edu) University of Michigan Michigan Chemical Process Dynamics and Controls Open Textbook version 1.0 Creative
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More information3. Reaction Diffusion Equations Consider the following ODE model for population growth
3. Reaction Diffusion Equations Consider the following ODE model for population growth u t a u t u t, u 0 u 0 where u t denotes the population size at time t, and a u plays the role of the population dependent
More informationNonlinear Systems and Control Lecture # 15 Positive Real Transfer Functions & Connection with Lyapunov Stability. p. 1/?
Nonlinear Systems and Control Lecture # 15 Positive Real Transfer Functions & Connection with Lyapunov Stability p. 1/? p. 2/? Definition: A p p proper rational transfer function matrix G(s) is positive
More informationNonparametric adaptive age replacement with a one-cycle criterion
Nonparametric adaptive age replacement with a one-cycle criterion P. Coolen-Schrijner, F.P.A. Coolen Department of Mathematical Sciences University of Durham, Durham, DH1 3LE, UK e-mail: Pauline.Schrijner@durham.ac.uk
More information15 Kuhn -Tucker conditions
5 Kuhn -Tucker conditions Consider a version of the consumer problem in which quasilinear utility x 2 + 4 x 2 is maximised subject to x +x 2 =. Mechanically applying the Lagrange multiplier/common slopes
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationDate: April 12, 2001. Contents
2 Lagrange Multipliers Date: April 12, 2001 Contents 2.1. Introduction to Lagrange Multipliers......... p. 2 2.2. Enhanced Fritz John Optimality Conditions...... p. 12 2.3. Informative Lagrange Multipliers...........
More informationBipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES. 1. Introduction
F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES Abstract. In this article the notion of acceleration convergence of double sequences
More information15.062 Data Mining: Algorithms and Applications Matrix Math Review
.6 Data Mining: Algorithms and Applications Matrix Math Review The purpose of this document is to give a brief review of selected linear algebra concepts that will be useful for the course and to develop
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More informationOPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Supplement Volume 2005 pp. 345 354 OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN E.V. Grigorieva Department of Mathematics
More informationEigenvalues, Eigenvectors, and Differential Equations
Eigenvalues, Eigenvectors, and Differential Equations William Cherry April 009 (with a typo correction in November 05) The concepts of eigenvalue and eigenvector occur throughout advanced mathematics They
More informationOrbits of the Lennard-Jones Potential
Orbits of the Lennard-Jones Potential Prashanth S. Venkataram July 28, 2012 1 Introduction The Lennard-Jones potential describes weak interactions between neutral atoms and molecules. Unlike the potentials
More informationSome Problems of Second-Order Rational Difference Equations with Quadratic Terms
International Journal of Difference Equations ISSN 0973-6069, Volume 9, Number 1, pp. 11 21 (2014) http://campus.mst.edu/ijde Some Problems of Second-Order Rational Difference Equations with Quadratic
More informationFIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.
FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is
More informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
More informationExistence of Traveling Wave Solutions
COMM. MATH. SCI. Vol. 4, No. 4, pp. 731 739 c 2006 International Press EXISTENCE OF TRAVELING WAVE SOLUTIONS IN A HYPERBOLIC-ELLIPTIC SYSTEM OF EQUATIONS M. B. A. MANSOUR Abstract. In this paper we discuss
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationProperties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationA Uniform Asymptotic Estimate for Discounted Aggregate Claims with Subexponential Tails
12th International Congress on Insurance: Mathematics and Economics July 16-18, 2008 A Uniform Asymptotic Estimate for Discounted Aggregate Claims with Subexponential Tails XUEMIAO HAO (Based on a joint
More informationNetwork Traffic Modelling
University of York Dissertation submitted for the MSc in Mathematics with Modern Applications, Department of Mathematics, University of York, UK. August 009 Network Traffic Modelling Author: David Slade
More informationGeneral Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1
A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 Dr. John Ehrke Department of Mathematics Fall 2012 Questions
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationBIFURCATION PHENOMENA IN THE 1:1 RESONANT HORN FOR THE FORCED VAN DER POL - DUFFING EQUATION
International Journal of Bifurcation and Chaos, Vol. 2, No.1 (1992) 93-100 World Scientific Publishing Company BIFURCATION PHENOMENA IN THE 1:1 RESONANT HORN FOR THE FORCED VAN DER POL - DUFFING EQUATION
More informationSolutions for Review Problems
olutions for Review Problems 1. Let be the triangle with vertices A (,, ), B (4,, 1) and C (,, 1). (a) Find the cosine of the angle BAC at vertex A. (b) Find the area of the triangle ABC. (c) Find a vector
More informationON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationOn the D-Stability of Linear and Nonlinear Positive Switched Systems
On the D-Stability of Linear and Nonlinear Positive Switched Systems V. S. Bokharaie, O. Mason and F. Wirth Abstract We present a number of results on D-stability of positive switched systems. Different
More information3.2 Sources, Sinks, Saddles, and Spirals
3.2. Sources, Sinks, Saddles, and Spirals 6 3.2 Sources, Sinks, Saddles, and Spirals The pictures in this section show solutions to Ay 00 C By 0 C Cy D 0. These are linear equations with constant coefficients
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationLecture 7: Finding Lyapunov Functions 1
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.243j (Fall 2003): DYNAMICS OF NONLINEAR SYSTEMS by A. Megretski Lecture 7: Finding Lyapunov Functions 1
More informationContinuity of the Perron Root
Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North
More informationSome stability results of parameter identification in a jump diffusion model
Some stability results of parameter identification in a jump diffusion model D. Düvelmeyer Technische Universität Chemnitz, Fakultät für Mathematik, 09107 Chemnitz, Germany Abstract In this paper we discuss
More informationLecture Notes on Elasticity of Substitution
Lecture Notes on Elasticity of Substitution Ted Bergstrom, UCSB Economics 210A March 3, 2011 Today s featured guest is the elasticity of substitution. Elasticity of a function of a single variable Before
More informationSecond Order Linear Partial Differential Equations. Part I
Second Order Linear Partial Differential Equations Part I Second linear partial differential equations; Separation of Variables; - point boundary value problems; Eigenvalues and Eigenfunctions Introduction
More informationNumerical methods for American options
Lecture 9 Numerical methods for American options Lecture Notes by Andrzej Palczewski Computational Finance p. 1 American options The holder of an American option has the right to exercise it at any moment
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationMultiplier-accelerator Models on Time Scales
International Journal of Statistics and Economics; [Formerly known as the Bulletin of Statistics & Economics ISSN 0973-7022)]; ISSN 0975-556X,; Spring 2010, Volume 4, Number S10; Copyright 2010 by CESER
More informationSome strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative variables
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 6 (013), 74 85 Research Article Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative
More informationExample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x
Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written
More informationUnderstanding Poles and Zeros
MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF MECHANICAL ENGINEERING 2.14 Analysis and Design of Feedback Control Systems Understanding Poles and Zeros 1 System Poles and Zeros The transfer function
More informationModule1. x 1000. y 800.
Module1 1 Welcome to the first module of the course. It is indeed an exciting event to share with you the subject that has lot to offer both from theoretical side and practical aspects. To begin with,
More informationABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).
Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences
More informationOPTIMAL CONTROL IN DISCRETE PEST CONTROL MODELS
OPTIMAL CONTROL IN DISCRETE PEST CONTROL MODELS Author: Kathryn Dabbs University of Tennessee (865)46-97 katdabbs@gmail.com Supervisor: Dr. Suzanne Lenhart University of Tennessee (865)974-427 lenhart@math.utk.edu.
More informationEstimating the Degree of Activity of jumps in High Frequency Financial Data. joint with Yacine Aït-Sahalia
Estimating the Degree of Activity of jumps in High Frequency Financial Data joint with Yacine Aït-Sahalia Aim and setting An underlying process X = (X t ) t 0, observed at equally spaced discrete times
More informationminimal polyonomial Example
Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We
More informationarxiv:1112.0829v1 [math.pr] 5 Dec 2011
How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly
More informationThe Notebook Series. The solution of cubic and quartic equations. R.S. Johnson. Professor of Applied Mathematics
The Notebook Series The solution of cubic and quartic equations by R.S. Johnson Professor of Applied Mathematics School of Mathematics & Statistics University of Newcastle upon Tyne R.S.Johnson 006 CONTENTS
More informationECON20310 LECTURE SYNOPSIS REAL BUSINESS CYCLE
ECON20310 LECTURE SYNOPSIS REAL BUSINESS CYCLE YUAN TIAN This synopsis is designed merely for keep a record of the materials covered in lectures. Please refer to your own lecture notes for all proofs.
More informationON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska
Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. Gacovska-Barandovska Smirnov (1949) derived four
More informationLecture 2. Marginal Functions, Average Functions, Elasticity, the Marginal Principle, and Constrained Optimization
Lecture 2. Marginal Functions, Average Functions, Elasticity, the Marginal Principle, and Constrained Optimization 2.1. Introduction Suppose that an economic relationship can be described by a real-valued
More informationThe QOOL Algorithm for fast Online Optimization of Multiple Degree of Freedom Robot Locomotion
The QOOL Algorithm for fast Online Optimization of Multiple Degree of Freedom Robot Locomotion Daniel Marbach January 31th, 2005 Swiss Federal Institute of Technology at Lausanne Daniel.Marbach@epfl.ch
More informationBIOE 370 1. Lotka-Volterra Model L-V model with density-dependent prey population growth
BIOE 370 1 Populus Simulations of Predator-Prey Population Dynamics. Lotka-Volterra Model L-V model with density-dependent prey population growth Theta-Logistic Model Effects on dynamics of different functional
More informationInner products on R n, and more
Inner products on R n, and more Peyam Ryan Tabrizian Friday, April 12th, 2013 1 Introduction You might be wondering: Are there inner products on R n that are not the usual dot product x y = x 1 y 1 + +
More informationMath 120 Final Exam Practice Problems, Form: A
Math 120 Final Exam Practice Problems, Form: A Name: While every attempt was made to be complete in the types of problems given below, we make no guarantees about the completeness of the problems. Specifically,
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationBargaining Solutions in a Social Network
Bargaining Solutions in a Social Network Tanmoy Chakraborty and Michael Kearns Department of Computer and Information Science University of Pennsylvania Abstract. We study the concept of bargaining solutions,
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationEXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION
Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7-669. UL: http://ejde.math.txstate.edu
More informationFourth-Order Compact Schemes of a Heat Conduction Problem with Neumann Boundary Conditions
Fourth-Order Compact Schemes of a Heat Conduction Problem with Neumann Boundary Conditions Jennifer Zhao, 1 Weizhong Dai, Tianchan Niu 1 Department of Mathematics and Statistics, University of Michigan-Dearborn,
More informationMulti-variable Calculus and Optimization
Multi-variable Calculus and Optimization Dudley Cooke Trinity College Dublin Dudley Cooke (Trinity College Dublin) Multi-variable Calculus and Optimization 1 / 51 EC2040 Topic 3 - Multi-variable Calculus
More informationMaximum Likelihood Estimation
Math 541: Statistical Theory II Lecturer: Songfeng Zheng Maximum Likelihood Estimation 1 Maximum Likelihood Estimation Maximum likelihood is a relatively simple method of constructing an estimator for
More informationMOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu
Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing
More informationOptimal shift scheduling with a global service level constraint
Optimal shift scheduling with a global service level constraint Ger Koole & Erik van der Sluis Vrije Universiteit Division of Mathematics and Computer Science De Boelelaan 1081a, 1081 HV Amsterdam The
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationThe Ergodic Theorem and randomness
The Ergodic Theorem and randomness Peter Gács Department of Computer Science Boston University March 19, 2008 Peter Gács (Boston University) Ergodic theorem March 19, 2008 1 / 27 Introduction Introduction
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationTOPIC 4: DERIVATIVES
TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the
More informationA Note on Best Response Dynamics
Games and Economic Behavior 29, 138 150 (1999) Article ID game.1997.0636, available online at http://www.idealibrary.com on A Note on Best Response Dynamics Ed Hopkins Department of Economics, University
More informationLinköping University Electronic Press
Linköping University Electronic Press Report Well-posed boundary conditions for the shallow water equations Sarmad Ghader and Jan Nordström Series: LiTH-MAT-R, 0348-960, No. 4 Available at: Linköping University
More informationRANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis
RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied
More informationUsing the Theory of Reals in. Analyzing Continuous and Hybrid Systems
Using the Theory of Reals in Analyzing Continuous and Hybrid Systems Ashish Tiwari Computer Science Laboratory (CSL) SRI International (SRI) Menlo Park, CA 94025 Email: ashish.tiwari@sri.com Ashish Tiwari
More informationThe sample space for a pair of die rolls is the set. The sample space for a random number between 0 and 1 is the interval [0, 1].
Probability Theory Probability Spaces and Events Consider a random experiment with several possible outcomes. For example, we might roll a pair of dice, flip a coin three times, or choose a random real
More informationON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS
ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS I. KIGURADZE AND N. PARTSVANIA A. Razmadze Mathematical Institute
More informationTHE DYING FIBONACCI TREE. 1. Introduction. Consider a tree with two types of nodes, say A and B, and the following properties:
THE DYING FIBONACCI TREE BERNHARD GITTENBERGER 1. Introduction Consider a tree with two types of nodes, say A and B, and the following properties: 1. Let the root be of type A.. Each node of type A produces
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationHello, my name is Olga Michasova and I present the work The generalized model of economic growth with human capital accumulation.
Hello, my name is Olga Michasova and I present the work The generalized model of economic growth with human capital accumulation. 1 Without any doubts human capital is a key factor of economic growth because
More informationNumerical Methods for Differential Equations
Numerical Methods for Differential Equations Chapter 1: Initial value problems in ODEs Gustaf Söderlind and Carmen Arévalo Numerical Analysis, Lund University Textbooks: A First Course in the Numerical
More information