何濤，丁衛(wèi)

（1.南通航運職業(yè)技術學院基礎教學部，江蘇南通 226010；2.南通大學理學院，江蘇南通 226007）

一類加權對稱方程對稱周期解的稠密分布

何濤1，丁衛(wèi)2

（1.南通航運職業(yè)技術學院基礎教學部，江蘇南通 226010；2.南通大學理學院，江蘇南通 226007）

考慮一類帶正權的次二次位勢對稱方程的對稱周期解的分布問題，利用相平面分析法，證明了在一定條件下對稱周期解是稠密分布的.

次二次位勢；Hamilton函數(shù)；對稱周期解；稠密分布

MSC 2010：34C25

考慮哈密頓系統(tǒng)

對稱周期解的分布情況，其中a，p是連續(xù)的2π周期函數(shù)，g是連續(xù)函數(shù).對方程（1）的周期解的研究已經(jīng)有許多成果［1－3］.然而，當攝動項p（t）是對稱函數(shù)時，關于對稱周期解分布情況的結果并不多［4－5］.文獻［4］中，Nakajima研究了Duffing方程

得到了在超線性條件下對稱次調(diào)和解的稠密性分布結果.錢定邊［5］在跨共振點的情況下也證明了類似的結果.而當方程滿足次線性條件時，在研究過程中往往要通過變量代換［6－8］，方程的對稱結構就遭到破壞，給對稱周期解的研究帶來了相當大的困難.

1 預備知識

采用直接的方法在條件

及次二次位勢條件

在上述條件下，方程（1）的解是全局存在的［7］.方程（1）的等價方程為

定理1 設條件（g0），（G0）成立，a（t）是正的偶函數(shù)，g滿足局部Lipschitz條件.若p（t）為偶函數(shù)（p（t），g（t）均為奇函數(shù)），則方程（1）存在一列偶（奇）次調(diào)和解｛x k（t）｝，滿足

類似于文獻［4］中的方法，利用對稱條件，把周期解的問題轉(zhuǎn)化為二點邊值問題，通過對方程的解在相平面上定性行為的分析，可進一步得到下列結果.

定理2 若定理1的條件成立，則

1）若p（t）為偶函數(shù)，則對任意2個偶的次調(diào)的解x1（t）和x2（t）（x1（0）＝a1＜x2（0）＝a2，x1′（0）＝x2′（0）＝0），方程（1）存在無窮多的偶的次調(diào)和解?x k（t），滿足

2）若p（t），g（x）均為奇函數(shù)，則對任意2個奇次調(diào)和解x1（t）和x2（t）（x1（0）＝x2（0）＝0，x1′（0）＝a1＜x2′（0）＝a2），方程（1）存在無窮多的奇次調(diào)和解?x k（t），滿足

2 引理

在x2＋y2＞0時，方程（3）的極坐標形式為

記z（t；t0，z0）＝（x（t；t0，z0），y（t；t0，z0））為方程（3）在t0時刻從點z0＝（x（t0），y（t0））出發(fā)的解z（t），對應在極坐標方程（4）下的解為（r（t），θ（t））.

引理1［7］如果條件（g0）成立，則存在r0＞0，當r（t）＞r0時，θ′（t）＜0.

引理2［7］如果條件（g0）成立，則對任意正整數(shù)k，存在Rk＞r0及嚴格遞增函數(shù)ζk∶［Rk，＋∞）→R＋，使得下面結論成立：

對方程（3）的任一解z（t），設J為任意一個滿足‖z（t）‖≥r0，?t∈J的區(qū)間，r為任意一個滿足r≥Rk的實數(shù)，如果t1，t2∈J，滿足‖z（t1）‖≤r，‖z（t2）‖≥ζk（r），則z（t）在t1時刻與t2時刻之間繞原點順時針旋轉(zhuǎn)了至少k圈.

為了敘述方便，引入一些記號：

Sr為以原點為圓心半徑為r的圓周；T j（t0，z0）為z（t；t0，z0）繞原點順時針旋轉(zhuǎn)j圈的時間；

由上面引理可知，當r充分大后T j（t0，z0）有意義，從而T＋（j；r）和T＿（j；r）都有意義.

引理5 如果條件（g0）成立，則對任意正整數(shù)j有T＋（j；r）＜＋∞，r?1.

證明 當r≥r0并且充分大時，由引理3、引理4，存在實數(shù)r1，r2，滿足r0＜r1＜r＜r2，使得任意在t0時刻從Sr上出發(fā)的解z（t；t0，z0）在完成繞原點順時針旋轉(zhuǎn)j圈之前跑不出區(qū)域Ω：＝｛（x，y）｜r1≤，由于a（t）是正周期函數(shù)，有A＞0.因此條件（g0），存在N0＞0及相應的α＞0，使得

