「スピンはめぐる」第2量子化の要約

「スピンはめぐる」表紙
\(\)
「スピンはめぐる」の第2量子化に関係する部分の抜粋を示したが, 少し長いので全部を通読するのは億劫と思われる方を居られると思う.また文章中には式が沢山登場するのでその確認が面倒臭いかもしれない.このような理由から, 多少しつこいかとも思うが, 抜粋した文章を更に要約し(単に要点を順に抜き出しただけ), また式を表にまとめておく.

粒子1個から成る系について

(1) 1個の粒子に対するSchrödinger方程式は,

\begin{equation}
\def\bra#1{\langle#1|}
\def\ket#1{|#1\rangle}
\def\BK#1#2{\langle #1|#2\rangle}
\def\PKB#1#2{|#1\rangle\langle #2|}
\def\BraKet#1#2#3{\langle#1|#2|#3\rangle}
\def\ppdiff#1#2{\frac{\partial #1}{\partial #2}}
\def\odiff#1{\frac{d}{d #1}}
\def\pdiff#1{\frac{\partial}{\partial #1}}
\def\Bppdiff#1#2{\frac{\partial^{2}#1}{\partial #2^{2}}}
\def\Bpdiff#1{\frac{\partial^{2}}{\partial #1^{2}}}
\def\mb#1{\mathbf{#1}}
\def\ds#1{\mbox{${\displaystyle\strut #1}$}}
\def\mfrac#1#2{\frac{#1}{#2}}
\def\reverse#1{\frac{1}{#1}}
\def\oodiff#1#2{\frac{d#1}{d#2}}
\def\mb#1{\mathbf{#1}}
\left\{H(\mb{x},\mb{p})-i\hbar\pdiff{t}\right\}\psi(\mb{x},t)=0,\quad
H(\mb{x},\mb{p})=\mfrac{\mb{p}^{2}}{2m}+V(\mb{x}),\quad \mb{p}=-i\hbar\nabla
\tag{6-1}
\end{equation}

(2) \(\psi(\mb{x},t)\) をオブザーバブル \(G\) の固有関数 \(\phi_n\) で展開する:
\begin{equation}
\psi(\mb{x},t)=\sum_{n} a_n(t)\,\phi_n(\mb{x})
\tag{6-2}
\end{equation}

このとき \(\psi\) は c-数である.\(G\) の測定で \(g_n\) が得られる確率は,
\begin{equation}
P_n=|a_n(t)|^{2}\tag{6-3}
\end{equation}

エネルギーの期待値 \(\langle H \rangle\) は,
\begin{align}
\langle H \rangle &\equiv \int \psi^{*}(\mb{x},t)H(\mb{x},\mb{p})\psi(\mb{x},t)\,dv \notag\\
&=\sum_{n,n^{‘}} a_{n}^{*} H_{n,n^{‘}} a_{n’}
\tag{6-5}\\
&\mathrm{where}\quad H_{n,n^{‘}}=\int \phi_{n}^{*} H(\mb{x},\mb{p})\phi_{n’}(\mb{x})\,dv
\tag{6-4}
\end{align}

(3) 展開係数 \(a_n(t)\) について
\begin{align}
\frac{d a_n(t)}{d t}&=\frac{1}{i\hbar} \sum_{n’} H_{n,n^{‘}} a_{n^{‘}}(t)\tag{6-6}\\
\oodiff{a_n(t)}{t}&=\reverse{i\hbar}\ppdiff{\,\langle H \rangle}{a_{n}^{*}},\quad
\oodiff{a_{n}^{*}(t)}{t}=-\reverse{i\hbar}\ppdiff{\,\langle H \rangle}{a_{n}}
\tag{6-7}
\end{align}

(4) 展開係数 \(a_n\) に共役な運動量として \(\pi_n=i\hbar a_n^{*}\) とすると, \(a_n\) と \(\pi_n\) の正準方程式が得られる:
\begin{align}
&\oodiff{a_n}{t}=\ppdiff{\,\langle H \rangle}{\pi_n},\quad
\oodiff{\pi_n}{t}=-\ppdiff{\,\langle H \rangle}{a_n}\tag{6-10}\\
&\mathrm{where}\quad \langle H \rangle = \reverse{i\hbar}\sum_{n,n’} \pi_{n}H_{n,n’}a_{n’}
\tag{6-9}
\end{align}

粒子1個の力学系 \(N\) 個の「アンサンブル」について

