[論文レビュー] Boundary Lipschitz Regularity and the Hopf Lemma for Fully Nonlinear Elliptic Equations

Yuanyuan Lian, Kai Zhang|arXiv (Cornell University)|Dec 29, 2018

Nonlinear Partial Differential Equations参考文献 14被引用数 4

ひとこと要約

本稿では、外側および内側の $C^{1,\text{Dini}}$ 条件の下で、完全非線形楕円型方程式の粘性解に対して境界リプシッツ正則性およびホフプ法を、曲がった境界を平坦な超平面の摂動とみなす統一的な摂動法を用いて確立する。著者らは、$C^{1,\text{Dini}}$ 条件が最適であることを、短く直接的な議論により証明する。

ABSTRACT

In this paper, we study the boundary regularity for viscosity solutions of fully nonlinear elliptic equations. We use a unified, simple method to prove that if the domain $Ω$ satisfies the exterior $C^{1,\mathrm{Dini}}$ condition at $x_0\in \partial Ω$ (see Definition 1.2), the solution is Lipschitz continuous at $x_0$; if $Ω$ satisfies the interior $C^{1,\mathrm{Dini}}$ condition at $x_0$ (see Definition 1.3), the Hopf lemma holds at $x_0$. The key idea is that the curved boundaries are regarded as perturbations of a hyperplane. Moreover, we show that the $C^{1,\mathrm{Dini}}$ conditions are optimal.

研究の動機と目的

• 外側 $C^{1,\text{Dini}}$ 条件の下で、完全非線形楕円型方程式の粘性解に対する境界リプシッツ正則性を確立すること。
• 内側 $C^{1,\text{Dini}}$ 条件の下で、粘性解に対するホフプ法を証明すること。
• 平坦な境界近似に基づく単一の摂動フレームワークを用いて、両者の証明を統一すること。
• $C^{1,\text{Dini}}$ の幾何的仮定が、正則性およびホフプ型の結果の両方において最適であることを示すこと。
• 従来の古典的または線形解の結果を、完全非線形および粘性解の設定に拡張すること。

提案手法

• 曲がった境界を平坦な超平面の摂動とみなす。平坦領域における既知の $C^{1,\alpha}$ 正則性結果を活用する。
• 補助関数を構築し、最大原理を用いて曲がった境界と平坦な境界における解の誤差を推定する。
• 境界ハーナック不等式および正則化された距離技術を制御的に適用し、微分係数を評価する。
• 反復的バリア構成法を用い、$a_k = (1 - c_0 \omega(\eta^k))a_{k-1}$ を満たす数列 $\{a_k\}$ を用いて、より小さなスケールでの正則性を伝播させる。
• 境界曲率の累積的効果を制御するため、Dini 条件 $\int_0^{r_0} \frac{\omega(r)}{r} dr < \infty$ を用いる。
• Dini 条件が成立しない場合の反例を構築することで最適性を証明し、$r \to 0$ のとき $\tilde{\omega}(r) \to 0$ であれば正則性が失われることを示す。

実験結果

リサーチクエスチョン

• RQ1 外側 $C^{1,\text{Dini}}$ 条件の下で、完全非線形楕円型方程式の粘性解に対して境界リプシッツ正則性を確立できるか？
• RQ2 内側 $C^{1,\text{Dini}}$ 条件の下で、粘性解に対してホフプ法が成り立つか？
• RQ3 $C^{1,\text{Dini}}$ 条件は、境界正則性およびホフプ法の両方において最適か？
• RQ4 境界ハーナック不等式や古典的解理論に依存せずに、両者の証明を統一的かつ単純な方法ですることができるか？
• RQ5 Dini モジュラスで測定される領域の曲率は、境界における法線微分の有界性および正の性質にどのように影響するか？

主な発見

• 領域が境界点において外側 $C^{1,\text{Dini}}$ 条件を満たすならば、完全非線形楕円型方程式の粘性解に対して境界リプシッツ正則性が成立する。
• 内側 $C^{1,\text{Dini}}$ 条件の下では、ホフプ法が粘性解に対して有効であり、境界における法線微分がゼロにならないことを保証する。
• $C^{1,\text{Dini}}$ 条件は、両者に対して最適である：Dini 条件が成立しない場合、正則性およびホフプ型の結論が成立しない可能性がある。
• 証明技法は、曲がった境界を平坦な境界の摂動とみなすことで、両者の結果を統一的に扱う。反復的バリア推定を用いる。
• 証明における数列 $\{a_k\}$ は $a_k = (1 - c_0 \omega(\eta^k))a_{k-1}$ を満たし、$\omega$ が Dini 条件を満たさない場合、$\prod_{i=1}^k (1 - c_0 \omega(\eta^i)) \to 0$ が $k \to \infty$ のとき成り立つ。
• 境界ハーナック不等式に依存せず、最大原理と普遍定数を有する反復的バリア構成法を用いる。