技術的サマリー：最適輸送写像の安定性と 2 分モンジュ・カントロビッチ距離の第二変分

1. 問題提起

本論文は、二次コスト（$p=2$）の文脈における、最適輸送写像およびポテンシャルの定量的安定性に焦点を当てています。具体的には、源密度 $f$ と目標密度 $g$ が摂動された際に、最適輸送写像 $T = \nabla \phi$ および関連するブリエポテンシャル $\phi$ がどのように変化するかを調査します。

コンパクト性議論を通じて、質的な安定性（測度収束または強い仮定のもとでの一様収束）は確立されていますが、著者らは定量的評価の導出に焦点を当てています。これらの評価は、異なる密度に対応する最適写像・ポテンシャル間の距離を、密度自体の距離（$L^p$、$L^2$、または 2 分モンジュ・カントロビッチ距離で測定）の関数として評価するものです。本研究は特に、密度が非退化（ゼロから離れて有界）であり、ホ尔德正則性を持ち、一様凸領域上で定義されている設定を対象としています。

2. 手法

核心的な技術的戦略は、データの滑らかな補間に沿ってモンジュ・アンペール方程式を線形化することです。手法は以下の通り進行します：

1. 補間：2 つの密度対 $(f_0, g_0)$ と $(f_1, g_1)$ が与えられたとき、著者らは密度の滑らかな曲線 $\{(f_t, g_t)\}_{t \in [0,1]}$ を構成します。
   • 定理 1.1 については、2 分モンジュ・カントロビッチ測地線（ベナム・ブリエ定式化）を利用します。
   • 定理 1.2 および 1.3 については、$L^p$ 空間における線形補間を使用します。
2. ポテンシャルの微分：$(f_t, g_t)$ に対応するブリエポテンシャルの曲線 $\phi_t$ を定義します。差 $\phi_1 - \phi_0$ は、その時間微分の積分として表されます：$\phi_1 - \phi_0 = \int_0^1 \partial_t \phi_t \, dt$。
3. 線形化方程式：微分 $\xi_t = \partial_t \phi_t$ は、発散形で導出された線形化モンジュ・アンペール方程式の唯一の解として特徴付けられます：
   $$-\text{div}\left[ f_t (D^2 \phi_t)^{-1} \nabla \xi_t \right] = \left( \frac{\partial_t g_t(\nabla \phi_t)}{g_t(\nabla \phi_t)} - \frac{\partial_t f_t}{f_t} \right) f_t \quad \text{in } \Omega,$$
   ここで、ニューマン境界条件が課されます。
4. 正則性と楕円性：重要なステップは、係数行列 $(D^2 \phi_t)^{-1}$ が一様楕円性を保ち、解 $\xi_t$ が補間経路に沿って十分な正則性（例：$C^{1,\alpha}$）を保持することを確立することです。これは以下の事実に依存します：
   • 補題 1.7：密度が $C^{0,\beta}$ で非退化であれば、ブリエポテンシャルは境界まで $C^{2,\alpha}$ であることを示すコンパクト性議論。
   • 陰関数定理：適切なバナッハ空間における写像 $t \mapsto \phi_t$ の滑らかさを証明するために使用（定理 1.5）。
5. 評価：楕円的正則性理論（シュラダー評価、$L^\infty$ 評価）を用いて $\xi_t$ を評価し、$t$ について積分することで、最終的な安定性評価を導出します。

3. 主要な貢献と結果

A. 定量的安定性評価

本論文は、滑らかな境界を持つ一様凸領域上の非退化でホ尔德連続な密度を仮定し、3 つの主要な安定性定理を確立します：

• 定理 1.1（リプシッツ $L^2$ 安定性）：
  ホ尔德連続な密度に対して、著者らは密度間の 2 分モンジュ・カントロビッチ距離（$d_2$）に関する $L^2$ ノルムにおける最適輸送写像のリプシッツ連続性を証明します：
  $$\|\nabla \phi_1 - \nabla \phi_0\|_{L^2} \leq C [d_2(f_0, f_1) + d_2(g_0, g_1)].$$
  これは、しばしば次元依存の指数を伴うか、より強い正則性を必要とした以前の結果（例：Berman [20]）を改善するものです。著者らは、このリプシッツ挙動が正則で非退化な測度の特別な特徴であると指摘しています。

