尚德生
(山東理工大學 理學院, 山東 淄博 255091)
在文獻[1-2]中,作者利用Blow-up等技巧討論了在函數F(x)滿足什么條件,下面的奇異攝動Liénard系統
會有鴨環存在,其中F(x)是光滑函數,ε>0是個小參數,λ>0而且系統(L)的鴨環的個數可以由系統的慢散度積分
(1)
的零點來衡量,其中Ω是經過 (0,Y)的快軌道的兩個端點(x1(Y),Y),(x2(Y),Y)之間的部分慢軌道,如圖1所示.
具體結論是
引理1如果F(x)是一個Morse函數,而系統(L)以原點(0,0)為轉點,且滿足F(0)=0,F′(0)=0,F″(0)≠0,則系統(L)的環性可以由前面的慢散度積分(1)的零點的個數來確定,且其鴨環的穩定性可以由I(Y,λ)關于Y的導數的符號來確定.

圖1 系統(L)在ε=0時的軌跡示意圖

(2)由含有快軌道和慢軌道一起構成的閉曲線環稱為系統(L)的一個快慢環(Slow-Fast Cycle),也稱為鴨環(Canard Cycle).
(3)系統(L)的一個鴨環與前面的慢散度積分的一個零點相對應,且其穩定性與I(Y)的導數的相應,即當I(Y)=0,I′(Y)<0時,對應于系統(L)的一個過 (0,Y)的穩定的鴨環,當I(Y)=0,I′(Y)>0時,對應于系統(L)的一個過 (0,Y)的不穩定的鴨環.
下面對一種特殊的Morse函數F(x),來討論系統(L)的環性,這里取


在區間(0,λ)∪(λ,+∞)上的零點即可.
注意到G(0)=0;當z→λ時,G(z)→-∞;且z→+∞時,G(z)→+∞.
又因為
G′(z)=z2n-4+λ2z2n-6+…+
顯然,當z∈(λ,+∞)時,有G′(z)>0,即G(z)在區間(λ,+∞)單調遞增.但是當z∈(0,λ)時,容易得到
從而G(z)單調遞減,亦即有G(z)

圖2 G(Z)的圖形示意圖
從而系統(L)在(0,+∞)上有且只有一個鴨環,且該鴨環是不穩定的,它包含系統(L)的唯一奇點(λ,F(λ)).另一方面,可以得到在該奇點處系統(L)的散度為
div(L)=-F′(λ)=-nλn-1<0
即系統的這個唯一奇點是穩定的焦點,這也說明這個唯一的鴨環是不穩定的.由此得到下面的結論.
定理1對于任意的正整數n≥2相應的函數F(x),奇異攝動系統(L)在整個xoy-平面上有且只有唯一一個不穩定的鴨環存在,此鴨環包含系統的唯一穩定的有限遠奇點(λ,F(λ)).
[1] Dumortier F, Roussarie R. Canard cycles and center manifolds[J]. Memoirs of Amer. Math. Soc, 1996,121:1-100.
[2] De Maesschalck P, Dumortier F. Singular perturbations and vanishing passage through a turning point[J]. Differential Equations,2010,248(9):2 294-2 328.