Développement #1235

Titre : Inégalité de Heisenberg

Contenu : Pour toute fonction $f\in L^2$ sur $\mathbb{R}$, on a l'inégalité suivante :\r$\int_{\mathbb{R}}\lvert xf(x)\rvert^2dx\int_{\mathbb{R}}\lvert \zeta\hat{f}(\zeta)\rvert^2d\zeta\geq\frac{1}{4}\|f\|^4_{L^2}$\r\rLa preuve se fait pour des fonctions de l'espace de Schwarz, puis par densité, en approximant par convolution, et en utilisant les propriétés de la transformée de Fourier et des approximations de l'unité sur certaines suites de fonctions.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42