鄧瑞娟(蕪湖職業(yè)技術(shù)學院,安徽蕪湖241000)
一類具偏差變元二階微分方程周期解的存在性*
鄧瑞娟
(蕪湖職業(yè)技術(shù)學院,安徽蕪湖241000)
主要利用Mawhin延拓定理研究一類二階具偏差變元微分方程x″(t)+f(t,x(t),x(t-τ0(t)),x'(t))+β(t)g(x(t-τ1(t)))=p(t)的周期解問題,得到了存在周期解的兩個充分條件.
Mawhin延拓定理;偏差變元;周期解
近年來,具偏差變元的微分方程由于其在控制論、生物學等很多領(lǐng)域有重要應用,一直受到人們的廣泛關(guān)注,也已經(jīng)有了一定的成果[1-9].此處主要是運用重合度理論的Mawhin延拓定理研究如下具偏差變元二階微分方程的周期解:
其中,f(t,x,y,v)是R4上的連續(xù)函數(shù),同時還是以T為周期的函數(shù).而g(x),β(t),p(t),τ0(t)和τ1(t)均為R上的連續(xù)函數(shù),其中β(t),p(t),τ0(t)和τ1(t)都是以T為周期的函數(shù).
于是
顯然,L是指標為零的Fredholm算子.假定P,Q為投影算子
下面給出將會使用到的引理.
引理1[4](Mawhin延拓定理)設X,Y為Banach空間,L:D(L)?X→Y是指標為零的Fredholm算子,Ω?X為有界開集上是L-緊的,如果下列條件滿足:
則方程Lx=Nx在Ω∩D(L)上至少存在一個解.
定理1設方程(1)滿足條件:
下面證明存在ξ∈R,使得
于是有
令t2為x(t)在R上取得最小值的點,則x'(t2)=0,x″(t2)≥0,由式(2)得
下面討論:
(Ⅰ)若t2=t1,則x(t)≡C,且,則存在ξ∈R,使得
(Ⅱ)若t2≠t1,由式(6)知存在常數(shù)K2>0,有x(t2-τ1(t2))<K2.
(A)若x(t2-τ1(t2))∈(-K1,K2),則取ξ=t2-τ1(t2),此時有
(B)若x(t2-τ1(t2))<-K1,由式(5)及x(t)的連續(xù)性及介值定理知一定存在t1-τ1(t1),t2-τ1(t2)之間的某個ξ,使得
因此
由于x(0)=x(T),故必有t*0∈[0,T],使得,同上可得
于是
將式(2)兩端同乘以x'(t),并在[0,T]上積分,得
由定理1的條件①可得
則由式(9)-(11)和柯西不等式可得
由此可得
作變換
故H(x,α)為同倫映射,取J為恒同映射,有
由引理1知,方程(1)至少存在一個T-周期解.
為了下面的證明,假設f(t,x,y,v)=f1(t,x,y,v)+f2(t,x,y,v),其中f1(t,x,y,v)和f2(t,x,y,v)均在R4上連續(xù),且(t,x,y,v)∈R4,f1(t,x,y,v)和f2(t,x,y,v)都是關(guān)于t的T-周期函數(shù).
類似于定理1中的證明,可知存在t'0∈[0,T]和,使得,其中是與λ無關(guān)的常數(shù).
另有
因為x(0)=x(T),由羅爾定理可知存在t3∈[0,T],使得x'(t3)=0.在式(11)兩邊同乘以x'(t),并從t3到t積分,于是有
其中C0定義同前,則
因此
其余證明同定理1,此略.證畢.
[1]DING T R.Nonlinear Oscillations at a Point of Resonance[J].Science in China(ser A),1982,25(9):918-931
[2]葛渭高.一類n維!Liénard方程的調(diào)和解[J].數(shù)學年刊,1990,11A(3):297-307
[3]黃先開.具有時滯的保守系統(tǒng)的2π周期解[J].系統(tǒng)科學與數(shù)學,1989,9(4):298-308
[4]施呂蓉,周宗福,高偉.一類二階具多偏差變元微分方程的周期解[J].山西師范大學學報:自然科學版,2012,26(4):12-17
[5]魯世平,葛渭高.一類二階具偏差變元的微分方程周期解[J].數(shù)學學報,2002,45(4):811-818
[6]郭承軍,王根強.一類二階具多偏差變元微分方程周期解的存在性[J].中山大學學報:自然科學版,2007,46(6):5-9
[7]汪娜,魯世平.一類三階具偏差變元微分方程的周期解[J].安徽師范大學學報:自然科學版,2006,29(1):17-22
[8]施呂蓉,周宗福,高偉.一類三階具多偏差變元微分方程的周期解[J].重慶工商大學學報:自然科學版,2013,30(1):6-15
[9]OMARIP,ZANOLIN P.Anote on Nonlinear Oscillation at Resonance[J].Acta Math Sinica,1987,3(3):351-361
Periodic Solutions of the Second Order Differential Equation with Deviating Arguments
DENG Rui-juan
(Wuhu Institute of Technology,Wuhu 241000,China)
Using the Mawhin continuation theorem,this paper studies a class of periodic solutions of the second order differential equation with deviating arguments x″(t)+f(t,x(t),x(t-τ0(t)),x'(t))+ β(t)g(x(t-τ1(t)))=p(t),and two sufficient conditions of the periodic solutions are obtained.
the Mawhin continuation theorem;deviating arguments;periodic solutions
O175.1
A
1672-058X(2015)09-0061-05
10.16055/j.issn.1672-058X.2015.0009.016
2015-01-15;
2015-02-20.
安徽省2013年度省級自然科學研究項目(KJ2013B347);安徽省2013年度省級自然科學研究項目(KJ2013B348).
鄧瑞娟(1984-),女,安徽蕪湖人,講師,碩士,從事微分方程研究.