論文「ALEXANDROV-FENCHEL INEQUALITY FOR CONVEX HYPERSURFACES WITH CAPILLARY BOUNDARY IN A BALL」の技術的要約

1. 問題設定と背景

本論文は、ユークリッド空間 $\mathbb{R}^{n+1}$ 内の単位球 $B^{n+1}$ において、**キャピラリー境界（接触角 $\theta$ を持つ境界条件）を持つ凸超曲面に対するアレクサンドロフ・フェンケル不等式（Alexandrov-Fenchel inequality）**の確立を目的としています。

• 背景:
  • 古典的な等周不等式やアレクサンドロフ・フェンケル不等式は、閉じた凸超曲面に対してよく知られています。
  • 球 $B^{n+1}$ 内における「自由境界（Free boundary、すなわち $\theta=\pi/2$）」を持つ凸超曲面に対する相対的なアレクサンドロフ・フェンケル不等式は、Scheuer-Wang-Xia [42] によって既に研究されています。
  • しかし、液体の容器内での平衡形状を記述する接触角 $\theta \in (0, \pi)$ を持つキャピラリー境界を持つ場合の一般化された高次等周不等式（quermassintegrals に関する不等式）は未解決でした。
• 目的:
  • 球内の $\theta$-キャピラリー境界を持つ凸超曲面に対して、適切な**quermassintegral（混合体積の一般化）**を定義する。
  • その変分公式を導出する。
  • 局所的に制約された曲率流を用いて、アレクサンドロフ・フェンケル型不等式を証明する。

2. 主要な定義と準備

2.1 $\theta$-キャピラリー境界

超曲面 $\Sigma \subset B^{n+1}$ が $\theta$-キャピラリー境界を持つとは、境界 $\partial \Sigma$ が球面 $S^n = \partial B^{n+1}$ と定角 $\theta$ で交わることを意味します。

• 法ベクトル $\nu$ と球面の外向き法ベクトル $\bar{N}$ に対して、$\langle \nu, \bar{N} \rangle = -\cos \theta$ が成り立ちます。
• $\theta = \pi/2$ の場合は自由境界（直交）に対応します。

2.2 Quermassintegrals の定義

閉じた凸超曲面における quermassintegrals のアナロジーとして、$\theta$-キャピラリー境界を持つ超曲面 $\Sigma$ が囲む領域 $\hat{\Sigma}$ に対して、以下の幾何学的汎関数 $W_{k, \theta}(\hat{\Sigma})$ を定義します（$k=0, \dots, n+1$）。

• $W_{0, \theta}(\hat{\Sigma}) = |\hat{\Sigma}|$ （体積）
• $W_{1, \theta}(\hat{\Sigma}) = \frac{1}{n+1} \left( |\Sigma| - \cos \theta W^{S^n}_0(\widehat{\partial \Sigma}) \right)$ （エネルギー汎関数に比例）
• 一般の $k$ に対して、$\Sigma$ 上の平均曲率 $H_k$ の積分と、境界 $\partial \Sigma$（球面 $S^n$ 内の超曲面）上の quermassintegral $W^{S^n}_l$ を組み合わせた式を定義します。

この定義の正当性は、第 1 変分公式によって保証されます。

2.3 第 1 変分公式

超曲面の族 $\Sigma_t$ が法速度 $f$ で運動する場合、以下の関係が成り立ちます（定理 1.2, 2.10）。
$$\frac{d}{dt} W_{k, \theta}(\hat{\Sigma}_t) = \frac{n+1-k}{n+1} \int_{\Sigma_t} H_k f \, dA, \quad (1 \le k \le n)$$
$$\frac{d}{dt} W_{n+1, \theta}(\hat{\Sigma}_t) = 0$$
特に、$W_{n+1, \theta}$ は保存量であり、$W_{k, \theta}$ は特定の条件で単調増加します。

3. 手法：局所的に制約された曲率流

不等式の証明には、**局所的に制約された逆型曲率流（Locally constrained inverse type curvature flow）**を用います。

3.1 流の定義

初期超曲面 $\Sigma_0$ に対して、以下の発展方程式を解きます（式 3.1）：
$$\partial_t x = f \nu + T$$
ここで、法速度 $f$ は以下のように定義されます：
$$f = \frac{\langle x + \cos \theta \nu, e \rangle}{F} - \langle X_e, \nu \rangle$$

• $e$: 初期超曲面の幾何学的性質に基づいて選定された定ベクトル（Proposition 2.16）。
• $F = \frac{H_n}{H_{n-1}} = \frac{n \sigma_n}{\sigma_{n-1}}$: 曲率の比（逆型曲率流の典型的な速度）。
• $X_e = \langle x, e \rangle x - \frac{1}{2}(|x|^2+1)e$: 球面 $S^n$ に平行な共形キリングベクトル場。
• $T$: 接成分で、境界条件を維持するために調整されます。

