Endpoint gradient bounds for centered convex maximal operators and probability kernels

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.

Authors

Publication Details

Journal
arXiv (Cornell University)
Published
2026-10-26
DOI
https://doi.org/10.48550/arxiv.2610.35760
Primary Topic
Advanced Harmonic Analysis Research
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Endpoint gradient bounds for centered convex maximal operators and probability kernels

Zhouyu Long
arXiv (Cornell University)
Advanced Harmonic Analysis Research
preprint

Endpoint gradient bounds for centered convex maximal operators and probability kernels

Zhouyu Long
preprint en

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.

arXiv (Cornell University)
Advanced Harmonic Analysis Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon