二阶团圆周期边值问题的多重正解.pdfVIP

摘 要 本文考虑如下周期边值问题： 一△加(n一1)△Ⅳ(n一1)]+q(竹)g(n)=，(n，Ⅳ∽))，九∈[1，Ⅳ]， (1．1) g(o)=Ⅳ(Ⅳ)， p(o)△Ⅳ(o)=p(Ⅳ)△Ⅳ(Ⅳ)， (1．2) 其中{F(n)}梨等是一个期望解．通常情况下，前面的微分算予△定义为 △可(礼)=可(n+1)一Ⅳ(礼) 在连续的条件下，许多作者研究了带有周期系数的微分方程正周期解的存 在，以及周期边值问题的正解的存在性．然而，除文献【l一4，23，24]，关于 离散的情况，结果很少．最近，文献【4]通过Krasnoselsl(ii的范数形式的锥拉伸 和压缩定理研究了边值问题(1．1)和(1．2)多重正解存在的充分条件． 本文运用锥不动点定理，给出了一种二阶离散周期边值问题多重正解的新的 存在性定理．还得到了有限离散区间上非线性微分方程在周期边值条件下的一些 新结果． 关键词：周期边值问题，离散区间，存在性，正解，锥不动点定理 一 引 言 具有非分离边界条件的二阶非线性微分方程的正解已经在文献[1—4】中研究 过了，在本文中，依据文献[41的一些结果，我们研究了一个类似的具有非分离 边界条件周期边值问题，对于固定的常数N，我们考虑下面的边界值问题： 一△囟(n一1)△s，(n一1)]+g(礼)∥(n)=，(n，∥(n))，n∈[1，Ⅳ]， (1．1) g(o)=可(Ⅳ)，p(o)△9(o)=p(Ⅳ)△g(Ⅳ)，(1．2) 其中{Ⅳ(n))翟孑是一个期望解．通常情况下，前面的微分算子△定义为 △Ⅳ(礼)=Ⅳ(n+1)一g(扎)， 对两个整数os6，fⅡ，6】定义为集合{n，o+1，…，6)上的离散区间．本文中 我们总假设 p(n)O，q(礼)0， 并且，(礼，f)满足 ，：【1，Ⅳ]×【o，+。o)_÷[o，+。。)关于∈连续． 扑空间[o，+o。)的连续映射，则称映射，是连续的．本文中【1，Ⅳ】上的拓扑是一 个离散拓扑． 虽然不假设p(o)=p(Ⅳ)，我们仍称边值条件(1．2)是周期边值条件． 在连续的条件下，许多作者研究了带有周期系数的微分方程正周期解的存 在，以及周期边值问题的正解的存在性．正解的存在性理论是建立在全连续算子 的锥不动点定理以及格林函数正性基础上的．在文献【5-22】中都应用此技巧，然 而，除文献【1—4，23，24】，关于离散的情况，结果很少．最近，文献[4】通过 多重正解存在的充分条件． 1 萋于班～}=的结慕，本文将要给崮一个薪的多重蠢解的存在理论，邵应粥锥 不动点定理，给出了边值问蹶(1．1)和(1．2)的多重正周期解的新的存在理 论，在实际中，定理中的条件很容易被验证，定理证锈中关键问题是麟于周期边 值(1，1)和(1．2)的格林函数的性质，利用锥不渤点定理，找到缀数够，使 得葬子圣满足条件Ⅳ≠圣芎十Ⅻ(参觅文献}4|)僵嫩乖j用范数形式的锥拉佛或 压缩去征明怒很困难的(参见文献【26m 为了推释这个绪论，我们阐述一个在下文中将掰捌的锥不动点定理． 定臻i．i．滓5渤i令x=《x，盯m是一个B糊ach空阊，蜀怒盖串一个锥，且 是连续且全邋续算予，使褥 (0 g≠A西茁，对^∈fo，l】寝鬈∈Ⅸn8n，， and (ii)存农妒∈彭＼{o≥傻缮z≠零茹+弹对嚣∈搿n强茸骚5≥O， 则西在Kn{。∈Ⅳ：r忪¨R中存在一个不动点． 注1．2．在嫩理1．1中，若(i)和(ii)换成 (i)’g≠A蚤。，对A∈【o，l】和茹∈暂nanR， (ii)+存栏妒∈菇＼{o}，使褥。≠釜嚣+黝对茹∈．1fn勰，稷d≥o，则圣 在Ⅳn伽∈并：r肛¨四}．中存在一个不动点． 2 二主要结果 率节我们给幽边