Beweis, dass der eindimensionale einfache harmonische Oszillator nicht entartet ist?

Die Standardbehandlung des eindimensionalen einfachen harmonischen Quantenoszillators (SHO) unter Verwendung der Hebe- und Senkoperatoren gelangt zur zählbaren Basis von Eigenzuständen { | n } n = 0 jeweils mit entsprechendem Eigenwert E n = ω ( n + 1 2 ) . Beziehen Sie sich auf diese Konstruktion als die abstrakte Lösung .

Wie beweist die abstrakte Lösung auch die Eindeutigkeit? Warum gibt es nur eine eindeutige Folge von zählbaren Eigenzuständen? Insbesondere kann man den Zustand nachweisen | 0 ist der eindeutige Grundzustand, ohne auf die Koordinatendarstellung zurückzugreifen? (Daraus würde folgen, dass die Menge { | n } n = 0 ist auch einzigartig.)

Die Eindeutigkeitsbedingung ist offensichtlich, wenn man das Problem in der Koordinatendarstellung löst, da man sich dann im Bereich der Differentialgleichungen bewegt, wo es viele Eindeutigkeitssätze gibt. Die meisten Lehrbücher ignorieren dieses Detail (zumal sie das Problem oft sowohl in Koordinatendarstellung als auch abstrakt lösen), jedoch habe ich zwei Ausnahmen gefunden:

  • Shankar beruft sich auf ein Theorem, das beweist, dass eindimensionale Systeme nicht entartet sind, was jedoch aus zwei Gründen unbefriedigend ist:

    1. Nicht jedes eindimensionale System ist nicht entartet, jedoch kann ein allgemeines Ergebnis für eine große Klasse von Potentialen nachgewiesen werden (das SHO-Potential liegt in einer solchen Klasse).
    2. Der Beweis erfordert eine Abkehr von der abstrakten Lösung, da er die Potentiale nach ihren funktionalen Eigenschaften klassifiziert.
  • Griffiths spricht diese Bedenken in einer Fußnote an, in der es heißt, dass die Gleichung a | 0 = 0 bestimmt den Zustand eindeutig | 0 . Vielleicht folgt dies aus der abstrakten Lösung, aber ich sehe nicht wie.

Antworten (2)

I) Es hängt davon ab, wie abstrakt OP es haben möchte. Angenommen, wir verwerfen alle Verweise auf 1D-Geometrie sowie Positions- und Impulsoperatoren q ^ und p ^ . Sag, dass wir nur das wissen

(1) H ^ ω   :=   N ^ + v 1 , v R ,
(2) N ^   :=   a ^ a ^ ,
(3) [ a ^ , a ^ ]   =   1 , [ 1 , ]   =   0.

(Da wir jegliche Bezugnahme auf Geometrie gestrichen haben, gibt es keinen Grund mehr dafür v sollte die Hälfte sein, also haben wir es auf eine beliebige reelle Zahl verallgemeinert v R .)

II) Nehmen Sie als nächstes an, dass die physikalischen Zustände in einem inneren Produktraum leben ( v , , ) , und das v eine nicht-triviale irreduzible einheitliche Darstellung der Heisenberg-Algebra bilden,

(4) EIN   :=   Assoziative Algebra generiert von  a ^ a ^ , und  1 .

Das Spektrum eines halbpositiven Operators N ^ = a ^ a ^ ist immer nichtnegativ,

