Search arXivSearch

arXiv · 1705.04864

Chebyshev-type cubature formulas for doubling weights on spheres, balls and simplexes

Abstract

This paper proves that given a doubling weight $w$ on the unit sphere $\mathbb{S}^{d-1}$ of $\mathbb{R}^d$, there exists a positive constant $K_w$ such that for each positive integer $n$ and each integer $N\geq \max_{x\in \mathbb{S}^{d-1}} \frac {K_w} {w(B(x, n^{-1}))}$, there exists a set of $N$ distinct nodes $z_1,\cdots, z_N$ on $\mathbb{S}^{d-1}$ which admits a strict Chebyshev-type cubature formula (CF) of degree $n$ for the measure $w(x) dσ_d(x)$, $$ \frac 1{w(\mathbb{S}^{d-1})} \int_{\mathbb{S}^{d-1}} f(x) w(x)\, dσ_d(x)=\frac 1N \sum_{j=1}^N f(z_j),\ \ \forall f\inΠ_n^d, $$ and which, if in addition $w\in L^\infty(\mathbb{S}^{d-1})$, satisfies $$\min_{1\leq i\neq j\leq N}\mathtt{d}(z_i,z_j)\geq c_{w,d} N^{-\frac1{d-1}}$$ for some positive constant $c_{w,d}$. Here, $dσ_d$ and $\mathtt{d}(\cdot, \cdot)$ denote the surface Lebesgue measure and the geodesic distance on $\mathbb{S}^{d-1}$ respectively, $B(x,r)$ denotes the spherical cap with center $x\in\mathbb{S}^{d-1}$ and radius $r>0$, $w(E)=\int_E w(x) \, dσ_d(x)$ for $E\subset\mathbb{S}^{d-1}$, and $Π_n^d$ denotes the space of all spherical polynomials of degree at most $n$ on $\mathbb{S}^{d-1}$. It is also shown that the minimal number of nodes $\mathcal{N}_{n} (wdσ_d)$ in a strict Chebyshev-type CF of degree $n$ for a doubling weight $w$ on $\mathbb{S}^{d-1}$ satisfies $$\mathcal{N}_n (wdσ_d) \sim \max_{x\in \mathbb{S}^{d-1}} \frac 1 {w(B(x, n^{-1}))},\ \ n=1,2,\cdots.$$ Proofs of these results rely on new convex partitions of $\mathbb{S}^{d-1}$ that are regular with respect to a given weight $w$ and integer $N$. Our results extend the recent results of Bondarenko, Radchenko, and Viazovska on spherical designs ({\it Ann. of Math. (2)} {\bf 178}(2013), no. 2, 443--452,{\it Constr. Approx.} {\bf 41}(2015), no. 1, 93--112).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Feng Dai, Han Feng. 2017-07-13. Chebyshev-type cubature formulas for doubling weights on spheres, balls and simplexes. https://arxiv.org/abs/1705.04864

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

Let $p$ be an odd prime. We prove the extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every nonzero-radius sphere $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq \, 34/11$, uniformly in $p$ and $j$. This improves the Stein--Tomas exponent $10/3$ established by Iosevich and Koh (2008). We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture implies the spherical extension estimates $R_{S_j}^*(2\to r)\lesssim_r 1$ for every $r>3$, and yields almost-every-pin distance estimates at the conjectured Erdős--Falconer exponent in four dimensions, up to an arbitrarily small power loss in the set-size hypothesis. Using the same method, we improve the bounds supplied by Fourier decay and Plancherel at intermediate support scales and derive new almost-every-pin distance estimates in $\mathbb{F}_p^4$.

math.CA

Dimension-free estimates for discrete maximal functions over cubes in $\mathbb Z^d$

In this short note, we establish dimension-free $\ell^p(\mathbb Z^d)$ bounds, for all $p\in(1,\infty]$, for the discrete Hardy--Littlewood maximal functions associated with cubes in $\mathbb Z^d$, answering a question that had been open for a while. The key idea is to prove dimension-free bounds for the $\ell^p(\mathbb Z^d)$ norms of the differences of the corresponding averages. This follows from an ad hoc interpretation of the associated discrete multipliers as a special continuous family of multipliers to which basic fractional integration and complex interpolation can be applied. The same method also yields an elementary proof of Bourgain's dimension-free $L^p(\mathbb R^d)$ bounds for the Hardy--Littlewood maximal function associated with cubes in $\mathbb R^d$.

math.CA

Establishing the Polynomial Wolff Axioms for $δ$-Separated $δ$-Tubes With #o-minimality

We establish the full version of a conjecture of Guth and Zahl, giving a lower bound for the volume of a semialgebraic set that has a large intersection with a collection of $δ$-separated $δ$-tubes. Our proof uses o-minimal methods to simplify the proof of Katz and Rogers, who proved the conjecture up to a small factor. We also establish that the constants depend polynomially on the complexity of the semialgebraic set, and more generally in the #o-minimal setting.

math.CA