具有退化三次曲線解的Hamilton二次系統(tǒng)的Poincare分支

司成斌

(遼寧師范大學(xué)大學(xué)數(shù)學(xué)學(xué)院,遼寧大連 116029)

具有退化三次曲線解的Hamilton二次系統(tǒng)的Poincare分支

司成斌

(遼寧師范大學(xué)大學(xué)數(shù)學(xué)學(xué)院,遼寧大連 116029)

具有退化三次曲線解的Hamilton二次系統(tǒng),經(jīng)二次微擾后的Poincare分支,是否存在兩個極限環(huán)?這是一個長期受到困擾的問題.本文證明了在特定條件下,可以分支出兩個極限環(huán).

退化三次曲線解；二次Hamilton系統(tǒng)；Poincare分支

1 前言

以往在探討具有代數(shù)曲線解的Kolmogorov三次系統(tǒng)是否存在極限環(huán)的問題方面,已有許多結(jié)果,如文獻[1-2].但對具有代數(shù)解的Hamilton二次系統(tǒng)的研究,尚有欠缺.文獻[3]證明了具有非退化三次曲線解的軸對稱三次曲線解的Hamilton二次系統(tǒng)經(jīng)二次微擾后的Poincare分支不可能分支出兩個極限環(huán).但對于具有退化三次曲線解的Hamilton二次系統(tǒng)的Poincare分支,經(jīng)二次擾動后是否能分支出兩個極限環(huán),一直沒有結(jié)論.本文研究了具有退化三次曲線解的Hamilton二次系統(tǒng)˙x=-y+x2+by2,˙y=x(1-2y),將證明:當(dāng)b0＜b＜+∞時,此系統(tǒng)經(jīng)二次擾動后可以分支出兩個極限環(huán).其中b0是位于區(qū)間(77,302)內(nèi)的一個定點.

考慮具有退化三次曲線解的Hamilton二次系統(tǒng)經(jīng)二次微擾后的Poincare分支.此系統(tǒng)可統(tǒng)一寫成:

2 曲線族(2)的圖像

時,其圖像為一條閉曲線和一條非閉曲線.如圖1中虛曲線所示.它們分別交y軸于y1,y2,y3.

圖1 曲線族(2)當(dāng)-∞＜b＜-1時的圖像

圖2 曲線族(2)當(dāng)-1＜b＜0時的圖像

時,(2)式的圖像為一條閉曲線和一條非閉曲線.如圖4中的虛曲線所示.

圖3 曲線族(2),當(dāng)0＜b＜2時的圖像

圖4 曲線族(2),當(dāng)2＜b＜+∞時的圖像

3 系統(tǒng)(1)的Abel積分

系統(tǒng)(1)的Abel積分為:

y2和y1分別表示圖1、圖2、圖3、圖4中虛閉曲線的上下確界.A0(h)和A1(h)顯然是線性無關(guān)的.所以系統(tǒng)(1)的Poincare分支至少可以分出一個極限環(huán).那么能不能有分支出兩個極限環(huán)的可能,關(guān)鍵決定于

在各自的定義區(qū)間內(nèi)是否存在零點.如果存在零點,則系統(tǒng)(1)就有分支出兩個極限環(huán)的可能,如果不存在零點,則系統(tǒng)(1)至多只能分支出一個極限環(huán).其原理可參看文獻[4].

4 Δ2(h)在左端點附近的函數(shù)符號

要判定Δ2(h)在定義區(qū)間內(nèi)是否存在零點,可采用分析Δ2(h)在定義區(qū)間兩個端點附近的函數(shù)符號的方法.如果兩端符號相反,則Δ2(h)在定義區(qū)間內(nèi)必存在零點,否則可驗證Δ2(h)在定義區(qū)間內(nèi)不存在零點.先考慮Δ2(h)左端點,需分-∞＜b＜0,0＜b＜3,3＜b＜+∞三種情形分別進行討論.

5 Δ2(h)在右端點附近的函數(shù)符號

為了判斷出φ(b)在-∞＜b＜-1上的符號,來做φ(b)的函數(shù)表:

6 結(jié)論

以上第4節(jié)和第5節(jié)的分析計算的結(jié)果可列成表1.

表1 Δ2(h)在定義區(qū)間兩端附近的符號

定理系統(tǒng)(1)的Poincare分支,當(dāng)b0＜b＜+∞時可以在圖4所示的以同宿軌為邊界的中心環(huán)域內(nèi)分支出兩個極限環(huán).

證明從表1可知在-∞＜b＜+∞內(nèi),只有b0＜b＜+∞時Δ2(h)在它的定義區(qū)間兩端附近的函數(shù)符號相反,所以Δ2(h)必存在零點.設(shè)此零點為h=ˉh適當(dāng)?shù)剡x取系統(tǒng)(1)的參數(shù),可使h=ˉh成為系統(tǒng)(1)的Abel積分A(h)的一個二重零點.根據(jù)文獻[5]可知,系統(tǒng)(1)必可分支出兩個極限環(huán),也可分支出一個二重極限環(huán).

至于當(dāng)-∞＜b＜-1,-1＜b＜3和3＜b＜b0時,從表1看出,這時Δ2(h)在定義區(qū)間兩端附近的函數(shù)符號相同,其實通過計算機的數(shù)值計算,對于每一個給定了b的值,都可以驗證Δ2(h)在它們定義區(qū)間內(nèi)都是定號的,而且也可驗證當(dāng)b0＜b＜+∞時Δ2(h)在定義區(qū)間內(nèi)零點是唯一的.類似的驗算方法可參看文獻[6].只是目前尚未找到一般的證明方法,如果這時Δ2(h)確為定號,那么根據(jù)文獻[4]可知系統(tǒng)(1)的Poincare分支,當(dāng)-∞＜b＜-1,-1＜b＜3和3＜b＜b0時能且至多能分支出一個極限環(huán).結(jié)合以上定理1就可寫成以下結(jié)論:系統(tǒng)(1)的Poincare分支當(dāng)且僅當(dāng)b0＜b＜+∞時,可以分支出兩個極限環(huán),其中的b0是位于區(qū)間(77,302)內(nèi)的一個點.對其它的b,除了臨界情形b=-1,3,b0尚需另行討論之外,至多只能分支出一個極限環(huán).

[1]司成斌,沈伯騫.具有一類三次曲線解的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].非線性動力學(xué)學(xué)報, 1996,1(1):85-89.

[3]張芷芬,李承志,鄭志明,等.向量場的分岔理論基礎(chǔ)[M].北京:高等教育出版社,1977.

[4]司成斌,沈伯騫.關(guān)于探討Abel積分零點的一個定理[J].數(shù)學(xué)學(xué)報,2007,50(2):443-450.

[5]沈伯騫.具有多重極限環(huán)的微分系統(tǒng)的近似系統(tǒng)[J].應(yīng)用數(shù)學(xué)學(xué)報,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