Eine Frage zur Verwendung der Fourier-Zerlegung zur Lösung der Klein-Gordon-Gleichung

Angesichts der Klein-Gordon-Gleichung

( + M 2 ) ϕ ( T , X ) = 0
es ist möglich, eine Lösung zu finden ϕ ( T , X ) B. durch Ausführen einer Fourier-Zerlegung des Skalarfelds ϕ zu einem bestimmten Zeitpunkt T , so dass
ϕ ( T , X ) = D 3 X ( 2 π ) 3 ϕ ~ ( T , k ) e ich k X
Wo ϕ ~ ( T , k ) sind die Fourier-Moden des entsprechenden Feldes ϕ ( T , X ) .

Daraus können wir die erforderliche Entwicklung der Fourier-Moden berechnen ϕ ~ ( T , k ) so dass zu jedem Zeitpunkt T , ϕ ( T , X ) ist eine Lösung der Klein-Gordon-Gleichung. Dies kann in Anlehnung an das Obige wie folgt erfolgen:

( + M 2 ) ϕ ( T , X ) = ( + M 2 ) D 3 X ( 2 π ) 3 ϕ ~ ( T , k ) e ich k X = D 3 X ( 2 π ) 3 [ ( T 2 + k 2 + M 2 ) ϕ ~ ( T , k ) ] e ich k X = 0 ( T 2 + k 2 + M 2 ) ϕ ~ ( T , k ) = 0

Frage : Das ist alles schön und gut, aber warum führen wir in diesem Fall nur eine Fourier-Zerlegung des räumlichen Anteils durch, während wir in anderen Fällen, wie zum Beispiel bei der Lösung von Propagatoren (Greensche Funktionen), eine Fourier-Zerlegung durchführen Zerlegung über alle 4 Raumzeitkoordinaten? [z.B

G ( X j ) = D 4 X ( 2 π ) 4 G ~ ( T , k ) e ich k X
(Wo in diesem Fall k X k μ X μ ).]

Liegt es einfach daran, dass wir die entsprechende QFT für ein Skalarfeld im Heisenberg-Bild konstruieren, oder steckt noch etwas anderes dahinter?

Entschuldigung, wenn dies eine wirklich dumme Frage ist, aber sie nervt mich wirklich eine Weile und ich möchte die Argumentation klar in meinen Kopf bekommen!

Antworten (1)

Notation : X = ( T , X ) ; k = ( k 0 , k ) ; k X = k 0 T k X ; D X = D T D 3 X ; usw.

Sie können die Fourier-Zerlegung im Prinzip sowohl für Raum- als auch für Zeitvariablen durchführen, dazu benötigen Sie jedoch mehrere Eigenschaften der Dirac-Delta-Funktion :

Die erste lautet: let ξ R ; Dann

(1) δ ( F ( ξ ) ) = F ( ξ ich ) = 0 δ ( ξ ξ ich ) | F ' ( ξ ich ) |
wo die Summe über jeder ist ξ ich so dass F ( ξ ich ) = 0 , dh über die Wurzeln von F ( ξ ) .

Das zweite ist das, gegeben G ( ξ ) eine bekannte Funktion, die Verteilungslösung von G ( ξ ) F ( ξ ) = 0 Ist F ( ξ ) = H ( ξ ) δ ( G ( ξ ) ) für eine beliebige Funktion H ( ξ ) . Wenn Sie diesen glauben , dann ist die Fourier-Zerlegung wie folgt:

Lassen ϕ ( X ) sei die Lösung von

( 2 + M 2 ) ϕ ( X ) = 0

Nehmen Sie die Fourier-Transformation der zu findenden Gleichung

(2) ( k 2 M 2 ) ϕ ( k ) = 0
Wo
ϕ ( k ) = D X   e ich k X ϕ ( X )

Als ϕ ( X ) ist eine Verteilung, die Lösung von ( 2 ) Ist ϕ ( k ) = H ( k ) δ ( k 2 M 2 ) für eine beliebige Funktion H ( k ) . Invertieren der Fourier-Transformation finden wir

ϕ ( X ) = D k   e ich k X H ( k ) δ ( k 2 M 2 )

Als nächstes verwenden ( 1 ) um das Delta über die Wurzeln zu erweitern k 2 M 2 . Diese Wurzeln sind leicht zu finden k 0 = ± ω ( k ) , Wo ω ( k ) = + ( k 2 + M 2 ) 1 / 2 . Daher ist es sofort zu bekommen

ϕ ( X ) = D k   e ich k X H ( k ) 1 2 ω [ δ ( k 0 ω ) + δ ( k 0 + ω ) ]
und nach Integration über D k 0 Unter Verwendung der Deltas finden wir
ϕ ( X ) = D k 2 ω   [ e ich ω T e ich k X H ( ω , k ) + e + ich ω T e ich k X H ( ω , k ) ]

Nehmen Sie abschließend die Änderung der Variablen vor k k im zweiten Term, was die übliche Erweiterung ergibt

ϕ ( X ) = D k 2 ω   [ e ich k X A ( k ) + e + ich k X B ( k ) ]
wo ich definiert habe A ( k ) = H ( ω , k ) Und B ( k ) = H ( ω , k ) .

Wie Sie sehen können, ist die Lösung dieselbe wie Ihre (modulo einige irrelevante Vorfaktoren, die in die Definition von resorbiert werden können H ( k ) ), obwohl das algebraische Verfahren, es zu finden, etwas schwieriger ist.

Ich habe nicht jeden Schritt der Berechnung geschrieben, weil ich annehme, dass Sie die Details ausfüllen können. Wenn Sie das zu grob finden, sagen Sie es mir bitte und ich werde versuchen, die Antwort zu verbessern.
Danke für deine Antwort. Ist es also einfach, dass wir wählen, wie wir die Fourier-Transformation durchführen, je nachdem, was für das vorliegende Problem am bequemsten ist? Auch ist die Lösung für ( 2 ) ϕ ( k ) = H ( k ) δ ( k 2 M 2 ) einfach weil ( k 2 M 2 ) ϕ ( k ) = ( k 2 M 2 ) δ ( k 2 M 2 ) H ( k ) = 0 was folgt aus ( k 2 M 2 ) δ ( k 2 M 2 ) = ( k 2 k 2 ) = 0 ?
ja genau! Froh, dass ich helfen konnte :)
Ich nehme an, dass Sie in Ihrer letzten Gleichung meinen A ( k ) und nicht A ( A ) .
@Sito Ja, danke!
Ich verstehe die nicht ganz k k , meine Argumentation ist die D k 2 ω ist eine Lorentz-Invariante, also ergibt die Transformation kein Minuszeichen, ist das richtig?
@SummonedEgar unter k k das Integral A B D k Karten hinein B A D k . Sie ist also unveränderlich solange A = B , aber nicht, wenn die Grenzwerte generisch sind. In unserem Fall ist die Integration über alle R was unter Inversionen invariant ist, also ist es in der Tat invariant.