Do you know this form of an uncertainty principle? - MathOverflow

Do you know this form of an uncertainty principle?

2011-09-20T08:50:54Z

I hope this question is focused enough - it's not about real problem I have, but to find out if anyone knows about a similar thing.

You probably know the Heisenberg uncertainty principle: For any function $g\in L^2(\mathbb{R})$ for which the respective expressions exist it holds that $$ \frac{1}{4}\|g\|_2^4 \leq \int_{\mathbb{R}} |x|^2 |g(x)|^2 dx \int_{\mathbb{R}} |g'(x)|^2 dx. $$

This inequality is not only important in quantum mechanics, but also in signal processing for the short-time Fourier transform, see here.

One can derive this by formally using partial integration $$ \int_{\mathbb{R}} 1\,|g(x)|^2 dx = -\int_{\mathbb{R}} x\tfrac{d}{dx}|g(x)|^2dx \leq 2\int_{\mathbb{R}} |xg(x)|\,|g'(x)|dx $$ and Cauchy-Schwarz.

Now, changing just the order of the functions, you obtain this inequality $$ \int_{\mathbb{R}} |g(x)|^2 dx \leq 2\int_{\mathbb{R}} |xg'(x)|\,|g(x)|dx \leq \left(\int_{\mathbb{R}} |xg'(x)|^2dx\right)^{1/2}\left(\int_{\mathbb{R}} |g(x)|^2dx\right)^{1/2} $$ which gives $$ \|g\|_2\leq \|xg'\|_2. $$

Ok, this was just playing around. However, this inequality can also be motivated by an abstract consideration about uncertainty principle associated to group-related integral transforms (see my two blog posts). Interestingly, the Heisenberg uncertainty principle derives from the short time Fourier transform and the last "uncertainty principle" derives from the wavelet transform.

The last fact bothers me: In contrast to the fact that both inequalities can be derived from two conceptually very different integral transforms (indeed both underlying groups are very different), they have a very similar formal derivation.

I have the following questions: Is anyone familiar with the last inequality? Could it be useful in any context? Is there some reason why these inequalities seem so entangled?

Answer by Piero D'Ancona for Do you know this form of an uncertainty principle?

2011-09-20T09:47:19Z

There exists a plethora of inequalities relating weighted $L^p$ norms of a function and its derivatives. For instance you have the Caffarelli-Kohn-Nirenberg family of inequalities $$\| |x|^{-\gamma}u\|_ {L^{r}}\le C \||x|^{-\alpha}\nabla u\|^{a}_ {L^{p}}\||x|^{-\beta}u\|^{1-a}_ {L^{q}} $$ which hold for a quite large range of parameters; note that here $\alpha,\beta,\gamma$ may assume negative values. You will not have difficulty in googling the vast literature on the subject (let me add that there is a recent paper of mine on arXiv with some improvements on this).

Answer by Antoine Levitt for Do you know this form of an uncertainty principle?

2011-11-20T22:20:44Z

I find the neatest "standard" uncertainty principle is the one with commutators, see e.g. http://galileo.phys.virginia.edu/classes/751.mf1i.fall02/GenUncertPrinciple.htm. I think that readily gives both your inequalities.