利用者:LUE=42/sandbox/1
前提知識ー同種粒子[編集]
2つの相異なる粒子1、2があり、粒子1、…、nの取りうる状態ベクトル全体のなす空間をそれぞれ
、
とすると、粒子1、2の両方が存在する合成系の状態ベクトルのなす空間はテンソル積
![{\displaystyle {\mathcal {H}}_{1}\otimes {\mathcal {H}}_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7075813e49496d2f1735a64483031355aabf7456)
によって表現できる。
しかし粒子1、2が同種の粒子(例えばいずれも電子)である場合、
である。
この場合量子力学では2つの粒子は区別できず、それゆえ状態ベクトル
![{\displaystyle \psi _{1}\otimes \psi _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94f065bbbfbe9df30870d5aa8a25cda52682482d)
と、粒子を入れ替えた
![{\displaystyle \psi _{2}\otimes \psi _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7506586825cc6ba50ba6fd9aebe852254dfe7a2)
は同一の状態をさす事が知られている。
これらが同一の状態を指すという事は、位相の差を除いて一致するということなので、
![{\displaystyle \psi _{1}\otimes \psi _{2}=c\psi _{2}\otimes \psi _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88bab854a116e2cc7290af94e5fe07fc79b8d7a2)
が何らかの位相成分cに対して成立する。同様の理由で
![{\displaystyle \psi _{2}\otimes \psi _{1}=c\psi _{1}\otimes \psi _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16d64af1c3683b9ba527ddec3a0af0a23c765179)
でなければならないが、これら2つの式が成立するには
![{\displaystyle c^{2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f074f65f21fb4dbb3ed207fe3e83a85fdc0bed26)
すなわち
![{\displaystyle c=1,~-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/521c94f983bfb424d1e6d6135ec6c83121054552)
でなければならない。c=1である粒子をボゾン、c=-1である粒子をフェルミオンという。
フェルミオンの定義式
![{\displaystyle \psi _{2}\otimes \psi _{1}=-\psi _{1}\otimes \psi _{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/227fc5f0bd8a29756fe0b4596492b5deab782bcf)
においてψ1、ψ2が同一の量子状態ψ1=ψ2=ψであったとすると、
![{\displaystyle \psi \otimes \psi =-\psi \otimes \psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/050abc7ec21d06ae83f4a72a9718ee7062e6d541)
より
![{\displaystyle \psi \otimes \psi =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9effef9e0a67d3251dcf6325336566789254d179)
である。すなわち、2つの同種のフェルミオンが同一の量子状態ψを取る事はない。この事実をパウリの排他原理という。
量子力学に従う全ての粒子は同種である場合区別できず、ボゾンであるかフェルミオンであるかのいずれかであるが、近似的には同種である場合に区別できる粒子を考えた方が良い場合もある。たとえばフェルミオンの分子数が非常に大きいときは量子状態の数も多いので、パウリの排他原理を課すまでもなく、2つの粒子が同一の量子状態を取る事はほとんどなく、同種粒子が区別できるとしても問題ない。
よって以下ではボゾン、フェルミオン、同種でも区別できる粒子の3種類の粒子を考えることにする。
統計力学では粒子がどのような確率で分布するのかが重要であるが、粒子が以上の3種類の粒子のうちいずれであるのかによって粒子が従う確率分布が異なる為、これら3つのケースを区別して扱う必要がある。
粒子がボゾンである場合の系の統計的振る舞いをボーズ・アインシュタイン統計もしくは対称統計(symmetric statics)といい、この統計に従う系をS系というK2:位置5102。
また粒子がフェルミオンである場合の系の統計的振る舞いをフェルミ・ディラック統計もしくは反対称統計(asymmetric statics)といい、この統計に従う系をA系というK2:位置5102。
同様に、粒子が同種であっても区別できる場合の系の統計的振る舞いをマクスウェル・ボルツマン統計もしくは完全統計(complete statics)といい、この統計に従う系をC系というK2:位置5102。
S系やA系の粒子を扱う為には、対称化作用素
![{\displaystyle S(\psi _{1}\otimes \psi _{2}):=\psi _{1}\otimes \psi _{2}+\psi _{2}\otimes \psi _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/969be8aaf56b5e29447b531145b331438298ed50)
や反対称化作用素
![{\displaystyle A(\psi _{1}\otimes \psi _{2}):=\psi _{1}\otimes \psi _{2}-\psi _{2}\otimes \psi _{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99792aa0a83faa40be9127778253900f3fa06c21)
を定義すると便利である。より一般にN個のテンソル積の空間
![{\displaystyle {\mathcal {H}}^{\otimes N}={\overset {N}{\overbrace {{\mathcal {H}}\otimes \cdots \otimes {\mathcal {H}}} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83664f9dc388d82ef1c181d25135f17399f46789)
の上で
![{\displaystyle S~:~{\mathcal {H}}^{\otimes N}\to {\mathcal {H}}^{\otimes N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf80013670b48af4f600f23ae920b4fbe880d00c)
![{\displaystyle A~:~{\mathcal {H}}^{\otimes N}\to {\mathcal {H}}^{\otimes N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f33a2f9301514ca4c1a84bbbb5eb9dcc0dd998d)
を
![{\displaystyle S(\psi _{1}\otimes \cdots \otimes \psi _{N}):=\sum _{\sigma \in {\mathfrak {S}}_{N}}\psi _{\sigma (1)}\otimes \cdots \otimes \psi _{\sigma (N)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1ee8bc40308478de991c6123274c48d89b91c80)
![{\displaystyle A(\psi _{1}\otimes \cdots \otimes \psi _{N}):=\sum _{\sigma \in {\mathfrak {S}}_{N}}(-1)^{\mathrm {sgn} (\sigma )}\psi _{\sigma (1)}\otimes \cdots \otimes \psi _{\sigma (N)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b87dc52e496fb756e0feb4bbb797099c70f92d7)
となるよう定義できる。ここで
はN次の対称群であり、
は置換の符号である。
明らかにS系、A系の粒子の状態ベクトルはそれぞれ、これらの関数の値域
、
に属する。状態ベクトルは必ず単位ベクトルであったので、
の単位ベクトル![{\displaystyle \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf208e5d370391e66767f13641bd5ee6ad93825)
![{\displaystyle {\mathcal {S}}_{N}:=S({\mathcal {H}}^{\otimes N})\cap {\mathcal {C}}_{N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64574e1124a28763ecf2c85de263e886cbe403ef)
![{\displaystyle {\mathcal {A}}_{N}:=A({\mathcal {H}}^{\otimes N})\cap {\mathcal {C}}_{N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/156a31af1e47c2f42db2be37dca0b8699124fd2f)
と書くことにすると、次が成立する:
- C系の粒子の状態ベクトルは
に属する
- S系の粒子の状態ベクトルは
に属する
- A系の粒子の状態ベクトルは
に属する
ミクロカノニカル分布[編集]
XをC、S、Aのいずれかとし、N個の粒子からなる外界から孤立したX系を考え、この系の状態ベクトルのなす空間を
とする。さらにこの系のハミルトニアンを
とし、Eを
の固有値とし、Eの固有空間を
に属するEの固有ベクトル![{\displaystyle \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf208e5d370391e66767f13641bd5ee6ad93825)
とする。さらにXがC、S、Aのいずれであるかに応じて
を
、
、
とする。
前節で述べたようにX系状態ベクトルは必ず球面
に属している。したがってこの系でエネルギー固有値Eが観測されたとすれば、状態ベクトルはEの固有空間
と
の共通部分
に属している事になる。
我々は系の状態に関してこれ以外に知識を持っていないのだから、状態ベクトルが
上一様ランダムに分布していると仮定するのは自然である(等重率の原理)。
そこで、
上の一様分布をミクロカノニカル分布という。
上定義された任意の実数値関数
![{\displaystyle f~:~{\mathcal {X}}_{N}\to \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/227e511c169e06988c364fbe4d753600507029a2)
をフェーズ関数(phase function)といいK2:位置2138、状態ベクトル
をミクロカノニカル分布に従って選んだときのフェーズ関数の値
の期待値
![{\displaystyle <f(\phi )>_{N,E}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b72714e6c0e93505197cafc4f20442fcae65cb82)
を、エネルギー固有値Eにおけるfのミクロカノニカル平均というK2:位置2139。
統計力学では基本的な役割を果たすフェーズ関数として、オブザーバブル
の観測値の期待値
![{\displaystyle f_{\hat {A}}(\phi ):=\langle \phi \mid {\hat {A}}\mid \phi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/85138f5c3cbf3f096d65d98b7fe897462330e4ee)
が存在する。
は状態ベクトル
を固定した際における観測値の期待値であるが、
をミクロカノニカル分布に従ってランダムに選んだ際の
の平均(ミクロカノニカル平均)
![{\displaystyle <f_{\hat {A}}(\phi )>_{N,E}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b061237bf37e944a04d9fb2aa701ac74186824e)
を考える事ができる。
を、エネルギー固有値Eにおけるオブザーバブル
のミクロカノニカル平均といい、
![{\displaystyle <{\hat {A}}>_{N,E}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b2f49aa9973880c2f8ba29fa9443f4347e0be32)
と表記する。
単位ベクトルの集合
の貼るベクトル空間の次元Mは粒子の個数Nとエネルギー固有値Eによって定まる。そこで次元Mの事を
![{\displaystyle \Omega (N,E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78c5d30d48e6036402fc6b72a0de4711a6c77098)
と表記し、
を系の構造関数(structure function)というK2:位置2485、2572、3511。(ここで暗に
が有限次元だと仮定しており、これはエネルギー固有値Eの重複度が有限だと仮定しているという事である)。
さらに
からベクトル空間の基底を
とする。このとき次が成立するK2:位置2178、2326、2598:
![{\displaystyle <{\hat {A}}>_{N,E}={1 \over \Omega (N,E)}\sum _{j=1}^{\Omega (N,E)}\langle \eta _{j}\mid {\hat {A}}\mid \eta _{j}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/74a70b0df7ccb73b9c189c31c9975e9d9e0eb73f)
読者が密度行列に関して知っているなら、以上の事実から
![{\displaystyle {1 \over \Omega (N,E)}\sum _{j=1}^{\Omega (N,E)}\mid \eta _{j}\rangle \langle \eta _{j}\mid }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d770263ff53224e6d50314219ecb3345360421b4)
という混合状態を定義する事が自然である事が分かるであろう。この混合状態をミクロカノニカル状態という。
理想気体におけるミクロカノニカル分布[編集]
理想気体とは系に閉じ込められている粒子間の相互作用が無視できるほど小さい気体のことであるK2:位置270。相互作用が無視できる事から、系のハミルトニアンは
![{\displaystyle {\hat {H}}={\hat {H}}_{1}+\cdots +{\hat {H}}_{N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3b4a97c9a5194b51a8117e4859c9c1f122b780c)
と粒子毎のハミルトニアンの和として表現できる[注 1]。よって
の固有値
に対応する固有関数を
とすると、
![{\displaystyle \psi _{1}\otimes \cdots \otimes \psi _{N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/763394ae94696cf138c74a41805bbcd6611b0d8b)
は
の固有値
![{\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8a9bd013065a87a057071b8b29999fc5e15d484)
の固有ベクトルである。実は逆も成立し、
の固有空間の元は、各
の固有関数
のテンソル積
で貼られるK2:位置2415。
一般には
が重複を含む場合もある。そこで
から重複を除いた上で番号を付け替えた列
を作り、
の重複度を
とすると、
…(K)
が成立しなければならない。
以上の事実を利用すると、X=C、S、Aに対し、X系における理想気体の場合構造関数
を具体的に書き表す事ができるK2:位置3527:
![{\displaystyle \Omega (N,E)={\begin{cases}\sum _{\{a_{r}\}_{r}{\text{ satisfying }}(K)}N!(\prod _{r}a_{r}!)^{-1}&{\text{if }}X=C\\\sum _{\{a_{r}\}_{r}{\text{ satisfying }}(K)}1&{\text{if }}X=S\\\sum _{\{a_{r}\}_{r}{\text{ satisfying }}(K){\text{ and }}a_{r}\leq 1}1&{\text{if }}X=A\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74f0d56e7ec52515c658c7abc71230a35e036269)
漸近的には
![{\displaystyle \Omega (N,E)=C(N)\Phi (\alpha ,\beta )\mathrm {exp} (\alpha N+\beta E)\left\{{|d| \over 2\pi }\Delta ^{-1/2}V^{-1}+m_{0}V^{-2}+O(V^{-{5 \over 2}})\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5d71a5d0fc7b7052d867e8e4484d87027fa1a1a)
であるK2:位置4117。
ここで
![{\displaystyle C(N)={\begin{cases}N!&{\text{if }}X=C\\1&{\text{if }}X=S,A\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed86ed241a8cd2904cb3bfaaf9f9b744e96535e5)
でありK2:位置3777、
![{\displaystyle \Phi (\alpha ,\beta )=\sum _{p=0}^{\infty }\sum _{q=0}^{\infty }\mathrm {exp} (-\alpha p-\beta q)\Omega (p,q)/C(p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8a0e664a9f2af3e5b7af486ab7ca27c9b8fa8af)
でありK2:位置3779、
![{\displaystyle \Phi (\alpha ,\beta )={\begin{cases}\prod _{r=1}^{\infty }\exp(\exp(-(\alpha +\beta \varepsilon _{r})))&{\text{if }}X=C\\\prod _{r=1}^{\infty }(1-\exp(-(\alpha +\beta \varepsilon _{r})))^{-1}&{\text{if }}X=S\\\prod _{r=1}^{\infty }(1+\exp(-(\alpha +\beta \varepsilon _{r}))&{\text{if }}X=A\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/492a18ada7b0ea64fa4dd8cd4d462ee9b3af0480)
であるK2:位置4397、
密度行列[編集]
中心極限定理[編集]
一次元[編集]
X1、…、Xnを独立同一分布に従う整数値確率変数とし、iを1,...,nのいずれかとし、
![{\displaystyle p_{k}:=\Pr[X_{i}=k]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62524e68d6cdd3347d5b1012fa4264f344799f39)
とし、
![{\displaystyle \sum _{k=-\infty }^{\infty }p_{k}|k|^{5}<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e484f8834a7e4e8d90d48f66147b71836beac298)
![{\displaystyle p_{0},~p_{1}>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75eee43c119c6f293b2e955387fd83ee7816dbd8)
を仮定する。
このとき、期待値と分散
、![{\displaystyle \sigma :={\sqrt {V[X_{i}]}}={\sqrt {E[X_{i}{}^{2}]-E[X_{i}]^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76e92fc11f380c55d680fcb97ae737971038d926)
は有限値である。さらに(下記の式中に現れるk、nとは独立な)定数m0、m1が存在し
、
が成立する。
- ^
は
を略記したもの。以下同様
参考文献[編集]
- 量子力学(数学的定式化)
- [新井97] 新井朝雄 (1997/1/25). ヒルベルト空間と量子力学. 共立講座21正規の数学16. 共立出版
- [H13] Brian C.Hall (2013/7/1). Quantum Theory for Mathematicians. Graduate Texts in Mathematics 267. Springer
- 統計力学(物理学的側面)
- 統計力学(数学的定式化)
- [新井08] 新井朝雄 (2008/7/10). 量子統計力学の数理. 共立出版. ISBN 978-4320018655
- [K1]A. Ya. Khinchin (1949/6/1), Mathematical Foundations of Statistical Mechanics (Kindle edition), Dover Books on Mathematics
- [K2]A. Ya. Khinchin (2011/11/2), Mathematical Foundations of Quantum Statistics (Kindle edition), Dover Books on Mathematics, ISBN 978-0486601472