Generatoren einer bestimmten Symmetrie in der Quantenmechanik

In der Klassischen Mechanik verwenden wir zur Beschreibung von Symmetrien wie Translationen und Rotationen Diffeomorphismen auf der Konfigurationsmannigfaltigkeit. In der Quantenmechanik verwenden wir unitäre Operatoren im Zustandsraum. Wir erzwingen Einheitlichkeit, weil wir nicht wollen, dass die Wirkung der Symmetrie die Normalisierung der Zustände stört.

Beispiele dafür sind nun die Fälle von Translationen und Rotationen. Diese werden direkt in Bezug auf die klassischen definiert. Bei Drehungen, wenn E ist der Zustandsraum eines spinlosen Teilchens in drei Dimensionen und wenn R S Ö ( 3 ) eine Rotation in drei Dimensionen ist, haben wir die Induktionsrotation R ^ L ( E ) von

R | R ^ | ψ = R 1 R | ψ .

Nun wollen wir in der Klassischen Mechanik oft über die infinitesimale Version einer Symmetrie sprechen, die ihren Erzeuger kennt. In der Quantenmechanik ist die gleiche Idee ziemlich wichtig. Die Erzeuger von Rotationen sind zum Beispiel die Drehimpulsoperatoren.

Der springende Punkt bei Generatoren ist das

  1. Sie können als infinitesimale Version einer Symmetrie interpretiert werden.
  2. In Analogie zu Lie-Gruppen if A und wenn ξ ist sein Generator, den wir schreiben können sollten

A a = exp ( ich a ξ ) ,

Wo a ist ein Parameter, der das Ausmaß charakterisiert, in dem wir die Symmetrie anwenden. Die Generatoren der Operatoren ξ sind dann hermitesche Operatoren.

Dies sind Fakten, die ich auf völlig informelle und nicht strenge Weise kenne. Was ich will, ist die Idee von Generatoren einer Symmetrie im QM zu präzisieren.

Ein Problem, das wir bereits haben, ist, dass die Exponentialfunktion konvergieren könnte, da es Operatoren gibt, die unbeschränkt sind. Jedenfalls: Wie definieren wir die Erzeuger eines Operators genau, wie zeigen wir ihre Existenz und wie schreiben wir den Operator rigoros als Exponential in Bezug auf seine Erzeuger?

Antworten (1)

Die genaue Aussage "selbstadjungierte Operatoren erzeugen kontinuierliche einheitliche Symmetrien" ist Stones Theorem . Es garantiert, dass es eine Bijektion zwischen selbstadjungierten Operatoren gibt Ö auf einem Hilbertraum und unitären stark stetigen Einparametergruppen U ( T ) das ist gegeben durch Ö e ich T Ö .

Die Definition des Exponentials für einen unbegrenzten selbstadjungierten Operator erfordert Theoreme aus der Borel-Funktionsrechnung , die dies für jede messbare Funktion besagen F auf den Realen der Ausdruck F ( Ö ) für Ö Ein selbstadjungierter Operator definiert einen eindeutigen Operator mit der Eigenschaft that F ( Ö ) v λ = F ( λ ) v λ für jeden Eigenzustand v λ mit Eigenwert λ . Naiverweise könnten Sie dies sogar als Definition von nehmen F ( Ö ) .

Die Beweise für diese Behauptungen finden Sie beispielsweise in Kapitel VIII von "Methods of Modern Mathematical Physics" von Reed und Simon.