袁志宏

（吕梁学院　数学系，山西　吕梁　033000）

二阶常微分方程组正周期解的存在性

袁志宏

（吕梁学院数学系，山西吕梁033000）

文章考虑二阶常微分方程组正周期解的存在性，用Green函数将求方程的解转化为求积分算子T的不动点，并且给出了不动点存在的充分条件，这一结论推广和改进了先前的结果.

二阶常微分方程；周期解

本文主要考虑下列二阶常微分方程组正周期解的存在性:

其中λ＞0，μ＞0为参数，连续，且f（·，u）:R→R+是t的T-周期函数.

我们所考虑的问题（1）中的非线性项与文［1］相同.文［1］利用Krasnosel'skill's不动点定理，研究了周期边值问题:

获得了关于正解的存在性和多重性的结果.在文献［2］中，Wang和An讨论了当λ＞-π2时，在对f做合适假设的前提下，得到二阶微分方程在Dirichlet边值问题条件下有一个解或两个解的结果.受此启发本文利用锥上的不动点定理获得了所研究问题的周期解的存在性和多重性的判别条件，主要利用Green函数将求方程的解转化为求积分算子T的不动点.

函数（u，φ）是方程（1）的正T-周期解，当且仅当

（ii）u，φ满足（1）式.

显然，问题（1）的正T—周期解等价于下列周期边值问题的正解:

于是，我们转化为求问题（2）的正解.

1　相关概念及引理、定理

首先给出下列定义，引理及定理，它们在后面主要结论的证明中起着非常重要的作用.

引理2.1Green函数G有下列性质:

（b）存在C＞0，使得G（t，s）≤CG（s，s），t，s∈［0，T］；，其中C=eωΤ，

（c）存在σ＞0，使得G（t，s）≥σG（s，s）G（t，t），t，s∈［0，T］；对下列边值问题

从而，问题（4）的解可以表示为

记［0，T］表示［0，T］上一切连续函数的全体，规定范数||u||=

则P0是C［0，T］中的锥.

定义积分算子T:P0→P0为

引理2.2算子T:P0→P0是全连续……