Marcinkiewicz--Zygmund measures on manifolds

Abstract

Let ${\mathbb X}$ be a compact, connected, Riemannian manifold (without boundary), $ρ$ be the geodesic distance on ${\mathbb X}$, $μ$ be a probability measure on ${\mathbb X}$, and $\{ϕ_k\}$ be an orthonormal system of continuous functions, $ϕ_0(x)=1$ for all $x\in{\mathbb X}$, $\{\ell_k\}_{k=0}^\infty$ be an nondecreasing sequence of real numbers with $\ell_0=1$, $\ell_k\uparrow\infty$ as $k\to\infty$, $Π_L:={\mathsf {span}}\{ϕ_j : \ell_j\le L\}$, $L\ge 0$. We describe conditions to ensure an equivalence between the $L^p$ norms of elements of $Π_L$ with their suitably discretized versions. We also give intrinsic criteria to determine if any system of weights and nodes allows such inequalities. The results are stated in a very general form, applicable for example, when the discretization of the integrals is based on weighted averages of the elements of $Π_L$ on geodesic balls rather than point evaluations.