[論文レビュー] A gradient estimate for solutions to parabolic equations with discontinuous coefficients

Jishan Fan, Kyoungsun Kim+2 more|arXiv (Cornell University)|Mar 4, 2011

Advanced Mathematical Modeling in Engineering参考文献 7被引用数 8

ひとこと要約

本稿では、codimension one の多様体上に不連続性を有する区分的滑らかで不連続な係数をもつ発散型放物型方程式の解について、放物型勾配推定を確立する。主な結果は、これらの不連続性多様体間の距離に依存しない勾配バウンドが得られることであり、Li-Vogelius および Li-Nirenberg の以前の楕円型結果を放物型設定に拡張し、基本解の点ごとの勾配推定をもたらす。

ABSTRACT

Li-Vogelius and Li-Nirenberg gave a gradient estimate for solutions of strongly elliptic equations and systems of divergence forms with piecewise smooth coefficients, respectively. The discontinuities of the coefficients are assumed to be given by manifolds of codimension 1, which we called them manifolds of discontinuities. Their gradient estimate is independent of the distances between manifolds of discontinuities. In this paper, we gave a parabolic version of their results. That is, we gave a gradient estimate for parabolic equations of divergence forms with piecewise smooth coefficients. The coefficients are assumed to be independent of time and their discontinuities are likewise the previous elliptic equations. As an application of this estimate, we also gave a pointwise gradient estimate for the fundamental solution of a parabolic operator with piecewise smooth coefficients. The both gradient estimates are independent of the distances between manifolds of discontinuities.

研究の動機と目的

• Li-Vogelius および Li-Nirenberg の楕円型勾配推定を放物型設定に拡張すること。
• 区分的 $ C^\mu $ 係数をもつ放物型方程式について、不連続性多様体間の距離に依存しない勾配推定を確立すること。
• 不連続係数をもつ放物型作用素の基本解について、点ごとの勾配推定を導出すること。
• Babuška の予想が放物型方程式の文脈において数学的に裏付けられることを提供すること。
• 標準的な $ L^\infty $ 係数仮定を越えて、不連続係数をもつ放物型偏微分方程式の正則性理論を一般化すること。

提案手法

• 不連続係数をもつ放物型方程式にモーザー反復技法を適応すること。
• 収縮するシリンダ内で勾配の $ L^2 $ ノルムを制御するための修正されたキャッチョッピオリ型不等式の使用。
• 反復過程での減衰推定を導出するために、切り捨て列 $ (u - k_m)_+ $ の導入。
• ホルダーの不等式およびエネルギー推定を用いて、切り捨てノルムの成長を制御すること。
• 切り捨ての正の部分の $ L^2 $ ノルムに関する再帰的不等式の導出により、$ L^\infty $-有界性を導くこと。
• 反復列が極限で消えるように保証することで、距離に依存しない勾配バウンドを確立すること。

実験結果

リサーチクエスチョン

• RQ1 Li-Vogelius および Li-Nirenberg の楕円型勾配推定結果は、不連続係数をもつ放物型方程式に拡張可能か？
• RQ2 区分的 $ C^\mu $ 係数をもつ放物型方程式の解について、勾配バウンドは不連続性多様体間の距離に依存しないか？
• RQ3 不連続係数をもつ放物型作用素の基本解は、不連続性の幾何構造に依存しない点ごとの勾配推定を有するか？
• RQ4 Babuška の予想である距離に依存しない勾配バウンドは、放物型系において数学的に正当化可能か？
• RQ5 係数が codimension one の曲面上を区分的滑らかに変化する場合、放物型方程式の解の最良正則性は何か？

主な発見

• 発散型放物型方程式の解について、$ L $ 個の互いに不連続な部分領域をもつ領域において、区分的 $ C^\mu $ 係数をもつ放物型勾配推定が確立された。
• 勾配バウンドは不連続性多様体間の距離に依存せず、Babuška の予想の放物型版が裏付けられた。
• バウンドは一様的であり、不連続性面間の距離が 0 に近づくにつれて劣化しない。
• 不連続係数をもつ放物型作用素の基本解について、点ごとの勾配推定が導出された。
• 証明は、切り捨て解に適用された洗練されたモーザー反復スキームに依拠し、$ L^\infty $-有界性をもたらし、結果として勾配制御が得られた。
• 結果として、係数のジャンプに最小限の滑らかさ仮定しか課さない状況においても、放物型PDEの正則性理論が拡張された。