Strict Convexity and Sharp Power Concavity for a Graphical $\sigma_2$-Curvature Equation

技術要約：グラフィカルな $\sigma_2$ 曲率方程式における厳密凸性と鋭い冪（べき）凹性

問題設定
本論文は、勾配に依存する所与の右辺を持つ特定の完全非線形楕円方程式の解の凸性に関する性質を扱う。$\Omega \subset \mathbb{R}^n$ ($n \ge 3$) を有界で滑らかな一様凸領域とする。方程式は次のように与えられる：
$$\sigma_2(\kappa[u]) = (1 + |Du|^2)^{-2}, \quad u < 0 \text{ in } \Omega, \quad u = 0 \text{ on } \partial\Omega,$$
ここで $\kappa[u]$ はグラフ $\Sigma_u = \{(x, u(x))\}$ の主曲率を表し、$\sigma_2$ は曲率の第2基本対称関数である。解は $\Gamma_2$-許容（その曲率ベクトルがガドーディング・コーン $\Gamma_2$ に含まれること）である必要がある。

中心となる問いは、特定の非線形変換 $v = -\sqrt{-u}$ が $\Omega$ 内で厳密に凸であるかどうかである。これは、マカリーマン・リマノフ（ねじれ関数における平方根凹性）やブラスカルプ・リーブ（固有関数の対数凹性）などの研究によって確立された、「自然な」凸性または凹性変換を特定するという広範なテーマに関連している。

手法
$v$ の厳密凸性の証明は、主に以下の3つの構成要素の組み合わせに基づいている：

1. 変換と方程式の導出： 著者は $v = -\sqrt{-u}$ が満たす正確な偏微分方程式を導出する。重要な観察として、元の方程式の右辺における指数 $-4$（$\omega = \sqrt{1+|Du|^2}$に対して$\omega^{-4}$に対応）は特異である。変換$u = -v^2$の下で、新しい方程式の右辺は定数 ($1/4$) となる。これにより、構造解析が大幅に簡略化される。
2. 定数ランク定理： 証明の核となるのは、$D^2v \ge 0$（弱凸性）であれば、$D^2v$ のランクが領域全体で一定であることを確立することである。論文では、この定数ランク特性に対して2つの異なる証明を提供している：
   • 次元 $n=3$： Ma–Xu 型の簡約に従う直接的な議論。ランクが最小となる点において、ヘッセ行列は $2 \times 2$ のブロックに縮小され、微分された方程式を分析することで、最小ランクが孤立しないことを示す。
   • 任意の次元 ($n \ge 3$)： Bian–Guan の微視的凸性原理を用いた証明。これには、変換された方程式のレベル集合に関する「逆凸性」構造条件の検証が必要である。著者は、グラフィカルな方程式から生じる追加の勾配依存ニュートン・テンソル項 ($T_2$) を組み込むために、Li–Ma–Salani によって開発された双曲多項式の枠組みを拡張している。
3. 大域的変形引数： 定数ランク定理は内部的な剛性を提供するが、出発点として厳密凸性が必要である。著者は単位球 $B_1$ 上の厳密に凸な解を構成し、ミンコフスキー・ファミリーの領域 $\Omega_s = (1-s)B_1 + s\Omega$ を介して、任意の領域 $\Omega$ へドメインを変形させる。
   • 境界における厳密凸性： Korevaar の補題を用いて、境界 $\partial\Omega$ 付近での $v$ の厳密凸性が確立される。
   • 連続法： 著者らは、変形経路全体にわたる滑らかな $\Gamma_2$-許容解の存在を、一様な $C^{2,\alpha}$ 推定値を用いて証明する。これは、指定された曲率方程式に関する大域的な曲率推定（Guan–Ren–Wang）および $\Gamma_2$ 条件の保存に依拠している。
   • 開閉議論： パラメータ $s$ の集合のうち、$D^2v_s > 0$ となる集合が（$s=0$ において）非空であり、（安定性により）開集合であり、（定数ランク定理によってランクの退化が防がれるため）閉集合であることを示す。

主要な貢献と結果

• 定理 1.1 (厳密凸性)： 任意の有界で滑らかな一様凸領域 $\Omega \subset \mathbb{R}^n$ ($n \ge 3$) に対し、グラフィカルな $\sigma_2$ 曲率方程式の唯一の $\Gamma_2$-許容解 $u$ は、$D^2(-\sqrt{-u}) > 0$ を $\Omega$ 内で満たす。
• 指数の最適性： 本論文は、変換 $v = -\sqrt{--u}$ における指数 $1/2$ が鋭い（最適である）ことを証明している。定理 4.1 は、任意の $\gamma > 1/2$ に対して $(-u)^\gamma$ が必ずしも凹になるとは限らないことを示す反例を構成する。その証明は、凸錐の頂点付近でのスケーリング引数を利用しており、解が境界付近で二次的に消失することを示している。これは、$\gamma > 1/2$ の場合に $(-u)^\gamma$ の凹性に必要な線形成長と矛盾する。
• 構造的拡張： 本研究は、定数ランク理論を、標準的なヘッセ方程式（演算子が $D^2u$ のみに依存する）から、勾配への非線形な依存性を伴うグラフィカルな曲率方程式へと拡張するものである。これは、グラフィカルな $T_2$ 項を逆凸性の枠組みに統合することによって達成される。

意義と主張
本論文は、グラフィカルな $\sigma_2$ 曲率方程式の解に対する自然な平方根変換の、最初の全域的な厳密凸性の結果を確立したと主張している。著者は、曲率指定における指数 $-4$が、変換された方程式の右辺を定数にする決定的な値であることを特定しており、これは平均曲率方程式における指数$-3$ に相当する。

その意義は以下の通りである：

1. 体系の完成： 従来の定数ランクおよび凸性理論（Korevaar–Lewis, Bian–Guan, Ma–Xu）を、勾配依存性を伴うより複雑な幾何学的設定へと拡張した。
2. 鋭さ： この種の形式に対する最適な冪（べき）凹性の指数を決定し、より大きな指数が普遍的な凹性を生み出さないことを示した。
3. 手法の統一： 微視的凸性原理と双曲多項式の構造が、グラフィカルな $T_2$ 項によって導入される代数的な複雑さを扱うためにどのように適応できるかを実証し、$n \ge 3$ の次元における統一的なアプローチを提供した。

著者は、本研究を、標準的なヘッセ方程式とより複雑な幾何学的曲率フローとの間の架け橋となる、完全非線形 $\sigma_2$ 型の平均曲率型定数ランク理論の拡張として位置づけている。