(1) オブザーバブル \(G\) の測定で値 \(g_n\) が得られる系の個数の期待値は, \(P_n\) の \(N\) 倍である:

\begin{equation}
N_n=NP_n=N|a_n|^{2}
\tag{6-3′}
\end{equation}

ここで \(a_n,\,\pi_n\) の代わりに 次の \(A_n,\,\Pi_n\) を考える:
\begin{equation}
A_n\equiv \sqrt{N}a_n,\quad A_n^{*}\equiv \sqrt{N}a_n^{*},\quad \Pi_n\equiv i\hbar A_n^{*},
\quad \mathrm{where}\ N_n=A_n^{*}A_n
\tag{6-11, 6-3”}
\end{equation}

すると, 正準方程式は次に書ける:
\begin{align}
\frac{dA_n}{dt}&=\ppdiff{\overline{H}}{\Pi_n},\quad \frac{d\Pi_n}{dt}=-\ppdiff{\overline{H}}{A_n}, \tag{6-10′}\\
\mathrm{where}\quad &\overline{H}=\frac{1}{i\hbar}\sum_{n,n’} \Pi_{n} H_{n,n’} A_{n’},\tag{6-9′}\\
&\sum_n |A_n|^{2}=N \tag{6-12′}
\end{align}

(2) ディラックは「\(A_n\) や \(\Pi_n\) を量子力学的な \(q\)-数 (即ち物理量を表す演算子) と考え直した!」.即ち, 次式によって量子化した [ 第2量子化 ] :
\begin{equation}
A_n\Pi_{n’}-\Pi_{n’}A_n =i\hbar\delta_{n,\,n’},\quad [A_n,A_{n’}]=[\Pi_n,\Pi_{n’}]=0
\tag{6-14}
\end{equation}

(3) しかし,「粒子 \(N\) 個集めた仮想アンサンブル」の結論は,「相互作用の無い粒子 \(N\) 個の力学系という実アンサンブル(多粒子系)」に適用できる!.そのときの \(N_n\) はオブザーバブルと考えられるから, \(N_n\) は \(q\)-数すなわち物理量と考えてよい.すると 展開係数である \(A_n\) とその共役運動量 \(\Pi_n\) もオブザーバブルと考えてよい.

A. 「配位空間中の波動関数 \(\psi\) 」で, ボソン \(N\) 個の系を考えた場合

(4) 「相互作用の無い粒子 \(N\) 個の力学系(多粒子系)」に対する \(3N\)次元配位空間中の波動関数 \(\psi\) のシュレディンガー方程式は,

\begin{align}
&i\hbar \pdiff{t}\psi(\mb{x}_1,\mb{x}_2,\dotsb,\mb{x}_n)=H\psi(\mb{x}_1,\mb{x}_2,\dotsb,\mb{x}_n),\tag{6-15}\\
&\mathrm{where}\quad H=\sum_{\nu=1}^{N} H(\mb{x}_{\nu},\mb{p}_{\nu})=H(\mb{x}_1,\mb{p}_1)+H(\mb{x}_2,\mb{p}_2)+\dotsb+H(\mb{x}_N,\mb{p}_N)
\tag{6-16}
\end{align}

であるが, 系は「粒子の交換について対称的」とするならば, このハミルトニアン \(H\) は式(6-9′)の \(\overline{H}\) に一致する.ただし,式(6-9′) \(\overline{H}\) を考えるときの確率振幅は \(A_n\) の関数, または \(N_n\) の関数と考える:
\begin{equation}
\psi(A_1,A_2,\dotsb,A_n),\quad \mathrm{or,}\quad \psi(N_1,N_2,\dotsb,N_n)
\tag{6-17}
\end{equation}

B. 「3次元実空間中の波動場 \(\Psi\) 」で, ボソン \(N\) 個の系を考えた場合

