[论文解读] Nonuniform contractions and density stability results via a smooth topological equivalence

Álvaro Castañeda, Pablo Monzón+1 more|arXiv (Cornell University)|Aug 22, 2018

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

一句话总结

本文在非一致收缩条件下，建立了非线性非自治系统与其线性化系统之间的光滑拓扑等价性，证明了存在一个 $ C^2 $、保向的微分同胚，可将密度函数（对偶于李雅普诺夫函数）从线性系统转移到非线性系统。其核心贡献是提出一种通过光滑等价性保持密度稳定性的构造方法，将哈特曼-格罗布曼定理推广至非一致、非自治情形，提升了正则性与保向性质。

ABSTRACT

We study the smoothness and preserving orientation properties of a global and nonautonomous version of the Hartman--Grobman Theorem when the linear system has a nonuniform contraction on the half line. The nonuniform contraction implies the existence of a density function (\emph{i.e} a dual type of Lyapunov function) for the linear system which combined with the above diffeomorphism allow us to construct a density function for the nonlinear system.

研究动机与目标

• 将全局非自治哈特曼-格罗布曼定理推广至半直线上具有非一致收缩的系统。
• 在非一致双曲性条件下，建立线性系统与非线性系统之间拓扑共轭的光滑性与保向性质。
• 通过光滑微分同胚，将线性系统的密度函数转移至非线性系统，构造非线性系统的密度函数。
• 放宽非线性项的假设条件，提升共轭映射的正则性，推广先前结果。

提出的方法

• 在 $ \mathbb{R}^+ $ 上利用非一致收缩，表明线性系统 $ \dot{x} = A(t)x $ 存在密度函数 $ \rho $，满足 a.e. 的不等式 $ \frac{\partial \rho}{\partial t} + \nabla \cdot (\rho A(t)x) > 0 $。
• 通过非线性系统 $ \dot{y} = A(t)y + f(t,y) $ 的解流构造全局 $ C^2 $、保向的微分同胚 $ G(t, \cdot) $，确保 $ G(t, \cdot) $ 是 $ C^2 $ 微分同胚且雅可比行列式为正。
• 定义非线性系统的密度函数 $ \bar{\rho}(t, \eta) = \rho(t, G(t, \eta)) \left| \frac{\partial G(t, \eta)}{\partial \eta} \right| $，其正性由线性密度与保向性质共同保证。
• 应用刘维尔公式与链式法则，验证 $ \bar{\rho} $ 满足密度不等式 $ \frac{\partial \bar{\rho}}{\partial t} + \nabla \cdot (\bar{\rho} g(t, \eta)) > 0 $ a.e.，从而确保非线性系统的稳定性。
• 利用 $ \mathbb{R}^+ $ 上的非一致收缩与指数二分性，相较于全局 $ \mathbb{R} $-二分性设定，简化了技术假设。
• 利用 $ f(t, \cdot) $ 的光滑性与基本矩阵 $ X(t,s) $ 的结构，确保 $ G(t, \cdot) $ 为 $ C^2 $ 且保向。

实验结果

研究问题

• RQ1 在非一致收缩条件下，能否在非线性非自治系统与其线性化系统之间构造出光滑且保向的共轭？
• RQ2 若线性系统存在密度函数，该性质是否在光滑拓扑等价下可传递至非线性系统？
• RQ3 将二分性限制在 $ \mathbb{R}^+ $ 上，相较于全实直线 $ \mathbb{R} $，如何简化光滑共轭的构造？
• RQ4 共轭映射的雅可比行列式在保持密度函数正性方面起何作用？
• RQ5 非一致收缩框架是否容许对非线性项 $ f(t, y) $ 采用更弱的假设，同时仍能保证光滑共轭与密度稳定性？

主要发现

• 在 $ \mathbb{R}^+ $ 上的非一致收缩条件下，非线性系统与其线性化系统之间存在 $ C^2 $、保向的微分同胚 $ G(t, \cdot) $，确保了光滑拓扑等价性。
• 线性系统 $ \dot{x} = A(t)x $ 的密度函数 $ \rho(t, x) $ 通过 $ \bar{\rho}(t, \eta) = \rho(t, G(t, \eta)) \left| \frac{\partial G(t, \eta)}{\partial \eta} \right| $ 转移到非线性系统，且满足所需的正性条件。
• 由于线性密度的导数与 $ G(t, \cdot) $ 的雅可比行列式均为正，$ \frac{\partial \bar{\rho}}{\partial t} + \nabla \cdot (\bar{\rho} g(t, \eta)) $ 的正性得以保证。
• 微分同胚 $ G(t, \cdot) $ 的保向性质确保其雅可比行列式为正，这对维持密度函数时间导数的符号至关重要。
• 通过限制在 $ \mathbb{R}^+ $ 上，本方法简化了技术假设，允许在较弱的 $ f(t, \cdot) $ 条件下实现 $ C^2 $ 共轭映射。
• 本结果推广了 [6] 与 [8] 的工作，将共轭映射的光滑性与密度函数的存在性推广至非一致、非自治情形，提升了正则性与保向控制。