Komplexe Skalartheorie: Vernichtungs- und Erzeugungsoperatoren ergeben falsche Kommutatoren mit Hamiltonoperator

Die Theorie eines reellen (hermiteschen) Skalarfeldes findet sich in vielen Büchern und überall im Internet. Nehmen wir dagegen den nicht-hermiteschen Körper, dann finde ich nur Hinweise zu Pfadintegralen. Ich kann nichts über kanonische Kommutierungen finden, also habe ich versucht, es selbst abzuleiten. Die Sache ist, dass ich mit dem Hamiltonoperator einen falschen Kommutator finde und meinen Fehler nicht erkennen kann. Ich fände es sehr hilfreich, wenn jemand etwas dazu sagen könnte.

Ich werde wahrscheinlich einige numerische Faktoren vermissen und ich könnte einige Dolche / Zeichen entlang dieses Beitrags verlegen, aber diese Probleme sind im Moment nicht wichtig. Ich entschuldige mich, wenn es einige kleine Fehler gibt, bitte stört sie nicht. Auf der anderen Seite, wenn es einen größeren Fehler gibt, beachten Sie ihn bitte und sagen Sie es mir :)

Erster Schritt: Die Felder sind ϕ ( X ) , ϕ ( X ) , π ( X ) Und π ( X ) . Diese pendeln wie folgt

[ ϕ , ϕ ] = [ π , π ] = [ ϕ , π ] = 0 [ ϕ , π ] = [ ϕ , π ] = ich δ ( X j )
(wir nehmen die Felder offensichtlich zu gleichen Zeiten)

Zweiter Schritt: Aus der KG-Gleichung lösen wir auf ϕ

ϕ ( X ) = D k 2 ω ( k )   e ich k X A ( k ) + e + ich k X B ( k )
und ähnliche Gleichungen für die anderen Felder. Wenn wir diese umkehren, finden wir
A ( k ) = D X   e ich k X [ ω ( k ) ϕ ( X ) + ich π ( X ) ]
und ähnliche Gleichungen für B ( k ) .

Dritter Schritt: Schreiben Sie den Hamiltonian als

H = D k 2 ω ( k ) 1 2 ω ( k ) [ A ( k ) A ( k ) + B ( k ) B ( k ) ]

Das Problem kommt mit dem nächsten (und letzten) Schritt: Wenn ich den Kommutator von ausarbeite A Und B mit H , erhalte ich ein unerwartetes Ergebnis. Zum Beispiel,

[ H , A ( k ) ] = 1 2 ω ( k ) [ A ( k ) + B ( k ) ]
(Ich hatte so etwas erwartet [ H , A ] = ω A ; Beachten Sie, dass dies wir hätten, wenn A = B , dh das Feld war hermitesch)

Daran können wir das erkennen A kann nicht als Vernichtungsoperator verwendet werden, denn wenn | E ist ein Zustand mit Energie E , Dann A ( k ) | E wird kein weiterer Eigenzustand mit Energie sein E ω ( k ) ; um dies zu sehen, beachten Sie das

H A ( k ) | E = ( A ( k ) H + [ H , A ( k ) ] ) | E = ( A ( k ) E 1 2 ω ( k ) [ A ( k ) + B ( k ) ] ) | E

Wenn das Feld ϕ war also hermitesch A = B damit die letzte Gleichheit lauten würde H A | E = ( E ω ) A | E , So A wäre ein Vernichtungsoperator. Andererseits, wenn A B , dann noch A noch B die Energie der Eigenzustände verringern. Was habe ich falsch gemacht?

Ich sehe nicht, wie Sie möglicherweise Ihr Kommutierungsverhältnis für erhalten könnten [ H , A ] . A pendelt mit beiden B Und B , also könnte es keine geben B Begriff dort.
Ich dachte, dass [ A ( k ) , B ( Q ) ] = 2 ω ( k ) δ ( k Q ) , aber jetzt ist mir klar, dass das wahrscheinlich falsch ist. Ich überprüfe meine Berechnungen ...
Nun ... sagen wir mal [ A ( k ) , B ( Q ) ] = 0 . Dann wenn ϕ ist dann hermitesch A = B . Daraus bekommen wir [ A ( k ) , A ( Q ) ] = 0 , was eindeutig falsch ist...
Ich verstehe das nicht A = B Teil. Wie folgt daraus [ A , B ] = 0 ?
A Und B erzeugen orthogonale Zustände, da der Einzelteilchen-Hilbert-Raum in einer komplexifizierten Theorie verdoppelt wird und A bezieht sich beispielsweise auf den ersten direkten Summanden, während B zu den anderen, die als solche eindeutig orthogonal sind.
Ich überprüfte meine Berechnungen und [ A , B ] = 0 In der Tat. Du hast recht, da liegt mein Fehler. Vielen Dank (Herzlichen Glückwunsch, dass Sie es so schnell entdeckt haben, das war überraschend)
Nervermiid die A = B Teil. Ich habe laut nachgedacht ... Wie auch immer, warum schreibst du das nicht als tatsächliche Antwort, damit ich es positiv bewerten kann? Beifall :)

Antworten (1)

Die korrekten Kommutierungsbeziehungen für Erzeugungs-/Vernichtungsoperatoren lauten wie folgt:

[ A ( k ) , A ( k ' ) ] = ( 2 π ) 3 δ ( 3 ) ( k k ' )
[ B ( k ) , B ( k ' ) ] = ( 2 π ) 3 δ ( 3 ) ( k k ' )

Alles andere pendelt, einschließlich [ A , B ] .

Daraus geht klar hervor [ H , A ] kann sich nicht darauf verlassen B .