Numerical Algorithms

, Volume 48, Issue 1–3, pp 213–235 | Cite as

A walk through energy, discrepancy, numerical integration and group invariant measures on measurable subsets of euclidean space

  • S. B. Damelin
Original Paper


(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).


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 

Mathematics Subject Classifications (2000)

Primary 41A05 Secondary 41A15 41A63 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benko, D.: The support of the equilibrium measure. Acta. Sci. Math. (Szeged) 70(1–2), 35–55 (2004)MATHMathSciNetGoogle Scholar
  2. 2.
    Benko, D.: Approximation by weighted polynomials. J. Approx. Theory 120(1), 153–182 (2003)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Damelin, S.B., Levesley, J., Ragozin, D., Sun, X.: Energies, group invariance kernels and numerical integration on compact manifolds (submitted for publication)Google Scholar
  4. 4.
    Damelin, S.B., Grabner, P.: Numerical integration, energy and asymptotic equidistributon on the sphere. J. Complex. 19, 231–246 (2003)CrossRefMathSciNetGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Wiley-Interscience, New York (1974)MATHGoogle Scholar
  7. 7.
    Lankov, N.S.: Foundations of Modern Potential Theory. Springer-Verlag, Berlin (1972)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Ragozin, D.: Constructive polynomial approximation on spheres and projective spaces. TAMS 162, 157–170 (1971)CrossRefMathSciNetGoogle Scholar
  10. 10.
    Sun, X.: Scattered cardinal Hermite interpolation by positive definite functions. Computers Comput. Math. Appl. 40, 165–169 (2000)MATHCrossRefGoogle Scholar
  11. 11.
    Sun, X.: Strictly positive definite functions on the unit circle. Math Comput. 74, 709–721 (2005)MATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  1. 1.Department of Mathematical SciencesGeorgia Southern UniversityStatesboroUSA
  2. 2.School of Computational and Applied MathematicsUniversity of the WitwatersrandWITSSouth Africa

Personalised recommendations