[論文レビュー] 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 $ が存在することを示し、ほとんど everywhere で $ \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| $ を介して非線形系へ移行され、所定の正値性条件を満たす。
• $ \frac{\partial \bar{\rho}}{\partial t} + \nabla \cdot (\bar{\rho} g(t, \eta)) $ の正値性は、線形系の密度関数の微分と $ G(t, \cdot) $ のヤコビアン行列式の両方の正の積によって保証される。
• $ G(t, \cdot) $ の方向性保持性によりヤコビアン行列式が正であることが保証され、これは密度関数の時間微分の符号を維持するために不可欠である。
• 全 $ \mathbb{R} $ 線設定と比較して $ \mathbb{R}^+ $ に制限することで技術的仮定を簡略化し、$ f(t, \cdot) $ に対する条件を弱くしつつも $ C^2 $ の滑らかさを達成できる。
• 本結果は [6] や [8] の先行研究を一般化し、非一様かつ非周期的設定にまで滑らかさと密度関数の存在を拡張し、滑らかさと方向性制御の両方を向上させた。