パウリの排他原理
テンプレート:量子力学 パウリの排他原理（パウリのはいたげんり、Pauli exclusion principle）とは、2 つ以上のフェルミ粒子は同一の量子状態を占めることはできない、というものであり、1925年にヴォルフガング・パウリが提出したフェルミ粒子に関する仮定である[1]。パウリの定理、パウリの排他律、パウリの禁制などとも呼ばれる。
パウリの排他原理はすべてのフェルミ粒子に対して適用される一方、ボース粒子に対しては適用されない点に注意が必要である。
目次
スピンの発見
ナトリウムのD線の実験において、磁場がない場合は単一光が観察されるはずであったが、予想に反してD線が 2 本に分裂することが観察された。それを受け、1924年にヴォルフガング・パウリは電子が 2 値の量子自由度を持つことを提案した。
1925年にウーレンベックとゴーズミットはまだ知られていない電子の自由度があると考え、電子は原子核の周りを公転しているだけではなく、電子自身が自転しているのではないか、という仮説をたてた[2][3]。この電子の持つ、自転に似た内部自由度のことをスピンと呼ぶ。
電子が自身のスピンに相当する角運動量を自転によって得るためには、光速を超える速度で自転しなければならず、相対論に反する。そのため、1925年にテンプレート:日本語版にない記事リンクによって提案されたものの、パウリによって否定されていた。
自転に伴う角運動量が存在し、自転の向きが異なるため、公転に伴う角運動量との相互作用でエネルギー準位が 2 つに分裂する。
スピン座標
これまで電子の状態を表す波動関数は、空間座標のみの関数と考え、
<math>\Psi(\mathit{x},\mathit{y},\mathit{z})</math> あるいは <math>\Psi(\mathrm{r},\theta,\phi)</math>
と表記してきた。
しかし、電子にはスピンという新たな自由度があることが分かったため、これを新たな座標として加える必要がある。
磁場中において、軌道角運動量は <math>2\mathit{l}+1</math> 個（ <math>\mathit{l}</math> :方位量子数 ）に分裂することが分かっている。このことから、 <math>\mathit{l}</math> に対応した数値を <math>\mathit{s}</math> とすると、スピン角運動量も <math>2\mathit{s}+1</math> 個に分裂していると考えるのが妥当である。
エネルギー準位が 2 つに分裂していることから、原子内の電子のスピンに対応した準位は 2 つであることが分かる。
よって、
<math>2\mathit{s}+1=2</math>
であり、
<math>\mathit{s}=\frac{1}{2}</math>
となる。
また、軌道角運動量の場合には、磁気量子数 <math>\mathit{m}</math> の取り得る範囲は <math>-\mathit{l}\le\mathit{m}\le\mathit{l}</math> である。今、<math>\mathit{l}</math> に対応した数値 <math>\mathit{s}</math> が <math>\frac{1}{2}</math> であることから、スピン磁気量子数 <math>\mathit{m}_s</math> のとる値としては、
<math>\mathit{m}_s=-\frac{1}{2},\frac{1}{2}</math>
と考えるのが妥当となる。
以上のことから、スピン座標を <math>\sigma</math> で表すと、波動関数は、
<math>\Psi(\mathit{x},\mathit{y},\mathit{z},\sigma)</math>
で書けることとなる。ただし、 <math>\sigma</math> は <math>-\frac{1}{2}</math> または <math>\frac{1}{2}</math> をとる変数である。
フェルミ粒子とボース粒子
同じ種類の粒子は全く同じ質量、電荷、スピンを持つため、同じ種類の粒子を互いに区別することが出来ない。
2 個の同種粒子、例として電子を考え、2 個の電子を電子 1、電子 2 と呼ぶと、その波動関数は位置座標 <math>\mathbf{r}</math> とスピン座標 <math>\sigma</math> を用いて、
<math>\Psi(\mathbf{r}_1,\sigma_1,\mathbf{r}_2,\sigma_2)</math>
と表される。
ここで、電子 1 と電子 2 の位置座標とスピン座標を入れ替えると、
<math>\Psi(\mathbf{r}_2,\sigma_2,\mathbf{r}_1,\sigma_1)</math>
となる。
ところが、2 個の電子は区別できないため、上記の 2 つの波動関数は同一の状態を表す波動関数である。
したがって、<math>\mathit{C}</math> を <math>|\mathit{C}|=1</math> の定数として、
<math>\Psi(\mathbf{r}_2,\sigma_2,\mathbf{r}_1,\sigma_1)=\mathit{C}\Psi(\mathbf{r}_1,\sigma_1,\mathbf{r}_2,\sigma_2)</math>
と書ける。
さらに 2 つの電子の変数をもう一度入れ替えると、
<math>\begin{align}\Psi(\mathbf{r}_1,\sigma_1,\mathbf{r}_2,\sigma_2)&=\mathit{C}\Psi(\mathbf{r}_2,\sigma_2,\mathbf{r}_1,\sigma_1)&=\mathit{C}^2\Psi(\mathbf{r}_1,\sigma_1,\mathbf{r}_2,\sigma_2)\end{align}</math>
という関係が導かれ、<math>\mathit{C}=-1,+1</math> という条件が得られる。
この <math>\mathit{C}</math> の値は、同種粒子の入れ替えによる対称、反対称を意味する。
粒子の具体例として、
- <math>\mathit{C}=-1</math> の場合・・・電子、陽子、中性子
- <math>\mathit{C}=+1</math> の場合・・・光子
が挙げられる。
スピンが <math>\frac{1}{2},\frac{3}{2},\frac{5}{2},...</math> のような半整数の同種粒子の波動関数は、変数の入れ替えで反対称 <math>(\mathit{C}=-1)</math> であり、このような粒子をフェルミ粒子（フェルミオン）と呼ぶ。
対して、スピンが <math>0,1,2,...</math> のような整数の同種粒子の波動関数は、変数の入れ替えで対称 <math>(\mathit{C}=+1)</math> であり、このような粒子をボース粒子（ボソン）と呼ぶ。
多電子原子系
ハートリー近似
原子番号 <math>\mathrm{N}</math> の原子について考える。簡単のために、位置座標 <math>\mathbf{r}</math> とスピン座標 <math>\sigma</math> を <math>\xi</math> を用いて表すと、波動関数は
<math>\Psi(\xi_1,\xi_2,...,\xi_\mathrm{N})</math>
と書ける。
ここで、原子の中で <math>\mathrm{N}</math> 個の電子は互いに独立に運動する、と考えることが出来るため、電子系の波動関数 <math>\Psi(\xi_1,\xi_2,...,\xi_\mathrm{N})</math>
</p> を、以下のような積の形で表される規格化された 1 電子波動関数
<math>\phi_\mathit{i}(\xi)=\Psi_\mathit{j}(\mathbf{r})\alpha(\sigma)</math> または <math>\Psi_\mathit{j}(\mathbf{r})\beta(\sigma)</math>
で表す近似
<math>\Psi(\xi_1,\xi_2,...,\xi_\mathrm{N})=\phi_\mathit{a}(\xi_1)\phi_\mathit{b}(\xi_2)...\phi_\mathit{n}(\xi_\mathrm{N})</math>
を導入する。これをハートリー近似と言う。
ただし、<math>\alpha(\sigma)</math> はアップ・スピン、<math>\beta(\sigma)</math> はダウン・スピンを、<math>\mathit{a},\mathit{b},...,\mathit{n}</math> は量子数を意味する。
2 電子原子
簡単のために、まず 2 電子原子系を考える。ハートリー近似をもとに波動関数を考えると、以下のように書ける。
<math>\Psi(\xi_1,\xi_2)=\phi_\mathit{a}(\xi_1)\phi_\mathit{b}(\xi_2)</math>
今考えているのは電子であるから、座標の入れ替えによる反対称性 (符号の反転) を満足しなければならない。しかし、この波動関数は反対称性を満足していないため、式を書き換える必要がある。
上記の波動関数の座標を入れ替えると、
<math>\Psi(\xi_2,\xi_1)=\phi_\mathit{a}(\xi_2)\phi_\mathit{b}(\xi_1)</math>
となる。
この式を考慮に入れ、反対称化して規格化すると、以下の波動関数が得られる。
<math>\Psi(\xi_1,\xi_2)=\frac{1}{\sqrt{2!}}[\phi_\mathit{a}(\xi_1)\phi_\mathit{b}(\xi_2)-\phi_\mathit{a}(\xi_2)\phi_\mathit{b}(\xi_1)]</math>
ここで、この波動関数を行列式で表現することを考えると、
<math>\Psi(\xi_1,\xi_2)=\frac{1}{\sqrt{2!}}\begin{vmatrix}
\phi_\mathit{a}(\xi_1) & \phi_\mathit{b}(\xi_1) \\
\phi_\mathit{a}(\xi_2) & \phi_\mathit{b}(\xi_2)
\end{vmatrix}</math>
となる。
行列式の性質から、
- 座標 <math>\xi_1,\xi_2</math> を交換すると、行が交換されて行列式の符号が変わる <math>\Rightarrow</math> 反対称性を満足している
- 量子数 <math>\mathit{a},\mathit{b}</math> が一致すると、2 つの列が一致するため、行列式が 0 となる <math>\Rightarrow</math> 波動関数が存在しない
ということが言える。
N 電子原子
2 電子原子での波動関数を行列式で表す考え方を拡張すると、原子番号 <math>\mathrm{N}</math> の原子の波動関数の行列式は以下となる。
<math>\Psi(\xi_1,\xi_2,...,\xi_\mathrm{N})=\frac{1}{\sqrt{\mathrm{N}!}}\begin{vmatrix}
\phi_\mathit{a}(\xi_1) & \phi_\mathit{b}(\xi_1) & \cdots & \phi_\mathit{n}(\xi_1) \\
\phi_\mathit{a}(\xi_2) & \phi_\mathit{b}(\xi_2) & \cdots & \phi_\mathit{n}(\xi_2) \\
\vdots & \vdots & \ddots & \vdots \\
\phi_\mathit{a}(\xi_N) & \phi_\mathit{b}(\xi_N) & \cdots & \phi_\mathit{n}(\xi_N) \\
\end{vmatrix}</math>
これをスレーター行列式と呼ぶ。
また、以上のように、波動関数を行列式を用いて近似する方法をハートリー・フォック近似と言う。
スレーター行列式による証明
<math>\Psi(\xi_1,\xi_2,...,\xi_\mathrm{N})=\frac{1}{\sqrt{\mathrm{N}!}}\begin{vmatrix}
\phi_\mathit{a}(\xi_1) & \phi_\mathit{b}(\xi_1) & \cdots & \phi_\mathit{n}(\xi_1) \\
\phi_\mathit{a}(\xi_2) & \phi_\mathit{b}(\xi_2) & \cdots & \phi_\mathit{n}(\xi_2) \\
\vdots & \vdots & \ddots & \vdots \\
\phi_\mathit{a}(\xi_N) & \phi_\mathit{b}(\xi_N) & \cdots & \phi_\mathit{n}(\xi_N) \\
\end{vmatrix}</math>
スレーター行列式は、行列式の性質から、
- 2 つの行の入れ替え(電子 <math>\mathit{i},\mathit{j}</math> の座標 <math>\xi_\mathit{i},\xi_\mathit{j}</math> の入れ替え)で行列式は -1 倍となる <math>\Rightarrow</math> 反対称性を満足している
- 量子数が一致し、ある 2 つの列が同一となると、行列式は 0 となる <math>\Rightarrow</math> 波動関数が存在しない
ということが言える。
この行列式の性質から総じて言えることは
2 つ以上の電子(フェルミ粒子)は、同一の量子状態 <math>(\phi_\mathit{a},\phi_\mathit{b},...)</math> を占めることはできない
ということである。
以上から、ハートリー・フォック近似によるスレーター行列式により、パウリの排他原理は自動的に満たされていることが分かる。
参考文献
外部リンク
- Wolfgang Pauli,“Exclusion Principle and Quantum Mechanics ”, Nobel Lecture, December 13, 1946; パウリのノーベル物理学賞受賞時の講演。パウリの排他律を発見するに至る経緯が記されている。
