[論文レビュー] Flow-box Theorem for Lipschitz Continuous Vector Fields

Craig Calcaterra, Axel Boldt|arXiv (Cornell University)|May 14, 2003

Stochastic processes and financial applications被引用数 2

ひとこと要約

この論文は、C¹滑らかさを仮定するのではなく、局所リプシッツ連続であるにとどまるベクトル場へ、古典的なフローボックス定理を一般化し、任意のバナッハ空間においてその結果を確立する。主な貢献は、より弱い正則性仮定のもとで、点の近傍におけるフローの局所線形化を実現することであり、滑らかさが低い力学系への適用範囲を拡大する。

ABSTRACT

A generalization of the Flow-box Theorem is given. The assumption of a C 1 vector field V is relaxed to a local Lipschitz condition on V. The theorem holds in any Banach space. Key Words: Flow-box Theorem; local linearization of a vector

研究の動機と目的

• C¹滑らかさを仮定するのではなく、局所リプシッツ連続であるにとどまるベクトル場へ、古典的なフローボックス定理を拡張すること。
• より弱い正則性仮定のもとで、ベクトル場のフローを線形化する局所座標系の存在を確立すること。
• 任意のバナッハ空間における設定で定理を証明することにより、無限次元系への適用範囲を広げること。
• 滑らかさの低いベクトル場をもつ力学系の局所解析の基礎的結果を提供すること。

提案手法

• 局所リプシッツ連続ベクトル場をもつ常微分方程式の解の存在と一意性に依拠し、コーシー・ピカール定理を用いる。
• 正則点の近傍で、ベクトル場を定数ベクトル場に変換する局所微分同相写像を構成する。
• バナッハ空間における逆関数定理を用いて、変換写像の局所可逆性を保証する。
• フロー・ボックス構成を、ベクトル場の軌道に沿って積分することで座標変換を定義する。
• 連続的微分可能かつ可逆性を近傍で確認することで、変換が微分同相写像であることを証明する。
• 有限次元に制限されない一般なバナッハ空間の設定において結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 C¹滑らかさを仮定するのではなく、局所リプシッツ連続であるにとどまるベクトル場に対しても、フローボックス定理を拡張できるか？
• RQ2 リプシッツ連続性のもとで、無限次元バナッハ空間においても、フローの局所線形化が有効に保たれるか？
• RQ3 より弱い正則性のもとで、フローをまっすぐな形に変形する滑らかな座標変換の存在を保証する条件は何か？
• RQ4 ベクトル場がC¹滑らかでない場合、フローボックス座標系の構成はどのように変化するか？
• RQ5 リプシッツ連続性のもとでも、ベクトル場と定数ベクトル場との局所共役性は依然として達成可能か？

主な発見

• C¹正則性を要しないが、局所リプシッツ連続であるベクトル場に対しても、フローボックス定理が成立する。
• 正則点の近傍で、フローを線形化する局所微分同相写像が存在する。
• 結果は任意のバナッハ空間、すなわち無限次元の設定に対しても有効である。
• ベクトル場を定数ベクトル場に写像する変換は、局所的に連続的微分可能かつ可逆である。
• この構成は、局所リプシッツ連続ベクトル場をもつ常微分方程式の解の存在と一意性に依拠している。
• 定理は、最小限の滑らかさ仮定のもとで、フローの局所標準形を提供する。