Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.35760

Endpoint gradient bounds for centered convex maximal operators and probability kernels

Zhouyu Long
View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish the endpoint gradient estimate for centered homothetic maximal averages in every dimension $d\ge2$ over each fixed convex body with $C^{1,θ}$ boundary, $0<θ\le1$. In particular, the centered ball maximal operator satisfies the $W^{1,1}$ gradient bound in every dimension. Neither strict convexity nor a lower bound on the support gap is required. The geometric argument combines concentration in gradient values with nonhomogeneous calibrated rows and a summable radial correction. It extends the scalar refinement, direction-history construction and global assembly of the planar centered-disk proof of OpenAI. A separate transfer theorem gives sharp singular-derivative identities for bounded compact probability kernels once local BV output is known, and gradient continuity under an additional spatial-tail condition. Quantitative contact and translation estimates yield further profile and kernel examples. The estimates retain the fixed body's regularity data; the endpoint for arbitrary $C^1$ and nonsmooth convex bodies remains open here.

Explore related subjects

math.CAmath.FAmath.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhouyu Long. 2026-10-26. Endpoint gradient bounds for centered convex maximal operators and probability kernels. https://arxiv.org/abs/2610.35760

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

KEEP EXPLORING

Related papers

arXiv2026

Projection Theorems in the Presence of Expansions

We prove a restricted projection theorem for a certain one dimensional family of projections from $\mathbb R^n$ to $\mathbb R^k$. The family we consider here arises naturally in the study of quantitative equidistribution problems in homogeneous dynamics.

math.CA↗
arXiv2026

Hausdorff content $A_p$ weights: weighted maximal inequalities and fundamental structural properties

Let $\mathcal H_{\infty}^δ$ denote the Hausdorff content of dimension $δ\in(0,n]$ defined on subsets of $\mathbb R^n$. The principal problem, considered in this paper, is to characterize the non-negative function $w$ for which the weighted $L^p$ inequality with $p\in(1,\infty)$ and the weighted weak $L^1$ inequality on Hardy-Littlewood maximal operators associated with Hausdorff content hold true. To achieve this, we introduce a class of Hausdorff content $A_p$ weights, denoted as $\mathcal A_{p,δ}$, and then show that, for any $p\in(1,\infty)$ and $δ\in(0,n]$, the weighted $L^p$ maximal inequality holds true if and only if $w\in\mathcal A_{p,δ}$, and the weighted weak $L^1$ maximal inequality holds true if and only if $w\in\mathcal A_{1,δ}$ by proposing a novel approach. As the second objective, applying this approach, the seminal structural properties of classical Muckenhoupt $A_p$ weights, such as the reverse Hölder inequality [R. R. Coifman and C. Fefferman, Studia Math. 51 (1974), 241-250], the self-improving property [B. Muckenhoupt, Trans. Amer. Math. Soc. 165 (1972), 207-226], and Jones' factorization theorem [P. W. Jones, Ann. of Math. (2) 111 (1980), 511-530], are all established for $\mathcal A_{p,δ}$. The main novelties of this paper lies in: (i) we discover $\mathcal A_{p,δ}$ weights with rich structural properties, that increase strictly on dimension exponent and hence reduce to the classical $A_p$ class at the endpoint dimension, forming proper subsets of it for smaller dimension exponent; (ii) by proposing a novel approach, this work naturally extends the classical theory beyond measure-theoretic frameworks, while also provides novel insights even when reduced to the classical $A_p$ weight case.

math.CA↗