Wie zeigt man die endliche Drehung eines Spin-1/2-Systems?

Ich überprüfe meine Quantenmechanik, indem ich Sakurai und Napolitano noch einmal durchgehe und alle Herleitungen ausarbeite. Ich bin ratlos (obwohl ich es wahrscheinlich nicht sein sollte) bei etwas Algebra in der endlichen Rotation von Spin-1/2-Systemen. Die Ableitung (Sakurai und Napolitano, S. 164) beginnt mit der Anwendung des endlichen Rotationsoperators um die z-Achse auf die S X Operator in der Basis von S z Eigenkets:

( 2 ) exp ( ich S z ϕ ) ( | + | + | + | ) exp ( ich S z ϕ )

So weit so gut - die spektrale Zerlegung von S X ist aus den Pauli-Matrizen offensichtlich, und der endliche Rotationsoperator ist leicht zu erhalten, indem man die Grenze der Anwendung des infinitesimalen Rotationsoperators unendlich oft nimmt. Ersetzen S z = 2 und verteilen, erhalte ich

( 2 ) ( e ich ϕ / 2 | + | e ich ϕ / 2 + e ich ϕ / 2 | + | e ich ϕ / 2 )

Aber Sakurai und Napolitano (richtig) erhalten

( 2 ) ( e ich ϕ / 2 | + | e ich ϕ / 2 + e ich ϕ / 2 | + | e ich ϕ / 2 )

Aus dieser Form ist es einfach, die Euler-Formel anzuwenden und zu zeigen, dass die Wirkung der endlichen Drehung auf S X ist nur

S X cos ϕ S j Sünde ϕ

was den Spin wie erwartet in der xy-Ebene dreht. Was ich nicht herausfinden kann (und ich bin sicher, es ist etwas Einfaches, das ich nur übersehe), ist, wie die Exponentiale auf die beiden Terme in der spektralen Zerlegung verteilt sind. Ist das ein Algebra-Trick, den ich vermisse, oder stimmt etwas tieferes in meinem Denken nicht?

Antworten (1)

Es ist eine einfache Matrixmultiplikation und die Operatoren treten von beiden Seiten ein.

e X P ( ich S z ϕ / ) würde dabei von links auf die Kets wirken e X P ( ich S z ϕ / ) würde von rechts auf die BHs wirken. Sie können es deutlicher sehen, wenn Sie es explizit tun.

Verwenden Sie die Basis | + Und | um die Operatoren als Matrizen darzustellen

| + = [ 1 0 ] | = [ 0 1 ]

+ | = [ 1 0 ] | = [ 0 1 ]

e X P ( ich S z ϕ / ) hätte die Form [ e ich ϕ / 2 0 0 e ich ϕ / 2 ]

während e X P ( ich S z ϕ / ) hätte die Form [ e ich ϕ / 2 0 0 e ich ϕ / 2 ]

e X P ( ich S z ϕ / ) | = [ e ich ϕ / 2 0 0 e ich ϕ / 2 ] [ 0 1 ] = e ich ϕ / 2 |

nicht e ich ϕ / 2 | Und

| e X P ( ich S z ϕ / ) = [ 0 1 ] [ e ich ϕ / 2 0 0 e ich ϕ / 2 ] = | e ich ϕ / 2

nicht | e ich ϕ / 2

Sie haben denselben Eigenwert für den Operator verwendet, der auf beide wirkt | + Und | .

Ja! Das ist mein Problem, ich war festgefahren, als ich an die Exponentiale als Skalare dachte, anstatt sie als 2x2-Matrizen einzugeben ... was Sinn macht, da es sich um Operatoren handelt. Danke schön!
Froh, dass ich helfen konnte. :-)