Definition:Hardy-Littlewood Maximal Function

Definition

This article needs to be linked to other articles. In particular: throughout You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.

This article, or a section of it, needs explaining. In particular: presumably the "Hardy-Littlewood Maximal Function" is that function which is returned by the Hardy-Littlewood maximal operator? More precision needed here. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

The Hardy-Littlewood maximal operator takes a locally integrable function $f: \R^d \to \R$ and returns another function $M f$ that, at each point $x \in \R^d$ gives the maximum average value that $f$ can have on balls centered at that point.

More precisely,

$\ds \map {M f} x := \sup_{r \mathop > 0} \frac 1 {\size {\map B {x, r} } } \int_{\map B {x, r} } \size {\map f y} \rd y$

where:

$\map B {x, r}$ is the ball of radius $r$ centered at $x$

$\size E$ denotes the Lebesgue measure of $E \subset \R^d$.

Sources

• 2005: Elias M. Stein and Rami Shakarchi: Real Analysis: Measure Theory, Integration, and Hilbert Spaces, ISBN 0-691-11386-6