Welche Annahmen über die Wirkung treffen oder geben wir beim Übergang von der klassischen Mechanik zur Quantenmechanik zur Quantenfeldtheorie auf?

Ich lese Quantenfeldtheorie für begabte Amateure und habe das Gefühl, dass ich nicht genau verstehe, wie die Lagrange-Funktion und die Aktion in (1) klassischer Mechanik (2) Quantenmechanik und (3) Quantenfeldtheorie unterschiedlich verwendet werden . Es ist nicht so sehr die Mathematik, da ich nicht verstehe, was sie physikalisch darstellen.

Zum Beispiel wird in der klassischen Mechanik die Wirkung (zum Beispiel) in Bezug auf die Bahn des Teilchens verwendet. Ein weiteres Beispiel Ich bin mit der klassischen Elektrodynamik und der Verwendung der Lagrange-Dichte vertraut L Bewegungsgleichungen finden. Für die Quantenmechanik dachte ich, wir könnten die Flugbahn nicht kennen. Ich dachte, wir hätten uns auf eine Operatortheorie verlassen, bei der wir das hatten | ψ ( T ) = U ( T ) | ψ ( 0 ) . Jetzt höre ich in meinem qft-Buch, dass es etwas gibt, das als Propagator bezeichnet wird. Das erste Beispiel, auf das ich gestoßen bin, ist ein Wellenfunktionspropagator  

ϕ ( X , T X ) = D j G + ( X , T X , j , T j ) ϕ ( j , T j )
Wo G + ( X , T X , j , T j ) = θ ( T X T j ) X ( T X ) | j ( T j ) Und wir verwenden dies im Grunde, um die Amplitude bei zu bestimmen ϕ ( j , T j ) und dann zu einem späteren Zeitpunkt in der Zeitentwicklung ϕ ( X , T X ) vom System. Auf den Begriff der Feldvermehrer bin ich noch nicht gekommen. Trotzdem hatte ich das Gefühl, die Dinge zu verstehen. Aber ich übersprang ein bisschen und fand die Gleichung
G ( X , T X , j , T j ) = D [ Q ( T ) ] exp ( ich T X T j D T L [ Q ( T ) ] )
Dies soll dazu verwendet werden, alle möglichen Trajektorien für ein Teilchen zu summieren, das sich zwischen zwei Raumzeitpunkten bewegt. Aber jetzt bin ich sehr verwirrt, weil ich dachte, wir könnten die Trajektorien in der Quantenmechanik nicht kennen. Und wenn wir sie in QM nicht kennen können, sollten wir sie in QFT sicherlich nicht kennen. Doch dieses Integral scheint zu sagen, dass wir Trajektorien summieren. Für mich macht das keinen Sinn, wenn ich die Trajektorien nicht kennen kann.

Meine Frage

Kann jemand kurz zusammenfassen, wie der Begriff der Aktion und Lagrange unterschiedlich verwendet wird?

Aber das Integral ist über alle Bahnen mit den entsprechenden Randbedingungen nicht nur dasjenige, das die klassischen Bewegungsgleichungen verifiziert, und es liefert den [tautologisch, wenn man QM aus dem Bahnintegral definiert] richtigen Quantenpropagator. Daher müssen Sie keine Trajektorie kennen, um in das Pfadintegral einzuspeisen, und es erzeugt keine.
Ich bin mir nicht sicher, ob ich dem folgen kann, also verzeihen Sie mir, wenn das Folgende nichts damit zu tun hat: Hängt dies mit der Idee zusammen, dass die Amplitude außerhalb des vorderen Lichtkegels ungleich Null sein kann? Oder impliziert diese Idee eher einen Pfad, der nicht durch die klassische Aktion erfüllt wird, die in der QFT erfüllt ist?
@StanShunpike: Das hat mit der Unschärferelation zu tun.
@StanShunpike: Ich arbeite an einer substanziellen Antwort. Um wirklich zu zeigen, was vor sich geht, leite ich das Pfadintegral ab. Außerdem habe ich einige Diagramme gefunden. (Juhu Bilder!)
Nun ja, eine klassische Theorie bleibt innerhalb des Lichtkegels, da die klassischen Bewegungsgleichungen Kausalität erzwingen. Da das Wegintegral aber Beiträge von Wegen hat, die keine Lösungen der klassischen Bewegungsgleichungen sind, kann es außerhalb des Lichtkegels eine nicht verschwindende Amplitude haben. (Die Quantentheorie ist immer noch kausal – in der Quantentheorie ist Kausalität nicht dasselbe wie der Propagator, der außerhalb des Lichtkegels verschwindet. Vielmehr müssen wir Kommutatoren von Observablen betrachten.)
Zweitens macht der Ausdruck „ein Weg, der nicht durch die klassische Handlung erfüllt wird“ keinen Sinn. Die Aktion ist ein Funktional, das einen Weg im Phasenraum nimmt und eine Zahl angibt. Das Prinzip der stationären Wirkung liefert Bewegungsgleichungen , die den physikalischen Weg des klassischen Systems bestimmen.

