王麗麗,胡 猛
(安陽(yáng)師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,河南安陽(yáng) 455000)
?
一類中立型差分方程的三重正周期解
王麗麗,胡猛
(安陽(yáng)師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,河南安陽(yáng)455000)
研究了一類中立型差分方程,運(yùn)用錐多重不動(dòng)點(diǎn)理論(Avery-Peterson不動(dòng)點(diǎn)理論),給出了其至少存在三個(gè)正周期解的充分條件.
中立型差分方程;正周期解;錐不動(dòng)點(diǎn)
用差分方程描述的離散模型在許多領(lǐng)域有著廣泛的應(yīng)用,如生態(tài)系統(tǒng)中離散種群模型比連續(xù)模型能更好地模擬當(dāng)種群各代不相重疊時(shí)的情形.由于計(jì)算機(jī)的實(shí)際運(yùn)算與操作需要將微分方程離散化,而低維截面上的離散映像可以反映高維連續(xù)過(guò)程的一些規(guī)律,所以近年來(lái),差分方程得到了學(xué)者的廣泛關(guān)注[1-5],但有關(guān)中立型差分方程多重正周期解的存在性研究還很少.
考慮如下中立型差分方程:
(1)
本文運(yùn)用Avery-Peterson錐不動(dòng)點(diǎn)定理,研究方程(1)的多重正周期解的存在性,并給出其至少存在三個(gè)正周期解的充分條件.
對(duì)于方程(1),假設(shè):
(A2)函數(shù)f(n,x)關(guān)于第二變?cè)獂是非減的.
由引理1及A與A-1的定義可得,
(2)
其中
引理2x(n)是方程(2)的T-周期解,當(dāng)且僅當(dāng)(A-1x)(n)是方程(1)的T-周期解.
類似文獻(xiàn)[8]中引理3的證明,可得
引理3x(n)是方程(2)的一個(gè)T-周期解,當(dāng)且僅當(dāng)x(n)是方程
的一個(gè)T-周期解,其中
由條件(A1)可得0
引理4[9]如果c∈(-δ,0],x∈P,那么有
證明對(duì)?x∈P,有(Hx)(n+T)=(Hx)(n),所以Hx∈X.對(duì)?x∈P,有
由引理4及c∈(-δ,0]可知G(x(n))≥0,n∈Z.因此,
又因?yàn)?/p>
記集合
設(shè)r,θ是P上非負(fù)連續(xù)凸泛函,α是P上非負(fù)連續(xù)凹泛函,ψ是P上非負(fù)連續(xù)函數(shù),對(duì)于正實(shí)數(shù)a,b,c,d,定義下面的凸集:
和一個(gè)閉集
定理1[10]設(shè)r,θ是P上非負(fù)連續(xù)凸泛函,α是P上非負(fù)連續(xù)凹泛函,ψ是P上非負(fù)連續(xù)泛函,滿足ψ(ρx)≤ρψ(x),0≤ρ≤1,且存在正數(shù)E,d,使得
(3)
(i){x∈P(r,θ,α,b,c,d):α(x)>b}≠?,α(Hx)>b,x∈P(r,θ,α,b,c,d);
(ii)α(Hx)>b,?x∈P(r,α,b,d),θ(Hx)>c;