Greensche Funktion für die inhomogene Klein-Gordon-Gleichung

Ich versuche, die massive Klein-Gordon-Gleichung in der guten alten Minkowski-Raumzeit zu lösen:

( + m 2 ) ϕ = ρ ( t , x )
wo = μ μ = t 2 2 . Man kann also einen Greenschen Funktionsansatz verwenden, um die fundamentale Lösung der Form zu finden
( + m 2 ) G m = δ ( x μ x ' μ )
wo G m ist der bekannte Klein-Gordon-Vermehrer. Man erhält dann die Lösung ϕ im Ortsraum, gegeben als bekannte Lösung
ϕ ( x μ ) = d 4 x ' G m ( x μ , x ' μ ) ρ ( t ' , x ' ) ( )
Ich war damit vollkommen zufrieden, bis ich eine tatsächliche Umsetzung durchführen musste ρ und führe die Integrale aus. Meine bisher beste Wahl war die Verwendung der Bessel-Funktionsdarstellung, die ich gefunden habe (hier: http://functions.wolfram.com/Bessel-TypeFunctions/BesselJ/31/02/ ) (von der ich angenommen habe, dass sie eine Verallgemeinerung hat). die Form:
G m ( t , t ' , x , x ' ) = θ ( t t ' ) 2 π δ ( ( t t ' ) 2 | x x ' | 2 ) m 2 π θ ( t t ' | x x ' | ) J 1 ( m ( t t ' ) 2 | x x ' | 2 ) m ( t t ' ) 2 | x x ' | 2 )
Obwohl dies eine schöne Darstellung in geschlossener Form ist, habe ich immer noch echte Schwierigkeiten, das Integral zu bewerten ( ) . Ich habe lange an verschiedenen Stellen nach expliziten Beispielen für die Berechnung des Integrals gesucht und bin bisher auf sehr wenig gestoßen. Mathematica (mein bevorzugtes Rechenprogramm) verachtet diese Heaviside-Funktionen in den Integralen wirklich und bietet wenig Anleitung. Der einzige Fall, den ich bisher tun kann, ist m 0 .

Frage: Mit der Darstellung von G m gegeben (oder eine andere schönere), wie kann man eigentlich rechnen ( ) ? Hat jemand eine Referenz, wo irgendein explizites Beispiel berechnet wird, wo ρ geht über ein einfaches hinaus δ -Funktion? Sogar so etwas wie ρ = ρ ( r , θ ) oder ρ = ρ ( r ) wäre eine große Hilfe.

Vielen Dank!

Bitte poste das konkrete ρ ( x , t ) , müssen Sie von Fall zu Fall behandeln.
Ich suche hier nach einer generischen Strategie, was wohl Wunschdenken ist. Die damit verbundenen Besonderheiten ρ sind nicht so wichtig (da ich viele Fälle habe, würde ich eventuell versuchen, damit herumzuspielen). Ich möchte wissen, ob die Darstellung, die ich dort habe, gut für Berechnungen ist und wie man damit umgehen würde. Idealerweise hatte ich gehofft, dass jemand eine Referenz kennt, in der einige explizite Beispiele berechnet werden. Sogar so etwas wie ρ = a r 2 + b r + c wäre hilfreich, da ich mir das ansehen und hoffen kann, zu verallgemeinern. So wie es aussieht, weiß ich wirklich nicht, wie ich es angehen soll.
Wenn die Heaviside-Funktionen das Problem sind, können Sie versuchen, das Problem ohne sie zu lösen und eine Fallunterscheidung von Hand zu implementieren? Die Heavisides scheinen nur Kausalität zu implementieren ...
Danke, @Neuneck, das ist auf jeden Fall einen Versuch wert. In Bezug auf die Integrationen habe ich jedoch Schwierigkeiten, sie überhaupt zu bewerten
d 4 x ' J 1 ( m ( t t ' ) 2 | x x ' | 2 m ( t t ' ) 2 | x x ' | 2
(das ist wenn ρ ist konstant). Ich habe diese ( fh-jena.de/~rsh/Forschung/Stoer/besint.pdf ) Tabelle mit Integralen von Bessel-Funktionen gefunden, aber diese erscheint dort nicht. Gibt es überhaupt einen Grund anzunehmen, dass das Integral in elementarer Form existiert? Ich vermute nicht.
Haben Sie eine Referenz, wie die Funktion des Grüns abgeleitet wird? Ich meine die Formel von Wolfram

