The centered Hardy-Littlewood maximal function averages the absolute value of a locally integrable function
over balls centered at the output point
and takes the supremum over their radii.
For
on
, it is
where
is the open Euclidean ball and
is its Lebesgue measure.
The uncentered version instead takes the supremum over
all balls containing
.
Lerner and Ombrosi (2026) proved the Muckenhoupt Cp conjecture, characterizing the weights for which
the weighted -norm of the Hilbert transform
is bounded by that of the Hardy-Littlewood maximal function for
.
The sharp maximal function instead averages the deviation of from its interval average, measuring local oscillation (Lerner
2020).