Antworten (1)

In NRQM stellen wir Partikel durch ein lokalisiertes Wellenpaket dar ψ , Wellenfunktion genannt. Wir sagen grob, dass sich das klassische Teilchen auf der „Spitze“ des Wellenpakets befindet. Wir sagen, dass wir den Weg nicht kennen können, weil die Wellenfunktion an mehreren Stellen ungleich Null sein kann. Anstatt wie in der klassischen Mechanik deterministisch sagen zu können, wo sich das Teilchen befindet, können wir nur eine Wahrscheinlichkeitsverteilung angeben | ψ | 2 .

Nun werde ich anhand einer apokryphen Feynman-Geschichte zeigen, dass Pfadintegrale wirklich ganz natürlich sind. (Ich habe diese Geschichte in QFT Nut von A. Zee gelesen.)

Geben Sie hier die Bildbeschreibung ein

Vor langer Zeit redete der Professor in einer QM-Klasse über das Doppelspaltexperiment. Ein Teilchen, das von emittiert wird S zum Zeitpunkt T = 0 geht durch eines der beiden Löcher A 1 , A 2 und wird bei erkannt Ö zum Zeitpunkt T = T . Die Amplitude ergibt sich nach dem Überlagerungsprinzip als Summe der Amplituden S A 1 Ö Und S A 2 Ö .

Plötzlich fragte Feynman: "Was ist, wenn wir ein drittes Loch bohren?" Der Professor antwortete: "Die Amplitude für den gesamten Prozess ist jetzt die Summe der drei separaten Amplituden." Feynman, der Feynman ist, fragt den Professor, was passiert, wenn wir mehr Löcher in den Bildschirm bohren. Offensichtlich summieren wir einfach über die Löcher . Lassen A die Amplitude bezeichnen. Dann

A ( festgestellt bei  Ö ) = ich A ( S A ich Ö )

Aber Feynman bleibt bestehen: "Was ist, wenn wir jetzt einen zweiten Bildschirm mit einigen Löchern darin hinzufügen?"Abb. 2

Der Professor sagt so etwas wie: „Sie nehmen die Amplitude, um davon auszugehen S Zu A ich im ersten Bildschirm, dann zu B J im zweiten Bildschirm, dann zu Ö und dann summieren ich Und J ."

Feynman ist noch nicht fertig: "Was ist, wenn ich einen dritten oder vierten Bildschirm einbaue? Was, wenn ich einen Bildschirm einbaue und unendlich viele Löcher hineinbohre, sodass der Bildschirm nicht mehr da ist?" (Ganz Zen.)

Was Feynman zeigte, war, dass, selbst wenn zwischen der Quelle und dem Detektor nur ein leerer Raum vorhanden wäre, die Amplitude für das Teilchen durch jedes der Löcher in jedem der (nicht vorhandenen) Schirme gehen würde. Mit anderen Worten, wir müssen über die Amplitude summieren, damit sich das Teilchen von der Quelle zum Detektor ausbreitet und dabei allen möglichen Wegen zwischen der Quelle und dem Detektor folgt.

Geben Sie hier die Bildbeschreibung ein

A ( Partikel zu gehen  S  Zu  Ö  rechtzeitig  T ) = Pfade A ( Partikel zu gehen  S  Zu  Ö  rechtzeitig  T  einem bestimmten Weg folgen )

Jetzt präzisieren wir diese Ideen mathematisch. In QM die Amplitude, die sich von einem Punkt aus ausbreitet Q ICH bis zu einem Punkt Q F rechtzeitig T wird durch den einheitlichen Operator geregelt e ich H T , Wo H ist der Hamiltonoperator. Genauer gesagt ist die Amplitude

