Hohenberg-Kohn-Theorem

Das Hohenberg-Kohn-Theorem von Pierre Hohenberg und Walter Kohn (1964) besagt in der Quantenmechanik, dass die Eigenschaften eines Systems von Elektronen im Grundzustand (z. B. ein einzelnes Atom, Molekül oder Festkörper) vollständig von der Elektronendichte des Systems bestimmt sind. Das Theorem ist die Grundlage der Dichtefunktionaltheorie (DFT), die u. a in der Quantenchemie ein wichtiges Werkzeug zur Berechnung von Moleküleigenschaften ist.

Das Theorem besteht aus zwei Teilen (manchmal als Hohenberg-Kohn-Theoreme, HK1 und HK2 bezeichnet). Der erste Teil besagt, dass von der Elektronendichte im Grundzustand des Systems eindeutig (bis auf eine additive Konstante) auf das elektrische Potential geschlossen werden kann, das auf alle Elektronen wirkt. Das bedeutet, dass der Hamiltonoperator in der Schrödingergleichung des Systems und damit alle seine weiteren Eigenschaften festgelegt sind. Der zweite Teil besagt, dass bei Variation der Elektronendichte in einem gegebenen System nur Zustände mit höherer Energie als der Energie des Grundzustandes gebildet werden können. Mithin kann man durch systematische Variation der Elektronendichte den Grundzustand und seine Energie näherungsweise bestimmen.

In dieser einfachen Formulierung gelten die Theoreme nur, wenn der Grundzustand des Systems nicht entartet ist – für diesen Fall können sie allerdings erweitert werden. Der Fall von zeitlich veränderlichen Elektronendichten wird vom Runge-Gross-Theorem abgedeckt.

Beweis

Im folgenden Widerspruchsbeweis für den 1. Teil des Theorems betrachten wir ein System mit nicht entartetem Grundzustand. Es gelten folgende Annahmen:

• Das System habe den Hamiltonoperator , wobei
  • die potentielle Energie der Elektronen aufgrund des örtlichen Potentials ;
  • die kinetische Energie der Elektronen;
  • die elektrostatische Abstoßung der Elektronen untereinander.
• Für diesen Hamiltonoperator sei der Grundzustand des Systems durch gegeben. Da dieser Zustand nicht entartet sein soll, gilt für eine Wellenfunktion ;
• Die zum Grundzustand zugehörige örtliche Elektronendichte sei durch gegeben.

Anhand dieser Annahmen ist die gesamte Energie des Systems in Dirac-Notation durch

gegeben oder in der Dichteoperator-Notation kompakter ausgedrückt:

Das Theorem besagt nun: Die Elektronenedichte ist eindeutig zu diesem einen Grundzustand assoziiert.

Angenommen, dies sei nicht der fall. Dann gibt es ein anderes Potential im selben Hamiltonoperator, so dass

• der (nicht unbedingt entartete!) Grundzustand, , des neuen Systems ungleich ist; aber
• die örtliche Elektronendichte bleibt.

Unter den Gegebenen ist der Hamiltonoperator des 2. Systems durch gegeben. Da im 1. System der Energieerwartungswert bei jedem anderen Zustand als der Grundzustand strikt über der Grundzustandsenergie liegt, folgt die (echte) Ungleichung

Umgekehrt können wir das 2. System mit dem 1. vergleichen. Für das 2. System brauchen wir die Annahme eines nicht entarteten Grundzustands nicht. Mit der gleichen Argumentation folgt:

Durch Addition der beiden Ungleichungen und, da die erste strikt ist, folgt

Die Annahme war also falsch und das Theorem ist damit bewiesen.

Anmerkungen

1. Damit gelten kann, dürfen und sich nicht nur durch eine additive Konstante unterscheiden.
2. Siehe Rayleigh-Ritz-Prinzip. Man beachte zudem, dass der Grundzustand im 1. System nicht entartet ist.

Einzelnachweise

1. Pierre Hohenberg, Walter Kohn: Inhomogeneous Electron Gas. In: Phys. Rev. Vol. 136, 1964, S. B864–B871, doi:10.1103/PhysRev.136.B864 (englisch). 
2. Wolfram Koch, Max C. Holthausen: A Chemist's Guide to Density Functional Theory. 2. Auflage. Wiley‐VCH Verlag GmbH, 2001, doi:10.1002/3527600043 (englisch).