ハーディ＝リトルウッドの不等式

数学の解析学の分野において、ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドの名にちなむハーディ＝リトルウッドの不等式（ハーディ＝リトルウッドのふとうしき、テンプレート:Lang-en-short）とは、f と g が n 次元ユークリッド空間 Rⁿ 上で定義される非負の可測 実函数で、無限大で消失するものであるときに成り立つ次の不等式のことをいう。

${\int }_{{ℝ}^n}f(x)g(x)dx\le {\int }_{{ℝ}^n}{f}^{\ast }(x)g^{\ast }(x)dx.$

ここで f^* と g^* はそれぞれ f(x) と g(x) の対称減少再配分である。

証明

レイヤーケーキ表現より、次が成り立つ

$f(x)={\int }_0^{\mathrm{\infty }}{\chi }_{f(x)>r}dr$

$g(x)={\int }_0^{\mathrm{\infty }}{\chi }_{g(x)>s}ds$。

ここで ${\chi }_{f(x)>r}$ は次の部分集合 E _f の指示函数を表す：

$E_f=\{x\in X:f(x)>r\}.$

同様に ${\chi }_{g(x)>s}$ は次の部分集合 E _g の指示函数を表す。

$E_g=\{x\in X:g(x)>s\}.$

すると、次が成り立つ。

${\int }_{{ℝ}^n}f(x)g(x)dx={\int }_{{ℝ}^n}{\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}{\chi }_{f(x)>r}{\chi }_{g(x)>s}drdsdx$

$={\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}{\int }_{{ℝ}^n}{\chi }_{f(x)>r\cap g(x)>s}dxdrds$

$={\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}\mu (\{f(x)>r\}\cap \{g(x)>s\})drds$

$\le {\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}min(\mu (f(x)>r);\mu (g(x)>s))drds$

$={\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}min(\mu (f^{\ast }(x)>r);\mu (g^{\ast }(x)>s))drds$

$={\int }_0^{\mathrm{\infty }}{\int }_0^{\mathrm{\infty }}\mu (\{f^{\ast }(x)>r\}\cap \{g^{\ast }(x)>s\})drds$

$={\int }_{{ℝ}^n}{f}^{\ast }(x)g^{\ast }(x)dx$

関連項目

• テンプレート:仮リンク
• チェビシェフの和の不等式
• ローレンツ空間