3 對稱周期解的稠密分布

由于方程（3）在原點性態(tài)不是很理想，通過它的Hamilton函數(shù)構造一個新的方程來彌補這一缺陷.設k（s）是光滑截斷函數(shù)，滿足k（s）＝1，s≥r20；k（s）＝0，s≤r20／2，其中r0來自引理3.定義新的Hamilton函數(shù)

在原點附近方程（5）為x′＝y(tǒng)，y′＝－2x，容易看出原點為該方程的平衡點，由初值問題解的存在唯一性可知從原點外任一點出發(fā)的解都不會經(jīng)過原點.在半徑為r0的圓域之外方程（5）為

顯然此時與方程（3）一樣.由此可知方程（5）的解是全局存在的，同時上面的所有引理對該方程同樣成立.在證明定理之前先陳述一個引理.在文獻［4］中該引理是針對Duffing方程（2）而言，不難驗證其對方程（1）同樣成立.

引理7 對于方程（1），

1）如果p（t）是偶函數(shù)，則解x（t）是偶次調(diào)和解的充分必要條件是存在整數(shù)m＞0，使得x′（0）＝x′（mπ）＝0.

2）如果g（x），p（t）是奇函數(shù)，則解x（t）是奇次調(diào)和解的充分必要條件是存在整數(shù)m＞0，使得x（0）＝x（mπ）＝0.

設z（t；0，z0）＝（x（t；0，z0），y（t；0，z0））是方程（5）在0時刻從z0＝（x0，y0）出發(fā)的解，其對應的極坐標形式為θ（t；0，z0），r（t；0，z0），并記θ0＝θ（0；0，z0），r0＝r（0；0，z0），則對方程（5）的解軌線有如下結果.

引理8 對于任意整數(shù)j＞0，存在實數(shù)r1及相應的正整數(shù)m與實數(shù)r2，滿足r2＞r1＞r0，使得如下結論成立：

那么過點z0的解z（t；0，z0）滿足

證明 由分析可知，對于方程（5），如果z0不為原點，則‖z（t；t0，z0）‖＞0，?t∈R.又當x＝0，y≠0時，有

這說明解軌線只能順時針穿過y軸.從而當‖z0‖≠0時有

對任意正整數(shù)j，在引理2.2中取k＝j＋2，則存在對應的Rk及單調(diào)遞增函數(shù)ζk.任取r1滿足

由引理5，存在m∈N，使得所有從Sr1上出發(fā)的解z（t；0，z0）旋轉(zhuǎn)k圈的時間Δt≤2mπ，因此對任意（r0，θ0）∈Sr1，都存在t1（與θ0有關）滿足0＜t1≤2mπ，使得θ（t1；0，z0）－θ0＝－2kπ.結合不等式（8），對任意z0∈Sr1有

定理1的證明 對于方程（5），在引理8中，取定整數(shù)j＝1，則存在相應的半徑r1，r2（r2＞r1＞r0）及m∈N使得不等式（6），（7）成立.記z1＝（r0，0），z2＝（r2，0），則z1∈Sr1，z2∈Sr2，因此

令L為連接z1，z2的開直線段，此時不妨設θ0＝0，則

定義方程（5）的Poincare映射

L在p作用下所得曲線段P（L）是一段連續(xù)曲線，又方程（5）的零解具有唯一性，P（L）將不經(jīng)過原點，從而由式（11）可知P（L）必將與x軸相交，即存在z0＝（a0，0）∈L，a0≠0，使得θ（2mπ；0，z0）＝－2π.因此方程（5）在0時刻從z0出發(fā)的解z（t；0，z0）＝（x（t，0，z0）），y（t；0，z0）滿足

由引理8可知‖z（t；0，z0）‖＞r0，t∈［0，2mπ］.由于在半徑為r0的圓域之外方程（3）與方程（5）是同一的，從而可知至少在［0，2mπ］的時間段內(nèi)，z（t；0，z0）是方程（3）的解，并滿足式（12）.利用方程（1）的對稱性，由引理7可知x（t；0，z0）是其偶次調(diào)和解，記為x1（t）.對正整數(shù)j＝1，在不等式（9）中，用r1代替Rk，可同樣證明存在滿足引理8的r1′，r2′，m′，通過與上面的類似分析可得偶次調(diào)整和解x2（t），并且由不等式（10）有繼續(xù)這一過程可得一列偶次調(diào)和解x k（t），滿足