(5) ハミルトニアン (6-9′), 運動方程式 (6-10′), 交換関係 (6-14), \(A_n\) と \(N\) の関係 (6-12′) を次のように変形する:

  1. \(q\)-数の波動関数 \(\Psi(\mb{x})\) とそれに共役な運動量 \(\Pi(\mb{x})\) を定義する:
    \begin{equation}
    \Psi(\mb{x})=\sum_n A_n\,\phi_n(\mb{x}),\quad \Pi(\mb{x})=\sum_n \pi_n\,\phi_n^{*}(\mb{x})
    \tag{6-2′}
    \end{equation}

    この \(\Psi(\mb{x})\) は『3次元実空間の波動場』と見做すことが出来る」.
  2. \(\Psi(\mb{x})\) と \(\Pi(\mb{x})\) の交換関係を課す.
    \begin{align}
    &\Psi(\mb{x})\Pi(\mb{x})-\Pi(\mb{x})\Psi(\mb{x})= i\hbar\,\delta(\mb{x}-\mb{x}’),\notag\\
    &\big[\,\Psi(\mb{x}), \Psi(\mb{x}’)\,\big]=\big[\,\Pi(\mb{x}), \Pi(\mb{x}’)\,\big]=0,
    \tag{6-14′}
    \end{align}
  3. この波動場 \(\Psi(\mb{x})\) に対する運動方程式:
    \begin{align}
    &i\hbar\pdiff{t}\Psi(\mb{x},t)=H(\mb{x},\mb{p})\,\Psi(\mb{x},t),\tag{6-1′}\\
    &\Pi(\mb{x})=i\hbar\Psi^{\dagger}(\mb{x}),\tag{6-8″}
    \end{align}
  4. ハミルトニアン:
    \begin{align}
    \overline{H}&=\frac{1}{i\hbar}\int \Pi(\mb{x})\,H(\mb{x},\mb{p})\,\Psi(\mb{x})\,d^{3}\mb{x}\notag\\
    &=\int \Psi^{\dagger}(\mb{x})\,H(\mb{x},\mb{p})\,\Psi(\mb{x})\,d^{3}\mb{x}
    \tag{6-5′}
    \end{align}
  5. (6-12′) の関係は次となる:
    \begin{equation}
    N=\int \Psi^{\dagger}(\mb{x},t)\,\Psi(\mb{x},t)\,d^{3}\mb{x}
    \tag{6-12″}
    \end{equation}
粒子1個の系 多粒子系 (粒子 N 個の系) 】
(1) Schrödinger方程式
\[i\hbar\pdiff{t}\psi(\mb{x},t)=H(\mb{x},\mb{p})\psi(\mb{x},t)\tag{6-1}\]
(1) Schrödinger方程式
\[i\hbar\pdiff{t}\Psi(\mb{x},t)=H(\mb{x},\mb{p})\Psi(\mb{x},t)\tag{6-1′}\]
(2) オブザーバブル \(G\) の固有値 \(g_n\) の固有関数 \(\phi_n\) による展開
\[\psi(\mb{x},t)=\sum_n a_n(t)\phi_n(\mb{x})\tag{6-2}\]
\(\psi\) はc-数.固有値\(g_n\) が得られる確率は \[P_n(t)=|a_n(t)|^{2}\tag{6-3}\]
\[\sum_n |a_n(t)|^{2}=\int \psi^{*}(\mb{x},t)\psi(\mb{x},t)\,d^{3}\mb{x}=1\tag{6-12}\]
(2) オブザーバブル \(G\) の固有値 \(g_n\) の固有関数 \(\phi_n\) による展開
\begin{align}\Psi(\mb{x},t)&=\sum_{n}A_n(t)\phi_n(\mb{x}),\quad \Pi(\mb{x},t)=\sum_n \Pi_n(t)\phi^{*}(\mb{x})\tag{6-2′}\\
A_n&\equiv \sqrt{N}a_n,\quad A_n^{*}\equiv \sqrt{N}\,a_n^{*},\quad \Pi_n\equiv i\hbar A_n^{*}\tag{6-11,6-8′}
\end{align}

