Wie leitet man den Drehimpulsoperator für den harmonischen 3D-Oszillator ab?

In Angular Momentum for 3D Harmonic Oscillator in zwei verschiedenen Basen kommt Robin Ekman mit dem Ausdruck um L ich . Ich kann nicht sehen, wie

ϵ ich J k ( A J A k A J A k ) = 0
bei der Entwicklung der L ich für isotropen harmonischen 3D-Oszillator
L ich = ich 2 ϵ ich J k ( A J + A J ) ( A k A k ) = ich 2 ϵ ich J k ( A J A k A J A k + A J A k A J A k ) = ich ϵ ich J k A J A k .

Ich sehe das

( A J A k ) = A k A J = A J A k ,
was bedeutet A J A k ist nicht hermitesch für ich J wie funktioniert
ϵ ich J k ( A J A k A J A k )
gehe zu 0 ?

Antworten (2)

Zuerst müssen Sie verstehen A ich ist ein bosonischer Operator, der die bosonische Kommutierungsrelation erfüllt [ A ich , A J ] = 0 , bedeutet, dass A ich A J = A J A ich . Das zeigen wir jetzt ϵ ich J k A J A k = 0 . Denn wenn Sie beheben ich = 1 , Dann

ϵ 1 J k A J A k = ϵ 123 A 2 A 3 + ϵ 132 A 3 A 2 = A 2 A 3 A 3 A 2 = 0.
Für andere Wahl von ich , der Beweis ist ähnlich. Dann ϵ ich J k A J A k = 0 impliziert ϵ ich J k A J A k = 0 durch hermitische Konjugation beider Seiten der Gleichung. Denn beides ϵ ich J k A J A k Und ϵ ich J k A J A k Null sind, also ist ihre Differenz auch Null.

Das ist es nicht so sehr ϵ ich J k ( A J A k A J A k ) Null ist, aber dass jeder dieser Terme für sich verschwindet:

beide ϵ ich J k A J A k = 0 Und ϵ ich J k A J A k = 0 ,
weil diese Betreiber pendeln, also A J A k = A k A J und dito für die Dolche und für jedes Paar mit J k Sie haben einen entsprechenden Term mit dem entgegengesetzten Vorzeichen im Levi-Civita-Tensor. So sagen wir z ich = 1 , lautet der Begriff der doppelten Vernichtung
ϵ 1 J k A J A k = A 2 A 3 A 3 A 2 = 0 ,
und ähnlich für die anderen Komponenten und den Doppelbildungsterm.

Dasselbe passiert mit den anderen beiden Begriffen, weil Sie so weit mit links sind

L ich = 2 ich ε ich J k ( A J A k A J A k ) ,
aber die beiden Begriffe sind im Wesentlichen identisch. Um dies zu sehen, nimm den zweiten Term und drehe den um J Und k Etiketten:
2 ich ε ich J k A J A k = 2 ich ε ich k J A k A J = 2 ich ε ich k J ( A J A k + ich δ J k ) = 2 ich ε ich J k A J A k + 2 ε ich k J δ J k = 2 ich ε ich J k A J A k ,
Wo ε ich k J δ J k = 1 1 = 0 verschwindet. Wenn Sie dies wieder in den vollen Ausdruck bringen, erhalten Sie
L ich = 2 ich ε ich J k ( A J A k + A J A k ) = ich ε ich J k A J A k
wie früher behauptet.

Für den isotopischen harmonischen Oszillator in N gibt es also nicht unbedingt eine verallgemeinerte Drehimpulsinvariante wie z X P es gilt nur für N=3
Für einen isotropen harmonischen Oszillator in N Maße, H = 1 2 J = 1 N ( P J 2 + X J 2 ) pendelt mit allen Drehungen, also pendelt es mit dem verallgemeinerten Drehimpuls dieses Raums genauso viel wie jeder andere H = 1 2 P 2 + v ( R ) hamiltonischer Wille, obwohl in N > 3 die Form des Drehimpulses ändert sich offensichtlich; Weitere Informationen dazu finden Sie in dieser Frage .
Um die Antwort von @EmilioPisanty zu ergänzen: Im Allgemeinen kann eine Basis für die spurlosen hermitischen Matrizen aus den symmetrischen und antisymmetrischen reellen Matrizen erhalten werden. Die antisymmetrischen Matrizen schließen sich an S Ö ( N ) während die symmetrischen Matrizen (verallgemeinerte) Quadrupolmomente definieren, aber nicht unter Kommutierung schließen (sie kommutieren tatsächlich zu einem verallgemeinerten Drehimpuls).