The gap between a variational problem and its occupation measure relaxation

以下は、Milan Korda と Rodolfo Ríos-Zertuche による論文「The gap between a variational problem and its occupation measure relaxation（変分問題とその占有測度緩和の間のギャップ）」の詳細な技術的要約です。

1. 問題の定義

本論文は、古典的な非凸変分最適化問題とその占有測度緩和との間の同等性（あるいは「緩和ギャップ」の欠如）という根本的な問いに答えるものです。

• 古典的問題: 領域 $\Omega \subset \mathbb{R}^n$ と目標空間 $Y = \mathbb{R}^m$ が与えられたとき、以下の汎関数を最小化することを目的とします。
  $$\inf_{y \in W^{1,\infty}(\Omega; Y)} \int_{\Omega} L(x, y(x), Dy(x)) \, dx$$
  ここで、非線形 PDE 制約（不等式および等式）と境界条件が課されます。$L$ は導関数変数 $z = Dy$ について凸なラグランジュ密度です。
• 緩和: 関数 $y$ 上の最適化の代わりに、問題は $\Omega \times Y \times Z$ 上のRadon 測度（占有測度）$\mu$ の空間における無限次元の線形計画問題（LP）に緩和されます。これらの測度は、微積分の基礎定理から導かれる「モーメント」制約を満たし、有効な導関数を表すことを保証します。
• 核心的な問い: 緩和された測度問題の下限値 ($M_r$) は、古典的な関数問題の下限値 ($M_c$) と等しいでしょうか？
  • $M_c = M_r$ である場合、ギャップは存在せず、緩和は正確です。
  • $M_c > M_r$ である場合、正のギャップが存在し、緩和は古典的な関数では厳密に達成不可能な下限値を提供することを意味します。

一般にはギャップが存在し得ることが知られていましたが、特に領域の次元 ($n$) と余次元 ($m$) に関して、ギャップが消滅するか出現するかを決定する具体的な条件は完全には解決されていませんでした。

2. 手法

著者らは、幾何学的測度論、ソボレフ空間解析、および凸最適化の手法を用いています。

• 重ね合わせの原理: 手法上の中心的な革新は、余次元が 1 ($m=1$) の場合、任意の緩和された占有測度 $\mu$ が、ソボレフ空間 $W^{1,\infty}(\Omega)$ 内の古典的関数の凸結合として分解（重ね合わせ）できることを証明したことです。
• Hardt-Pitts 分解: 証明は、正規カレントの Hardt-Pitts 分解から着想を得ています。著者らはこの理論を占有測度の設定に適応し、有限周界集合の構造（De Giorgi の理論）を利用して「高さ関数」$\rho$ を構築し、そこから分解関数 $\phi_r$ を導出します。
• 反例: ギャップの存在を実証するために、著者らは位相的障害（具体的にはリーマン面に類似した二重被覆構造）と積分制約を用いて、明示的な反例を構築します。

3. 主要な貢献と結果

本論文は、次元 $n$（領域）と $m$（余次元）に基づいて、緩和ギャップの完全な特徴付けを確立します。

A. 余次元 1 におけるギャップの不存在 ($m=1$)

定理 2.2 および 2.4: 余次元の次元が 1 ($m=1$) である場合、領域の次元 ($n \ge 1$) に関わらず、緩和ギャップは存在しません ($M_c = M_r$)。

• メカニズム: 著者らは、占有測度制約を満たす任意の緩和された測度 $\mu$ が以下のように記述できることを証明します。
  $$\int \phi \, d\mu = \int_{\mathbb{R}} \left( \int_{\Omega} \phi(x, \phi_r(x), D\phi_r(x)) \, dx \right) d\nu(r)$$
  ここで、$\phi_r \in W^{1,\infty}(\Omega)$ であり、$\nu$ は確率測度です。
• 帰結: ラグランジュ $L$ が $z$ について凸であるため、ヤングの不等式により、測度 $\mu$ に対する $L$ の積分は、重ね合わせに含まれる特定の関数 $\phi_r$ のいずれかに対する積分以上となります。したがって、測度上の最小値は古典的関数によって達成されます。
• 拡張: この結果は最適制御問題（定理 2.7）に拡張され、有効なラグランジュが状態導関数について凸である限り、制御変数が存在する場合でも同等性が成り立つことを示しています。

B. 高次元における正のギャップ ($n > 1, m > 1$)

定理 3.1: 領域次元 ($n$) と余次元次元 ($m$) の両方が 1 より大きい場合、正のギャップが存在し得ます ($M_c > M_r$)。

• 構成: 著者らは、$z$ について厳密に凸な $C^{1,1}_{loc}$ クラスの特定のラグランジュ $L$ を構築します。この例には、複素平方根関数 $\sqrt{z}$ に類似した「二重被覆」として振る舞う集合値写像 $f(x)$ が含まれます。
• 位相的障害: 緩和された測度は、より低いエネルギーを達成するために、二重被覆の 2 つの枝（例えば $u_0$ と $u_1$）間で質量を「分割」できます。しかし、単一の連続関数（あるいは弱微分可能な関数）$y(x)$ は、不連続または無限のエネルギーコストなしに、両方の枝を同時に通過することはできません。
• 重要性: これは、$n, m > 1$ の場合、$z$ における $L$ の凸性だけではギャップの不存在を保証するには不十分であることを証明します。

C. 積分制約を伴う正のギャップ

第 4 節: 著者らは、$n=1$ または $m=1$ の場合（制約のないギャップが 0 である場合）であっても、大域的積分制約（例：$\int H(x, y, Dy) dx = 0$）の導入が正のギャップを引き起こし得ることを示します。

• メカニズム: 積分制約は、測度の集合よりも古典的関数の実行可能集合をより厳しく制限します。測度は、異なる古典的解にわたって平均化すること（例えば、解 A に 90% の時間を費やし、解 B に 10% の時間を費やすなど）によって積分制約を満たすことができますが、古典的関数は単一の軌道にコミットしなければなりません。

4. 意義と含意

1. 理論的正当性: 本論文は、占有測度緩和の使用に対する厳密な数学的基盤を提供します。特に $m=1$ の場合、これらの手法が元の非凸問題の大域的最適解を見つけることが保証される条件を明確にします。
2. アルゴリズム的価値: ギャップが存在する場合 ($n, m > 1$) であっても、緩和された解は依然として価値があると著者らは主張します。測度値解は、古典的関数では表現できない「概念的に満足すべき」対象（例えば、多価挙動や微細構造を捉えるもの）を表すことが多いです。モーメント・和の二乗階層（Lasserre 階層）に基づくアルゴリズムは、これらの下限値を近似するための強力なツールのままです。
3. 幾何学的測度論との関連: この研究は、変分法とカレントおよび有限周界集合の理論の間のギャップを埋め、測度を関数に分解することに関する新たな視点を提供します。
4. 実用的な指針: これらの手法を使用するエンジニアや科学者にとって、結果は以下の指針となります。
   • 問題がスカラー値 ($m=1$) の場合、緩和は正確です。
   • 問題が多次元領域におけるベクトル値 ($m>1$) の場合、特に積分制約が関与する場合は、潜在的なギャップに注意が必要です。

要約すると、Korda と Ríos-Zertuche は、スカラー値問題（余次元 1）では緩和ギャップが消滅するが、位相的制約により高次元では存続し得ることを証明することで、長年の未解決問題を解決し、ギャップが存在する場合でも測度値解の実用性を浮き彫りにしました。