ヘルダーの不等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

解析学におけるヘルダーの不等式(- ふとうしき, Hölder's inequality)とは、数列可測関数のあいだに成り立つもっとも基本的な不等式の一つであり、 測度空間上のLp空間の構造の解析などにしばしば用いられる。オットー・ヘルダーにちなんでこの名前がついている。歴史的には1888年にレオナルド・J・ロジャーズによって、さらにその翌年にヘルダーによって独立に発見された。

積分形のヘルダーの不等式[編集]

(Ω, μ) を測度空間とし, 1 ≤ p,q ≤ ∞を1/p + 1/q = 1 なる実数とする。(p = 1 の場合には q = ∞ とする。)Ω上の可測関数f, g について、

\| fg \| _{L^1 (\Omega, \mu)} \le \| f \| _{L^p (\Omega, \mu)} \| g \| _{L^q (\Omega, \mu)}.

が成り立つ。これは、左辺が無限大になる場合もこめて成立する不等式であり、とくにfLp級、gLq級関数のときに fgL1級関数になることを主張している。このようなpq はそれぞれ互いの共役指数とよばれる。p = q = 2の場合のこの不等式はコーシー・シュワルツの不等式と呼ばれる。

この形でのヘルダーの不等式はヤングの不等式から以下のようにして導くことができる:fg、とをそれぞれノルム 1 のLp関数とLq関数とし、pqとを互いに共役な指数とする。ヤングの不等式によって

 |fg(x)| \le \frac{|f(x)|^p}{p} + \frac{|g(x)|^q}{q}

が成り立っており、x に関する積分によって

 \|fg\|_1 \le \frac{\|f\|_p^p}p + \frac{\|g\|_q^q}q = 1 = \|f\|_p \|g\|_q

が得られる。一般の関数に対するヘルダーの不等式は、二つの関数を定数倍する操作に対して両辺の項が同じ応答を示すことから、上の場合に帰着できる。

ヘルダーの不等式の特別な形[編集]

測度空間 (Ω, μ) が可算集合とその上の数え上げ測度によって与えられるとき、Ω 上の可測関数とはΩの元によって添字づけられた数列のことになり、Lpノルムは 数列の lp ノルムのことになる。1 ≤ p, q ≤ ∞ を共役指数の対、Ω = N とするとヘルダーの不等式は

 \sum _{k=1} ^{\infty} |a_k b_k | \le \left( \sum _{k=1} ^{\infty} |a_k |^p \right) ^{1/p} \left( \sum _{k=1} ^{\infty} |b_k |^q \right) ^{1/q}


の形に表される。また 0 < p < 1 のときは、逆向きの不等式が成り立つ。

また、bk = 1 とすれば、

 {\left( \sum _{k=1} ^n |a_k| \right)} ^p \le n^{p-1} \sum _{k=1} ^n |{a_k}| ^p

を得ることができる。例えば n = 2 のときは、正の実数 a,b に対して

 (a+b)^p \le 2^{p-1}(a^p +b^p)

となる。またこれらは 0 < p < 1 のときには同様に逆向きの不等式が成り立つ。


\sum_{i=1}^n \frac{1}{p_i}=1のとき、

 \sum _{k=1} ^{\infty}\left| \prod_{i=1}^n a_{ki} \right| \le \prod_{i=1}^n \left( \sum _{k=1} ^{\infty} |a_{ki} |^{p_i} \right) ^{1/{p_i}}

が成り立つ。ただし、各p_iは正とする。


確率空間 (Ω, Σ, μ) 上の期待値を与える作用素を E とすると、確率変数 X, Y についてのヘルダーの不等式は

E|XY| \le (E|X|^p)^{\frac1p} (E|Y|^p)^{\frac{1}{p}}

となる。この特別な場合として、0 < r < s なる数について

E|X|^r \le (E|X|^s)^{\frac{r}{s}}

が成り立つ。これは p = s / r と確率変数 |X|r と 1Ω について上の式を適用することによって得られる。

一般化[編集]

0 < p1,...,pn ≤ ∞ , 0 < p < ∞で 1/p = 1/p1 + ... + 1/pn とし、1 ≤ k ≤ n に対して fkLpk に属しているとする。このとき f1,...,fn までのLp に属し、

 \left\| \prod _{k=1} ^n f_k \right\| _{L^p} \le \prod _{k=1} ^n \| f_k \| _{L^{p_k}}

が成り立つ。

[編集]

fαf1-α に対して一般化されたヘルダーの不等式を適用することにより次を得る。

1 ≤ p ≤ q ≤ ∞ で、fLp かつ Lq に属しているとすると、任意の p ≤ r ≤ q に対して fLr に属し、1/r = α/p + (1-α)/q なる 0 ≤ α ≤ 1 に対して

 \| f \| _{L^r} \le \| f \| _{L^p} ^\alpha \| f \| _{L^q} ^{1- \alpha }

が成り立つ。

関連項目[編集]