Die logische und mathematische Argumentation, die zeigt, dass für einen Hamiltonoperator, der unter diskreten Translationen um Gittervektoren invariant ist, die Eigenzustände so gewählt werden können, dass sie einer eindimensionalen Darstellung der Translationsgruppe gehorchen und daher die Bloch-Form ψ_k(r) = e^{i k·r} u_k(r) mit u_k periodisch im Gitter annehmen.

Prinzip

Nutze die Kommutation der Translationsoperatoren mit dem Hamiltonoperator, um Eigenzustände mit kristallinem Quasikompaktum zu kennzeichnen; wende Darstellungstheorie der Gruppe an, um zu zeigen, dass Translationen als Phasenfaktoren wirken und Wellenfunktionen unter Gittertranslationen eine wohldefinierte Bloch‑Phase erhalten.

Demonstration

Beginne mit H T_R = T_R H für die Gittertranslation T_R und einen Eigenzustand ψ; zeige, dass T_R ψ ebenfalls Eigenzustand mit demselben Eigenwert ist, und nutze dann die Eigenschaften der Darstellung der diskreten Gruppe, um zu folgern T_R ψ = e^{i k·R} ψ und damit ψ_k(r)=e^{i k·r} u_k(r) mit u_k(r+R)=u_k(r).

Fehlanwendung

Die Herleitung des Blochschen Theorems auf Systeme ohne diskrete Translationsinvarianz anzuwenden (zufällige Legierungen, amorphe Festkörper oder stark gestörte Gitter) führt zu falschen Annahmen über ausgedehnte Eigenzustände und vernachlässigt Lokalisierungsphänomene.

Konsequenz

Eine rigorose Grundlage zur Kennzeichnung von Zuständen durch Quasimomentum und für das Bändermodell von Festkörpern; sie ermöglicht den Aufbau von Bandstrukturen, Bloch-basierter Störungstheorie sowie die Definition von Bloch-Geschwindigkeit und Auswahlregeln, die an die Gittersymmetrie gebunden sind.

Umkehrung

Wenn die diskrete Translationssymmetrie gebrochen ist (Unordnung, endliche Systeme mit offenen Rändern, inkommensurable Potentiale), versagt die Herleitung und man erwartet diskrete lokalisierte Eigenzustände, ein Spektrum ohne Bloch-Bänder oder die Notwendigkeit alternativer Symmetriegruppen (magnetische Translationen, Raumgruppen mit fraktionalen Translationen).

Abgrenzung

Erfordert exakte Invarianz unter einer diskreten Translationsgruppe; Modifikationen sind erforderlich bei Magnetfeldern (magnetische Translationsoperatoren, Eichfragen), quasiperiodischen Potentialen und wechselwirkenden Vielteilchensystemen, wo Symmetriebruch oder Korrelationen die Einteilchenbeschreibung verändern.

Semantische Spannung

Spannung zwischen den erweiterten, nach Impuls etikettierten Zuständen des Blochschen Theorems und lokalisierten Beschreibungen (Wannier‑Funktionen, Anderson‑Lokalisierung): beide sind gültige Darstellungen desselben Hilbertraums bei vorhandener Symmetrie, doch wird Lokalisierung physikalisch relevant, sobald die Symmetrie fehlt oder Unordnung ins Spiel kommt.

Synthese

Die Herleitung des Blochschen Theorems zeigt, dass diskrete Translationsinvarianz die Einteilchen-Eigenfunktionen zu einer phasengekoppelten, gitterperiodischen Struktur zwingt: Bloch‑Wellen mit Quasikompaktum und gitterperiodischer Hülle, die Grundlage der Bandtheorie kristalliner Festkörper.