王寧寧,祝曉薇,張利群,丁本艷
(1.臨沂大學 理學院,山東 臨沂 276005;2.山東師范大學 數學科學學院,山東 濟南 250014)
著名數學家希爾伯特早在二十世紀初的國際數學家大會上提出了23 個著名數學問題,對20 世紀的數學發(fā)展起到了很大的推動作用. 其中,第16 個問題的后半部分為:多項式微分系統(tǒng)的極限環(huán)的最大個數是多少?相對位置如何?自那以后特別是近幾十年來,數學工作者花費了大量的時間和精力致力于該問題的研究,取得了一系列卓越的研究結果.其中在對平面二次系統(tǒng)的研究中,著名數學家葉彥謙先生給出了如下的葉彥謙分類:
關于二次微分系統(tǒng)的極限環(huán)問題的研究,近幾十年來已有大量的工作[1,2].但是,通常采取的方法是作適當的變換把方程化為Liénard形式,再利用定性的方法來討論極限環(huán)的存在性.文[6]利用分支的方法,通過分析未擾方程的同宿軌經擾動破裂以后的穩(wěn)定流形和不穩(wěn)定流形之間的相對距離,研究了一類含五個自由參數的平面二次微分系統(tǒng)(III)類方程的極限環(huán)的存在性問題.本文對文[6]中方程進行改進,并研究改進后一類含六個自由參數的平面二次微分系統(tǒng)(III)類方程的同宿環(huán)的分支問題,給出系統(tǒng)存在極限環(huán)的條件.
首先給出幾個引理.
考慮平面自治系統(tǒng)
及其擾動系統(tǒng)
引理1 (P -B 環(huán)域定理)[3].設D是由兩條不相交的單閉曲線Γ1和Γ2所圍成的環(huán)域,并且系統(tǒng)在D內無奇點.如果當時間t增加時從Γ1和Γ2上出發(fā)的軌線都進入(都離開)D,那么在D內至少存在一個穩(wěn)定(不穩(wěn)定)的極限環(huán).
注1.Γ1和Γ2可以部分地由軌線構成,甚至上面可以出現(xiàn)有限個奇點,只要保證軌線一旦進入(離開)D后不再離開(進入)即可.
注2.D的內邊界(不妨設為Γ1)可以縮為一個不穩(wěn)定(穩(wěn)定)的奇點.
引理2[4,5].假設1).系統(tǒng)(1)存在同宿于鞍點O(0,0)的同宿軌Γ,P0為Γ 上任意一點,過P0作(1)的橫截線l與Γ 在P0點的外法線方向共線.
2).擾動系統(tǒng)(2)在O(0,0)點附近的鞍點為的穩(wěn)定流形和不穩(wěn)定流形與l的交點分別為Ps和Pu.則在小擾動下,從Ps到Pu的有向距離與同向時為正)為:
我們有如下定理:
(1)當0<δ<2 時,系統(tǒng)(4)和(5)有鞍點不穩(wěn)定焦點
(3)當-2<δ<0 時,系統(tǒng)(4)和(5)有鞍點,穩(wěn)定焦點
(4)當δ ≤-2 時,系統(tǒng)(4)和(5)有鞍點,穩(wěn)定結點
(1)當0<ps <2 時,系統(tǒng)(6)有鞍點O(0,0),不穩(wěn)定焦點
(2)當ps≥2 時,系統(tǒng)(6)有鞍點O(0,0),不穩(wěn)定結點
(3)當-2<ps <0 時,系統(tǒng)(6)有鞍點O(0,0),穩(wěn)定焦點
(4)當ps≤-2 時,系統(tǒng)(6)有鞍點O(0,0),穩(wěn)定結點
考慮系統(tǒng)(6)的未擾系統(tǒng)(6)p =0:
系統(tǒng)(7)有鞍點O(0,0),中心且系統(tǒng)(7)為Hamilton 系統(tǒng),其首次積分為:
當h =0 時,系統(tǒng)(8)為(7)過鞍點O(0,0)的同宿軌,記為Γ,即:Γ={u = u(t),v = v(t),t∈(-∞,+∞)}={(u,v):H(u,v)=0},由系統(tǒng)(7)知Γ 為逆時針走向,經計算易知,Γ 與v軸的交點為不妨設此時t =0,即u(0)=0,v(0)= -
當n >0 時,系統(tǒng)(7)的同宿軌Γ 整體定義在v軸的負半平面,記其在v軸的右邊部分為Γ+,在v軸左邊部分為Γ-(當n <0 時,系統(tǒng)(7)的同宿軌Γ 整體定義在v軸的正半平面,記其在v軸的左邊部分為Γ+,在v軸右邊部分為Γ-),由(8)知Γ+與Γ-的表達式分別為則:
下面利用P - B 環(huán)域定理證明極限環(huán)的存在性.要證Γ 內含有極限環(huán),只需構造環(huán)域定理所需的內外境界即可.
(i)當δ>0 時,為系統(tǒng)(6)的不穩(wěn)定焦點(0<δ<2)或者不穩(wěn)定結點
(ii)當δ<0 時為系統(tǒng)(6)的穩(wěn)定焦點(-2<δ<0)或者穩(wěn)定結點(δ ≤-2).
定理證畢.
[1]葉彥謙.極限環(huán)論[M].上海:上??萍汲霭嫔纾?995.
[2]葉彥謙.多項式微分系統(tǒng)定性理論[M].上海:上??萍汲霭嫔?,1995.
[3]張芷芬,丁同仁.微分方程定性理論[M].北京:科學出版社.1985.
[4]張錦炎,馮貝葉.微分方程幾何理論和分支問題[M].北京:北京大學出版社,2000.
[5]韓茂安,朱德明.微分方程分支理論[M].北京:煤炭工業(yè)出版社,1994.
[6]朱曼,楊鎖玲.郭麗艷.一類平面二次系統(tǒng)(III)類方程的極限環(huán)存在性[J].棗莊學院學報,2012,29(2):42 -46.