[论文解读] On normal stability for nonlinear parabolic equations

Jan Pruess, Gieri Simonett+1 more|arXiv (Cornell University)|Nov 11, 2008

Nonlinear Partial Differential Equations参考文献 16被引用 3

一句话总结

本文在平衡解集构成一个$C^1$-光滑且法向稳定的流形时，建立了拟线性和全非线性抛物方程解收敛到平衡解的结果。通过使用最大正则性并采用避免中心流形理论的直接方法，证明了当初始数据靠近一个法向稳定的平衡解时，全局解存在且指数收敛到该流形上的某个平衡解。

ABSTRACT

We show convergence of solutions to equilibria for quasilinear and fully nonlinear parabolic evolution equations in situations where the set of equilibria is non-discrete, but forms a finite-dimensional $C^1$-manifold which is normally stable.

研究动机与目标

• 在平衡解集为非离散$C^1$-流形时，建立拟线性和全非线性抛物方程解收敛到平衡解的结果。
• 提供广义线性化稳定性原理的直接、简化的证明，不依赖于中心流形理论的技术工具。
• 将[26]中的$L_p$-最大正则性方法扩展到更广泛的全非线性抛物方程类。
• 证明半单零特征值和稳定谱部分的条件足以保证解收敛到平衡解流形。
• 表明对于平衡解流形邻域内的初始数据，收敛是指数且一致的。

提出的方法

• 将原方程在给定平衡解$u_*$附近变换为偏差变量$v = u - u_*$，得到扰动方程$\dot{v} + Av = G(v)$。
• 在Banach空间设定$\mathbb{E}_0(J)$和$\mathbb{E}_1(J)$中使用最大正则性理论，控制时间区间上的解范数。
• 通过谱投影将状态空间分解为中心子空间和稳定子空间，其中$P_c$和$P_s$分别对应线性化算子$A$的核与稳定谱部分。
• 在适当的函数空间上定义一个带指数权重$e^{\sigma t}$的压缩映射，以处理长时间行为并确保衰减估计。
• 应用非扩张性性质的非线性映射$\phi$，并利用对非线性余项$R(x,y)$的估计，完成压缩映射论证。
• 建立稳定分量$y(t)$的指数衰减，以及中心分量$x(t)$收敛到极限$x_\infty$，从而保证$v(t) \to v_\infty$在$X_\gamma$-范数下成立。

实验结果

研究问题

• RQ1 在何种条件下，全非线性抛物方程的解会收敛到非离散$C^1$-流形上的平衡解？
• RQ2 是否可以在不使用完整中心流形理论的前提下证明解收敛到平衡解？
• RQ3 最大正则性在简化法向稳定情形下收敛性证明中起到什么作用？
• RQ4 半单零特征值和稳定谱部分的条件是否为收敛到平衡解流形所必需？
• RQ5 解的指数衰减率如何依赖于初始数据和线性化算子的谱性质？

主要发现

• 对于初始数据足够接近流形的拟线性和全非线性抛物方程，解指数收敛到法向稳定流形中的某个平衡解。
• 收敛速率是指数的，满足$|u(t) - u_\infty|_\gamma \leq M e^{-\omega t} |P_s v_0 - \phi(P_c v_0)|_\gamma$，其中$\omega > 0$且$M > 0$。
• 通过使用最大正则性和在加权函数空间中的直接压缩论证，避免了中心流形理论。
• 平衡解流形$\mathcal{E}$在$u_*$附近局部唯一，且在$u_*$的邻域内不存在其他平衡解。
• 半单零特征值和线性化算子的稳定谱部分的条件是收敛到流形所必需的，[26]中的反例已证明这一点。
• 该方法适用于广泛的方程类，包括几何演化方程、相变问题和自由边界问题，并得到一致收敛结果。