Interior Hessian estimates for the quadratic Hessian equation

技術要約：二次ヘッセ方程式における内部ヘッセ推定

問題設定
本論文は、次元 $n \ge 2$ における二次ヘッセ方程式：
$$\sigma_2(D^2u) = \sum_{1 \le i < j \le n} \lambda_i \lambda_j = 1$$
の粘性解（viscosity solutions）の内部正則性を扱う。ここで $\lambda_1, \dots, \lambda_n$ はヘッセ行列 $D^2u$ の固有値である。本研究は、「正の枝（positive branch）」にある解に焦点を当てている。これは、許容条件 $\lambda(D^2u) \in \Gamma_2$、すなわち $\Gamma_2 = \{ \lambda \in \mathbb{R}^n : \sigma_1(\lambda) > 0, \sigma_2(\lambda) > 0 \}$ によって定義される。

歴史的に、この方程式に対する内部ヘッセ推定は、制限的な条件下で確立されてきた：

• $n=2$ の場合、方程式はモンジュ・アンペール方程式に帰着し、Heinz による古典的な推定が存在する。
• $n=3$ の場合、Warren と Yuan が特殊ラグランジュ構造を利用して示した。
• 任意の次元において、先行研究では凸性（Guan–Qiu, McGonagle–Song–Yuan）または半凸性（Shankar–Yuan）を必要としていた。
• 近年の Qiu、Shankar–Yuan、および Fan による研究では、これらの結果を特定の次元（例：$n=4$）や動的な半凸性条件の下へと拡張している。

本研究の主要な目的は、次元の制限と追加の凸性仮定の両方を取り除き、正の枝における許容条件のみに基づいて、任意の $n \ge 2$ に対する内部ヘッセ推定を確立することである。

手法
著者らは、ヘッセに関するヤコビ不等式や倍増引数（doubling arguments）に依存しない新しいアプローチを採用している。これらは従来の証明において中心的な役割を果たしていたものである。代わりに、証明戦略は、Chou–Wang の Pogorelov 推定が適用可能な適切な補助関数 $w$ を構成することを中心としている。手法の核心は、解 $u$ と比較解 $v$ の間の「一様な内部分離（uniform interior separation）」を確立することにある。

技術的な実行は、以下の4つの段階で行われる：

1. 比較とシード分離（Comparison and Seed Separation）:
   著者らは、より大きな球 $B_{3/2}$ において $\sigma_2(D^2v) = 1/4$ を満たし、境界上で $v=u$ となる比較解 $v$ を導入する。比較原理により、$u \le v$ が成り立つ。平均関数 $\omega = (u+v)/2$ の線形化作用素を用いた局所的な部分積分による議論を通じて、著者らは「シード分離」を確立する。すなわち、ある小さな球 $B_r(x^*)$ において $v - u \ge \varepsilon_0 > 0$ が存在する。

2. 補助関数による分離の伝播（Propagation of Separation via Auxiliary Functions）:
   この下界を小さな球から全内部領域 $B_{1/2}$ へと拡張するために、著者らは一連の補助関数を構成する。任意の点 $y \in B_{1/2}$ に対して、位相関数を以下のように定義する：
   $$\phi_y(x) = 2((x-y) \cdot Dv(x) - v(x) + v(y)) + \frac{\alpha}{2}|x-y|^2 - 2\beta|Dv(x)|^2$$
   指数型の障壁関数を $w_y = e^{(c_y - \phi_y)/\gamma} - 1$ とする。
   項 $-2\beta|Dv|^2$ は極めて重要である。これは、負の固有値によって線形化作用素における相殺が発生する可能性のあるケースを補償するために、固有値に対して正の二次項を生成する。パラメータ $\alpha, \beta, \gamma$ を慎重に選択することで、$B_r(y)$ において $v - u \ge \delta$ であれば $B_{2r}(y)$ において $v - u \ge \theta \delta$ であることを証明する。これを交差する球の連鎖に沿って反復することで、一様な下界 $v - u \ge \varepsilon_1$ を $B_{1/2}$ 内に得る。

3. 境界減衰と領域選択（Boundary Decay and Domain Selection）:
   著者らは、$(v-u)(x) \le C d_x(1 + |\log d_x|)$ （ここで $d_x$ は境界までの距離）を満たす、領域の境界付近における定量的な減衰推定を確立する。この減衰と一様な内部分離を組み合わせることで、正則な値 $\delta_1$ と部分領域 $\Omega$ を選択することができ、そのとき $w := v - \delta_1$ は $\Omega$ 内で $w > u$、$\partial \Omega$ 上で $w = u$、および $L_u w > 0$ を満たす。

4. Pogorelov 推定の適用（Application of Pogorelov Estimate）:
   構築された障壁関数 $w$ を用いて、Chou–Wang の Pogorelov 推定を適用する：
   $$\sup_{\Omega} (w-u)^4 |D^2u| \le C(n, \|Du\|_{L^\infty}, \|Dw\|_{L^\infty})$$
   $w-u$ は内部においてゼロから一様に離れているため、これにより目的の内部ヘッセ境界が得られる。

主な結果
本論文は2つの主要な定理を確立している：

• 定理 1.1（滑らかな解）: $n \ge 2$ に対し、$u \in C^\infty(B_2)$ が $B_2$ 内で $\sigma_2(D^2u)=1$ を満たすならば、ヘッセは内部で有界である：
  $$\|D^2u\|_{L^\infty(B_{1/2})} \le C(n, \|u\|_{L^\infty(B_2)}).$$
  この結果は、$f \in C^{1,1}$ である $\sigma_2(D^2u) = f(x, u, Du) > 0$ の滑らかな解にも拡張される。

• 定理 1.2（粘性解）: $n \ge 2$ に対し、$u \in C(B_2)$ が（粘性意味での）$\Delta u > 0$ を満たす (1.1) の粘性解であるならば、$u \in C^\infty(B_2)$ であり、同様の内部ヘッセ推定を満たす。

意義と主張
著者らは、自らの結果が、これまでの文献を特徴づけてきた次元の制限および凸性や半凸性の仮定を取り除くものであると主張している。証明は、補助関数の構成に関して自己完結的であり、その関数は、解が凸であることを要求することなく、正の固有値と負の固有値の相互作用を処理できる。

さらに、本論文は以下の事項を示唆している：

1. 正則性: 正の枝における粘性解は、自動的に滑らか（$C^\infty$）である。
2. Liouville 型の定理: 二次成長を持つ (1.1) の全空間解は、必ず二次多項式となる。
3. ヘッセ商方程式: 本結果は、$\Delta u > 0$ という条件下において、ヘッセ商方程式 $\sigma_2(D^2u)/\sigma_1(D^2u) = 1$ に直接適用できる。

本手法は、近年の研究で使用されている倍増引数とは異なる、明確な代替案として提示されており、特定の障壁構成に基づく、任意の次元に対する統一的なアプローチを提供している。