固有値が \(g_n\) である系の個数の期待値は,
\[N_n\equiv N P_n=N|a_n|^{2}=A_n^{*}A_n\tag{6-3′,6-3”}\]
\[\sum_n |A_n|^{2}=N\tag{6-12′}\]
(3) エネルギーの期待値 \(\langle H\rangle\)
\begin{align}
E=\langle H \rangle &=\int \psi^{*}(\mb{x},t)\,H(\mb{x},\mb{p})\,\psi(\mb{x},t)\,d^{3}\mb{x}\notag\\
&=\sum_{n,n’} a^{*}_n H_{n,n’} a_{n’} \tag{6-5}\\
\mathrm{where}\quad H_{n,n’}&=\int \phi^{*}_n(\mb{x})\,H(\mb{x},\mb{p})\,\phi_{n’}(\mb{x})\,d^{3}\mb{x}
\tag{6-4}
\end{align}
(3) エネルギーの期待値 \(\langle H\rangle\)
\begin{equation}
\overline{H}=\int \Psi^{\dagger}(\mb{x})\,H(\mb{x},\mb{p})\,\Psi(\mb{x})\,d^{3}\mb{x}
\tag{6-5′}
\end{equation}
(4) 展開係数 \(a_n(t)\) と \(\pi_n=i\hbar a_n^{*}\tag{6-8}\) についての正準方程式
\begin{align}
\frac{d a_n(t)}{dt}&=\ppdiff{\langle H \rangle}{\pi_n},\quad \frac{d \pi_n(t)}{dt}=-\ppdiff{\langle H \rangle}{a_n}
\tag{6-10}\\
\langle H \rangle &= \frac{1}{i\hbar}\sum_{n,n’}\pi_n H_{n,n’}a_{n’}
\tag{6-9}
\end{align}
(4) 展開係数 \(A_n(t)\) と \(\Pi_n=i\hbar A_n^{*}\tag{6-8′}\) についての正準方程式
\begin{align}
\frac{d A_n(t)}{dt}&=\ppdiff{\overline{H}}{\Pi_n},\quad \frac{d \Pi_n(t)}{dt}=-\ppdiff{\overline{H}}{A_n}
\tag{6-10′}\\
\overline{H} &= \frac{1}{i\hbar}\sum_{n,n’}\Pi_n H_{n,n’}A_{n’}
\tag{6-9′}
\end{align}

多粒子系に於いて粒子間の相互作用が無視される場合

(1) 多粒子系の式 (6-1′)は1個の粒子に対する式 (6-1) と同じ形をしており, またハミルトニアン (6-5′) も粒子1個のエネルギー期待値 (6-5) と同じ形をしている.しかし, 形は同じでも \(\psi\) は1個の粒子の確率振幅で \(c\)-数であるが, \(\Psi\) は波動場を記述する \(q\)-数であって, 概念的に全く別物であることを忘れてはならない. また, 方程式の形が一致するのは「粒子間の相互作用が無視されたときに限られる」.相互作用があると \(\psi\) と \(\Psi\) とは, それの満たす方程式は本質的に異なった数学的性質を持つことになる.
(2) 式 (6-14′) は ボソンの個数 \(N\) を全く含んでいないので, これらの関係式は「ボソン任意個から成る力学系」についての基礎的関係と考えてよい.
このようにして「波動関数 \(\Psi(\mb{x})\) は, 配位空間中の波動 \(\psi\) と異なって, 粒子の個数に無関係な, 常に3次元実空間 \(\mb{x}\) の点の関数すなわち波動場である.」 従って,「\(q\)-数と見做した波動関数 \(\Psi\) は, 我々の住んでいる3次元空間に実在する波動場と考える」ことが出来る.
そして「波動場の運動方程式」(6-1′) と「配位空間の波動関数の運動方程式」(6-15) とは同等であると見倣せる!.
(6) 空間内に実在する電気密度 \(\rho\) はオブザーバブルであり, 次式で表される:

\begin{equation}
\rho(\mb{x})=e\Psi^{\dagger}(\mb{x})\Psi(\mb{x})
\tag{6-19}
\end{equation}

配位空間での波動関数 \(\Psi\) 3次元空間での波動場 \(\Psi\)
(1) Schrödinger方程式
\begin{align}
&i\hbar\pdiff{t}\Psi(\mb{x}_1,\mb{x}_2,\dotsb,\mb{x}_n)=H\,\Psi(\mb{x}_1,\mb{x}_2,\dotsb,\mb{x}_n)
\tag{6-15}\\
\mathrm{where}\quad H&=\sum_{\nu=1}^{N} H(\mb{x}_{\nu},\mb{p}_{\nu})\notag\\
&=H(\mb{x}_1,\mb{p}_1)+H(\mb{x}_2,\mb{p}_2)+\dotsb+H(\mb{x}_n,\mb{p}_n)
\tag{6-16}
\end{align}
(1) Schrödinger方程式
\begin{align}
&i\hbar\pdiff{t}\Psi(\mb{x},t)=H\,\Psi(\mb{x},t)
\tag{6-1′}\\
\mathrm{where}&\quad \overline{H}=\int \Psi^{\dagger}(\mb{x})\,H(\mb{x},\mb{p})\,\Psi(\mb{x})\,d^{3}\mb{x}
\tag{6-5′}
\end{align}
(2) 展開係数 \(A_n\) の量子化 (第2量子化)
\begin{align}
A_n\Pi_{n’}-\Pi_{n’}A_n=i\hbar\,\delta_{n\,n’},\notag\\
\big[A_n,A_{n’}\big]=\big[\Pi_n,\Pi_{n’}\big]=0\tag{6-14}
\end{align}
(2) 波動場 \(\Psi\) の量子化
\begin{align}
&\Psi(\mb{x})=\sum_n A_n\,\phi_n(\mb{x}),\quad \Pi(\mb{x})=\sum_n \pi_n\,\phi^{*}_n(\mb{x})
\tag{6-2′}\\
&\quad \Pi(\mb{x})\equiv i\hbar\Psi^{\dagger}(\mb{x})
\tag{6-8”}\\
&\Psi(\mb{x})\Pi(\mb{x}’)-\Pi(\mb{x}’)\Psi(\mb{x})=i\hbar\,\delta(\mb{x}-\mb{x}’),\notag\\
&\big[\Psi(\mb{x}),\Psi(\mb{x}’)\big]=\big[\Pi(\mb{x}),\Pi(\mb{x}’)\big]=0
\tag{6-14′}
\end{align}

