[论文解读] An infinite dimensional Duffing-like evolution equation with linear dissipation and an asymptotically small source term

Marina Ghisi, Massimo Gobbino+1 more|arXiv (Cornell University)|Oct 23, 2017

Nonlinear Dynamics and Pattern Formation参考文献 12被引用 9

一句话总结

本文研究了一个带有线性耗散和小的渐近消失源项的无限维Duffing型演化方程。证明了当初始数据和外力足够小时，所有解均收敛至三种可能的渐近状态之一——两个非平凡稳定平衡态或原点，将经典Duffing行为扩展至具有非线性、非局部阻尼和源项的抽象双曲PDE。

ABSTRACT

We consider an abstract nonlinear second order evolution equation, inspired by some models for damped oscillations of a beam subject to external loads or magnetic fields, and shaken by a transversal force. When there is no external force, the system has three stationary positions, two stable and one unstable, and all solutions are asymptotic for $t$ large to one of these stationary solutions.We show that this pattern extends to the case where the external force is bounded and small enough, in the sense that solutions can exhibit only three different asymptotic behaviors.

研究动机与目标

• 在希尔伯特空间框架下，分析二阶非线性演化方程的长时间渐近行为。
• 将经典Duffing方程动力学（具有三个平衡态——两个稳定，一个不稳定）扩展至具有非局部非线性的无限维情形。
• 证明小外部外力可保持三种分支的渐近结构，即使在抽象的、非局部的PDE中亦成立。
• 严格证明在小初始数据和外力条件下，解收敛至三种可能的平衡态之一。
• 通过谱投影和强制性估计，建立泛函分析框架，以处理方程中的非线性耦合。

提出的方法

• 在希尔伯特空间中以自伴正算子A的形式表述方程，用于模拟PDE中的空间导数。
• 通过谱分解和尺度变换，将问题约化为第一特征子空间中的扰动Duffing型方程。
• 利用能量估计和线性化算子L的强制性来控制非线性余项。
• 通过能量衰减估计应用李雅普诺夫型论证，证明收敛至平衡态。
• 将空间分解为稳定与不稳定子空间（H_+和H_-），以分离每个平衡态附近的动力学行为。
• 采用不动点论证和对初始数据与外力的极小性假设，通过压缩估计确保收敛性。

实验结果

研究问题

• RQ1 经典Duffing方程的三平衡态渐近结构是否能在无限维、非局部、双曲PDE框架下保持？
• RQ2 对初始数据和外力项施加何种条件，可确保解收敛至三个平衡态（0或±σ₀e₁）之一，而非表现出混沌或无界行为？
• RQ3 线性耗散项与非线性、非局部源项的存在如何影响解的长期稳定性？
• RQ4 外力项的微小性在多大程度上保持了无外力系统定性行为的特征？
• RQ5 强制性与谱分解技术是否可用于证明在非线性、非自治、无限维演化系统中收敛至平衡态？

主要发现

• 当初始数据和外力足够小时，Duffing型方程的所有解均强收敛至三种可能的平衡态之一：原点或两个非平凡对称平衡态。
• 收敛在能量范数下一致成立：lim_{t→∞} (|u'(t)|² + |Au(t)|²) = 0，意味着强收敛至一个静止解。
• 渐近行为具有拓扑鲁棒性：解在所有大t时刻均保持与三个平衡态之一接近，具体取决于初始条件。
• 该结果在假设外力项f(t)有界且满足limsup_{t→∞} |f(t)|² < ∞的条件下成立，且对初始数据有额外的极小性要求。
• 证明依赖于线性化算子的强制性，以及通过初始能量小性控制非线性余项的先验估计。
• 即使外力为时变但渐近趋于零，只要初始数据足够小，三支结构（原点与两个对称平衡态）依然保持。