Ghost Point Diffusion Maps for Solving Elliptic PDEs on Manifolds with Classical Boundary Conditions

被引:11
作者
Jiang, Shixiao Willing [1 ]
Harlim, John [2 ]
机构
[1] ShanghaiTech Univ, Inst Math Sci, Shanghai 201210, Peoples R China
[2] Penn State Univ, Dept Math, Dept Meteorol & Atmospher Sci, Inst Computat & Data Sci, University Pk, PA 16802 USA
基金
美国国家科学基金会;
关键词
PARTIAL-DIFFERENTIAL-EQUATIONS; FINITE-ELEMENT METHODS; NUMERICAL-SOLUTION; INTEGRAL METHOD; APPROXIMATIONS; LAPLACIAN; GRAPH;
D O I
10.1002/cpa.22035
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In this paper, we extend the class of kernel methods, the so-called diffusion maps (DM) and its local kernel variants to approximate second-order differential operators defined on smooth manifolds with boundaries that naturally arise in elliptic PDE models. To achieve this goal, we introduce the ghost point diffusion maps (GPDM) estimator on an extended manifold, identified by the set of point clouds on the unknown original manifold together with a set of ghost points, specified along the estimated tangential direction at the sampled points on the boundary. The resulting GPDM estimator restricts the standard DM matrix to a set of extrapolation equations that estimates the function values at the ghost points. This adjustment is analogous to the classical ghost point method in a finite-difference scheme for solving PDEs on flat domains. As opposed to the classical DM, which diverges near the boundary, the proposed GPDM estimator converges pointwise even near the boundary. Applying the consistent GPDM estimator to solve well-posed elliptic PDEs with classical boundary conditions (Dirichlet, Neumann, and Robin), we establish the convergence of the approximate solution under appropriate smoothness assumptions. We numerically validate the proposed mesh-free PDE solver on various problems defined on simple submanifolds embedded in Euclidean spaces as well as on an unknown manifold. Numerically, we also found that the GPDM is more accurate compared to DM in solving elliptic eigenvalue problems on bounded smooth manifolds. (c) 2021 Wiley Periodicals LLC.
引用
收藏
页码:337 / 405
页数:69
相关论文
共 54 条
[1]   CONVERGENCE PROPERTIES OF THE SPLINE FIT [J].
AHLBERG, JH ;
NILSON, EN .
JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS, 1963, 11 (01) :95-104
[2]  
[Anonymous], 1966, Iterative solution of elliptic systems and applications to the neutron diffusion equations of reactor physics
[3]  
[Anonymous], 2011, Courant Lecture Notes in Mathematics
[4]  
[Anonymous], 2025, The feynman lectures on physics, DOI DOI 10.1038/S41467-025-56040-4
[5]   A STATIC PDE APPROACH FOR MULTIDIMENSIONAL EXTRAPOLATION USING FAST SWEEPING METHODS [J].
Aslam, Tariq ;
Luo, Songting ;
Zhao, Hongkai .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2014, 36 (06) :A2907-A2928
[6]   On the role of polynomials in RBF-FD approximations: II. Numerical solution of elliptic PDEs [J].
Bayona, Victor ;
Flyer, Natasha ;
Fornberg, Bengt ;
Barnett, Gregory A. .
JOURNAL OF COMPUTATIONAL PHYSICS, 2017, 332 :257-273
[7]   CONSISTENT MANIFOLD REPRESENTATION FOR TOPOLOGICAL DATA ANALYSIS [J].
Berry, Tyrus ;
Sauer, Timothy .
FOUNDATIONS OF DATA SCIENCE, 2019, 1 (01) :1-38
[8]   Iterated diffusion maps for feature identification [J].
Berry, Tyrus ;
Harlim, John .
APPLIED AND COMPUTATIONAL HARMONIC ANALYSIS, 2018, 45 (01) :84-119
[9]   Density estimation on manifolds with boundary [J].
Berry, Tyrus ;
Sauer, Timothy .
COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2017, 107 :1-17
[10]   Local kernels and the geometric structure of data [J].
Berry, Tyrus ;
Sauer, Timothy .
APPLIED AND COMPUTATIONAL HARMONIC ANALYSIS, 2016, 40 (03) :439-469