Dirac-Klammer für die Madelung-Form (Polarform) des Schrödinger-Felds

Ich habe ein Problem damit, die Dirac-Klammer in der Madelung-Darstellung (Polar) des Schrödinger-Felds zu erhalten:

Ψ = ρ e ich θ / .

Hintergrund:

Es wurde gezeigt (beispielsweise von Nonnenmacher https://link.springer.com/article/10.1007%2FBF02817982 und Guerra https://journals.aps.org/prd/abstract/10.1103/PhysRevD.28.1916 ), dass in dieser Darstellung , θ Und ρ spielen die Rolle konjugierter Variablen im Phasenraum Γ = ( ρ , θ ) mit einer Poisson-Klammer gegeben durch

{ F , G } = D R ( δ F δ ρ δ G δ θ δ F δ θ δ G δ ρ ) = { F , G } ρ , θ .
Grundsätzlich möchte ich dieses Ergebnis ableiten, indem ich den Dirac-Bergmann-Algorithmus für beschränkte Hamilton-Systeme anwende. Es gibt jedoch einen zusätzlichen Faktor von 2 was in der resultierenden Dirac-Klammer auftaucht, so dass
{ F , G } D = 2 { F , G } ρ , θ
Wie nachfolgend dargestellt. Beachten Sie zunächst, dass eine hermitische Lagrange-Dichte für das freie Schrödinger-Feld geschrieben werden kann als (siehe zum Beispiel Henley & Thirrings 'Elementary QFT' oder Peter Hollands 'The Quantum Theory of Motion')
L = ich 2 ( Ψ Ψ ˙ Ψ ˙ Ψ ) 2 2 M Ψ Ψ .
Variation der Aktion ICH = D T D 3 X L gegenüber Ψ ergibt die Schrödinger-Gleichung und Variation bzgl Ψ ergibt sein komplexes Konjugat. Ersetzen der polaren Form für Ψ in diesen Ausdruck für L , erhalten wir die folgende Form für L :
L = ρ ( θ ˙ + ( θ ) 2 2 M ) 2 8 M ρ ( ρ ) 2 .
Variation in Bezug auf das Feld θ ergibt eine Kontinuitätsgleichung:
ρ ˙ + J = 0
Wo J = ρ θ / M , während Variation in Bezug auf ρ ergibt die Quanten-Hamilton-Jacobi-Gleichung:
θ ˙ + ( θ ) 2 2 M 2 2 M ρ 2 ρ = 0.
Diese sind bekanntlich 2 Wellengleichungen werden auf die Schrödinger-Gleichung abgebildet. Nun, die kanonischen Impulse sind dann π ρ = 0 Und π θ = ρ , was zu den Nebenbedingungsgleichungen führt C 1 = π ρ 0 Und C 2 = π θ + ρ 0 im vollen Phasenraum ( ρ , θ , π ρ , π θ ) , wobei nach Dirac das Symbol ' ' bezeichnet eine schwache Gleichheit auf einer Hyperfläche, die durch die Beschränkungen definiert ist. Die kanonische Hamiltonsche Dichte ist gegeben durch
H C = π θ θ ˙ + π ρ ρ ˙ L ρ ( ( θ ) 2 2 M ) + 2 8 M ρ ( ρ ) 2 .
Die Poisson-Klammer der Nebenbedingungen zeigt, dass sie zweitklassig sind: { C 1 ( R ) , C 2 ( R ' ) } = δ ( R R ' ) .

Die Matrix der Einschränkung Poisson-Klammern mit Elementen Q ich J ( R , R ' ) = { C ich ( R ) , C J ( R ' ) } , ist dann

Q ( R , R ' ) = ( 0 1 1 0 ) δ ( R R ' ) ,
dessen Umkehrung ist
Q 1 ( R , R ' ) = ( 0 1 1 0 ) δ ( R R ' ) .

Die Dirac-Klammer kann aufgebaut sein, wie z

{ F ( X ) , G ( j ) } D = { F ( X ) , G ( j ) } ich , J = 1 , 2 D R D R ' { F ( X ) , C ich ( R ) } Q ich J 1 ( R , R ' ) { C J ( R ' ) , G ( j ) } = { F ( X ) , G ( j ) } R 12 R 21 .
Jetzt für R 12 findet man
R 12 = D R ( δ F δ ρ δ G δ π ρ δ F δ ρ δ G δ θ ) ,
und für R 21 :
R 21 = D R ( δ F δ θ δ G δ ρ δ F δ π ρ δ G δ ρ ) .
Daher haben wir
{ F ( X ) , G ( j ) } D = D R ( δ F δ ρ δ G δ π ρ δ F δ π ρ δ G δ ρ + δ F δ θ δ G δ π θ δ F δ π θ δ G δ θ δ F δ ρ δ G δ π ρ + δ F δ ρ δ G δ θ δ F δ θ δ G δ ρ + δ F δ π ρ δ G δ ρ ) = D R ( δ F δ θ δ G δ π θ δ F δ π θ δ G δ θ + δ F δ ρ δ G δ θ δ F δ θ δ G δ ρ ) .
Nun, wenn wir die Beschränkungsgleichung verwenden π θ = ρ , erhalten wir, dass sich die Dirac-Klammer auf reduziert
{ F , G } D = 2 { F , G } ρ , θ .
Der Phasenraum wird also auf die Variablen reduziert ρ Und θ aber der Faktor 2 sollte wirklich nicht da sein, da dies zu inkonsistenten Wellengleichungen für die führt ρ Und θ Variablen unter zB θ ˙ = { ρ , H C } D . Ich habe versucht, der Lagrange-Dichte zunächst eine Gesamtzeitableitung hinzuzufügen. Zum Beispiel
L L ' = L + D D T ( ρ θ / 2 ) .
Aber das gibt am Ende einen Faktor von 4 anstatt 2 .. Ich habe festgestellt, dass wenn die kanonischen Impulse zu den Einschränkungen führen C 1 = π ρ 2 θ 0 Und C 2 = π θ + 2 ρ 0 , dann reduziert sich die Dirac-Klammer auf die Poisson-Klammer { F , G } ρ , θ ohne Vorfaktor .. Aber es scheint nicht möglich zu sein, eine Gesamtzeitableitung hinzuzufügen L der dies erreicht. Irgendwelche Gedanken überhaupt?

Danke!

Antworten (2)

Ihre Gleichung enthält nur Zeitableitungen erster Ordnung und hat daher bereits die Form eines Hamiltonschen Aktionsintegrals:

S = ( P ich Q ˙ ich H ( P , Q ) ) D T
mit
P ich ρ ( X ) , Q ich θ ( X ) , ich X
Dirac-Klammern sind daher unnötig. Also, von der Continuum-Version von { P ich , Q J } = δ ich J das lesen wir ab { ρ ( X ) , θ ( X ' ) } = δ ( X X ' ) .

Danke für Ihre Antwort. Es schien mir, dass dies der Fall sein könnte. Von dem 4 Phasenraumvariablen ρ , θ , π ρ , π θ , einer von ihnen ist null: π ρ = 0 während das andere Momentum einfach eine weitere Feldvariable ist: π θ = ρ . Das war mir klar ρ Und θ sind aus dem Grund, den Sie gerade angegeben haben, konjugierte Variablen - die Berechnung der Poisson-Klammer ρ ( X ) , θ ( X ' ) = δ ( X X ' ) über die vollen Phasenraumvariablen, wenn die Beschränkung ergänzt wird π θ = ρ .
Aber ich wollte noch überprüfen, ob die Dirac-Klammer auf die Poisson-Klammer auf den reduzierten Phasenraum reduziert wird, dennoch dieser Faktor von 2 erscheint, was nicht sollte! Es scheint, dass es irgendwie mit Doppelzählungen zu tun hat π θ = ρ , bin mir aber nicht sicher wie ich es wegbekomme.
Ich habe Ihre Antwort positiv bewertet, aber da ich noch keine 15 Punkte habe, wird sie nicht angezeigt.

User Mike Stone hat recht. Es ist nicht erforderlich, die vollständige Dirac-Bergmann-Analyse der Einschränkungen durchzugehen, die in diesem Phys.SE-Beitrag durchgeführt wird. Die Faddeev-Jackiw-Methode genügt: L ist bereits auf Hamiltonscher Form erster Ordnung, und ρ Und θ sind kanonische Variablen mit kanonischen Poisson-Klammern { ρ ( X ) , θ ( j ) } = δ 3 ( X j ) .

Danke, dass du mich an Jackiws Artikel erinnerst. Es enthält den schönsten Darboux-Beweis, den ich kenne. Ich habe argumentiert, dass Dirac-Klammern nicht immer notwendig sind, vielleicht sogar länger als Roman J. Siehe zum Beispiel mein altes Phys. Rev. Lett. 63, 731 (1989) !