Démonstration de la relation de Heisenberg I. Transformation de Fourier ; définition et propriétés utiles = gel lv elete a F>(0) 2)- ES Relation de Parseval-Plancherel : La transformée de Fourier est une isométrie de £? i‘ (ensemble des fonctions de carrésommable): "| Fak = f"|¥ Par. Cota sinife que si est normée |v], = 1), 6 qu'on supposera pour la suite, # Pest aussi igni a PF kek L.bétinition, inversion : #( Phos génératement, f7"" 9 dh dk = [""¥, vy de si vet vp ont pour tansformées de Fourier atk = finance ab) = ing = Es ikwy(k) oak done (2) sikh .)) Bese) eas = a fe ety (xe ax Deméme F*(Hi.4))=e¥(z) Dérivati *3(k). Translations : ¥( On peut done translater w) pour amener (2) 80 sans changer Az en mulipliant @ par une exponentielle de norme 1 ce qui ne change ni {i:) ni AK. On peut de méme translater ¢ pour amener (i) & 0 sans changer Ak, (2) ou Ax 2) ). Pour la suite, on se placera dans le cas (=) = 0, (k) = 0..Cresteddire que (Az)? = (2°) et (Ak) 11 Démonstration du lien entre les écarts-types : Ar Ak > Le deer temne vaut a? f“"|df ak = o2(H2) = oak? apes tn ration de Paseval et ta propriété de ey ape sa ; érivation. Le second terme vaut a[z|oif [~~ a {lof de Graton par parties). Le tem itéré est nul sion suppose que |¥P tend vers 0 a Vinfini plus vite que 1/ (n’oublions pas que | yf est sommable) done = Az? — a + aAA?. Or, d'aprts sa definition, J est positive. Le polyndme en a. ne doit pas changer de signe done son discriminant doit ére négatif ou nul. 1— 4A2*AK? <0 c'estadire AA > 2 TIL. Cas d?égalité, AxAk =1/2 1 Dans ce cas, il existe a tel que I= 0 (a = —— M ae .Az*) . D'apris la definition de 1, cela impose que, pour tout r, s¥(2) + 0$2 = 0. Cote équation difrenelleadmet y= K exp~ 5 = Kexp~ = 4A2? Ceci correspond au cas particulier (x) = 0 et (i) = 0. On se raméne au cas général (x) 5 Y= Kexp(ilyt)exp- (al (voir) IV Inégalité de Heisenberg physique I s'agit d'un profil gauss lot =I4f on ‘On associe & chaque valeur de & la valeur de la quantité de mouvement p = fk et la relation devient AzAp >