[论文解读] Variational construction of homoclinics and chaos in presence of a saddle-saddle equilibrium

Massimiliano Berti, Philippe Bolle|ArXiv.org|Sep 19, 2000

Mathematical Dynamics and Fractals参考文献 5被引用 9

一句话总结

本文在非退化性和同宿轨的几何条件之下，利用变分法，证明了在具有鞍-鞍平衡点的二自由度拉格朗日系统中存在无穷多条多峰同宿轨道及正的拓扑熵。该研究通过将严格的横截性假设放宽为较弱的拓扑非退化条件，特别是当特征值接近时，扩展了先前的结果，并通过马蹄构造证明了零能级下的混沌动力学。

ABSTRACT

We consider autonomous Lagrangian systems with two degrees of freedom, having an hyperbolic equilibrium of saddle-saddle type (that is the eingenvalues of the linearized system about the equilibrium are $\pm λ_1, \pm λ_2 $, $λ_1, λ_2 > 0$). We assume that $λ_1 > λ_2$ and that the system possesses two homoclinic orbits. Under a nondegeneracy assumption on the homoclinics and under suitable conditions on the geometric behaviour of these homoclinics near the equilibrium we prove, by variational methods, then they give rise to an infinite family of multibump homoclinic solutions and that the topological entropy at the zero energy level is positive. A method to deal also with homoclinics satisfying a weaker nondegeneracy condition is developed and it is applied, for simplicity, when $λ_1 \approx λ_2$. An application to a perturbation of a uncoupled system is also given.

研究动机与目标

• 证明在具有鞍-鞍平衡点的二自由度拉格朗日系统中存在无穷多条多峰同宿解。
• 在零能级证明正的拓扑熵，表明存在混沌动力学。
• 发展一种变分方法，其适用条件弱于横截性，尤其适用于特征值λ₁与λ₂接近的情形。
• 通过以拓扑非退化条件替代严格横截性，扩展霍尔姆斯关于零能级混沌结果的研究。
• 提供一个适用于解耦系统摄动的框架，并明确应用于此类情形。

提出的方法

• 通过在周期和几乎周期环路上最小化作用泛函，利用变分法构造多峰同宿轨道。
• 应用拉普拉斯-施密特约化方法，将无穷维问题约化为平衡点附近的有限维问题。
• 引入基于稳定与不稳定流形拓扑横截性的非退化条件（S2′），其弱于经典横截性。
• 通过控制相位移将单个同宿轨道的轨道段拼接，构造一族多峰解。
• 使用变量替换t = sd对作用泛函进行尺度变换，并分析解族的能量依赖性。
• 推导作用泛函对时间尺度d的导数，证明其等于能量的相反数，而能量在解上为常数。

实验结果

研究问题

• RQ1 在具有两条同宿轨道的鞍-鞍拉格朗日系统中，零能级下混沌动力学在何种条件下出现？
• RQ2 在多峰解的变分构造中，能否以较弱的非退化条件替代经典的横截性假设？
• RQ3 同宿轨道在平衡点附近的几何行为如何影响多峰解与拓扑熵的存在性？
• RQ4 当特征值接近（λ₁ ≈ λ₂）时，其在弱非退化条件下实现混沌动力学构造中起何作用？
• RQ5 该变分方法能否适用于标准非退化条件难以验证的系统？

主要发现

• 在非退化性与几何条件（H1–H4）下，系统存在无穷多条多峰同宿解。
• 在零能级证明了正的拓扑熵，证实了混沌动力学的存在。
• 非退化条件（S2′）——即拓扑非退化——足以保证多峰解的存在，即使横截性不成立。
• 当λ₁ ≈ λ₂时，该方法在较弱条件（S2′）下仍适用，将结果扩展至横截情形之外。
• 作用泛函对时间尺度d的导数等于−ℰ(d)，且由于ℰ(d)为常数，这证实了能量守恒，并支持了变分框架的合理性。
• 对解耦系统摄动的应用验证了该方法在真实物理模型中的适用性。