A priori estimates for solutions of degenerate fully nonlinear elliptic equations with $L^p$ data

技術的概要：$L^p$ データを有する退化した完全非線形楕円型方程式の解に対する事前評価

問題設定
本論文は、以下の形の退化した完全非線形楕円型方程式に対する粘性解 $u$ の内部正則性を調査する：
$$|Du|^\gamma F(D^2u, x) = f \quad \text{in } B_1 \subset \mathbb{R}^n,$$
ここで、$\gamma > 0$、$F$ は一様楕円型の完全非線形作用素であり、右辺 $f$ は可積分空間に属する。この退化は、係数 $|Du|^\gamma$ が $u$ の臨界点で消滅し、方程式が一様楕円性を失うことに起因する。主な目的は、$f$ の可積分ノルムのみに基づいて $u$ に対する事前評価を確立することであり、特に $f \in L^p$ ($p > n$、超臨界) および $f \in L^{n,1}$ (臨界ローレンツ空間) のケースに対処する。

手法
著者らは、退化構造に適応した摂動手法、コンパクト性論法、および幾何学的測度論的手法の組み合わせを採用する。

1. スライディング法による一様ホルダー評価：
   中心的な技術的ステップは、特定の勾配領域でのみ一様楕円型となる方程式に対する一様ホルダー評価を確立することである。アフィン関数を減算し、スケーリングを行うことで、著者らは $|Du - q|^\gamma F(D^2u, x) = f$ の形の方程式を解析する。彼らは勾配の大きさに基づく二項分岐を利用する：

   • 小さな勾配 ($|Du - q| \leq A_0$)： 方程式は一様楕円型方程式のように振る舞う。著者らは測度型評価を導出するために、サヴィン、ムーニー、およびイムベール＝シルベストレに着想を得た放物面スライディング法を適用する。
   • 大きな勾配 ($|Du - q| > A_0$)： 退化は軽度である。ここで著者らは同様の測度評価を得るためにスライディングカスプ法を利用する。
     これらの評価は「増大するインクスポット」補題を用いて結合され、$f \in L^n$ である限り、解がシフトベクトル $q$ に依存しない一様ホルダー評価を満たすことが証明される。

2. 近似補題とコンパクト性：
   一様ホルダー評価と高次正則性（$C^{1,\alpha}$ または対数リプシッツ）の間のギャップを埋めるため、著者らは近似補題を開発する。この補題は、作用素 $F$ の振動（$\beta_F$ で測定される）と $f$ のノルムがローレンツ空間 $L^{n,1}$ において十分に小さい場合、解 $u$ は凍結された同次一様楕円型方程式 $F(D^2h) = 0$ の解 $h$ に近いことを主張する。

   • 修正項の議論： 主要な困難は、$f$ が単に可積分な場合にこの近似の安定性を証明することである。著者らは摂動を処理するために修正関数 $\psi_j$ を構成する。これら修正関数が $C^1$ 意味で（具体的には $D\psi_j \to 0$）ゼロに収束することを保証するため、彼らはダスカロプロス＝クシ＝ミンジョーネによって開発されたローレンツ空間 $L^{n,1}$ に対する臨界ポテンシャル評価に依存する。このステップは、近似補題に対して弱い $L^n$ 条件ではなく $L^{n,1}$ 条件が必要である理由として指摘されている。

3. 反復スキーム：

   • $p > n$ の場合： 反復スキームを用いて $u$ をアフィン関数 $l_k(x) = a_k + b_k \cdot x$ で近似する。誤差項の減衰率を制御することで $C^{1,\alpha}$ 正則性を確立する。
   • $p = n$（臨界ケース）の場合： 同様の反復が行われるが、勾配係数 $b_k$ の収束は保証されない。代わりに、$b_k$ の増大は反復ステップ $k$ に比例して制御され、対数的な連続性モジュラスへと至る。

主要な貢献と結果

1. $p > n$ に対する最適な $C^{1,\alpha}$ 正則性：
   本論文は、$f \in L^p(B_1)$ ($p > n$) である場合、粘性解 $u$ が任意の $\alpha$ に対して $C^{1,\alpha}_{loc}(B_1)$ に属することを確立する。その範囲は以下の通りである：
   $$\alpha \in (0, \alpha_0) \cap \left(0, \frac{1 - n/p}{1 + \gamma}\right],$$
   ここで $\alpha_0$ は古典的なクリロフ＝サフォノフ理論からの指数である。著者らは、$u(x) = |x|^{1+\alpha}$ というヒューリスティックなモデルを提供し、この指数が鋭く、$f \in L^p$ という単一の仮定の下では改善できないことを示す。評価は以下の形をとる：
   $$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C(\|u\|_{L^\infty(B_1)} + \|f\|_{L^p(B_1)}^{\frac{1}{1+\gamma}}).$$

2. 臨界ケース ($f \in L^{n,1}$) における対数リプシッツ正則性：
   $p=n$ の臨界ケースでは、一般に $C^{1,\alpha}$ 正則性は期待されない。代わりに、著者らは $f \in L^{n,1}(B_1)$（$L^n$ よりわずかに強いローレンツ空間）である場合、解 $u$ が局所的に対数リプシッツであることを証明する。具体的には、$x, y \in B_{1/2}$ に対して：
   $$|u(x) - u(y)| \leq C(\|u\|_{L^\infty} + \|f\|_{L^{n,1}}^{\frac{1}{1+\gamma}}) \cdot (-|x-y|\log|x-y|).$$
   この結果は、近似補題における修正関数を制御するためにローレンツ空間の固有の性質に依存している。

3. 退化に対する頑健性：
   この研究は、臨界点で楕円性が退化する方程式に対する正則性理論を拡張する。これは、単なる可積分データに対して古典的手法（イシイ＝リオンス法など）が失敗する設定である。著者らは、中間的な一様ホルダー評価に対する $L^n$ 仮定の下で頑健な測度論的アプローチ（放物面スライディングおよびカスプ）を、点ごとの手法に置き換える。

意義と範囲
本論文は、ソース項 $f$ の可積分性という観点から、このクラスの退化方程式に対する最初の最適内部正則性評価を提供すると主張する。それは、$f$ の可積分性と退化パラメータ $\gamma$ によって規定される正則性の正確な閾値（$C^{1,\alpha}$ 対 対数リプシッツ）を明確にする。

著者らは明示的に、彼らの結果が事前評価であることを指摘している。証明では、試験関数と修正関数の構成を正当化するために、$f$ と作用素係数の事前のホルダー連続性を仮定しているが、最終的な定数は $L^p$ または $L^{n,1}$ ノルムにのみ依存する。

本論文は、境界値問題（境界正則性に関する既存文献を参照しているが）または放熱型対応問題を解決するとは主張していない。これは粘性解の内部正則性に厳密に焦点を当てている。著者らは、勾配のホルダー正則性が期待されない $p < n$ の部分臨界範囲が今後の研究のための未解決問題のまま残っていることを認めており、その領域においても解が一様ホルダー評価を満たしうることに言及している。