3.2 流の性質

この流は以下の重要な性質を持ちます（Proposition 3.1）：

1. 保存量: $W_{n, \theta}(\hat{\Sigma}_t)$ は時間に対して保存されます。
2. 単調性: $k < n$ に対して $W_{k, \theta}(\hat{\Sigma}_t)$ は非減少です。
3. 収束: 流は時間 $t \to \infty$ で、初期値と同じ $W_{n, \theta}$ を持つ、中心 $e$ 周りの**球面キャップ（spherical cap）**に滑らかに収束します。

3.3 技術的困難と解決

• 境界条件: キャピラリー境界条件は、標準的な曲率流の解析において境界での挙動を複雑にします。
• 解法:
  • モビウス変換を用いて、球内の問題を半空間 $\mathbb{R}^{n+1}_+$ 上の問題に変換し、スカラー方程式（グラフ関数の発展方程式）に帰着させます。
  • 一様な曲率評価（上下界）を証明するために、Minkowski 公式の一般化（Proposition 2.8）と、適切な**バリア（球面キャップの族）**の構成を用います。
  • 厳密な凸性の保存と、曲率の上下界の推定により、長期的な存在と収束性を示します。

4. 主要な結果

4.1 アレクサンドロフ・フェンケル不等式（定理 1.3）

$\theta \in (0, \pi/2]$ に対して、$\theta$-キャピラリー境界を持つ凸超曲面 $\Sigma$ について、以下の不等式が成り立ちます：
$$W_{n, \theta}(\hat{\Sigma}) \ge (f_n \circ f_k^{-1})(W_{k, \theta}(\hat{\Sigma})), \quad 0 \le k \le n-1$$
ここで、$f_k(r) = W_{k, \theta}(\widehat{C_{\theta, r}})$ は半径 $r$ の球面キャップに対する $W_{k, \theta}$ の値を表す狭義単調増加関数です。

• 等号成立条件: 等号が成立するのは、$\Sigma$ が球面キャップまたは平坦な円盤（$\theta$-キャピラリー境界を持つ）である場合に限られます。

4.2 Gauss-Bonnet-Chern 公式の一般化

$n+1$ 次元の quermassintegral について、以下の定数値が得られます（式 1.8）：
$$W_{n+1, \theta}(\hat{\Sigma}) = \frac{\omega_n}{2(n+1)} I_{\sin^2 \theta}\left(\frac{n}{2}, \frac{1}{2}\right)$$
ここで $I_x(a, b)$ は正則化不完全ベータ関数です。これは、自由境界の場合（$\theta=\pi/2$）の結果を一般化したものです。

4.3 具体的な例（$n=2$ の場合）

3 次元球内の凸曲面（$n=2$）に対して、ミンコフスキー型不等式が得られます（Corollary 1.4）：
$$3W_{3, \theta}(\hat{\Sigma}) = \int_\Sigma H_2 dA - \cos \theta |\widehat{\partial \Sigma}| + \sin \theta |\partial \Sigma| = 2\pi(1-\cos \theta)$$
$$W_{2, \theta}(\hat{\Sigma}) \ge (f_2 \circ f_1^{-1})\left( \frac{1}{3}(|\Sigma| - \cos \theta |\widehat{\partial \Sigma}|) \right)$$

5. 意義と貢献

1. 自由境界からキャピラリー境界への一般化:
   既存の自由境界（$\theta=\pi/2$）の結果 [42] を、物理的に重要な任意の接触角 $\theta$ を持つキャピラリー境界へと拡張しました。これにより、液体の容器内での平衡形状に関する幾何学的不等式の理論が完成されました。

2. 新しい Quermassintegral の定義と変分公式:
   境界項を含む新しい幾何学的汎関数を定義し、その第 1 変分公式を導出しました。これが曲率流の設計と不等式の証明の基盤となっています。

3. Minkowski 公式の一般化:
   キャピラリー境界を持つ超曲面に対する高次 Minkowski 型公式（式 2.7）を新たに導出しました。これは、曲率流の速度関数を設計する上で決定的な役割を果たしました。

4. 手法の洗練:
   局所的に制約された曲率流を、キャピラリー境界条件の下で厳密に解析し、一様な曲率評価と収束性を証明しました。これは、球面内の他の幾何的不等式（Willmore 型不等式など）の証明にも応用可能な手法です。

5. 物理的・幾何学的意義:
   接触角を持つ液滴や界面の形状に関する最適化問題（等周問題の一般化）に対して、厳密な数学的裏付けを提供しました。

総じて、本論文は微分幾何学における等周不等式の分野において、境界条件の一般化という重要なステップを踏むとともに、曲率流を用いた不等式証明の手法をさらに発展させた画期的な研究です。