邢秀梅

伊犁師范大學(xué) 應(yīng)用數(shù)學(xué)研究所， 新疆 伊寧 835000

平面時變Hamilton周期系統(tǒng)的一個典型模型是x″+f(t，x)=0， 其中f(t，x)∈C1(R×R， R)關(guān)于變量t是2π周期的． 關(guān)于此系統(tǒng)周期解的存在性和重性的研究已開展了很多工作： 關(guān)于半線性非奇異位勢的工作見文獻[1-7]， 關(guān)于奇異位勢的工作見文獻[8-11]， 關(guān)于擾動方程的工作見文獻[12-14]． 本文考慮二階半線性共振Hamilton方程：

x″+g(x)=p(t，x，x′)

(1)

(2)

p滿足

(3)

有界、 連續(xù)且關(guān)于第一個變量是2π周期的．

當(dāng)p(t，x，y)=p(t)時， 方程(1)即為Duffing方程：

x″+g(x)=p(t)

(4)

(5)

和全局李普希茲條件

|g(x)-g(y)|≤L|x-y|(其中L為常數(shù))

(6)

下， 證明方程(4)至少存在一個2π周期解和無窮多次調(diào)和解． 文獻[3]將文獻[1]中的振動位勢條件減弱為弱振動位勢

(7)

亦得到類似結(jié)論． 文獻[4]去掉李普希茲條件， 增加弱振動位勢條件和共振條件

(8)

得出方程(4)至少存在一個2π周期解．

最近在條件

(9)

與條件

(10)

下， 文獻[5]證明方程(1)至少存在一個2π周期解． 注意條件(10)排除了τ(e)的共振點． 一個自然的問題是： 在半線性共振條件下， 加怎樣的條件能保證方程(1)存在周期解． 本文結(jié)論如下．

為了證明定理1， 先給出一些引理．

引理1[4]設(shè)條件(2)成立， 則存在常數(shù)e0>0， 使得當(dāng)e>e0時，Γe是一條包圍原點的星形閉曲線．

引理2[4]設(shè)條件(2)成立，M為固定常數(shù)， 對滿足0≤y-M≤u≤y≤e的u和y， 有

考慮方程(1)的等價系統(tǒng)

x′=yy′=-g(x)+p(t，x，y)

(11)

它的極坐標(biāo)形式為：

(12)

以(r(t)，θ(t))， 表示方程(12)滿足(r(0，r0，θ0)，θ(0，r0，θ0))=(r0，θ0)的解． 類似文獻[4]可得：

引理4假設(shè)條件(2)成立， 則有：

1) 方程(11)(或(12))的每個解都在t軸上存在；

引理4結(jié)論2)表明， 在任意確定的時段內(nèi)， 對充分大的e， 自Fe上出發(fā)的方程(11)的解Λ是繞原點順時針旋轉(zhuǎn)的． 記解Λ繞一圈所用的時間為T．

證參考文獻[4]方法． 證明過程分兩步．

(13)

當(dāng)t∈[α，t1]時， 有A≤x≤x(t1)． 由于x′(t1)=0， 方程(11)得

設(shè)δ(A)=inf{g(x)：x≥A}， 由條件(2)， 當(dāng)A?1時， 存在c>0， 使得δ(A)>cA， 因此

(14)

由條件(2)和式(13)知， 存在常數(shù)M>0使得B-A

(15)

兩邊積分得

由引理 3、 條件(2)和式(13)， 綜合可得

(16)

進而

對解Λ經(jīng)過第i象限的時間ti(i=2，3，4)有類似估計， 最后可得

2) 對一般的從(x0，y0)∈Fe出發(fā)的解Λ， 只需再估計解Λ通過下述區(qū)域

所需時間Δt．

x-

(17)

(18)

對任何正整數(shù)j， 設(shè)Tj(e)是從Fe上出發(fā)的解轉(zhuǎn)j圈所用的時間， 由c1e0和c1<τ(e)

(19)

1) 當(dāng)(r0，θ0)∈Fak時，θ(2mπ，r0，θ0)-θ0<-2nπ；

2) 當(dāng)(r0，θ0)∈Fbk時，θ(2mπ，r0，θ0)-θ0>-2nπ．

θ(2mπ，r0，θ0)-θ0<-2nπ

如果j=n， 那么對k足夠大， 有

從而

因此

可類似證明結(jié)論2)．

再證明2π周期解的存在性． 考慮

x″+g(x)=λp(t，x，y)λ∈[0， 1]

(20)

定義如下算子

這說明解F在2mπ時間內(nèi)圍繞原點順時針運動超過n圈， 但是達不到n+1圈， 所以不是2mπ周期解， 也不是2π周期解．