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

数学において、局所可積分函数 のハーディ＝リトルウッドの極大函数（ハーディ＝リトルウッドのきょくだいかんすう、） とは、各点  を中心とする球上で  が取り得る最大の平均値 を与える関数である。すなわち、

として定義される。ここで  は  を中心とする半径  の球を表し、 は  の d-次元ルベーグ測度を表す。に対してを対応させる作用素は、実解析および調和解析の分野で用いられるある重要な非線形作用素である。

この平均値は  変数  と  について連続であるため、 についての上限である極大函数  は可測である。 がほとんど至る所有限であるかは明らかではない。これはハーディ＝リトルウッドの極大不等式の系である。

ハーディ＝リトルウッドの極大不等式
G. H. Hardy と J. E. Littlewood の定理では、p > 1 に対して M は、Lp(Rd) からそれ自身へのとして有界であることが示されている。すなわち、f ∈ Lp(Rd) であるなら、極大函数 Mf は弱 L1-有界で、Mf ∈ Lp(Rd) である。定理の詳細を述べる前に、簡単のため、集合 {x | f(x) > t} を以下では {f > t} と表すことにする。今、次が成り立つ。

定理（弱いタイプの評価） d ≥ 1 と f ∈ L1(Rd) に対し、ある定数 Cd > 0 が存在して、次の不等式が任意の λ > 0 について成り立つ：

このハーディ＝リトルウッドの極大不等式を元に、マルチンケーヴィッチの補間定理の直接的な帰結として、次の「強いタイプ」の評価が得られる：

定理（強いタイプの評価） d ≥ 1, 1 < p ≤ ∞ および f ∈ Lp(Rd) に対し、ある定数 Cp,d > 0 が存在して次が成り立つ。

この強いタイプの評価において最良の Cp,d は知られていない。しかし、 は回転のカルデロン＝ジグムント法を利用して、次を証明した。

定理（次元独立性） 1 < p ≤ ∞ に対し、d に独立して Cp,d = Cp を取ることが出来る。

脚注

参考文献
John B. Garnett, Bounded Analytic Functions. Springer-Verlag, 2006
Antonios D. Melas, The best constant for the centered Hardy–Littlewood maximal inequality, Annals of Mathematics, 157 (2003), 647–688
Rami Shakarchi & Elias M. Stein, Princeton Lectures in Analysis III: Real Analysis. Princeton University Press, 2005
Elias M. Stein, Maximal functions: spherical means, Proc. Natl. Acad. Sci. U.S.A. 73 (1976), 2174–2175
Elias M. Stein, Singular Integrals and Differentiability Properties of Functions. Princeton University Press, 1971
Gerald Teschl, Topics in Real and Functional Analysis (lecture notes)

Category:実解析
Category:調和解析
Category:関数
Category:数学に関する記事