Heisenberg-Modell (Quantenmechanik)

Das Heisenberg-Modell in der quantenmechanischen Formulierung ist ein in der Theoretischen Physik viel benutztes mathematisches Modell zur Beschreibung von Ferromagnetismus (sowie Antiferromagnetismus und Ferrimagnetismus) in Festkörpern. 1928 haben Werner Heisenberg^[1] und Paul Dirac ^[2] erkannt, dass Ferromagnetismus in einem Festkörper durch einen effektiven Hamiltonoperator beschrieben werden kann, der die quantenmechanischen Ortsfunktionen nicht enthält, da er lediglich aus wechselwirkenden lokalisierten Elektronenspins auf einem Gitter (dem Kristallgitter) aufgebaut ist. Die Wechselwirkung ist dabei (zunächst) reduziert auf benachbarte Spins (nächste-Nachbar-Wechselwirkung):

$ H_{\text{Heis}}=-J\sum _{<i,j>}{\vec {S_{i}}}\cdot {\vec {S_{j}}}\qquad {\text{mit }}i,j\;\mathrm {n{\ddot {a}}chste} {\text{ Nachbarn}} $

Dabei sind die $ {\vec {S}}_{i} $ und $ {\vec {S}}_{j} $ die bekannten quantenmechanischen Vektoroperatoren zu gegebener Spinquantenzahl s ($ \in $ {1/2, 1, 3/2, 2,...}). Die Indizes i und j beziehen sich auf die Gitterpositionen, wobei unter dem Gitter eine Kette (1-dimensionales Heisenberg-Modell), ein zweidimensionales Gitter (z. B. ein hexagonales Gitter) oder eine dreidimensionale Anordnung (z. B. ein kubisches Gitter) gemeint sein können. Der Spin hingegen ist beim Heisenberg-Modell immer dreidimensional, weshalb es auch als Spezialfall des n-Vektor-Modells mit $ n=3 $ bezeichnet wird.

Ziel der Betrachtung ist es, experimentell beobachtete Effekte wie die spontane Magnetisierung und die kritischen Exponenten an den Phasenübergängen zu modellieren.

Die Austauschwechselwirkung zwischen den lokalisierten Spins wird durch die Coulomb-Abstoßung und das Pauli-Prinzip verursacht und bei Beschränkung auf nächste-Nachbar-Wechselwirkung und Isotropie (siehe unten) mit einer einzigen Kopplungskonstante $ J $, der sogenannten Austauschenergie, ausgedrückt. Das Modell ist geeignet um Ferromagnetismus in Isolatoren qualitativ zu beschreiben, versagt aber bei den meisten Metallen (hier ist das Hubbard-Modell besser geeignet). Das Modell kann durch eine Verallgemeinerung der Heitler-London-Näherung für die Bildung zweiatomiger Moleküle begründet werden (siehe das einschlägige Unterkapitel in Magnetismus). Für eindimensionale Systeme kann es exakt gelöst werden; in zwei und drei Dimensionen gibt es dagegen nur genäherte Lösungen, z. B. mit Quanten-Monte-Carlo-Methoden. Im Gegensatz zum klassischen Heisenberg-Modell werden die Spins durch Operatoren ausgedrückt und gehorchen den Regeln der Quantenmechanik.

Erläuterungen zum Modell

Der Ferromagnetismus von Isolatoren wird bewirkt von lokalisierten magnetischen Momenten, die einer unvollständig gefüllten Elektronenschale (3d-, 4d, 4f oder 5f) zuzuschreiben sind. Diesen lokalisierten magnetischen Momenten $ {\vec {m}}_{i} $ ist ein Drehimpuls $ {\vec {J}}_{i} $ zugeordnet, welcher mit dem jeweiligen Spin $ {\vec {S}}_{i} $ ausgedrückt werden kann:

$ {\vec {m_{i}}}=\mu _{\mathrm {B} }g_{J}{\vec {J_{i}}}=\mu _{\mathrm {B} }g_{J}{\frac {\vec {S_{i}}}{g_{J}-1}} $

