Integral mit zwei Energie-Green-Funktionen

Das Problem

Ich versuche, dieses Integral auszuwerten:

ICH ( k ) = lim ϵ 0 D 3 Q 1 E E Q + ich ϵ 1 E E k + Q + ich ϵ

mit E Q = Q 2 / 2 Und E k + Q = | k + Q | 2 / 2 .

Wenn möglich, wäre es schön, mehrere Lösungsansätze zu sehen.

Mein Versuch

Ich habe mich entschieden, in einem sphärischen Koordinatensystem zu arbeiten k entlang ausgerichtet z -Achse. Vermietung ϕ den Polarwinkel dazwischen darstellen k Und Q , Ich hab geschrieben E k + Q als

E k + Q = 1 2 ( k 2 + Q 2 2 k Q cos ( π ϕ ) ) = k 2 2 + Q 2 2 + k Q cos ϕ .

Es ist dann ziemlich einfach, beide Winkelintegrale auszuwerten, wobei nur das radiale Integral übrig bleibt:

ICH ( k ) = lim ϵ 0 2 π k 0 D Q Q E Q 2 / 2 + ich ϵ ln | E ( k Q ) 2 / 2 + ich ϵ E ( k + Q ) 2 / 2 + ich ϵ | .

Aber hier bleibe ich hängen.

Obwohl ich zustimme, dass dies hier nicht völlig fehl am Platz ist, da es sich um Integrale handelt, die in der Feldtheorie vorkommen, denke ich, dass es eher in Math.SE gehört. Ich habe dort persönlich ähnliche Fragen gestellt und etwas Glück gehabt!
Danke für den Kommentar! Soll ich diese Frage löschen und dort erneut stellen? Oder frag es dort und verlinke sie irgendwie? (Sorry, neu dabei.)
Ehrlich gesagt bin ich auch ziemlich neu darin. Ich habe gesehen, wie Fragen verschoben wurden, obwohl ich nicht weiß, wie das passiert, wahrscheinlich Moderatoren, die das tun. Jedenfalls kann es nicht schaden, sie dort zu stellen, da ich vermute, dass diese Frage wahrscheinlich sowieso hier markiert wird :) Aber Sie müssen sie nicht löschen, es sei denn, Sie möchten. Außerdem vermute ich, dass du gemeint hast k ± Q in der letzten Gleichung.
Danke, und Sie haben Recht mit dem Tippfehler, guter Fang! Behoben.

Antworten (2)

Wie von Philip Cherian vorgeschlagen, möchten Sie vielleicht im Abschnitt Mathematik nachsehen. Ich möchte jedoch auf eine Sache hinweisen, wie man mit dem Limit umgeht.

Ich gehe davon aus | k | 0 . Das erste, was Sie tun möchten, ist, jeden Propagator in seinen Real- und Imaginärteil zu trennen. Allgemein,

lim δ 0 + 1 E E ( Q ) + ich δ = lim δ 0 + [ 1 E E ( Q ) ich δ [ E E ( Q ) ] 2 + δ 2 ] ,
wobei ich oben und unten mit dem komplex Konjugierten des Nenners multipliziert und die vernachlässigt habe δ 2 im Nenner des Realteils, da er einfach verschwindet, wenn Sie die Grenze nehmen. Dann verwenden Sie die Identität
lim δ 0 + δ [ E E ( Q ) ] 2 + δ 2 = π δ ( E E ( Q ) ) ,
das heißt, das Dirac-Delta. Was Sie bekommen, ist
D 3 Q [ 1 E E ( Q ) ich π δ ( E E ( Q ) ) ] [ 1 E E ( | Q + k | ) ich π δ ( E E ( Q + k ) ) ] = D 3 Q 1 E E ( Q ) 1 E E ( | Q + k | ) + ich π D 3 Q [ δ ( E E ( Q ) ) E E ( | Q + k | ) + δ ( E E ( | Q + k | ) ) E E ( Q ) ] .

Beachten Sie das, da ich annehme k 0 , muss das Produkt zweier Dirac-Deltas verschwinden, weil ihre Argumente niemals gleichzeitig Null sind. Sie können das Integral leicht mit den Dirac-Deltas auswerten. Erinnern Sie sich daran, da die Dispersion quadratisch ist Q , müssen Sie bestimmte Regeln beachten, wenn Sie Variablen ändern. Das ergibt den Imaginärteil des Integrals. Ich habe keinen wirklichen Rat, wie man den Realteil auswertet

R e { ICH ( k ) } = D 3 Q 1 E E ( Q ) 1 E E ( | Q + k | ) ,
außer um zu überprüfen, ob Sie es wirklich brauchen. Je nachdem, welches Problem Sie lösen, brauchen Sie manchmal nur den Imaginärteil. Andererseits empfehle ich Ihnen auch, zu überprüfen, ob beide Nenner vorhanden sind ICH ( k ) haben + ich ϵ , statt eines mit + ich ϵ und der andere ich ϵ . Ich sage das, weil dieser Ausdruck wie die skelettartige Annäherung an eine Polarisationsblase aussieht, die das Produkt eines retardierten und eines fortgeschrittenen Propagators ist, wobei in diesem Fall ihre imaginären Teile entgegengesetzte Vorzeichen haben.

Dies ist eine Modifikation klassischer Manipulationen, die bei der Berechnung von Schleifenintegralen durchgeführt werden. Das zu verwendende Werkzeug wird normalerweise als "Feynman-Parameter" bezeichnet. Einfügen in die Definitionen von E ich und definieren M 2 2 E um eine Verbindung zu den üblichen Berechnungen herzustellen, die ich finde (ich lasse die ϵ da sie hier irrelevant sind):

1 2 ICH = D 3 Q 1 ( Q 2 M 2 ) ( ( Q + k ) 2 M 2 ) = 0 1 D X D 3 Q 1 [ ( ( Q + k ) 2 M 2 ) X + ( Q 2 M 2 ) ( 1 X ) ] 2
Erweitern und Umschreiben des Ausdrucks ein wenig ergibt,
1 2 ICH = 0 1 D X D 3 Q 1 [ ( Q + k X ) 2 k 2 X 2 + k 2 X M 2 ] 2
Jetzt verschiebe ich die Integralvariable, die ich finde:
1 2 ICH = 0 1 D X D 3 Q 1 [ Q 2 + Δ ] 2
Wo Δ k 2 X 2 + k 2 X M 2 . Der Winkelteil des Integrals ist jetzt trivial und das Radialintegral ist einfach. Ich finde,
1 2 ICH = π 2 0 1 D X Δ 1 / 2
Der X integral bleibt normalerweise unberührt, aber ich vermute, dass Sie in diesem Fall auch versuchen könnten, dies auszuführen.

Super, danke, genau so etwas hatte ich mir erhofft. Ich werde die Antwort akzeptieren, sobald ich Zeit hatte, mich hinzusetzen und sie selbst durchzuarbeiten. Es sieht so aus, als ob es möglich sein wird, die durchzuführen X integral analytisch. Aber im Allgemeinen, was meinst du mit "der X Integral wird normalerweise unangetastet gelassen"?
Bei komplizierteren Schleifenintegralen ist es oft zu schwierig, die Integrale über die Feynman-Parameter auszuführen, sodass sie als Integrale belassen und auf Wunsch numerisch ausgeführt werden.