多体波動関数のソースを表示

[[量子力学]]における'''多体波動関数'''とは、[[多粒子系]]の状態を表す[[波動関数]]のこと。

同種な多粒子系の状態を[[占有数表示]]で表すことを[[第二量子化]]と呼ばれるのに対し、多体波動関数で状態を表すことを'''第一量子化'''と呼ばれることがある。

== 多体波動関数の意味 ==
１つの粒子からなる系の場合、その[[量子状態]]は[[波動関数]]で表される。粒子の[[位置]]を<math>\boldsymbol{r}_1</math>と名付けると、波動関数<math>\psi(\boldsymbol{r}_1)</math>は<math>\boldsymbol{r}_1</math>についての関数で複素数値をとる。その物理的な意味は、この粒子の位置を測定したときの測定値のバラつきを表す確率振幅である（[[ボルンの規則]]）。

2つの粒子からなる系の場合は、それぞれの粒子の位置を<math>\boldsymbol{r}_1</math>、<math>\boldsymbol{r}_2</math>と名付けると、この2粒子系の波動関数は<math>\psi(\boldsymbol{r}_1, \boldsymbol{r}_2)</math>となり、複素数値をとる関数。ただし1粒子の場合とは違い、<math>\psi(\boldsymbol{r}_1, \boldsymbol{r}_2)</math>は、2つの位置座標<math>\boldsymbol{r}_1</math>、<math>\boldsymbol{r}_2</math>を指定してはじめて1つの複素数が返ってくるような関数である。この返ってきた複素数値を、3次元空間のどこかに「住んでいる」という1粒子の波動関数やあるいは場のような考え方をすることはできない。このことは、3つ以上の粒子の場合でも同様である。そういう意味で、多粒子系を考えることで、量子力学の波動関数を「空間に実在する波」とはみなせないことが明確になる<ref name=tasaki>{{Cite book|和書|author=田崎晴明|authorlink=田崎晴明|year=2008|title=統計力学I|publisher=[[培風館]]|id=ISBN 4563024376}}</ref>。

== 対称性と反対称性 ==
多数の[[同種粒子]]からなる系を考えるときに重要となる概念が[[不可弁別性]]である。たとえば2つの同種粒子からなる系の場合、2つの粒子の名前の入れ替え<math>\boldsymbol{r}_i\leftrightarrow\boldsymbol{r}_j</math>をしても、入れ替える前と同じ状態のままである。

この事実を反映して、2つの粒子の名前の入れ替えをしても、多体波動関数で変わるのはせいぜい[[位相因子]]までであることがわかる。
2粒子間で名前の入れ替えを2回続けて行うと元の波動関数に戻るはずなので、粒子の名前の入れ替えによって多体波動関数にかかる位相因子は+1または-1のどちらかであることがわかる。

粒子の名前の入れ替えによって+1の因子がつく場合の多体波動関数は'''対称性'''を持つと言い、この場合の同種粒子を[[ボース粒子]]と言う。
:<math>\Psi_B(\dots,\boldsymbol{r}_i,\dots,\boldsymbol{r}_j,\dots)=+\Psi_B(\dots,\boldsymbol{r}_j,\dots,\boldsymbol{r}_i,\dots)</math>
一方で-1の因子がつく場合の多体波動関数は'''反対称性'''を持つと言い、この場合の同種粒子を[[フェルミ粒子]]と言う。
:<math>\Psi_F(\dots,\boldsymbol{r}_i,\dots,\boldsymbol{r}_j,\dots)=-\Psi_F(\dots,\boldsymbol{r}_j,\dots,\boldsymbol{r}_i,\dots)</math>
この対称性・反対称性は同種多粒子系を表す波動関数が満たさなければならない性質である。

