[论文解读] The convergence problem for dissipative autonomous systems: classical methods and recent advances

Alain Haraux, Mohamed Ali Jendoubi|arXiv (Cornell University)|Feb 24, 2015

Nonlinear Partial Differential Equations参考文献 62被引用 19

一句话总结

本文对耗散自治系统收敛至平衡态的过程进行了全面分析，重点关注由抛物型和双曲型PDE控制的无限维演化方程。通过Łojasiewicz梯度不等式建立收敛性，证明在解析性和耗散性条件下，所有有界轨迹均收敛至单一平衡点，即使在缺乏显式谱间隙或线性化假设的情况下亦成立。

ABSTRACT

The initial motivation of this text was to provide an up to date translation of the monograph [45] written in french by the first author, taking account of more recent developments of infinite dimensional dynamics based on the Łojasiewicz gradient inequality. In order to keep the present work within modest size bounds and to make it available to the readers without too much delay, we decided to make a first volume entirely dedicated to the so-called convergence problem for autonomous systems of dissipative type. We hope that this volume will help the interested reader to make the connection between the rather simple background developed in the french monograph and the rather technical specialized literature on the convergence problem which grew up rather fast in the recent years.

研究动机与目标

• 建立无限维设定下耗散自治系统有界轨迹收敛至平衡态的理论。
• 将经典的Lyapunov与LaSalle方法推广至巴拿赫空间中的非线性无界算子。
• 将Łojasiewicz梯度不等式应用于具有解析非线性的无限维演化方程。
• 为半线性PDE（热方程与波动方程）提供解在有限维中出现振荡行为时仍能收敛至平衡态的条件。
• 分析有限维与无限维系统收敛估计的衰减速率及其最优性。

提出的方法

• 在抽象巴拿赫空间中应用Łojasiewicz梯度不等式，以控制轨迹上能量的衰减。
• 应用Hille-Yosida-Phillips定理，为线性与半线性演化方程生成$C_0$-半群。
• 采用Lyapunov函数与Barbashin-Krasovski-LaSalle不变性原理分析渐近稳定性。
• 利用Sobolev空间与Lebesgue空间上Nemytskii算子的解析性，确保能量泛函及其导数的正则性。
• 通过紧致性论证与椭圆正则性，证明自然能量空间中轨迹的预紧性。
• 在附加假设（如幂次型非线性项与能量正性）下推导出显式衰减速率。

实验结果

研究问题

• RQ1 在无限维巴拿赫空间中，耗散自治系统有界解在何种条件下收敛至平衡态？
• RQ2 Łojasiewicz梯度不等式能否应用于具有无界算子的非线性PDE，以确保在无谱间隙情况下的收敛性？
• RQ3 收敛至平衡态的解可能具有何种衰减速率，以及在何种情况下该衰减速率是最优的？
• RQ4 非解析非线性项如何影响收敛性？能否为某些PDE证明非收敛性？
• RQ5 收敛结果在渐近趋于零的扰动下具有多大程度的鲁棒性？

主要发现

• 对于具有解析非线性的半线性热方程与波动方程，所有有界轨迹在$t \to \infty$时均收敛至单一平衡点。
• 只要能量泛函是解析的，Łojasiewicz梯度不等式即可确保收敛，即使缺乏谱间隙。
• 对于二阶常微分方程$u'' + u' + u^3 = 0$，解的衰减速率为$t^{-1/2}$或指数衰减，具体取决于初值。
• 对于方程$u'' + c|u'|^\alpha u' + |u|^\beta u = 0$，若$\alpha > \beta/(\beta+2)$，则所有解均为振荡且以相同速率衰减。
• 对于具有光滑但非解析非线性的抛物型与双曲型方程，可能存在非收敛情况，文献中已有反例证明。
• 对于幂次型非线性项，可计算出显式衰减速率，且Łojasiewicz方法所得估计在许多情况下是最优的。