For every finite family of Euclidean balls in $\mathbb{R}^n$, $n\ge2$, and every $0<\delta<1/2$, we select a subfamily whose $(1+\delta)$-dilations cover the original union and whose undilated balls have multiplicity at most $C_n\delta^{-(n-1)/2}$. This proves the covering estimate conjectured by Han and Lu \cite{HL}. As an application, we determine the optimal Solyanik asymptotic \[ \mathcal C_n(\alpha)-1\asymp_n(1-\alpha)^{2/(n+1)} \qquad(\alpha\uparrow1) \] for the uncentered Hardy--Littlewood maximal operator over Euclidean balls, which is Conjecture~1(b) of Hagelstein and Parissis \cite{HP14}. For the modified uncentered maximal operators, we determine the optimal weak $(1,1)$ growth rate $(k-1)^{-(n-1)/2}$ as $k\downarrow1$, uniformly over Radon measures. We also obtain the corresponding $L^p$ and Fefferman--Stein bounds.
The Johnson--Lindenstrauss lemma asserts that every set of $n$ points in $d$-dimensional Euclidean space embeds into $O(\varepsilon^{-2}\log n)$-dimensional Euclidean space with distortion at most $1+\varepsilon$. Larsen and Nelson conjectured that the optimal target dimension throughout the full range of the parameter...
We prove the Zygmund conjecture in all parameters: the maximal operator associated with products of cubes with side lengths $(s_1,\ldots,s_{m-1},\phi(s_1,\ldots,s_{m-1}))$, where $\phi$ is any positive coordinatewise nondecreasing function, satisfies the weak $L(\log L)^{m-2}$ estimate for every $m\geq3$. The estimate...
Let $M_t$ denote the normalized average over the lattice points in the Euclidean ball of radius $t$ in $\mathbb{Z}^d$. We prove that the full maximal operator $f\mapsto\sup_{t\geq0}\lvert M_t f\rvert$ is bounded on $\ell^p(\mathbb{Z}^d)$, for every $1<p\leq\infty$, with a constant independent of the dimension. In parti...
Let $(M^{n+1},g)$ be a closed smooth Riemannian manifold, and let \[ 0=\lambda_0\leq\lambda_1\leq\ldots \] be the spectrum of the Laplace-Beltrami operator, with corresponding real eigenfunctions $\{\phi_j\}_{j\geq0}$. Let $\{\omega_p(M,g)\}_{p\geq1}$ denote Gromov's volume spectrum. In 2014, Marques-Neves conjectured...
We prove a Liouville theorem for nonnegative entire strictly spacelike solutions of \[ \operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right)+u^p=0 \qquad\text{in }\mathbb R^n. \] If $n=2$ and $p\geqslant1$, or if $n\geqslant3$ and $1\leqslant p\leqslant\frac{n+2}{n-2}$, every nonnegative $C^2$ solution...
Xi-nan Ma, Tian Wu, Wang-Zhe Wu et al.· 0 citations
Let $\Omega_{n}=\{-1,1\}^n$ be the $n$-dimensional hypercube equipped with the normalized uniform measure, let $\nabla$ be the Walsh gradient and let $\Delta$ be the Walsh Laplacian. For every $1<p\leq 2$ we prove the following estimate \[ \|\nabla f\|_{L_p(\Omega_n;\ell_2^n)} \leq c_{{\rm abs}}(p-1)^{-2}\|\Delta^{1/p}...
Yong Jiao, Si-Jie Luo, D. Zanin et al.· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
