Professional Documents
Culture Documents
9, 401 - 407
1
JNTUH College of Engineering, Nachupally, Karimnagar-505501, India
rbollareddy@gmail.com
2
Department of Mathematics, SLC’S IET, Hyderabad-501512, India
3
Professor (Retd.) of Mathematics, NIT, Warangal – 506004, India
Abstract
Introduction
Lotka [6] and Volterra [7] introduced the prey- predator models. K.
Laxminarayan and N.Ch.Pattabhiramacharyulu [1, 2, 3] examined the stability of
two species Prey-Predator models and derived some threshold theorems on the quasi-
linear basic balancing equations. Local stability analysis for a two-species
ecological mutualism model has been presented by the present authors [4, 5].
402 B. Ravindra Reddy et al
The present investigation is devoted to establish the global stability of the co-
existent equilibrium state of the above said model by employing a properly
constructed Liapunov’s function.
dx
= F(x, y)
dt
(1)
dy
= G(x, y)
dt
Assume that this system has an isolated critical point (0, 0). Consider a function E(x,
y) possessing continuous partial derivatives along the path of (1).
This path is represented by C = [x (t), y (t)] in the parametric form. E(x, y) can be
regarded as a function of t along C with rate of change
dE ∂E dx ∂E dy ∂E ∂E
= + = F+ G (2)
dt ∂x dt ∂y dt ∂x ∂y
Global stability of two mutually interacting species 403
Definitions:
1. E(x, y) is said to be positive definite if E(x, y) > 0 for all (x, y) not equal to
(0, 0)
2. E(x, y) is said to be positive semi-definite if E(x, y) > 0 and E(x, y )=0
3. E(x, y) is said to be negative definite if E(x, y) < 0
4. E(x, y) is said to be negative semi-definite if E(x, y) < 0 and E(x, y )=0
A positive definite function E(x, y) with the property that (2) is negative semi–
definite is called a Liapunov’s function for the system (1). The following theorem is
the Liapunov’s basic discovery.
Theorem: If there exists a Liapunov’s function E(x, y) for the system (1), then the
critical point (0, 0) is stable. Furthermore, if this function has additional property
that the function (2) is negative definite, then the critical point (0, 0) is
asymptotically stable.
⎛ aα +a α a α +aα ⎞
Coexistent state : E4 = ⎜ 1 22 2 12 , 2 11 1 21 ⎟ (8)
⎝ α11α 22 − α12α 21 α11α 22 − α12α 21 ⎠
The local stability analysis of these equilibrium states were investigated in [8]. It is
observed that
(a) E1 is clearly unstable.
(b) E2 is unstable.
(c) E3 is unstable.
(d) E4 is stable.
(α 21 N 2 ) 2 + (α 22 N 2 ) 2 + {α11α22 − α12α2 1} N 1 N 2
a= (17)
D
∂E du1 ∂E du2
+ = −(u12 + u2 2 ) (23)
∂u1 dt ∂u2 dt
Which is clearly negative definite. So E (u1 , u2 ) is a Liapunov’s function for the
linear system (11)-(12).
Next we prove that E ( u1 , u 2 ) is also a Liapunov’s function for the non linear
system.
If F 1 and F 2 are defined by F1 ( N 1 , N 2 ) = N1{a1 − α11 N1 + α12 N 2 } (24)
F2 ( N 1 , N 2 ) = N 2 {a2 − α 22 N 2 + α 21 N1} , (25)
∂E ∂E
we have to show that F1 + F2 is negative definite.
∂u1 ∂u2
By letting N1 = N 1 + u1 and N 2 = N 2 + u2 in (3) & (4), we have
du1
= ( N 1 + u1 ) {a1 − α11 N 1 − α11u1 + α12 N 2 + α12u2 }
dt
2
= a1 N 1 − α11 N 1 − α 11 N 1u1 + α12 N 1 N 2 + α12 N 1u2
406 B. Ravindra Reddy et al
Similarly we obtain
du2
= −α 22 N 2 u2 + α 21 N 2 u1 + f 2 (u1 , u2 ) = F2 (u1 , u2 ) (27)
dt
where
f 2 (u1 , u2 ) = −α 22u2 + α 21u1u2
2
We have
∂E ∂E
= au1 + bu2 and = bu1 + cu2
∂u1 ∂u2
Now from Equations (26) and (27), we get
∂E ∂E
F1 + F2 = −(u12 + u2 2 ) + (au1 + bu2 ) f1 (u1 , u2 ) + (bu1 + cu2 ) f 2 (u1 , u2 ) (28)
∂u1 ∂u2
By introducing polar co-ordinates, we get
∂E ∂E
F1 + F2 = − r 2 + r[(a cos θ + b sin θ ) f1 (u1 , u2 ) + (b cosθ + c sin θ ) f 2 (u1 , u2 )]
∂u1 ∂u2
(29)
r r
Defining k = max ( a , b , c ), we see that f1 (u1 , u2 ) < and f 2 (u1 , u2 ) < by
6k 6k
∂E ∂E 4kr −r 2 2
F2 < −r + = <0
2
F1 + (30)
∂u1 ∂u2 6k 3
∂E ∂E
F1 +
Thus E ( u1 , u 2 ) is a positive definite function with the property that F2
∂u1 ∂u2
is negative definite. Hence in view of Theorem 43-A of [9], the equilibrium point is
asymptotically stable.
Global stability of two mutually interacting species 407
REFERENCES
[6] A.J. Lotka, Elements of Physical biology, Williams and Wilkins, Baltimore,
1925.
[8] J.N. Kapur, Mathematical Models in Biology and Medicine Affiliated East West,
1985.