Bogoliubov-Ungleichung
- Seiten mit Math-Fehlern
- Seiten mit Math-Renderingfehlern
- Quantenmechanik
- Statistische Physik
Als Bogoliubov-Ungleichung werden zwei Ungleichungen bezeichnet, die beide sehr allgemeine Aussagen in der statistischen Physik machen. Die erste so bezeichnete Ungleichung ist eher abstrakt und setzt einen mit zwei Operatoren, A bzw. C, gebildeten Ausdruck (einen Erwartungswerten von quantenmechanischen Operatoren im thermischen Gleichgewicht) in Beziehung zu einem Produkt aus zwei mit den separaten Operatoren gebildeten Korrelationsfunktionen . Veröffentlicht wurde die Ungleichung 1962[1] von dem russischen Physiker und Mathematiker Nikolai Nikolajewitsch Bogoljubow. Variante 2 ist konkreter: sie betrifft die Freie Energie eines thermodynamischen Systems und ihre verschiedenen Näherungen und ist allgemeiner bekannt (siehe viele Standard-Lehrbücher der Statistischen Physik).
Inhalt der Variante 1
Betrachtet wird ein physikalisches System, beschrieben mittels eines Hamiltonoperators H. Dann gilt für zwei Operatoren A und C (für die die angegebenen Mittelwerte existieren, die aber ansonsten beliebig sind):
wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): [A,C] als Kommutator bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \{A,A^\dagger\} als Anti-Kommutator zu verstehen sind, sowie der Erwartungswert eines Operators X als
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle X \rangle = \text{Sp}(e^{-\beta H}X)/\text{Sp}(e^{-\beta H})
gegeben ist. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): k_B ist die Boltzmann-Konstante. Der (ursprüngliche) Beweis des Mermin-Wagner-Theorems, eines Fundamentaltheorems über die Unmöglichkeit geordneter zweidimensionaler Ferromagnete (bzw. Supraleiter bzw. Kristalle) bei isotroper Wechselwirkung, beruht hauptsächlich auf dieser Ungleichung.[2]
Beweisidee
Der Beweis der Bogoliubov-Ungleichung basiert darauf, dass über
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (A,B):=\sum^{E_n\neq E_m}_{nm}\langle n|A^\dagger|m\rangle \langle m|B|n\rangle\frac{e^{-\beta E_m}-e^{-\beta E_n}}{E_n-E_m}
ein positiv semi-definites Skalarprodukt definiert werden kann. Als Skalarprodukt erfüllt es die Schwarzsche Ungleichung:
Betrachtet man nun
Variante 2
Eine andere Beziehung ist ebenfalls als Bogoliubov'sche Ungleichung bekannt (siehe z. B. die englische Wikipedia im Artikel http://en.wikipedia.org/wiki/Helmholtz_free_energy#Bogoliubov_inequality ) , aber allgemeiner anwendbar, z. B. bei der Approximation der sog. Freien Energie
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F\le F_0+\langle\mathcal H-\mathcal H_0\rangle_0\,,
wobei auf der rechten Seite dieser Ungleichung alle Erwartungwerte konsequent mit dem Näherungsoperator zu berechnen sind, z. B. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle X\rangle_0=\frac{{\rm{Spur}\,\,} (e^{-\beta\mathcal H_0}X)}{{\rm{Spur}}\,\, e^{-\beta\mathcal H_0}}\,.
Die freie Energie ist i.W. der Logarithmus der Zustandssumme,
Ein Beweis der Variante 2 findet sich in dem angegebenen Artikel. Beide Varianten beruhen auf ähnlichen Ideen.
Literatur
- Nolting Quantentheorie des Magnetismus, Teubner, Bd.2