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

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

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

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

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

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

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

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

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é.