[論文レビュー] 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∞リーマン多様体上で、その中心から指数的に減衰するように、関連するラグランジュ関数が一様に有界であるような、滑らかさが徐々に向上するカーネル族を構築できることを確立している。主な結果として、これらのカーネルを用いた補間におけるレフネス定数が、データ点のメッシュ比にのみ依存して一様に有界であることが示され、複雑な幾何構造を有する多様体上でも安定な近似が保証される。

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∞リーマン多様体上での補間に耐障害性の高いカーネル族を開発すること。
• 関連するラグランジュ関数が一様に有界であり、中心から指数的に減衰することを保証すること。
• レフネス定数が一様に有界であり、データ点の配置のメッシュ比にのみ依存することを確立すること。
• 多様体の内面的幾何構造を考慮することで、ユークリッド空間からの結果を非ユークリッド多様体へと拡張すること。
• 補間解析の基盤的ツールとしてのコンパクトなリーマン多様体における「ゼロの補題」を確立すること。

提案手法

• R^dにおけるラグランジュ関数のソボレフ減衰に関するマトヴェエフの研究手法を多様体設定へ適応すること。
• 良好な補間性質を維持する滑らかさが向上するカーネル族を構築すること。
• 幾何解析を用いて、曲がった多様体上でのラグランジュ関数の振る舞いを制御すること。
• 補間ノードの影響を制限するために、コンパクトなリーマン多様体における「ゼロの補題」を確立すること。
• レフネス定数の唯一の依存要因としてメッシュ比を活用すること。
• R^dにおける表面スプラインおよびソボレフスプラインに関する既知の結果を、一般のコンパクトなリーマン多様体へと拡張すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体上に、ラグランジュ関数が一様に有界かつ中心から指数的に減衰するような滑らかなカーネル族を構築できるか？
• RQ2 どのような幾何的・解析的条件下で、多様体上でのレフネス定数が一様に有界に保たれるか？
• RQ3 データ点の配置（メッシュ比で測定）は、多様体上での補間安定性にどのように影響するか？
• RQ4 コンパクトなリーマン多様体における「ゼロの補題」を確立できるか、これにより補間作用素の解析が支援されるか？
• RQ5 R^dにおける表面スプラインおよびソボレフスプラインの有界なレフネス定数に関する結果を、非ユークリッド多様体へどの程度まで拡張できるか？

主な発見

• 任意のコンパクトで連結なC∞リーマン多様体上に、滑らかさが向上する耐障害性の高いカーネル族が構築された。
• 関連するラグランジュ関数は一様に有界であり、中心から指数的に減衰する。
• 補間におけるレフネス定数は一様に有界であり、データ点のメッシュ比にのみ依存する。
• データ点が準一様に分布する条件下で、R^dにおける表面スプラインおよびソボレフスプラインに関する既知の結果が、コンパクトなリーマン多様体へと拡張された。
• コンパクトなリーマン多様体における「ゼロの補題」が確立され、補間誤差の上限評価に不可欠なツールが得られた。
• 多様体の幾何構造が解析に影響を及けることが示され、ユークリッドの場合よりもより洗練された技術が要求された。