鄭允利

（徐州生物工程職業(yè)技術(shù)學(xué)院 基礎(chǔ)部，江蘇 徐州 221006）

1 引言

由于計(jì)算機(jī)科學(xué)、生物數(shù)學(xué)、現(xiàn)代物理等自然科學(xué)與邊緣科學(xué)的迅速發(fā)展，對(duì)時(shí)滯差分方程定性理論的研究近年來十分活躍.許多學(xué)者對(duì)二階中立型時(shí)滯差分方程的振動(dòng)性、漸近性及正解存在性作了探討，取得了大量成果[1-7].但已有文獻(xiàn)中所研究的方程大都是單時(shí)滯的，而從實(shí)際中抽取出來的數(shù)學(xué)模型通常是多時(shí)滯的.任榮霞、吳淑慧在文獻(xiàn)[1]中研究了二階不穩(wěn)定中立型非線性差分方程

得到在p(n)的不同條件下及當(dāng)g(n)＜n時(shí)，該方程有界解振動(dòng)的若干充分條件；邢海龍等在文獻(xiàn)[5]中討論了二階中立型非線性多時(shí)滯差分方程n>n0.建立了該方程分別在和的條件下，每個(gè)有界解振動(dòng)的充分條件.

在此基礎(chǔ)上，下面將研究一類二階中立型多時(shí)滯差分方程

的振動(dòng)性和漸近性，其中{ pi(n ) } 是非負(fù)實(shí)數(shù)序列，τi，i=1,2,...,m是非負(fù)整數(shù)，且存在非負(fù)整數(shù)τ，使得τ=max{τi, i=1,2,...,m} ； {qj( n ) } 為非負(fù)實(shí)數(shù)序列，gj:N0→N0，且j=1,2,...,l.令

2 預(yù)備知識(shí)

“ Δ”表示向前差分算子，即 Δ x(n)=x(n + 1)-x(n)；Z表示所有整數(shù)構(gòu)成的集合，設(shè) a ∈Z，記N(a)={a , a+1,…},N=N(0).

一個(gè)差分方程的解{x ( n ) } 稱為最終為正的，是指存在正整數(shù)M，使得n∈N(M ) 時(shí)，有 x (n)>0；若存在正整數(shù)M，使得n∈N(M ) 時(shí)，有 x (n ) ＜0，則稱{x ( n ) } 最終為負(fù)的.

一個(gè)差分方程的解{x ( n ) } 振動(dòng)，是指{x ( n ) } 既不最終為正，也不最終為負(fù)；否則，稱之為非振動(dòng)的.一個(gè)差分方程稱為振動(dòng)的，如果方程的所有解都是振動(dòng)的.

引理2.1[7]假定i=1,2,…,m,且，若其中 | L |＜∞，則存在，且等于

3 主要結(jié)果

定理3.1假定g()n＜n,n≥n0，且下列條件成立

（H1）存在 p ∈[0 , 1) 使得；（H2）則方程（1）所有有界解振動(dòng).

證明設(shè) x(n ) 是方程（1）的最終有界正解，則存在n1≥n0，當(dāng)n≥n1時(shí)，有 x (n - τ)>0，x(gj( n ) ) >0.由方程（1）和（2）式得，當(dāng) n >n1時(shí)，有 Δ2z(n)>0，因此 Δ z(n)最終定號(hào).如果 Δz(n)>0，則必有nl i→m∞z(n)=∞ ，這與z(n)有界矛盾，故Δz(n)≤0.從而z(n)嚴(yán)格單調(diào)下降，因而z(n)只能最終為正或最終為負(fù).

若z(n ) 最終為負(fù)，即存在n2>n1，當(dāng)n≥n2時(shí)，有 z (n ) ＜0.記1≤mia≤xm{x ( n - τi)}=x(n - τ)，由（2）式和（H1）可知當(dāng) n ≥n2+kτ 時(shí)，有 x (n)＜px(n - τ ) ＜pkx(n - kτ).由上式可得nl i→m∞x(n)=0，從而nl i→m∞z(n)=0，這與Δz(n)≤0且z(n)＜0矛盾.

若z(n)最終為正，根據(jù)z(n ) 的性質(zhì)，存在n2>n1，當(dāng)n≥n2時(shí)

