2D isotroper harmonischer Quantenoszillator: Polarkoordinaten

Dies mag etwas elementar erscheinen, was ich an einem direkten Weg gearbeitet habe, um die Eigenfunktionen und Eigenwerte des isotropen zweidimensionalen harmonischen Quantenoszillators zu finden, jedoch unter Verwendung von Polarkoordinaten:

H = 2 M ( 2 X 2 + 2 j 2 ) + M ω 2 2 ( X 2 + j 2 ) .

Ich kann den zweidimensionalen Fall leicht in kartesischen Koordinaten lösen, da wir den Hamiltonian für jede Koordinate in unabhängige Oszillatoren aufteilen können. Für den Polarfall in zwei Dimensionen können wir umschreiben,

H = 2 M ( 2 R 2 + 1 R R + 1 R 2 2 ϕ 2 ) + ω 2 2 R 2 .

Mit R 2 = X 2 + j 2 Und ϕ = arctan ( j / X ) .

Verwenden der Trennung von Variablen ψ ( R , ϕ ) = R ( R ) Φ ( ϕ ) und Einsetzen in die Schrödinger-Gleichung können wir leicht nach dem Winkelteil auflösen Φ = e ich M ϕ , Wo M Z .

Wenn wir wieder in die Schrödinger-Gleichung einsetzen, erhalten wir für den radialen Teil:

R 2 R + R R ' + ( R 2 E M 2 M ω 2 R 4 ) R = 0.

Obwohl ich eine Idee für die Lösung habe, indem ich eine Analogie zum 3D-Fall mache (wo wir Laguerre-Polynome erhalten), bin ich mir nicht sicher, wie ich von hier aus richtig vorgehen soll. Ich freue mich über jeden Input oder sogar nützliche Referenzen* (alle Referenzen, die ich gefunden habe, befassen sich mit dem 3D-Fall, für den ich keine Problemlösung habe).

*Ich habe online gelesen, dass dieses Problem im Buch "Wellenmechanik" von Pauli behandelt wird, aber leider ist es weder in meinen Campusbibliotheken noch online verfügbar (es ist nur zum Kauf erhältlich und mir fehlt das Geld, um es zu kaufen).

Danke für den Tippfehler, den letzten habe ich tatsächlich vergessen R . Andererseits habe ich mir diese Artikel zwar angesehen, aber sie haben spezifische Lösungen, und ich habe versucht, den allgemeinen in Bezug auf spezielle Funktionen zu konstruieren.

Antworten (2)

Tatsächlich sind die meisten dieser Gleichungen, wie durch die Phasenraum-Quantisierung vorgeschlagen , auf die verallgemeinerte Laguerre-Gleichung , die Cousins ​​von Hermite, reduzierbar. Wie allgemein üblich, nehme ich auf , M und ω in r,E . Beachten Sie, dass Ihr E die doppelte Energie ist .

Seit R 0 Sie verlieren keine negativen Werte und können neu definieren R 2 X , so dass

R R = 2 X X R R ( R R ) = R 2 R 2 + R R = 4 ( X 2 X 2 + X X ) ,
daher reduziert sich Ihre radiale Gleichung auf
( X 2 + 1 X X + E X 4 X M 2 4 X 2 ) R ( M , E ) = 0   .

Jetzt weiter definieren

R ( M , E ) X | M | / 2 e X / 2   ρ ( M , E ) ,
zu bekommen
X R ( M , E ) = X | M | / 2 e X / 2 ( 1 / 2 + | M | 2 X + X )   ρ ( M , E ) X 2 R ( M , E ) = X | M | / 2 e X / 2 ( 1 / 2 + | M | 2 X + X ) 2   ρ ( M , E ) ,
woraus die verallgemeinerte Laguerre-Gleichung für nicht-negative m=|m| ,
X X 2 ρ ( M , E ) + ( M + 1 X ) X ρ ( M , E ) + 1 2 ( E / 2 M 1 ) ρ ( M , E ) = 0   .
Diese Gleichung hat wohlerzogene Lösungen für nicht negative ganze Zahlen
k = ( E / 2 M 1 ) / 2 0   ,
nämlich verallgemeinerte Laguerre (Sonine) Polynome L k ( M ) ( X ) = X M ( X 1 ) k X k + M / k ! .

Das Einstecken in die faktorisierte Lösung und die obigen Substitutionen vernetzen Ihre Eigenwellenfunktionen. Der Grundzustand ist k = 0 = M , ( E = 2 in Ihren Konventionen), also eine radialsymmetrische Gaußsche, e R 2 / 2 .

Auch hier ist die Entartung in Ihrer idiosynkratischen Konvention E/2 .

