[論文レビュー] Boundary regularity for quasilinear elliptic equations with general Dirichlet boundary data

Truyen Nguyen|arXiv (Cornell University)|Nov 7, 2018

Nonlinear Partial Differential Equations参考文献 20被引用数 5

ひとこと要約

本稿は、リーフェンベルク平坦領域における一般のディリクレ境界値をもつ非線形楕円型方程式の弱解について、重み付きモリィ空間におけるグローバル勾配推定を確立する。既存の結果を拡張し、ベクトル場 A と領域の幾何構造における最適な正則性条件のもとで非一様境界データを扱う。摂動技法と重み付きノルム推定を統合した一貫したアプローチを用いる。

ABSTRACT

We study global regularity for solutions of quasilinear elliptic equations of the form $÷\A(x,u, abla u) = ÷\F $ in rough domains $Ω$ in $\R^n$ with nonhomogeneous Dirichlet boundary condition. The vector field $\A$ is assumed to be continuous in $u$, and its growth in $ abla u$ is like that of the $p$-Laplace operator. We establish global gradient estimates in weighted Morrey spaces for weak solutions $u$ to the equation under the Reifenberg flat condition for $Ω$, a small BMO condition in $x$ for $\A$, and an optimal condition for the Dirichlet boundary data.

研究の動機と目的

• 一般のディリクレ境界データをもつ非線形楕円型方程式について、重み付きモリィ空間におけるグローバル勾配推定を拡張すること。
• ベクトル場 A に対して最適な正則性条件を確立すること、特に解変数 u における連続性と x における小さな BMO 振動を含むこと。
• 内部と境界の推定を統一するため、内部モリィ空間推定の境界版を構築すること。
• 領域および係数に対する最小限の幾何的・構造的仮定のもとで、グローバル可積分性および正則性結果を確立すること。
• Muckenhoupt 重みを用いた重み付きモリィ空間における鋭い推定を達成し、古典的モリィ空間の結果を一般化すること。

提案手法

• Calderón-Zygmund 理論と二重パラメータスケーリング技法に基づく摂動法を用いる。
• リーフェンベルク平坦性を用いて、すべてのスケールで境界幾何を制御し、一様な平坦性を保証する。
• Muckenhoupt 重みを用いた重み付きモリィ空間ノルムを用い、局所的可積分性および減衰性を捉える。
• Sobolev 空間におけるコンパクトネスおよび弱収束の議論を用いて、重要な近似補題を確立する。
• 摂動領域における解と全半空間における解との間のテスト関数比較を用い、安定性推定を導出する。
• 背理法を用いて、平坦領域における解の近似性質を証明する。弱コンパクトネスと極限における一意性に依存する。

実験結果

リサーチクエスチョン

• RQ1 一般のディリクレ境界データをもつ非線形楕円型方程式について、重み付きモリィ空間におけるグローバル勾配推定を確立できるか？
• RQ2 このような推定において、解変数 u におけるベクトル場 A の最適な正則性条件は何か？
• RQ3 領域のリーフェンベルク平坦性は、解のグローバル正則性にどのように影響するか？
• RQ4 内部および境界正則性を一つの枠組みですべてカバーできるか？
• RQ5 小さな BMO 振動（x に関する）および Muckenhoupt 重みは、鋭い推定を達成するために果たす役割は何か？

主な発見

• リーフェンベルク平坦領域における div A(x,u,∇u) = div F の弱解について、重み付きモリィ空間におけるグローバル勾配推定が確立された。
• ベクトル場 A は u に関して連続であり、p-ラプラシアン型の成長を満たし、x に関して小さな BMO 振動および u に関して最適な連続性を満たすと仮定されている。
• 境界データ ψ は一般のものとして許容され、この設定において推定は最適である。
• 重要な近似補題が証明された：ε-平坦領域における解は、任意に小さな L^p 誤差で半空間における解によって近似可能である。
• 極限における解が一意であることを示すために、コンパクトネスおよび弱収束に依存した証明が行われ、近似の失敗に矛盾する。
• 従来の古典的モリィ空間における推定を一般化し、最小限の仮定のもとで非一様境界データへの理論を拡張した。