引理2的證明 首先在方程（3）中進行分析，設x1（t）的周期為n1，x2（t）的周期為n2，則n＝n1n2為他們的公共周期.令z1＝（a1，0），z2＝（a2，0）.定義方程（3）的Poincare映射

則z1，z2為P的不動點，即

設L0為連接z1，z2的開直線段，定義Lk（K≥1）如下：

則Lk是以z1，z2為端點的簡單開曲線段.對于Lk有如下2種可能：

情況1：存在k，使得Lk與x軸相交.此時存在z0＝（a0，0）∈L0，使得P k（z0）在x軸上.因此，存在方程（1）的解x（t），滿足x（0）＝a0，x′（0）＝x′（2knπ）＝0.

情況2：對任意k＝1，2，3，…，Lk都與x軸不相交.由于P是保向和保面積同胚，利用類似文獻［4］中的方法可證明

在同一坐標系下同時分析方程（3）與方程（5）.對方程（5），在引理8中取j＝1，則存在相應的r1，r2（r2＞及m∈N，使得不等式（6），（7）成立.由于因此存在整數(shù)k＞0，使得

取p i∈Lk∩Sri，并滿足在p1，p2兩點之間位于Lk上的曲線?L與S r1，Sr2都不相交，通過簡單分析可知?L位于圓周Sr1，Sr2之間，顯然p1，p2滿足不等式（6），（7），此時不妨取θ0∈［0，2π］，則有

由引理8可知，方程（5）從p0出發(fā)的解z（t；0，p0）滿足

而前面已經(jīng)指明在半徑為r0的圓域之外方程（3）與方程（5）是同一的，從而可知至少在［0，2mπ］時間段內(nèi)，z（t；0，p0）也滿足方程（3），且有θ（2mπ；0，p0）＝－2π.由于p0∈Lk，因此存在實數(shù)a0，滿足a1＜a0＜a2，使得方程（3）滿足初始條件x（0）＝a0，x′（0）＝0的解x（t；0，（a0，0）），y（t；0，（a0，0））滿足：

則由解的唯一性可得

故無論是情況1還是情況2，上面的過程表明方程（1）都存在解x（t），滿足a1＜x（0）＜a2，x′（0）＝x′（lπ）＝0其中l(wèi)是正整數(shù).由引理7知x（t）是方程（1）偶次調(diào)和解.對x1（t）和新產(chǎn)生的偶次調(diào)和解x（t）重復上面過程可得無數(shù)多個偶的次調(diào)和解.定理證畢.

［1］CAPIETTO A，DAMBROSIO W，PAPINI D.Superlinear indefinite equations on the real line and chaotic dynamics［J］.J Differential Equations，2002，181：419－428.

［2］PAPINI D.Infinitely many solutions for a Floquet－type BVP with superlinearity indefinite in sign［J］.J Math Anal Appl，2000，247：217－235.

［3］PAPINI D，ZANOLIN F.A topological approach to superlinear indefinite boundary－value problem［J］.Topol Methods Nonlinear Anal，2000，15：203－233.

［4］NAKAJIMA F.Even and periodic solution of the equation［J］.J Differential Equations，1990，83：277－299.

［5］錢定邊.時間映射和跨共振點的Duffing方程［J］.中國科學：A輯，1993，23：471－479.

［6］丁同仁.常微分方程定性方法的應用［M］.北京：高等教育出版社，2004.

［7］DING Tongren，ZANOLIN F.Subharmonic solutions of second order nonlinear equations：A time－map approach［J］.Nonlinear Analysis TMA，1993，20：509－532.

［8］魏蘭閣.一個Duffing方程的調(diào)和解和次調(diào)和解［J］.數(shù)學進展，2003，32：39－46.

Dense Distribution of Symmetric Periodic Solutions for a Class of Aymmetric Wquations with Weight

HE Tao1，DING Wei2
（1.Department of Basic Education，Nantong Shipping College，Nantong 226010，China；2.College of Science，Nantong University，Nantong 226007，China）

The problem of the symmetric periodic solutions’distribution for a class of symmetric subquardratic potential equations with positive weight is studied in this paper.Under some conditions，the fact that the distribution of symmetric periodic solutions is dense by phase plane analysis is proved.

subquardratic potential；Hamilton function；symmetric periodic solution；dense distribution

O 175

A

1000－1565（2011）03－0230－06

2010－10－27

何濤（1964－），男，江蘇東臺人，南通航運職業(yè)技術學院副教授，主要從事數(shù)學教育與應用研究.

丁衛(wèi)（1983－），男，江蘇南通人，南通大學講師，主要從事常微分方程定性理論研究.

E－mail：dingwei＠ntu.edu.cn

王蘭英）