Der Spinvektor $ {\vec {S_{i}}} $ ist gegeben über die Spin-1/2-Operatoren, $ g_{J} $ ist der Landé-Faktor und $ \mu _{\mathrm {B} } $ ist das Bohrsches Magneton. Die Austauschwechselwirkung zwischen den magnetischen Momenten kann so durch die zugehörigen Spins ausgedrückt werden. Die Austauschwechselwirkung simuliert also die Coulombabstoßung und das Pauliprinzip. Die Kopplungskonstanten $ J $ zwischen den lokalisierten Spins werden daher auch Austauschintegrale genannt. Man nimmt an, dass die Austauschintegrale nur für benachbarte Spins merklich von null verschieden sind. Insgesamt erhält man so also einen effektiven Hamiltonoperator der darauf ausgelegt ist lediglich den Ferromagnetismus bei Isolatoren zu erklären.

$ {\begin{aligned}H_{\text{Heis}}&=-J\sum _{<i,j>}{\vec {S_{i}}}\cdot {\vec {S_{j}}}\qquad {\text{mit }}i,j\;\mathrm {n{\ddot {a}}chste} {\text{ Nachbarn}}\\&=-J\sum _{<i,j>}\left(S_{i}^{x}S_{j}^{x}+S_{i}^{y}S_{j}^{y}+S_{i}^{z}S_{j}^{z}\right)\\&=-J\sum _{<i,j>}\left[{\frac {1}{2}}\left(S_{i}^{+}S_{j}^{-}+S_{i}^{-}S_{j}^{+}\right)+S_{i}^{z}S_{j}^{z}\right]\end{aligned}} $

Verallgemeinerungen des Modells

Das Heisenberg-Modell kann verallgemeinert werden, indem man die Kopplungskonstante richtungsabhängig macht (d.h. indem man von isotropen zu anisotropen Systemen übergeht).

$ {\begin{aligned}H_{\text{verallg. Heis}}&=-\sum _{<i,j>}\left(J^{x}S_{i}^{x}S_{j}^{x}+J^{y}S_{i}^{y}S_{j}^{y}+J^{z}S_{i}^{z}S_{j}^{z}\right)\qquad {\text{mit }}i,j\;\mathrm {n{\ddot {a}}chste} {\text{ Nachbarn}}\end{aligned}} $

Ein Spezialfall des verallgemeinerten Heisenberg-Modells ist das XXZ-Modell, welches erzeugt wird durch die Setzung von $ J=J_{x}=J_{y} $ und $ J_{z}=\Delta $:

$ {\begin{aligned}H_{\text{XXZ}}&=-\sum _{<i,j>}\left[J\left(S_{i}^{x}S_{j}^{x}+S_{i}^{y}S_{j}^{y}\right)+\Delta S_{i}^{z}S_{j}^{z}\right]\qquad {\text{mit }}i,j\;\mathrm {n{\ddot {a}}chste} {\text{ Nachbarn}}\\&=-\sum _{<i,j>}\left[{\frac {J}{2}}\left(S_{i}^{+}S_{j}^{-}+S_{i}^{-}S_{j}^{+}\right)+\Delta S_{i}^{z}S_{j}^{z}\right]\end{aligned}} $

Das Heisenberg-Modell und seine Spezialfälle werden oft im Zusammenhang mit einem angelegten Magnetfeld $ h=g_{J}\mu _{\mathrm {B} }B_{0} $ in z-Richtung betrachtet. Der Hamiltonian lautet dann:

$ {\begin{aligned}H_{\text{verallg. Heis,h}}&=-\sum _{<i,j>}\left(J^{x}S_{i}^{x}S_{j}^{x}+J^{y}S_{i}^{y}S_{j}^{y}+J^{z}S_{i}^{z}S_{j}^{z}\right)-h\sum _{i}S_{i}^{z}\end{aligned}} $

Eine weitere Verallgemeinerung beinhaltet die Einbeziehung von Kopplungen nicht nur zwischen nächsten Nachbarn sowie von Inhomogenitäten, $ J\rightarrow J_{ij} $:

