数学上,一个局部可积函数的哈代-李特尔伍德(Hardy–Littlewood)极大函数在一点的值,是所有以该点为中心的球上函数的平均值的上确界。
对一个在
上定义的局部可积函数f,可定义其哈代-李特尔伍德极大函数Mf如下
![{\displaystyle Mf(x)=\sup _{r>0}{\frac {1}{m(B(x,r))}}\int _{B(x,r)}|f(y)|dm(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc73c1733736cc0fed666ad1fea2f01913390305)
(Mf(x)可能是
。) 其中m是
上的勒贝格测度。
Mf(x)是下半连续函数。
对任何
,可假设Mf(x) > 0。(否则几乎处处f=0)
任意取0 < c < Mf(x)。从Mf定义知存在r > 0使得
![{\displaystyle c_{1}:={\frac {1}{m(B(x,r))}}\int _{B(x,r)}|f(y)|dm(y)>c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2d6bb9775a8586c9e83142ca68516c9edf8ee4c)
存在
使得
。
对任何
,有
所以
![{\displaystyle {\begin{aligned}&Mf(x')\\&\geq {\frac {1}{m(B(x',r+\delta ))}}\int _{B(x',r+\delta )}|f(y)|dm(y)\\&\geq {\frac {1}{m(B(x',r+\delta ))}}\int _{B(x,r)}|f(y)|dm(y)\\&={\frac {1}{m(B(x',r))}}\left({\frac {r}{r+\delta }}\right)^{n}\int _{B(x,r)}|f(y)|dm(y)\\&={\frac {1}{m(B(x,r))}}\left({\frac {r}{r+\delta }}\right)^{n}\int _{B(x,r)}|f(y)|dm(y)\\&>c_{1}\cdot {\frac {c}{c_{1}}}=c\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd902eb7b9ff91d0dfae04f3d0ce89f93b8bbae0)
因此Mf是下半连续。
哈代-李特尔伍德极大不等式[编辑]
设
为可积函数,对任何常数
,有不等式
![{\displaystyle m(\{Mf>c\})\leq {\frac {3^{n}\|f\|_{\mathrm {L} ^{1}}}{c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ab52710df204a737622d959db90c6592ca6b719)
对每个在集合
内的点x,都有
,使得
![{\displaystyle {\frac {1}{m(B(x,r_{x}))}}\int _{B(x,r_{x})}|f(y)|dm(y)>c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2c8ba2ed13c3237b73c6a6591f063d6d2ac102f)
设K为
内的紧集。开球
是K的一个开覆盖。因K紧致,存在有限子覆盖
。(
)
用维塔利覆盖引理,这有限子覆盖中存在子集
,当中的开球两两不交,而且将这些开球的半径增至三倍后
可以覆盖K。于是
![{\displaystyle {\begin{aligned}m(K)&\leq \sum _{i_{j}}m(B(x_{i_{j}},3r_{i_{j}}))\\&=\sum _{i_{j}}3^{n}m(B(x_{i_{j}},r_{i_{j}}))\\&<\sum _{i_{j}}{\frac {3^{n}}{c}}\int _{B(x_{i_{j}},r_{i_{j}})}|f(y)|dm(y)\\&\leq {\frac {3^{n}}{c}}\int _{K}|f(y)|dm(y)\\&\leq {\frac {3^{n}\|f\|_{\mathrm {L} ^{1}}}{c}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2210b32dacc3dd14520938375220f0eb56423f10)
上式第四行的不等式使用了开球两两不交性质。从勒贝格测度的内正则性,集合
的测度等于在其内的所有紧集的测度的上确界,故有
![{\displaystyle m(\{Mf>c\})=\sup _{K}m(K)\leq {\frac {3^{n}\|f\|_{\mathrm {L} ^{1}}}{c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a19f2a5ba545a54b010ff1e8d51b89a3c723da20)
哈代-李特尔伍德极大不等式可以用来证明勒贝格微分定理。
- Rudin, Walter (1987), Real and complex analysis, International Series in Pure and Applied Mathematics (3rd ed.), McGraw-Hill.