[論文レビュー] Regularity of Lagrangian flows over RCD*(K, N) spaces

Semola, D, Brué, E|arXiv (Cornell University)|Mar 12, 2018

Geometric Analysis and Curvature Flows被引用数 2

ひとこと要約

本稿は、RCD*(K, N) 計量測度空間上における正則ラグランジュ流（RLFs）の正則性結果を確立し、有界な対称微分をもつベクトル場によって生成される流れがリプシッツ的であることを証明するとともに、アーフォルス正則性の下で、ソボレフの場合へのルジン型正則性結果の拡張を示している。主な貢献は、リーマン型の曲率・次元条件におけるテンソル化と最大関数推定を用いて、非滑らか計量測度空間へユークリッド空間における正則性理論を拡張することにある。

ABSTRACT

The aim of this note is to provide regularity results for Regular Lagrangian flows of Sobolev vector fields over compact metric measure spaces verifying the Riemannian curvature dimension condition. We first prove, borrowing some ideas already present in the literature, that flows generated by vector fields with bounded symmetric derivative are Lipschitz, providing the natural extension of the standard Cauchy–Lipschitz theorem to this setting. Then we prove a Lusin-type regularity result in the Sobolev case (under the additional assumption that the m.m.s. is Ahlfors regular) therefore extending the already known Euclidean result.

研究の動機と目的

• 有界な対称微分をもつベクトル場に対する正則ラグランジュ流のリプシッツ正則性を証明することで、RCD*(K, N) 空間へのコーシー＝リプシッツ定理の拡張を達成する。
• アーフォルス正則性の下で、ソボレフ空間における RLF に対して、ルジン型正則性結果を確立し、ユークリッド空間の結果を計量測度空間へ一般化する。
• 2階微積分と RCD 条件を活用することで、非滑らか空間上におけるベクトル場の流れを分析するための枠組みを構築する。
• 局所的接ベクトルが存在せず、古典的微分可能性が成り立たない状況において、流れの正則性が対称微分と発散によって制御されることを示す。

提案手法

• 微分作用素と接モジュールの理論を用いて、ユークリッド空間における正則ラグランジュ流の概念を RCD*(K, N) 計量測度空間へ適応する。
• 流れを上昇させるために、積空間 X × S¹ を構成し、チーハーエネルギーのテンソル化性を活用する。
• 最大関数推定とグリーン関数を用いて、ソボレフベクトル場の下で流れの歪みの増大を制御する。
• テスト関数における積代数の強い稠密性を応用し、流れの測度論的性質を検証する。
• 上昇されたベクトル場 ¯b の対称微分と発散が、元の場 b からの L² 範囲を保つことを証明する。
• RCD 条件と対称微分の有界性を用いて、流れに関する微分不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 有界な対称微分をもつベクトル場に対して、古典的コーシー＝リプシッツ定理は RCD*(K, N) 空間へ拡張可能か？
• RQ2 アーフォルス正則性の下で、ソボレフ空間上における RCD*(K, N) 空間において、流れが小さな測度の集合を除いて局所的にリプシッツ的であるというルジン型正則性結果が成立するか？
• RQ3 局所的接ベクトルや古典的微分可能性が存在しない状況において、流れの正則性はどのように制御可能か？
• RQ4 RCD 条件に加え、アーフォルス正則性が、ユークリッド空間における正則性結果を非滑らか計量測度空間へどの程度拡張可能にするか？

主な発見

• コンパクトな RCD*(K, N) 空間上において、有界な対称微分をもつベクトル場によって生成される流れは、大域的にリプシッツ連続である。
• アーフォルス正則な RCD*(K, N) 空間上におけるソボレフベクトル場に対して、正則ラグランジュ流は、任意に小さな測度の集合を除いて局所的にリプシッツ的であり、ルジン型正則性結果が確立される。
• 流れのリプシッツ定数は、ベクトル場の対称微分と発散の L² ノルムによって制御され、時間および幾何学的要因に明示的な依存関係を示す。
• X × S¹ 上の上昇された流れは、元のベクトル場のソボレフ正則性を引き継ぎ、最大関数と RCD 条件を用いてその歪みが有界であることが示される。
• 上昇された場 ¯b の対称微分は、‖∇sym¯b‖L²(¯m) ≤ ‖∇symb‖L²(m) を満たし、正則性構造が保存される。
• 流れに関する微分不等式が導出される：d(Xt(x), Xt(y)) ≤ Ce^{C(Q*(x)+Q*(y))} d(x,y)，ここで Q* はベクトル場の微分の最大関数によって流れの増大を制御する。