Bahndrehimpuls als Summe harmonischer Oszillatoren

In Abschnitt 7.3 von Ballentines "Quantum Mechanics: A Modern Development" gibt es ein wirklich nettes Argument dafür, warum die Eigenwerte des Gesamtdrehimpulsoperators ganzzahlig sein müssen, vgl. zB diese Phys.SE-Antwort von NessunDorma. Durch die Definition der Operatoren

Q 1 = Q X + P j 2 , Q 2 = Q X P j 2 , P 1 = P X Q j 2 , P 2 = P X + Q j 2 ,
die Projektion des Bahndrehimpulses kann geschrieben werden als
L z = Q X P j Q j P X = 1 2 ( P 1 2 + Q 1 2 ) 1 2 ( P 2 2 + Q 2 2 ) ,
dh eine Differenz von harmonischen Oszillatoren. Der Grund, warum wir sagen können, dass dies tatsächlich unabhängige harmonische Oszillatoren sind, ist, dass die folgenden Kommutierungsbeziehungen erfüllt sind:
[ Q 1 , Q 2 ] = [ P 1 , P 2 ] = 0 , [ Q A , P B ] = ich δ A B .

Wenn wir diesen Operator in Form von Leiteroperatoren ausdrücken, können wir leicht erkennen, dass seine Eigenwerte die Form haben würden ( N 1 + 1 / 2 ) ( N 2 + 1 / 2 ) = N 1 N 2 , die immer eine ganze Zahl ist. Damit ist die Quantenzahl gemeint M eine ganze Zahl ist, was wiederum impliziert l ist eine ganze Zahl.

Wenn wir die Änderung vornehmen P 2 , Q 2 ich Q 2 , ich P 2 , dann haben wir

L z = 1 2 ( P 1 2 + Q 1 2 ) + 1 2 ( P 2 2 + Q 2 2 ) ,
und die Vertauschungsbeziehungen sind immer noch erfüllt (wenn wir stattdessen machen P 2 , Q 2 ich P 2 , ich Q 2 , dann steht im Ausdruck for ein unerwünschtes Minuszeichen [ Q A , P B ] ). Als Fußnote halte ich das für unphysikalisch ich P 2 Und ich Q 2 sind nicht hermitesch, aber wahrscheinlich ergibt folgendes noch mathematischen Sinn:

Wir wissen, dass die Eigenfunktionen von L z sind Kugelflächenfunktionen Y l M ( θ , ϕ ) . Andererseits sind die Eigenfunktionen des harmonischen Oszillators Hermite-Polynome (mit einigen Faktoren).

Meine Fragen sind: Wenn wir schreiben L z in Bezug auf die Betreiber { Q ich , P ich } , können wir sagen, dass die Eigenfunktionen Produkte von Hermite-Polynomen sind (2D harmonischer Oszillator)? Und wenn ja, würde dies eine Beziehung zwischen dem Produkt von Hermite-Polynomen und sphärischen Harmonischen durch eine Änderung von Variablen ergeben?

Ich hoffe, dass meine Argumentation keine trivialen Fehler enthält.

Hmm... Um Darstellungen zu konstruieren S Ö ( 3 ) definieren Sie die Hebe-/Senkoperatoren L ± = L 1 ± ich L 2 . Sie lösen dann nach einem höchsten Gewichtszustand, der erfüllt L 3 | l , l = l | l , l Und L + | l , l = 0 . Dann senken Sie diesen Zustand l mal verwenden L um den Rest der Vektoren in der Darstellung zu erhalten. Was passiert, wenn Sie das hier versuchen? Die besondere Eigenschaft von Kugelflächenfunktionen ist, dass sie befriedigen L 2 Y l M = l ( l + 1 ) Y l M . Ist das hier der Fall?
@ user1379857 Meinst du N 1 N 2 kann jede ganze Zahl sein, da N ich N ? Würde dies bedeuten, dass es keinen höchsten (oder niedrigsten) Gewichtszustand wie in diesem Fall gibt Y l M Wo M l (Und M l )?
Das Hermite-Polynom geht vom Grundzustand des Oszillators aus: A | 0 = 0 , die in eine r-Raum-Differentialgleichung übersetzt wird   X ψ 0 + ψ 0 X = 0 mit richtiger Skalierung. Die r-Raum-Darstellung der 1 2 ( P 1 2 + Q 1 2 ) unterscheidet sich vom harmonischen Oszillator, daher ist seine Eigenfunktion im r-Raum kein Hermite-Polynom.
Die algebraische Struktur von L + Und L ist ähnlich wie bei A Und A im harmonischen Oszillator. Dies ist ein intelligentes Gerät, um diese beiden Systeme in eine ähnliche Form von Hamiltonian zu bringen. Dies bedeutet jedoch nicht, dass sie im r-Raum dieselbe Eigenfunktion haben.

