量子力学における多体波動関数とは、多粒子系の状態を表す波動関数のこと。
同種な多粒子系の状態を占有数表示で表すことを第二量子化と呼ばれるのに対し、多体波動関数で状態を表すことを第一量子化と呼ばれることがある。
1つの粒子からなる系の場合、その量子状態は波動関数で表される。粒子の位置を
と名付けると、波動関数
は
についての関数で複素数値をとる。その物理的な意味は、この粒子の位置を測定したときの測定値のバラつきを表す確率振幅である(ボルンの規則)。
2つの粒子からなる系の場合は、それぞれの粒子の位置を
、
と名付けると、この2粒子系の波動関数は
となり、複素数値をとる関数。ただし1粒子の場合とは違い、
は、2つの位置座標
、
を指定してはじめて1つの複素数が返ってくるような関数である。この返ってきた複素数値を、3次元空間のどこかに「住んでいる」という1粒子の波動関数やあるいは場のような考え方をすることはできない。このことは、3つ以上の粒子の場合でも同様である。そういう意味で、多粒子系を考えることで、量子力学の波動関数を「空間に実在する波」とはみなせないことが明確になる[1]。
多数の同種粒子からなる系を考えるときに重要となる概念が不可弁別性である。たとえば2つの同種粒子からなる系の場合、2つの粒子の名前の入れ替え
をしても、入れ替える前と同じ状態のままである。
この事実を反映して、2つの粒子の名前の入れ替えをしても、多体波動関数で変わるのはせいぜい位相因子までであることがわかる。 2粒子間で名前の入れ替えを2回続けて行うと元の波動関数に戻るはずなので、粒子の名前の入れ替えによって多体波動関数にかかる位相因子は+1または-1のどちらかであることがわかる。
粒子の名前の入れ替えによって+1の因子がつく場合の多体波動関数は対称性を持つと言い、この場合の同種粒子をボース粒子と言う。
![{\displaystyle \Psi _{B}(\dots ,{\boldsymbol {r}}_{i},\dots ,{\boldsymbol {r}}_{j},\dots )=+\Psi _{B}(\dots ,{\boldsymbol {r}}_{j},\dots ,{\boldsymbol {r}}_{i},\dots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6dd6d21c43a9cc748c9e00f9ce263098d398888)
一方で-1の因子がつく場合の多体波動関数は反対称性を持つと言い、この場合の同種粒子をフェルミ粒子と言う。
![{\displaystyle \Psi _{F}(\dots ,{\boldsymbol {r}}_{i},\dots ,{\boldsymbol {r}}_{j},\dots )=-\Psi _{F}(\dots ,{\boldsymbol {r}}_{j},\dots ,{\boldsymbol {r}}_{i},\dots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e887b6ddc8e2a2a9ac537956015634a7b58ad62f)
この対称性・反対称性は同種多粒子系を表す波動関数が満たさなければならない性質である。
波動関数の対称性を簡単に表すために、数学における置換を導入する[1]。1からNの数字を並べたもの
を並べ替える操作
を、N次の置換と呼ぶ。
![{\displaystyle \{1,2,\dots ,N\}\to \{\pi (1),\pi (2),\dots ,\pi (N)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7abfedeec2fe9ff404fe256e44303c8a341f34f3)
置換は一対一写像であり、全部でN!通りある。これらの集まりは群をなし、N体の置換群(または対称群)
と呼ぶ。 置換の中でも、単に2つの数字を入れ替えるだけの操作を互換という。
ある置換
が
個の互換の組み合わせで書けるとき、置換
の符号(またはパリティ)
を次のように定義する。
![{\displaystyle (-1)^{\pi }\equiv (-1)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5626ed4f466cbc3c85be2ddba2b1e83d5bf7ba7)
置換
を決めても、互換の個数
は一通りには決まらない。それでも
は一通りに決まる。パリティが
となるような置換のことを偶置換、
となる置換のことを奇置換という。
これらを用いると、N粒子波動関数の対称性・反対称性は次のように表せる。
(粒子がボース粒子の場合)
(粒子がフェルミ粒子の場合)
相互作用のない同種のN粒子系を考える。i 番目の粒子のシュレーディンガー方程式は次のように書ける。
![{\displaystyle {\hat {H}}_{i}\psi _{\alpha _{i}}({\boldsymbol {r}}_{i})=\epsilon _{\alpha _{i}}\psi _{\alpha _{i}}({\boldsymbol {r}}_{i})}](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://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://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://wikimedia.org/api/rest_v1/media/math/render/svg/337ca70d73ed5188fac5014d3033b5305c83f766)
これは
をi 行j 列行列要素にもつN×N行列
の行列式
であり、スレーター行列式と呼ばれる。
- ^ a b 田崎晴明『統計力学I』培風館、2008年。ISBN 4563024376。