Antworten (1)

Ich bin mir bewusst, dass dies eine alte Frage ist und als etwas veraltet angesehen werden kann, aber lassen Sie mich sie trotzdem beantworten - wenn auch nur der Vollständigkeit halber.

Die Positionsraumdarstellung der Klein-Gordon-Green-Funktion (Propagator) sieht eindeutig einschüchternd aus. Der Trick besteht darin, die Berechnung im Impulsraum durchzuführen, wo der Propagator nur eine rationale Funktion ist. Bevor ich dies tatsächlich tue, möchte ich darauf hinweisen, dass im masselosen Fall m = 0 , und für eine statische Quelle, ρ = ρ ( x ) , löst man eigentlich die Poisson-Gleichung. Wenn die Quelle radialsymmetrisch ist, ρ = ρ ( r ) , wie in der Frage vorgeschlagen, ist die Lösung das Coulomb-Potential, ϕ = ϕ ( r ) 1 / r . Unter Berücksichtigung einer nicht verschwindenden Masse erhält man ein Yukawa-Potential, ϕ exp ( m r ) / r .

Dies kann explizit in Form von Fourier-Integralen gezeigt werden. Transformiere zuerst das Feld,

ϕ ( k ) = d 4 x e ich k x ϕ ( x ) ,

und ebenso die Quelle, ρ ρ ( k ) . Die Impulsraumlösung der KG-Gleichung ist dann

ϕ ( k ) = ρ ( k ) k 2 m 2 + ich ϵ ,

mit k 2 = k 0 2 k 2 und das kausale ich ϵ -Verschreibung. (Ändern Sie entsprechend für verzögerte/fortgeschrittene Lösungen.) Transformieren Sie dann zurück in den Positionsraum,

ϕ ( x ) = d 4 k ( 2 π ) 4 e ich k x ρ ( k ) k 2 m 2 + ich ϵ . ( )

Nehmen Sie als Beispiel eine Gaußsche Quelle, ρ ( r ) = ρ 0 exp ( a r 2 ) , mit 'Normalisierung' ρ 0 = ( a / π ) 3 / 2 . Seine Fourier-Transformation ist ρ ( k ) = 2 π ich δ ( k 0 ) exp ( k 2 / 4 a ) . Das k 0 -integriert ( ) ist daher trivial, und die d 3 k Integration kann mit dem üblichen Residuenschreibverfahren erfolgen k 2 + m 2 ( κ + ich m ) ( κ ich m ) . Das Ergebnis ist

ϕ ( r ) = e m 2 / 4 a e m r 4 π r .

In der Punktquellengrenze ( a ) erhalten wir wieder das Standard-Yukawa-Potential.

Bei zeitabhängigen Quellen erfolgt eine Energieübertragung (Nr δ ( k 0 ) ) und das Integral ( ) wird normalerweise schwieriger sein. Normalerweise kann man das k 0 -Integration über Reste und die verbleibende(n) mittels stationärer Phase wie zB in Kap. 2.1 von Peskin und Schröder.

Vielen Dank, dass Sie sich die Zeit genommen haben, dies zu schreiben. Ich habe diese Ansätze schon einmal gesehen, war aber in der Tat besorgt, dass diese mit zeit- und winkelabhängigen Termen nicht funktionieren würden. Ich hole Peskin und Schroeder aus der Bibliothek und probiere es aus; vielen Dank für den Kapitelhinweis. Obwohl die Lösungen im Fourier- und Ortsraum unter einer Transformation äquivalent sein müssen, impliziert dies dann doch, dass wir einige Darstellungen in geschlossener Form für die Bessel-Integrale haben? Interessant! Kann ein interessanter Forschungsweg für sich sein =)