Wie ändern sich Schöpfungsoperatoren mit der Zeit in einer Interaktionstheorie?

Beim Studium der Quantisierung einer Feldtheorie mit freien Feldern, den Erzeugungsoperatoren A ( k ) sind zeitunabhängig. In einer Interaktionstheorie sind sie zeitabhängig und daher A ( k , ) ist ungleich zu A ( k , + ) . Ich möchte besser verstehen, wie dieser Unterschied aussieht: Wie genau unterscheiden sie sich? Was sind die körperlichen Folgen?

Antworten (1)

Betrachten wir der Einfachheit halber eine reelle, skalare Feldtheorie (und metrische Signatur + ). In der freien Theorie kann man die Modenentwicklungen des Feldes verwenden ϕ ( X ) und sein kanonisch konjugierter Impuls π ( X ) die folgenden Ausdrücke für die Erzeugungs- und Vernichtungsoperatoren abzuleiten:

A ( P ) = ich D 3 X   e ich P X 0 ϕ ( X ) ,   A ( P ) = ich D 3 X   e ich P X 0 ϕ ( X )
Wo G 0 F := G 0 F ( 0 G ) F . Diese Beziehung ist in der Freifeldtheorie immer wahr (und exakt).

In der Interaktionstheorie geht man davon aus – normalerweise begleitet von einem mit der Hand winkenden Argument über das „Ausschalten von Interaktionen in der fernen Vergangenheit und Zukunft“ – dass diese Beziehungen immer noch asymptotisch (dh als T ± ). Jetzt wollen wir herausfinden, wie viel A Und A ändern sich mit der Zeit, daher berücksichtigen wir Folgendes:

Δ A ( P ) = A ( P , ) A ( P , ) = 0 A ( P , T )   D T = ich D 4 X   0 ( e ich P X 0 ϕ ( X ) )
Man schreibt diese Ableitungen einfach aus und verwendet eine zusätzliche Annahme über das Verhalten von ϕ ( X ) im Unendlichen, um einige Begriffe zu stornieren und schließlich anzukommen
Δ A ( P ) = ich D 4 X   e ich P X ( M 2 + T 2 ich 2 ) ϕ ( X ) = ich D 4 X   e ich P X ( + M 2 ) ϕ ( X )
Das zeigt sich sofort Δ A ( P ) ist in der freien Theorie Null, da das freie Feld der Klein-Gordong-Gleichung gehorcht ( + M 2 ) ϕ = 0 , was die Tatsache widerspiegelt, dass A ( P ) ist in diesem Fall zeitunabhängig. In einer Wechselwirkungstheorie ist die Bewegungsgleichung jedoch anders und (im Allgemeinen) nichtlinear (z ( + M 2 + λ ϕ 3 ) ϕ = 0 im Fall von ϕ 4 -Theorie), also Δ ( P ) verschwindet im Interaktionsfall nicht. Es ist leicht, einen sehr ähnlichen Ausdruck für abzuleiten Δ A ( P ) , die genauso interpretiert werden können.

Nachtrag (18.12.2014):

Es stellt sich heraus, dass es nicht ganz einfach ist, eine gute Interpretation für die Hauptausdrücke zu finden. Ich glaube jedoch, jetzt ein gutes geistiges Bild gefunden zu haben. Um es etwas klarer zu machen, müssen wir jedoch noch etwas arbeiten. Aus den Ausdrücken für Δ A ( k ) Und Δ A ( k ) Es ist ziemlich einfach, die LSZ-Reduktionsformel für abzuleiten N einfallende Teilchen mit Impulsen P ich Und M ausgehende Teilchen mit Impulsen k ich (im Positionsraum). Wenn man dann eine Fourier-Transformation durchführt, findet man:

k 1 k M | S | P 1 P N = ( 2 π ) 4 δ ( 4 ) ( P ) ich = 1 M ich ( k ich 2 + M 2 ) J = 1 N ich ( P ich 2 + M 2 ) × ich G ~ M + N , C ( P 1 , , k M 1 ) = ( 2 π ) 4 δ ( 4 ) ( P ) ( ich G ~ 2 , C ( 0 ) ( k 1 ) ) 1 ( ich G ~ 2 , C ( 0 ) ( P N ) ) 1 × ich G ~ M + N , C ( P 1 , , k M 1 )

Hier ist es einfacher, eine Interpretation zu geben. Der letzte "große" Propagator nimmt im Grunde die N Anfangsteilchen und lässt sie sich zeitlich entwickeln, einschließlich der Wechselwirkungsterme M Teilchen im 'out'-Zustand - es ist im Grunde eine Black Box. Dann ist das Produkt der Umkehrung frei (beachten Sie den hochgestellten Index ( 0 ) ) Propagatoren können so interpretiert werden, dass sie die freie Zeitentwicklung aller Partikel einzeln subtrahieren.