A = Q F | e ich H T | Q ICH Q F | U ( T ) | Q ICH
Seit U ( T ) eine Exponentialfunktion ist, können wir sie als Produkt schreiben
U ( T ) = ich = 1 N U ( δ T ) = ich = 1 N e ich H δ T ,
Wo δ T = T / N . Setzen Sie dies in die Amplitude ein
A = Q F | ich = 1 N U ( δ T ) | Q ICH
Jetzt einfügen N 1 Kopien von
ICH = D Q | Q Q |
zwischen jedem Faktor von U ( δ T ) :
A = J = 0 N 1 ich = 1 N 1 D Q ich Q J + 1 | U ( δ T ) | Q J
Q J = Q ( T J ) Q ICH = Q 0 Q F = Q N
Konzentrieren Sie sich auf Q J + 1 | U ( δ T ) | Q J . Arbeiten Sie mit einem Teilchen in einem nicht spezifizierten Potential,
H = P 2 2 M + v ( Q )
P der Impulsoperator ist, erzeugt er Eigenwerte
P | P = P | P
Q der Positionsoperator ist, erzeugt er Eigenwerte
Q | Q = Q | Q
Stecken Sie dies und einen Identitätsoperator ein,
ICH = D P | P P |
in die halterung:
Q J + 1 | U ( δ T ) | Q J = Q J + 1 | e ich δ T ( P 2 / 2 M + v ( Q ) ) | Q J = e ich δ T v ( Q J ) D P Q J + 1 | e ich δ T ( P 2 / 2 M ) | P P | Q J
Abrufen
Q | P = e ich P Q 2 π
Wir können das Integral vereinfachen
e ich δ T v ( Q J ) D P e ich δ T ( P 2 / 2 M ) Q J + 1 | P P | Q J = e ich δ T v ( Q J ) D P 2 π e ich δ T ( P 2 / 2 M ) e ich P ( Q J + 1 Q J )
Das Integral ergibt sich zu
e ich δ T v ( Q J ) D P 2 π e ich δ T ( P 2 / 2 M ) + ich P ( Q J + 1 Q J ) = ich M 2 π δ T e [ ich M ( Q J + 1 Q J ) 2 ] / 2 δ T ich δ T v ( Q J ) = C e ich δ T { ( M / 2 ) [ ( Q J + 1 Q J ) / δ T ] 2 v ( Q J ) }
Setzen wir dies in unsere Formel für die Pfadintegralerträge ein
Q F | e ich H T | Q ICH = C N ( ich = 1 N 1 D Q ich ) exp { ich δ T J = 0 N 1 [ M 2 ( Q J + 1 Q J δ T ) 2 v ( Q J ) ] }
Jetzt gehen wir zur Kontinuumsgrenze,
N δ T 0
Dann
lim δ T 0 [ Q J + 1 Q J δ T ] 2 = Q ˙ 2
Und
lim N J = 0 N 1 δ T = 0 T D T
Definieren Sie auch das Integral über alle Pfade
D Q ( T ) = lim N C N ich = 1 N 1 D Q ich
Damit erhalten wir die Wegintegraldarstellung
Q F | e ich H T | Q ICH = D Q ( T ) e ich 0 T D T ( 1 2 M Q ˙ 2 v ( Q ) )
Das potenzierte Integral ist nur die Aktion, also können wir die Amplitude schreiben als
Q F | e ich H T | Q ICH = D Q e ich S [ Q ] = D Q exp ( ich 0 T D T L ( Q , Q ˙ ) )

Nun können wir das Prinzip der kleinsten Wirkung ableiten. Dies ist nur ein ausgefallenes Integral einer oszillierenden komplexen Exponentialfunktion. Wenn S stationär ist, sind die Phasen ähnlich und addieren sich konstruktiv . Wenn wir uns von diesem Gleichgewicht entfernen, ändern sich die Phasen schnell und addieren sich destruktiv . Wir erwarten also den größten Beitrag dazu A von Pfaden kommen, für die

δ S = 0
Beachten Sie, dass die nicht-klassischen Pfade dazu beitragen A , aber der dominierende Beitrag und damit der durchschnittliche Pfad ist klassisch.

Damit dies eine gültige Quantentheorie ist, muss sie der Schrödinger-Gleichung gehorchen. Wir zeigen jetzt, dass es geht.

Wir können die zeitliche Ableitung eines Zustandsvektors zur Zeit schreiben T = 0 als

