In mathematics, the Hausdorff−Young inequality bounds the Lq-norm of the Fourier coefficients of a periodic function for q ≥ 2. William Henry Young (1913) proved the inequality for some special values of q, and Hausdorff (1923) proved it in general. More generally the inequality also applies to the Fourier transform of a function on a locally compact group, such as Rn, and in this case Babenko (1961) and Beckner (1975) gave a sharper form of it called the Babenko–Beckner inequality.
Parseval's theorem shows that T is bounded from to with norm 1. On the other hand, clearly,
so T is bounded from to with norm 1. Therefore we may invoke the Riesz–Thorin theorem to get, for any 1 < p < 2 that T, as an operator from to , is bounded with norm 1, where
In a short formula, this says that
This is the well known Hausdorff–Young inequality. For p > 2 the natural extrapolation of this inequality fails, and the fact that a function belongs to , does not give any additional information on the order of growth of its Fourier series beyond the fact that it is in .
The constant involved in the Hausdorff–Young inequality can be made optimal by using careful estimates from the theory of harmonic analysis. If for , the optimal bound is
where is the Hölder conjugate of (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, MR 0138939 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, MR 0385456
- 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