In Anbetracht dessen können wir den Ausdruck for genauso interpretieren Δ A und sein hermitisches Konjugat: Wir können die interpretieren ( + M 2 ) als „Abziehen“ der „freien“ Zeitentwicklung, wobei nur der Teil beibehalten wird, der auf die Interaktion zurückzuführen ist (wie wir wissen, sollten die freien Erzeugungs-/Vernichtungsoperatoren zeitunabhängig sein). Ich bin mir bewusst, dass das sehr handgewellt ist, aber ich denke, das ist das Beste, was ich tun kann, um eine Intuition dafür zu vermitteln, was "es bedeutet" - natürlich sollte man meistens einfach die Klappe halten und rechnen ;)

Warum beantwortet ihr so ​​oft einfache Fragen, indem ihr euch auf wirklich komplexe Frameworks wie relativistische QFT bezieht? Dies ist nur eine Frage zu wechselwirkenden Hamiltonoperatoren und hat absolut nichts mit Pfadintegralen zu tun. Das Hinzufügen von Relativität zur Pfadintegration, nur um eine Frage über interagierende Hamiltonianer zu beantworten, scheint seltsam. Ich würde wirklich gerne die Antwort darauf wissen, ich beschwere mich nicht nur :)
@DanielSank Das liegt daran, dass wir dort den größten Teil unserer Feldtheorie lernen;) Fühlen Sie sich frei, eine bessere Antwort hinzuzufügen, wenn Sie können! Und ehrlich gesagt glaube ich nicht, dass relativistische QFT schwieriger ist; vielleicht bist du ja voreingenommen ;)
@DanielSank Außerdem bin ich mir nicht sicher, wo Sie in dieser Antwort "Pfadintegration" erhalten. Hier findet keine Pfadintegration statt; dies ist die kanonische Quantisierung.
Ooof, Sie haben Recht mit der Pfadintegration. Entschuldigung, mein Fehler. Oh Mann, dieser erste Kommentar von mir ergibt keinen Sinn, sorry.
Ich habe diese Herleitung zwar in Lehrbüchern gesehen, aber die physikalische Bedeutung entzieht sich mir. Variieren die Operatoren in der Norm oder in der Phase? Was ist der Unterschied zwischen den erzeugten asymptotischen Zuständen?
Allerdings scheint der Bezug auf die Relativitätstheorie, die Metrik und die Klein-Gordon-Gleichung übertrieben zu sein.
@DanielSank: Es ist kein komplexes Framework; Ein echtes Skalarfeld ist buchstäblich so einfach, wie Sie es in der Quantenfeldtheorie bekommen können. Denken Sie auch daran, dass die Antworten nicht nur für das OP, sondern für die gesamte SE-Community gelten, sodass Sie sich wirklich nicht beschweren können.
@JamalS: Es stimmt zwar, dass ein echter Skalar die einfachste Feldtheorie ist, aber es ist definitiv nicht der einfachste Fall, in dem Sie die Entwicklung von Hebe- / Senkoperatoren in einem interagierenden System diskutieren können. Darüber hinaus ermutige ich sie, gerade weil die Antworten für die gesamte Community bestimmt sind, so einfach wie möglich zu sein. Da ich Mitglied der Community bin, sehe ich keinen Sinn darin, mir zu sagen, dass ich kein Recht habe, mich zu beschweren :)
@DanielSank Der Verweis auf die Metrik dient nur dazu, Verwirrung über das Vorzeichen im Exponenten zu vermeiden. es hat keine tiefere Bedeutung. Darüber hinaus drückt das KG-eqn nichts anderes aus, als die relativistische Massen-Energie-Äquivalenz freier Teilchen in Operatorbegriffen auszudrücken, also ist es nicht so fortgeschritten, wie Sie zu denken scheinen.
@DanielSank meiner Meinung nach ist das nicht übertrieben. Aber ich würde mir auch eine qualitative Diskussion darüber wünschen, wie sich die Operatoren unterscheiden.
@Whelp Angesichts der Tatsache, dass Sie meine Antwort akzeptiert haben, habe ich mich gefragt, ob es irgendetwas gibt, das Sie davon abhält, das Kopfgeld zu vergeben. Gibt es etwas, das Sie in meiner Antwort vermissen? Wenn Sie nur abwarten, ob Antworten auftauchen, kann ich das natürlich verstehen.
Das war ein Fehler meinerseits, ich dachte es wäre automatisch vergeben.