論文「特異測度に対する指定されたヤコビアンと発散のリップシッツ可解性」の技術的サマリー

著者: Luigi De Masi, Andrea Marchese
分野: 偏微分方程式、測度論、幾何学的測度論 (MSC2010: 49Q15, 26B05, 28A75)

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

本論文は、ルベーグ測度に対して**特異（singular）**である有限ラドン測度 $\mu$ 上で定義された、以下の 2 つの方程式に対する解の存在と性質を研究するものである。

1. 指定された発散方程式 (Prescribed Divergence):
   $$\text{div } V = f$$
2. 指定されたヤコビアン方程式 (Prescribed Jacobian):
   $$\det D\Phi = g$$

ここで、$f, g$ は $\mu$ に関して有界なボレル関数（データ）であり、解 $V$（ベクトル場）と $\Phi$（写像）はリップシッツ連続であることが要求される。

従来の知見との対比

• 非可閉性の結果: 先行研究 [2] において、$\mu$ がルベーグ測度に対して特異な場合、リップシッツ関数空間から $L^p(\mu)$ への微分作用素（勾配、発散、ヤコビアン）は**閉じられない（not closable）**ことが示されている。つまり、一様にゼロに収束するリップシッツ列があっても、その微分は $\mu$-測度正の集合上で大きく残存しうる。
• 本論文の目的: この「幾何学的メカニズム」を破壊的な要因としてではなく、構成的に利用することで、データが特異測度に対してのみ有界である場合でも、ルジン（Lusin）型の解（ほとんど全域で正確に成立する解）が存在することを示すことにある。

2. 主要な結果 (Main Results)

本論文の核心は、以下の 2 つの定理に要約される。これらは「ルジン型可解性」を提供する。

定理 1.1: 発散方程式のルジン型可解性

$\mu \perp \mathcal{L}^d$（$\mu$ はルベーグ測度と特異）とする。任意の $\varepsilon > 0$ と有界なボレル関数 $f$ に対して、以下の条件を満たす $C^1_c$ ベクトル場 $V$ とコンパクト集合 $K$ が存在する：

1. 測度の条件: $\mu(\Omega \setminus K) < \varepsilon$（$\mu$ のほとんど全域で成立）。
2. 方程式: $\text{div } V(x) = f(x)$ for all $x \in K$.
3. リップシッツ定数の制御: $\text{Lip}(V) \leq (1 + \varepsilon) \|f\|_{L^\infty(\Omega, \mu)}$.
4. ** supremum ノルムの制御:** $\|V\|_{C^0} \leq \varepsilon$（解を任意に小さく取れる）。

定理 1.2: ヤコビアン方程式のルジン型可解性

同様に、任意の $\varepsilon > 0$ と有界なボレル関数 $g$ に対して、$\Phi - \text{Id} \in C^1_c$ なる写像 $\Phi$ とコンパクト集合 $K$ が存在し：

1. 測度の条件: $\mu(\Omega \setminus K) < \varepsilon$.
2. 方程式: $\det D\Phi(x) = g(x)$ for all $x \in K$.
3. リップシッツ定数の制御: $\text{Lip}(\Phi - \text{Id}) \leq (1 + \varepsilon) \|g - 1\|_{L^\infty(\Omega, \mu)}$.
4. ** supremum ノルムの制御:** $\|\Phi - \text{Id}\|_{C^0} \leq \varepsilon$.

特筆すべき点:

• 解は、データ $f, g$ の $L^\infty$ ノルムに比例するリップシッツ定数を持ちながら、 supremum ノルムを任意に小さくできる。
• Corollary 1.3 により、任意の微分同相写像 $F$ に対する摂動としても同様の結果が得られる。

3. 手法と鍵となる構成要素

証明の核心は、**「方向性スカラー補題 (Directional Scalar Lemma)」**の構築にある。これは、Alberti, Csörnyei, Preiss によって開発された「幅関数 (Width functions)」の概念を応用している。

3.1 分解可能性バンドル (Decomposability Bundle)

• 特異測度 $\mu$ に対して、分解可能性バンドル $V(\mu, x)$ が定義される。
• Proposition 2.1: $\mu$ がルベーグ測度と特異である場合、$\mu$-ほとんど至る所で $V(\mu, x) \neq \mathbb{R}^d$ となる。つまり、測度の支持集合に対して「接する方向」が存在せず、常に「横断的な方向 (transverse directions)」が存在する。

