Exterior Dirichlet Problems for Hessian Quotient Equations of Mixed Type

技術要約：混合型のヘッセ・商方程式における外部ディリクレ問題

問題設定
本論文は、有界領域 $D \subset \mathbb{R}^n$ ($n \geq 3$) の補集合における、以下の混合型ヘッセ・商方程式の外部ディリクレ問題を調査している：
$$\frac{\sigma_k(\eta(D^2u))}{\sigma_l(\eta(D^2u))} = 1 \quad \text{in } \mathbb{R}^n \setminus D,$$
境界条件は $\partial D$ 上で $u = \phi$ である。ここで、$\eta(M) = (\text{tr } M)I - M$ は対称行列上の線形作用素であり、$\sigma_k$ は固有関数の第 $$k$$ 次基本対称関数を表す。本研究は、規定された二次漸近挙動を示す、滑らかで厳密な $\tilde{\Gamma}_k$-許容な解を見つけることに焦点を当てている。

著者らは、指数の範囲 $k$ と $l$ に関する既存の文献における特定の空白に対処している。Chen–Dong–Han [3] による混合型ヘッセ・商方程式に関する先行研究では、境界推定における代数的な制約により、$l + 2 \leq k \leq n$ という範囲に限定されていた。本論文は、指数 $k - l$ の差に制限を設けることなく、外部問題における存在性と一意性を確立することを目的としている。これには、臨界的なケースである $l = n - 1$（すなわち $k=n$）も含まれる。

手法
証明戦略は、Li および Xiao [18] の研究に着想を得た3段階の劣解（subsolution）構成と、Caffarelli および Li [4] による正則化最大値法に基づいている。手法は以下の通り進行する：

1. 劣解の構成:

   • 境界近傍の障壁: $\partial D$ の管状近傍において劣解を構成する。その形式は指数に依存する。$k < n$ の場合は、距離関数 $d(x)$ を用いた指数型障壁を用い、$k=n$ の臨界ケースでは二次型障壁を用いる。これは、領域境界の厳密な $\eta$-1-凸性に依拠している。
   • 遠方場の障壁: 原点から遠い領域において、楕円体の容量ポテンシャルから導出された減衰関数によって摂動された二次多項式 $Q_c(x) = \frac{1}{2}x^T Ax + c$ （ここで $A \in \tilde{\Gamma}_k$）に基づく劣解を構成する。このステップでは、最適な減衰率を確立するために Li–Li–Yuan [17] の外部リウヴィル定理を利用する。
   • 中間層: 近傍および遠方場の劣解を、正則化最大値法を用いて中間層で結合し、グローバルな劣解が滑らかかつ厳密に許容されることを保証する。

2. 近似および先験的評価:

   • 問題を有界領域 $\Omega_R = E_R \setminus D$ 上で近似する。
   • $C^0$ および $C^1$ 評価: 比較原理を適用して、解を構成された劣解と超解（supersolution）の間に抑え込む。境界勾配推定は、Hopf の補題と障壁関数を用いて導出される。
   • $C^2$ 評価: コアとなる技術的課題は、一様な二階微分係数の評価を確立することである。
     • 境界評価: 接微分および混合微分は、障壁引数を通じて制御される。臨界ケース $k=n, l=n-1$ における法微分評価には、商の代数構造を扱うために $\sigma_{n-1}$ のブロック行列に関する精緻な展開が必要となる。
     • グローバル評価: 作用素 $F$ の凹性と最大値原理を用いてラプラシアンを評価し、これを許容条件と組み合わせることで、グローバルな $C^2$ 評価を得る。

3. 極限の通過および一意性:

   • 拡大する領域上の解の単調列が、グローバルな解 $u \in C^\infty(\mathbb{R}^n \setminus D)$ に収束することを示す。
   • 一意性は、許容錐上での線形化作用素の一様楕円性を利用し、2つの解の差に適用される最大値原理を通じて確立される。

主な貢献および結果

• 存在性と一意性: 本論文は、任意の有界な $C^\infty$ 領域 $D$（$k=n$ の場合は厳密 $\eta$-1-凸）および境界データ $\phi$ に対して、任意の $0 \leq l < k \leq n$ について、一意な滑らかな厳密 $\tilde{\Gamma}_k$-許容解が存在することを証明する。
• 指数の制限の除去: 結果は、以前の内部評価で見られた $l+2 \leq k$ という制限なしに、すべての $k, l$ に対して成立する。特に、臨界ケース $l = n - 1$ を別途扱っている。
• 最適な漸近挙動: 解 $u$ は以下の漸近展開を満たす：
  $$\lim_{|x| \to \infty} |x|^{n-2} \left| u(x) - \left( \frac{1}{2}x^T Ax + b \cdot x + c \right) \right| < \infty.$$
  決定的なことに、本論文は剰余項およびその微分の最適な減衰率 $|x|^{n-2}$ を確立しており、これは、漸近行列 $A$ に対する追加の技術的制限を必要としたり、より遅い減衰率を与えたりすることが多かったヘッセ・商方程式や特殊ラグランジュ方程式の既存の結果を改善するものである。
• 全微分の減衰: 著者らは、剰余 $u - Q_c$ に対する完全な微分減衰評価を得ており、$|D^m(u - Q_c)(x)| \leq C_m |x|^{2-n-m}$ （すべての $m \geq 0$ に対して）であることを示している。

意義
本論文は、境界評価における代数的な限界を克服することで、外部領域における混合型ヘッセ・商方程式の可解性を制限していた問題を解決した点に意義があると主張している。劣解の構成を精緻化し、作用素 $\eta(M)$ の特有の性質を利用することで、著者らは外部問題の理論を、全範囲の混合型ヘッセ・商へと拡張している。$\sigma_{n-1}$ の精緻な展開を通じて臨界ケース $l = n - 1$ を扱うことは、独立した関心事としての結果として強調されている。さらに、漸近行列 $A$ に対する追加の仮定なしに最適な減衰率を確立したことは、完全非線形楕円方程式の分野における既存の結果を鋭鋭化するものである。