パウリの排他原理のソースを表示


'''パウリの排他原理'''（パウリのはいたげんり、{{lang-en-short|Pauli exclusion principle}}）とは、2つ以上の[[フェルミ粒子]]は、同一の[[量子状態]]を占めることはできない、という原理である<ref>{{Cite web|和書|title=パウリの原理とは|url=https://kotobank.jp/word/%E3%83%91%E3%82%A6%E3%83%AA%E3%81%AE%E5%8E%9F%E7%90%86-113352|website=コトバンク|accessdate=2020-10-15|language=ja|first=ブリタニカ国際大百科事典 小項目事典,デジタル大辞泉,百科事典マイペディア,法則の辞典,世界大百科事典 第２版,大辞林 第三版,日本大百科全書(ニッポニカ),精選版 日本国語大辞典,化学辞典|last=第2版}}</ref>。1925年に[[ヴォルフガング・パウリ]]によって提唱された<ref name ="pauli">W. Pauli,“Über den Zusammenhang des Abschlusses der Elektronengruppen im Atom mit der Komplexstruktur der Spektren,” ''Z. Physik'', '''31''',  p.765 (1925) {{doi|10.1007/BF02980631}}</ref>。'''パウリの定理'''、'''パウリの排他律'''、'''パウリの禁制'''、'''パウリの禁則'''などとも呼ばれる。

パウリの排他原理はフェルミ粒子について成り立つ法則であり、[[ボース粒子]]については成り立たない（ボース粒子は、複数の粒子が同一の量子状態を占めることがありうる）。

==スピンの発見と命名==
{{main|スピン角運動量#歴史}}

[[ナトリウム]]の[[フラウンホーファー線|D線]]の実験において、[[磁場]]がない場合は単一波長の光が観察されるはずであったが、予想に反してD線が2本に分裂することが発見された。それを受け、1924年に[[ヴォルフガング・パウリ]]は、[[電子]]が2値の量子[[自由度]]を持つ可能性について言及した。

1925年に[[ウーレンベック]]と[[ゴーズミット]]は、この電子の自由度の由来について、電子が自転しているという仮説をたてた<ref>{{Cite journal
| author = G.E. Uhlenbeck, S. Goudsmit
| title = Ersetzung der Hypothese vom unmechanischen Zwang durch eine Forderung bezüglich des inneren Verhaltens jedes einzelnen Elektrons
| journal = Naturwissenschaften
| volume = 13 | issue = 47
| year = 1925
| pages = 953-954
| doi = 10.1007/BF01558878
}}</ref><ref>{{Cite journal
| author = G.E. Uhlenbeck, S. Goudsmit
| title = Spinning Electrons and the Structure of Spectra
| journal = Nature
| volume = 117
| year = 1926
| pages = 264-265
| doi = 10.1038/117264a0
}}</ref>ため、この[[自由度]]は[[スピン角運動量|スピン]]と呼ばれるようになった。しかし、電子が自身のスピンに相当する角運動量を自転によって得るためには、[[光速]]を超える速度で自転しなければならず、[[相対性理論|相対論]]に反する。そのため、パウリによってこの仮説は否定されたが、スピンという名称は残された。

==スピン座標==
これまで電子の状態を表す[[波動関数]]は、空間座標のみの関数と考え、
{{center|<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 つであることが分かる。
よって、
{{center|<math>2\mathit{s}+1=2</math>}}
であり、
{{center|<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>1/2</math>であることから、スピン磁気量子数<math>\mathit{m}_s</math>のとる値としては、
{{center|<math>\mathit{m}_s=-\frac{1}{2},\frac{1}{2}</math>}}
と考えるのが妥当となる。

以上のことから、スピン座標を<math>\sigma</math>で表すと、波動関数は、
{{center|<math>\Psi(\mathit{x},\mathit{y},\mathit{z},\sigma)</math>}}
で書けることとなる。ただし、<math>\sigma</math>は<math>-1/2</math>または<math>1/2</math>をとる。

==フェルミ粒子とボース粒子==
同じ種類の粒子は全く同じ質量、電荷、スピンを持つため、同じ種類の粒子を互いに区別することが出来ない。

2個の同種粒子、例として電子を考え、2個の電子を電子1、電子2と呼ぶと、その波動関数は位置座標<math>\boldsymbol{r}</math>とスピン座標<math>\sigma</math>を用いて、
<div style="text-align:center"><math>\Psi(\boldsymbol{r}_1,\sigma_1,\boldsymbol{r}_2,\sigma_2)</math></div>
と表される。 

ここで、電子1と電子2の位置座標とスピン座標を入れ替えると、
<div style="text-align:center"><math>\Psi(\boldsymbol{r}_2,\sigma_2,\boldsymbol{r}_1,\sigma_1)</math></div>
となる。

ところが、2個の電子は区別できないため、上記の2つの波動関数は同一の状態を表す波動関数である。

したがって、定数<math>C</math>で、
<div style="text-align:center"><math>\Psi(\boldsymbol{r}_2,\sigma_2,\boldsymbol{r}_1,\sigma_1)=C\Psi(\boldsymbol{r}_1,\sigma_1,\boldsymbol{r}_2,\sigma_2)</math></div>
と書ける。

さらに2つの電子の変数をもう一度入れ替えると、
<div style="text-align:center"><math>\Psi(\boldsymbol{r}_1,\sigma_1,\boldsymbol{r}_2,\sigma_2) = C\Psi(\boldsymbol{r}_2,\sigma_2,\boldsymbol{r}_1,\sigma_1) = C^2\Psi(\boldsymbol{r}_1,\sigma_1,\boldsymbol{r}_2,\sigma_2)</math></div>
という関係が導かれ、<math>\mathit{C}=-1,+1</math>という条件が得られる。

この<math>\mathit{C}</math>の値は、同種粒子の入れ替えによる[[対称]]、[[反対称]]を意味する。

粒子の具体例として、
*<math>\mathit{C}=-1</math> の場合・・・電子、陽子、中性子
*<math>\mathit{C}=+1</math> の場合・・・光子
が挙げられる。

スピンが<math>1/2, 3/2, 5/2, \dots</math>のような半整数の同種粒子の波動関数は、変数の入れ替えで反対称<math>(\mathit{C}=-1)</math>であり、このような粒子を'''フェルミ粒子'''（[[フェルミオン]]）と呼ぶ。

対して、スピンが<math>0,1,2,...</math>のような整数の同種粒子の波動関数は、変数の入れ替えで対称<math>(\mathit{C}=+1)</math>であり、このような粒子を'''ボース粒子'''（[[ボソン]]）と呼ぶ。

==多電子原子系==
===ハートリー近似===
原子番号<math>N</math>の原子について考える。簡単のために、位置座標<math>\boldsymbol{r}</math>とスピン座標<math>\sigma</math>を<math>\xi</math>を用いて表すと、波動関数は
<div style="text-align:center"><math>\Psi(\xi_1,\xi_2,...,\xi_{N})</math></div>
と書ける。

ここで、原子の中で<math>N</math>個の電子は互いに独立に運動する、と考えることが出来るため、電子系の波動関数<math>\Psi(\xi_1,\xi_2,...,\xi_{N})</math></p>を、以下のような積の形で表される規格化された1電子波動関数
<div style="text-align:center"><math>\phi_{i}(\xi)=\Psi_{j}(\boldsymbol{r})\alpha(\sigma)</math> または <math>\Psi_{j}(\boldsymbol{r})\beta(\sigma)</math></div>
で表す近似
<div style="text-align:center"><math>\Psi(\xi_1,\xi_2,...,\xi_{N})=\phi_\mathit{a}(\xi_1)\phi_\mathit{b}(\xi_2) \dotsb \phi_\mathit{n}(\xi_{N})</math></div>
を導入する。これを'''[[ハートリー近似]]'''と言う。
ただし、<math>\alpha(\sigma)</math>はアップ・スピン、<math>\beta(\sigma)</math>はダウン・スピンを、<math>\mathit{a},\mathit{b},...,\mathit{n}</math>は[[量子数]]を意味する。

===2電子原子===
簡単のために、まず2電子原子系を考える。ハートリー近似をもとに波動関数を考えると、以下のように書ける。
<div style="text-align:center"><math>\Psi(\xi_1,\xi_2)=\phi_\mathit{a}(\xi_1)\phi_\mathit{b}(\xi_2)</math></div>
今考えているのは電子であるから、座標の入れ替えによる反対称性（符号の反転）を満足しなければならない。しかし、この波動関数は反対称性を満足していないため、式を書き換える必要がある。

上記の波動関数の座標を入れ替えると、
<div style="text-align:center"><math>\Psi(\xi_2,\xi_1)=\phi_\mathit{a}(\xi_2)\phi_\mathit{b}(\xi_1)</math></div>
となる。

この式を考慮に入れ、反対称化して[[規格化]]すると、以下の波動関数が得られる。
<div style="text-align:center"><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></div>

ここで、この波動関数を[[行列式]]で表現することを考えると、
<div style="text-align:center"><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></div>
となる。

行列式の性質から、
*'''座標 <math>\xi_1,\xi_2</math> を交換すると、行が交換されて行列式の符号が変わる <math>\Rightarrow</math> 反対称性を満足している'''
*'''量子数 <math>\mathit{a},\mathit{b}</math> が一致すると、2つの列が一致するため、行列式が0となる <math>\Rightarrow</math> 波動関数が存在しない'''
ということが言える。

===N電子原子===
2電子原子での波動関数を行列式で表す考え方を拡張すると、原子番号<math>N</math>の原子の波動関数の行列式は以下となる。
<div style="text-align:center"><math>\Psi(\xi_1,\xi_2,...,\xi_{N})=\frac{1}{\sqrt{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></div>

これを'''[[スレイター行列式]]'''と呼ぶ。

また、以上のように、波動関数を行列式を用いて近似する方法を[[ハートリー・フォック近似]]と言う。

==スレイター行列式による証明==
<div style="text-align:center"><math>\Psi(\xi_1,\xi_2,...,\xi_{N})=\frac{1}{\sqrt{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></div>

スレイター行列式は、行列式の性質から、
*'''2つの行の入れ替え（電子<math>\mathit{i},\mathit{j}</math>の座標<math>\xi_\mathit{i},\xi_\mathit{j}</math>の入れ替え）で行列式は−1倍となる<math>\Rightarrow</math>反対称性を満足している'''
*'''量子数が一致し、ある2つの列が同一となると、行列式は0となる<math>\Rightarrow</math>波動関数が存在しない'''
ということが言える。

この行列式の性質から総じて言えることは
<div style="text-align:center">
'''2つ以上の電子(フェルミ粒子)は、同一の量子状態 <math>(\phi_\mathit{a},\phi_\mathit{b},...)</math> を占めることはできない'''</div>
ということである。

以上から、ハートリー・フォック近似によるスレイター行列式により、パウリの排他原理は自動的に満たされていることが分かる。

==脚注==
{{reflist}}

==参考文献==
{{参照方法|date=2017年6月|section=1}}
*{{Cite|和書
  | author = [[朝永振一郎]]
  | title = スピンはめぐる
  | publisher = みすず書房
  | edition = 新
  | pages = 
  | isbn = 978-4-622-07369-7
  | date = 2008年7月30日
}}
*{{Cite|和書
  | author = [[原康夫]]
  | title = 量子力学
  | series = 岩波基礎物理シリーズ 5
  | publisher = 岩波書店
  | pages = 
  | isbn = 978-4000079259
  | date = 2009年11月5日
}}
*{{Cite|和書
  | author = [[小出昭一郎]]
  | title = 量子力学 (I)
  | series = 基礎物理学選書 5A
  | edition = 改訂
  | publisher = 裳華房
  | pages = 
  | isbn = 978-4785321321
  | date = 2012年2月20日
}}
*{{Cite|和書
  | author = 村上雅人
  | title = なるほど量子力学 (III)
  | publisher = 海鳴社
  | pages = 
  | isbn = 978-4875252498
  | date = 2008年2月
}}
*{{Cite|和書
  | author = 河原林研
  | title = 量子力学
  | series = 現代物理学叢書
  | publisher = 岩波書店
  | pages = 
  | isbn = 978-4000067539
  | date = 2001年2月15日
}}
*{{Cite|和書
  | author = [[中嶋貞雄]]
  | title = 量子力学 II
  | series = 物理入門コース 6
  | publisher = 岩波書店
  | pages = 
  | isbn = 978-4000076463
  | date = 2009年10月15日
}}

== 関連項目 ==
* [[ハートリー近似]]
* [[スレイター行列式]]
* [[フントの規則]]
* [[フェルミ粒子]]
* [[スピノル]]
* [[ヴォルフガング・パウリ]]
* [[ジョージ・ウーレンベック]]
* [[サミュエル・ゴーズミット]]

== 外部リンク ==
* Wolfgang Pauli,“[https://www.nobelprize.org/prizes/physics/1945/pauli/lecture/ Exclusion Principle and Quantum Mechanics ]”, Nobel Lecture, December 13, 1946; パウリのノーベル物理学賞受賞時の講演。パウリの排他律を発見するに至る経緯が記されている。

{{量子力学}}

{{Normdaten}}
{{DEFAULTSORT:はうりのはいたけんり}}
[[Category:自然科学の法則]]
[[Category:量子数]]
[[Category:ヴォルフガング・パウリ]]
[[Category:物理学のエポニム]]