Äquivalenz von klassischer und quantisierter Bewegungsgleichung für ein freies Feld

Angenommen ein klassisches freies Feld ϕ hat eine in Poisson-Klammerform gegebene Dynamik durch Ö ϕ = { H , ϕ } . Wenn wir dieses Feld zu einem Operatorfeld erheben, ist die Dynamik nach der kanonischen Quantisierung gegeben durch Ö ϕ = ich [ H , ϕ ] .

Wie beweisen wir die Äquivalenz dieser beiden Bewegungsgleichungen? Funktioniert das Verfahren bei Wechselwirkungsfeldern?

Bearbeiten: Das Folgende ist mein Verständnis davon, wie die Frage beantwortet wird. Der Einfachheit halber betrachte ich ein Skalarfeld.

1/ Da das Feld frei ist, können wir den Operator schreiben ϕ als Überlagerung von ebenen Wellenoperatoren:

ϕ ( X ) = K ( D 3 P ) A P e ich P X + A P e ich P X

Wobei K eine Normalisierungskonstante ist. Das Problem besteht nun darin, herauszufinden, welche Gleichung die zeitliche Entwicklung von regelt A P

2/Als Betreiber A P entwickelt sich gem D D T A P = ich [ H , A P ]

3/ Da das Feld frei ist, können wir schreiben H in der Form:

H = ( D 3 P ) ω A P A P
4/Einsetzen in den Kommutator und Verwenden von Kommutierungsbeziehungen ergibt dies
D D T A P = ich ω A P
D 2 D T 2 A P = ω 2 A P
5/Diese Gleichungen für Operatoren sind dieselben wie die klassischen Gleichungen, was die Verwendung der klassischen Euler-Lagrange-Gleichungen für die Operatoren rechtfertigt.

Ist das richtig?

"Wie beweisen wir die Äquivalenz dieser beiden Bewegungsgleichungen?" Äquivalenz in welchem ​​Sinne?

Antworten (1)

Nehmen wir an, dass es keine Hindernisse für die Quantisierung, Bestellprobleme usw. gibt. Dies ist in den meisten physikalischen Fällen vollkommen in Ordnung, und ich denke, dies macht die Antwort verständlicher.

Die Antwort besteht aus zwei Teilen:

  1. Da der Quanten-Hamiltonian nichts anderes ist als der klassische Hamiltonian mit Hüten in den Feldern und Impulsen
    H ^ = H C l ( Π ^ , Φ ^ )
    und dass er Dirac Rezept hält
    [ , ] = ich { , }
    mit dem Punkt und dem Quadrat irgendein Feld oder Impuls, dann ist klar, dass die klassische und die Quantenbewegungsgleichung im Heisenberg-Bild formal gleich sind.
  2. Wenn die Bewegungsgleichungen in den Feldern linear sind, dann ist die bisherige formale Äquivalenz zusätzlich "real", nämlich: Die Erwartungswerte der Felder entwickeln sich wie die klassischen Felder. Das ist der Satz von Ehrenfest.

Beispiel: Betrachten Sie der Einfachheit halber das folgende quantenmechanische Problem (die Verallgemeinerung auf QFT ist unmittelbar):

H C l ( P , Q ) = P 2 2 + Q 2 2 + G Q 3 3
mit den Standard-Poisson-Klammern. Beachten Sie, dass dies der harmonische Oszillator (in einigen praktischen Einheiten, bei denen Masse und Frequenz auf 1 gesetzt sind) plus ein Wechselwirkungsterm ist. Die klassische Bewegungsgleichung erhält man, wie Sie sehr gut wissen (unter Verwendung von Poisson-Klammern mit dem Hamilton-Operator) und lautet in ihrer Form zweiter Ordnung:
Q ¨ + Q + G Q 2 = 0
Bisher alles klassisch. Nun ist der Quanten-Hamiltonoperator einfach:
H ^ = H C l ( P ^ , Q ^ ) = P ^ 2 2 + Q ^ 2 2 + G Q ^ 3 3
mit den aus der Dirac-Vorschrift erhaltenen kanonischen Vertauschungsbeziehungen. Wir befinden uns im Heisenberg-Bild. Wie Sie überprüfen sollten (unter Verwendung von Kommutatoren mit dem Hamilton-Operator), lautet die Quantengleichung der Bewegung:
Q ^ ¨ + Q ^ + G Q ^ 2 = 0

Dies ist der vorherige erste Teil; Wie Sie sehen, sind beide Gleichungen formal gleich.

Allerdings interessiert uns physikalisch — eher als formal — die Evolution der Erwartungswerte von Observablen statt der Evolution der eigenen Operatoren Q ^ im Heisenberg-Bild (diese Operatoren hängen im Schrödinger-Bild nicht von der Zeit ab, und die Physik kann nicht von dem Bild abhängen, für das sich Menschen entscheiden). Wir können also den Erwartungswert der vorherigen Gleichung in einem generischen Zustand nehmen | Ψ

D 2 D T 2 Ψ | Q ^ | Ψ + Ψ | Q ^ | Ψ + G Ψ | Q ^ 2 | Ψ = 0
Beachten Sie, dass sich physikalische Zustände nicht mit der Zeit entwickeln, da wir uns im Heisenberg-Bild befinden, und wir dürfen die Zeitableitungen aus dem Erwartungswert herausschreiben. Die große Frage ist: Bedeutet diese Gleichung, dass sich der Erwartungswert der Quantenobservablen (der physikalischen Sache) klassisch entwickelt? Und die Antwort ist rundweg negativ, denn:
Ψ | Q ^ 2 | Ψ Ψ | Q ^ | Ψ 2
das heißt: im Allgemeinen ist der Erwartungswert des Quadrats nicht das Quadrat des Erwartungswerts (die Differenz ist das Quadrat der Standardabweichung oder Unbestimmtheit).

Im G = 0 Falls der letzte Term fehlt, ist die Gleichung linear und die Entwicklung des Quantenerwartungswerts ist klassisch. Das heißt, anrufen Q Ψ | Q ^ | Ψ :

Q ¨ + Q = 0
das ist die klassische Gleichung (mit G = 0 ).