「クローニッヒ・ペニーのモデル」の版間の差分
en:Particle in a one-dimensional lattice( 20:37, 15 December 2016 )の図を転載 |
|||
21行目: | 21行目: | ||
== シュレーディンガー方程式の解 == |
== シュレーディンガー方程式の解 == |
||
クローニッヒ・ペニーのモデルの[[シュレーディンガー方程式]]の解の存在条件は、周期的ポテンシャルに対する波動関数が[[ブロッホの定理]]を満たさなければならない |
クローニッヒ・ペニーのモデルの[[シュレーディンガー方程式]]の解の存在条件は、以下の2つの条件から導出される[[永年方程式]]を解くことで導出される。 |
||
* 周期的ポテンシャルに対する波動関数が[[ブロッホの定理]]を満たさなければならない。 |
|||
* [[波動関数]] {{Mvar|ψ}} とその一次微分が {{Math|1=''x'' = 0}} および {{Math|1=''x'' = ''a''}} で連続でなくてはならない(接続条件)。 |
|||
{{Math|''b''→0}} かつ {{Math|''U''<sub>0</sub>→∞}} の極限を取ったモデルにおいて、[[エネルギー]][[固有値]] {{Mvar|E}} をブロッホ関数 {{Math|1=''ψ''<sub>''k''</sub>(''x'') = ''u''(''x'')exp(''ikx'')}} で状態を指定する[[波数]] {{Mvar|k}} の関数と見ると、{{Math|1=''k'' = ''nπ''/''a''}} ({{Mvar|n}} は整数)以外の点では連続であり、{{Mvar|k}} の絶対値の増加につれて {{Mvar|E}} も増加する関数となる。重要な特徴としては {{Math|1=''k'' = ''nπ''/''a''}} においてエネルギー値が不連続に変化し、シュレーディンガー方程式の解が存在しない {{Mvar|E}} が現れることである。すなわち、以下の2つの区間が存在することになる。 |
|||
* {{Mvar|E}} について解が存在する = その {{Mvar|E}} の値をとることが許容された区間。これを[[エネルギーバンド]]と呼ぶ。 |
|||
* {{Mvar|E}} について解が存在しない = その {{Mvar|E}} の値をとることが禁止された区間。これを[[バンドギャップ]]と呼ぶ。 |
|||
また {{Mvar|k}} に対して {{Mvar|E}} が連続な一つの区間は[[ブリュアン領域]]に当たる。 |
|||
== バンドギャップの生じる理由 == |
== バンドギャップの生じる理由 == |
2018年2月22日 (木) 11:27時点における版
クローニッヒ・ペニーのモデル(英: Kronig-Penney model)は結晶内での電子の挙動を近似的に記述する量子力学的なモデルの1つである。周期的な井戸型ポテンシャル型の一次元のモデルであり、狭義には周期的にデルタ関数型のポテンシャルを持つモデルを指すこともある。1931年にラルフ・クローニッヒとウィリアム・ペニーによって提出された。バンド理論の基本的な枠組みをこのモデルで説明することができる。
クローニッヒ・ペニー・ポテンシャル
クローニッヒ・ペニーのモデルのポテンシャル V は n を任意の整数として以下のように表される。
このポテンシャルは周期 a+b を持っている。
特に重要なのは b→0 かつ U0→∞ の極限を取ったモデルでこれはディラックのデルタ関数を用いて以下のように表される。
これは間隔 a で一次元に配列している原子によるポテンシャルを荒く近似したものと考えることができる。
シュレーディンガー方程式の解
クローニッヒ・ペニーのモデルのシュレーディンガー方程式の解の存在条件は、以下の2つの条件から導出される永年方程式を解くことで導出される。
b→0 かつ U0→∞ の極限を取ったモデルにおいて、エネルギー固有値 E をブロッホ関数 ψk(x) = u(x)exp(ikx) で状態を指定する波数 k の関数と見ると、k = nπ/a (n は整数)以外の点では連続であり、k の絶対値の増加につれて E も増加する関数となる。重要な特徴としては k = nπ/a においてエネルギー値が不連続に変化し、シュレーディンガー方程式の解が存在しない E が現れることである。すなわち、以下の2つの区間が存在することになる。
- E について解が存在する = その E の値をとることが許容された区間。これをエネルギーバンドと呼ぶ。
- E について解が存在しない = その E の値をとることが禁止された区間。これをバンドギャップと呼ぶ。
また k に対して E が連続な一つの区間はブリュアン領域に当たる。
バンドギャップの生じる理由
ポテンシャルの無い自由電子モデルにおいては波動関数は ψk(x) = u(x)exp(ikx) の形を持つ。一方、周期 a のポテンシャルを持つモデルにおいては、これに対応する波動関数はブロッホの定理より波動関数は
の形を持つ。各項の係数 cm の絶対値(その2乗が波動関数への寄与と考えられる)は m = 0 が最大である。
クローニッヒ・ペニーのデルタ関数型のポテンシャルでは係数 cm は大雑把には (k−2πm/a)2−k2 の絶対値が小さいほど大きくなる。もっとも大きい係数 c0 の項と二番目に大きい絶対値を持つ項 cm の2項を用いて波動関数を
と近似できる。
k>0, U0 > 0 の条件を前提とすると、0 < k < π/a においては、c0 と cm (m=1) は反符号であり、cm の絶対値は 0 から k が増加するにつれて増加し、π/a で c0 と等しくなる。π/a < k < (5/3)π/a においては、c0 と cm (m=1) は同符号であり、cm (m=1) の絶対値は 2(n+1)π/a において c0 と等しく、k が増加するにつれて減少する。k = (5/3)π/a において (k−2πm/a)2−k2 の絶対値が m=1 と m=2 で等しくなり、これより k が大きくなると m=2 の項の寄与の方が大きくなる。 (5/3)π/a < k < 2π/a においては c0 と cm (m=2) は反符号であり、cm (m=2) の絶対値は k が増加するにつれて増加し、2π/a で c0 と等しくなる。
2π/a < k < (13/5)π/a においては c0 と cm (m=2) は同符号であり、cm (m=2) の絶対値は 2(n+1)π/a において c0 と等しく、k が増加するにつれて減少する。k = (13/5)π/aにおいて (k−2πm/a)2−k2 の絶対値が m=2 と m=3 で等しくなり、これより k が大きくなると m=3 の項の寄与の方が大きくなる。(13/5)π/a < k < 3π/a においては c0 と cm (m=3) は反符号であり、cm (m=2) の絶対値は k が増加するにつれて増加し、3π/a で c0 と等しくなる。3π/a < k < (25/7)π/a においては c0 と cm (m=3) は同符号であり、cm (m=1) の絶対値は 2(n+1)π/a において c0 と等しく、k が増加するにつれて減少する。
以上のように波動関数は変化していくが、k = nπ/a においては2つの波動関数が解となっている。すなわち k を小さい側から k → nπ/a に近づけた場合の解
と k を大きい側から k → nπ/a に近づけた場合の解
がある。差の形式の解においては波動関数はポテンシャルが値を持つ x = na の位置で 0 となりポテンシャルの影響を受けず、自由電子モデルの場合と同じエネルギー固有値を持つ。一方、和の形式の解においては、x = na の位置で波動関数は値を持つのでポテンシャルの影響を受けた分だけ高いエネルギー固有値を持つ。これにより k = nπ/a においてエネルギーが不連続にジャンプすることになり、バンドギャップが生じることになる。