[論文レビュー] Hölder estimates for parabolic operators on domains with rough boundary

Karoline Disser, Tom Ter Elst+1 more|arXiv (Cornell University)|Mar 24, 2015

Advanced Mathematical Modeling in Engineering参考文献 23被引用数 4

ひとこと要約

本稿は、境界が粗い領域における2階放物型方程式の混合境界条件付き解のホルダー連続性を、最小限の幾何的および係数の仮定のもとで確立する。最大放物型正則性および実補間理論を活用することで、ディリクレ部およびノイマン部が不規則または滑らかでない場合でも、解が空間時間ホルダー空間 $ C^\beta((0,T)\times\Omega) $ に属することを証明する。これは古典的放物型正則性理論をはるかに広い幾何的設定へと拡張するものである。

ABSTRACT

We investigate linear parabolic, second-order boundary value problems with mixed boundary conditions on rough domains. Assuming only boundedness and ellipticity on the coefficient function and very mild conditions on the geometry of the domain, including a very weak compatibility condition between the Dirichlet boundary part and its complement, we prove Hölder continuity of the solution in space and time.

研究の動機と目的

• 境界が粗い領域において、ディリクレ部およびノイマン部が滑らかでなくてもよく、分離されている必要もないという条件下で、古典的放物型ホルダー正則性理論を拡張すること。
• 境界に関する古典的な正則性条件の代わりに、ディリクレ部とノイマン部の間の測度論的適合性条件を導入することで、境界に関する幾何的仮定を弱める。
• 係数関数および領域の幾何的性質に最小限の仮定をおく場合でも、$ L^s((0,T);L^p(\Omega)) $ および $ L^s((0,T);W^{-1,q}_D(\Omega)) $ のデータに対して、解の空間時間ホルダー連続性を証明すること。
• 非対称で有界な可測係数および不規則な領域を含む、$ C^1 $-境界をなさないディリクレ部を含む状況においても有効な枠組みを確立すること。

提案手法

• 解の時間的および空間的ノルムを制御するため、$ W^{-1,q}_D $-空間における作用素 $ \mathcal{A}_q $ に対する最大放物型正則性を用いる。
• 実補間理論を用いて、$ (W^{-1,q}_D, \operatorname{Dom}(\mathcal{A}_q))_{\theta,\varsigma} $ の複素補間スケールを古典的ホルダー空間 $ C^\kappa $ と関連付ける。
• 補題4.7を用いて、$ L^p $-空間および $ W^{-1,q}_D $-空間における楕円型作用素の分数階累乗の抽象的関係を導出し、関数空間間での正則性の転送を実現する。
• 境界上に測度論的条件（仮定4.3）を導入し、$ D \cap \overline{\Upsilon} $ の近傍でディリクレ部が希少でないことを保証することで、古典的な幾何的適合性を置き換える。
• $ (\mathcal{A}_q + 1)^{-1/2} $ が $ W^{-1,q}_D $ と $ L^q $ の間の同型写像であるという事実を用い、$ L^q $-に基づく推定から正則性を転送可能にする。
• 時間に依存する正則性推定と実補間の再帰定理を組み合わせることで、解の $ C^\beta(J; C^\kappa) $-正則性を導出する。

実験結果

リサーチクエスチョン

• RQ1 境界が粗く、ディリクレ部およびノイマン部が滑らかでない領域に対しても、放物型方程式の解のホルダー連続性を確立できるか？
• RQ2 解の空間時間ホルダー正則性を保証するために、境界部 $ D $ および $ \Upsilon $ に必要な最小限の幾何的仮定は何か？
• RQ3 分布的右辺が $ W^{-1,q}_D(\Omega) $ に属する場合に、古典的放物型ホルダー理論を弱い係数および幾何的仮定のもとで拡張可能か？
• RQ4 補間および作用素論を用いて、$ L^p $-に基づく楕円型理論から $ W^{-1,q}_D $-設定へのホルダー正則性の転送は可能か？
• RQ5 係数関数 $ \mu $、領域 $ \Omega $ の幾何的性質、境界分割 $ D \cup \Upsilon $ の相互作用が、解の正則性にどのように影響するか？

主な発見

• 領域 $ \Omega $ が粗い境界を持つ場合でも、$ D $ や $ \Upsilon $ が滑らかでないか分離されていなくても、解は $ C^\beta((0,T)\times\Omega) $ に属する。ただし $ \beta > 0 $ である。
• ホルダー指数 $ \beta $ は $ \beta = 1 - \frac{1}{s} - \theta $ と表され、$ \theta \in \left(\frac{d}{2q} + \frac{\kappa}{2} + \frac{1}{2}, 1 - \frac{1}{s}\right) $ を満たすことで、与えられた制約のもとで $ \beta > 0 $ が保証される。
• 解のノルムは推定式 $ \|u\|_{C^\beta(J;C^\kappa)} \leq c\left(\|f\|_{L^s(J;W^{-1,q}_D)} + \|u_0\|_{X_{s,-1,q}}\right) $ を満たし、$ c > 0 $ は $ f $ および $ u_0 $ に依存しない。
• 結果は、$ \mu $ が有界かつ強楕円的であること、$ D $ が外側体積条件を満たすこと、$ \Upsilon $ が $ D $ と測度論的適合性条件を満たすことという最小限の仮定のもとで成立する。
• この枠組みは、非対称係数関数および $ C^1 $-正則でない領域を含み、グリスヴァールの意味で境界が連続でない場合のケースにも適用可能である。
• 主な技術的進展は、$ (W^{-1,q}_D, \operatorname{Dom}(\mathcal{A}_q))_{\theta,\varsigma} = (L^q, \operatorname{Dom}(A_q))_{\theta - \frac{1}{2}, \varsigma} $ の同定であり、これにより $ L^q $ から $ W^{-1,q}_D $ への正則性の転送が可能になる。