A concavity inequality and interior $C^2$ estimate for Hessian quotient equations

技術要約：ヘッセ・クォーシェント方程式における凹性不等式と内部 $C^2$ 評価

問題設定
本論文は、凸解に対する完全非線形ヘッセ・クォーシェント（Hessian quotient）方程式の形式：
$$F(D^2u) := \frac{\sigma_k(D^2u)}{\sigma_l(D^2u)} = f(x, u)$$
（ここで $1 \le l < k \le n$ であり、$\sigma_k$ はヘッセ行列の固有値の第 $k$ 基本対称関数を表す）における、内部ヘッセ評価（内部 $C^2$ 正則性）を確立するという基礎的な問題に取り組んでいる。

モンジュ・アンペール方程式（$k=n, l=0$）については、$n=2$ の場合において内部 $C^2$ 評価が十分に理解されており、また様々な構造的仮定の下で $\sigma_2(D^2u)=f$ のような特定のケースも理解されている。しかし、一般的なヘッセ・クォーシェントについては、大きな空白が存在する。先行研究において、Pogorelov や Urbas は、追加の構造がない場合、$k \ge 3$ ではこのような評価が成立しないことを示した。最近の進展として、Lu と Tsai [LT26] は、隣接するクォーシェント（$k-l=1$）および $k-l=2$ のケースについて内部評価を確立したが、彼らの枠組みは、演算子 $F$ に関する凹性不等式に関する代数的な仮定（[LT26] における Assumption 1.1）に依存していた。本論文は、これらの $k-l \in \{1, 2\}$ のケースにおいて、その仮定を厳密に証明することを目的としている。

手法
著者らは、代数的不等式、幾何学的変換、および正則性理論を組み合わせた多段階的な解析的アプローチを採用している：

1. 代数的凹性不等式： 本研究の核心は、ヘッセ・クォーシェント演算子に対する定量的凹性不等式の証明である。著者らは、最大の固有値 $\lambda_{\max}$ の重複度が $m$ である特定のシナリオに焦点を当てている。ここでは、最大の固有値に関する Jacobi 不等式の計算から生じる方向、すなわち最初の $m$ 個の成分が等しい（$\xi_1 = \dots = \xi_m$）方向 $\xi$ に分析を限定している。

   • $k-l=1$ のケース（隣接クォーシェント $\sigma_k/\sigma_{k-1}$）では、商 $q_k = \sigma_k/\sigma_{k-1}$ の性質を用いて、この不等式を直接的に確立する。
   • $k-l=2$ のケースでは、「一次元リフティング（one-dimensional lifting）」技術を利用する。固有値 $\lambda \in \mathbb{R}^n$ を $\Lambda = (\lambda, \sqrt{F(\lambda)})$ を用いて $\mathbb{R}^{n+1}$ へ埋め込む。この変換により、問題が高次元における隣接クォーシェントへと還元され、これにより $k-l=1$ の結果を適用することが可能となる。
   • 主要な不等式（Lemma 2.4）の証明には、固有値の漸近解析と Newton 不等式の使用を含む矛盾による証明を用いている。

2. Jacobi 不等式とルジャンドル変換： 凹性不等式が確立された後、著者らは $b = \log \lambda_{\max}(D^2u)$ に関する Jacobi 不等式を導出する。Lu と Tsai [LT26] の枠組みに従い、この Jacobi 不等式をルジャンドル変換、平均値の不等式、および部分積分と組み合わせることで、内部ヘッセ評価を導き出す。

3. Liouville 定理： 全単射な解の剛性を証明するために、Bian と Guan による定数ランク定理を適用し、凸な全解のヘッセ行列がフルランクであることを示す。次に、ルジャンドル変換を用いて問題を双対方程式へと写像する。双対解の一様な有界性を確立し、Evans-Krylov 評価を適用することで、元の解が二次多項式であることを示し、双対解のヘッセ行列が定数であることを導く。

主要な貢献と結果

• 定理 1.1 (凹性不等式)： 著者らは、$k-l \in \{1, 2\}$ の場合、最大の固有値が十分に大きく、かつテストベクトル $\xi$ が重複条件（$\xi_1 = \dots = \xi_m$）を満たすとき、特定の凹性不等式が成立する定数 $A$ および $K$ が存在することを証明する。この結果は、Lu-Tsai 枠組みで必要とされる構造的仮定を検証するものである。
• 定理 1.2 (内部 $C^2$ 評価)： 定理 1.1 と Lu-Tsai 枠組みの直接的な帰結として、著者らは $k-l \in \{1, 2\}$ の場合において、凸解 $\sigma_k(D^2u)/\sigma_l(D^2u) = f$ に対する内部ヘッセ評価を確立する。具体的には、$|D^2u(0)| \le C$ であり、ここで $C$ は次元、解の $C^{0,1}$ ノルム、および $f$ の正則性に依存する。
• 定理 1.3 (Liouville 定理)： 本論文は、二次成長（$u(x) \ge a|x|^2 - c$）を持つ $\sigma_k(D^2u)/\sigma_l(D^2u) = 1$ の全凸解 $u \in C^4(\mathbb{R}^n)$ は必ず二次多項式であることを証明する。これは、これまでの剛性結果をこのより広いクラスへと拡張するものである。

意義と主張
本論文は、ヘッセ・クォーシェント方程式の凸解に対する内部 $C^2$ 正則性の分類を完了したと主張している。$k-l=1$ および $k-l=2$ のケースにおける代数的凹性不等式を解決することで、特異解が存在しないことが知られている領域（$l \le k-3$ のケースとは異なる）における理論の残された空白を埋めている。

著者らは、自らの結果が既知の特異な例（$l \le k-3$ の場合）と組み合わさることで、鋭い二分法を提供することを指摘している。すなわち、構造的条件（検討された条件）の下で、凸解に対して内部 $C^2$ 評価が成立するための必要十分条件は $k-l \in \{1, 2\}$ である。さらに、Liouville 定理は、特定のクォーシェント方程式で見られる剛性の現象をこのより広いクラスへと拡張し、二次成長が解を二次多項式に強制することを裏付けている。

本研究は、Lu と Tsai [LT26] によって構築された枠組みに依拠しており、リフティング技術を用いて $k-l=2$ のケースを扱うことで、それを拡張するものである。また、著者らは Tsai [T26] が、対称多項式の基底変換を用いた異なる手法を用いて $k-l=1$ のケースの仮定を独立して証明したことに触れているが、本論文は $k-l=2$ のためのリフティング技術を用いて、両方のケースに対して統一的なアプローチを提供している。