黃　勇,　黃燕革

(百色學院 數(shù)學與計算機信息工程系, 廣西 百色 533000)

?

具有強迫項的有限時滯Lienard方程周期解的存在性

黃勇,黃燕革

(百色學院 數(shù)學與計算機信息工程系, 廣西 百色 533000)

摘要:利用Mawhin延拓定理證明，構(gòu)造新算子，使用新技巧,研究了一類具有強迫項和有限時滯的二階Lienard方程

的周期解問題,得到了方程至少存在一個周期解的充分條件,獲得了新的結(jié)論.

關(guān)鍵詞:強迫項; 時滯; Lienard方程; 周期解; Mawhin延拓定理

關(guān)于具有有限時滯Lienard方程

(1)

和關(guān)于具有強迫項的Lienard方程

(2)

的周期解的存在性的研究已有許多(參見文獻[1-22]及其參考文獻).據(jù)我們所知,研究同時具有強迫項和有限時滯的Lienard方程周期解的存在性還不多見.

本文研究如下一類同時具有強迫項和有限時滯Lienard方程

(3)

的周期解的存在性問題,其中,f1(x)、f2(x)和g(x)是定義在R=(-∞,+∞)上的連續(xù)實函數(shù),常數(shù)τ≥0,e(t)是周期為T的連續(xù)函數(shù),即對于常數(shù)T>0,e(t+T)=e(t).利用Mawhin延拓定理給出方程(3)存在周期解的一些充分條件.

1假設(shè)與引理

為研究方便,把方程(3)轉(zhuǎn)化為以下等價方程組

(4)

其中

常數(shù)τ≥0.

這樣,研究方程(3)就轉(zhuǎn)化為研究方程(4).為利用Mawhin延拓定理[23],考慮Banach空間Z中的算子方程

(Eλ)

其中,L:domL∩Z→Z是一個線性算子,N:Z→Z是一個連續(xù)的算子和λ∈[0,1]是一個參數(shù).

相應于方程(Eλ)有

因此,關(guān)于方程組(4)的周期解的存在性問題被轉(zhuǎn)化為當λ=1時,方程組(5)在Z中的周期解的存在性問題.

如果

dim KerL=codim ImL<+∞,

并且ImL在Z中閉,則算子L稱為指標為零的Fredholm算子[24].

如果L為指標為零的Fredholm算子,則存在連續(xù)投影算子P、Q分別為:

P:Z∩domL→KerL,

Q:Z→Z/ImL,

且有

ImP=KerL,KerQ=ImL.

因此有

L|dom L∩Ker P:domL∩KerP→ImL

是一個一一映射且具有連續(xù)廣義逆kp及

J:Z/ImL→KerL

是一個同構(gòu).

1)LX≠λNX,?X∈?Ω∩domL,λ∈(0,1),

2)QNX≠0,?X∈?Ω∩KerL,

3) deg{JQN,Ω∩KerL,0}≠0;

則

為了討論方程(4)的周期解存在性問題,記

并在Z中定義范數(shù)

其中

易證,在此范數(shù)下Z為Banach空間.定義

易證

dim KerL=codim ImL=2

且ImL為Z的閉子空間,故知L為指標為零的Fredholm算子.

2主要結(jié)果

定理假設(shè)f1(x)、f2(x)和g(x)是定義在R=(-∞,+∞)上的連續(xù)實函數(shù),e(t)是周期為T的連續(xù)函數(shù),并且以下條件成立:

(A1)f2(x)在R上有界,存在常數(shù)b>0,使

(A3)f1(x)>0,且

則方程組(4)至少存在一個周期為T的周期解.

證明第1步:證明當λ∈(0,1)時,對于方程(5)的任意一個T周期解

一定存在正數(shù)M>0,使得對所有的t∈[0,T]有

先證明第一個分量x(t)≤M1,常數(shù)M1>0.由(5)式的第2個方程積分得

(6)

由假設(shè)條件(A1)和(A2)可以確定必存在t0∈[0,T],使得

(7)

現(xiàn)記

以下證明存在M1>0,使x(t*)

事實上,如果x(t*)≤d,取M1>d,結(jié)論顯然成立.若x(t*)>d,結(jié)合(7)式知存在包含t*的區(qū)間[α,β],這里α=α(x,λ),β=β(x,λ),且β-α