• 定理 1.2（連続性仮定なしの安定性）：
  ホ尔德連続性の仮定を除去し、$L^2$ 可積分性と非退化性を保持することで、著者らはブリエポテンシャルの $L^2$ ノルムに関するリプシッツ安定性評価を得ます：
  $$\|\phi_0 - \phi_1\|_{L^2} \leq C (\|f_0 - f_1\|_{L^2} + \|g_0 - g_1\|_{L^2}).$$
  また、勾配についても $1/3$ 乗の指数を持つ対応する評価を導出します。著者らは、線形化作用素に対する特定のソボレフ不等式が証明できれば、ポテンシャルの $L^2$ 評価が $L^\infty$ 評価に改善される可能性があるとの仮説を立てています。

• 定理 1.3（一様 $C^{1,\alpha}$ 安定性）：
  一様距離の設定において、著者らは $C^{0,\beta}$ 密度に対して、最適写像が密度の $L^p$ 距離（ただし $p = d/(1-\alpha)$）に関する $C^{1,\alpha}$ ノルムで安定であることを証明します：
  $$\|\phi_1 - \phi_0\|_{C^{1,\alpha}} \leq C (\|f_1 - f_0\|_{L^p} + \|g_1 - g_0\|_{L^p}).$$
  以前の内部評価（例：[28, 29]）とは異なり、この結果は大域的であり、恒等写像以外の写像周りの摂動にも適用され、次元に依存して減衰する指数の影響を受けません。著者らは、下限条件（$g_i \geq a > 0$）が根本的であることを強調しています。これがない場合、1 次元であっても、$\eta < 1$ なるホ尔德安定性指数は存在しません。

B. 距離の第二変分

• 定理 1.4：著者らは、密度の摂動に沿った 2 分モンジュ・カントロビッチ距離の二乗の第二変分の明示的な式を導出します。
  $$\frac{1}{2} \frac{d^2}{dt^2}\bigg|_{t=0} [d_2(f_t, g_t)^2] = \int_\Omega \langle (D^2 \phi_0)^{-1} \nabla \xi, \nabla \xi \rangle f \, dx,$$
  ここで、$\xi$ は線形化方程式の解です。この式は距離の線形凸性を定量化し、恒等写像周りの摂動に限定されていた [30] における形式的な計算を、一般的な正則な最適輸送写像に拡張します。

C. 技術的ツール：時間微分可能性

• 定理 1.5 および系 1.6：本研究の重要な部分は、ブリエポテンシャル $\phi_t$ が補間パラメータ $t$ に関して微分可能であることを証明することに割かれています。著者らは、微分 $\partial_t \phi_t$ を発散形の線形化モンジュ・アンペール方程式の弱解として特徴付けます。この結果は、時間依存する最適輸送問題の解析にとって独立した興味を有するものです。

4. 意義と主張

著者らは、現在活発な研究分野である最適輸送の定量的安定性における重要な進展として、本研究を位置付けています。

• 指数の改善：本論文は、以前の文献がしばしば部分線形指数（例：$1/2$、$1/5$、または次元に依存して減衰する指数）をもたらした設定において、リプシッツ（指数 1）安定性評価を提供すると主張しています。
• 大域的対内部：定理 1.3 は大域的評価として強調されており、内部評価や特定の幾何学的設定（例：余次元 1 の曲面）に制限されることが多かった以前の結果と対照的です。
• 明示的な第二変分：第二変分式の導出は、恒等写像を超えて理論的理解を拡張し、モンジュ・カントロビッチ距離の凸性を明示的に定量化するツールとして提示されています。
• 限界：著者らは範囲について謙虚であり、結果が非退化な密度（ゼロから離れて有界）とホ尔德正則性に依存することを明示的に述べています。離散測度や消滅する密度の場合、評価のリプシッツ性は崩れ、最適な指数はより低くなる可能性（離散目標の場合 $1/2$ と予想）を認めています。一般の粗い測度や特異な目標に対する安定性の解決は主張していません。

要約すると、本論文は、正則性と非退化性の仮定のもとで、最適輸送写像およびポテンシャルに対する鋭く定量的な安定性評価を得るために、発散形のモンジュ・アンペール方程式を線形化する厳密な枠組みを提供し、さらに輸送距離の第二変分に関する新しい式も提供しています。