In mathematics, the Hardy–Littlewood maximal operator M is a significant non-linear operator used in real analysis and harmonic analysis.
The operator takes a locally integrable function f : Rd → C and returns another function Mf. For any point x ∈ Rd, the function Mf returns the maximum of a set of reals, namely the set of average values of f for all the balls B(x, r) of any radius r at x. Formally,
Mf(x)=\supr>0
1 | |
|B(x,r)| |
\intB(x,|f(y)|dy
where |E| denotes the d-dimensional Lebesgue measure of a subset E ⊂ Rd.
The averages are jointly continuous in x and r, so the maximal function Mf, being the supremum over r > 0, is measurable. It is not obvious that Mf is finite almost everywhere. This is a corollary of the Hardy–Littlewood maximal inequality.
This theorem of G. H. Hardy and J. E. Littlewood states that M is bounded as a sublinear operator from Lp(Rd) to itself for p > 1. That is, if f ∈ Lp(Rd) then the maximal function Mf is weak L1-bounded and Mf ∈ Lp(Rd). Before stating the theorem more precisely, for simplicity, let denote the set . Now we have:
Theorem (Weak Type Estimate). For d ≥ 1, there is a constant Cd > 0 such that for all λ > 0 and f ∈ L1(Rd), we have:\left|\{Mf>λ\}\right|<
Cd λ \Vert
f\Vert L1(Rd) .
With the Hardy–Littlewood maximal inequality in hand, the following strong-type estimate is an immediate consequence of the Marcinkiewicz interpolation theorem:
Theorem (Strong Type Estimate). For d ≥ 1, 1 < p ≤ ∞, and f ∈ Lp(Rd),there is a constant Cp,d > 0 such that\Vert
Mf\Vert Lp(Rd) \leqCp,d\Vert
f\Vert Lp(Rd) .
In the strong type estimate the best bounds for Cp,d are unknown. However subsequently Elias M. Stein used the Calderón-Zygmund method of rotations to prove the following:
Theorem (Dimension Independence). For 1 < p ≤ ∞ one can pick Cp,d = Cp independent of d.[1] [2]
While there are several proofs of this theorem, a common one is given below: For p = ∞, the inequality is trivial (since the average of a function is no larger than its essential supremum). For 1 < p < ∞, first we shall use the following version of the Vitali covering lemma to prove the weak-type estimate. (See the article for the proof of the lemma.)
Lemma. Let X be a separable metric space anda family of open balls with bounded diameter. Thenl{F}
has a countable subfamilyl{F}
consisting of disjoint balls such thatl{F}'
} B \subset \bigcup_ 5Bwhere 5B is B with 5 times radius.cupB
For every x such that Mf(x) > t, by definition, we can find a ball Bx centered at x such that
\int | |
Bx |
|f|dy>t|Bx|.
|\{Mf>t\}|\le5d\sumj|Bj|\le{5d\overt}\int|f|dy.
|\{Mf>t\}|\le{2C\overt}
\int | ||||||
|
|f|dx,
p | |
\|Mf\| | |
p |
=\int
Mf(x) | |
\int | |
0 |
ptp-1dtdx=p
infty | |
\int | |
0 |
tp-1|\{Mf>t\}|dt
p | |
\|Mf\| | |
p |
\leqp
infty | |
\int | |
0 |
tp-1\left({2C\overt}
\int | ||||||
|
|f|dx\right)dt=2Cp
infty | |
\int | |
0 |
\int | ||||||
|
tp-2|f|dxdt=Cp
p | |
\|f\| | |
p |
Note that the constant
C=5d
3d
Some applications of the Hardy–Littlewood Maximal Inequality include proving the following results:
Here we use a standard trick involving the maximal function to give a quick proof of Lebesgue differentiation theorem. (But remember that in the proof of the maximal theorem, we used the Vitali covering lemma.) Let f ∈ L1(Rn) and
\Omegaf(x)=\limsuprfr(x)-\liminfrfr(x)
where
fr(x)=
1 | |
|B(x,r)| |
\intB(x,f(y)dy.
We write f = h + g where h is continuous and has compact support and g ∈ L1(Rn) with norm that can be made arbitrary small. Then
\Omegaf\le\Omegag+\Omegah=\Omegag
by continuity. Now, Ωg ≤ 2Mg and so, by the theorem, we have:
\left|\{\Omegag>\varepsilon\}\right|\le
2M | |
\varepsilon |
\|g\|1
Now, we can let
\|g\|1\to0
\limrfr(x)
\|fr-f\|1\to0
f | |
rk |
\tof
It is still unknown what the smallest constants Cp,d and Cd are in the above inequalities. However, a result of Elias Stein about spherical maximal functions can be used to show that, for 1 < p < ∞, we can remove the dependence of Cp,d on the dimension, that is, Cp,d = Cp for some constant Cp > 0 only depending on p. It is unknown whether there is a weak bound that is independent of dimension.
There are several common variants of the Hardy-Littlewood maximal operator which replace the averages over centered balls with averages over different families of sets. For instance, one can define the uncentered HL maximal operator (using the notation of Stein-Shakarchi)
f*(x)=
\sup | |
x\inBx |
1 | |
|Bx| |
\int | |
Bx |
|f(y)|dy
where the balls Bx are required to merely contain x, rather than be centered at x. There is also the dyadic HL maximal operator
M\Deltaf(x)=
\sup | |
x\inQx |
1 | |
|Qx| |
\int | |
Qx |
|f(y)|dy
where Qx ranges over all dyadic cubes containing the point x. Both of these operators satisfy the HL maximal inequality.