$ {\begin{aligned}H_{\text{verallg. Heis, inhom.}}&=-\sum _{i,j}\left(J_{ij}^{x}S_{i}^{x}S_{j}^{x}+J_{ij}^{y}S_{i}^{y}S_{j}^{y}+J_{ij}^{z}S_{i}^{z}S_{j}^{z}\right)\quad {\text{mit }}i,j\;\mathrm {Gitterpl{\ddot {a}}tze} \end{aligned}} $

Die Übergänge zum XY-Modell und zum Ising-Modell lassen sich am besten im n-Vektor-Modell darstellen.

Modell im k-Raum

Zur Analyse des Modells und zur Betrachtung der Anregungen ist es sinnvoll, das Modell im k-Raum zu betrachten. Die Transformation (diskrete Fouriertransformation) für die Spinoperatoren $ a\in \{x,y,z,+,-\} $ lautet:

$ S^{a}({\vec {k}})=\sum _{i}e^{i{\vec {k}}\cdot {\vec {R}}_{i}}S_{i}^{a} $

Das verallgemeinerte Heisenbergmodells im Magnetfeld ohne Richtungsabhängigkeit $ (J_{ij}^{x}=J_{ij}^{y}=J_{ij}^{z}) $ mit $ J_{ij}=J_{ji} $ und $ J_{ii}=0 $ läßt sich dann schreiben als:

$ {\begin{aligned}H_{\text{heis,k}}&=-{\frac {1}{N}}\sum _{\vec {k}}J({\vec {k}})\left(S^{+}({\vec {k}})S^{-}(-{\vec {k}})+S^{z}({\vec {k}})S^{z}(-{\vec {k}})\right)-hS^{z}(0)\end{aligned}} $

wobei auch die Austauschintegrale wellenzahlabhängig sind:

$ J({\vec {k}})={\frac {1}{N}}\sum _{ij}J_{ij}e^{i{\vec {k}}\cdot ({\vec {R}}_{i}-{\vec {R}}_{j})} $

Grundzustand

In diesem Abschnitt wird der Grundzustand des verallgemeinerte Heisenberg-Modells im Magnetfeld ohne Richtungsabhängigkeit betrachtet. Der Grundzustand ist der Eigenzustand des Systems mit geringster Energie. Dieser ist stark abhängig von Vorzeichen der Kopplungskonstante $ J $.

$ {\begin{aligned}{\text{alle}}\qquad J_{ij}>0&\qquad {\text{Ferromagnet}}\\{\text{alle}}\qquad J_{ij}<0&\qquad {\text{Anti-Ferromagnet/Ferrimagnet}}\end{aligned}} $

Unter eine Drehung aller Spinvektoren ändert sich das Heisenberg-Modell nicht, es ist also invariant unter einer Rotation. Für $ J>0 $ ist es für die Spins energetisch günstiger sich in dieselbe Richtung auszurichten und man spricht von einem ferromagnetischer Grundzustand. Aufgrund der Rotationsinvarianz ist keine Richtung ausgezeichnet, daher wird die Ausrichtung in z-Richtung angenommen. Die Richtung im Festkörper wird durch Anisotropien oder durch ein schwaches angelegtes Magnetfeld bestimmt. Im ferromagnetischen Grundzustand $ |F\rangle $ sind alle Spins ausgerichtet in eine Richtung. Spezialisiert man noch

$ J_{0}=\sum _{i}J_{ij}=\sum _{j}J_{ij} $

dann kann die Grundzustandsenergie angeben werden als:

$ {\begin{aligned}&H|F\rangle =E_{0}|F\rangle \\{\text{mit}}\qquad &E_{0}=-NJ_{0}\hbar ^{2}S^{2}-NhS\end{aligned}} $

Dabei wurde der Eigenwert des $ S_{i}^{z} $-Operators als $ S_{i}^{z}|F\rangle =\hbar S|F\rangle $ benutzt. Für das Spin-1/2-Heisenberg-Modell ist $ S=1/2 $.

