A Bloch-tétel a szilárdtestfizika fontos tétele , amely megállapítja egy részecske hullámfüggvényének formáját egy periodikus potenciálban. Felix Bloch svájci fizikusról nevezték el . Egydimenziós esetben ezt a tételt gyakran Floquet-tételnek nevezik. 1928-ban fogalmazták meg.
Az egyelektronos Hamiltoni sajátállapotai
ahol az U ( r ) potenciál periodikus a Bravais-rács összes R vektorán, megválaszthatók úgy, hogy a hullámfüggvényeik síkhullám formájúak legyenek, megszorozva egy olyan függvénnyel, amelynek periodicitása megegyezik a Bravais-rácséval:
ahol
a Bravais-rácshoz tartozó összes R -re . Az n indexet zónaszámnak nevezzük. Megjelenése annak köszönhető, hogy egy tetszőleges k fix részecskehullám vektor esetén a rendszernek sok független sajátállapota lehet.
Az elektronikus hullámfüggvényeket a formában Bloch-függvényeknek nevezzük . De fontos megérteni, hogy a Bloch-függvényekkel ellentétben az amplitúdók nem periodikus függvények, mivel a kifejezés síkhullámot ír le .
A tétel ideális végtelen kristályt tekint. Ez azt jelenti, hogy nincsenek hibái és transzlációs szimmetriája van. Az elmélet további felépítésében a rács periodicitásának megsértését általában kis perturbációnak tekintik. Ráadásul egy valódi kristályban az elektronok kölcsönhatásba lépnek egymással, aminek a rendszer Hamilton-rendszerében kell tükröződnie a megfelelő tag hozzáadásával. A tétel megfogalmazásánál azonban a nem kölcsönható elektronok közelítését alkalmazzuk, ami lehetővé teszi egyrészecskés Hamilton-féle vizsgálatot.
Jelölje T R egy tetszőleges függvény R vektorra történő fordításának operátorát . A Hamilton periodicitása miatt:
Így a Bravais-rács tetszőleges vektorára történő fordítás operátora ingázik a rendszer Hamilton-rendszerével. Ezenkívül tetszőleges két vektorra fordító operátorok ingáznak egymással:
A kvantummechanika alaptételéből következik, hogy ebben az esetben a Hamilton -féle H állapotai úgy választhatók meg, hogy azok egyidejűleg minden T R operátor sajátállapotai :
A c ( R ) sajátértékeket a c ( R ) c ( R' )= c ( R + R' ) összefüggés kapcsolja össze, mivel egyrészt:
másikkal:
Legyen a i a Bravais-rács három fővektora. Mindig ábrázolhatjuk c ( a i )-t mint
Egy tetszőleges R = n 1 a 1 + n 2 a 2 + n 3 a 3 vektorra az egyenlőség igaz:
ekvivalens az egyenlőséggel , ahol b i a relációt kielégítő reciprok rácsvektorok
Így a Hamilton -féle H sajátértékei ψ megválaszthatók úgy, hogy a Bravais-rács minden R vektorára érvényes legyen az egyenlőség:
ami pontosan megfelel a tétel állításának.