(8)

(9)

(10)

這樣由(5)式的第一個方程及(9)式得

(11)

從而存在ξ∈[α,β],使

(12)

現(xiàn)記|u|q表示Lq([α,β],R)中的范數(shù),其中1≤q<+∞,即

可得

(13)

將方程(5)的第1個方程寫為

得到

(14)

另一方面有

(15)

代入(15)式得到

其中,k為滿足00與x、λ無關(guān).

將(14)同(15)及(16)式相比較,分別得到

和

由條件(A3)知道,無論上述哪種情況,均存在常數(shù)c2>0,使得

從而

(19)

令

則c3是獨立于x,λ的常數(shù),讓M1≥c3,這樣已經(jīng)證明了存在常數(shù)M1≥0,使

從而第1個分量

下面證明,在上述前提下,第2個分量y(t)≤M2,常數(shù)M2>0,且存在常數(shù)M>0,使

事實上,由條件(A1)、(A2),可以得到

其中-d≤x≤M1.由于

為一個常數(shù),令

則

因此由(5)式的第2個方程有

則由(12)式和x(t*)的做法,容易得到

(21)

即證明了存在正數(shù)M2>0,M2=c1+2c4,使第2個分量

用x′(t)乘以(5)式的第1個方程,并在[0,T]上積分得

即

故

(22)

因此,由(7)和(22)式得

(23)

均有‖X(t)‖≤M.

第2步:為利用引理1,記

L:domL∩Z→Z是一個線性算子,N:Z→Z是一個連續(xù)的算子,則L為指標為零的Fredholm算子,在前面范數(shù)規(guī)定下Z為Banach空間.定義連續(xù)投影算子P、Q為

則有

ImP=KerL,KerQ=ImL,

且

L|dom L∩Ker P:domL∩KerP→ImL

是一個一一映射且具有連續(xù)廣義逆kp及Z/ImL→KerL是一個同構(gòu),記為J.kp由下式給出

根據(jù)以上證明,顯然Ω滿足引理1中的條件1)的要求.

現(xiàn)在設(shè)

則X是一個在R2中的常矢且‖X‖=M.如果|x|>d,由條件(A2)、(19)和(22)式獲得

如果|x|≤d,由

有

得到

因此,無論哪種情況都有

(24)

這樣,引理1中的條件2)滿足.

現(xiàn)定義連續(xù)算子B:Ω→Ω,BX=(y,-x)T,根據(jù)Ω定義,Ω關(guān)于原點對稱,且當X=(x,y)T∈?Ω∩KerL時,

由引理2有

deg{B,Ω∩KerL,0}≠0.

作一個函數(shù)

φ(X,u)=uBX+(1-u)QNX=

引理1中的條件3)滿足.

這樣,Ω滿足引理1的全部條件.故由引理1,算子方程LX=NX在Banach空間Z至少有一個解.這樣我們已經(jīng)證明方程組(4)至少存在一個T周期解.定理證畢.

3應用舉例

考慮方程

(25)

因為

參考文獻

[1] HERDEN U A. Periodic solutions of a nonlinear second order differential equations with delay[J]. J Math Anal Appl,1979,70:599-609.

[2] HALE J K. Theory of Functional Differential Equations[M]. New York:Springer-Verlag,1977:5-25.

[3] HALE J K. Introduction to Functional Differential Equations[M]. Berlin:Springer-Verlag,1977:11-30.

[4] KUANG Y. Delay Differential Equations with Applications in Population Dynamics[M]. New York:Academic Press,1993:8-16.

[5] LIAO X X . Theory and Application of Stability for Dynamical Systems[M]. Beijing:Defence Industrial Press,2000:35-46.

[6] 魏俊杰,黃啟昌. 關(guān)于具有限時滯Lienard方程周期解的存在性[J]. 科學通報,1997,42(9):906-909.

[7] 陳紅斌,李開泰,李東升. Lienard方程周期解的存在唯一與唯二性問題[J]. 數(shù)學學報,2004,47(3):417-424.

[8] 陳世哲,陳仕洲. 具有兩個偏差變元的Lienard型方程的周期解的存在唯一性[J]. 科技通報,2012,28(11):11-15.

