ハウスドルフ＝ヤングの不等式

数学におけるハウスドルフ＝ヤングの不等式（ハウスドルフ＝ヤングのふとうしき、英: Hausdorff-Young inequality）は、周期函数のフーリエ係数のL^q-ノルム（q ≥ 2）評価を与える不等式である。はじめに William Henry Young (1913) は、特別な値の q に対してこの不等式を証明し、その後 Hausdorff (1923) は一般の場合について証明した。より一般に、この不等式は Rⁿ のような局所コンパクト群上の函数のフーリエ変換に対しても適用され、この場合については Babenko (1961) と Beckner (1975) がより強い評価を与えるバベンコ＝ベックナーの不等式（英語版）を発見している。

ここでフーリエ作用素を考える。すなわち単位円上の函数 $f$ に対して、そのフーリエ係数の列

{\widehat {f}}(n)={\frac {1}{2\pi }}\int _{0}^{2\pi }e^{-inx}f(x)\,dx,\quad n=0,\pm 1,\pm 2,\dots

を返す作用素 T を考える。パーセバルの定理によれば、T は $L^{2}$ から $\ell ^{2}$ への有界作用素で、そのノルムは 1 である。一方、明らかに

|(Tf)(n)|=|{\widehat {f}}(n)|=\left|{\frac {1}{2\pi }}\int _{0}^{2\pi }e^{-int}f(t)\,dt\right|\leq {\frac {1}{2\pi }}\int _{0}^{2\pi }|f(t)|\,dt

であるため、T は $L^{1}$ から $\ell ^{\infty }$ へのノルム 1 の有界作用素でもある。したがってリース＝ソリンの定理により、任意の 1 < p < 2 に対して、 $L^{p}$ から $\ell ^{q}$ への作用素として T はノルム 1 で有界である。ここで

{\frac {1}{p}}+{\frac {1}{q}}=1

である。すなわち次が得られる。

\left(\sum _{n=-\infty }^{\infty }|{\widehat {f}}(n)|^{q}\right)^{1/q}\leq \left({\frac {1}{2\pi }}\int _{0}^{2\pi }|f(t)|^{p}\,dt\right)^{1/p}.

これが有名なハウスドルフ＝ヤングの不等式である。p > 2 に対して、この不等式の自然な拡張は成り立たず、ある函数が $L^{p}$ に属するという事実は、それが $\ell ^{2}$ に属するという事実を意味するのみであり、そのフーリエ級数の成長の次数についての他の情報は得られない。

最適な推定編集

ハウスドルフ＝ヤング不等式は、調和解析の理論による注意深い評価を用いることで最適なものとすることが出来る。 $1<p\leq 2$ に対して $f\in L^{p}$ であるなら、最適な評価は

\|{\hat {f}}\|_{L^{q}}\leq p^{1/2p}q^{-1/2q}\|f\|_{L^{p}}

となる。ここで $q=p/(p-1)$ は $p$ のヘルダー共役である(Cifuentes 2010)。

Babenko, K. Ivan (1961), “An inequality in the theory of Fourier integrals”, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 25: 531–542, ISSN 0373-2436, MR0138939 English transl., Amer. Math. Soc. Transl. (2) 44, pp. 115–128
Beckner, William (1975), “Inequalities in Fourier analysis”, Annals of Mathematics. Second Series 102 (1): 159–182, doi:10.2307/1970980, ISSN 0003-486X, JSTOR 1970980, MR0385456, https://jstor.org/stable/1970980
Cifuentes, Patricio (2010), Harmonic Analysis and Partial Differential Equations, Contemporary Mathematics, 505, American Mathematical Society, p. 94, ISBN 9780821858318 .
Hausdorff, Felix (1923), “Eine Ausdehnung des Parsevalschen Satzes über Fourierreihen”, Mathematische Zeitschrift 16: 163–169, doi:10.1007/BF01175679
Young, W. H. (1913), “On the Determination of the Summability of a Function by Means of its Fourier Constants”, Proc. London Math. Soc. 12: 71–88, doi:10.1112/plms/s2-12.1.7