Für $ J<0 $ ist es energetisch günstiger, wenn benachbarte Spins in unterschiedliche Richtungen zeigen. Der Grundzustand ist daher stark vom unterliegenden Kristallgitter abhängig. Dieser kann dann antiferromagnetisch oder ferrimagnetisch sein. Für spezielle Kristallgitter kann es auch zu magnetischer Frustration kommen.

Magnonen und Spinwellen

In diesem Abschnitt werden die Anregungen aus dem ferromagnetischen Grundzustand des verallgemeinerte Heisenberg-Modells im Magnetfeld ohne Richtungsabhängigkeit betrachtet. Die Anregungszustände werden dem Quasiteilchen Magnon zugeordnet. Es handelt sich dabei um kollektive Anregungen des gesamten Kristallgitters und diese werden demnach auch als Spinwellen bezeichnet.

Die Eigenzustände des $ S^{-}({\vec {k}}) $-Operators sind ebenfalls Eigenzustände des Hamiltonians, da $ S^{-}({\vec {k}}) $ und $ H $ kommutieren:

$ [H_{\text{heis,k}},S^{-}({\vec {k}})]=0 $

Die einmalige Anwendung des $ S^{-}({\vec {k}}) $-Operators auf den ferromagnetischen Grundzustand gibt also einen angeregten Eigenzustand des Heisenberg-Modells und wird (normierter) Ein-Magnonenzustand genannt:

$ |{\vec {k}}\rangle ={\frac {1}{\hbar {\sqrt {2SN}}}}S^{-}({\vec {k}})|F\rangle $

die zugehörige Energie des Zustands ist gegeben als:

$ E({\vec {k}})=E_{0}+\hbar \omega ({\vec {k}})\qquad {\text{mit}}\qquad \hbar \omega ({\vec {k}})=\hbar h+2S\hbar ^{2}(J_{0}-J({\vec {k}})) $

die Anregungsenergie $ \hbar \omega ({\vec {k}}) $ wird dem schon erwähnten Magnon-Quasiteilchen zugeschrieben. Betrachtet man den Erwartungswert des $ S_{i}^{z} $-Operators auf diesen Zustand so erhält man:

$ \langle {\vec {k}}|S_{i}^{z}|{\vec {k}}\rangle =\hbar \left(S-{\frac {1}{N}}\right) $

Dabei ist die linke Seite der Gleichung nicht mehr vom Platz i abhängig. Anschaulich bedeutet dies, dass die Anregung aus dem Grundzustand (Ein-Magnonenzustand) nicht durch das einfache Umklappen eines Spins auf einem Gitterplatz erzeugt wird, sondern dass der Ein-Magnonenzustand über das Gitter gleichmäßig verteilt ist. Daher wird der Zustand $ |{\vec {k}}\rangle $ als kollektive Anregung angesehen und als Spinwelle bezeichnet.

1D-Heisenberg-Modell

Im eindimensionalen Heisenberg-Modell sind die Spins aufgereiht auf einer Kette. Bei periodischen Randbedingungen ist die Kette zu einem Ring geschlossen. Die Eigenzustände und Eigenenergien für das eindimensionale Heisenberg-Modell wurden 1931 von Hans Bethe^[3] mit dem Bethe-Ansatz exakt bestimmt.

Eigenvektoren und Eigenzustände

Da der $ S_{z}^{\text{tot}} $-Operator mit dem Hamiltonoperator kommutiert zerfällt der gesamte Hilbertraum in verschiedene Unterräume, die einzeln diagonalisiert werden können.

$ [S_{z}^{\text{tot}},H]=\sum _{i=1}^{N}[S_{i}^{z},H]=0 $

Die verschieden Unterräume können durch ihre $ S_{z}^{\text{tot}}=-N\dots N $ Quantenzahlen beschrieben werden. Das heißt, dass die Eigenvektoren Superpositionen aus Basiszuständen mit derselben $ S_{z}^{\text{tot}} $ Quantenzahl sind. Im Bethe-Ansatz werden diese Zustände mittels der umgeklappten Zustände vom ferromagnetischen Grundzustand klassifiziert. Zum Beispiel wird der Zustand mit zwei umgeklappten Spins (also$ S_{z}^{\text{tot}}=N-2 $) an den Gitterplätzen $ n_{1} $ und $ n_{2} $ angegeben als:

