同種な多粒子系の状態を占有数表示で表すことを第二量子化と呼ばれるのに対し、多体波動関数で状態を表すことを第一量子化と呼ばれることがある。
多体波動関数の意味
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://weblio.hs.llnwd.net/e7/img/dict/wkpja/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://weblio.hs.llnwd.net/e7/img/dict/wkpja/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://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/7abfedeec2fe9ff404fe256e44303c8a341f34f3)
置換は一対一写像であり、全部でN!通りある。これらの集まりは群をなし、N体の置換群(または対称群)
と呼ぶ。
置換の中でも、単に2つの数字を入れ替えるだけの操作を互換という。
ある置換
が
個の互換の組み合わせで書けるとき、置換
の符号(またはパリティ)
を次のように定義する。
![{\displaystyle (-1)^{\pi }\equiv (-1)^{n}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/d5626ed4f466cbc3c85be2ddba2b1e83d5bf7ba7)
置換
を決めても、互換の個数
は一通りには決まらない。それでも
は一通りに決まる。パリティが
となるような置換のことを偶置換、
となる置換のことを奇置換という。
これらを用いると、N粒子波動関数の対称性・反対称性は次のように表せる。
(粒子がボース粒子の場合)
(粒子がフェルミ粒子の場合)