ハーディ＝リトルウッドの極大函数

数学において、ハーディ＝リトルウッドの極大函数（ハーディ＝リトルウッドのきょくだいかんすう、） とは、実解析および調和解析の分野で用いられるある重要な非線形作用素である。それは局所可積分函数 に対し、各点 を中心とする球上で が取り得る最大の平均値 を与える。すなわち、
として定義される。ここで は を中心とする半径 の球を表し、 は の "d"-次元ルベーグ測度を表す。
この平均値は 変数 と について連続であるため、 についての上限である極大函数 は可測である。 がほとんど至る所有限であるかは明らかではない。これはハーディ＝リトルウッドの極大不等式の系である。
ハーディ＝リトルウッドの極大不等式.
G. H. Hardy と J. E. Littlewood の定理では、"p" > 1 に対して "M" は、"Lp"(R"d") からそれ自身へのとして有界であることが示されている。すなわち、"f" ∈ "Lp"(R"d") であるなら、極大函数 "Mf" は弱 "L"1-有界で、"Mf" ∈ "Lp"(R"d") である。定理の詳細を述べる前に、簡単のため、集合 {"x" | "f"("x") > "t"} を以下では {"f" > "t"} と表すことにする。今、次が成り立つ。
定理（弱いタイプの評価） "d" ≥ 1 と "f" ∈ "L"1(R"d") に対し、ある定数 "Cd" > 0 が存在して、次の不等式が任意の λ > 0 について成り立つ：
このハーディ＝リトルウッドの極大不等式を元に、マルチンケーヴィッチの補間定理の直接的な帰結として、次の「強いタイプ」の評価が得られる：
定理（強いタイプの評価） "d" ≥ 1, 1 < "p" ≤ ∞ および "f" ∈ "Lp"(R"d") に対し、ある定数 "Cp,d" > 0 が存在して次が成り立つ。
この強いタイプの評価において最良の "Cp,d" は知られていない。しかし、 は回転のカルデロン＝ジグムント法を利用して、次を証明した。
定理（次元独立性） 1 < "p" ≤ ∞ に対し、"d" に独立して "Cp,d" = "Cp" を取ることが出来る。