[9] 陳仕洲. 一類Lienard型p-Laplacian方程周期解的存在唯一性[J]. 數(shù)學的實踐與認識,2013,43(8):244-253.

[10] 陳月紅. 具有兩個偏差變元的Lienard型方程周期解的存在性[J]. 數(shù)學的實踐與認識,2014,44(18):315-320.

[11] 鄧偉,蒲志林. 一類中立型 Duffing 方程的周期解[J]. 四川師范大學學報(自然科學版),2012,35(5):585-588.

[12] 董寧青,安天慶,艾孜瑪洪·努爾別克. 二階非自治(q,p)-Laplace方程周期解的存在性[J]. 四川師范大學學報(自然科學版),2012,35(5):607-609.

[13] 汪小明. 一類具時滯高階泛函微分方程的周期解[J]. 四川師范大學學報(自然科學版),2014,37(4):519-523.

[14] 張莉,黃先開,葛渭高. 一類中立型泛函微分方程周期解的存在性[J]. 北京理工大學學報,2011,31(12):1489-1492.

[15] 程志波,向上.P-laplacian類Dufing方程正周期解的存在性與唯一性[J]. 鄭州大學學報(理學版),2013,45(2):1-5.

[16] 黃勇,姚曉潔,秦發(fā)金. 一類二階微分方程周期解的存在性和唯一性[J]. 廣西民族大學學報(自然科學版),2014,20(4):46-53.

[17] 田德生. 三階常系數(shù)擬線性泛函微分方程的周期解[J]. 純粹數(shù)學與應用數(shù)學,2013,29(3):233-240.

[18] 陳新一. 具偏差變元高階泛函微分方程周期解的存在定理[J]. 西北民族大學學報(自然科學版),2013,34(90):1-7.

[19] 陳新一. 高階非線性中立型泛函微分方程周期解的存在性[J]. 山東大學學報(理學版),2011,46(8):47-51.

[20] 殷雪劍,路召飛. 二階時滯微分方程周期解的存在唯一性及數(shù)值解法[J]. 重慶工商大學學報(自然科學版),2011,28(4):334-338.

[21] 韋煜明,王勇,唐艷秋. 具P-laplacian算子時滯微分方程邊值問題解的存在唯一性[J]. 廣西師范大學學報(自然科學版),2012,30(2):48-53.

[22] 陳楷城. 二階非線性中立型泛函微分方程周期解的存在性[J]. 數(shù)學的實踐與認識,2014,44(3):268-273.

[23] GAINES R E, MAWHIN J L. Coincidence Degree and Nonlinear Differential Equations[M]. Berlin:Springer-Verlag,1977:6-12.

[24] DEIMLING K. Nonlinear Functional Analysis[M]. Berlin:Springer-Verlag,1985:21-33.

[25] OMARI P, VILLARI G, ZANOLIN F. Periodic solutions of the Lienard equation with one-side growth restrictions[J]. J Diff Eqns,1987,67:278-293.

2010 MSC:34C25

(編輯余毅)

The Existence of Periodic Solutions for a Class of Forced and Finite Delayed Lienard Equations

HUANG Yong,HUANG Yan’ge

(DepartmentofMathematicsandComputerInformationTechnology,BaiseCollege,Baise533000,Guangxi)

Abstract:In this paper, a new operator is constructed by using the Mawhin’s continuity theorem. The periodic solutions to a class of forced and finite delayed second-order Lienard equations of the form x″(t)+f1(x)x′(t)+f2(x)(x′(t))2+g(x(t-τ))=e(t) are studied. Some sufficient conditions for the existence of periodic solutions are given.

Key words:forced; delayed; Lienard equations; periodic solution; Mawhin’s continuity theorem

doi:10.3969/j.issn.1001-8395.2016.01.020

中圖分類號:O157.6

文獻標志碼:A

文章編號:1001-8395(2016)01-0111-06

作者簡介:黃勇(1961—),男,教授,主要從事微分方程的研究,E-mail:huangyong861@sohu.com

基金項目:廣西自然科學基金(2013GXNSFAA019022)和廣西高?？蒲许椖炕?2013YB243)

收稿日期:2015-05-12