Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

技術的サマリー：(p, q)-成長を有する非線形楕円型方程式のリップシッツ正則性

問題提起
本論文は、以下の形式の完全非線形楕円型方程式に対する粘性解の内部および大域的リップシッツ正則性を調査する：
$$F(D^2u, Du, x) = f(x, Du) \quad \text{in } \Omega,$$
ここで、作用素 $F$ は $(p, q)$-成長を持つ非一様楕円性条件を満たす。具体的には、楕円性比は勾配の大きさ $|Du|$に伴って多項式的に成長し、$1 + |Du|^{q-p}$として振る舞うことが許容される。著者らは、ギャップ$q-p$が小さい領域に焦点を当て、このギャップが係数のホルダー連続性および解の事前正則性に対する特定の制約の下で、解がリップシッツ連続 ($u \in \text{Lip}$) であることを確立することを目的としている。

本研究は、$|Du|$ が大きい場合、方程式が非一様楕円型となり、不規則な振る舞いを引き起こす可能性があるという課題に取り組む。リップシッツ正則性を証明することは、実質的に勾配を有界化し、方程式を一様楕円型の領域に戻すことを意味する。本論文は、以下の 2 つの主要な構造的例を検討する：

1. ダブルフェーズ問題: 変分ダブルフェーズ汎関数 $\int (|Du|^p + a(x)|Du|^q)dx$ の完全非線形アナログ。
2. 異方性 $(p, q)$-成長問題: 異なる座標方向で異なる成長率を含む方程式。

手法
用いられる核心的な解析的手法は、粘性解の勾配評価を導出するために使用される変数倍増法である石井・レオン法である。証明戦略は、以下の主要なステップを含む：

1. $(0, \gamma)$-成長への還元: 著者らはまず、方程式を $|Du|^p$ で割ることで、元の $(p, q)$-成長問題を $(0, \gamma)$-成長問題（ここで $\gamma = q-p$）に変換する。これにより、勾配に依存する本質的な非一様楕円性を保持しつつ、構造的仮定が簡略化される。
2. スケーリング議論: 解のノルムを扱うために、スケーリング手法を適用して解を正規化する（例えば、$\|u\|_{L^\infty} \leq 1$ または $\|u\|_{C^\beta} \leq 1$ と仮定する）とともに、構造的定数 $\Lambda$ と $C_f$ を調整する。
3. 内部評価: 内部正則性については、著者らは以下の形式の試験関数を用いて最大値原理の議論を構築する：
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   $L_2$ を含む局所化項は、内部の場合において 2 点における勾配の差を制御するために決定的に重要である。証明は背理法により進められ、最大値が正であると仮定し、最大値点における粘性不等式をプッチ作用素および構造的仮定 (A1)-(A4) を用いて解析することで、大きな $L_1$ と $L_2$ に対して矛盾を導く。
4. 境界および大域評価: 大域的正則性については、著者らは石井・レオン法をバリア構成（Birindelli と Demengel に倣う）と組み合わせる。境界データ $g \in C^{1,1}$ に対する解の振る舞いを制御するために、境界付近に明示的なバリア関数を構築する。
   • 大域的議論における重要な相違点は、内部証明で使用された局所化項（$L_2$ 項）が存在しないことである。その結果、「勾配の差」項（仮定 A2）が大域評価には現れず、大域定理における構造的仮定の緩和を可能にしている。

主要な結果
本論文は、リップシッツ正則性に必要な許容されるギャップ $q-p$ に関する以下の主要定理を確立する：

• 内部正則性（定理 1.1）:

  • $u \in L^\infty$（または単に連続）の場合、$q - p < \alpha$ ならばリップシッツ連続性が成り立つ。ここで $\alpha$ は係数 $x \mapsto F(\cdot, \cdot, x)$ のホルダー指数である。
  • $u \in C^\beta$ が事前に成り立つ場合、許容されるギャップは以下のように改善される：
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • 著者らは、内部評価における $C^\beta$ 解の bound が、石井・レオン議論に必要な局所化項のために、最適の変分 bound よりもわずかに制限的であると指摘している。

• 大域正則性（定理 1.2）:

  • 境界データ $g \in C^{1,1}$ を持つ有界 $C^{1,1}$ 領域 $\Omega$ において、$u \in L^\infty$ ならば、条件 $q - p < \alpha$ で十分である。
  • $u \in C^\beta$ が事前に成り立つ場合、改善された bound の下で大域的リップシッツ正則性が成り立つ：
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • この大域的 bound は、変分ダブルフェーズ問題（特に [6, 12] のもの）に対して知られている鋭いギャップ条件と一致する。

意義と主張
著者らは、自らの研究を $(p, q)$-成長を持つ変分（発散形）設定から、完全非線形（非発散形）方程式への正則性理論の拡張として位置づけている。

• 変分理論との比較: 本結果は、変分設定におけるダブルフェーズ問題（例えば、$C^\beta$ 解に対する $q-p < \alpha/(1-\beta)$）に対して知られている鋭いギャップ条件を回復する。
• 積型モデルとの相違: 本論文は、モデル (1.3) が De Filippis によって研究された積型モデル (1.11) と本質的に異なることを強調している。積型モデルでは、勾配項を除去することを可能にする特定の積構造により、ギャップ $q-p$ に依存せずに $C^{1,\alpha}$ 正則性が達成され得る。これに対し、著者らのモデル（$F \neq G$ の場合）はこの構造を持たないため、正則性にとって $p$ と $q$ に関するギャップ条件が不可欠となる。
• 非発散設定における新規性: 著者らは、最適ギャップを超えた発散形方程式については既知の不規則な反例が存在する一方で、$(p, q)$-成長を持つ完全非線形非発散方程式については同様の反例が現在利用可能ではないと述べている。したがって、本結果は、このクラスの非発散方程式に対する最初の体系的なリップシッツ正則性理論を提供し、変分の場合に類似した必要なギャップ条件を確立するものである。
• 構造的仮定: 本論文は、仮定 (A2)（勾配に関する $F$ のリップシッツ連続性）は局所化技術のため内部評価には必要であるが、大域評価には不要であることを明確にしている。これは、非発散方程式における正則性メカニズムに対する微妙な理解を示している。