孟智娟，房亞楠

(太原科技大學 應(yīng)用科學學院，太原030024)

泛函微分方程的振動理論是微分方程定性理論的重要組成部分[1-9]。近幾十年，許多研究者對中立型、時滯及時超微分方程振動解的零點距進行了估計[10-13]，取得了很好的研究成果。但是可以看到現(xiàn)有的大部分成果研究的都是一階線性微分方程振動解的零點分布，對高階非線性時滯微分方程振動解零點估計方面的研究還很少[14-16]。在本文中，為了考慮含有多個變時滯的二階非線性中立型微分方程的零點分布，通過泰勒公式展開，對此二階微分方程進行降維，構(gòu)建與對應(yīng)一階微分不等式之間的聯(lián)系，非線性方程線性化處理，多個變時滯取上下界，進而對其振動解相鄰零點間的距離進行估計。

考慮二階微分方程

(1)

振動解的相鄰零點之間距離的上界，其中

p(t)∈C([t0，+∞)，R-)，uk(t)，σk(t)，

τ(t)∈C([t0，+∞)，R+)，

τ0≤τ(t)≤τ1，fk(x)，g(x)∈C(R，R)，

且x≠0時，fk(x)/x≥ξk>0，0

1 相關(guān)引理

首先考慮一階時滯微分不等式

(2)

定義序列{rn}如下[15]:

n=0，1，2，…

(3)

引理1若

(H2)存在整數(shù)N≥0，T0≥t1及函數(shù)

x(t)∈C′([T0，T0+(N+3)μ0)，(0，+∞))，且x′(t)≤0，t∈[T0+μ0，T0+(N+3)μ0]，并且x(t)在[T0+2μ0，T0+(N+3)μ0]上滿足不等式(2)，那么rn>0，n=0，1，…，N+1，且

t∈[T0+(n+2)μ0，T0+(N+3)μ0]

(4)

證明:由不等式(2)得

t∈[T0+2μ0，T0+(N+3)μ0]

(5)

因x′(t)≤0，t∈[T0+μ0，T0+(N+3)μ0]，所以x(t)在[T0+μ0，T0+(N+3)μ0]上單調(diào)不增，從而

t∈[T0+2μ0，T0+(N+3)μ0]

當t∈[T0+3μ0，T0+(N+3)μ0]時，式(5)從t-μ0到t積分并利用x(t)的單調(diào)性，得

x(t)+ρx(t-μ0)

于是

t∈[T0+3μ0，T0+(N+3)μ0]

今假設(shè)對n≤N，ri>0，i=0，1，…，n，且

T0+(N+3)μ0]

(6)

下證w(t)≥rn+1，t∈[T0+(n+3)μ0，T0+(N+3)μ0]，式(5)從t-μ0到t積分，得

(7)

由式(5)和式(6)得

將上式代入式(7)并注意到條件(H2)，可得

x(t)+x(t-μ0)eρrn-1·

x(t)+x(t-μ0)eρrn-1

x(t)+x(t-μ0)(eρrn-1)/rn-1

進而有

t∈[T0+(n+3)μ0，T0+(N+3)μ0]

由數(shù)學歸納法知式(4)成立，證畢。

引理2假設(shè)條件(H1)與(H2)均成立，并且其中N≥1，那么

t∈[T0+3μ0，T0+(N+2)μ0]

對不等式(2)從t到ηt積分，有:

t∈[T0+μ0，T0+(N+2)μ0]

(8)

對不等式(2)從s-μ0到t積分，得

t∈[T0+μ0，T0+(N+2)μ0]

(9)

將式(9)代入式(8)得:

t∈[T0+3μ0，T0+(N+2)μ0]

即

t∈[T0+3μ0，T0+(N+2)μ0]

證畢。

2 主要結(jié)果

定理1假設(shè)條件(H1)與(H2)均成立，x(t)是不等式(2)在[tx，+∞)上的解，tx≥t1，則x(t)不可能在[tx，+∞)上長為(Nρ+3)μ0的區(qū)間上恒正，其中Nρ由式(10)定義。

(10)

證明：不失一般性，假設(shè)在[t1，t1+τ1+σ1+(Nρ+3)a0]上方程(1)的解x(t)>0，其中t1≥t0.令w(t)=x(t)+p(t)g(x(t-τ(t)))，則

t∈[t1+τ1，t1+τ1+σ1+(Nρ+3)a0]

(11)

w(tk)=x(tk)+p(tk)g(x(tk-τ(tk)))≥

x(tk)(1+ξp(tk))≥0

這與w(tk)<0相矛盾，故L≠-∞.

將式(11)從t0到t積分，得

當t→+∞時，右端趨近于w′(t0)-L，由于L是一個有限數(shù)，因而可得fk(x(t-σk(t)))∈L1([t0，+∞))，故t→+∞時fk(x(t-σk(t)))→0，由條件fk(x)≥ξkx，得x(t)→0(t→+∞)，從而w(t)→0(t→+∞)，進一步w′(t)→0(t→+∞)，即L=0.

由式(11)及fk(x)/x≥ξk>0，可得

(12)

因為w(t)=x(t)+p(t)g(x(t-τ(t)))≥p(t)ξx(t-τ(t))，因而

(13)

將式(13)代入式(12)得：

t∈[t1+τ1+σ1，t1+τ1+σ1+(Nρ+3)a0]

(14)

對w(t)用Taylor公式有：

w(t-(σk(t)-τ(t)))≤-akτ(t)w′(t-Ak(t))

將上式代入式(14)得：

w′(t-Ak(t))≤0，

t∈[t1+τ1+σ1，t1+τ1+σ1+(Nρ+3)a0]

令w′(t)=y(t)，則上式可化為：

t∈[t1+τ1+σ1，t1+τ1+σ1+(Nρ+3)a0]

(15)

例考慮二階微分方程

[x(t)-x(t-0.45)]″+

(16)

這里，p(t)=-1，τ=0.45，n=1，P1(t)=6，σ1=1，C1=1，