令 σ=g(n),μ=g(s) ，根據(jù)（3）式和方程（1）得

將（4）式兩端關(guān)于 s 從 g (n)到n-1求和得

根據(jù) Δz(n ) ≤0及（5）式得

即

這與（H2）矛盾，故 z()n最終為正也不成立.證畢.

定理3.2假設(shè)下列條件成立

（H3）則方程（1）存在有界非振動(dòng)解x(n)使得

當(dāng)且僅當(dāng)

證明假 定x(n ) 是方程（1）的最終有界正解且滿足（6）式，則存在 n1≥n0，當(dāng) n ≥n1時(shí)，有 Δ2z(n)>0，Δz(n)≤0，從而lin

對(duì)（8）式兩端從 s到 ∞求和，得

對(duì)（9）式兩端從n到∞求和，得因?yàn)閦()

n 有界，由（10）式可知（7）式成立.

下面假定（7）式成立.由（7）式可知，存在充分大的正整數(shù)N，使得

記Ω={x ∈ E:1≤x(n)≤2,n≥N-τ}，則Ω是E的有界閉凸子集.定義算子T：Ω→E如下

對(duì)任意的 x1,x2∈Ω ，當(dāng)n≥N時(shí)，有

由此得

當(dāng) N-τ≤n＜N時(shí)，對(duì)任意的 x1,x2∈Ω ，有（13）式成立.因?yàn)樗訲為Ω上的壓縮映射，也是連續(xù)算子.

對(duì)任意的x∈Ω ，當(dāng)n≥N 時(shí) ，由（11）式 和（12）式 ，得Tx(n)≥1-p+p=1.即1≤Tx(n)＜2.

顯然，當(dāng) N -τ≤n＜N時(shí)，亦有1≤Tx(n)＜2.因而，Tx∈Ω.即T為Ω上的自映射. 由Banach空間上的壓縮映射原理可知，存在一個(gè)x∈Ω，使得Tx=x.由（12）式知，此不動(dòng)點(diǎn)x滿足

顯然不動(dòng)點(diǎn)x是方程（1）的一個(gè)有界正解且滿足（6）式.

→m∞Δz(n)=0，nl→im∞z(n)=L≠0.

由方程（1）和（2）式及（H3）得

定理3.3…,m,且和

則方程（1）的有界非振動(dòng)解漸近趨向于零.

證明假 設(shè)x(n)是方程（1）的最終有界正解，根據(jù)定理3.1的證明知，Δz(n)≤0，z(n)>0最終成立且

若L>0，則存在M>0使得x(n)>z(n)>M ，對(duì)方程（1）兩邊從 n0到 n-1求和，得

當(dāng)x(n)為方程（1）的最終有界負(fù)解時(shí)，同理可證.證畢.

[1]任榮霞，吳淑慧.二階不穩(wěn)定中立型非線性差分方程有界解的振動(dòng)性[J].河北師范大學(xué)學(xué)報(bào)：自然科學(xué)版，2002，26（2）：118-122.

[2]Zhang Zhengguo,Biping,Dong Wenlei.Scillatory of unstable type second neutral difference equations[J].Korean J Comput Appl Math,2002,9(1):87-99.

[3]孫喜東，劉柏楓，劉曉輝.一類二階中立型差分方程正解的漸近穩(wěn)定性[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2009，39（17）：217-220.

[4]鄭允利，鐘曉珠，張濤，等.二階中立型差分方程非振動(dòng)解的不存在性和漸近性[J].科學(xué)技術(shù)與工程，2007，7（21）：5468-5470.

[5]楊甲山.二階變系數(shù)多時(shí)滯非線性中立型差分方程的正解[J].四川師范大學(xué)學(xué)報(bào)：自然科學(xué)版，2009，32（4）：470-473.

[6]邢海龍，鐘曉珠，王東華，等.二階中立型非線性多時(shí)滯差分方程有界解的振動(dòng)性[J].燕山大學(xué)學(xué)報(bào)，2004，28（4）：310-314.

[7]Zhou Yong，Zhang B G.The classification and existence of nonoscillatory solutions of second-order neutral delay difference equa?tions[J].ZAA(Anal Appl),2001,20(1):223-234.