[論文レビュー] The Poisson equation from non-local to local

Umberto Biccari, Víctor Hernández-Santamaría|arXiv (Cornell University)|Jan 29, 2018

Nonlinear Partial Differential Equations参考文献 22被引用数 15

ひとこと要約

本稿は、パrameter $ s \to 1^{-} $ の極限において、分数階ポisson方程式の解が、古典的ポインソン方程式の解に収束することを確立している。右辺に弱収束の仮定を置き、$ H^s_0 $-ノルムの制御を行うことで、$ H^{1-\delta}_0 $-空間における解の強い収束を証明し、分数階ラプラシアン $ (-\Delta)^s $ が弱解の意味で古典的ラプラシアン $ -\Delta $ に収束することを確認している。

ABSTRACT

We analyze the limit behavior as $s o 1^-$ of the solution to the fractional Poisson equation $(-Δ)^s u_s=f_s$, $x\inΩ$ with homogeneous Dirichlet boundary conditions $u_s\equiv 0$, $x\inΩ^c$. We show that $\lim_{s o 1^-} u_s =u$, with $-Δu =f$, $x\inΩ$ and $u=0$, $x\in\partialΩ$. Our results are complemented by a discussion on the rate of convergence and on extensions to the parabolic setting.

研究の動機と目的

• 分数階数 $ s \to 1^{-} $ のときの分数階ポアソン方程式の解の極限挙動を厳密に分析すること。
• 非局所問題の弱解の極限が、古典的局所ポアソン方程式の弱解に収束することを確立すること。
• この収束が成り立つ条件、特にデータ $ f_s $ に関して、一様有界性と $ H^{-1} $ での弱収束を保証すること。
• 収束結果を放物型設定に拡張し、時間依存の非局所問題と局所問題において類似の収束が成り立つことの証明。

提案手法

• 領域 $ \Omega^c $ における同次ディリクレ境界条件を満たす分数階問題 $ (-\Delta)^s u_s = f_s $ に対して、$ H^s_0(\Omega) $ における弱解の定義を用いる。
• 正規化定数 $ C_{N,s} $ を持つ特異核 $ |x-y|^{-N-2s} $ を用いた分数階ラプラシアンの積分表現を適用する。
• 既知の演算子 $ (-\Delta)^s \to -\Delta $ の収束に依拠し、$ s \to 1^{-} $ のときの $ H^s_0 $-ノルムのコンパクトネスとノルム収束の結果を用いる。
• $ \|f_s\|_{H^{-s}} \leq C $ として一様有界性を確立し、$ s \to 1^{-} $ のときの $ H^{-1} $ での弱収束 $ f_s \rightharpoonup f $ を示す。
• エネルギー推定と弱収束の技法を用いて、すべての $ 0 < \delta \leq 1 $ に対して $ u_s \to u $ が $ H^{1-\delta}_0(\Omega) $ で強く収束することを示す。
• 時間依存問題 $ \partial_t \phi_s - (-\Delta)^s \phi_s = g_s $ を分析することで、放物型の場合に拡張し、$ (\phi_s, \partial_t \phi_s) $ が $ L^2(0,T; H^{1-\delta}_0) \times L^2(0,T; H^{-1}) $ で収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 領域 $ \Omega $ における分数階ポアソン方程式 $ (-\Delta)^s u_s = f_s $ の解 $ u_s $ は、$ s \to 1^{-} $ のとき、古典的ポアソン方程式 $ -\Delta u = f $ の解 $ u $ に収束するか？
• RQ2 データ $ f_s $ に対してどのような条件下で、$ u_s $ の収束が強い位相で成り立つか？
• RQ3 分数階ラプラシアンが空間的・時間的につかわれる放物型設定に、収束結果を拡張できるか？
• RQ4 収束の速度は何か？ また、データおよび領域の正則性にどのように依存するか？
• RQ5 $ H^s_0 $-ノルムと分数階演算子 $ (-\Delta)^s $ は、$ s \to 1^{-} $ の極限でどのように振る舞うか？

主な発見

• $ s \to 1^{-} $ のとき、$ f_s $ が一様有界かつ弱収束するという条件下で、分数階ポアソン問題の解 $ u_s $ は、すべての $ 0 < \delta \leq 1 $ に対して $ H^{1-\delta}_0(\Omega) $ で強く収束する。
• 極限関数 $ u $ は $ H^1_0(\Omega) $ に属し、弱い意味で古典的ポアソン方程式 $ -\Delta u = f $ を満たす。
• 収束は、$ \|f_s\|_{H^{-s}} \leq C $（$ s $ に関して一様）かつ $ s \to 1^{-} $ のとき $ f_s \rightharpoonup f $（$ H^{-1}(\Omega) $ で弱収束）という仮定のもとで成立する。
• 収束は $ H^{1-\delta}_0 $-ノルムにおいて強いものであり、データに最小限の仮定しか置かないにもかかわらず、極限で正則性が向上していることを示している。
• 結果は放物型設定に拡張可能である：時間依存の分数階問題の解 $ \phi_s $ は、$ L^2(0,T; H^{1-\delta}_0) \times L^2(0,T; H^{-1}) $ で古典的放物型問題の解に強く収束する。
• 証明は、滑らかな関数に対して点単位で $ (-\Delta)^s u \to -\Delta u $ となることと、ソボレフ空間におけるコンパクトネスの議論に依拠している。