[论文解读] Existence and continuation of periodic solutions of Newtonian systems

Justyna Fura, Anna Ratajczak+1 more|ArXiv.org|Apr 12, 2006

Nonlinear Partial Differential Equations参考文献 12被引用 5

一句话总结

该论文利用SO(2)-等变梯度映射的度理论，建立了自治牛顿系统非定常周期解的存在性与延续性。它通过采用在SO(2)对称性下不变的专用度，克服了Leray-Schauder度在此情境下消失的局限性，证明了在平衡点和无穷远处的Hessian矩阵与Morse指标满足特定条件时，至少存在一个非平凡的T-周期解。

ABSTRACT

In this article we study the existence and the continuation of periodic solutions of autonomous Newtonian systems. To prove the results we apply the infinite-dimensional version of the degree for SO(2)-equivariant gradient operators. Using the results due to Rabier we show that the Leray-Schauder degree is not applicable in the proofs of our theorems, because it vanishes.

研究动机与目标

• 建立自治牛顿系统非定常T-周期解的存在条件，无需非共振或Morse函数假设。
• 为牛顿系统一参数族中的周期解发展延续理论。
• 通过为SO(2)-等变梯度映射使用专用度，解决Leray-Schauder度在SO(2)-等变设定下失效的问题。
• 通过平衡点和无穷远处的Morse指标与谱数据(j_k)表征解的存在性。
• 提供适用于共振与退化系统的框架，包括Sitnikov问题与对称势能。

提出的方法

• 利用文献[23, 24]中定义的SO(2)-等变梯度映射的无限维度理论，分析SO(2)-不变泛函的临界点。
• 为自伴Fredholm算子的紧致扰动构造可接受的SO(2)-等变梯度同伦。
• 将度应用于孤立的退化临界点及无穷远处，通过Morse指标与谱数据j_k(V''(p), T)进行计算。
• 应用Rabier与Wang的结果，证明Leray-Schauder度在此设定下不适用，因其已消失。
• 将问题约化为在平衡点与无穷远处对Hessian矩阵的谱分析，利用j_k(V''(p), T)计数共振模态。
• 在带有SO(2)作用的希尔伯特空间上使用泛函分析框架，将周期解视为G-不变能量泛函的临界点。

实验结果

研究问题

• RQ1 在平衡点或无穷远处发生共振时，自治牛顿系统在何种条件下仍至少存在一个非定常T-周期解？
• RQ2 当Leray-Schauder度因SO(2)对称性而消失时，如何证明周期解的存在性？
• RQ3 在牛顿系统的一参数族中，何种条件可确保非定常T-周期解的连通集存在？
• RQ4 SO(2)-等变梯度映射的度理论是否可用于计算共振或退化情形下周期解的存在性？
• RQ5 在p ∈ {p₁,…,p_q, ∞}处的Morse指标与谱数据j_k(V''(p), T)如何决定周期解的存在性？

主要发现

• 本文在平衡点与无穷远处的Morse指标与谱数据j_k满足条件时，证明了系统(1.1)至少存在一个非定常T-周期解。
• 对于T > π/√2的Sitnikov圆周问题，通过定理5.2.2建立了至少一个非定常T-周期解的存在性。
• 在例6.1中，尽管原点处存在共振，但由于指标与谱数据符合定理条件，确认了非定常2π-周期解的存在。
• 证明了Leray-Schauder度在SO(2)-等变系统中消失，从而说明本文所用专用度理论的必要性。
• 对于一参数族(6.4)，定理5.3.1在适当的指标与谱条件满足时，保证了从λ = 0出发存在非定常T-周期解的闭连通集。
• 在例6.5中，当T > π/√2时，证明了两个连通分支𝒞⁺与𝒞⁻的非定常T-周期解存在，且满足延续条件。