(5) S p e c ( N ^ )     [ 0 , [ .

Insbesondere das Spektrum S p e c ( N ^ ) wird von unten begrenzt. Da der Betreiber N ^ pendelt mit dem Hamiltonian H ^ , wir können benutzen N ^ die physikalischen Zustände zu klassifizieren. Lassen Sie uns skizzieren, wie das Standardargument geht. Sag das | n 0 0 ist ein normierter Eigenzustand für N ^ mit Eigenwert n 0 [ 0 , [ . Wir können den Operator zum Absenken der Leiter (Vernichtung) verwenden a ^ wiederholt, um neue Eigenzustände zu definieren

(6) | n 0 1 , | n 0 2 ,

die jedoch Nullnorm haben könnte. Da das Spektrum S p e c ( N ^ ) von unten begrenzt wird, muss dieser Absenkvorgang (6) in endlich vielen Schritten aufhören. Es muss eine Ganzzahl vorhanden sein m N 0 so dass Nullnorm auftritt

(7) a ^ | n 0 m   =   0.

Annehmen, dass m ist die kleinste dieser ganzen Zahlen. Die Norm ist

(8) 0   =   | |   a ^ | n 0 m   | | 2   =   n 0 m | N ^ | n 0 m   =   ( n 0 m ) | |   | n 0 m   | | 2 > 0 ,

also ist der ursprüngliche Eigenwert eine ganze Zahl

(9) n 0   =   m N 0 ,

und Gl. (7) wird

(10) a ^ | 0   =   0 , 0 | 0     0.

Als nächstes können wir den Operator zum Anheben der Leiter (Erstellung) verwenden a ^ wiederholt, um neue Eigenzustände zu definieren

(11) | 1 , | 2 , .

Durch ein ähnliches Normargument kann man sehen, dass diese Erhöhungsprozedur (11) schließlich keinen Null-Norm-Zustand erzeugen kann und daher ewig weitergeht / nicht aufhört. Induktiv, auf der Bühne n N 0 , die Norm bleibt ungleich Null,

(12) | |   a ^ | n   | | 2   =   n | a ^ a ^ | n   =   n | ( N ^ + 1 ) | n   =   ( n + 1 )   n | n   >   0.

So v enthält mindestens eine vollständige Kopie des Standard-Fock-Raums. Andererseits durch die Irreduzibilitätsannahme der Vektorraum v kann nicht größer sein, und v ist also nur ein Standard-Fock-Raum (bis auf Isomorphie).

III) Schließlich, wenn v ist also nicht irreduzibel v könnte eine direkte Summe mehrerer Fock-Räume sein. Im letzteren Fall ist das Energieniveau des Grundzustands entartet.

Insbesondere Fall III) bedeutet, dass man die Darstellung in Form eines Differentialoperators benötigt, um auf Nichtentartung zu schließen. (Im abstrakten Fall geht man stattdessen von Irreduzibilität aus.)
@ArnoldNeumaier. Mit dieser Antwort und Ihrem Kommentar würde ich wohl zu folgendem Schluss kommen. Angesichts der Irreduzibilität der Menge { P , Q } und die Definitionen von a und a bezüglich P und Q , würde nun die oben angenommene Irreduzibilitätsbedingung folgen und damit die Eindeutigkeit garantieren. Ich habe einen Beweis für die Irreduzibilität von gesehen { P , Q } die auf der Differentialoperatordarstellung beruht. Vielleicht ist die nächste Frage, ob es einen alternativen Beweis gibt, der sich nicht auf diese Darstellung beruft?
@Evan: Ohne die Differentialoperatordarstellung kann es keinen Beweis geben. Für das Tensorprodukt mehrerer irreduzibler Darstellungen j = 1 , . . . , N erzeugt eine reduzierbare Darstellung für P = P j , Q = Q j / N , das Zentrum der Massenbewegung.
Ich weiß, der Beitrag ist alt, aber es ist mir nicht klar, was das garantiert N ist positiv semidefinit
Hallo ekardnam_ Vielen Dank für das Feedback. Hinweis: ψ | N ^ | ψ = | | a ^ | ψ | | 2 0 .

Jedes eindimensionale Potentialsystem hat ein einzigartiges Vakuum, weil es das Minimum der folgenden Funktion ist

| ψ ' | 2 + v ( x ) | ψ | 2 d x

Was durch eine echte positive (knotenlose) Wellenfunktion minimiert wird. Wenn es zwei verschiedene Minima gibt (wenn es eine Entartung gibt), dann hat eine Linearkombination der beiden Wellenfunktionen einen Knoten, und dies ist mit einem regulären Potential nicht vereinbar.

Die einzige Möglichkeit, entartete Grundzustände (oder zwei getrennte unabhängige Grundzustände) zu haben, besteht darin, dass das Potential V eine unendliche harte Wand hat, die verschiedene Regionen trennt. Andernfalls ist die Grundzustands-Wellenfunktion überall nicht verschwindend und das obige lineare Kombinations-/Knoten-Argument funktioniert.

Für den harmonischen Oszillator ist es etwas trivialer zu beweisen als dieses allgemeine Zeug, weil der Grundzustand durch den Vernichtungsoperator vernichtet wird x + ich p , und dies ist eine Differentialgleichung erster Ordnung mit genau einer Lösung bis zur Neuskalierung, die der Gaußsche Grundzustand ist.