2018/11/26 by J. M. Aldaz, Aldaz, J. M. · 1 citation
Mathematics · #Advanced Banach Space Theory #Advanced Harmonic Analysis Research #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Holomorphic and Operator Theory #math.CA
paper · pdf · doi:10.48550/arxiv.1811.10478
20 pages, minor changes, save that it adds as a last section another ms of the author, namely arXiv:1902.11080
openalex publication_date 2018/11/26 · arxiv created 2020/03/10 · arxiv updated 2020/03/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove that in a metric measure space X, if for some p ∈ (1,∞) there are uniform bounds (independent of the measure) for the weak type (p,p) of the centered maximal operator, then X satisfies a certain geometric condition, the Besicovitch intersection property, which in turn implies the uniform weak type (1,1) of the centered operator. Thus, the following characterization is obtained: the centered maximal operator satisfies uniform weak type (1,1) bounds if and only if the space X has the Besicovitch intersection property. In ℝd with any norm, the constants coming from the Besicovitch intersection property are bounded above by the translative kissing numbers. The extensive literature on kissing numbers allows us to obtain, first, sharp estimates on the uniform bounds satisfied by the centered maximal operators defined by arbitrary norms on the plane, second, sharp estimates in every dimension when the ℓ_∞ norm is used, and third, improved estimates in all dimensions when considering euclidean balls, as well as the sharp constant in dimension 3. Additionally, we prove that the existence of uniform L1 bounds for the averaging operators associated to arbitrary measures and radii, is equivalent to a weaker variant of the Besicovitch intersection property.