司成斌
(遼寧師范大學(xué)大學(xué)數(shù)學(xué)學(xué)院,遼寧大連 116029)
具有退化三次曲線解的Hamilton二次系統(tǒng)的Poincare分支
司成斌
(遼寧師范大學(xué)大學(xué)數(shù)學(xué)學(xué)院,遼寧大連 116029)
具有退化三次曲線解的Hamilton二次系統(tǒng),經(jīng)二次微擾后的Poincare分支,是否存在兩個(gè)極限環(huán)?這是一個(gè)長(zhǎng)期受到困擾的問(wèn)題.本文證明了在特定條件下,可以分支出兩個(gè)極限環(huán).
退化三次曲線解;二次Hamilton系統(tǒng);Poincare分支
以往在探討具有代數(shù)曲線解的Kolmogorov三次系統(tǒng)是否存在極限環(huán)的問(wèn)題方面,已有許多結(jié)果,如文獻(xiàn)[1-2].但對(duì)具有代數(shù)解的Hamilton二次系統(tǒng)的研究,尚有欠缺.文獻(xiàn)[3]證明了具有非退化三次曲線解的軸對(duì)稱(chēng)三次曲線解的Hamilton二次系統(tǒng)經(jīng)二次微擾后的Poincare分支不可能分支出兩個(gè)極限環(huán).但對(duì)于具有退化三次曲線解的Hamilton二次系統(tǒng)的Poincare分支,經(jīng)二次擾動(dòng)后是否能分支出兩個(gè)極限環(huán),一直沒(méi)有結(jié)論.本文研究了具有退化三次曲線解的Hamilton二次系統(tǒng)˙x=-y+x2+by2,˙y=x(1-2y),將證明:當(dāng)b0<b<+∞時(shí),此系統(tǒng)經(jīng)二次擾動(dòng)后可以分支出兩個(gè)極限環(huán).其中b0是位于區(qū)間(77,302)內(nèi)的一個(gè)定點(diǎn).
考慮具有退化三次曲線解的Hamilton二次系統(tǒng)經(jīng)二次微擾后的Poincare分支.此系統(tǒng)可統(tǒng)一寫(xiě)成:
時(shí),其圖像為一條閉曲線和一條非閉曲線.如圖1中虛曲線所示.它們分別交y軸于y1,y2,y3.
圖1 曲線族(2)當(dāng)-∞<b<-1時(shí)的圖像
圖2 曲線族(2)當(dāng)-1<b<0時(shí)的圖像
時(shí),(2)式的圖像為一條閉曲線和一條非閉曲線.如圖4中的虛曲線所示.
圖3 曲線族(2),當(dāng)0<b<2時(shí)的圖像
圖4 曲線族(2),當(dāng)2<b<+∞時(shí)的圖像
系統(tǒng)(1)的Abel積分為:
y2和y1分別表示圖1、圖2、圖3、圖4中虛閉曲線的上下確界.A0(h)和A1(h)顯然是線性無(wú)關(guān)的.所以系統(tǒng)(1)的Poincare分支至少可以分出一個(gè)極限環(huán).那么能不能有分支出兩個(gè)極限環(huán)的可能,關(guān)鍵決定于
在各自的定義區(qū)間內(nèi)是否存在零點(diǎn).如果存在零點(diǎn),則系統(tǒng)(1)就有分支出兩個(gè)極限環(huán)的可能,如果不存在零點(diǎn),則系統(tǒng)(1)至多只能分支出一個(gè)極限環(huán).其原理可參看文獻(xiàn)[4].
要判定Δ2(h)在定義區(qū)間內(nèi)是否存在零點(diǎn),可采用分析Δ2(h)在定義區(qū)間兩個(gè)端點(diǎn)附近的函數(shù)符號(hào)的方法.如果兩端符號(hào)相反,則Δ2(h)在定義區(qū)間內(nèi)必存在零點(diǎn),否則可驗(yàn)證Δ2(h)在定義區(qū)間內(nèi)不存在零點(diǎn).先考慮Δ2(h)左端點(diǎn),需分-∞<b<0,0<b<3,3<b<+∞三種情形分別進(jìn)行討論.
為了判斷出φ(b)在-∞<b<-1上的符號(hào),來(lái)做φ(b)的函數(shù)表:
以上第4節(jié)和第5節(jié)的分析計(jì)算的結(jié)果可列成表1.
表1 Δ2(h)在定義區(qū)間兩端附近的符號(hào)
定理系統(tǒng)(1)的Poincare分支,當(dāng)b0<b<+∞時(shí)可以在圖4所示的以同宿軌為邊界的中心環(huán)域內(nèi)分支出兩個(gè)極限環(huán).
證明從表1可知在-∞<b<+∞內(nèi),只有b0<b<+∞時(shí)Δ2(h)在它的定義區(qū)間兩端附近的函數(shù)符號(hào)相反,所以Δ2(h)必存在零點(diǎn).設(shè)此零點(diǎn)為h=ˉh適當(dāng)?shù)剡x取系統(tǒng)(1)的參數(shù),可使h=ˉh成為系統(tǒng)(1)的Abel積分A(h)的一個(gè)二重零點(diǎn).根據(jù)文獻(xiàn)[5]可知,系統(tǒng)(1)必可分支出兩個(gè)極限環(huán),也可分支出一個(gè)二重極限環(huán).
至于當(dāng)-∞<b<-1,-1<b<3和3<b<b0時(shí),從表1看出,這時(shí)Δ2(h)在定義區(qū)間兩端附近的函數(shù)符號(hào)相同,其實(shí)通過(guò)計(jì)算機(jī)的數(shù)值計(jì)算,對(duì)于每一個(gè)給定了b的值,都可以驗(yàn)證Δ2(h)在它們定義區(qū)間內(nèi)都是定號(hào)的,而且也可驗(yàn)證當(dāng)b0<b<+∞時(shí)Δ2(h)在定義區(qū)間內(nèi)零點(diǎn)是唯一的.類(lèi)似的驗(yàn)算方法可參看文獻(xiàn)[6].只是目前尚未找到一般的證明方法,如果這時(shí)Δ2(h)確為定號(hào),那么根據(jù)文獻(xiàn)[4]可知系統(tǒng)(1)的Poincare分支,當(dāng)-∞<b<-1,-1<b<3和3<b<b0時(shí)能且至多能分支出一個(gè)極限環(huán).結(jié)合以上定理1就可寫(xiě)成以下結(jié)論:系統(tǒng)(1)的Poincare分支當(dāng)且僅當(dāng)b0<b<+∞時(shí),可以分支出兩個(gè)極限環(huán),其中的b0是位于區(qū)間(77,302)內(nèi)的一個(gè)點(diǎn).對(duì)其它的b,除了臨界情形b=-1,3,b0尚需另行討論之外,至多只能分支出一個(gè)極限環(huán).
[1]司成斌,沈伯騫.具有一類(lèi)三次曲線解的Kolmogorov三次系統(tǒng)的極限環(huán)的存在性[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué), 2004,20(1):84-87.
[2]沈伯騫.具有與兩坐標(biāo)軸相切拋物線解的Kolmogorov三次系統(tǒng)存在極限環(huán)的條件[J].非線性動(dòng)力學(xué)學(xué)報(bào), 1996,1(1):85-89.
[3]張芷芬,李承志,鄭志明,等.向量場(chǎng)的分岔理論基礎(chǔ)[M].北京:高等教育出版社,1977.
[4]司成斌,沈伯騫.關(guān)于探討Abel積分零點(diǎn)的一個(gè)定理[J].數(shù)學(xué)學(xué)報(bào),2007,50(2):443-450.
[5]沈伯騫.具有多重極限環(huán)的微分系統(tǒng)的近似系統(tǒng)[J].應(yīng)用數(shù)學(xué)學(xué)報(bào),1998,21(2):282-287.
[6]Gang Jiatai,Dong Xiangyu,Shen Boqian.Poincare bifurcation for Quadratic systems with a center region of an unbounded triangular Region[J].Ann.of.Diff.Eqs.,2005,21(3):279-285.
The Poincare bifurcation of quadratic Hamilton system with degenerated cubic curve solution
Si Chengbin
(The College of Mathematics Liaoning Normal University,Dalian116029,China)
It is a confusing question whether the Poincare bifurcation of quadratic Hamilton system with degenerated cubic curve solution can be distributed two limit cycles after quadratic disturbance.This paper demonstrates that it can be distributed two limit cycles after quadratic disturbance in specific situation.
degenerated cubic curve solution,quadratic Hamilton system,Poincare bifurcation
O175.12
A
1008-5513(2012)04-0446-16
2011-08-29.
司成斌(1956-),副教授,研究方向:常微分方程定性理論.
2010 MSC:34C05,34C07,34C08