論文「MEASURE PRESERVING MAPS WITH BOUNDED TOTAL VARIATION」の技術的サマリー

1. 研究の背景と問題設定

この論文は、最適輸送理論（Optimal Transport）および偏微分方程式の分野における、**測度保存写像（Measure Preserving Maps）と凸性（Convexity）**の関係性に関する未解決問題に焦点を当てています。

具体的には、Liu と Pego（2025 年）によって提起された以下の予想（Conjecture 1.1）の証明が目的です。

• 設定: $\Omega \subset \mathbb{R}^d$ を開集合とし、$\phi: \Omega \to \mathbb{R}$ を区分的にアフィンなリプシッツ写像とします。
• 条件: 写像 $x \mapsto x + t\nabla\phi(x)$ が、ほとんどすべての $t > 0$ に対して単射（injective）である。
• 予想: この条件を満たすすべての $\phi$ は、$\Omega$ において局所的に凸（locally convex）でなければならない。

Liu と Pego は、この予想が $\nabla\phi \in C(\Omega; \mathbb{R}^d)$（勾配が連続）の場合には証明済みであることを示しましたが、より一般的なケース、特に $\nabla\phi$ が有界変動（Bounded Variation, BV）を持つ場合の証明は残されていませんでした。

2. 主要な結果（定理）

著者らは、以下の定理を証明しました。

定理 1.2 (および定理 2.3):
上記の設定において、$\nabla\phi \in BV_{loc}(\Omega, \mathbb{R}^d)$（勾配が局所有界変動）であるならば、$\phi$ は $\Omega$ において局所的に凸である。

この結果は、$\nabla\phi$ が BV 空間に属するという追加仮定の下で、Liu-Pego の予想を肯定的に解決したことを意味します。なお、$\nabla\phi \notin BV$ の一般ケース（連続性のみを仮定するケース）は、現時点では未解決のままであります。

3. 証明の手法と構成

証明は大きく 2 つのステップに分けて行われています。

ステップ 1: 部分調和性（Subharmonicity）の証明

まず、$\nabla\phi \in BV$ という仮定なしに、条件を満たすすべての $\phi$ が**部分調和関数（subharmonic）**であることを示します（命題 2.4）。

• 定義: 写像 $T_t(x) = x + t\nabla\phi(x)$ が「拡張写像（expanding）」である（すなわち、$T_t$ による像測度が元のルベーグ測度以下である）場合、$\phi$ は部分調和的です。
• 証明手法:
  • 測度保存条件から、$T_t$ が拡張写像であることを導出します。
  • テスト関数 $\psi \geq 0$ に対して、関数 $g_\psi(t) = \int \psi d(T_t)_\sharp L^d$ を定義し、その微分を計算します。
  • 支配収束定理を用いて $t \to 0$ の極限を評価し、$\int \nabla\phi \cdot \nabla\psi \leq 0$ を示すことで、$\Delta\phi \geq 0$（分布の意味で）を導出します。
  • 第 4 節では、最適輸送の極分解（Polar Factorization）と Wasserstein 距離の性質を用いた、この部分調和性の異なる証明も提供しています。

ステップ 2: BV 仮定を用いた凸性の導出

次に、$\nabla\phi \in BV_{loc}$ という仮定を用いて、部分調和性から局所凸性を導きます。

• 導関数の分解: $\nabla\phi$ の分布微分 $D(\nabla\phi)$ を、ルベーグ測度に関する絶対連続部分 $D^a(\nabla\phi)$ と特異部分 $D^s(\nabla\phi)$ に分解します。
• 特異部分の解析:
  • Alberti のランク 1 定理（Rank-1 Theorem）を用いると、特異部分の極行列（polar matrix）は $\lambda(x) \vec{n}(x) \otimes \vec{n}(x)$ の形をとることが示されます。
  • 部分調和性（$\Delta\phi \geq 0$）から、$\lambda(x) \geq 0$ であることが導かれ、特異部分 $D^s(\nabla\phi)$ が正定値行列値測度であることがわかります。
• 絶対連続部分の解析:
  • BV 関数のルシン・リプシッツ性質（Lusin-Lipschitz property）を用い、$\nabla\phi$ をリプシッツ関数 $f_\Lambda$ で近似します。
  • 測度保存条件と面積公式（Area Formula）を適用し、$|\det(I + t D^a(\nabla\phi))| = 1$ がほとんど至る所で成り立つことを示します。
  • この式がすべての $t \geq 0$ で成立するため、$D^a(\nabla\phi)$ の固有値はすべて 0 となり、$D^a(\nabla\phi) = 0$ が導かれます。
• 結論:
  • 結果として、$D(\nabla\phi) = D^s(\nabla\phi) \geq 0$（正定値）となります。
  • 分布のヘッシアンが正定値であることは、関数が局所凸であることと同値であるため、証明が完了します。

4. 重要な貢献と意義

1. Liu-Pego 予想の部分的解決:
   区分的アフィンなリプシッツ写像に関する重要な予想に対し、$\nabla\phi \in BV$ という自然な条件下で完全な証明を与えました。これは、最適輸送におけるポテンシャル流の剛体性（rigidity）に関する理解を深めるものです。

2. BV 理論と幾何学的測度論の応用:
   証明において、Alberti のランク 1 定理や BV 関数の微分分解、ルシン・リプシッツ性質など、高度な関数解析および幾何学的測度論のツールを効果的に組み合わせて使用しました。特に、絶対連続部分が消滅することを示すための行列式の解析は、測度保存条件の強力な制約を示すものです。

3. 最適輸送アプローチの提示:
   第 4 節では、Brenier の極分解定理と Wasserstein 距離の性質を用いた、部分調和性の代替証明を提供しています。これは、最適輸送の理論的枠組みが、従来の PDE の手法とは異なる視点から同様の結果を導きうることを示しており、今後の研究への道筋を示唆しています。

4. 未解決問題の明確化:
   本研究は、$\nabla\phi$ が BV ではない場合（例えば、$\nabla\phi$ が連続だが BV ではない場合）の証明が依然として困難であることを明確にしました。これは、今後の研究において、より弱い正則性条件のもとで凸性を証明するための新たな手法の開発が必要であることを示唆しています。

5. まとめ

この論文は、測度保存的な変位場 $x + t\nabla\phi(x)$ が単射であるという幾何学的条件が、ポテンシャル関数 $\phi$ の凸性を強く制約することを示しました。$\nabla\phi \in BV$ という仮定の下で、この制約が「局所凸性」に帰着することを厳密に証明しており、最適輸送理論と非線形偏微分方程式の交差点における重要な進展と言えます。