Predator-prey (dengan carrying capacity pada populasi prey)

{ ( )
dx x
¿ ax 1− −bxy
dt K
dy
¿ y ( bx−c )
dt
Bentuk non-dimensional:

{
dX
=X ' ¿ εX ( 1−X −Y )
dT
Fast time scale system:
dY
=Y ' ¿ Y ( ηX −1 )
dT

{
dX
= Ẋ ¿ X ( 1−X−Y )
dτ
Slow time scale system:
dY
ε =ε Ẏ ¿ Y ( ηX−1 )
dτ
a
dengan X : populasi prey (slow variable), Y : populasi predator (fast variable), ε = ≪ 1,
c
bK
dan η= .
c
X ( 1− X−Y ) =f ( X ,Y ) dan Y ( ηX−1 )=g(X , Y ).

{
dX
= Ẋ ¿ X ( 1− X−Y )
Slow-subsystem: (1) dτ
0 ¿ Y ( ηX−1 )

{
dX
=X ' ¿ 0
dT
Fast-subsystem: (2)
dY
=Y ' ¿ Y ( ηX −1 )
dT

Menentukan titik kesetimbangan sistem (1):

X ( ηY −1 )=0 → X=0
dY
=Ẏ =Y ( 1−X−Y )=0 →Y =0 , Y =1−X
dτ
¿ ¿
Jadi, titik kesetimbangan Y =0 , Y =1.

{ 2
Telah diperoleh critical manifold C 0= ( X , Y ) ∈ R X =0 ,Y = | 1
η}. Dibentuk submanifold
dari C 0, yaitu
{ |
2
−¿=C 0 ∩ ( X , Y ) ∈R X =0 , 0<Y <
C0
1
η }
¿
dan

C0
{ }. |
2
+¿=C 0 ∩ ( X ,Y ) ∈ R X =0 ,Y >
1
η
¿

−¿¿
Oleh karena D X f ( X ,Y ) |C < 0 ¿, maka C 0 attracting, dan karena D X f ( X ,Y ) |C
−¿
0
+¿
0
, maka
>0 ¿
+¿¿
C 0 repelling.
Berdasarkan Teorema Fenichel, bahwa terdapat C ε memiliki order O(ε) dari C 0,
menggunakan (teorema 11.1.1), dapat dimisalkan
C ε= {( X , Y ) ∈ R2|Y =hε ( X ) }
dengan pemetaan h ε :R m → Rn memiliki ekspansi asimtotik reguler
2
h ε ( X )=h0 + √ ε h1 + √ ε h2+ …
dX
Dinamika dari C ε diberikan oleh =f (X , hε ( X )).
dτ
2
Y =hε ( X )=h0 + √ ε h1 + √ ε h2 +…
Y ' =D h ε ( X ) . X '=X ' [ D h0 + √ ε D h1 + √ ε h2 +… ]
2

'
Y ( ηX−1 )=D hε ( X ) . X

( h0 +√ ε h1 + √ ε 2 h2 +… ) ( ηX−1 ) =¿
( D h0 +√ ε D h1+ √ ε 2 D h2 +… ) [ εX ( 1−X −( h0+ √ ε h1 + √ ε 2 h2+ … ) ) ]
2
D h0 εX ( 1−X−h0 ) + D h0 εX √ ε h1 + D h0 εX √ ε h 2+ …+¿
2
√ ε D h1 εX ( 1− X−h 0 ) + √ ε D h1 εX √ ε h1+ √ ε D h 1 εX √ ε h 2+ …+…
3 4
D h0 X ( 1− X−h 0) ε + D h0 X h1 √ ε + D h 0 X h 2 √ ε + …+¿
3 4 5
D h1 X ( 1−X −h0 ) √ ε + D h1 X h1 √ ε + D h1 X h2 √ ε + …+…

( h0 ( ηX−1 ) + √ε h 1 ( ηX −1 )+ √ ε 2 h 2 ( ηX −1 ) +… )=¿
D h0 . X ( 1−X −h0 ) √ ε + [ D h1 . X ( 1−X −h0 ) −D h0 . X . h1 ] √ ε +…
2 3

h2 ( ηX−1 )=D h0 . X ( 1−X −h0 )=0