[論文レビュー] A Short Proof of Increased Parabolic Regularity

Stephen Pankavich, Nicholas Michalowski|arXiv (Cornell University)|Feb 6, 2015

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

ひとこと要約

本稿では、a priori 評価に基づく短く洗練された証明を用いて、一様放物型PDEに対して空間的滑らかさが向上することを示す。初期データが$L^2$にのみ属する場合でも、解は$t>0$で空間的滑らかさを獲得することが示され、時間に依存する係数、輸送方程式、非線形系に対しても一般化可能である。この手法は、半群理論や基本解を必要とせず、$L^2$に基づく正則性評価と、滑らかさの仮定のもとでの無限回微分可能性をもたらす。

ABSTRACT

We present a new, short proof of the increased regularity obtained by solutions to uniformly parabolic partial differential equations. Though this setting is fairly introductory, our new method of proof, which uses a priori estimates, can be extended to prove analogous results for problems with time-dependent coefficients, transport equations, and nonlinear equations even when other tools, such as semigroup methods or the use of explicit fundamental solutions, are unavailable.

研究の動機と目的

• 初期データに弱微分可能性がなくても、一様放物型PDEの解に対する正則性の向上を新たな短い証明で示すこと。
• 半群理論や明示的な基本解に依存しない手法を構築し、こうしたツールが適用できない問題にまで応用可能であるようにすること。
• 時間に依存する係数、輸送方程式、非線形系（例えばFokker-Planck方程式や運動論方程式）に対しても正則性結果を拡張すること。
• 初期データと外力項を用いた、空間的正則性評価の$L^2$に基づく鋭い評価を確立すること。

提案手法

• エネルギー法と部分積分を用いて、解の空間微分に対するa priori 評価を導出する。
• 高階微分を制御するための重み付きエネルギー関数 $M(t) = \sum_{k=0}^m \frac{\theta^k t^k}{2^k k!} \|\nabla_x^k u(t)\|_2^2$ を用いる。
• Gronwallの不等式を $M'(t)$ に適用し、$D$ と $f$ の強度と正則性仮定に基づいて $M'(t)$ の有界性を保証する。
• 微分の順序 $m$ についての帰納法を用い、$m-1$階までの正則性を仮定して $m$ 階の正則性を示すことで、ブートストラップを可能にする。
• Galerkin近似を用いて正則化された解を構成し、導出されたa priori 界によって収束を確立する。
• 時間に依存する係数や非線形性に対しても、十分な滑らかさが保証されれば、この手法は安定に適用可能である。

実験結果

リサーチクエスチョン

• RQ1 半群理論や明示的な基本解に依存せずに、短く自己完結的な増加放物型正則性の証明を構築できるか？
• RQ2 a priori 評価に基づく手法は、時間に依存する係数や非線形性を含む放物型PDEにどの程度まで拡張可能か？
• RQ3 時間 $t>0$ に対して、高階微分の空間的正則性の定量的時間減衰率はどの程度か？
• RQ4 解の正則性は、拡散行列 $D$ と外力項 $f$ の滑らかさにどのように依存するか？
• RQ5 $D$ と $f$ が滑らかであるという仮定のもとで、この手法を無限回空間微分可能となるように適応可能か？

主な発見

• 一様放物型PDEの解は、$t>0$ で初期データ $u_0 \in L^2(\mathbb{R}^n)$ が弱微分可能でない場合でも、空間的$L^2$正則性を即座に獲得する。
• $f \in H^m(\mathbb{R}^n)$ かつ $D \in W^{m,\infty}(\mathbb{R}^n)$ のとき、$m$ 階空間勾配は $\|\nabla_x^m u(t)\|_2^2 \leq \frac{C_T}{(\theta t)^m}(\|f\|_{H^m}^2 + \|u_0\|_2^2)$ を満たし、時間に対して逆べき乗則に従う減衰を示す。
• 解は $t>0$ で $H^m(\mathbb{R}^n)$ 値をとる連続関数である。すなわち、$u \in C((0,T]; H^m(\mathbb{R}^n))$。
• $f \in H^\infty(\mathbb{R}^n)$ かつ $D \in W^{\infty,\infty}(\mathbb{R}^n)$ のとき、解は $(0,T] \times \mathbb{R}^n$ 上で無限回空間微分可能である。すなわち、$u \in C^\infty((0,T] \times \mathbb{R}^n)$。
• 時間に依存する係数 $D(t,x)$ と $f(t,x)$ に対しても、時間に関して十分滑らかであれば、この手法は定常係数の場合を超えて正則性結果を拡張可能である。
• この手法は半群理論や明示的な基本解を回避するため、こうしたツールが機能しない非線形・非楕円型系に対しても適用可能である。