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

数学におけるハウスドルフ＝ヤングの不等式（ハウスドルフ＝ヤングのふとうしき、テンプレート:Lang-en-short）は、周期函数のフーリエ係数のL^q-ノルム（q ≥ 2）評価を与える不等式である。はじめにテンプレート:Harvs は、特別な値の q に対してこの不等式を証明し、その後テンプレート:Harvs は一般の場合について証明した。より一般に、この不等式は Rⁿ のような局所コンパクト群上の函数のフーリエ変換に対しても適用され、この場合についてはテンプレート:Harvtxt とテンプレート:Harvtxt がより強い評価を与えるテンプレート:仮リンクを発見している。

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

\hat{f} (n) = \frac{1}{2 π} \int_{0}^{2 π} e^{- i n x} f (x) d x, n = 0, \pm 1, \pm 2, \dots

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

| (T f) (n) | = | \hat{f} (n) | = | \frac{1}{2 π} \int_{0}^{2 π} e^{- i n t} f (t) d t | \leq \frac{1}{2 π} \int_{0}^{2 π} | f (t) | d t

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

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

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

{(\sum_{n = - \infty}^{\infty} | \hat{f} (n) |^{q})}^{1 / q} \leq {(\frac{1}{2 π} \int_{0}^{2 π} | f (t) |^{p} d t)}^{1 / p} .

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

最適な推定

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

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

となる。ここで $q = p / (p - 1)$ は $p$ のヘルダー共役であるテンプレート:Harv。