=== 置換 ===
波動関数の対称性を簡単に表すために、数学における置換を導入する<ref name=tasaki/>。1から''N''の数字を並べたもの<math>\{1,2,\dots,N\}</math>を並べ替える操作<math>\pi</math>を、''N''次の[[置換 (数学)|置換]]と呼ぶ。
:<math>\{1,2,\dots,N\}\to\{\pi(1),\pi(2),\dots,\pi(N)\}</math>
置換は一対一写像であり、全部で''N''!通りある。これらの集まりは[[群 (数学)|群]]をなし、''N''体の[[置換群]]（または[[対称群]]）<math>S_{N}</math>と呼ぶ。
置換の中でも、単に2つの数字を入れ替えるだけの操作を[[対称群#互換|互換]]という。

ある置換<math>\pi</math>が<math>n</math>個の互換の組み合わせで書けるとき、置換<math>\pi</math>の[[置換の符号|符号]]（または[[パリティ (物理学)|パリティ]]）<math>(-1)^\pi</math>を次のように定義する。
:<math>(-1)^\pi\equiv(-1)^n</math>
置換<math>\pi</math>を決めても、互換の個数<math>n</math>は一通りには決まらない。それでも<math>(-1)^n</math>は一通りに決まる。パリティが<math>(-1)^\pi=1</math>となるような置換のことを[[偶置換]]、<math>(-1)^\pi=-1</math>となる置換のことを[[奇置換]]という。

これらを用いると、N粒子波動関数の対称性・反対称性は次のように表せる。
:<math>\Psi_B(\boldsymbol{r}_1,\boldsymbol{r}_2,\dots,\boldsymbol{r}_N)=\Psi_B(\boldsymbol{r}_{\pi(1)},\boldsymbol{r}_{\pi(2)},\dots,\boldsymbol{r}_{\pi(N)})</math>（粒子が[[ボース粒子]]の場合）
:<math>\Psi_F(\boldsymbol{r}_1,\boldsymbol{r}_2,\dots,\boldsymbol{r}_N)=(-1)^\pi\Psi_F(\boldsymbol{r}_{\pi(1)},\boldsymbol{r}_{\pi(2)},\dots,\boldsymbol{r}_{\pi(N)})</math> （粒子が[[フェルミ粒子]]の場合）

== 1粒子波動関数からの構成 ==
相互作用のない同種の''N''粒子系を考える。''i'' 番目の粒子のシュレーディンガー方程式は次のように書ける。
:<math>\hat{H}_i\psi_{\alpha_i}(\boldsymbol{r}_i)=\epsilon_{\alpha_i}\psi_{\alpha_i}(\boldsymbol{r}_i)</math>
ここでそれぞれの固有状態・固有エネルギーを<math>\alpha</math>でラベル付けした。1粒子波動関数<math>\psi_{\alpha}(\boldsymbol{r}_i)</math>の[[完全系]]から、上述のように対称化・反対称化されたN粒子波動関数を構成することを考える。例えば、次のようなものを考えてみる。
:<math>\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)</math>
この波動関数<math>\Psi</math>は確かに''N''粒子系の全ハミルトニアン<math>\sum_i\hat{H}_i</math>の固有関数になってはいるが、対称化・反対称化されていないために上述の同種なN粒子波動関数としての資格を有していない。よってこの波動関数に対称性・反対称性を持たせる必要がある。
=== ボース粒子 ===
ボース粒子の場合、次のような対称化演算子<math>\mathcal{S}</math>によって多体波動関数は対称化される。
:<math>
\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)})
</math>
ここで<math>\mathcal{N}</math>は規格化定数であり、和<math>\sum_{\pi\in S_N}</math>はN!個の置換<math>\pi</math>全てについての和を表す。これは<math>\psi_{\alpha_{j}}(\boldsymbol{r}_i)</math>を''i'' 行''j'' 列行列要素にもつ''N''×''N''行列<math>U</math>の[[パーマネント (数学)]]<math>\Psi_B=\mathcal{N}\operatorname{perm} U</math>である。
=== フェルミ粒子 ===
フェルミ粒子の場合、次のような反対称化演算子<math>\mathcal{A}</math>によって多体波動関数が反対称化される。
:<math>
\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)})
</math>
これは<math>\psi_{\alpha_{j}}(\boldsymbol{r}_i)</math>を''i'' 行''j'' 列行列要素にもつ''N''×''N''行列<math>U</math>の[[行列式]]<math>\Psi_F=\mathcal{N}\operatorname{det} U</math>であり、[[スレーター行列式]]と呼ばれる。

== 参考文献 ==
<references />

== 関連項目 ==
* [[第二量子化]]

{{デフォルトソート:たたいはとうかんすう}}
[[Category:量子力学]]
[[Category:量子化学]]