[论文解读] Nonlocal discrete diffusion equations and the fractional discrete Laplacian, regularity and applications

Óscar Ciaurri, Luz Roncal+3 more|arXiv (Cornell University)|Aug 31, 2016

Nonlinear Partial Differential Equations参考文献 25被引用 6

一句话总结

该论文为在均匀网格上由离散拉普拉斯算子的分数阶幂驱动的非局部离散扩散方程建立了严格的框架。它推导出分数阶离散拉普拉斯算子的逐点非局部公式，通过半离散扩展问题证明其与Dirichlet-to-Neumann算子的等价性，并展示了当网格尺寸 $ h \to 0 $ 时，解以显式误差估计在Hölder空间中收敛于连续分数阶拉普拉斯算子。

ABSTRACT

The analysis of nonlocal discrete equations driven by fractional powers of the discrete Laplacian on a mesh of size $h>0$ \[ (-Δ_h)^su=f, \] for $u,f:\mathbb{Z}_h o\mathbb{R}$, $0

研究动机与目标

• 为在均匀网格上涉及离散拉普拉斯算子分数阶幂的非局部离散扩散方程发展一个全面的理论。
• 通过半离散扩展问题，建立 $ (-\Delta_h)^s u $ 的逐点非局部公式，并将其表征为Dirichlet-to-Neumann算子。
• 证明离散H"older空间中的正则性估计，离散Dirichlet问题的存在性与唯一性，并推导离散Sobolev与Poincar\'e不等式。
• 分析当 $ h \to 0 $ 时，离散分数阶拉普拉斯算子向连续分数阶拉普拉斯算子的收敛性，提供在最小正则性假设下的统一误差估计。
• 证明连续Poisson问题 $ (-\Delta)^s U = F $ 的解可由离散问题的解以显式误差界逼近。

提出的方法

• 通过半离散热方程 $ \partial_t w = \Delta_h w $ 的解，利用半群方法定义分数阶离散拉普拉斯算子 $ (-\Delta_h)^s u $。
• 推导出 $ (-\Delta_h)^s u_j $ 的逐点非局部公式，表示为格点上的加权和：$ \sum_{m \neq j} (u_j - u_m) K^h_s(j - m) $，其中显式核 $ K^h_s(m) $ 涉及Gamma函数。
• 建立 $ (-\Delta_h)^s $ 与 $ \mathbb{Z}_h \times (0,\infty) $ 上半离散退化椭圆扩展问题的Dirichlet-to-Neumann映射之间的等价性。
• 证明离散设定下的Hardy--Littlewood--Sobolev不等式、分数阶Sobolev嵌入及Poincar\'e不等式的离散版本。
• 利用扩展问题推导离散H"older空间中的Schauder型估计，建立离散Dirichlet问题的存在性与唯一性。
• 分析极限 $ h \to 0 $，证明离散问题的解一致收敛于连续Poisson问题 $ (-\Delta)^s U = F $ 的解，误差界依赖于 $ h $ 和 $ F $ 的正则性。

实验结果

研究问题

• RQ1 如何在均匀网格上通过非局部逐点公式表征离散拉普拉斯算子的分数阶幂？
• RQ2 分数阶离散拉普拉斯算子与半离散扩展问题之间的确切关系是什么？该关系如何实现Dirichlet-to-Neumann表征？
• RQ3 在离散H"older空间中，离散非局部Dirichlet问题的解具有哪些正则性性质，如Schauder估计？
• RQ4 当网格尺寸 $ h \to 0 $ 时，离散分数阶Poisson问题的解如何收敛于连续分数阶Poisson问题的解？误差估计是什么？
• RQ5 哪些离散类比不等式——如Sobolev嵌入与Poincar\'e不等式——对分数阶离散拉普拉斯算子成立？

主要发现

• 推导出 $ (-\Delta_h)^s u_j $ 的逐点非局部公式为 $ \sum_{m \neq j} (u_j - u_m) K^h_s(j - m) $，其中显式核 $ K^h_s(m) $ 涉及Gamma函数。
• 证明分数阶离散拉普拉斯算子 $ (-\Delta_h)^s $ 与 $ \mathbb{Z}_h \times (0,\infty) $ 上半离散扩展问题的Dirichlet-to-Neumann映射等价。
• 建立了离散H"older空间中的Schauder估计，表明离散Dirichlet问题的解继承自数据的H"older正则性。
• 证明了离散分数阶Sobolev嵌入与Poincar\'e不等式，这些是分析离散问题的关键工具。
• 在最小正则性假设下，当 $ h \to 0 $ 时，离散分数阶Sobolev范数收敛于连续分数阶拉普拉斯算子，误差界为 $ h^{\alpha} $ 阶，其中 $ \alpha < \min(1, 2s) $。
• 在 $ F \in C^{0,\alpha} $ 时，$ \mathbb{R} $ 上连续Poisson问题 $ (-\Delta)^s U = F $ 的解可由离散问题的解以统一误差估计逼近。