Also Entartung 2 für E = 4 : M = 1 , k = 0 ; Sie können überprüfen, ob dies gerecht ist R e R 2 / 2 + ich ϕ . Sie können die wählen cos ϕ Und Sünde ϕ Lösungen, die, wenn Sie wollen, ein Dublett der zugrunde liegenden Entartungsgruppe SU(2) bilden.

Ich verstehe, also sollten wir tatsächlich Laguerre-Polynome bekommen. Ich werde die Berechnungen nach Ihren Angaben wiederholen, damit ich die Lösung für diesen und den allgemeinen Fall verstehe. Übrigens, was meinen Sie mit idiosinkratischer Konvention? Wenn Sie sich auf den Fall beziehen, dass m = 1 ist, denke ich, dass jemand mein OP schlecht bearbeitet hat, da ich eigentlich im allgemeinen Fall mit willkürlicher Arbeit gearbeitet habe M Und ω . Ich weiß nicht, warum sie die entfernt haben M Und ω (Sie haben es nicht einmal in natürlichen Einheiten belassen).
die Energie ist E /2 wie die Dinge stehen....
Sie haben argumentiert, dass k eine ganze Zahl ist, aber was ist mit m? Es scheint, dass man es nur dazu bringen würde, (nicht komplexe) ganzzahlige Werte anzunehmen, indem man annimmt, dass die Winkelfunktionen kontinuierlich sind.
Natürlich: Es steht in der Aussage des OP.
In der Tat. Es scheint, dass man das Stetigkeitsargument aus der Annahme gewinnen kann, dass H symmetrisch ist.
Entschuldigung, aber es gibt eine andere Frage: Ich bin Ihrer Mathematik gefolgt und habe dasselbe erhalten, außer mit Ihrem Ansatz using | M | Ich bekomme einen Faktor | M | + 1 X anstatt M + 1 X . Ersteres ist eigentlich in Ordnung, aber das Seltsame ist, dass ich dann nicht sehe, warum E nach unten begrenzt werden sollte (was es sein sollte).
Entschuldigung, ich erinnere mich nicht an die Einzelheiten der verallgemeinerten Laguerre-Gleichung. m=|m| sonst würde was hängen bleiben...
Ich habe es noch einmal überprüft, ich habe auch einen Fehler gemacht: Das haben wir tatsächlich k = ( E / 2 | M | 1 ) / 2 oben, also ist die Energie tatsächlich unten durch den korrekten Wert begrenzt. Alle M s in den Koeffizienten der obigen verallgemeinerten Laguerre-Gleichung sein sollte | M | stattdessen.
Fair genug ... Es ist Standard, sie nicht negativ zu nehmen, es sei denn, es wird ausdrücklich etwas anderes kommentiert ...
Sorry, aber nur positiv M funktioniert nicht. Man braucht das Negative M um den gesamten Hilbertraum der quadratintegrierbaren Funktionen für den Winkelanteil aufspannen zu können.
Bearbeitete Frage. Jetzt m=|m| fasst sowohl positives als auch negatives m auf der Ebene der Lösungen der g-Laguerre-Gleichung zusammen, da die Lösungen offensichtlich Funktionen von |m| sind .

Ich denke, Sie können einen Fehlerfaktor von 2 für die haben E und die Macht von M , hier ist meine Ableitung, die ich verwende θ anstatt ϕ .(wir können es noch einmal überprüfen) In Polarkoordinaten der Del-Operator 2 ist definiert als:

2 = 1 R R ( R F R ) + 1 R 2 2 F θ 2 = 2 F R 2 + 1 R F R + 1 R 2 2 F θ 2
Dann kann die Shrodinger-Gleichung für dieses System geschrieben werden als:
( 2 2 2 M + M ω 2 R 2 2 ) Ψ ( R , θ ) = E Ψ ( R , θ ) ( 2 2 M R 2 1 2 M R R 1 2 M R 2 2 θ 2 + M ω 2 R 2 2 ) Ψ ( R , θ ) = E Ψ ( R , θ ) ( 2 R 2 1 R R 1 R 2 2 θ 2 + M 2 ω 2 R 2 ) Ψ ( R , θ ) = 2 M E Ψ ( R , θ )
Unter der Annahme, dass die Lösung trennbar ist Ψ ( R , θ ) = R ( R ) ψ ( θ ) , können wir den eckigen Teil ziemlich einfach lösen:
ψ ( θ ) = e ich M θ M = 0 , 1 , 2
Der Radiusteil kann neu angeordnet werden, wenn die Winkellösung in die Scrodinger-Gleichung eingesetzt wird:
R 2 R + R R ' + ( 2 R 2 M E M 2 M 2 ω 2 R 4 ) R = 0
Die Gleichung kann durch Einstellung vereinfacht werden M = ω = 1
R 2 R + R R ' + ( 2 R 2 E M 2 R 4 ) R = 0