[论文解读] Geometric theory of inertial manifolds for compact cocycles in Banach spaces

Mikhail Anikushin|arXiv (Cornell University)|Dec 7, 2020

Stability and Controllability of Differential Equations参考文献 56被引用 6

一句话总结

本文为巴拿赫空间中紧致余积的惯性流形构建了一个几何理论，证明了其存在性及关键性质——指数跟踪性、可微性与法向双曲性，条件是相对于二次李雅普诺夫泛函满足挤压条件。该框架推广了经典半线性抛物方程的结果，并扩展至常微分方程、时滞方程及边界控制系统的应用，其中挤压性质可通过低维动力系统的频率定理验证。

ABSTRACT

We present a geometric theory of inertial manifolds for compact cocycles (non-autonomous dynamical systems), which satisfy a certain squeezing property with respect to a family of quadratic Lyapunov functionals in a Banach space. Under general assumptions we show that these manifolds posses classical properties such as exponential tracking, differentiability and normal hyperbolicity. Our theory includes and largely extends classical studies for semilinear parabolic equations by C. Foias, G. R. Sell and R. Temam (based on the Spectral Gap Condition) and by G. R. Sell and J. Mallet-Paret (based on the Spatial Averaging) and their further developments. Besides semilinear parabolic equations our theory can be applied also to ODEs, ODEs with delay (extending the inertial manifold theories of Yu. A. Ryabov, R. D. Driver and C. Chicone for delay equations with small delays), parabolic equations with delay and parabolic equations with boundary controls (nonlinear boundary conditions). In applications, the squeezing property can be verified with the aid of various versions of the Frequency Theorem, which provides optimal (in some sense) and flexible conditions. This flexibility gives a possibility in applications to obtain conditions for low-dimensional dynamics, including, in particular, developments of the Poincare-Bendixson theory and convergence theorems from a series of papers by R. A. Smith.

研究动机与目标

• 为巴拿赫空间中非自治动力系统（紧致余积）建立惯性流形的几何理论。
• 将基于谱间隙或空间平均的经典惯性流形理论扩展至更广泛的方程类，包括常微分方程、时滞方程及带边界控制的抛物型偏微分方程。
• 提供一个统一框架，其中相对于二次李雅普诺夫泛函的挤压性质可确保惯性流形的存在性及其经典性质。
• 通过频率定理实现挤压条件的验证，为低维动力系统提供灵活且最优的条件。
• 将理论扩展至收敛定理及非线性动力系统中的庞加莱-本迪克松型结果。

提出的方法

• 通过巴拿赫空间中一族二次李雅普诺夫泛函形式化挤压性质，确保动力系统收缩至有限维慢流形。
• 应用几何方法在一般假设下证明惯性流形的存在性，包括指数跟踪性与可微性。
• 将频率定理作为关键分析工具，验证各类情形（包括抛物方程及带时滞系统）中挤压条件的成立。
• 通过分析限制在流形上的线性化余积的谱性质，建立惯性流形的法向双曲性。
• 通过将余积结构视为时变演化过程，将理论扩展至非自治系统，保持几何与分析结构的完整性。
• 将该框架应用于常微分方程、时滞方程及具有非线性边界条件的抛物型方程，展示其在经典半线性抛物方程之外的广泛应用性。

实验结果

研究问题

• RQ1 在何种一般条件下，巴拿赫空间中的紧致余积会存在具备指数跟踪性与可微性的惯性流形？
• RQ2 如何在单一几何框架内统一并推广基于谱间隙与空间平均的经典条件，以适用于惯性流形？
• RQ3 在哪些动力系统类别中（超越半线性抛物方程），可验证并应用相对于二次李雅普诺夫泛函的挤压性质？
• RQ4 频率定理在多大程度上可作为灵活且最优的工具，用于验证各类动力系统中挤压条件的成立？
• RQ5 该理论能否支持无限维系统中庞加莱-本迪克松型结果与收敛定理的推广？

主要发现

• 该理论在相对于二次李雅普诺夫泛函的挤压条件下，建立了巴拿赫空间中紧致余积惯性流形的存在性。
• 这些惯性流形表现出经典性质：轨迹的指数跟踪性、C^1-可微性以及法向双曲性。
• 该框架推广并扩展了Foias、Sell与Temam（谱间隙）以及Mallet-Paret与Sell（空间平均）的经典结果，适用于非自治与更一般的系统。
• 该理论适用于常微分方程、时滞方程（包括Ryabov、Driver与Chicone的小时滞推广）、带时滞的抛物方程，以及带非线性边界控制的抛物方程。
• 可通过频率定理验证挤压条件，该定理为低维动力系统提供了最优且灵活的判据。
• 该方法促进了收敛定理与庞加莱-本迪克松型结果的新发展，尤其通过频率定理的适用性提供了新视角。