[論文レビュー] Global Existence of Geometric Rough Flows

Bruce K. Driver|arXiv (Cornell University)|Oct 8, 2018

Geometric Analysis and Curvature Flows参考文献 11被引用数 5

ひとこと要約

本稿では、滑らかな多様体上の rough 微分方程式 (RDE) の解の全域的存在および一意性を確立する。そのために、パスの粗さに応じたある順序まで、接続の微分および駆動ベクトル場の交換子が一様に有界であるような完全なリーマン計量を用いた幾何的条件を導入する。主たる貢献は、リーマン計量の完全性と接続の有界性を用いて、リーマン多様体上へのリーマンの rough path 理論の一般化を達成し、有界なベクトル場に依存しない解の存在結果を拡張することである。本研究は、ユークリッド空間における RDE 理論に依存せず、内挿的幾何的手法を用いる。

ABSTRACT

In this paper we consider rough differential equations on a smooth manifold $\left( M ight) .$ The main result of this paper gives sufficient conditions on the driving vector-fields so that the rough ODE's have global (in time) solutions. The sufficient conditions involve the existence of a complete Riemannian metric $\left( g ight) $ on $M$ such that the covariant derivatives of the driving fields and their commutators to a certain order (depending on the roughness of the driving path) are bounded. Many of the results of this paper are generalizations to manifolds of the fundamental results in \cite{Bailleul2015a}.

研究の動機と目的

• 滑らかな多様体上での rough 微分方程式 (RDE) の解の全域的存在および一意性を確立すること。
• リーマンの rough path 結果をユークリッド空間からリーマン多様体へ一般化すること。
• 古典的 RDE 理論における有界なベクトル場の仮定を、完全なリーマン計量による幾何的制御を導入することで緩和すること。
• ユークリッド空間における先行結果に依存しない、多様体上での RDE の内挿的・自己完結的枠組みを構築すること。
• 共形計量変換と曲率制御推定を用いて、非コンパクト多様体上の非有界なベクトル場へ理論を拡張すること。

提案手法

• パスの粗さに応じた有限の順序まで、駆動ベクトル場の共変微分および交換子が一様に有界となるような多様体 $ M $ 上の完全なリーマン計量 $ g $ を構成する。
• 存在証明には、距離空間におけるほぼ乗法的関数の定理と近似流を用い、rough path の強化下での解の時間発展を制御する。
• リーマン多様体に関する先行研究（特に [18]）の推定を用いて、曲率および計量構造に基づく流れとその微分の成長を制御する。
• 主要な技術的道具は、駆動パスの反復積分によって定義される幾何的 rough path の上昇 $ X_{t,s} $ であり、時間反転および対合に関して対称性を持つ。
• 解の作用を滑らかな関数に適用する際の再帰的積分表現を導くために、テンソル次数 $ \tau $ に関する帰納法を用いる。
• 局所化を避ける代わりに、内挿的幾何的推定を用いることで、埋め込みを必要としない一般な滑らかな多様体へ適用可能である。

実験結果

リサーチクエスチョン

• RQ1 多様体およびそのベクトル場にどのような幾何的条件が課されると、rough 微分方程式が全域的解をもつのか？
• RQ2 古典的 RDE 理論におけるベクトル場の有界性仮定は、多様体設定において緩和可能か？
• RQ3 内挿的幾何的構造を用いて、ユークリッド空間から滑らかな多様体へ rough path 理論をどのように一般化できるか？
• RQ4 完全なリーマン計量が rough 流の全域的存在を保証するために果たす役割は何か？
• RQ5 共形計量変換を用いて、非コンパクト多様体上の非有界なベクトル場へ存在結果を拡張可能か？

主な発見

• 滑らかな多様体 $ M $ 上の rough 微分方程式が全域的解をもつための十分条件として、パスの粗さに応じた順序 $ \rho $ まで、駆動ベクトル場の共変微分および交換子が一様に有界であるような完全なリーマン計量 $ g $ が存在する場合が挙げられる。ここで $ \rho $ はパスの粗さに依存する。
• 本研究の主結果は、$ \mathbb{R}^N $ 上でのリーマンの RDE 存在定理を多様体設定に一般化し、ベクトル場が有界である必要がなくなることを示している。
• 証明は自己完備的かつ内挿的であり、局所化技術やユークリッド RDE 結果への還元を回避している。
• 非有界なベクトル場へ理論を拡張するために、共形計量変換が用いられ、命題 6.10 で示されている。
• 解の流れは、パスの反復積分および滑らかな関数の方向微分を含む再帰的積分表現を持つ。
• 幾何的 rough path 上昇 $ X_{t,s} $ の逆行列は、$ X_{t,s}^{-1} = 1 + \sum_{k=1}^{\kappa} (-1)^k \sigma_k X_{s,t}^{(k)} $ を満たし、時間反転に関して整合性を保ち、推定における双対性の利用を可能にする。