Strictly positive definite functions on spheres

in Euclidean spaces

Authors:
Amos Ron and Xingping Sun

Journal:
Math. Comp. **65** (1996), 1513-1530

MSC (1991):
Primary 42A82, 41A05; Secondary 33C55, 33C90

DOI:
https://doi.org/10.1090/S0025-5718-96-00780-6

MathSciNet review:
1370856

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we study strictly positive definite functions on the unit sphere of the -dimensional Euclidean space. Such functions can be used for solving a scattered data interpolation problem on spheres. Since positive definite functions on the sphere were already characterized by Schoenberg some fifty years ago, the issue here is to determine what kind of positive definite functions are actually strictly positive definite. The study of this problem was initiated recently by Xu and Cheney (Proc. Amer. Math. Soc. **116** (1992), 977--981), where certain sufficient conditions were derived. A new approach, which is based on a critical connection between this problem and that of multivariate polynomial interpolation on spheres, is presented here. The relevant interpolation problem is subsequently analyzed by three different complementary methods. The first is based on the de Boor-Ron general ``least solution for the multivariate polynomial interpolation problem''. The second, which is suitable only for , is based on the connection between bivariate harmonic polynomials and univariate analytic polynomials, and reduces the problem to the structure of the integer zeros of bounded univariate exponentials. Finally, the last method invokes the realization of harmonic polynomials as the polynomial kernel of the Laplacian, thereby exploiting some basic relations between homogeneous ideals and their polynomial kernels.

**[1]**R. Askey and J. Fritch,*Integral representations for Jacobi polynomials, and some applications*, J. Math. Anal. Appl.**26**(1969), 411-437. MR**38:6128****[2]**C. de Boor and A. Ron,*On multivariate polynomial interpolation*, Constructive Approximation**6**(1990), 287--302. MR**91c:41005****[3]**------,*Computational aspects of polynomial interpolation in several variables*, Mathematics of Computation**58**(1992), 705--727. MR**92i:65022****[4]**------,*The least solution of the multivariate polynomial interpolation*, Math. Z.**210**(1992), 347--378. MR**93f:41002****[5]**E. W. Cheney and Yuan Xu,*A set of research problems in approximation theory*, Topics in Polynomials of One and Several Variables and Their Applications (Th. M. Rassias, H. M. Srivastava, and A. Yanushauskas, eds., eds.), World Scientific, River Edge, NJ, 1993. MR**95c:41001****[6]**N. Dyn,*Interpolation and approximation by radial and related functions*, Approximation VI (C. K. Chui, L. L. Schumaker, and J. D. Ward, eds.), vol. I, 1989, Academic Press, pp. 211-234. MR**92d:41002****[7]**W. A. Light and E. W. Cheney,*Interpolation by periodic radial basis functions*, J. Math. Anal. Appl.**168**(1992), 111-130. MR**93f:41039****[8]**C. A. Micchelli,*Interpolation of scattered data: distance matrices and conditionally positive definite functions*, Constr. Approx.**2**(1986), 11-22. MR**88d:65016****[9]**V. A. Menegatto,*Strictly positive definite functions on spheres*, University of Texas at Austin, 1992.**[10]**------,*Strictly positive definite kernels on circle*, Rocky Mountain J. Math.**25**(1995), 1149--1163. CMP**96:03****[11]**------,*Strictly positive definite kernels on the Hilbert sphere*, Appl. Anal.**55**(1994), 81--101.**[12]**F. J. Narcowich,*Generalized Hermite interpolation and positive definite kernels on a Riemannian manifold*, J. Math. Anal. Appl.**190**(1995), 165--193. MR**96c:41009****[13]**F. J. Narcowich and J. D. Ward,*Norms of inverses and condition numbers of matrices associated with scattered data*, J. Approx. Theory**64**(1991), 69-94. MR**92b:65017****[14]**------,*Norm estimates for the inverses of a general class of scattered data radial function interpolation matrices*, J. Approx. Theory**69**(1992), 84-109. MR**93c:41005****[15]**E. Quak, N. Sivakumar, and J. D. Ward,*Least squares approximation by radial functions*, SIAM J. Math. Anal.**24**(1993), 1043--1066. MR**94g:41059****[16]**A. Ron and X. Sun,*Strictly positive definite functions on spheres*,*CMS TR 94--6, University of Wisconsin - Madison*, February 1994.**[17]**I. J. Schoenberg,*Metric spaces and completely monotone functions*, Ann. Math.**39**(1938), 811-841.**[18]**------,*Positive definite functions on spheres*, Duke Math. J.**9**(1942), 96-108. MR**3:232c****[19]**E. M. Stein and G. Weiss,*Introduction to Fourier Analysis on Euclidean Spaces*, Princeton University Press, Princeton, NJ, 1971. MR**46:4102****[20]**N. Sivakumar and J. D. Ward,*On the least squares fit by radial functions to multidimensional scattered data*, Numer. Math.**65**(1993), 219--243. MR**94d:41006****[21]**X. Sun,*The fundamentality of translates of a continuous function on spheres*, Numerical Algorithms**8**(1994), 131-134. MR**96a:41005****[22]**Gabor Szegö,*Orthogonal Polynomials*,*Amer. Math. Colloq. Publ.*, Amer. Math. Soc., Providence, RI, 1959. MR**21:5029****[23]**Yuan Xu and E. W. Cheney,*Strictly positive definite functions on spheres*, Proc. Amer. Math. Soc.**116**(1992), 977-981. MR**93b:43005**

Retrieve articles in *Mathematics of Computation of the American Mathematical Society*
with MSC (1991):
42A82,
41A05,
33C55,
33C90

Retrieve articles in all journals with MSC (1991): 42A82, 41A05, 33C55, 33C90

Additional Information

**Amos Ron**

Affiliation:
Department of Computer Science, University of Wisconsin-Madison, Madison, Wisconsin 53706

**Xingping Sun**

Affiliation:
Department of Mathematics, Southwest Missouri State University, Springfield, Missouri 65804

DOI:
https://doi.org/10.1090/S0025-5718-96-00780-6

Received by editor(s):
February 7, 1994

Received by editor(s) in revised form:
February 22, 1995, and July 5, 1995

Article copyright:
© Copyright 1996
American Mathematical Society