黃明輝，劉 君

(廣州城建職業(yè)學(xué)院 數(shù)學(xué)教研室， 廣東 廣州 510925)

Lyapunov方法是研究微分方程穩(wěn)定性常用的方法。然而，在研究具有時(shí)滯的微分方程零解穩(wěn)定性時(shí)，Lyapunov方法就會(huì)遇到很多困難，比如要求時(shí)滯有界等。為了克服Lyapunov方法的局限性，Ardjouni[1-5]、Jin[6-7]等學(xué)者利用不動(dòng)點(diǎn)理論研究了時(shí)滯微分方程零解的漸近穩(wěn)定性，并取得了一系列的研究成果[1-13]。文獻(xiàn)[1]利用不動(dòng)點(diǎn)理論，研究了線性中立型多變時(shí)滯微分方程

(1)

零解的漸近穩(wěn)定性。文獻(xiàn)[2]利用不動(dòng)點(diǎn)理論，研究了非線性中立型變時(shí)滯積分微分方程

(2)

零解的漸近穩(wěn)定性。然而，上述結(jié)果的條件非常嚴(yán)格，要求c可微且τ二次可微，τ′(t)≠1，t∈[0，+∞)。受此啟發(fā)，本文考慮以下非線性中立型多變時(shí)滯積分微分方程

(3)

零解的漸近穩(wěn)定性及初始條件x(t)=Ψ(t)∈C([m(t0)，t0]，R)，對(duì)任意t0≥0，有

mj(t0)=inf{t-τj(t)，t0≥0}，

m(t0)=min{mj(t0)，1≤j≤N}。

為了給出本文結(jié)果，對(duì)方程(3)作出以下假設(shè)：

(H1)aj∈C(R+×[m(t0)，+∞)，R)，bj∈C(R+，R)，τj∈C(R+，R+)且可微，當(dāng)t→+∞時(shí)，t-τj(t)→+∞，其中j=1，2，…，N。

(H2)Q(t，x1，…，xN)對(duì)x1，…，xN是全局Lipschitz連續(xù)函數(shù)，即存在正數(shù)K1，…，KN，使

又g是局部的Lipschitz連續(xù)函數(shù)，即存在正數(shù)L，對(duì)l>0，若|x|、|y|

|g(x)-g(y)|≤L|x-y|， |g(0)|=0。

(H3)存在連續(xù)函數(shù)hj：[m(t0)，+∞)→R，j=1，2，…，N和常數(shù)α∈(0，1)，對(duì)t≥0，有

1 主要結(jié)果

對(duì)上式進(jìn)行分部積分并整理，得

(4)

定義映射P：Sψ→Sψ：

(5)

其中

I1=[ψ(t0)-Q(t0,ψ(t0-τ1(t0)),…,ψ(t0-τN(t0)))-

I2=Q(t,x(t-τ1(t)),…,x(t-τN(t)))，

顯然，(Px)∈C([m(t0)，+∞)，R)?，F(xiàn)在證明當(dāng)t→+∞時(shí)，(Px)(t)→0。由于t→+∞時(shí)，x(t)→0和t-τj(t)→+∞。因此，對(duì)任意ε>0，存在T1>t0，使得當(dāng)s≥T1時(shí)，有|x(s-τj(s))|<ε，j=1，2，…，N。因此，當(dāng)t≥T1時(shí)，式(5)中的最后一項(xiàng)I6滿足

此外，存在T2≥T1，使得當(dāng)t≥T2時(shí)，

由(H3)知，|I6|<ε+αε<2ε。因此，當(dāng)t→+∞時(shí)，I6→0。同樣地，可以證明當(dāng)t→+∞時(shí)，式(5)中其他項(xiàng)Ii也趨向于零，i=1，2，3，4，5。因此，當(dāng)t→+∞時(shí)，(Px)(t)→0，故Px∈Sψ。

設(shè)任意φ、ψ∈Sψ，當(dāng)t≥t0時(shí)，

由條件(H3)可得，P是一個(gè)壓縮系數(shù)為α的壓縮映射。所以，由壓縮映射原理得，P在空間Sψ上存在唯一不動(dòng)點(diǎn)x(t)，它是方程(3)的解。且x(t)滿足當(dāng)t∈[m(t0)，t0]，x(t)=ψ(t)，當(dāng)t→+∞時(shí)，x(t，t0，ψ)→0。

顯然，當(dāng)s∈[m(t0)，t0]，有|x(s)|<ε。如果存在t*≥t0，使得x(t*)=ε，且當(dāng)m(t0)≤s

這與t*的定義相矛盾。這說明，方程(3)的零解漸近穩(wěn)定。

2 應(yīng)用舉例

例考慮以下非線性中立型多變時(shí)滯積分微分方程

(6)

則定理中的α=0.2+0.083 4+0.083 4+0.631 94=0.998 74<1。因此，由定理可得方程(6)的零解是漸近穩(wěn)定的。

3 結(jié) 論