出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学の解析学の分野において、ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドの名にちなむハーディ=リトルウッドの不等式(ハーディ=リトルウッドのふとうしき、英: Hardy-Littlewood inequality)とは、f と g が n 次元ユークリッド空間 Rn 上で定義される非負の可測 実函数で、無限大で消失するものであるときに成り立つ次の不等式のことをいう。
![{\displaystyle \int _{\mathbb {R} ^{n}}f(x)g(x)\,dx\leq \int _{\mathbb {R} ^{n}}f^{*}(x)g^{*}(x)\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f403ae0d6cea27525255d1047b00dad4c3e26a26)
ここで f* と g* はそれぞれ f(x) と g(x) の対称減少再配分である[1][2]。
レイヤーケーキ表現より、次が成り立つ[1][2]
![{\displaystyle f(x)=\int _{0}^{\infty }\chi _{f(x)>r}\,dr}](https://wikimedia.org/api/rest_v1/media/math/render/svg/322fc948c21e7e0a141e0b3c524e83fa599e824e)
。
ここで
は次の部分集合 E f の指示函数を表す:
![{\displaystyle E_{f}=\left\{x\in X:f(x)>r\right\}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f37141a7b2106059f7688f22a97aa0ec60041cc)
同様に
は次の部分集合 E g の指示函数を表す。
![{\displaystyle E_{g}=\left\{x\in X:g(x)>s\right\}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da926665a84f326db4bdd428df36e644a230bb0a)
すると、次が成り立つ。
![{\displaystyle =\int _{0}^{\infty }\int _{0}^{\infty }\int _{\mathbb {R} ^{n}}\chi _{f(x)>r\cap g(x)>s}\,dx\,dr\,ds}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4410bdc3cea0bbfec67e993c1d9227b5b05cb417)
![{\displaystyle =\int _{0}^{\infty }\int _{0}^{\infty }\mu \left(\left\{f(x)>r\right\}\cap \left\{g(x)>s\right\}\right)\,dr\,ds}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76c3e7e16de492bd4a1bca1279ff7257655787d5)
![{\displaystyle \leq \int _{0}^{\infty }\int _{0}^{\infty }\min \left(\mu \left(f(x)>r\right);\mu \left(g(x)>s\right)\right)\,dr\,ds}](https://wikimedia.org/api/rest_v1/media/math/render/svg/828c6b114a9d9da8ded04e116ed636c342681c3d)
![{\displaystyle =\int _{0}^{\infty }\int _{0}^{\infty }\min \left(\mu \left(f^{*}(x)>r\right);\mu \left(g^{*}(x)>s\right)\right)\,dr\,ds}](https://wikimedia.org/api/rest_v1/media/math/render/svg/842c5fd02d4d7667104dda08d9233f7c02bb8f9a)
![{\displaystyle =\int _{0}^{\infty }\int _{0}^{\infty }\mu \left(\left\{f^{\ast }(x)>r\right\}\cap \left\{g^{\ast }(x)>s\right\}\right)\,dr\,ds}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c992e58c4601270c4f44ad5925e796ef146d137a)
![{\displaystyle =\int _{\mathbb {R} ^{n}}f^{*}(x)g^{*}(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b674ad348e9601177dd32f0d1b5b686291f79a2a)
関連項目[編集]
- ^ a b Lieb, Elliott; Loss, Michael (2001). Analysis. Graduate Studies in Mathematics. 14 (2nd ed.). American Mathematical Society. ISBN 978-0821827833
- ^ a b Burchard, Almut. A Short Course on Rearrangement Inequalities. http://www.math.toronto.edu/almut/rearrange.pdf