量子力学や物性物理学におけるブロッホの定理(ブロッホのていり、英: Bloch's theorem)とは、ハミルトニアンが空間的な周期性(並進対称性)をもつ場合に、その固有関数が満たす性質を表した定理のこと。1928年に、フェリックス・ブロッホによって導出された。
結晶は基本格子ベクトルだけ並進すると自分自身と重なり合うため、並進対称性を持つ。よって結晶のエネルギーバンドを計算する際にブロッホの定理は重要となる。
定理の内容[編集]
周期ポテンシャル
中の一電子の量子力学的なハミルトニアン演算子を
とする。すなわち、
![{\displaystyle {\hat {H}}=-{\frac {\hbar ^{2}}{2m}}\nabla ^{2}+V({\boldsymbol {r}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35c0e377b6414ba9169c9080bf0a5fea6375c24f)
このとき、格子が3方向に基本格子ベクトル
,
,
を持ち、格子ベクトル
を
(
,
,
:整数)
とすると、
の固有関数として次のような形の関数を選ぶことができる。
![{\displaystyle \psi ({\boldsymbol {r}}+{\boldsymbol {R}})=e^{i{\boldsymbol {k}}\cdot {\boldsymbol {R}}}\psi ({\boldsymbol {r}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44b9ff7322990ec4cf3c6f1298bf8b5270d71aa6)
これがブロッホの定理である。
ブロッホ関数[編集]
また、ブロッホの定理を満たす関数をブロッホ関数(またはブロッホ波、ブロッホ状態)といい、結晶中の電子の一電子状態を表すために用いられる。ブロッホ関数の一般形は、
を格子の周期性を持つ関数
として、
![{\displaystyle \psi _{\boldsymbol {k}}({\boldsymbol {r}})=e^{i{\boldsymbol {k}}\cdot {\boldsymbol {r}}}u_{\boldsymbol {k}}({\boldsymbol {r}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f88b4b3597440e7d4da568793f393ad3d81ccc4b)
と表される。
定理の証明[編集]
簡単のため1次元で考える。原子間の距離
で規則正しく並んだ1次元の結晶を考えると、結晶中の電子が感じるポテンシャルは次のような周期性を持つ。
![{\displaystyle \dotsb =V(x-2a)=V(x-a)=V(x)=V(x+a)=V(x+2a)=\dotsb }](https://wikimedia.org/api/rest_v1/media/math/render/svg/857f794e48303e42ef8272a08140b2ab64af948f)
結晶中の電子を表すハミルトニアンは、次のように位置に依存する演算子である。
![{\displaystyle {\hat {H}}(x)={\frac {{\hat {p}}^{2}}{2m}}+V(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64465dfed684eb29d53ccac525455eaf2ab84ddb)
ポテンシャルと同様に、このハミルトニアンも原子間の距離
だけの周期性を持つ。
![{\displaystyle \dotsb ={\hat {H}}(x-2a)={\hat {H}}(x-a)={\hat {H}}(x)={\hat {H}}(x+a)={\hat {H}}(x+2a)=\dotsb }](https://wikimedia.org/api/rest_v1/media/math/render/svg/590cbb32ba25618bcd70184cfd6293be9e321536)
ここで原子間の距離
だけの並進を行う操作を表す並進演算子を
とすると、
![{\displaystyle {\begin{aligned}{\hat {T_{a}}}\left\{{\hat {H}}(x)\psi (x)\right\}&={\hat {H}}(x+a)\psi (x+a)\\&={\hat {H}}(x)\psi (x+a)\\&={\hat {H}}(x)\left\{{\hat {T_{a}}}\psi (x)\right\}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2595c0341c3512c6c050a7703e840a776fc47a69)
![{\displaystyle \therefore {\hat {T_{a}}}{\hat {H}}={\hat {H}}{\hat {T_{a}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f026c43b6afbcb33e5dc6ef4554506f1f55c1c4)
すなわち
と
は互いに交換し、同時固有関数を持つ。
![{\displaystyle {\hat {H}}\psi (x)=E\psi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1ffd6d5a7054b16f26acb86bb580bf93e6cdf67)
― (1)
ここで
,
は
,
の固有値である。
ここで、この固有関数について周期を
とする周期境界条件(ボルン=フォン・カルマン境界条件)を課す。
― (2)
(1)式より、
― (3)
ここで(2)式と(3)式を比べると、
(
:整数)
― (4)
ここで
![{\displaystyle k\equiv {\frac {2\pi {}n}{Na}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aeca3cb47e30d49f1b96fb20a86991019d3dafe)
と定義すると、(4)式は、
![{\displaystyle C_{a}=e^{ika}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f41e370e05b94af9a664e6df3a2164c097a3aa24)
となる。よって、
の値を(1)式に代入すると、
![{\displaystyle \psi (x+a)=e^{ika}\psi (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d9342e246de6b5eb242877be41d07e590ed1c8c)
となる。
3次元の場合も同様に、格子が3方向に基本格子ベクトル
,
,
を持ち、格子ベクトル
を
(
,
,
:整数)
とすると、並進演算子
を用いて3次元でのブロッホの定理が証明される。
― (5)
また、
![{\displaystyle u_{\boldsymbol {k}}({\boldsymbol {r}})\equiv e^{-i{\boldsymbol {k}}\cdot {\boldsymbol {r}}}\psi _{\boldsymbol {k}}({\boldsymbol {r}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb8597f57a85de252169cb1e96ac960fc6f2dd36)
によって定義した関数
は、(5)式より、
![{\displaystyle {\begin{aligned}u_{\boldsymbol {k}}({\boldsymbol {r}}+{\boldsymbol {R}})&=e^{-i{\boldsymbol {k}}\cdot ({\boldsymbol {r}}+{\boldsymbol {R}})}\psi _{\boldsymbol {k}}({\boldsymbol {r}}+{\boldsymbol {R}})\\&=e^{-i{\boldsymbol {k}}\cdot {\boldsymbol {r}}}\psi _{\boldsymbol {k}}({\boldsymbol {r}})\\&=u_{\boldsymbol {k}}({\boldsymbol {r}})\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ce68b47b780f05bae586503ac61770e7421a7aa)
となり、格子の周期性を持つ関数であることが示される。 このことより、ブロッホ関数の一般形は、
を格子の周期性を持つ関数
として、
![{\displaystyle \psi _{\boldsymbol {k}}({\boldsymbol {r}})=e^{i{\boldsymbol {k}}\cdot {\boldsymbol {r}}}u_{\boldsymbol {k}}({\boldsymbol {r}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f88b4b3597440e7d4da568793f393ad3d81ccc4b)
と表されることが証明された。
バンド構造との関連性[編集]
バンド構造は、波数を変数としたときに、ある波数を持つ電子がどのようなエネルギー準位を持っているかを示すものである。とびとびの番号の指標
で指定されるエネルギー準位
は、波数ベクトル
に応じて連続的に変化し、そのとりうる値の領域をエネルギーバンドと呼ぶ。原子配列のようにポテンシャルが規則正しく周期的に変化する結晶では、エネルギーバンドが存在する。
周期ポテンシャル内の電子が持つ結晶運動量は運動量に似た性質を持つ量で、ブロッホ関数の波数ベクトル
に換算プランク定数
をかけたもので定義される。
結晶中に多数ある電子を考えるときに1電子の波動関数を用いる有効性については、密度汎関数理論によって保障されている。
関連項目[編集]
参考文献[編集]
- 家泰弘『物性物理』産業図書、1997年。
- 齋藤理一郎『基礎固体物性』朝倉書店、2009年。