[論文レビュー] On the global regularity for nonlinear systems of the p-Laplacian type

H. Beirão da Veiga, Francesca Crispo|arXiv (Cornell University)|Aug 19, 2010

Nonlinear Partial Differential Equations参考文献 19被引用数 11

ひとこと要約

本稿は、非線形 $ p $-ラプラシアン系の解の2階微分について、境界にまで及ぶグローバルな $ W^{2,q} $-正則性を確立する。$ p < 2 $ の場合、$ \mu = 0 $ の退化系ですら、任意に大きな $ q $ に対して $ W^{2,q} $-正則性を示し、$ p > 2 $ の場合、$ \mu > 0 $ の条件下で $ W^{2,2} $-正則性を確立する。立方体領域におけるディリクレ境界条件のもとで、新しい滑らか化および弱収束の手法を用いる。

ABSTRACT

We consider the Dirichlet boundary value problem for nonlinear systems of partial differential equations with p-structure. We choose two representative cases: the "full gradient case", corresponding to a p-Laplacian, and the "symmetric gradient case", arising from mathematical physics. The domain is either the "cubic domain" (see the definition below) or a bounded open subset of R^3 with a smooth boundary. We are interested in regularity results, up to the boundary, for the second order derivatives of the velocity field. Depending on the model and on the range of p, p&lt;2 or p&gt;2, we prove different regularity results. It is worth noting that in the full gradient case with p&lt;2 we cover the degenerate case and obtain W^{2,q}-global regularity results, for arbitrarily large values of q.

研究の動機と目的

• 解の $ p $-ラプラシアン型系に対する2階微分の境界にまで及ぶグローバル正則性結果を確立すること。
• 特に非同次系において、境界正則性に関する文献の不足を補うこと。
• $ p < 2 $ の場合の特異系（$ \mu = 0 $）への正則性理論の拡張。
• $ C^1 $-滑らか性を仮定しない非同次設定において、2階微分の境界にまで及ぶ完全な正則性結果を提供すること。
• 構造関数 $ S $ の完全な微分可能性ではなく、リプシッツ連続性のみを仮定することで、既存の結果を一般化すること。

提案手法

• 構造関数 $ S $ を $ (\mu + |\nabla u|)^{p-2}\nabla u $ で定義する、全勾配系 $ -\nabla \cdot S(\nabla u) = f $ と対称勾配系 $ -\nabla \cdot S(\mathcal{D}u) = f $ の2つの代表的系を分析する。
• 解の近似に滑らか化技術を用い、滑らか化された系と元の系の差の弱形式を導出する。
• 優越収束定理および $ W^{2,q} $ における弱収束を用いて、滑らか化系における極限に移行する。
• 差 $ V = u - w $ を設定し、エネルギー推定を用いて $ \Delta V = 0 $ を示し、$ V = 0 $ つまり $ w = u $ を証明する比較法を用いる。
• コーシー・シュワルツとベクトルノルム不等式を用いて導出される、重要な点付き推定 $ |I| \leq |\nabla v|^2 |D^2 v| |\Delta v| $ に依存する。

実験結果

リサーチクエスチョン

• RQ1 $ p < 2 $ の場合、$ \mu = 0 $ の退化系であっても、境界にまで及ぶグローバルな $ W^{2,q} $-正則性を、$ p $-ラプラシアン系に対して確立できるか？
• RQ2 $ p > 2 $ の系で $ \mu > 0 $ のとき、どのような正則性が達成可能か。これは境界にまで拡張可能か？
• RQ3 構造関数 $ S $ の $ C^1 $-滑らか性を仮定せず、リプシッツ連続性のみに依存して正則性結果を得られるか？
• RQ4 $ p < 2 $ の全勾配系において、$ q $ を任意に大きくした $ W^{2,q} $-正則性を証明できるか。また、この性質が成り立つ $ p $ の正確な範囲は何か？
• RQ5 系の構造—全勾配と対称勾配—は、2階微分の境界正則性にどのように影響を与えるか？

主な発見

• $ p < 2 $ の場合、任意の $ q \geq 2 $ に対して $ W^{2,q}(\Omega) $-正則性が証明され、$ \mu = 0 $ の退化系であっても成立する。これは、境界にまで勾配のホルダー連続性が保証されることを意味する。
• $ W^{2,q} $-正則性結果は、特定の区間 $ [C, 2) $ における $ p $ に対して成り立ち、定数 $ C $ は解析で明示的に定義される。
• $ p > 2 $ の場合、$ \mu > 0 $ の条件下で $ W^{2,2}(\Omega) $-正則性が確立され、境界への拡張として顕著な進展を示す。
• 結果は立方体領域および $ \mathbb{R}^3 $ 内の一般の有界な滑らかな領域に適用可能で、ディリクレ境界条件を満たす。
• $ S $ の $ C^1 $-微分可能性を必要とせず、リプシッツ連続性のみに依存するため、物理的モデルへの適用範囲が広がる。
• 滑らか化および弱収束を用いる証明技法により、極限に移行でき、解 $ u $ が弱い意味で元の系を満たすことが結論づけられる。