3.2 円錐非可視性と幅関数

• Lemma 2.2: 任意の真部分空間に対して、それを避ける有限個の定数方向ベクトル $v_1, \dots, v_N$ が存在する。
• Lemma 2.5 (円錐非可視集合への集中): 分解可能性バンドルとある円錐 $C(e, \alpha)$ の交わりがゼロになるような方向 $e$ を取れば、$\mu$ の大部分は「$C(e, \alpha)$-null 集合」に含まれる。
• Lemma 2.6 (幅関数): 円錐非可視なコンパクト集合 $E$ に対して、方向 $e$ に関する偏微分 $\partial_e \phi = 1$ でありながら、 supremum ノルムは任意に小さく、かつ横断方向の微分が制御された滑らかな関数 $\phi$ が存在する。

3.3 局所スカラー補題 (Proposition 3.1)

上記の構成を用いて、以下のスカラー問題の解を構成する：

• 有界連続関数 $\lambda$ に対して、$\partial_e u = \lambda$ を $\mu$-ほとんど全域で満たし、かつ $\|u\|_{C^0}$ と $\|Du\|_{C^0}$ を制御する $C^1$ 関数 $u$ を求める。
• 構成法: 内則性を用いてコンパクト集合を段階的に取り、各段階で幅関数を用いた摂動を足し合わせる（級数収束の議論）。これにより、残差を指数関数的に減少させつつ、リップシッツ定数の増大を制御する。

3.4 発散・ヤコビアンへの適用

• 発散の場合: 方向 $v_j$ ごとにスカラー補題を適用し、$V = \sum u_j v_j$ と定義する。各 $u_j$ の台が互いに素であるため、発散は単純に $\partial_{v_j} u_j$ となり、指定された $f$ に一致する。
• ヤコビアン場合: $\Phi = \text{Id} + \sum u_j v_j$ と定義する。$v_j$ の方向への摂動のみを行うため、ヤコビアンは $1 + \partial_{v_j} u_j$ となり、$g$ に一致する。

4. 意義と応用

4.1 幾何学的測度論への貢献

• 平坦鎖予想 (Flat Chain Conjecture) への示唆:
  Ambrosio-Kirchheim のメトリック・カレント理論における「平坦鎖予想」は、高次元 ($2 \leq k \leq d-1$) において未解決である。この予想の解決には、特異測度上の微分形式に対するルジン型可解性理論が必要であることが指摘されている [11]。
  • 本論文の結果は、最高次元 ($k=d$) における発散方程式のルジン型可解性を示しており、これが「点ごとの端点評価 (pointwise endpoint estimates)」が失敗する状況下でも、平坦鎖予想が成立するメカニズム（ルジン型アプローチの妥当性）を明確にしている。

4.2 従来の Dacorogna-Moser 定理との対比

• 従来の Dacorogna-Moser 定理は、絶対連続な測度間の輸送問題（$\Phi_\# (f dx) = g dx$）を扱う。
• 本論文の結果は、特異測度 $\mu$ 自体を輸送するものではなく、**「$\mu$ の大部分の集合上でヤコビアンが指定された、非常に規則的な空間の全体的な変形」**を提供する。これは特異測度の文脈における輸送問題の自然な一般化と解釈できる。

4.3 測度論的アプローチの革新

• 直交可分な測度（rectifiable measures）の場合、接平面が存在するため横断方向の選択が容易である。しかし、本論文は任意の特異測度（大域的な直交構造を持たない場合も含む）に対して、分解可能性バンドルという可測構造を用いて同様の構成が可能であることを示した。これは、特異測度の解析における強力な新しい手法を提供する。

5. 結論

本論文は、特異測度上で定義された発散およびヤコビアン方程式について、データが $L^\infty$ 有界であれば、リップシッツ解が「ルジン型（ほとんど全域で正確）」に存在することを証明した。
その核心は、特異測度が本質的に持つ「横断的な方向」を利用した幅関数 (width function) の構成にある。この結果は、微分作用素の非可閉性という負の側面を、構成的な可解性のための道具へと転換させたものであり、メトリック・カレント理論や平坦鎖予想の解決に向けた重要なステップである。