[論文レビュー] Singular parabolic p-Laplacian systems under non-smooth external forces. Regularity up to the boundary

H. Beirão da Veiga|arXiv (Cornell University)|Jun 8, 2012

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

ひとこと要約

本稿は、滑らかでない、$L^2$ 積分可能な外部力を持つ特異な放物型 $ p $-ラプラシアン系に対して、境界に近い最適な正則性推定を確立する。新規の双対性アプローチを用い、定常問題の正則性結果を拡張することで、解の2階空間微分が $ L^{2(p-1)}(0,T; W^{2,\tilde{q}}(\bar{\Omega})) $ に属することを証明する。$ p $、$ n $、およびユドビチ定数 $ K $ に依存する鋭い可積分性条件が得られ、特異ケース $ \mu = 0 $ でさえも成立する。

ABSTRACT

We study the regularity of the solutions to initial-boundary value problems for N-systems of the p-Laplacian type, in $n\geq 3$ space variables, with square-integrable external forces in the space-time cylinder. So, the ellipticity coefficient remains unbounded. The singular case $μ=0 $ is covered.

研究の動機と目的

• 外部力が $ L^2 $-可積分である場合に、特異な放物型 $ p $-ラプラシアン系の解について、境界に近い最適な正則性を確立すること。
• 力項 $ f \in L^2(Q_T) $ の低可積分性により、強度係数が有界でなくなる問題を克服すること。
• 定常系の正則性結果を、特に $ \tilde{q} < 2 $ の場合に放物型設定に拡張すること。これは元の定理の適用範囲外にある。
• データノルムとパrameter $ \mu $ に依存する、解の2階空間微分に関する鋭い、定量的な推定を提供すること。

提案手法

• $ p $-ラプラシアン構造に由来する関数 $ G(|\nabla u|^2) $ を用いた双対性に基づくエネルギー推定により、時間的および空間的微分を制御する。
• 定常 $ p $-ラプラシアン問題における重要な正則性定理（[2] の定理2.1）を、$ \tilde{q} < 2 $ の場合に拡張する。ここで $ \tilde{q} = \frac{2n(p-1)}{n - 2(2-p)} $ であり、証明の適合性を検証する。
• $ q > \frac{2n}{n+2} $ に対して $ \|D^2 v\|_q \leq C_2(q) \|\Delta v\|_q $ かつ $ C_2(q) \leq K q $ を満たす不等式を用い、推定を閉じるために $ (2-p)C_2(\tilde{q}) < 1 $ の条件を課す。
• 方程式に $ \nabla \cdot S(\nabla u) $ を代入してテストすることで、$ \|\partial_t u\|_{L^2} $、$ \|f\|_{L^2} $、$ \|\nabla u\|_{L^p} $ を含むエネルギー型不等式を導出する。
• ブートストラップ法により主要結果を確立する：$ f \in L^2(0,T; L^2) $ および $ \partial_t u \in L^2(0,T; L^2) $ から出発し、$ \tilde{q} \in (1,2] $ の拡張された正則性結果を用いて $ u \in L^{2(p-1)}(0,T; W^{2,\tilde{q}}) $ を導く。
• 特異ケース $ \mu = 0 $ を取り扱うために、$ G(y^2) = \frac{2}{p} y^p $ であることを示し、$ \mu $ に依存しない鋭い推定を得る。

実験結果

リサーチクエスチョン

• RQ1 外部力 $ f $ が $ L^2(Q_T) $ のみである場合に、$ |\nabla u| $ が有界でないため、特異な放物型 $ p $-ラプラシアン系に対して境界に近い最適な正則性を確立できるか。
• RQ2 定常 $ p $-ラプラシアン問題の正則性理論が、$ \tilde{q} < 2 $ の場合に放物型設定に拡張可能か。これは元の定理の適用範囲外にある。
• RQ3 強度係数が有界でない条件下で、$ D^2 u \in L^{2(p-1)}(0,T; W^{2,\tilde{q}}) $ を保証する $ p $ と $ n $ の鋭い条件は何か。
• RQ4 正則性推定はユドビチ定数 $ K $ にどのように依存するか。特異ケース $ \mu = 0 $ において $ \mu $ に依存しない条件を導出可能か。
• RQ5 $ f \in L^2 $ であっても、時間微分 $ \partial_t u $ と非線形フラックス $ \nabla \cdot ((\mu + |\nabla u|)^{p-2} \nabla u) $ が $ L^2 $ に属するか。

主な発見

• 解 $ u $ は $ L^{\infty}(0,T; W^{1,p}_0) $、$ \partial_t u \in L^2(0,T; L^2) $ に属し、非線形フラックスは $ L^2(0,T; L^2) $ に属する。これにより、時間的および空間的正則性が強く保証される。
• 2階空間微分は $ D^2 u \in L^{2(p-1)}(0,T; L^{\tilde{q}}(\Omega)) $ を満たし、$ \tilde{q} = \frac{2n(p-1)}{n - 2(2-p)} $ である。これが中心的な正則性結果である。
• $ n = 3 $ かつ $ p > \frac{3}{2} $ の場合、解は Hölder 継続性を示す：$ u \in L^{2(p-1)}(0,T; C^{0,\alpha}(\bar{\Omega})) $ で、$ \alpha = \frac{p - 3/2}{p - 1} $ である。空間的正則性の向上が示される。
• $ (2-p)C_2(\tilde{q}) < 1 $ という条件が推定の有効性を保証し、$ C_2(\tilde{q}) \leq K \tilde{q} $ である。この条件は $ p > 2 - \frac{n}{2nK + 2} $ であれば成立し、鋭い明示的閾値を与える。
• 特異ケース $ \mu = 0 $ では、推定 $ \|u\|_{L^{2(p-1)}_T(W^{2,\tilde{q}})} \leq C T^{1/(2(p-1))} + C \|\partial_t u - f\|^{1/(p-1)}_{L^2_T(L^2)} $ が成り立ち、データおよび $ \mu $ に明示的な依存性を示す。$ \mu \to 0 $ の極限で鋭い境界が得られる。
• 証明は双対性アプローチに依拠し、$ \tilde{q} < 2 $ への定常正則性結果の新規拡張を含む。これは非自明ではあるが、定数 $ C_2(q) $ の詳細な分析により実現可能である。