Blochs sætning er en vigtig sætning inden for faststoffysik , der etablerer formen for bølgefunktionen af en partikel i et periodisk potentiale. Opkaldt efter den schweiziske fysiker Felix Bloch . I det endimensionelle tilfælde kaldes denne sætning ofte for Floquet-sætningen. Formuleret i 1928.
Egentilstande af en-elektron Hamiltonian
hvor potentialet U ( r ) er periodisk over alle vektorer R i Bravais-gitteret, kan vælges således, at deres bølgefunktioner har form af en plan bølge ganget med en funktion, der har samme periodicitet som Bravais-gitteret:
hvor
for alle R , der hører til Bravais-gitteret . Indekset n kaldes zonenummeret. Dets udseende skyldes det faktum, at for en vilkårlig fast partikelbølgevektor k kan systemet have mange uafhængige egentilstande.
Elektroniske bølgefunktioner i formen kaldes Bloch-funktioner . Men det er vigtigt at forstå, at i modsætning til Bloch-funktionerne er amplituderne ikke periodiske funktioner, da udtrykket beskriver en plan bølge .
Sætningen betragter en ideel uendelig krystal. Det betyder, at det ikke har nogen defekter og har translationssymmetri. I den videre konstruktion af teorien betragtes krænkelser af gitterets periodicitet normalt som små forstyrrelser. Derudover interagerer elektroner i en rigtig krystal med hinanden, hvilket bør afspejles i systemets Hamiltonian ved at tilføje det tilsvarende udtryk. I formuleringen af sætningen anvendes dog tilnærmelsen af ikke-interagerende elektroner, hvilket gør det muligt at betragte en en-partikel Hamiltonian.
Betegn med TR operatoren for translation af en vilkårlig funktion til vektoren R . På grund af Hamiltonianerens periodicitet har vi:
Således pendler operatøren for translation til en vilkårlig vektor af Bravais-gitteret med systemets Hamiltonian. Derudover pendler oversættelsesoperatorer til vilkårlige to vektorer med hinanden:
Det følger af kvantemekanikkens grundlæggende sætning, at i dette tilfælde kan tilstandene for Hamiltonian H vælges på en sådan måde, at de samtidig er egentilstande for alle operatorer TR :
Egenværdierne c ( R ) er relateret af relationen c ( R ) c ( R' )= c ( R + R' ), da på den ene side:
med en anden:
Lad a i være de tre hovedvektorer af Bravais-gitteret. Vi kan altid repræsentere c ( a i ) som
For en vilkårlig vektor R = n 1 a 1 + n 2 a 2 + n 3 a 3 , er ligheden sand:
svarende til ligheden , hvor hvor b i er reciproke gittervektorer, der opfylder relationen
Således kan egenværdierne ψ af Hamiltonian H vælges på en sådan måde, at for hver vektor R i Bravais-gitteret gælder ligheden:
hvilket nøjagtigt svarer til sætningens påstand.