一类高阶中立型差分方程正解的存在性.pdfVIP

第33卷 ／第 2期 ／ 河北师范大学学报 ／自然科学版 ／ VoI．33№ ．2 2009年 3月 JOURNALOFHEBEINORMALUNIVE只SJTy／NaturaJScienceEdition／ Mar．2009 一 类高阶中立型差分方程正解的存在性 张 青 ， 崔献军 ， 刘玉军 ， 谢振宇 (1．邯郸学院 数学系．河北 邯郸 056005；2．河北师范大学 职业技术学院，河北 石家庄 050031) 摘 要：利用在集合上定义映射和 Knaster不动点原理 ，讨论 了奇数阶中立型差分方程有界正解 的存在性 ，得 出了相应方程有界正解存在的充要条件 ． 关键词：中立型差分方程 ；正解存在性 ；最终正解 ；Banach空间 中图分类号：O175．7 文献标识码 ：A 文章编号：1000．5854(2009)02-0166—04 关于高阶差分方程的振动性和渐进性 ，已经越来越引起人们的关注[卜引．本文中，笔者主要讨论了奇数 阶中立型差分方程 △ [ (n)一 (tt—r)]+f( ， (n—rl())，…， (n一 (n)))=0， ≥ o (1) 正解的存在性 ，其结果完善了文献[5]中的结论 ．其中△为前差分算子 ，即△ (I／)= (n-t-1)一 ()，n∈ z ，r和ri()均是非负整数，且有 —r(”)一 ∞(一 17)o)，i=1，2，…，点．假设如下条件(简称条件H)成立： 1)f(，U1，U2，…，U)∈C([o，∞)×R ，R)；· 2)U ·f(，2，Ul，U2，…，U^)≥ 0， ≥ 0，U ≥0， = 1，2，…，正； 3)当U ≠0时，f(，Ul，U2，…，“)≠0，且对每一个 U，f是单调不减的． 称 z(，z)为方程(1)的一个最终正解 ，如果存在N ≥ ，z使得当n≥N时，有 (，z)0． 定义 1 足(’，)= 是．(是一1)…(走一n-I-1)，且有 点(。)= 1． 引理 l[] 假设Q(，z)：[n0，∞)一R ，r0，则下列结论等价： a)∑ ∑Q()co；] o‘ } (2) b)∑ ·Q()3(O．J 0 引理 2 假设条件 成立，设 z(，z)是中立型差分不等式 △ [ ()一 (n—r)]+f( ，227(，z一 1())，…，z( 一 ()))≤0， ≥ o (3) 的一个最终有界正解 ．令 z()=z()一 (n—r)， (4) 那么最终有 △ z(n)≤0， 1 (一1)A2()A一2(，z)≥0，2(71)0，i=1，2，…，2m+l，} (5) limAiz()：0，i：1，2，…，2优． J 证 由条件 H，假设当n≥ 1 0时，,27(n—r)0， (，z—r())0，=1，2，…，是．由(3)，(4) 得 △2 ()≤0， ≥ ，z1．由条件 H知A2 (7／)≠0，n≥ 1．因此 △ ()必定最终为正或者最终为负， 进而推出 (n)及其直到2 一1阶导数都是最终严格单调函数．断言最终△2(，z)≤0是不可能的，否则将 容易导出 ()一一o。(，l— CO)，这与 ()的有界性矛盾 ，故最终有△ ()0，且lima (it／)： ≥0． 收稿 日期 ：2008—08—11；修 回日期 ：2008—11—25 基金项 目：河北省 自然科学基金