Covering of spheres by spherical caps and worst-case error for equal weight cubature in Sobolev spaces

DOI10.1016/J.JMAA.2015.05.079zbMATH Open1325.65037arXiv1407.8311OpenAlexW1595528267WikidataQ60138320 ScholiaQ60138320MaRDI QIDQ491833FDOQ491833

Authors: Josef Dick, Johann S. Brauchart, E. B. Saff, Ian H. Sloan, Yuguang Wang, Robert S. Womersley 

Publication date: 19 August 2015

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Abstract: We prove that the covering radius of an $N$-point subset $X_N$ of the unit sphere $S^{d}subset{R}^{d+1}$ is bounded above by a power of the worst-case error for equal weight cubature $frac1Nsu{m}_{mathbfxin{X}_N}f(mathbfx)approxin{t}_{S^d}f,mathrmdsigm{a}_d$ for functions in the Sobolev space $mathbb{W}_p^s(S^d)$, where $sigm{a}_d$ denotes normalized area measure on $S^d.$ These bounds are close to optimal when $s$ is close to $d/p$. Our study of the worst-case error along with results of Brandolini et al. motivate the definition of Quasi-Monte Carlo (QMC) design sequences for $mathbb{W}_p^s(S^d)$, which have previously been introduced only in the Hilbert space setting $p=2$. We say that a sequence $(X_N)$ of $N$-point configurations is a QMC-design sequence for $mathbb{W}_p^s(S^d)$ with $s>d/p$ provided the worst-case equal weight cubature error for $X_N$ has order $N^{-s/d}$ as $Noinfty$, a property that holds, in particular, for a sequence of spherical $t$-designs in which each design has order $t^d$ points. For the case $p=1$, we deduce that any QMC-design sequence $(X_N)$ for $mathbb{W}_1^s(S^d)$ with $s>d$ has the optimal covering property; i.e., the covering radius of $X_N$ has order $N^{-1/d}$ as $Noinfty$. A significant portion of our effort is devoted to the formulation of the worst-case error in terms of a Bessel kernel, and showing that this kernel satisfies a Bernstein type inequality involving the mesh ratio of $X_N$. As a consequence we prove that any QMC-design sequence for $mathbb{W}_p^s(S^d)$ is also a QMC-design sequence for $mathbb{W}_{p^{p}rime}^s(S^d)$ for all $1leqp<p^{p}rimeleqinfty$ and, furthermore, if $(X_N)$ is a quasi-uniform QMC-design sequence for $mathbb{W}_p^s(S^d)$, then it is also a QMC-design sequence for $mathbb{W}_p^{s^{p}rime}(S^d)$ for all $s>s^{p}rime>d/p$.

Full work available at URL: https://arxiv.org/abs/1407.8311

Recommendations

• Cubature over the sphere \(S^{2}\) in Sobolev spaces of arbitrary order
• QMC designs: optimal order quasi Monte Carlo integration schemes on the sphere
• A lower bound for the worst-case cubature error on spheres of arbitrary dimension
• Optimal lower bounds for cubature error on the sphere \(S^2\)
• QMC designs and determinantal point processes

zbMATH Keywords

Sobolev spacecovering radiusworst-case errorspherical designcubature on the spherequasi-Monte Carlo design sequences

Mathematics Subject Classification ID

Numerical integration (65D30) Numerical quadrature and cubature formulas (65D32) Multidimensional problems (41A63) Approximate quadratures (41A55)

Cites Work

• NIST handbook of mathematical functions
• Title not available (Why is that?)
• LeVeque type inequalities and discrepancy estimates for minimal energy configurations on spheres
• Analysis of the Laplacian on a complete Riemannian manifold
• Title not available (Why is that?)
• Title not available (Why is that?)
• Localized Tight Frames on Spheres
• Limitierungsverfahren von Reihen mehrdimensionaler Kugelfunktionen und deren Saturationsverhalten
• Spherical harmonics
• \(L^p\) Bernstein estimates and approximation by spherical basis functions
• High-dimensional integration: The quasi-Monte Carlo way
• Spherical codes and designs
• Quadrature rules and distribution of points on manifolds
• Hyperinterpolation on the sphere at the minimal projection order
• Decomposition of Besov and Triebel-Lizorkin spaces on the sphere
• QMC designs: optimal order quasi Monte Carlo integration schemes on the sphere
• Optimal logarithmic energy points on the unit sphere
• Well-separated spherical designs
• Optimal asymptotic bounds for spherical designs
• A lower bound for the worst-case cubature error on spheres of arbitrary dimension
• Optimal lower bounds for cubature error on the sphere \(S^2\)
• Worst-case errors in a Sobolev space setting for cubature over the sphere S²
• Numerical integration over spheres of arbitrary dimension
• Generalized Bessel and Riesz potentials on metric measure spaces
• Tractability of multivariate integration for weighted Korobov classes
• Equivalence of \(K\)-functional and modulus of smoothness of functions on the sphere
• Polynomial operators and local approximation of solutions of pseudo-differential equations on the sphere
• Covering a sphere and extremal properties of orthogonal polynomials
• Title not available (Why is that?)

Cited In (17)

• QMC designs and determinantal point processes
• Explicit Families of Functions on the Sphere with Exactly Known Sobolev Space Smoothness
• One-bit sensing, discrepancy and Stolarsky's principle
• Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere
• Discrepancy and numerical integration on metric measure spaces
• Asymptotic distributions of covering and separation measures on the hypersphere
• Points on manifolds with asymptotically optimal covering radius
• Tight framelets and fast framelet filter bank transforms on manifolds
• Analysis of framelet transforms on a simplex
• Approximate Quadrature Measures on Data-Defined Spaces
• Optimal asymptotic bounds for designs on manifolds
• Weighted least \(\ell_p\) approximation on compact Riemannian manifolds
• Title not available (Why is that?)
• QMC designs: optimal order quasi Monte Carlo integration schemes on the sphere
• Distributed filtered hyperinterpolation for noisy data on the sphere
• Distributing many points on spheres: minimal energy and designs
• Numerical computation of triangular complex spherical designs with small mesh ratio

Uses Software

• Digital Library of Mathematical Functions

This page was built for publication: Covering of spheres by spherical caps and worst-case error for equal weight cubature in Sobolev spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q491833)