[论文解读] 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

一句话总结

该论文建立了当参数 $ s \to 1^{-} $ 时，分数阶泊松方程解收敛于经典泊松方程解的结论。在右端项满足弱收敛性假设并辅以 $ 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} $ 中的一致有界性和弱收敛性。
• 将收敛结果推广至抛物型情形，证明时间依赖的非局部与局部问题之间存在类似收敛性。

提出的方法

• 采用 $ H^s_0(\Omega) $ 中弱解的定义，处理具有在 $ \Omega^c $ 上齐次狄利克雷条件的分数阶问题 $ (-\Delta)^s u_s = f_s $。
• 利用奇异核 $ |x-y|^{-N-2s} $ 的积分表示来刻画分数阶拉普拉斯算子，并引入归一化常数 $ C_{N,s} $。
• 运用紧致性论证和 $ H^s_0 $-范数在 $ s \to 1^{-} $ 时的收敛性结果，依赖于已知的算子收敛性 $ (-\Delta)^s \to -\Delta $。
• 建立 $ \|f_s\|_{H^{-s}} \leq C $ 的一致有界性，并证明当 $ s \to 1^{-} $ 时 $ f_s \rightharpoonup f $ 在 $ H^{-1} $ 中弱收敛。
• 通过能量估计与弱收敛技巧，证明 $ u_s \to u $ 在 $ H^{1-\delta}_0(\Omega) $ 中强收敛，对所有 $ 0 < \delta \leq 1 $ 成立。
• 通过分析时间依赖问题 $ \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 当 $ s \to 1^{-} $ 时，分数阶泊松方程 $ (-\Delta)^s u_s = f_s $ 在 $ \Omega $ 中的解 $ u_s $ 是否收敛于经典泊松方程 $ -\Delta u = f $ 的解 $ u $？
• RQ2 在何种数据 $ f_s $ 条件下，$ u_s $ 到 $ u $ 的收敛性在强拓扑下成立？
• RQ3 该收敛结果能否推广至抛物型情形，即分数阶拉普拉斯算子在空间与时间上作用？
• RQ4 $ u_s $ 到 $ u $ 的收敛速率如何？其依赖于数据与区域的正则性如何？
• RQ5 当 $ s \to 1^{-} $ 时，$ H^s_0 $-范数与分数阶算子 $ (-\Delta)^s $ 的行为如何？

主要发现

• 当 $ s \to 1^{-} $ 时，在 $ f_s $ 一致有界且弱收敛的条件下，分数阶泊松问题的解 $ u_s $ 在 $ H^{1-\delta}_0(\Omega) $ 中对所有 $ 0 < \delta \leq 1 $ 强收敛于 $ u $。
• 极限函数 $ 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 $ 对光滑函数成立，以及在索伯列夫空间中的紧致性论证。