[論文レビュー] Global existence for rough differential equations under linear growth conditions

Massimiliano Gubinelli, Antoine Lejay|ArXiv.org|May 14, 2009

Advanced Mathematical Physics Problems参考文献 13被引用数 7

ひとこと要約

本稿は、ベクトル場の線形成長条件の下で、幾何的粗いパスによって駆動される粗い微分方程式に対して、解のグローバル存在を確立している。この解は有限時間で爆発しないことを証明している。また、非幾何的粗いパスに対しては線形成長が不十分であることを示す反例を提示し、粗いパス理論における長年の未解決問題を解消している。

ABSTRACT

We prove existence of global solutions for differential equations driven by a geometric rough path under the condition that the vector fields have linear growth. We show by an explicit counter-example that the linear growth condition is not sufficient if the driving rough path is not geometric. This settle a long-standing open question in the theory of rough paths. So in the geometric setting we recover the usual sufficient condition for differential equation. The proof rely on a simple mapping of the differential equation from the Euclidean space to a manifold to obtain a rough differential equation with bounded coefficients.

研究の動機と目的

• ベクトル場の線形成長が粗い微分方程式のグローバル存在を保証するかどうかという未解決問題を解消すること。
• 幾何的粗いパスでは線形成長の下でグローバル解が存在することを確立し、古典的結果を粗いパス設定へと拡張すること。
• 非幾何的粗いパスに対して線形成長条件が不十分であることを、反例を用いて示すこと。
• 粗いパス枠組みにおけるグローバル存在の条件を、古典的ODE理論と統一すること。
• 多様体埋め込みを用いた幾何的・解析的枠組みを提供し、有界でない係数を有界なものに変換して解析を行うこと。

提案手法

• 微分同相写像を用いて、粗い微分方程式をユークリッド空間から多様体へ変換し、有界でないベクトル場を有界なものに変換する。
• 粗いパスの変数変換公式を用いて、有界係数を持つ多様体上での同値方程式を導出する。
• 有界係数を伴う粗い微分方程式の理論を適用し、多様体上でのグローバル存在を保証する。
• 幾何的粗いパスが滑らかなパスの上げられた極限であることに着目し、解の収束性と安定性を活用する。
• 非幾何的粗いパス（対称的面積成分を有する）と線形成長のベクトル場を用いて、有限時間での爆発を引き起こす反例を構成する。
• 非幾何的パスでは、解が面積成分とベクトル場の微分を含む修正された方程式を満たすという恒等式を用いる。

実験結果

リサーチクエスチョン

• RQ1 ベクトル場の線形成長が、幾何的粗いパスによって駆動される粗い微分方程式のグローバル存在を保証するか？
• RQ2 線形成長の下で、古典的グローバル存在結果が粗いパス設定へと拡張可能か？
• RQ3 駆動する粗いパスが非幾何的である場合、線形成長条件がグローバル存在を保証するか？
• RQ4 粗い微分方程式において有限時間での爆発を防ぐために、ベクトル場およびその微分に必要な条件は何か？
• RQ5 線形成長が非幾何的粗いパスに対して不十分であることを示す反例を構成可能か？

主な発見

• 幾何的粗いパスによって駆動される粗い微分方程式に対して、ベクトル場が線形成長を満たす限り、グローバル解が存在する。
• 証明は、係数が有界となる多様体への方程式変換に依存しており、これにより標準的解の理論が適用可能になる。
• 非幾何的粗いパスと線形成長のベクトル場を用いた反例が構成され、有限時間での爆発が生じる。
• 反例では、$ f(\theta) = (\theta_1 \tan \theta_2, \theta_1) $ というベクトル場を用い、$ f \nabla f $ がホルダー連続でないため、$ y_t^{(1)} $ が有限時間で爆発する。
• この結果は、線形成長がグローバル存在を保証するためには粗いパスの幾何的性質が本質的であることを示している。
• 本稿は、線形成長条件が幾何的設定では十分であることを確認し、粗いパス枠組みにおいて古典的ODE結果が回復されることを示している。