定理3.1
假设,是的非零周期解(3.1)存在一个常数这样的话
(H)1):,在集合中有界(或),哪里
(H)2):(或<0),无论何时,.
(H)三):假设是的特征值,,存在一个常数这样的话
然后是系统(1.1)至少有一个 T型-周期解,如果(或),,和,,哪里
证明
定义
哪里然后系统(1.1)服从算子方程.我们有,.然后
哪里.自,我们有.让是的非零周期解
(3.1)
然后和,其中我是单位矩阵。我们得到
显然,我L(左)已关闭和.所以L(左)是索引为零的Fredholm运算符。定义连续投影仪P(P),问:
和
让
然后
自和,是嵌入运算符。因此在Im中是一个完全连续的操作符L(左)。根据问和N个,大家都知道限定于因此,非线性算子N个L-compact是否打开。我们通过三个步骤完成证明。
第1步.让。我们证明了这一点是有界集。我们有,即,
(3.2)
将(3.2)的两侧整合到,我们有
即,,
(3.3)
让被限定在和
(3.4)
让
假设(H1),如果,存在一个常量这样的话从(3.3)和(3.4)中,我们得到
因此
即,
(3.5)
我们声称存在一个点这样的话
(3.6)
事实上,对于,我们有到(3.4),我们已经这是一个矛盾;见(3.3)。所以一定有一点这样的话
(3.7)
与上述证明类似,必须有一点这样的话
(3.8)
-
(1)
如果,截至(3.7),我们已经
让这证明了(3.6)。
-
(2)
如果(3.8)和事实持续打开ℝ,有一点之间和这样的话这也证明了(3.6)。让,,.然后。因此我们得到
将系统(3.2)的两侧乘以并将它们整合在一起,与结合,截至(3.9),我们已经
即,
(3.9)
从(3.9)和,有一个常数这样的话
(3.10)
考虑到(3.9)和(3.10),我们得到
(3.11)
从引理2.2,和(3.2),如果,我们有
(3.12)
根据假设(H三)和(3.10)-(3.12),我们得到
所以存在一个常数这样的话
(3.13)
自,,有一个常量向量这样的话; 然后通过(3.13)我们得到
因此
步骤2.让,我们将证明是一个有界集合。我们有,; 然后
(3.14)
什么时候?,,我们有
那么我们有
因此
否则,如果,,,然后根据假设(H2),我们有
这是一个矛盾;见(3.14)。什么时候?,,我们有
那么我们有
因此
否则,如果,,然后根据假设(H2),我们有
这是一个矛盾;见(3.14)。因此是有界集。
步骤3.让,然后,,根据上述证明,感到满意。显然,引理2.3的条件(2)也满足。现在我们证明引理2.3的条件(3)是满足的。我们有,,。至少存在一个这样的话.何时,取同伦
然后,通过使用假设(H2),我们有.何时,取同伦
我们也有然后根据度理论,
应用引理2.3,我们得出结论。□
备注3.1
什么时候?或系统(1.1)的周期解不存在。我们希望有兴趣对此问题进行进一步研究。
作为应用程序,我们考虑以下系统:
(3.15)
哪里
显然,系统(3.15)是系统(1.1)的特殊情况。显然,
此处假设(H1)-(H)2)都很满意。此外,
通过使用定理3.1,当,我们知道系统(3.15)至少有一个2π-周期解。