$ |n_{1}n_{2}\rangle =|\uparrow \uparrow \underbrace {\downarrow } _{n_{1}}\uparrow \dots \uparrow \underbrace {\downarrow } _{n_{2}}\uparrow \dots \uparrow \rangle $

Die Eigenvektoren in einem Unterraum mit einer $ S_{z} $ Quantenzahl $ S_{z}=N-r $ sind Superpositionen aus allen möglichen Zuständen $ |n_{1},n_{2},\dots ,n_{N-r}\rangle $

$ |\Psi \rangle =\sum _{n1<n2<\dots <n_{r}}^{N}a(n_{1},n_{2},\dots ,n_{r})|n_{1},n_{2},\dots ,n_{r}\rangle \,; $

die Koeffizienten sind ebene Wellen und durch den Bethe-Ansatz gegeben.

$ a(n_{1},\dots ,n_{r})=\sum _{P\in S_{r}}\exp \left(i\sum _{j=1}^{r}k_{P_{j}}n_{j}+i\sum _{i<j}\theta _{P_{i}P_{j}}\right) $

Die Parameter können über die Gleichungen des Bethe-Ansatzes bestimmt werden

Fehler beim Parsen (Unbekannte Funktion „\begin{alignat}“): \begin{alignat} \cdot 2 \cot \frac{\theta_{ij}}{2}&=\cot\frac{k_i}{2}-\cot\frac{k_j}{2} &\qquad \text{mit}\quad& i,j = 1, \dots, r \\ Nk_i&=2\pi\lambda_i+\sum_{j \neq i}\theta_{ij}&&\lambda_i = {1, \dots, N-1} \end{alignat}

Die Eigenvektoren sind gegeben durch alle Kombinationen der Bethe-Quantenzahlen $ (\lambda _{1},\dots ,\lambda _{r}) $, die die Gleichungen des Bethe-Ansatzes erfüllen. Eine Klassifikation der Eigenvektoren ist also über die Bethe-Quantenzahlen möglich. Die Bestimmung aller Eigenvektoren ist allerdings nicht trivial. Diezugehörige Energie des Zustands ist gegeben als:

$ (E-E_{0})=J\sum _{j=1}^{r}(1-\cos k_{j}) $

Jordan-Wigner-Transformation

Das 1D-Heisenberg-Modell kann bei periodischen Randbedingungen mittels einer Jordan-Wigner-Transformation auf spinlose Fermionen auf einer Kette mit lediglich nächster Nachbarwechselwirkung abgebildet werden. Der Hamiltonian $ H_{\text{Heis}} $ des 1D-Heisenberg Modells kann demnach geschrieben werden als:

$ {\begin{aligned}H_{\text{Heis}}&=-J\sum _{n=1}^{N}{\vec {S}}_{n}\cdot {\vec {S}}_{n+1}=-J\sum _{n=1}^{N}\left[{\frac {1}{2}}(S_{n}^{+}S_{n+1}^{-}+S_{n}^{-}S_{n+1}^{+})+S_{n}^{z}S_{n+1}^{z}\right]\\&=-J\sum _{i=1}^{N}\left[\left(c_{i}^{\dagger }c_{i+1}+{\text{h.c}}\right)+\left(c_{i}^{\dagger }c_{i}-{\frac {1}{2}}\right)\left(c_{i+1}^{\dagger }c_{i+1}-{\frac {1}{2}}\right)\right]\\&=H_{0}+H_{J}\end{aligned}} $

Die $ c_{i},c_{i}^{\dagger } $ sind Erzeugungs- und Vernichtungsoperatoren für spinlose Fermionen.

Literatur

• Wolfgang Nolting, Grundkurs Theoretische Physik, Band 7 - Vielteilchen-Theorie, Springer Verlag

Weblinks

• B. Nachtergaele, Bibliografie zum Heisenbergmodell

Quellen