[論文レビュー] Global gradient estimates in weighted Lebesgue spaces for parabolic operators

Sun‐Sig Byun, Dian K. Palagachev+1 more|arXiv (Cornell University)|Jan 1, 2013

Advanced Harmonic Analysis Research参考文献 31被引用数 21

ひとこと要約

本稿は、可測係数をもつ発散型第二順序放物型系について、リーベンベルクフラット領域上での重み付きLebesgue空間におけるグローバル勾配推定を確立する。係数の部分的BMO小の仮定とω ∈ A_{p/2} 重みの下で、弱解の空間勾配がL^p_ωに属することを証明し、Calderón–Zygmund理論を重み付きかつ非滑らか領域へと一般化し、係数および幾何的条件において最適な条件を得た。

ABSTRACT

We deal with the regularity problem for linear, second order parabolic equations and systems in divergence form with measurable data over non-smooth domains, related to variational problems arising in the modeling of composite materials and in the mechanics of membranes and films of simple non-homogeneous materials which form a linear laminated medium. Assuming partial BMO smallness of the coefficients and Reifenberg flatness of the boundary of the underlying domain, we develop a Calder\\'{o}n--Zygmund type theory for such parabolic operators in the settings of the weighted Lebesgue spaces. As consequence of the main result, we get regularity in parabolic Morrey scales for the spatial gradient of the weak solutions to the problems considered.

研究の動機と目的

• 非滑らかな領域上での不連続係数をもつ放物型系に対する重み付きL^p- Calderón–Zygmund理論の構築。
• ω ∈ A_{p/2} における重み付きLebesgue空間L^p_ω(Q) における弱解のグローバル勾配推定の確立。
• 境界がリーベンベルクフラットで、係数が部分的BMO小であるという最小限の幾何的および係数的仮定の下での解の正則性の特定。
• 未重み付きL^p結果を重み付き設定に一般化し、pおよび重みの最適な条件を達成。
• 解の空間勾配について、放物型モリィ空間における正則性の導出。

提案手法

• パラボリックシリンダーにおけるCalderón–Zygmund型分解を用いて、勾配のレベル集合を制御。
• パラボリック最大関数と、Muckenhoupt A_{p/2} 重みによるL^p_ω空間上での有界性を用いる。
• 逆Hölder不等式とJohn–Nirenberg型推定を用いて、BMOノルムにおける係数の振動を制御。
• 係数行列と領域境界に対して、コドメイン1の(δ,R)-消失条件を課し、BMO振動を小さく保証。
• 境界のリーベンベルクフラットネスに依存して、すべてのスケールで一様に超平面による近似が可能であることを保証。
• H^1-型空間における弱解フレームワークを用い、被覆と反復的議論によりL^p_ω推定を導出。

実験結果

リサーチクエスチョン

• RQ1 放物型系の弱解の空間勾配について、重み付きL^p_ω推定をグローバルに確立するための係数および領域幾何の条件は何か？
• RQ2 Muckenhoupt A_{p/2} 重みの選択が、最大作用素の有界性および勾配推定の妥当性に与える影響は何か？
• RQ3 係数の不連続性をどれほど許容しても、重み付き空間における勾配のL^p可積分性は保たれるか？
• RQ4 Calderón–Zygmund理論は、非滑らか領域をもつ放物型系について、重み付きLebesgue空間へと拡張可能か？
• RQ5 このような推定が成り立つためのpの最適範囲および係数と境界の最小正則性は何か？

主な発見

• p ∈ (2,∞) および ω ∈ A_{p/2} の下で、弱解の空間勾配DuはL^p_ω(Q)に属し、推定式 ‖Du‖_{L^p_ω(Q)} ≤ c‖F‖_{L^p_ω(Q)} が成り立つ。
• 推定式における定数cは解やデータに依存せず、n, m, L, ν, p, および ω のみに依存する。
• 係数行列Aと領域Ωが十分に小さいδをもつ(δ,R)-消失性（コドメイン1）を満たすという仮定の下で、結果は成り立つ。
• Ωの境界はリーベンベルクフラットでなければならない。これは、すべてのスケールで一様に超平面による近似が可能であることを保証する。
• 理論は系へと一般化可能である：F ∈ L^p_ω(Q, ℝ^{mn}) ならば、勾配D u はL^p_ω(Q, ℝ^{mn})に属する。
• その結果、放物型モリィ空間における正則性が得られる：F ∈ L^{p,λ}(Q, ℝ^{mn}) かつ λ ∈ (0, n+2) ならば、D u ∈ L^{p,λ}(Q, ℝ^{mn}) である。