論文「リーマン幾何における準凸性」の技術的サマリー

著者: Aurora Corbisiero, Chiara Leone, Carlo Mantegazza
概要: この論文は、滑らかなリーマン多様体 $(M, g)$ 上の接空間と $\mathbb{R}^m$ の間の線形写像のベクトル束上で定義された連続関数 $f$ に対して、「準凸性（quasiconvexity）」の概念を導入し、それが変分積分汎関数の弱*下半連続性と等価であることを証明するものです。これは、ユークリッド空間における古典的な変分法の結果をリーマン幾何の文脈へ自然に一般化したものです。

---

1. 問題設定 (Problem)

変分法の基本的な問題の一つは、ソボレフ空間 $W^{1,p}(\Omega, \mathbb{R}^m)$ 上で定義された積分汎関数
$$F(u, \Omega) = \int_{\Omega} f(x, u(x), Du(x)) \, dx$$
の最小値の存在を保証するための条件を特定することです。

• ユークリッド空間における既知の結果:
  • 標数 $m=1$（スカラーの場合）の場合、汎関数の弱（または弱*）下半連続性は、被積分関数 $f$ の第 3 変数（勾配 $\xi$ に対して）の凸性と等価です。
  • 標数 $m>1$（ベクトル値の場合）の場合、凸性は十分条件ですが必要条件ではありません。この場合、**準凸性（Morrey によって導入）**が、適切な成長条件の下で汎関数の下半連続性と等価であることが知られています（Acerbi-Fusco の定理など）。
• 本研究の課題:
  • 上記の理論を、ユークリッド空間 $\mathbb{R}^n$ から、一般のリーマン多様体 $(M, g)$ へと拡張すること。
  • リーマン多様体上では、異なる点における接空間（およびその双対空間）を直接加えることができないため、従来の準凸性の定義（$\xi + D\phi$ のような形）をそのまま適用できません。この幾何学的な障壁を克服し、適切な「リーマン幾何における準凸性」を定義し、それが積分汎関数
    $$F(u, \Omega) = \int_{\Omega} f(du) \, d\mu$$
    の $W^{1,\infty}(\Omega, \mathbb{R}^m)$ における弱*位相での逐次的下半連続性と等価であることを示すことが目的です。

2. 手法と定義 (Methodology)

2.1 幾何学的設定と記法

• $(M, g)$ を $n$ 次元の滑らかで連結、完備なリーマン多様体とし、$\mu$ をその標準的な体積測度とする。
• 対象とする関数 $f$ は、ベクトル束 $L(TM, \mathbb{R}^m)$（各点 $x \in M$ における $T_xM$ から $\mathbb{R}^m$ への線形写像の空間）上で定義された連続関数。
• 局所的な計算を容易にするため、指数写像 $\exp_x$ と、$x_0$ における正規座標系（または直交フレーム）を用いて、接空間 $T_{x_0}M$ と $\mathbb{R}^n$ を局所的に同一視する。

2.2 リーマン幾何における準凸性の定義 (Definition 2.1)

ユークリッド空間の定義を一般化するために、指数写像の微分を用いた「補正項」を導入する。
$f: L(TM, \mathbb{R}^m) \to \mathbb{R}$ が準凸であるとは、任意の $x_0 \in M$、$\alpha_{x_0} \in (T_{x_0}M)^m$、およびコンパクト台を持つ滑らかな関数 $\phi \in C^\infty_c(Q^r_{x_0}, \mathbb{R}^m)$ に対して、以下の不等式が成り立つことである：
$$f(\alpha_{x_0}) \leq \frac{1}{\mu(Q^r_{x_0})} \int_{Q^r_{x_0}} f\left( \alpha_{x_0} + d\phi[x] \circ d\exp_{x_0}[\exp^{-1}_{x_0}(x)] \right) d\mu(x) + o(1)$$
ここで、

• $Q^r_{x_0}$ は指数写像による $T_{x_0}M$ 上の立方体の像。
• $d\exp_{x_0}[\exp^{-1}_{x_0}(x)]$ は、点 $x$ での摂動の微分 $d\phi[x]$ を、基準点 $x_0$ の接空間（正確には $T^*_{x_0}M$）へ「持ち運ぶ」ための補正因子（指数写像の微分）である。
• $o(1)$ は $r \to 0$ で 0 に収束する項であり、$\|d\phi\|_\infty$ のみに依存する単調非減少関数。

