[论文解读] An inverse theorem on bounded domains for meshless methods using localized bases

Thomas Hangelbroek, Francis J. Narcowich+2 more|arXiv (Cornell University)|Jun 5, 2014

Numerical methods in inverse problems被引用 5

一句话总结

本文在有界、紧致、光滑的黎曼流形上，建立了基于空间局部化核基函数的逼近空间的直接与逆估计。通过将局部化径向基函数（RBF）构造推广至流形，为使用Sobolev-Matern核的无网格方法提供了理论基础，确保在复杂几何体上散乱数据逼近的最优收敛速率与稳定性。

ABSTRACT

This article develops direct and inverse estimates for certain finite dimensional spaces arising in kernel approximation. Both the direct and inverse estimates are based on approximation spaces spanned by local Lagrange functions which are spatially highly localized. The construction of such functions is computationally efficient and generalizes the construction given by the authors for restricted surface splines on $\mathbb{R}^d$. The kernels for which the theory applies includes the Sobolev-Matern kernels for closed, compact, connected, $C^\infty$ Riemannian manifolds.

研究动机与目标

• 开发用于在有界区域上使用局部化基函数的无网格方法的理论误差估计。
• 将先前在 R^d 上的RBF构造推广至紧致、光滑的黎曼流形。
• 在基函数构造中确保计算效率与空间局部化。
• 建立由局部拉格朗日函数张成的逼近空间的收敛速率。
• 将基于核的方法的适用性扩展至一般的紧致、连通、C^∞ 黎曼流形。

提出的方法

• 作者定义了由核函数导出的空间局部化拉格朗日函数张成的逼近空间。
• 采用Sobolev-Matern核作为底层核函数，因其平滑性与衰减特性而知名。
• 局部拉格朗日函数的构造设计为计算高效，避免了稠密全局矩阵的出现。
• 理论依赖于将逼近空间嵌入到紧致黎曼流形上的Sobolev空间中。
• 利用核的性质与流形的几何结构，推导出直接与逆估计。
• 分析适用于闭合、紧致、连通、C^∞ 的黎曼流形，推广了先前在 R^d 上的结果。

实验结果

研究问题

• RQ1 如何在有界、紧致的黎曼流形上建立基于核的逼近空间的直接与逆估计？
• RQ2 哪些条件可确保基函数构造中的空间局部化与计算效率？
• RQ3 RBF理论在 R^d 上的结果能在多大程度上推广至具有非平凡几何结构的流形？
• RQ4 Sobolev-Matern核在确保逼近稳定性与收敛性方面起到什么作用？
• RQ5 流形的几何特性如何影响逼近误差界？

主要发现

• 在紧致、连通、C^∞ 黎曼流形上，建立了由局部拉格朗日函数张成的逼近空间的直接与逆估计。
• 局部化基函数在构造上计算高效，避免了全局RBF系统可能出现的病态问题。
• 该理论适用于Sobolev-Matern核，此类核在Sobolev空间中可实现最优逼近速率。
• 逼近空间继承了底层核函数的平滑性与衰减特性。
• 结果将先前在 R^d 上的工作推广至流形，使复杂几何体上的鲁棒无网格方法成为可能。
• 该框架支持在任意紧致、光滑定义域上实现稳定且收敛的散乱数据逼近。