D D T | ψ ( 0 ) = | ψ ( δ T ) | ψ ( 0 ) δ T
Bei gegebener Schrödinger-Gleichung gilt also:
ich D D T | ψ ( 0 ) = H | ψ ( 0 ) ,
wir können es annähern als
| ψ ( δ T ) | ψ ( 0 ) = ich δ T H | ψ ( 0 )
Im X Grundlage haben wir
ψ ( X , δ T ) ψ ( X , 0 ) = ich δ T [ 1 2 M 2 2 X + v ( X , 0 ) ] ψ ( X , 0 )
Vergleichen Sie dies mit der Pfadintegraldarstellung in derselben Ordnung δ T :
ψ ( X , δ T ) = U ( X , δ T ; X ' , 0 ) ψ ( X ' , 0 ) D X '
U ( X , δ T ; X ' , 0 ) = X | U ( δ T ) | X '
Aus der Ableitung des Pfadintegrals haben wir
U ( X , δ T ; X ' , 0 ) = M 2 π ich δ T exp { ich [ M ( X X ' ) 2 2 δ T δ T v ( X + X ' 2 , 0 ) ] }
So
ψ ( X , δ T ) = M 2 π ich δ T exp [ ich M ( X X ' ) 2 2 δ T ] exp [ ich δ T v ( X + X ' 2 , 0 ) ] ψ ( X ' , 0 ) D X '
Der erste exponentielle Term oszilliert schnell mit Ausnahme des stationären Punktes X = X ' , wobei die Phase den Minimalwert Null hat. Wir sagen, dass der Kohärenzbereich im Pfadintegral ist δ S π . Also der Kohärenzbereich für die erste Exponentialfunktion in Bezug auf η = X ' X ,
M η 2 2 δ T π
oder
| η | 2 π δ T M
Also überlege jetzt
ψ ( X , δ T ) = M 2 π ich δ T exp [ ich M η 2 2 δ T ] exp [ ich δ T v ( X + η 2 , 0 ) ] ψ ( X + η , 0 ) D η
Wir arbeiten auf erste Bestellung δ T und in zweiter Ordnung ein η . Wir expandieren
ψ ( X + η , 0 ) = ψ ( X , 0 ) + η ψ ' + 1 2 η 2 ψ +
exp [ ich δ T v ( X + η 2 , 0 ) ] = 1 ich δ T v ( X + η 2 , 0 ) + = 1 ich δ T v ( X , 0 ) +
(Bestellbedingungen η δ T sind zu vernachlässigen). Jetzt wird unser Integral
ψ ( X , δ T ) = M 2 π ich δ T exp [ ich M η 2 2 δ T ] [ ψ ( X , 0 ) ich δ T v ( X , 0 ) ψ ( X , 0 ) + η ψ ' + 1 2 η 2 ψ ] D η
Durch die Integrale erhalten wir
ψ ( X , δ T ) = M 2 π ich δ T [ ψ ( X , 0 ) 2 π ich δ T M δ T 2 ich M 2 π ich δ T M ψ ich δ T 2 π ich δ T M v ( X , 0 ) ψ ( X , 0 ) ]
oder
ψ ( X , δ T ) ψ ( X , 0 ) = ich δ T [ 1 2 M 2 X 2 + v ( X , 0 ) ] ψ ( X , 0 )
das ist nur die Schrödinger-Gleichung.

Die bahnintegrale Quantenmechanik stimmt also perfekt mit der Wellenmechanik überein.

(Dieser Beitrag ist wirklich lang. Die PSE-Verzögerung ist unerträglich. Sie können gerne Fragen stellen, aber ich werde nicht mehr in dieses Antwortfeld schreiben.)

Rxn1: Ich habe A Zee schon einmal gelesen und diese Geschichte gehört, aber durch SE habe ich gelernt, wie der unitäre Operator funktioniert, und jetzt, wo Sie ihn ansprechen, macht es jetzt Klick. ich sehe was δ T ist endlich! Ich versuche seit ungefähr einem Jahr herauszufinden, wovon Zee spricht. Das ist so cool! Rxn2: Wow, ich habe gerade den integralen Teil des Pfads bekommen. Das ist großartig. Mir war nicht klar, dass es so eng mit der Sache mit den Bremsen aus Zees Buch zusammenhängt, aber jetzt, wo du es dargelegt hast, kann ich dem Gedankengang folgen. Rxn3: Ich habe gerade den Beitrag beendet und kann nicht glauben, dass ich das alles verfolgt habe. Vielen Dank. Gut erklärt und übersichtlich.
Warten Sie, wollen Sie damit sagen, dass RQM keine Wave-Pakete beinhaltet? Ich erkenne in der Quantenfeldtheorie an, dass die Wellenfunktion nicht funktioniert, aber ich dachte, Wellenpakete funktionieren für RQM
@StanShunpike: RQM verwendet auch Wellenpakete. In RQM sprechen wir jedoch normalerweise von Feldern . Die Wellenpakete sind Anregungen der Felder.
@StanShunpike: Mir ist bewusst, dass ich QFT in meinem Beitrag nicht angesprochen habe. Dies hätte viel zu lange gedauert und Chrome zum Absturz gebracht. (Mathjax rendert TEX in Echtzeit.) Ich fürchte, Sie müssen eine separate Frage stellen, wenn Sie möchten, dass ich über Feldpfadintegrale spreche.
@StanShunpike: Es sollte auch beachtet werden, dass es diejenigen gibt, die nicht glauben, dass Pfadintegrale mehr als ein formales Werkzeug darstellen, das für die Störungstheorie in QFT verwendet wird, und konzeptionell nicht ernst genommen werden sollten.