[论文解读] Invariant curves of almost periodic twist mappings

Peng Huang, Xiong Li+1 more|arXiv (Cornell University)|Jun 29, 2016

Nonlinear Differential Equations Analysis参考文献 11被引用 4

一句话总结

该论文在交叠性质与解析性假设下，建立了平面几乎周期扭转映射的不变曲线存在性，将经典的KAM型结果推广至几乎周期情形。作为应用，证明了具有几乎周期外力的超线性Duffing方程的所有解有界，并存在无穷多条几乎周期解。

ABSTRACT

In this paper we are concerned with the existence of invariant curves of planar twist mappings which are almost periodic in a spatial variable. As an application of this result to differential equations we will discuss the existence of almost periodic solutions and the boundedness of all solutions for superlinear Duffing's equation with an almost periodic external force.

研究动机与目标

• 在交叠性质与解析性假设下，建立平面几乎周期扭转映射的不变曲线定理。
• 将经典的KAM理论从周期与准周期情形推广至几乎周期情形。
• 将不变曲线结果应用于研究超线性Duffing方程中解的有界性与几乎周期解的存在性。
• 通过小参数变换与解析几乎周期摄动，分析几乎周期强迫下Duffing方程的Poincaré映射的动力学。

提出的方法

• 引入小参数δ，并通过变量替换μ = (3/(4d))ρ⁻¹ᐟ³对Poincaré映射进行尺度变换，以分离出扭转项。
• 将原始Duffing方程转化为具有小摄动结构的平面映射P，再进一步变换为新映射P̃，使其满足小扭转定理的条件。
• 应用定理6.1（几乎周期映射的小扭转定理），在频率谱满足非共振与衰减条件时，证明不变曲线的存在性。
• 利用Poincaré映射的交叠性质，该性质在变量替换下保持不变，以确保小扭转定理的适用性。
• 证明映射中的摄动项f与g在t上为实解析且几乎周期，频率为ω = (…, ω_λ, …)，并满足非共振条件。
• 通过ρ₀⁻¹ᐟ³的渐近展开，推导Poincaré映射的结构，并验证当δ → 0时扭转项的充分小性。

实验结果

研究问题

• RQ1 在交叠性质与解析性假设下，平面几乎周期扭转映射是否成立不变曲线定理？
• RQ2 能否利用几乎周期扭转映射中不变曲线的存在性，证明非线性振子解的有界性？
• RQ3 具有几乎周期外力的超线性Duffing方程是否允许几乎周期解，且所有解是否均有界？
• RQ4 在几乎周期情形下，何种频率谱的非共振条件可保证不变曲线的存在？

主要发现

• 当频率ω满足非共振条件且摄动参数δ充分小时，具有实解析几乎周期强迫的超线性Duffing方程的Poincaré映射存在不变曲线。
• 这些不变曲线是实解析且几乎周期的，频率为ω = (…, ω_λ, …)，意味着存在无穷多条几乎周期解。
• 在相同条件下，超线性Duffing方程的所有解均有界，这由包围原点的不变曲线的存在性所保证。
• Poincaré映射中的扭转项被证明为O(δμ₀)，其中μ₀ ∈ [1,2]，且摄动项f̃₁、f̃₂为O(δ)且在t₀上解析，频率为ω。
• 非共振条件|⟨k,ω⟩(δα)/(2π) − j| ≥ γ/(Δ([[k]])Δ(|k|)) 确保了小扭转定理在几乎周期系统中的适用性。
• 变换δμ = (3/(4d))ρ⁻¹ᐟ³对动力学进行尺度变换，使得扭转项变小，且系统满足主定理的假设条件。