重要な点: ユークリッド空間では指数写像は恒等写像であり、この補正項は不要になる。したがって、この定義はユークリッド空間の古典的な準凸性を自然に包含する。

3. 主要な結果 (Key Results)

論文の核心は、定義された準凸性と積分汎関数の下半連続性の同値性を示す定理です。

定理 3.1 (準凸性 $\Rightarrow$ 下半連続性)

$f$ が定義 2.1 の意味で準凸であれば、任意の有界開集合 $\Omega \subseteq M$ に対して、汎関数
$$u \mapsto F(u, \Omega) = \int_{\Omega} f(du) \, d\mu$$
は $W^{1,\infty}(\Omega, \mathbb{R}^m)$ の弱*位相に関して逐次的に下半連続である。

• 証明の概要:
  1. 任意の点 $x_0$ において、局所的に準凸性の定義を適用する。
  2. 摂動関数 $\phi_j = \psi(u_j - u)$ を構成し、$u_j \rightharpoonup^* u$ となる列に対して評価を行う。
  3. $f$ の一様連続性（モジュラス $\omega$）と、指数写像の微分が単位行列に近づく性質（$r \to 0$ で $o(1)$ となる）を用いて、積分を評価する。
  4. レベスグ点の性質と Radon-Nikodym 定理を用いて、局所的な不等式を積分全体の不等式に昇華させる。

定理 3.2 (下半連続性 $\Rightarrow$ 準凸性)

逆に、すべての有界開集合 $\Omega$ に対して汎関数 $F$ が弱*下半連続であれば、$f$ は定義 2.1 の意味で準凸である。

• 証明の概要:
  1. 特定の点 $x_0$ と値 $\alpha_{x_0}$ に対して、定数関数 $u(x) \equiv \alpha_{x_0} \cdot x$（局所的に）のような関数を考える。
  2. 周期関数を用いた高速振動する摂動 $\phi_h$ を構成し、$u + \phi_h \rightharpoonup^* u$ となる列を作る。
  3. 下半連続性の仮定を適用し、$h \to \infty$ の極限を取ることで、準凸性の定義式を導出する。
  4. この際、指数写像のヤコビアンが 1 に収束することを利用する。

定理 3.3 (主定理)

$f$ が連続であるとき、以下の同値性が成り立つ：

• $f$ はリーマン幾何における準凸性（定義 2.1）を満たす。
• 任意の有界開集合 $\Omega \subseteq M$ に対して、汎関数 $F(u, \Omega)$ は $W^{1,\infty}(\Omega, \mathbb{R}^m)$ の弱*位相で逐次的に下半連続である。

これは、Acerbi-Fusco の定理（$p=\infty$ の場合）をリーマン多様体へ一般化したものとなる。

4. 意義と将来の展望 (Significance and Future Directions)

• 理論的意義:
  • 非線形弾性力学や微分幾何学における変分問題において、リーマン多様体上の解の存在性を議論する際の基礎的な枠組みを提供する。
  • 接空間の非線形性（曲率）を考慮した上で、どのようにして「凸性」の概念を適切に拡張できるかを示した点で重要である。特に、指数写像の微分を用いた「平行移動的な補正」が本質的な役割を果たしている。
• 今後の研究方向 (第 4 章):
  1. $W^{1,p}$ への拡張: $1 \leq p < \infty$ の場合への一般化（Acerbi-Fusco の定理 1.3 のリーマン版）。
  2. 写像の目標空間: 目標空間が $\mathbb{R}^m$ ではなく、別のリーマン多様体 $N$ である場合（$u: M \to N$）への拡張。Focardi-Spadaro の結果と組み合わせることで、完全にリーマン的な設定（両側リーマン多様体間のソボレフ写像）での準凸性の特徴付けが可能になる。
  3. Carathéodory 関数: 連続性ではなく、Carathéodory 条件（$x$ について可測、$(u, \xi)$ について連続）を満たす関数への拡張。
  4. 他の凸性概念: リーマン設定における「多凸性（polyconvexity）」や「ランク 1 凸性（rank-one convexity）」の導入と、それらと準凸性の関係性の検討（ユークリッド空間と同様の包含関係が成り立つか）。

結論

この論文は、変分法の古典的な結果である「準凸性と下半連続性の同値性」を、リーマン多様体という非線形な幾何学的背景を持つ空間へ厳密に拡張することに成功しました。指数写像の微分を用いた巧妙な定義と、その同値性の証明は、リーマン多様体上の非線形偏微分方程式や幾何学的変分問題の研究において重要なツールとなります。