相互作用しているボソン粒子の「実アンサンブル」の場合

(1) 「相互作用している粒子」がボソンであると,「3次元空間に実在する波動場 \(\Psi(\mb{x})\)」による記述が可能である.
(2) 多粒子系の場の方程式 (6-1′) に於けるハミルトニアンは,

\begin{equation}
H(\mb{x},\mb{p})=\frac{\mb{p}^{2}}{2m}+V(\mb{x})
\tag{6-20}
\end{equation}

もし粒子間に相互作用, 例えばクーロン斥力が存在するならば, \(V(\mb{x})\) のところに,「波動場自身の電気密度 \(e\Psi^{\dagger}\Psi\) によって生じるポテンシャルエネルギー \(V_{wave}\)」を付け加える必要がある:
\begin{equation}
V_{wave}(\mb{x})=\frac{e}{4\pi\varepsilon_0}\int \frac{e\Psi^{\dagger}(\mb{x}’)\Psi(\mb{x}’)}{|\mb{x}-\mb{x}’|}\,d^{3}\mb{x}’
\tag{6-21}
\end{equation}

すなわちハミルトニアンは,
\begin{equation}
H(\mb{x},\mb{p})=\frac{\mb{p}^{2}}{2m}+V(\mb{x})+V_{wave}(\mb{x})
\tag{6-20′}
\end{equation}

(3) 場の方程式は式 (6-1′)の代わりに, 次を用いる:
\begin{equation}
i\hbar\pdiff{t}\Psi(\mb{x},t)=\left\{\frac{\mb{p}^{2}}{2m}+V(\mb{x})+\frac{e}{4\pi\varepsilon_0}\int \frac{e\Psi^{\dagger}(\mb{x}’)\Psi(\mb{x}’)}{|\mb{x}-\mb{x}’|}\,d^{3}\mb{x}’\right\}\Psi(\mb{x},t)
\tag{6-22}
\end{equation}

(4) この場の方程式 (6-22) は \(\Psi\) について線形でないので, 確率振幅は重ね合わせの原理を満たさない.これは絶対に\(\psi\) の方程式とは考えられない性質の式である.もし \(\Psi\) を量子化しないならば, 式 (6-22)は「古典的なマックスウェル方程式に相当するもの」である!
(5) この理論は, 次のハミルトニアンを持ったボソン系の量子論とあらゆる点で一致した答えを持つことになった:
\begin{equation}
H=\sum_{\nu=1}^{N} \left\{\frac{\mb{p}^{2}}{2m}+V(\mb{x})\right\}+\sum_{\nu>\nu’}^{N}\frac{1}{4\pi\varepsilon_0}
\frac{e^{2}}{|\mb{x}_{\nu}-\mb{x}_{\nu’}|}
\tag{6-23}
\end{equation}

ただし\(\sum_{\nu>\nu’}\) の項の中に \(\nu=\nu’\) の項は含まれないことに注意する.
(6) 結局,「量子化すべき方程式は場の方程式であって, 確率振幅の式ではない!」.従って, 確率振幅の方程式が分からなくても, 場の方程式が分かっているならば, それを量子化すればよい.
(7) ハイゼンベルグとパウリは, 電磁場だけでなく, 電子それ自身も量子化された場と考えて, それらの相互作用を論じた.そのとき,ディラック方程式を電子の確率振幅に対する方程式とは考えずに, 電子場に対する相対論的な『場の方程式』と見做した
(8) すると「確率振幅の式としては不適切だ」とディラックによって拒否されたクライン-ゴルドン方程式も一つの可能な相対論的な場の方程式として採用してもよいことになった.