Curvature bound for $L_p$ Minkowski problem

技術要約：$L_p$ ミンコフスキー問題における曲率境界

問題設定
本論文は、$\mathbb{R}^{n+1}$ における $L_p$ ミンコフスキー問題の解の正則性（regularity）を扱っている。単位球面 $S^n$ 上の正の滑らかな密度 $f$（すなわち $d\mu = f d\sigma$）を持つ測度 $\mu$ が与えられたとき、問題は、$L_p$ 表面積測度 $S_p(\Omega, \cdot)$ が $\mu$ と等しくなるような凸体 $\Omega$ を求めることである。これは、$\Omega$ の支持関数 $u$ を用いて、以下のモノー・アンペア型の方程式を解くことに等しい：
$$\det(u_{ij} + u\delta_{ij}) = f u^{p-1} \quad \text{on } S^n.$$
調査されている中心的な問いは、解となる超曲面 $\Sigma = \partial \Omega$ の $C^{1,1}$ 正則性（主曲率の有界性）である。特定の範囲（例：$p \in (-\infty, -n-1] \cup (-n-1, -n+1] \cup [n+1, \infty)$）では滑らかさが確立されているが、$p \in (-n+1, 1)$ の範囲、特に原点が凸体の境界上にある場合の正則性は、これまで十分に理解されていなかった。具体的には、$f$ が滑らかな場合において、$p \in (-n+1, 1)$ のときに解が $C^{1,1}$ であるかどうかが不明であった。

手法
著者らは、幾何学的フロー、具体的には異方性 $\alpha$-ガウス曲率フローを用いている。これは以下の進化方程式で定義される：
$$\partial_t x = -f(\nu) K^\alpha \nu,$$
ここで $\nu$ は外向き単位法線、$K$ はガウス曲率であり、$\alpha = \frac{1}{1-p}$ である。本研究は、$p \le -n+2$、すなわち $\alpha \in (0, \frac{1}{n-1}]$ に対応する範囲に焦点を当てている。

核心となる技術的戦略は以下の通りである：

1. 進化方程式： 変化する超曲面の幾何学的量（計量、第二基本形式、支持関数、および速度）に関する精密な進化方程式を導出すること。
2. 曲率推定： 進化する超曲面の主曲率 $\lambda_i$ の一様上界を確立すること。これは、最小主曲率、支持関数、および速度を含む、注意深く構成された補助関数の極大値を解析することによって達成される。証明には、非滑らかな初期データや一般化された解を扱うために Andrews によって導入された粘性解の枠組みを利用している。
3. 自己相似解： $L_p$ ミンコフski 問題の一般化された解が、異方性フローの自己相似解（ソリトン）に対応することを示す。自己相似的なフローから粘性解へと曲率推定を拡張することで、著者らはこれらの境界を静的なミンコフスキー問題へと転移させている。
4. 反例： 鋭利さ（sharpness）の結果については、縮小写像の議論を用い、Chou-Wang や Bianchi-Böröczky-Colesanti の特定の例を再検討して、限定的な正則性を持つ解を構成している。

主要な貢献と結果

1. 正則性の上限（定理 1.1）：
   本論文は、$p \in (-\infty, -n+2]$ において、正の滑らかな密度 $f$ を持つ $L_p$ ミンコフスキー問題の任意の一般化された解 $\Sigma$ が $C^{1,1}$ クラスの超曲面であることを確立している。さらに、主曲率は $n, p$, $\Sigma$ の直径, $\|f\|_{C^2(S^n)}$, および $\min_{S^n} f$ にのみ依存する定数によって一様に有界である。

   • 意義： これは $p \in (-n+1, -n+2]$ の範囲における正則性の問題を解決し、原点が境界上にある場合でも $C^{1,1}$ 正則性が成立することを確認した。

2. 結果の鋭利さ（定理 1.2）：
   著者らは、$p = -n+2$ において $C^{1,1}$ 正則性が最適であることを証明している。具体的には：

   • $p \in [-n+2, 1)$ のとき、高々 $C^{1, \frac{1}{n+p-1}}$ クラスの一般化された解が存在する。
   • $p \in (1, n+1)$ のとき、高々 $C^{1, \frac{n-p+1}{n+p-1}}$ クラスの一般化された解が存在する。
   • これらの構成は、$p > -n+2$ の場合、$f$ が滑らかであっても $C^{1,1}$ 正則性が崩れることを示している。

3. $C^{1,1}$ 正則性の完全な分類：
   既存の文献とこれらの新しい結果を組み合わせることで、本論文は、$L_p$ ミンコフスキー問題が $C^{1,1}$ クラスの超曲面の正則性を享受するのは以下のときのみであると結論付けている：
   $$p \in (-\infty, -n+2] \cup \{1\} \cup [n+1, \infty).$$

意義と主張
本論文は、$f$ が滑らかな場合の $L_p$ ミンコフスキー問題における $C^{1,1}$ 正則性の完全な調査を提供することを主張している。

• 最適性： 結果は鋭利であると主張されている。$p = -n+2$ のケースは、$\mathbb{R}^3$ における対数ミンコフスキー問題（$n=2, p=0$）を特殊なケースとして含むため、特に重要であると強調されている。この特定のケースにおいて、$C^{1,1}$ 正則性は最適である。
• 手法の新規性： 著者らは、以前の研究（Andrews; Chou-Wang）では $p \le -n+1$ に対して滑らかさと曲率推定が知られていたものの、自分たちの曲率推定と証明は新しく、この範囲まで拡張されていると述べている。原点が境界上にある可能性のある一般化された解に対して境界を導出するために、異方性フローを用いることは、重要な技術的前進である。
• 直径への依存性： 論文では、$\mathbb{R}^3$ における対数ミンコフスキー問題について、既存の一様な直径推定により、曲率境界は $\|f\|_{C^2}$ と $\min f$ にのみ依存することを指摘している。一方で、$-n-1 < p < 0$ の範囲については、$f$ に依存するそのような一様な直径推定は知られていない。

本研究は、新しい応用や実験的セットアップを提案するものではなく、凸幾何学および偏微分方程式における理論的な正則性の問題を解決し、パラメータ $p$ に基づく解の滑らかさの決定的な境界を提供するものである。