出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/06 05:32 UTC 版)
1粒子波動関数からの構成
相互作用のない同種のN粒子系を考える。i 番目の粒子のシュレーディンガー方程式は次のように書ける。
![{\displaystyle {\hat {H}}_{i}\psi _{\alpha _{i}}({\boldsymbol {r}}_{i})=\epsilon _{\alpha _{i}}\psi _{\alpha _{i}}({\boldsymbol {r}}_{i})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/4a6907a4e9025dc5a3e8633661c7637e12fc52b0)
ここでそれぞれの固有状態・固有エネルギーを
でラベル付けした。1粒子波動関数
の完全系から、上述のように対称化・反対称化されたN粒子波動関数を構成することを考える。例えば、次のようなものを考えてみる。
![{\displaystyle \Psi ({\boldsymbol {r}}_{1},{\boldsymbol {r}}_{2},\dots ,{\boldsymbol {r}}_{N})=\psi _{\alpha _{1}}({\boldsymbol {r}}_{1})\psi _{\alpha _{2}}({\boldsymbol {r}}_{2})\dots \psi _{\alpha _{N}}({\boldsymbol {r}}_{N})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/99a22fb2780196400d7e068450eb3eb563ad2f75)
この波動関数
は確かにN粒子系の全ハミルトニアン
の固有関数になってはいるが、対称化・反対称化されていないために上述の同種なN粒子波動関数としての資格を有していない。よってこの波動関数に対称性・反対称性を持たせる必要がある。
ボース粒子
ボース粒子の場合、次のような対称化演算子
によって多体波動関数は対称化される。
![{\displaystyle \Psi _{B}({\boldsymbol {r}}_{1},{\boldsymbol {r}}_{2},\dots ,{\boldsymbol {r}}_{N})={\mathcal {N}}{\mathcal {S}}\Psi ({\boldsymbol {r}}_{1},{\boldsymbol {r}}_{2},\dots ,{\boldsymbol {r}}_{N})={\mathcal {N}}\sum _{\pi \in S_{N}}\psi _{\alpha _{1}}({\boldsymbol {r}}_{\pi (1)})\psi _{\alpha _{2}}({\boldsymbol {r}}_{\pi (2)})\dots \psi _{\alpha _{N}}({\boldsymbol {r}}_{\pi (N)})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/7d8dbd35148b5fab1861ced4d115d8bfd8592d0d)
ここで
は規格化定数であり、和
はN!個の置換
全てについての和を表す。これは
をi 行j 列行列要素にもつN×N行列
のパーマネント (数学)
である。
フェルミ粒子
フェルミ粒子の場合、次のような反対称化演算子
によって多体波動関数が反対称化される。
![{\displaystyle \Psi _{F}({\boldsymbol {r}}_{1},{\boldsymbol {r}}_{2},\dots ,{\boldsymbol {r}}_{N})={\mathcal {N}}{\mathcal {A}}\Psi ({\boldsymbol {r}}_{1},{\boldsymbol {r}}_{2},\dots ,{\boldsymbol {r}}_{N})={\mathcal {N}}\sum _{\pi \in S_{N}}(-1)^{\pi }\psi _{\alpha _{1}}({\boldsymbol {r}}_{\pi (1)})\psi _{\alpha _{2}}({\boldsymbol {r}}_{\pi (2)})\dots \psi _{\alpha _{N}}({\boldsymbol {r}}_{\pi (N)})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/337ca70d73ed5188fac5014d3033b5305c83f766)
これは
をi 行j 列行列要素にもつN×N行列
の行列式
であり、スレーター行列式と呼ばれる。