技術要約：$L^\infty$ におけるベクトル値変分法および Aronsson PDE 系への導入

1. 問題設定と背景

本論文は、$L^\infty$ における変分法、すなわち古典的な積分汎関数ではなく**上限汎関数（supremal functionals）**を扱う変分問題に関する分野を扱っている。スカラー理論（未知関数が $\mathbb{R}$ に写像される場合）は G. Aronsson によって 1960 年代に確立されたが、ベクトル値の場合（未知写像 $u: \Omega \subseteq \mathbb{R}^n \to \mathbb{R}^N$ で $N \geq 2$ の場合）は、2010 年代初頭に始まったより新しい展開である。

中心となる問題は、ベクトル値の上限汎関数に対する堅牢な変分枠組みが欠如していることである。古典的な積分設定（$L^p$）では、微分を通じて導かれる Euler-Lagrange 方程式によって極小値が特徴付けられる。しかし、次のような形式の上限汎関数：
$$E_\infty(u, \mathcal{O}) := \text{ess sup}_{x \in \mathcal{O}} H(x, u(x), Du(x))$$
は微分不可能である。したがって、標準的な変分手法は失敗する。さらに、$L^\infty$ では上限の非加法性により「大域的極小値」という概念は不十分である。適切な概念は、自身の境界値に関してすべての部分領域で汎関数を最小化する**絶対極小値（absolute minimizer）**である。

本論文は、これらの汎関数の極値条件として生じる PDE システムである Aronsson システムの導出と分析に焦点を当てており、特に問題のベクトル的な性質（$N \geq 2$）によって導入される重大な複雑さを強調している。

2. 手法

著者らは、古典的な積分変分法と対比させながら、この分野を紹介するために多角的なアプローチを採用している：

• 極限操作（$L^p$ 近似）： Aronsson システムを導出するための主要な手法は、$L^p$-ディリクレ積分（$\int |Du|^p$）に関連する Euler-Lagrange 方程式の $p \to \infty$ の形式的な極限を取ることである。これにより、極限 PDE の構造が明らかになる。
• 幾何学的分解： ベクトル値の場合、著者らは勾配 $Du$ の値域への直交射影とその直交補空間を利用している。これにより、極限 PDE システムを写像の像に対する**接方向（tangential）成分と法方向（normal）**成分に分解することができる。
• 一般化解（D-solutions）： 係数が不連続であるために、古典的な解（たとえ $C^2$ であっても）が存在しないか、あるいは点ごとに PDE を満たさない可能性があることを認識し、本論文は D-solutions を導入している。この理論は、**ヤング測度（Young measures）**と、積分による部分積分や最大値原理を回避し、差分商の極限を介した微分（拡散微分）の確率論的表現に基づいている。
• 変分特性： 特定の変分クラス（スカラー vs ベクトル、接方向 vs 法方向）が Aronsson システムの解を特徴付けることができるかどうかを調査し、「ランク1絶対極小（rank-one absolute minimizers）」と「最小面積（minimal area）」条件を区別している。

3. 主要な貢献と結果

3.1. ベクトル値 Aronsson システム

本論文は、一般的な supremand $H(x, \eta, P)$ に対する完全なベクトル値 Aronsson システムを導出している。スカラーの場合が単一の 2 階非線形準線形方程式を与えるのに対し、ベクトル値の場合は一般に 2 つの独立した部分からなるシステムを生じさせる：

1. 接方向成分： 写像の像に沿った変分に関連する。
2. 法方向成分： 写像の像に垂直な変分に関連する。

モデルとなる $\infty$-ディリクレ汎関数（$H = |Du|$）の場合、システムは以下の通りである：
$$\Delta_\infty u := \left( Du \otimes Du + |Du|^2 [[Du]]^\perp \otimes I \right) : D^2 u = 0$$
ここで $[[Du]]^\perp$ は $Du$ の値域の直交補空間への射影である。これは以下のようにデカップル（分離）される：

• $Du \, D(\frac{1}{2}|Du|^2) = 0$ （接方向）
• $|Du|^2 [[Du]]^\perp \Delta u = 0$ （法方向）

3.2. 相分離と不連続係数

決定的な知見は、ベクトル値 Aronsson システムが、滑らかな解に対しても不連続な係数を持つことである。これは、領域全体で勾配 $Du$ のランクが一定ではないために起こる。

• 相分離（Phase Separation）： 領域は相（例：$\text{rk}(Du)=1$ である $\Omega_1$ と $\text{rk}(Du)=2$ である $\Omega_2$）に分解される。
• 界面（Interfaces）： これらの相の間の界面において、射影演算子 $[[Du]]^\perp$ は不連続になる。
• 構造定理： 2 次元における $C^2$ 解に対して、その写像は、アイコナル方程式（Eikonal equation）を満たす浸漬（immersion）（ランク 2）、または本質的にスカラーの $\infty$-調和関数（ランク 1）のいずれかである。

3.3. 絶対極小性の失敗

本論文は、スカラーの場合とは異なり、ベクトル値の絶対極小値は必ずしも $\infty$-調和写像を特徴付けないことを示している。

• $\infty$-Laplace システムは、ベクトル値の場合において絶対極小性を保証するには不十分である。
• 新しい変分概念である $\infty$-Minimal maps が導入されており、これは写像が「ランク1絶対極小（接方向）」であり、かつ「$\infty$-最小面積（法方向）」を持つことを要求する。
• 滑らかな $\infty$-調和写像が、上限汎関数の大域的極小値にならない反例が存在する。

3.4. D-solutions の存在

古典的な解の非存在、および（不連続な係数を持つベクトル値システムには直接適用できないビスコシティ解理論の限界に対処するため、本論文は D-solutions の存在結果を提示している。

• 定理： $H$ に対する特定の構造的仮定の下での Aronссоン・システムのディリクレ問題に対して、リプシッツ浸漬（Lipschitz submersions）のクラスにおいて無限個の D-solutions が存在する。
• 非一意性： 解は一意的ではない。これは $n=N=2$ の滑らかな解においても観察される現象である。証明には、微分包含（differential inclusion）に適用された ベア・カテゴリー法（Baire category method）（Dacorogna-Marcellini）が用いられている。

4. 意義と応用

本論文は、ベクトル値 $L^\infty$ 変分法を、古典的な PDE 理論を超えた新しいツールを必要とする、明確かつ困難な独自の分野として位置づけている。その意義は以下の通りである：

• 理論的深化： ベクトル値の場合が単なるスカラーの場合の一般化ではなく、相分離、不連続係数、非一意性といった、変分的な景観を根本的に変える独自の構造的特徴を持っていることを確立した。
• 応用： 著者らは、平均（積分）を最小化することよりも、最大誤差（上限）を最小化することの方が現実的な、いくつかの実世界の動機を挙げている：
  • 最適リプシッツ拡張： 境界データに対する最も滑らかな拡張を見つける。
  • 準共形写像の最適化： 写像の拡張率（dilation）を最小化する。
  • 変分データ同化： 特に気象予報（4DVar）において、モデルの観測からの最大偏差を最小化することは、誤差の「スパイク」を避けるために極めて重要である。
  • 画像処理および工学： 最適形状設計、逆問題、破壊力学への応用。

本論文は、スカラー理論が十分に発展している一方で、ベクトル値理論はまだ初期段階にあり、Aronsson システムが $L^\infty$ における極値条件の研究における中心的な対象であることを結論付けている。D-solutions の導入は、微分可能性の欠如と非楕円的な性質を持つこれらのシステムを扱うための厳密な枠組みを提供するものである。