Grundfrage - Greensche Funktionen in der Quantenmechanik

Ich versuche, im Rahmen meines Studiums etwas über die Funktionen von Green zu erfahren, und habe eine ziemlich grundlegende Frage dazu:

In meinen Mathematiklehrbüchern und an vielen Stellen im Internet wird die grundlegende Greens-Funktion G für einen linearen Differentialoperator L als angegeben

L G = δ ( X X ' )

das ist alles schön und gut. Ich lese gerade Economous Text über GF in der Quantenphysik, in dem er Greens Funktionen als Lösungen inhomogener DE des Typs definiert:

[ z L ( R ) ] G ( R , R ' ; z ) = δ ( R R ' )

Wo z = λ + ich S und L ein zeitunabhängiger, linearer, hermitischer Differentialoperator ist, der Eigenfunktionen hat ϕ N ( R )

L ( R ) ϕ N ( R ) = λ N ϕ N ( R )

Wobei diese λ N sind die Eigenwerte von L. Woher kommt dieses z in der zweiten Gleichung und was ist die Verbindung zwischen diesem und dem ersten?

Bearbeiten: Siehe meinen Beitrag unten für ein paar neue Fragen.

Neben dem Econoumou-Text empfehle ich die Bücher von Supriyo Datta, insbesondere das ältere "Electronic Transport in Mesoscopic Systems".

Antworten (2)

z ist die Frequenz aus der Fourier-Transformation der Zeitachse, sie erscheint, wenn Sie die zeitabhängige Schrödinger-Gleichung lösen:

( ich T L ( X ) ) G ( X , T ; X ' T ' ) = δ ( X X ' ) δ ( T T ' )

Für zeitunabhängig L , G ist eine Differenzfunktion T T ' nur, also schreibst du:

G ( X ; X ' ; z ) = + e ich z ( T T ' ) G ( X , T ; X ' T ' ) D T
.

Für die verzögerte Grün-Funktion gilt: G R ( X , T ; X , T ' ) = 0 Wenn T < T ' und das Integral konvergiert, wenn ICH M z > 0 . Für die erweiterte Grün-Funktion G A ( X , T ; X , T ' ) = 0 Wenn T > T ' und das Integral konvergiert für ICH M z = S < 0 . Also der Auflöser G ( X ; X ' ; z ) codiert bequem beide :

G R / A ( X , T ; X ' , T ' ) = lim S ± 0 1 2 π e ich z ( T T ' ) G ( X ; X ' ; z ) D z
mit + Zeichen für die Behinderten, und Zeichen für die erweiterte grüne Funktion. Für endliche Systeme G ( z ) ist auf der ganzen Ebene analytisch mit Ausnahme des diskreten Satzes von Singularitäten auf der reellen Achse. Für ein unendliches System gibt es einen Schnitt auf der reellen Achse, der dem kontinuierlichen Teil des Spektrums entspricht.

Das Einsetzen der inversen Transformation in die Gleichung ergibt:

( z L ( X ) ) G ( X ; X ' ; z ) = δ ( X X ' )

wie im Economou-Text.

Okay, das scheint den Vorlesungsfolien und dem Buch etwas näher zu sein. Schließen wir in Ihrer ersten Gleichung den Teil der Zeitableitung nicht als Teil des L-Operators ein, weil wir die räumlichen und zeitlichen Teile getrennt halten möchten? Im Grunde muss ich verstehen, dass der einzige Grund, warum z in der Nähe ist, darin besteht, die Zeitabhängigkeit zu berücksichtigen? Zum Beispiel müssen wir in der Poisson-Gleichung nur lösen L G = δ ( X X ' ) , es gibt kein z, weil in der Differentialgleichung keine Zeit involviert ist?? Und dies wiederum führt zu keinen Eigenwerten?
Sie müssen die räumlichen und zeitlichen Teile getrennt halten, da die Funktion Ihres Grüns davon abhängt R Und T . Da Sie ein konservatives System haben, hängt es nur von der Zeitdifferenz tt' ab und es ist einfach, die Gleichung im Frequenzbereich zu lösen z . Die Poisson-Gleichung gilt für die Elektrostatik, also gibt es offensichtlich keine Zeitabhängigkeit.
@Josh "der einzige Grund, warum z da ist, ist die Zeitabhängigkeit zu berücksichtigen" - ja. Im Poisson-Fall verwenden Sie GF, um das Potenzial einer willkürlichen Ladungsverteilung zu erhalten, im Schrödinger-Fall werden Sie voll X Und T Abhängigkeit der Wellenfunktion für beliebige Anfangsbedingungen.
Das Konzept ist für beide Fälle dasselbe, aber T fügt eine zusätzliche Dimension mit einer speziellen Symmetrie hinzu (Zeittranslationsinvarianz).
Vielen Dank, ich glaube, ich bekomme das endlich hin. Für ein freies Teilchen erhalten wir also das Resolvent 1 / ( z L ) Dies ist auch unsere Greens-Funktion, wenn Sie die Dirac-Notation verwenden N | ϕ N >< ϕ N | = 1 Wir setzen dieses Bit in den Zähler und erhalten G = N | ϕ N >< ϕ N | z λ . Für ein freies Teilchen sind die Eigenwerte k 2 / 2 M (Ich denke, wir arbeiten in Einheiten, in denen = 1 was wir wiederum sagen können z = E ) was bedeutet, dass wir als Ergebnis haben G = 1 E k 2 2 M
@Josh Herzlichen Glückwunsch! :) Vergessen Sie nicht, die Antwort zu "akzeptieren", die Sie am nützlichsten finden.

z C ist ein komplexer Parameter oder, wenn Sie möchten, ein spektraler Parameter. Wenn z C S P e C ( L ) liegt nicht im Spektrum des Betreibers L , dann der Betreiber L z ICH ist invertierbar, und wir können die Auflösung bilden ,

( L z ICH ) 1 .
So führt Economou ein 1 -Parameterfamilie ( G ( z ) ) z C der Grünen Funktionen. Wenn z = 0 , reduziert sich die zweite Gleichung in der Frage (v1) auf die erste Gleichung (wenn wir die unterschiedliche Vorzeichenkonvention und unterschiedliche Notation ignorieren).

Danke für die schnelle Antwort. Wenn ich das also richtig verstehe, ist das Spektrum von L einfach seine Menge von Eigenwerten ( λ N in diesem Fall). Wenn z = / = λ N dann ist es möglich zu invertieren L z was wird als Resolvent definiert? Diese Resolvente ist überall dort analytisch, wo z nicht im Spektrum von L liegt? Wann/warum würden wir jemals z=0 setzen und was genau bedeutet das, nur ein Eigenwert?
@Josh "Diese Auflösung ist überall dort analytisch, wo z nicht im Spektrum von L liegt?" - Ja, so ist es. "Wann würden wir jemals z=0 setzen" - niemals, wenn wir die Shrodinger-Gleichung lösen und nicht zB Poisson.