Babenko–Beckner inequality

In mathematics, the Babenko–Beckner inequality (after K. Ivan Babenko and William E. Beckner) is a sharpened form of the Hausdorff–Young inequality having applications to uncertainty principles in the Fourier analysis of L^p spaces. The (q, p)-norm of the n-dimensional Fourier transform is defined to be^[1]

$\|\mathcal F\|_{q,p} = \sup_{f\in L^p(\mathbb R^n)} \frac{\|\mathcal Ff\|_q}{\|f\|_p},\text{ where }1 < p \le 2,\text{ and }\frac 1 p %2B \frac 1 q = 1.$

In 1961, Babenko^[2] found this norm for even integer values of q. Finally, in 1975, using Hermite functions as eigenfunctions of the Fourier transform, Beckner^[3] proved that the value of this norm for all $q \ge 2$ is

$\|\mathcal F\|_{q,p} = \left(p^{1/p}/q^{1/q}\right)^{n/2}.$

Thus we have the Babenko–Beckner inequality that

$\|\mathcal Ff\|_q \le \left(p^{1/p}/q^{1/q}\right)^{n/2} \|f\|_p.$

To write this out explicitly, (in the case of one dimension,) if the Fourier transform is normalized so that

$g(y) \approx \int_{\mathbb R} e^{-2\pi ixy} f(x)\,dx\text{ and }f(x) \approx \int_{\mathbb R} e^{2\pi ixy} g(y)\,dy,$

then we have

$\left(\int_{\mathbb R} |g(y)|^q \,dy\right)^{1/q} \le \left(p^{1/p}/q^{1/q}\right)^{1/2} \left(\int_{\mathbb R} |f(x)|^p \,dx\right)^{1/p}$

or more simply

$\left(\sqrt q \int_{\mathbb R} |g(y)|^q \,dy\right)^{1/q} \le \left(\sqrt p \int_{\mathbb R} |f(x)|^p \,dx\right)^{1/p}.$

1 Main ideas of proof
2 See also
3 References

Main ideas of proof

Throughout this sketch of a proof, let

$1 < p \le 2, \quad \frac 1 p %2B \frac 1 q = 1, \quad \text{and} \quad \omega = \sqrt{1-p} = i\sqrt{p-1}.$

(Except for q, we will more or less follow the notation of Beckner.)

The two-point lemma

Let $d\nu(x)$ be the discrete measure with weight $1/2$ at the points $x = \pm 1.$ Then the operator

$C:a%2Bbx \rightarrow a %2B \omega bx\,$

maps $L^p(d\nu)$ to $L^q(d\nu)$ with norm 1; that is,

$\left[\int|a%2B\omega bx|^q d\nu(x)\right]^{1/q} \le \left[\int|a%2Bbx|^p d\nu(x)\right]^{1/p},$

or more explicitly,

$\left[\frac {|a%2B\omega b|^q %2B |a-\omega b|^q} 2 \right]^{1/q} \le \left[\frac {|a%2Bb|^p %2B |a-b|^p} 2 \right]^{1/p}$

for any complex a, b. (See Beckner's paper for the proof of his "two-point lemma".)

A sequence of Bernoulli trials

The measure $d\nu$ that was introduced above is actually a fair Bernoulli trial with mean 0 and variance 1. Consider the sum of a sequence of n such Bernoulli trials, independent and normalized so that the standard deviation remains 1. We obtain the measure $d\nu_n(x)$ which is the n-fold convolution of $d\nu(\sqrt n x)$ with itself. The next step is to extend the operator C defined on the two-point space above to an operator defined on the (n+1)-point space of $d\nu_n(x)$ with respect to the elementary symmetric polynomials.

Convergence to standard normal distribution

The sequence $d\nu_n(x)$ converges weakly to the standard normal probability distribution $d\mu(x) = \frac 1 \sqrt{2\pi} e^{-x^2/2} dx$ with respect to functions of polynomial growth. In the limit, the extension of the operator C above in terms of the elementary symmetric polynomials with respect to the measure $d\nu_n(x)$ is expressed as an operator T in terms of the Hermite polynomials with respect to the standard normal distribution. These Hermite functions are the eigenfunctions of the Fourier transform, and the (q, p)-norm of the Fourier transform is obtained as a result after some renormalization.

References

^ Iwo Bialynicki-Birula. Formulation of the uncertainty relations in terms of the Renyi entropies. arXiv:quant-ph/0608116v2
^ K.I. Babenko. An ineqality in the theory of Fourier analysis. Izv. Akad. Nauk SSSR, Ser. Mat. 25 (1961) pp. 531-542 English transl., Amer. Math. Soc. Transl. (2) 44, pp. 115-128
^ W. Beckner, Inequalities in Fourier analysis. Annals of Mathematics, Vol. 102, No. 6 (1975) pp. 159–182.