[论文解读] Nonautonomous equations, generalized dichotomies and stable manifolds

António J. G. Bento, César Silva|ArXiv.org|May 29, 2009

Stability and Controllability of Differential Equations参考文献 16被引用 3

一句话总结

本文在由任意递增可微函数 $\mu(t)$ 定义的广义非一致分离条件之下，建立了非自治线性微分方程的非线性扰动下全局 $C^1$ 稳定流形的存在性。与以往仅限于指数或多项式分离条件的研究不同，作者引入了一类更广泛的分离类型，包含了非一致指数和多项式情形，并通过在合适函数空间中运用不动点论证证明了不变流形的存在性，关键结果是在不依赖 Gronwall 引理的前提下，实现了稳定流形在小非线性扰动下的保持性。

ABSTRACT

Assuming the existence of a general nonuniform dichotomy for the evolution operator of a non-autonomous ordinary linear differential equation in a Banach space, we establish the existence of invariant stable manifolds for the semiflow generated by sufficiently small nonlinear perturbations of the linear equation. The family of dichotomies considered satisfies a general growth rate given by some increasing differentiable function, allows situations for which the classical Lyapunov exponents are zero, and contains the nonuniform exponential dichotomies as a very particular case. In addition we also give explicit examples of linear equations that admit all the possible considered dichotomies.

研究动机与目标

• 将稳定流形理论从非一致指数分离条件推广至由递增可微函数 $\mu(t)$ 定义的更广泛的一类非一致增长速率。
• 在广义分离条件下，证明小非线性扰动下非自治线性方程的全局 $C^1$ 不变稳定流形的存在性。
• 提供线性方程的显式例子，这些方程可实现所有考虑的分离类型，包括经典 Lyapunov 指数为零的情形。
• 通过使用数学归纳法替代 Gronwall 引理来估计解，克服了在非指数增长下依赖 Gronwall 引理的局限性。

提出的方法

• 作者利用增长函数 $\mu(t)$ 定义广义非一致分离，推广了指数和多项式分离两种情形。
• 构造一个 Banach 空间 $\mathcal{X}$，包含连续、有界且满足 Lipschitz 条件的映射，用以表示候选稳定流形。
• 在 $\mathcal{X}$ 上定义一个非线性算子 $\Phi$，将函数 $\phi$ 映射为由扰动动力系统导出的固定点方程的解。
• 通过涉及 $\mu(t)$、$\mu'(t)$ 和分离界估计的论证，证明算子 $\Phi$ 存在唯一不动点，该论证基于压缩映射原理。
• 通过积分估计和演化算子与非线性项的有界性，建立压缩性，避免使用 Gronwall 引理，转而采用数学归纳法。
• 所得不动点在稳定子空间上定义了一个 $C^1$ 图像，该图像在半流下保持不变且全局定义。

实验结果

研究问题

• RQ1 稳定流形理论能否推广至非指数型非一致分离的非自治线性方程？
• RQ2 增长速率函数 $\mu(t)$ 需满足何种条件，才能在小非线性扰动下保证 $C^1$ 稳定流形的存在性？
• RQ3 在非指数增长下，如何在不依赖 Gronwall 引理的前提下构造压缩性论证？
• RQ4 是否存在显式线性方程的例子，可实现所考虑的广义分离类型全集？
• RQ5 该理论能否容纳经典 Lyapunov 指数为零但稳定流形依然存在的情形？

主要发现

• 本文在由递增可微函数 $\mu(t)$ 定义的广义非一致分离条件下，建立了非自治线性 ODE 的非线性扰动下全局 $C^1$ 稳定流形的存在性。
• 该方法通过数学归纳法证明关键估计式 (41)，避免了对 Gronwall 引理的依赖，从而确保了压缩性论证的成立。
• 所得到的稳定流形被证明是全局定义且 $C^1$ 光滑的，其解映射的图像构成该流形的 $C^1$ 参数化。
• 算子 $\Phi$ 的压缩常数被控制在 $\frac{3CD\delta}{|a-b-2\varepsilon|}$ 以内，当 $\delta < \frac{|a-b-2\varepsilon|}{3CD}$ 时，保证了唯一不动点的存在。
• 该理论包含了非一致指数和多项式分离作为特例，作者提供了可实现所有此类分离类型的显式线性方程例子。
• 该框架允许经典 Lyapunov 指数为零的情形，表明即使不存在指数衰减或增长，稳定流形依然可以存在。