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

DOI10.1016/J.JMAA.2015.05.079MaRDI QIDQ491833zbMATH OpenOpenAlexWikidataFDO

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)

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

Sobolev space covering radius worst-case error spherical design cubature on the sphere quasi-Monte Carlo design sequences

Mathematics Subject Classification ID

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

Abstract: We prove that the covering radius of an

N

-point subset

X_{N}

of the unit sphere

S^{d} s u b s e t R^{d + 1}

is bounded above by a power of the worst-case error for equal weight cubature

f r a c 1 N s u m_{m a t h b f x i n X_{N}} f (m a t h b f x) a p p r o x i n t_{S^{d}} f, m a t h r m d s i g m a_{d}

for functions in the Sobolev space

m a t h b b W_{p}^{s} (S^{d})

, where

s i g m 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

m a t h b b 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

m a t h b b 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

N o i n f t y

, 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

m a t h b b 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

N o i n f t y

. 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

m a t h b b W_{p}^{s} (S^{d})

is also a QMC-design sequence for

m a t h b b W_{p^{p} r i m e}^{s} (S^{d})

for all

1 l e q p < p^{p} r i m e l e q i n f t y

and, furthermore, if

(X_{N})

is a quasi-uniform QMC-design sequence for

m a t h b b W_{p}^{s} (S^{d})

, then it is also a QMC-design sequence for

m a t h b b W_{p}^{s^{p} r i m e} (S^{d})

for all

s > s^{p} r i m e > d / p

.

Recommendations

Cites work

Cited in

(17)

Describes a project that uses

Uses Software

DLMF

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)