[論文レビュー] Conormal problem of higher-order parabolic systems

Hongjie Dong, Hong Zhang|arXiv (Cornell University)|Jan 30, 2014

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

ひとこと要約

本稿は、半空間および$C^{m-1,1}$領域における高階の発散型放物型系に対して、共型微分境界条件を伴う$L_p$およびSchauder型評価を確立する。弱い正則性仮定（時間に有界可測で、空間にVMO）の下で、平均変動評価および鋭鋭関数理論に基づく摂動法を用いて$L_p$評価を証明する。Schauder評価は、空間にH"older連続で、空間時間に共に連続な係数に対して得られ、不連続係数をもつ系への正則性理論の拡張がなされる。

ABSTRACT

The paper is a comprehensive study of the $L_p$ and the Schauder estimates for higher-order divergence type parabolic systems with discontinuous coefficients in the half space and cylindrical domains with conormal derivative boundary condition. For the $L_p$ estimates, we assume that the leading coefficients are only bounded measurable in the $t$ variable and $VMO$ with respect to $x$. We also prove the Schauder estimates in two situations: the coefficients are Hölder continuous only in the $x$ variable; the coefficients are Hölder continuous in both variables.

研究の動機と目的

• 時間に有界可測で空間にVMOである係数をもつ高階放物型系への$L_p$評価の拡張。
• 空間にH"older連続で、空間時間に共に連続な係数をもつ系に対するSchauder評価の確立。
• 半空間および$C^{m-1,1}$領域における共型微分境界条件のためのフレームワークの構築。
• 新規の摂動法および平均変動法を用いて、既存の2階系に関する結果を高階系へ一般化すること。
• 連続性の方法を用いた解の存在および正則性に関する結果を支持する事前評価の提供。

提案手法

• 2段階の手法を用いる：まず、係数が時間$t$にのみ依存する系について平均変動評価を導出し、その後摂動技法を適用する。
• 系を変数$x_d$（法線方向）について$m$回微分することで、共型微分条件を$D_d^m u$におけるディリクレ条件に還元する。
• $D_d^m u$に対して、ディリクレ境界条件をもつ非発散型系の既知の$L_p$およびH"older評価を適用する。
• Fefferman–Steinの鋭鋭関数定理およびHardy–Littlewoodの最大関数定理を用いて、変動を制御し、$L_p$評価を導出する。
• 分区関数および境界平坦化技術を用いて、$C^{m-1,1}$領域における局所化評価を実現する。
• 連続性の方法を適用し、H"older空間における事前評価および補間不等式に依拠して解の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 空間にVMOで、時間に有界可測である係数をもつ高階放物型系について、$L_p$評価を確立できるか？
• RQ2 空間にH"older連続で、空間時間に共に連続な係数をもつ高階系に対して、Schauder評価をどのように拡張できるか？
• RQ3 共型微分境界条件が、問題をディリクレ型評価に還元することに果たす役割は何か？
• RQ4 奇関数・偶関数拡張の方法は高階系へ一般化可能か、それとも代替的手法が必要か？
• RQ5 $L_p$およびH"older空間における事前評価が、連続性の方法による解の存在をどのように支持するか？

主な発見

• 係数$A^{etaeta}$が$x$に関してVMOで$t$に関して有界可測であるとき、解$u$は次の$L_p$評価を満たす：$\sum_{k=0}^{m}\lambda^{1-k/2m}\|D^k u\|_{L_p} \leq N \sum_{|\alpha|\leq m} \lambda^{|\alpha|/2m} \|f_\alpha\|_{L_p}$（$λ$が十分大きい場合）。
• $D_d^m u$の$L_p$評価は、平均変動評価およびFefferman–Stein定理を用い、$t$に依存する係数をもつ特別な系を介して導出される。
• Schauder評価は2つの設定で確立される：係数が$x$に関してのみH"older連続である場合、および$(t,x)$に関して共にH"older連続である場合。
• 補間およびエネルギー評価を用いて、H"olderノルム評価$\|u\|_{\frac{a+m}{2m},a+m} \leq N(\|u\|_{L_2} + G)$が得られる。
• H"older空間における解の存在は、連続性の方法を用いて証明され、事前評価および解写像の連続性に依拠する。
• 十分大きな$κ$に対して、事前評価$\|u\|_{\frac{a+m}{2m},a+m} \leq NG$が成り立つ。ここで$N$は領域、強楕円性、係数ノルムに依存する。