imported>회기-로: /* Literatur */

2020-08-21T20:01:30Z

Literatur

Neue Seite

{{Begriffsklärungshinweis| Das Wigner-Eckart-Theorem darf nicht mit dem [[Wigner-Theorem]] verwechselt werden.}}
Das '''Wigner-Eckart-Theorem''' (nach [[Eugene Paul Wigner]] und [[Carl Henry Eckart]]) ist ein Hilfsmittel für die Berechnung der [[Matrixelement (Physik)|Matrixelemente]] eines [[Tensor]]<nowiki/>operators, wenn dessen [[Symmetrie (Geometrie)|Symmetrie]]eigenschaften bekannt sind.

Für die definierenden Transformationseigenschaften eines Tensoroperators gilt:

:<math>U^\dagger T_q^{(k)} U = \sum_{q' = -k}^k D_{qq'}^{(k)*} T_{q'}^{(k)}</math>

wobei
* <math>U</math> die [[Unitäre Matrix|unitäre]] Gruppentransformationsmatrix und
* <math>D_{qq'}^{(k)}</math> eine [[irreduzible Darstellung]] dieser Gruppe in der Basis <math>|\alpha, jm\rangle</math> ist.

'''Theorem:''' Das Matrixelement eines sphärischen Tensoroperators, ausgedrückt in den [[Eigenzustand|Eigenzuständen]] des [[Drehimpulsoperator]]s, erfüllt folgende Gleichung:

:<math> \langle\alpha', j'm'|T_q^{(k)}|\alpha, jm\rangle = \langle jm; kq|j'm'\rangle\langle\alpha'j'\|T^{(k)}\|\alpha j\rangle</math>

Hierbei ist
* <math> T^{(k)} </math> ein Tensor des [[Rang]]s ''k''
* ''j'' der [[Gesamtdrehimpuls]]
* ''m'' die zugehörige [[magnetische Quantenzahl]]
* <math>\alpha</math> alle weiteren zur Beschreibung des Systems nötigen [[Quantenzahl]]en des Zustandes.

Für Rotationssymmetrie sind <math>\langle jm; kq|j'm'\rangle</math> die [[Clebsch-Gordan-Koeffizient]]en zur Addition von zwei Drehimpulsen <math>j</math> und <math>k</math> und den jeweiligen z-Komponenten <math>m</math> bzw. <math>q</math> zum Drehimpuls <math>j'</math> mit z-Komponente <math>m'</math>.

Der von ''m'' und ''m‘'' sowie ''q'' unabhängige Faktor wird als ''reduziertes Matrixelement'' bezeichnet, gekennzeichnet durch die 2 Striche beiderseits von <math> T^{(k)}</math>. Darin besteht auch der Vorzug, denn dieses von ''m'' und ''m‘'' unabhängige Matrixelement wird nur ein Mal berechnet, ist dann für alle anderen Matrixelemente gleich und ermöglicht somit eine einfache Berechnung beliebiger Matrixelemente.

== Beweis des Theorems (Drehgruppe) ==
Das Wigner-Eckart-Theorem hängt mit dem [[Lemma von Schur]] zusammen. Wenn man dies ausnutzt, sind längere Rechnungen für den Beweis nicht erforderlich.

Um die Clebsch-Gordan-Koeffizienten ins Spiel zu bringen, betrachtet man den folgenden, nur für diesen Zweck konstruierten Operator<ref> [[Albert Messiah]]: ''Quantenmechanik.'' Band 2. De Gruyter, 1985, Abschnitt 13.6.3</ref>:
:<math>
W = \sum_{np} T^{(k)}_p |\alpha jn\rangle \langle jn; kp|
</math>
Er transformiert Zustände mit zwei Drehimpulsen (<math>j</math> und <math>k</math>) in Zustände mit einem einzelnen Drehimpuls, auf welche Tensoroperatoren wirken.
Im Zielraum sind Drehungen durch einen unitären Operator <math> U_1 </math> dargestellt, im Urbildraum durch einen unitären Operator <math> U_2 </math>.
Die wesentliche Eigenschaft von <math> W </math> ist das Vertauschen mit Drehungen bzw. die Invarianz unter Drehungen:
:<math>
U_1 W = W U_2 \,\!
</math>
Dies beruht auf dem gleichartigen Verhalten von Tensoroperatoren und Drehimpulszuständen unter Drehungen. Konkret sieht man die Invarianz am einfachsten, indem man den Ausdruck
:<math>
\sum_{np}\sum_{n'p'} T^{(k)}_p |\alpha jn\rangle
D^{(k)}_{pp'} D^{(j)}_{nn'}
\langle jn'; kp'|
</math>
einmal durch Summation über <math>np\,\!</math> auswertet, was <math> U_1 W \,\!</math> ergibt, und einmal durch Summation über <math>n'p'\,\!</math>, was <math> W U_2 \,\!</math> ergibt. Dabei wird benutzt, dass auch die Drehmatrizen unitär sind.

Wegen der Drehinvarianz von <math> W </math> werden Teilräume, die unter <math> U_2 </math>
irreduzibel sind, in Teilräume transformiert, die unter <math> U_1 </math> irreduzibel sind.
Bei der Drehgruppe sind diese Teilräume durch eine Drehimpulsquantenzahl <math> J </math> charakterisiert.
Nach dem Schurschen Lemma gilt nun:

* Die Teile von <math> W </math>, die zwischen verschiedenen <math> J </math> (inäquivalenten irreduziblen Darstellungen) vermitteln, sind null.
* Die Teile von <math> W </math>, die zwischen gleichen <math> J </math> (äquivalenten irreduziblen Darstellungen mit gleichen Darstellungsmatrizen) vermitteln, sind Vielfache der Eins-Abbildung.

Dass die Darstellungsmatrizen für gleiche Drehimpulse tatsächlich immer gleich sind,
beruht auf der Verwendung der Standard-Basisvektoren <math> |jm\rangle </math>.
Der hier gegebene Beweis gilt deswegen nur für die Drehgruppe.

Wenn das jeweilige Vielfache mit einem Faktor <math> \lambda \,\! </math> bezeichnet wird,
der von den verknüpften Teilräumen abhängig ist, hat <math> W </math> nach dem Schurschen
Lemma somit folgende Form:
:<math>
W = \sum_{\alpha'J} \sum_M
\lambda_{\alpha jk\alpha'J} |\alpha'JM\rangle \langle JM|
</math>
Die Summe über <math> M </math> stellt die Eins-Abbildung zwischen zwei irreduziblen Teilräumen dar. Im Bra-Vektor fehlt der Entartungsindex, weil es bei Drehimpulskopplung (im Urbildraum von <math> W </math>) keine Entartung gibt. Die Indizes <math> \alpha j k</math> bringen zum Ausdruck, dass die gesamte Konstruktion des Operators <math> W </math> von ihnen abhängt.

Um den Beweis abzuschließen, bildet man nun das Matrixelement <math> \langle \alpha' j' m' | W | jm; kq\rangle </math> mit den beiden Ausdrücken für <math> W </math>, nutzt die Orthonormalität der Basisvektoren aus und identifiziert das jeweilige <math>\lambda\,\!</math> mit <math> \langle\alpha'j'\| T^{(k)} \|\alpha j\rangle </math>.

== Einzelnachweise ==
<references />

== Literatur ==
* C. Eckart: ''The Application of Group Theory to the Quantum Dynamics of Monatomic Systems''. In: ''Rev. Mod. Phys.'' 2, 1930, S. 305–380.
* J. J. Sakurai: ''Modern Quantum Mechanics.'' Addison-Wesley, 1994, S. 239–240.
* E. P. Wigner: ''Einige Folgerungen aus der Schrödingerschen Theorie für die Termstrukturen''. In: ''Z. Physik'' 43, 1927, S. 624–652.

[[Kategorie:Lineare Algebra]]
[[Kategorie:Darstellungstheorie von Lie-Gruppen]]
[[Kategorie:Satz (Darstellungstheorie)]]

Wigner-Eckart-Theorem - Versionsgeschichte

imported>회기-로: /* Literatur */