Abstract
(A) The celebrated Gaussian quadrature formula on finite intervals tells us that the Gauss nodes are the zeros of the unique solution of an extremal problem. We announce recent results of Damelin, Grabner, Levesley, Ragozin and Sun which derive quadrature estimates on compact, homogenous manifolds embedded in Euclidean spaces, via energy functionals associated with a class of group-invariant kernels which are generalizations of zonal kernels on the spheres or radial kernels in euclidean spaces. Our results apply, in particular, to weighted Riesz kernels defined on spheres and certain projective spaces. Our energy functionals describe both uniform and perturbed uniform distribution of quadrature point sets. (B) Given \(\mathcal{X}\), some measurable subset of Euclidean space, one sometimes wants to construct, a design, a finite set of points, \(\mathcal{P} \subset \mathcal{X}\), with a small energy or discrepancy. We announce recent results of Damelin, Hickernell, Ragozin and Zeng which show that these two measures of quality are equivalent when they are defined via positive definite kernels \(K:\mathcal{X}^2(=\mathcal{X}\times\mathcal{X}) \to \mathbb{R}\). The error of approximating the integral \(\int_{\mathcal{X}} f(\mathbf{\mathit{x}}) \, {\rm d} \mu(\mathbf{\mathit{x}})\) by the sample average of f over \(\mathcal{P}\) has a tight upper bound in terms the energy or discrepancy of \(\mathcal{P}\). The tightness of this error bound follows by requiring f to lie in the Hilbert space with reproducing kernel K. The theory presented here provides an interpretation of the best design for numerical integration as one with minimum energy, provided that the μ defining the integration problem is the equilibrium measure or charge distribution corresponding to the energy kernel, K. (C) Let \(\mathcal{X}\) be the orbit of a compact, possibly non Abelian group, \(\mathcal{G}\), acting as measurable transformations of \(\mathcal{X}\) and the kernel K is invariant under the group action. We announce recent results of Damelin, Hickernell, Ragozin and Zeng which show that the equilibrium measure is the normalized measure on \(\mathcal{X}\) induced by Haar measure on \(\mathcal{G}\). This allows us to calculate explicit representations of equilibrium measures. There is an extensive literature on the topics (A–C). We emphasize that this paper surveys recent work of Damelin, Grabner, Levesley, Hickernell, Ragozin, Sun and Zeng and does not mean to serve as a comprehensive survey of all recent work covered by the topics (A–C).
Similar content being viewed by others
References
Benko, D.: The support of the equilibrium measure. Acta. Sci. Math. (Szeged) 70(1–2), 35–55 (2004)
Benko, D.: Approximation by weighted polynomials. J. Approx. Theory 120(1), 153–182 (2003)
Damelin, S.B., Levesley, J., Ragozin, D., Sun, X.: Energies, group invariance kernels and numerical integration on compact manifolds (submitted for publication)
Damelin, S.B., Grabner, P.: Numerical integration, energy and asymptotic equidistributon on the sphere. J. Complex. 19, 231–246 (2003)
Damelin, S.B., Hickernell, F., Ragozin, D., Zeng, X.: On Energy, discrepancy and \(\mathcal{G}\) invariant measures on measurable subsets of Euclidean space (submitted for publication)
Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Wiley-Interscience, New York (1974)
Lankov, N.S.: Foundations of Modern Potential Theory. Springer-Verlag, Berlin (1972)
Levesley, J., Ragozin, D.L.: Positive definite kernel interpolation on manifolds: convergence rates. In: Schumaker, L.L., Stockler, J. (eds) Approximation Theory X, pp. 277–285. Vanderbilt Univ. Press, (2002)
Ragozin, D.: Constructive polynomial approximation on spheres and projective spaces. TAMS 162, 157–170 (1971)
Sun, X.: Scattered cardinal Hermite interpolation by positive definite functions. Computers Comput. Math. Appl. 40, 165–169 (2000)
Sun, X.: Strictly positive definite functions on the unit circle. Math Comput. 74, 709–721 (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Damelin, S.B. A walk through energy, discrepancy, numerical integration and group invariant measures on measurable subsets of euclidean space. Numer Algor 48, 213–235 (2008). https://doi.org/10.1007/s11075-008-9187-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-008-9187-6
Keywords
- Compact homogeneous manifold
- Discrepancy
- Group
- Energy
- Invariant kernels
- Invariant polynomial
- Numerical integration
- Projection kernels
- Projective space
- Quadature
- Reflexive manifold
- Riesz kernel
- Spherical harmonic
- Sphere
- Torus
- Weight
- Capacity
- Cubature
- Discrepancy
- Distribution
- Group invariant kernel
- Group invariant measure
- Energy minimizer
- Equilibrium measure
- Numerical integration
- Positive definite
- Potential field
- Reproducing Hilbert space
- Signed measure