Kernel Approximation on Manifolds I: Bounding the Lebesgue Constant

The purpose of this paper is to establish that for any compact, connected $C^\infty$ 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 in which the Sobolev decay of Lagrange functions associated with certain kernels on $\Omega\subset\mathbb{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 $\mathbb{R}^d$, provided the data sites $\Xi$ are quasi-uniformly distributed. The non-Euclidean cas...

[1]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[2]  W. Madych,et al.  Multivariate interpolation and condi-tionally positive definite functions , 1988 .

[3]  S. Demko.  Inverses of Band Matrices and Local Convergence of Spline Projections , 1977 .

[4]  Jean Duchon,et al.  Splines minimizing rotation-invariant semi-norms in Sobolev spaces , 1976, Constructive Theory of Functions of Several Variables.

[5]  E. Coddington,et al.  Theory of Ordinary Differential Equations , 1955 .

[6]  T. Gutzmer.  Interpolation by positive definite functions on locally compact groups with application to SO (3) , 1996 .

[7]  Manfred Reimer,et al.  Hyperinterpolation on the Sphere at the Minimal Projection Order , 2000 .

[8]  Frank Filbir,et al.  Strictly Positive Definite Functions on Generalized Motion Groups , 2007 .

[9]  Emmanuel Hebey,et al.  Nonlinear analysis on manifolds , 1999 .

[10]  William F. Moss,et al.  Decay rates for inverses of band matrices , 1984 .

[11]  Holger Wendland,et al.  Scattered Data Approximation: Conditionally positive definite functions , 2004 .

[12]  R. Schaback.  Native Hilbert Spaces for Radial Basis Functions I , 1999 .

[13]  T. Banchoff,et al.  Differential Geometry of Curves and Surfaces , 2010 .

[14]  T. Hangelbroek.  Polyharmonic Approximation on the Sphere , 2008, 0811.4175.

[15]  Jeff Cheeger,et al.  Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds , 1982 .

[16]  J. Eichhorn.  The Boundedness of Connection Coefficients and their Derivatives , 1991 .

[17]  Michael J. Johnson.  The Lp-Approximation Order of Surface Spline Interpolation for 1 \leq p \leq 2 , 2004 .

[18]  J. Duchon.  Sur l’erreur d’interpolation des fonctions de plusieurs variables par les $D^m$-splines , 1978 .

[19]  M. Maggioni,et al.  Manifold parametrizations by eigenfunctions of the Laplacian and heat kernels , 2008, Proceedings of the National Academy of Sciences.

[20]  Jean Meinguet,et al.  Optimal approximation and error bounds in seminormed spaces , 1967 .

[21]  N. Hicks.  Notes on Differential Geometry , 1967 .

[22]  Holger Wendland,et al.  Sobolev bounds on functions with scattered zeros, with applications to radial basis function surface fitting , 2004, Math. Comput..

[23]  Hrushikesh Narhar Mhaskar,et al.  L BERNSTEIN ESTIMATES AND APPROXIMATION BY SPHERICAL BASIS FUNCTIONS , 2010 .

[24]  Frank Filbir,et al.  Approximation by Positive Definite Functions on Compact Groups , 2008 .

[25]  H. Triebel.  Theory Of Function Spaces , 1983 .