Antworten (1)

Ach, ja & nein, aber... das ist die schwerfälligste Zusammenfassung der klassischen Jordan-Map- Konstruktion von SU(2)-Matrix-Generatoren, die es gibt.

Die größte Schwierigkeit und Verwirrung liegt hier in der Änderung der Basen, die die unkontrollierte Abstraktion der Notation fördert. Die gedachten Räume der beiden Oszillatoren sind nicht die von den Rotationsgeneratoren indizierte Raumzeit, also unser Alltag θ , ϕ Raum Winkel! Sie schwingen in Nebenräumen ähnlich denen von QFT-Oszillatoren, ebenfalls losgelöst von unserer Raumzeit!

Ich werde dies alles anhand eines konkreten Beispiels veranschaulichen: Schauen wir uns die an = 2 , Spin-Zwei-Darstellung bestehend aus den Dreien 2 + 1 = 5 -dimensionale Matrizen, 5×5, befriedigend [ L J , L k ] = ich ϵ J k R L R , wo ich nichtdimensionalisiert habe für Vernunft.

Im Fock-Raum ist das Leben einfach: Spin zwei ist nur die symmetrische Spin-Addition von vier Spin-1/2, zwei A 1 und zwei A 2 Oszillatoren, also N 1 = 2 ,   N 2 = 2 . Der Baustein der 5×5-Matrizen ist das Bild der drei 2×2-Pauli-Matrizen in dieser Karte,

L A σ 2 A   ,
für Zweivektoren A , A , der Ausgangspunkt von Schwingers Behandlung der Theorie des Quantendrehimpulses von 1952, basierte auf der Wirkung dieser Operatoren auf Fock-Zustände, die aus beliebigen höheren Potenzen solcher Operatoren aufgebaut waren.

Hier werden die beiden Oszillatoren tensorquadriert

L 2 L L = N 1 + N 2 2 ( N 1 + N 2 2 + 1 ) ICH 5   ,
der Eigenwert ist hier 6, wie natürlich für Spin 2 erwartet.

Zum Beispiel auf einen (nicht normalisierten) Fock-Eigenzustand einwirken, sich erinnern L + = A 1 A 2 Und L = A 2 A 1 , beobachten

L 2   A 1 k A 2 N | 0 = k + N 2 ( k + N 2 + 1 )   A 1 k A 2 N | 0   ,
während
L z   A 1 k A 2 N | 0 = 1 2 ( k N )   A 1 k A 2 N | 0   ,
damit z l = ( k + N ) / 2 , M = ( k N ) / 2 , dieser ist proportional zum Eigenzustand | l , M ,
| l , M = A 1   ( l + M ) A 2   ( l M ) ( l + M ) !   ( l M ) ! | 0   .

In unserem Beispiel l = 2 , So

| 2 , M = A 1   2 + M A 2   2 M ( 2 + M ) !   ( 2 M ) ! | 0   .

Erinnern Sie sich nun an die Standardbasenverbindung zu nun zwei disjunkten eindimensionalen Räumen (!)

X J | A ich     N | 0 = δ ich J ψ N ( ich ) ( X ich ) ,
bei dem die ψ N ( X ) sind die Hermite-Funktionen auf die übliche Weise mit den Hermite-Polynomen verwandt, n gibt den Energieerregungsindex an und (i) bezeichnet die Oszillatoren 1,2, von denen sie stammen, aber jetzt sind es dieselben Funktionen. Nehmen Sie also z. B. m=2 ,
( X 1 | X 2 | ) | 2 , 2 = ψ 4 ( X 1 ) ψ 0 ( X 2 ) ,
usw.

Siehe auch hier

θ , ϕ | l , M = Y l M ( θ , ϕ ) ,
mit dieser ausdrücklichen Form , für den Rest

