[论文解读] Convergence of the Point Integral Method for the Poisson Equation on Manifolds II: the Dirichlet Boundary

Zuoqiang Shi, Jian Sun|arXiv (Cornell University)|Dec 16, 2013

Numerical methods in engineering参考文献 37被引用 13

一句话总结

本文建立了点积分法（PIM）在流形上求解带狄利克雷边界条件的泊松方程的收敛性。证明了当点云密度增加时，PIM 的数值解会收敛到边界值问题的真实解。

ABSTRACT

The Poisson equation on manifolds plays an fundamental role in many applications. Recently, we proposed a novel numerical method called the Point Integral method (PIM) to solve the Poisson equations on manifolds from point clouds. In this paper, we prove the convergence of the point integral method for solving the Poisson equation with the Dirichlet boundary condition.

研究动机与目标

• 建立点积分法（PIM）在带狄利克雷边界条件的流形上求解泊松方程的理论收敛性。
• 分析当使用散乱点云数据对带边界的流形应用 PIM 时的行为。
• 弥合无网格方法求解流形上偏微分方程时数值实现与理论保证之间的差距。
• 将 PIM 的理论基础从拉普拉斯方程扩展到更一般的带边界约束的泊松方程。

提出的方法

• 将点积分法（PIM）应用于由点云表示的流形上泊松方程的离散化。
• 通过邻近点的加权和构造拉普拉斯算子的离散积分形式。
• 通过修改系统矩阵来固定边界点的值，从而施加狄利克雷边界条件。
• 收敛性分析依赖于点云的密度以及流形及其边界的几何逼近。
• 使用数值分析和流形逼近的理论工具，对离散 PIM 解与精确解之间的误差进行上界估计。
• 证明在点云采样和流形正则性满足适当假设的条件下，解在 Sobolev 空间 H^1 中收敛。

实验结果

研究问题

• RQ1 点积分法是否收敛到流形上带狄利克雷边界条件的泊松方程的真实解？
• RQ2 收敛速率如何依赖于点云的密度和分布？
• RQ3 点云和流形需要满足何种条件，才能保证 PIM 离散化的稳定性和准确性？
• RQ4 PIM 能否被严格证明为流形上边界值问题的收敛方法？
• RQ5 狄利克雷边界条件的引入如何影响 PIM 的收敛行为？

主要发现

• 随着点云密度的增加，点积分法收敛到带狄利克雷边界条件的泊松方程的精确解。
• 在标准的点云采样和流形光滑性假设下，收敛性在 H^1 范数下得到证明。
• 即使在具有复杂几何结构和边界的流形上，该方法仍保持稳定性和准确性。
• 理论分析证实，当采样密度增加时，离散系统均匀逼近连续 PDE 解。
• 该收敛结果将 PIM 的适用范围扩展到计算几何与物理中的边界值问题。