ブロッホの定理

量子力学や物性物理学におけるブロッホの定理（ブロッホのていり、）とは、ハミルトニアンが空間的な周期性（並進対称性）をもつ場合に、その固有関数が満たす性質を表した定理のこと。1928年に、フェリックス・ブロッホによって導出された。
結晶は基本格子ベクトルだけ並進すると自分自身と重なり合うため、並進対称性を持つ。よって結晶のエネルギーバンドを計算する際にブロッホの定理は重要となる。
定理の内容.
周期ポテンシャルformula_1 中の一電子の量子力学的なハミルトニアン演算子をformula_2とする。すなわち、
このとき、格子が3方向に基本格子ベクトルformula_4, formula_5, formula_6を持ち、格子ベクトルformula_7 を
とすると、formula_2 の固有関数として次のような形の関数を選ぶことができる。
これがブロッホの定理である。
ブロッホ関数.
また、ブロッホの定理を満たす関数をブロッホ関数（またはブロッホ波、ブロッホ状態）といい、結晶中の電子の一電子状態を表すために用いられる。ブロッホ関数の一般形は、formula_14 を格子の周期性を持つ関数formula_15 として、
と表される。
定理の証明.
簡単のため1次元で考える。原子間の距離formula_17 で規則正しく並んだ1次元の結晶を考えると、結晶中の電子が感じるポテンシャルは次のような周期性を持つ。
結晶中の電子を表すハミルトニアンは、次のように位置に依存する演算子である。
ポテンシャルと同様に、このハミルトニアンも原子間の距離 formula_20 だけの周期性を持つ。
ここで原子間の距離 formula_17 だけの並進を行う操作を表す並進演算子をformula_23 とすると、
すなわちformula_23 とformula_2 は互いに交換し、同時固有関数を持つ。
ここでformula_30, formula_31 はformula_2, formula_23 の固有値である。
ここで、この固有関数について周期を formula_34 とする周期境界条件（ボルン=フォン・カルマン境界条件）を課す。
(1)式より、
ここで(2)式と(3)式を比べると、
ここで
と定義すると、(4)式は、
となる。よって、formula_31 の値を(1)式に代入すると、
となる。
3次元の場合も同様に、格子が3方向に基本格子ベクトルformula_4, formula_5, formula_6を持ち、格子ベクトルformula_7 を
とすると、並進演算子formula_52を用いて3次元でのブロッホの定理が証明される。
また、
によって定義した関数formula_14 は、(5)式より、
となり、格子の周期性を持つ関数であることが示される。
このことより、ブロッホ関数の一般形は、formula_14 を格子の周期性を持つ関数formula_15 として、
と表されることが証明された。
バンド構造との関連性.
バンド構造は、波数を変数としたときに、ある波数を持つ電子がどのようなエネルギー準位を持っているかを示すものである。とびとびの番号の指標formula_38 で指定されるエネルギー準位formula_61 は、波数ベクトルformula_62 に応じて連続的に変化し、そのとりうる値の領域をエネルギーバンドと呼ぶ。原子配列のようにポテンシャルが規則正しく周期的に変化する結晶では、エネルギーバンドが存在する。
周期ポテンシャル内の電子が持つ結晶運動量は運動量に似た性質を持つ量で、ブロッホ関数の波数ベクトルformula_62 に換算プランク定数 formula_64 をかけたもので定義される。
結晶中に多数ある電子を考えるときに１電子の波動関数を用いる有効性については、密度汎関数理論によって保障されている。