[論文レビュー] The continuity equation on metric measure spaces

Nicola Gigli, Bang-Xian Han|arXiv (Cornell University)|Jun 24, 2014

Fixed Point Theorems Analysis参考文献 6被引用数 13

ひとこと要約

本稿は、一般の測度付き距離空間 $(X, \mathsf{d}, \mathfrak{m})$ における連続の方程式の厳密な定式化を確立し、$W_2$-距離における絶対連続な曲線 $(\mu_t)$ が、密度が一様に有界である場合、線形汎関数 $L_t$ を用いた連続の方程式 $\partial_t \mu_t = L_t$ の解として特徴づけられることを示している。ここで $L_t$ は、双対ノルムが有限であるようなソボレフ関数上の線形汎関数である。主な貢献は、双対ノルム $\|L_t\|_{\mu_t}^*$ を用いた速度場の双対的特徴づけであり、非滑らか空間における最適輸送および勾配流の合成的取り扱いを可能にしている。

ABSTRACT

Aim of this paper is to show that it makes sense to write the continuity equation on a metric measure space $(X,d,m)$ and that absolutely continuous curves $μ_t$ w.r.t. the distance $W_2$ can be completely characterized as solutions of the continuity equation itself, provided we impose the condition $μ_t\leq Cm$ for every $t$ and some $C>0$.

研究の動機と目的

• 測度付き距離空間における連続の方程式の合成的で滑らかでない定式化を提供すること。特にリーマン的または微分可能構造に依存しないこと。
• 絶対連続曲線 $ (\mu_t) $ が $ W_2 $-距離において密度が一様に有界である場合、連続の方程式の解として完全に特徴づけられることを示すこと。
• 双対ノルム $ \|L_t\|_{\mu_t}^* $ を用いた双対的枠組みを確立し、ソボレフ関数への作用として速度場を定義すること。
• $ L^2 $-速度の可積分性を $ \mathrm{S}^2(X) $ 上の線形汎関数の双対ノルムに関連付けることで、非滑らか空間へのオットー計算フレームワークの拡張を図ること。
• 無限小ヒルベルト性のもとで $ W_2 $-測地線の弱い $ C^1 $ 正則性を示し、密度の強い収束を証明すること。

提案手法

• 双対的意味での連続の方程式 $ \partial_t \mu_t = L_t $ を定式化：すべての $ f \in \mathrm{S}^2(X) $ に対して $ \frac{d}{dt} \int f \, d\mu_t = L_t(f) $ が成り立ち、ここで $ L_t $ はソボレフ関数に作用する。
• 一般化された $ L^2 $-速度を表す双対ノルム $ \frac{1}{2} \|L_t\|_{\mu_t}^*{}^2 = \sup_{f \in \mathrm{S}^2(X)} \left( L_t(f) - \frac{1}{2} \int |Df|^2 \, d\mu_t \right) $ を導入する。
• 分布的微分が $ L^2 $-可積分である関数の空間 $ \mathrm{S}^2(X) $ を用いて、点での微分なしに速度場の作用を定義する。
• 局所的ソボレフ計算とホフプ・ラックスの公式およびハミルトン・ジャコビ方程式の使用により、問題を局所化する。
• 無限小ヒルベルト空間における弱い強いつながりの結果（補題 5.6）を用いて、速度作用の連続性を証明し、測地線の弱い $ C^1 $ 正則性を保証する。
• 双対枠組みが適切に定義され、特異性を避けるために、すべての $ t $ に対して $ \mu_t \leq C \mathfrak{m} $ を課す。

実験結果

リサーチクエスチョン

• RQ1 滑らかでない構造やリーマン的背景のない測度付き距離空間において、連続の方程式を意味的に定式化できるか？
• RQ2 すべての $ W_2 $-絶対連続曲線が、適切な速度汎関数 $ L_t $ を用いた連続の方程式の解として特徴づけられるか？
• RQ3 非滑らか空間において、$ \int_0^1 \|v_t\|_{L^2(\mu_t)}^2 \, dt < \infty $ のような $ L^2 $-速度条件を双対性を用いてどのように一般化できるか？
• RQ4 連続の方程式の解が、$ W_2 $-距離において弱い $ C^1 $ 曲線をもたらす条件は何か？
• RQ5 無限小ヒルベルト性は、双対性および勾配の収束を介して $ W_2 $-測地線の正則性を保証するために果たす役割は何か？

主な発見

• 測度付き距離空間 $ (X, \mathsf{d}, \mathfrak{m}) $ において、連続の方程式 $ \partial_t \mu_t = L_t $ は、$ \mu_t \leq C \mathfrak{m} $ がすべての $ t $ で一様に成り立つ限り、適切に定義される。ここで $ L_t $ は $ \mathrm{S}^2(X) $ 上の線形汎関数として定義される。
• $ \mathscr{P}_2(X) $ 内の平方可積分速度を持つ絶対連続曲線 $ (\mu_t) $ は、双対ノルム $ \|L_t\|_{\mu_t}^* $ を用いて連続の方程式の解として完全に特徴づけられ、これは $ L^2 $-速度ノルムを一般化する。
• 双対ノルム $ \|L_t\|_{\mu_t}^* $ は $ \frac{1}{2} \|L_t\|_{\mu_t}^*{}^2 = \sup_{f \in \mathrm{S}^2(X)} \left( L_t(f) - \frac{1}{2} \int |Df|^2 \, d\mu_t \right) $ で定義され、非滑らか空間における合成的微積分を可能にする。
• 無限小ヒルベルト空間では、$ L^p $ で強い収束を示す密度をもつ $ W_2 $-測地線は弱い $ C^1 $ である。これは、速度場のテスト関数への作用が $ t $ に関して連続であるためである。
• 弱い強いつながりの補題（補題 5.6）により、密度の $ \mathfrak{m} $-ほとんど everywhere の収束と $ \mathrm{S}^2 $-半ノルムの一様有界性のもとで、写像 $ t \mapsto \int \nabla f \cdot \nabla g \, d\mu_t $ の連続性が保証される。
• 結果は、適切な修正を加えることで $ W_p $-距離および $ L^1 $-速度へ拡張可能であるが、本稿では明確さと核心的な直観のため、$ W_2 $ および $ L^2 $-速度に焦点を当てる。