[论文解读] Kernel Interpolation on Manifolds with Bounded Lebesgue Constants

Thomas Hangelbroek, F. J. Narcowich+1 more|arXiv (Cornell University)|Aug 31, 2009

Numerical methods in inverse problems参考文献 13被引用 3

一句话总结

本文证明，在任意紧致、连通的C∞黎曼流形上，可以构造出一族光滑度逐渐提高的核函数，使得其对应的拉格朗日函数一致有界，并且在其中心以外呈指数衰减。作为关键结果，使用这些核函数进行插值时的Lebesgue常数一致有界，其依赖仅与数据点的网格比（mesh ratio）有关，从而确保在几何结构复杂的流形上具有鲁棒的近似稳定性。

ABSTRACT

The purpose of this paper is to establish that for any compact, connected C ∞ Riemannian manifold there exists a robust family of kernels of increasing smoothness that are well suited for interpolation. They generate Lagrange functions that are uniformly bounded and decay away from their center at an exponential rate. An immediate corollary is that the corresponding Lebesgue constant will be uniformly bounded with a constant whose only dependence on the set of data sites is reflected in the mesh ratio, which measures the uniformity of the data. The analysis needed for these results was inspired by some fundamental work of Matveev where the Sobolev decay of Lagrange functions associated with certain kernels on Ω ⊂ R d was obtained. With a bit more work, one establishes the following: Lebesgue constants associated with surface splines and Sobolev splines are uniformly bounded on R d provided the data sites Ξ are quasi-uniformly distributed. The non-Euclidean case is more involved as the geometry of the underlying surface comes into play. In addition to establishing bounded Lebesgue constants in this setting, a “zeros lemma ” for compact Riemannian manifolds is established. 1

研究动机与目标

• 在紧致、连通的C∞黎曼流形上，开发一组鲁棒的核函数用于插值。
• 确保对应的拉格朗日函数一致有界，并且从其中心呈指数衰减。
• 建立Lebesgue常数保持一致有界，且仅依赖于数据点的网格比。
• 通过考虑流形的内在几何结构，将欧氏空间中的结果推广至非欧几里得流形。
• 为分析提供基础工具，证明紧致黎曼流形上的“零点引理”（zeros lemma）。

提出的方法

• 将Matveev在R^d中关于拉格朗日函数Sobolev衰减的研究方法，适配至流形设定。
• 构造一族光滑度不断提高的核函数，同时保持有利的插值性质。
• 利用几何分析控制曲面上拉格朗日函数的行为。
• 为紧致黎曼流形建立“零点引理”，以限制插值节点的影响。
• 将Lebesgue常数的依赖关系仅限定为数据点分布的网格比。
• 将已知的关于曲面和Sobolev样条在R^d中的结果，推广至一般的紧致黎曼流形。

实验结果

研究问题

• RQ1 是否可以在紧致黎曼流形上构造一族光滑核函数，使得其拉格朗日函数一致有界并从中心呈指数衰减？
• RQ2 哪些几何与分析条件可确保在流形设定下Lebesgue常数保持一致有界？
• RQ3 数据点的分布（以网格比衡量）如何影响流形上插值的稳定性？
• RQ4 是否可为紧致黎曼流形建立“零点引理”，以支持插值算子的分析？
• RQ5 在R^d中关于曲面和Sobolev样条的有界Lebesgue常数结果，能在多大程度上推广至非欧几里得流形？

主要发现

• 在任意紧致、连通的C∞黎曼流形上，构造出一族光滑度不断提高的鲁棒核函数。
• 对应的拉格朗日函数一致有界，并且从中点开始呈指数衰减。
• 插值的Lebesgue常数一致有界，其依赖仅与数据点的网格比有关。
• 在准均匀数据分布下，本分析将已知的关于曲面和Sobolev样条在R^d中的结果，推广至紧致黎曼流形。
• 为紧致黎曼流形建立了“零点引理”，为控制插值误差提供了关键工具。
• 结果表明，流形的几何结构会影响分析过程，相较于欧氏情形需要更复杂的处理技术。