Autour de l'approximation semi-classique

assez petit asymptotique base orthonormale c² H changement de variables chapitre classe trace compact crochet de Poisson d'où déduit définit désigne équations espace de Hilbert essentiellement autoadjoint exercice existe fonction d'onde forme linéaire formule Fourier H₁ H₂ hamiltonien HE-RO Heisenberg Helffer Hilbert-Schmidt hypothèses l'équation l'espace l'opérateur L2 R L²(R lemme Math mécanique classique mécanique quantique Montrer Montrons multiindices norme observables quantiques obtient opérateur compact opérateur h-admissible opérateur linéaire operators particule quantique partition de l'unité poids tempéré pose Posons potentiel preuve du théorème principe d'incertitude proposition II-26 quantification R²n Remarque résultats résulte scalaire Schrödinger semi-classique semi-normes solution spectre supp suppose Supposons symbole admissible t-symbole T+tA T₁ TEC² H théorème II-49 transformation de Fourier unitaire utilisant valeurs propres vecteur vérifiant αβ ου ой