In Betracht ziehen Y 2 2 ( θ , ϕ ) = 1 4 15 2 π Sünde 2 θ   e 2 ich ϕ . Das ist sozusagen eine Funktion mit Argumenten auf der Himmelskugel und hat wenig mit den beiden Gedankenräumen zu tun, in denen die Hermite-Funktionen der beiden Schwinger-Oszillatoren leben.

  • Tatsächlich beschreiben die beiden sehr unterschiedlichen Realisierungen dieselben Zustände und dieselben 5 × 5-Matrizen (in unserer Abbildung) durch die Verwendung von Bewegungen auf zwei sehr unterschiedlichen Mannigfaltigkeiten; aber diese induzieren kaum eine natürliche Verbindung zwischen zugehörigen Legendre-Polynomen und Hermite-Polynomen (und damit Funktionen, oben).

NB. Dennoch gibt es eine wichtige Verbindung zwischen Laguerre- und Hermite-Polynomen, aber das ist noch eine andere Konstruktion ... Phasenraum, wo die Laguerres- oder Wigner-Funktionen Bilineare der Hermites der Wellenfunktionen sind. Übertrifft hier völlig Ihren Fokus.


Hinweis als Antwort auf den Kommentar von @ytlu

Die obige Überprüfung / Dekonstruktion sollte die Schwäche der Verbindung zwischen Hermite-Polynomen und sphärischen Harmonischen hervorheben. Die fünf Zustände, die ich oben abgebildet habe, ( j cos θ ),

Y 2 2 e ich 2 ϕ P 2 2 ( j ) ψ 4 ( X 1 ) ψ 0 ( X 2 ) , Y 2 1 e ich ϕ P 2 1 ( j ) ψ 3 ( X 1 ) ψ 1 ( X 2 ) , Y 2 0 P 2 0 ( j ) ψ 2 ( X 1 ) ψ 2 ( X 2 ) , . . . ,
liefern in der Tat äquivalente Realisierungen in zwei Variablen derselben Ableitungsmatrix.

Ich gebe die nichttrivialen Größen mit flachem Maß an, D X   ψ N ( X ) ψ k ( X ) = δ N k (keine Polynome!) und D j   P l M ( j )   P k M ( j ) δ l k , um Äpfel mit Äpfeln zu vergleichen: Sie liefern also ein offensichtliches Korrespondenzwörterbuch mit offensichtlichen Korrespondenzregeln. Aber ich glaube nicht, dass das die Änderung der Variablen am Himmel war, die das OP verlangte.

Dies ist für die Frage des OP ziemlich irrelevant.
Wie ich schon sagte, die Betreiber ich Q 2 Und ich P 2 sind nicht physikalisch (hermitesch). Dadurch wird jede physikalische Verbindung zwischen den Winkelvariablen verworfen θ , ϕ Und { Q 1 , P 1 , ich Q 2 , ich P 2 } . Was ich frage, ist, ob diese (komplexe) Variablenänderung mathematisch korrekt wäre (ich bin mir nicht sicher, wie ich alles im Koordinatenraum schreiben soll). Ich weiß, dass es in physikalischer Hinsicht keine Relevanz hat. Trotzdem finde ich Ihre Antwort sehr interessant und werde darüber nachdenken, wie sie sich auf das bezieht, wonach ich suche. Vielleicht bekomme ich nicht das vollständige Bild.
Ich habe die Antwort bearbeitet, um die Koordination des Schwinger-Modells konventioneller zu gestalten. Sie sprechen wirklich über das Zwei-Oszillator-Modell von Schwinger, außer in seltsamen überflüssigen koordinatenabhängigen Begriffen, etwas, das QFT mit seiner Unendlichkeit von Oszillatoren geflissentlich vermeidet! Ich stimme @ytlu nicht zu, dass dies für die Frage irrelevant ist. Ist meine Brücke zu Koordinaten, ein Tensorprodukt, nicht transparent? Du kennst dich mit der Standardbrücke zwischen Fockraum und Koordinaten aus, oder?
@CosmasZachos Ihre allgemeine Transformation kann die Transformation in diesem Beitrag abdecken. Aber die spezifische Frage betrifft die Verbindung zwischen dem Hermite-Polynom und der sphärischen harmonischen Funktion, die sich aus der ähnlichen algebraischen Beziehung zwischen den beiden Hamilton-Operatoren ergibt. Das ist eher unwahrscheinlich.
Ich habe nicht widersprochen, dass die Verbindung schwach ist, obwohl vgl. Bailey, WN (1939), Über Hermite-Polynome und zugehörige Legendre-Funktionen , Journal of the London Mathematical Society 1 (4), 281-286. Vielleicht füge ich einen Anhang zu den schwachen Links hinzu, die man sehen darf .