ヘルダーの不等式

解析学におけるヘルダーの不等式（ヘルダーのふとうしき、英: Hölder's inequality）とは、数列や可測関数の間に成り立つ最も基本的な不等式の一つであり、測度空間上のL^p空間の構造の解析などにしばしば用いられる。オットー・ヘルダーに因んでこの名前が付いている。

歴史的には1888年にレオナルド・J・ロジャーズによって発見された。さらにその翌年に、ロジャースに触発されたヘルダーによって、イェンセンの不等式の紹介と凸関数と凹関数の発展に関する書籍内で別の証明がもたらされた^[1]^[2]^[3]。

積分形のヘルダーの不等式

(Ω, μ) を測度空間とし、 $1 \leq p \leq \infty, 1 \leq q \leq \infty$ を $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/p + 1/q = 1$ なる実数とする。（ $p = 1$ のとき $q = \infty$ とする。）Ω 上の可測関数 $f, g$ について、

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

が成り立つ。これは、左辺が無限大になる場合も込めて成立する不等式であり、特に $f$ が L^p級、 $g$ が L^q級関数のときに $fg$ は $L 1$ 級関数になることを主張している。このような $p$ と $q$ の関係は共役指数と呼ばれる。 $p = q = 2$ の場合のこの不等式はコーシー・シュワルツの不等式と呼ばれる。

この形でのヘルダーの不等式は積に対するヤングの不等式から以下のようにして導くことができる： $f, g$ をノルム 1 のそれぞれL^p関数、L^q関数とし、 $p$ と $q$ を互いに共役な指数とする。ヤングの不等式によって

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

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

\|fg\|_{1}\leq {\frac {\|f\|_{p}^{p}}{p}}+{\frac {\|g\|_{q}^{q}}{q}}=1=\|f\|_{p}\|g\|_{q}

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

ヘルダーの不等式の特別な形

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

\textstyle \sum \limits _{k=1}^{\infty }|a_{k}b_{k}|\leq \left(\sum \limits _{k=1}^{\infty }|a_{k}|^{p}\right)^{1/p}\left(\sum \limits _{k=1}^{\infty }|b_{k}|^{q}\right)^{1/q}

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

また、 $b k = 1$ とすれば、

\textstyle \left(\sum \limits _{k=1}^{n}|a_{k}|\right)^{p}\leq n^{p-1}\sum \limits _{k=1}^{n}|{a_{k}}|^{p}

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

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

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

\textstyle \sum \limits _{i=1}^{n}{\dfrac {1}{p_{i}}}=1

のとき、

\textstyle \sum \limits _{k=1}^{\infty }\left|\prod \limits _{i=1}^{n}a_{ki}\right|\leq \prod \limits _{i=1}^{n}\left(\sum \limits _{k=1}^{\infty }|a_{ki}|^{p_{i}}\right)^{1/{p_{i}}}

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

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

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

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

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

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

一般化

$0 < p 1, \dots, p n \leq \infty, 0 < p < \infty$ で $1 / p = 1 / p 1 + \dots + 1 / p n$ とし、 $1 \leq k \leq n$ に対して $f k$ が $L p k$ に属しているとする。このとき $f 1, \dots, f n$ までの積は $L p$ に属し、

\left\|\textstyle \prod \limits _{k=1}^{n}f_{k}\right\|_{L^{p}}\leq \textstyle \prod \limits _{k=1}^{n}\|f_{k}\|_{L^{p_{k}}}

が成り立つ。

例

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

$1 \leq p \leq q \leq \infty$ で、 $f$ が $L p$ かつ $L q$ に属しているとすると、任意の $p \leq r \leq q$ に対して $f$ は $L r$ に属し、 $1 / r = α / p + 1 - α / q$ なる $0 \leq α \leq 1$ に対して

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

が成り立つ。

脚注

^ Rogers 1888.
^ Maligranda, Lech (1998), “Why Hölder's inequality should be called Rogers' inequality”, Mathematical Inequalities & Applications 1 (1): 69–83, doi:10.7153/mia-01-05, MR 1492911
^ Guessab, A.; Schmeisser, G. (2013), “Necessary and sufficient conditions for the validity of Jensen's inequality”, Archiv der Mathematik 100 (6): 561–570, doi:10.1007/s00013-013-0522-3, MR3069109, "under the additional assumption that $\varphi ''$ exists, this inequality was already obtained by Hölder in 1889"

参考文献

Grinshpan, A. Z. (2010), “Weighted inequalities and negative binomials”, Advances in Applied Mathematics 45 (4): 564–606, doi:10.1016/j.aam.2010.04.004
Hardy, G. H.; Littlewood, J. E.; Pólya, G. (1934), Inequalities, Cambridge University Press, pp. XII+314, ISBN 0-521-35880-9, JFM 60.0169.01, Zbl 0010.10703 .
Hölder, O. (1889), “Ueber einen Mittelwertsatz” (ドイツ語), Nachrichten von der Königl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen, Band 1889 (2): 38–47, JFM 21.0260.07 . Available at Digi Zeitschriften
Kuptsov, L. P. (2001), “Hölder inequality”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/H/h047514.htm .
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834
RogersL. J.「An extension of a certain theorem in inequalities」『Messenger of Mathematics』、New SeriesXVII、第10号、145–150頁、February。JFM 20.0254.02。オリジナルのAugust 21, 2007時点におけるアーカイブ。 .
Roman, Stephen (2008), Advanced Linear Algebra, Graduate Texts in Mathematics (Third ed.), Springer, ISBN 978-0-387-72828-5
Trèves, François (1967), Topological Vector Spaces, Distributions and Kernels, Pure and Applied Mathematics. A Series of Monographs and Textbooks, 25, New York, London: Academic Press, MR0225131, Zbl 0171.10402 .

外部リンク

[FOOTNOTERogers1888-1] Rogers 1888.

[2] Maligranda, Lech (1998), “Why Hölder's inequality should be called Rogers' inequality”, Mathematical Inequalities & Applications 1 (1): 69–83, doi:10.7153/mia-01-05, MR 1492911

[3] Guessab, A.; Schmeisser, G. (2013), “Necessary and sufficient conditions for the validity of Jensen's inequality”, Archiv der Mathematik 100 (6): 561–570, doi:10.1007/s00013-013-0522-3, MR3069109, "under the additional assumption that $\varphi ''$ exists, this inequality was already obtained by Hölder in 1889"

[1]

[2]

[3]

積分形のヘルダーの不等式

ヘルダーの不等式の特別な形

一般化

例

関連項目

脚注

参考文献

外部リンク