高阶拟线性变时滞差分方程正解的存在性.pdfVIP

2010年 11月 四川师范大学学报(自然科学版) Nov．，2010 第 33卷 第6期 JournalofSichuanNormalUniversity(NaturalScience) V01．33．No．6 高阶拟线性变时滞差分方程正解的存在性 周效 良 ， 王五生 (1．广东海洋大学数学系，广东湛江524088 2．广西河池学院数学系，广西 宜州546300) 摘要：对一类高阶拟线性变时滞差分方程的正解的存在性进行了研究．在构造 Banach空问的基础上 ， 对其上的算子的连续性和一致 Cauchy性给予了证明，然后应用 Schauder不动点定理得到了存在正解的充 分条件，进而与已有结果结合得到充分必要条件．作为特例，给出了结果在著名的Emden—Fowler微分方程 的离散类 比方程上的应用，得到Emden—Fowler型方程的任一有界解振动的充分必要条件．为说明定理条 件非空，也给出了例子进行验证．结果推广了文献中的一些结果． 关键词：正解；高阶差分方程；拟线性；时滞 中图分类号：O175 文献标志码：A 文章编号：1001—8395(2010)06一o760—03 doi．10．3969／j．issn．1001—8395．2010．06．008 考虑如下的一类高阶拟线性差分方程 件．本文的结果是新的并且推广了文献 [1，4]中已 A(a IA Y一1Isgn(△ Y ))+ 有的结果． q Y ))=0， (1) 有关方程 的振动性的文章，读者还可参看文献 其中，n∈N={1，2，…}，a 0，m是正整数，sgn [8—11]及其引文． (“)表示 u的符号，a是正实数， (n)：N—z(z表 示正整数集)，17(n)一∞(当n一∞时)，△表示向 1 主要结果 前算子：Ay=川 一Y，其中)，是实数． 定义 1[12-13] Z是有界实数序列赋范空间．f 选择以上的方程作为研究对象，主要是受到近 中的集合 是一致 Cauchy(或等度 Cauchy)的是 年来许多文献针对方程(1)的特殊情形开展了有益 指：如果对任意 0，总存在一整数 7／,使得当 i，J 研究并获得了一些优秀结果的启发．譬如，文献 [1 n对 中任意 ={}有 —xjIs成立． — 2]对方程 (1)在 m≥1，Ot是两正奇整数之比且 引理 1[n f中一致Cauchy有界子集 是 Y)=Y的情形下进行了研究；文献 [3]在m=1， (n)=／,／及 是正实数的情形下给 出了方程 (1) 相对紧的． 引理 2 (Schauder不动点定理 ¨ )X是有 的许多有关振动性结论．另外，当 m=1，O／=1， (n)=n一丁及 Y)=IYlsgn(Y)时，文献[4]研 界实数序列赋范空间． 是 的有界闭凸子集． 究了方程 (1)即 是满足 ()一 的映射，且 ()是 的相对紧 △ Y +q IY 子集．那么 在 上有一不动点． 一 lsgn(Y )=0． 此方程就是著名的Emden—Fowler型微分方程的 定理 1 假设 q0，对所有 “≠0 Ⅱ)：C(R， 离散类 比．而 Emde