## [Théorème de Stone (Quantique)](/fr/node/50740) Définition Un résultat mathématique reliant les groupes unitaires à un paramètre forts continus sur un espace de Hilbert à des générateurs auto-adjoints : tout groupe unitaire fortement continu U(t) possède un opérateur auto-adjoint (généralement non borné) H tel que U(t) = exp(-i t H), et réciproquement un H auto-adjoint engendre un groupe unitaire fortement continu. ## Principe Principe La continuité forte dans le temps de l'évolution unitaire implique l'existence d'un générateur auto-adjoint ; inversement l'auto-adjointité garantit une évolution unitaire via l'exponentielle, fournissant la base mathématique des dynamiques gouvernées par un Hamiltonien en théorie quantique. ## Démonstration Démonstration En mécanique quantique non relativiste, l'évolution de Schrödinger U(t) = exp(-i H t) des vecteurs d'état est un exemple : pour un Hamiltonien auto-adjoint H sur L^2(R^n), le théorème de Stone garantit que cette exponentielle définit un groupe unitaire fortement continu qui produit la dynamique de Schrödinger. ## Mauvaise application Mauvaise application Supposer qu'un opérateur symétrique quelconque engendre une évolution unitaire sans vérifier l'auto-adjointité ou les subtilités de domaine ; ignorer les questions de domaine et les indices de déficit peut conduire à des affirmations incorrectes sur l'existence ou l'unicité de la dynamique. ## Conséquence Conséquence Fournit une justification rigoureuse pour représenter l'évolution temporelle par un opérateur Hamiltonien et pour déduire des lois de conservation basées sur le générateur ; il est central pour définir la dynamique, l'analyse spectrale et le lien entre observables et symétries continues. ## Inversion Inversion Si le groupe unitaire n'est pas fortement continu (par exemple si les applications d'évolution sont discontinues en temps), aucun générateur auto-adjoint au sens de Stone n'existe ; de même un opérateur simplement symétrique mais non auto-adjoint peut ne pas engendrer de groupe unitaire. ## Limite Limite Nécessite l'hypothèse de continuité forte et un contrôle adéquat des domaines pour les opérateurs non bornés ; ne s'applique pas mot à mot aux groupes qui manquent des hypothèses de régularité, aux évolutions à temps discret ou aux représentations seulement faiblement continues sans hypothèses supplémentaires. ## Tension sémantique Tension sémantique Il faut distinguer le théorème de Stone (existence de générateurs auto-adjoints pour des flux unitaires continus) des résultats d'unicité connexes (Stone–von Neumann) : Stone porte sur la dynamique et les générateurs, Stone–von Neumann sur l'unicité des représentations des CCR. ## Synthèse Synthèse Le théorème de Stone établit le pont rigoureux entre l'évolution unitaire continue et les Hamiltoniens auto-adjoints : sous des hypothèses de continuité, existe un générateur auto-adjoint et l'évolution s'écrit comme une exponentielle d'opérateur, sous réserve des qualifications de domaine et de régularité.