§ 8-9 強制調和振動子 では, 結果式の幾つかは「その代数計算が長ったらしい」.そこで, 分かる範囲ではあるが, それらの導出過程を少し詳しく補足しながら, 本文を和訳して示しておく.
\(\)
8.9 強制調和振動子(THE FORCED HARMONIC OSCILLATOR)
この章では, 単純な振動子あるいは振動子の集まりに還元できる系を扱って来た.しかし振動子は自由で, 他のものとは相互作用しないものであった.このような線形系が, 他の系と相互作用をしたり, 外力によって駆動されている場合を扱おうとすると, 解析を更に進める必要がある.このような系の例としては, 変動する外場の中の多原子分子, 衝突する多原子分子, 結晶中で電子が動いて振動モードを励起する場合, 外場とモードとの相互作用, などがある.我々は, 相互作用の問題を一般的に議論することはしない.その代わり, 手本・典型(as a prototype) として, 例えば, 電磁場を介して原子系と電荷が相互作用する場合 を取り上げる.これを次の章で行う.他の場合は, 直接的な類似性によって解析できるであろう.
これらの問題は, 2つの側面を持っている.それは (1) 場を独立な振動子の成分に分解すること, (2) 各々の振動子と外場ポテンシャルや他の系との相互作用を記述すること, の2つである.振動子に分解することは, これまで徹底的にこの章で調べられたことである.
このような問題に対する完全な機構(複雑な一連の手続き)の準備は,「外場ポテンシャルによって撹乱される1個の振動子の振舞いを解析すること」が残っているだけである.これらの構成部分は, 次の章に於いて組み立てる(まとめる)ことにする.
この節では, 1個の調和振動子の場合の検討に逆戻りする.しかしそれは, ある外場ポテンシャルや撹乱と線形に結合している場合のものである.そのような系のラグランジアンは, 次で与えられる:
\def\ppdiff#1#2{\frac{\partial #1}{\partial #2}}
\def\pdiff#1{\frac{\partial}{\partial #1}}
\def\reverse#1{\frac{1}{#1}}
\def\Bpdiff#1{\frac{\partial^{2}}{\partial #1^{2}}}
\def\Bppdiff#1#2{\frac{\partial^{2} #1}{\partial #2^{2}}}
\def\BK#1#2{\langle #1 | #2 \rangle}
\def\BraKet#1#2#3{\langle #1 | #2 | #3 \rangle}
L=\frac{M}{2}\dot{x}^{2}-\frac{M\omega^{2}}{2}x^{2}+f(t)x
\tag{8-136}
\end{equation}
ここで \(f(t)\) は外力である.便宜上,「外力は \(t=0\) から \(t=T\) までの間だけ働き, 初め(\(t=0\)) と終わり
(\(t=T\))で, 振動子は自由である」とする.この問題は, 既に問題 3-11 で完全に解いている.そこでは, 振動子が \(t=0\) で点 \(x_a\) から出発し, \(t=T\) で \(x_b\) に到る振幅 \(K(b,a)\) が得られた.しかし, ここでの応用の場合には「初め外力が作用していない状態 \(n\) の調和振動子が, 時間 \(T\) の間だけ外力を受けた後に, 状態 \(m\) の調和振動子として見出される振幅 \(G_{mn}\)」を求める方が便利である.この表現は, 多くの場合で座標表示 \(\BK{x_b;t_b}{x_a;t_a}\) よりも便利である.[1]このとき, 振動子の状態は時間に依存するシュレディンガー方程式の解である.従って, エネルギー \(E_m\) の固有状態を \(\phi_m\) とするならば, 時刻 … Continue reading
§ 8-1 で, 自由な調和振動子の波動関数すなわちエネルギー固有関数 \(\phi_n(x)\) を求めた.そして, 問題 3-11 では, 強制調和振動子の運動を記述する核 \(K(b,a)\) を求めた.そのことは, それらを直接, 次の式(遷移振幅の式) に代入することで, この振幅 \(G_{mn}\) が決定できることを意味している:
G_{mn}&=\BraKet{\psi(x_m,T)}{1}{\phi_n}=\int_{-\infty}^{\infty} dx_b\int_{-\infty}^{\infty}dx_a\,
\psi_m^{*}(x_b,T)\,K(x_b,T;x_a,0)\,\phi_n(x_a)\notag\\
&=\int_{-\infty}^{\infty} dx_b\int_{-\infty}^{\infty}dx_a\,\phi_m^{*}(x_b)e^{iE_mT/\hbar}\,K(x_b,T;x_a,0)\,
\phi_n(x_a)\notag\\
&=e^{iE_mT/\hbar}\int dx_b\int dx_a\,\phi_m^{*}(x_b)\,K(x_b,T;x_a,0)\,\phi_n(x_a)\notag\\
&=e^{iE_mT/\hbar}\int dx_b\int dx_a\,\phi_m^{*}(x_b)\int_{x_a}^{x_b}\mathscr{D}x(t)\,e^{iS/\hbar}\,\phi_n(x_a)
=e^{iE_mT/\hbar}\BraKet{\phi_m}{1}{\phi_n}_S\notag\\
\therefore\quad G_{mn}&=e^{iE_mT/\hbar}\BraKet{\phi_m}{1}{\phi_n}_S\notag\\
&=e^{iE_mT/\hbar}\int dx_b\int dx_a\,\phi_m^{*}(x_b)\,K(x_b,T;x_a,0)\,\phi_n(x_a)
\tag{8-137}
\end{align}
\(m=n=0\) の場合, この積分はガウス型であり, 評価するには幾分長い過程となるが特に問題となることはない.結果は次のようになる:[2]この計算は, D.F.Styer のホームページに載っているので参照すると良い.
G_{00}=\exp\left[-\reverse{2M\omega\hbar}\int_0^{T}dt \int_0^{t}ds\ f(t)\,f(s)\,e^{-i\omega(t-s)}\right]
\tag{8-138}
\end{equation}
【 補助メモ 】 § 3-6 の式 (3-66) や § 8-1 の式 (8-17) などを用いると,
&\phi_0(x_a)=\left(\frac{M\omega}{\pi\hbar}\right)^{1/4}\exp\left(-\frac{M\omega}{2\hbar}x_a^{2}\right),
\quad \phi_0^{*}(x_b)=\left(\frac{M\omega}{\pi\hbar}\right)^{1/4}\exp\left(-\frac{M\omega}{2\hbar}x_b^{2}
\right),\tag{1}\\
&\qquad K(b,a)=\sqrt{\frac{M\omega}{2\pi i\hbar\sin \omega T}}\,e^{iS_{cl}/\hbar},\quad
E_0=\frac{\hbar\omega}{2}\quad \Rightarrow\ e^{iE_0T/\hbar}=e^{i\omega T/2}\notag\\
&\text{where}\quad S_{cl}=\frac{M\omega}{2\sin\omega T}\left[(x_b^{2}+x_a^{2})\cos \omega T -2x_bx_a
+\frac{2x_b}{M\omega}\int_0^{T}dt\,\gamma(t)\,\sin\omega T\right.\notag\\
&\qquad\left.+\frac{2x_a}{M\omega}\int_0^{T} dt\,\gamma(t)\sin\omega T-\frac{2}{M^{2}\omega^{2}}\int_0^{T}dt
\int_0^{t} ds\,\gamma(t)\gamma(s)\sin\omega (T-t)\sin \omega s\right]
\tag{2}
\end{align}
式 (8-137) の \(m=0,\,n=0\) の場合は次である:
G_{00}=e^{i\omega T/2}\int dx_b \int dx_a\,\phi_0^{*}(x_b)K(b,a)\,\phi_0(x_a)
\tag{3}
\end{equation}
これに上式 (1), 式 (2)を 代入すると,
\begin{align*}
G_{00}&=e^{i\omega T/2}\left(\frac{M\omega}{\pi\hbar}\right)^{1/2}\int_{-\infty}^{\infty}dx_b
\int_{-\infty}^{\infty}dx_a\,\exp\left(-\frac{M\omega}{2\hbar}x_b^{2}\right)
\sqrt{\frac{M\omega}{2\pi i\hbar\sin\omega T}}\,e^{iS_{cl}/\hbar}\exp\left(-\frac{M\omega}{2\hbar}x_a^{2}\right)\\
&=\frac{M\omega}{\pi\hbar}\sqrt{\frac{e^{i\omega T}}{2i\sin\omega T}}
\int_{-\infty}^{\infty}dx_b\int_{-\infty}^{\infty}dx_a\,\exp\left(-\frac{M\omega}{2\hbar}x_b^{2}
\right)\exp\left(-\frac{M\omega}{2\hbar}x_a^{2}\right)\,e^{iS_{cl}/\hbar}
\end{align*}
\(x_a\) と \(x_b\) の積分区間が何れも \([-\infty,\infty]\) であるので, 被積分関数が奇関数であるとゼロになってしまう.従って, \(S_{cl}\) 中の \(x_a\) 及び \(x_b\) について奇である項は消えるので,
\begin{align*}
G_{00}&=\frac{M\omega}{\pi\hbar}\sqrt{\frac{e^{i\omega T}}{2i\sin\omega T}}
\int_{-\infty}^{\infty}dx_b\int_{-\infty}^{\infty}dx_a\,\exp\left(-\frac{M\omega}{2\hbar}x_b^{2}
\right)\exp\left(-\frac{M\omega}{2\hbar}x_a^{2}\right)\\
&\quad\times\exp\left[\frac{iM\omega}{2\hbar\sin\omega T}\left\{(x_a^{2}+x_b^{2})\cos\omega T
-\frac{2}{M^{2}\omega^{2}}\int_0^{T}dt\int_0^{t}ds\,\gamma(t)\gamma(s)\sin\omega(T-t)\sin\omega s\right\}
\right]\\
&=I_a+I_b\\
&\quad +\frac{M\omega}{\pi\hbar}\sqrt{\frac{e^{i\omega T}}{2i\sin\omega T}}
\int_{-\infty}^{\infty}dx_b\int_{-\infty}^{\infty}dx_a\,\exp\left[\frac{-i}{M\hbar\omega\sin\omega T}
\int_0^{T}dt\int_0^{t}ds\,\gamma(t)\gamma(s)\sin\omega(T-t)\sin\omega s\right]
\end{align*}
ただし \(I_a\) と \(I_b\) は同形の積分であり, 巻末付録の公式 を用いて次となる:
\begin{align*}
I_i&=\frac{M\omega}{\pi\hbar}\sqrt{\frac{e^{i\omega T}}{2i\sin\omega T}}\int_{-\infty}^{\infty}dx_i\,\exp
\left[\left(\frac{iM\omega\cos\omega T}{2\hbar\sin\omega T}-\frac{M\omega}{2\hbar}\right)x_i^{2}\right]\\
&=\frac{M\omega}{\pi\hbar}\sqrt{\frac{e^{i\omega T}}{2i\sin\omega T}}\sqrt{\frac{2\pi\hbar\tan\omega T}
{M\omega(\tan\omega T-i)}}
=\sqrt{\frac{M\omega}{\pi\hbar}}
\end{align*}
このとき, 基底状態のエネルギーを \(E_0=\hbar\omega/2\) としたが, 場合によってはこれをゼロとしても良いことに注意する.以下の計算は略する.
\(m\) や \(n\) がゼロでない場合は, 積分はもっと複雑になる.しかしながら, 問題 8-1 で用いたのと同じ技巧を用いることが出来る.我々は, 強制調和振動子が状態 \(\psi\) から状態 \(\chi\) になる振幅を求めることにしよう(we shall ask for).ただし, これら2つの状態 \(\psi\) と \(\chi\) は, 問題 8-1 で定義されている \(f(x)\) と \(g(x)\) とする.この振幅 \(F(b,a)\) は, 式 (8-23) の \(f(x)=\sum_n f_n\phi_n(x)\) と \(g(x)=\sum_m g_m\phi_m(x)\), 及び, 式 (8-27) の \(G_{mn}=e^{iE_mT/\hbar}\BraKet{\phi_m}{1}{\phi_n}\), そして, 式 (8-28) を用いて次のように求まる:
&F(b,a)=\BraKet{g}{1}{f}=\sum_{m}\sum_n g^{*}_m f_n\BraKet{\phi_m}{1}{\phi_n}
=\sum_{m}\sum_n g^{*}_m f_n\,e^{-iE_m T/\hbar}G_{mn}\notag\\
&=\sum_{m=0}^{\infty}\sum_{n=0}^{\infty} G_{mn}\,f_m^{*}(b)\,f_n(a)\,e^{-iE_mT/\hbar}\tag{8-139}\\
&=\sum_{m=0}^{\infty}\sum_{n=0}^{\infty} G_{mn}\left(\frac{M\omega}{2\hbar}\right)^{m/2}\frac{b^{m}}{\sqrt{m!}}
\exp\left(-\frac{M\omega b^{2}}{4\hbar}\right)\left(\frac{M\omega}{2\hbar}\right)^{n/2}\frac{a^{n}}{\sqrt{n!}}
\exp\left(-\frac{M\omega a^{2}}{4\hbar}\right)\,e^{-iE_mT/\hbar}\notag\\
&=\exp\left\{-\frac{M\omega}{4\hbar}(a^{2}+b^{2})\right\}\sum_{m=0}^{\infty}\sum_{n=0}^{\infty} G_{mn}
\frac{a^{n}b^{m}}{\sqrt{m!n!}}\left(\frac{M\omega}{2\hbar}\right)^{(m+n)/2}\,e^{-i(m+1/2)\omega T}\notag
\end{align}
もし \(F(b,a)\) を解くことが出来るならば(can work out), \(F(b,a)\) に \(\exp[(M\omega/4\hbar)(a^{2}+b^{2})]\) を掛け合わせ, その結果の式を \(a\) と \(b\) についてベキ級数展開することにより \(G_{mn}\) を得ることが出来る:
\exp\left\{\frac{M\omega}{4\hbar}(a^{2}+b^{2})\right\}\,F(b,a)=\sum_{m=0}^{\infty}b^{m}\sum_{n=0}^{\infty}a^{n}
\,\frac{G_{mn}}{\sqrt{m!n!}}\left(\frac{M\omega}{2\hbar}\right)^{(m+n)/2}\,e^{-i(m+1/2)\omega T}
\end{equation*}
すなわち(That is), まずは \(f(x_a)\) と \(g(x_b)\) に式 (8-25), 式 (8-26) を用いて, 次の積分を求めたいのである:
&F(b,a)=\BraKet{g}{1}{f}=\int_{-\infty}^{\infty}dx_2\int_{-\infty}^{\infty}dx_1\,g^{*}(x_2)K(x_2,T;x_1,0)f(x_1)\notag\\
&\quad =\int_{-\infty}^{\infty}dx_2\int_{-\infty}^{\infty}dx_1\,\left(\frac{M\omega}{\pi\hbar}\right)^{1/4}\exp\left\{-\frac{M\omega}{2\hbar}
(x_2-b)^{2}\right\}\,K(x_2,T;x_1,0)\notag\\
&\quad\qquad\times \left(\frac{M\omega}{\pi\hbar}\right)^{1/4}\exp\left\{-\frac{M\omega}{2\hbar}
(x_1-a)^{2}\right\}\notag\\
&\quad=\sqrt{\frac{M\omega}{\pi\hbar}}\int_{-\infty}^{\infty}dx_2\,\int_{-\infty}^{\infty}dx_1\,
e^{-(M\omega/2\hbar)(x_2-b)^{2}}\,K(x_2,T;x_1,0)\,e^{-(M\omega/2\hbar)(x_1-a)^{2}}
\tag{8-140}
\end{align}
ただし \(K(x_2,T;x_1,0)\) は, 式 (3-66) の強制調和振動子に対する核である.この被積分関数の指数部分には変数が2次形式でのみ現れているから, 積分は容易に実行できる.結果についての「代数計算の幾つかは長ったらしいものである」.しかしながら, 結局は次の式が得られる:
\begin{multline}
F(b,a)=\exp\left\{-\frac{i\omega}{2}T\right\}
\exp\left\{-\frac{M\omega}{4\hbar}(a^{2}+b^{2}-2ab e^{-i\omega T})
+i\sqrt{\frac{M\omega}{2\hbar}}(a\,\beta+b\,\beta^{*}\, e^{-i\omega T})\right.\\
\left.-\reverse{2\hbar M\omega}\int_0^{T} dt \int_0^{t} ds\,\gamma(t)\,\gamma(s)\,e^{-i\omega(t-s)}\right\}
\tag{8-141}
\end{multline}
ただし,
\begin{gather}
\beta=\reverse{\sqrt{2\hbar M\omega}}\int_0^{T} dt\,f(t)\,e^{-i\omega t}
\tag{8-142}\\
\beta^{*}=\reverse{\sqrt{2\hbar M\omega}}\int_0^{T} dt\,f(t)\,e^{i\omega t}
\tag{8-143}
\end{gather}
\(G_{00}\) の値は, 式 (8-141) で \(a=b=0\) とおくことにより, 容易に得られる.結果は, 式 (8-138) と同じである.次に, 前述のように指数関数 \(\exp[(M\omega/4\hbar)(a^{2}+b^{2})]\) を掛け合わせた後,
x=\sqrt{\frac{M\omega}{2\hbar}}\,a,\quad y=\sqrt{\frac{M\omega}{2\hbar}}\,b\,e^{-i\omega T}
\end{equation*}
とおくと,
\begin{align*}
&\exp\left\{\frac{M\omega}{4\hbar}(a^{2}+b^{2})\right\}\,F(b,a)=\sum_{m=0}^{\infty}b^{m}\sum_{n=0}^{\infty}a^{n}
\,\frac{G_{mn}}{\sqrt{m!n!}}\left(\frac{M\omega}{2\hbar}\right)^{(m+n)/2}\,e^{-i(m+1/2)\omega T}\\
&=e^{-i\omega T/2}\sum_{m=0}^{\infty}\sum_{n=0}^{\infty}a^{n}\left(\sqrt{\frac{M\omega}{2\hbar}}\right)^{n}
b^{m}\left(\sqrt{\frac{M\omega}{2\hbar}}\right)^{m}\,e^{-im\omega T}\,\frac{G_{mn}}{\sqrt{m!n!}}\\
&=e^{-i\omega T/2}\sum_{m=0}^{\infty}\sum_{n=0}^{\infty}x^{n}y^{m}\,\frac{G_{mn}}{\sqrt{m!n!}}\\
&=\exp\left\{\frac{M\omega}{4\hbar}(a^{2}+b^{2})\right\}\exp\left\{-\frac{i\omega}{2}T\right\}
\exp\left\{-\frac{M\omega}{4\hbar}(a^{2}+b^{2}-2ab e^{-i\omega T})
+i\sqrt{\frac{M\omega}{2\hbar}}(a\,\beta+b\,\beta^{*}\, e^{-i\omega T})\right\}\\
&\qquad \times\exp\left\{-\frac{1}{2\hbar M\omega}\int_0^{T} dt \int_0^{t} ds\,\gamma(t)\,\gamma(s)\,e^{-i\omega(t-s)}\right\}\\
&=\exp\left\{\frac{i\omega}{2}T\right\}\exp\left\{\frac{M\omega}{4\hbar}\big(2ab e^{-i\omega T}\big)
+i\sqrt{\frac{M\omega}{2\hbar}}(a\,\beta+b\,\beta^{*}\, e^{-i\omega T})\right\}\times G_{00}
\end{align*}
従って,
\begin{align*}
e^{-i\omega T/2}\sum_{m=0}^{\infty}\sum_{n=0}^{\infty}x^{n}y^{m}\,\frac{G_{mn}}{\sqrt{m!n!}}
&=\exp\left\{\frac{i\omega}{2}T\right\}\exp\left\{\frac{M\omega}{4\hbar}\big(2ab e^{-i\omega T}\big)
+i\sqrt{\frac{M\omega}{2\hbar}}(a\,\beta+b\,\beta^{*}\, e^{-i\omega T})\right\}G_{00}\\
&=e^{-i\omega T/2}G_{00}\exp\left\{\frac{M\omega}{2\hbar}ab\,e^{-i\omega T}+i\sqrt{\frac{M\omega}{2\hbar}}a\,\beta
+i\sqrt{\frac{M\omega}{2\hbar}}b\,e^{-i\omega T}\,\beta^{*}\right\}\\
&=e^{-i\omega T/2}G_{00}\exp\Big\{xy+ix\beta+iy\beta^{*}\Big\}
\end{align*}
すなわち,
\sum_{m=0}^{\infty}\sum_{n=0}^{\infty} G_{mn}\frac{x^{n}y^{m}}{\sqrt{n!m!}}
=G_{00}\exp\Bigl\{xy+i\beta x +i\beta^{*}y\Bigr\}
\label{eqn:8.144}
\end{equation}
右辺の指数関数を \(x\) と \(y\) のベキ級数で展開する.指数関数をマクローリン級数展開すると,
\exp\bigl(xy+i\beta x +i\beta^{*}y\bigr)=\sum_{n=0}^{\infty}\frac{1}{n!}\bigl(xy+i\beta x +i\beta^{*}y\bigr)^{n}
\tag{a}
\end{equation*}
この式中の因子の多項式を展開する.多項定理から \((a+b+c)^{n}\) の展開式の一般項は,
\frac{n!}{p!q!r!}a^{p}b^{q}c^{r}, \quad \mathrm{where}\quad p+q+r=n,\ p\ge0,q\ge0,r\ge0
\end{equation*}
これを上式 (a) に適用すると,
\frac{1}{n!}\bigl(xy+i\beta x +i\beta^{*}y\bigr)^{n}
=\frac{1}{n!}\frac{n!}{p!q!r!}(xy)^{r}(i\beta x)^{q}(i\beta^{*}y)^{p}
=\frac{1}{p!q!r!}x^{r+q}y^{r+p}(i\beta)^{q}(i\beta^{*})^{p}
\end{equation*}
ここで \(r+q=n,\ r+p=m\) とおくと \(q=n-r,\ p=m-r\) であるから,
\frac{1}{n!}\bigl(xy+i\beta x +i\beta^{*}y\bigr)^{n}
=\frac{1}{(n-r)!(m-r)!r!}x^{n}y^{m}(i\beta)^{n-r}(i\beta^{*})^{m-r}
\end{equation*}
これは, 指数関数を \(x\) と \(y\) のベキ級数で展開したときの一般項と見做せるであろう.よって,
\exp\bigl(xy+i\beta x +i\beta^{*}y\bigr)
=\sum_{n=0}^{\infty}\sum_{m=0}^{\infty}\sum_{r=0}^{l}\frac{1}{(n-r)!(m-r)!r!}x^{n}y^{m}(i\beta)^{n-r}(i\beta^{*})^{m-r}
\end{equation*}
ただし \(r\) は \(n-r\ge0,m-r\ge0\) を満たすものである.従って, \(l\) は \(n\) と \(m\) のうちの小さい方とする.
この結果を式 (8-144) に代入すると,
\begin{align*}
\sum_{m=0}^{\infty}\sum_{n=0}^{\infty} G_{mn}\frac{x^{n}y^{m}}{\sqrt{n!m!}}
&=G_{00}\exp\Bigl\{xy+i\beta x +i\beta^{*}y\Bigr\}\\
&=G_{00}\sum_{n=0}^{\infty}\sum_{m=0}^{\infty}\sum_{r=0}^{l}\frac{1}{(n-r)!(m-r)!r!}
x^{n}y^{m}(i\beta)^{n-r}(i\beta^{*})^{m-r},\\
\rightarrow\quad \frac{G_{mn}}{\sqrt{n!m!}}&=G_{00}\sum_{r=0}^{l}\frac{1}{(n-r)!(m-r)!r!}
x^{n}y^{m}(i\beta)^{n-r}(i\beta^{*})^{m-r},\\
G_{mn}&=G_{00}\sum_{r=0}^{l}\frac{\sqrt{m!n!}}{(n-r)!(m-r)!r!}
x^{n}y^{m}(i\beta)^{n-r}(i\beta^{*})^{m-r}
\end{align*}
よって, 次の最終結果が得られる:
G_{mn}=\frac{G_{00}}{\sqrt{m!n!}}\sum_{r=0}^{l} \frac{m!}{(m-r)!\,r!}\frac{n!}{(n-r)!\,r!}\,r!
\,(i\,\beta)^{n-r}\,(i\,\beta^{*})^{m-r}
\tag{8-145}
\end{equation}
ただし \(l\) は \(m\) 及び \(n\) の小さい方とする.
これで強制調和振動子の問題は完全に解けた.次の章では, これを更に議論し, そして利用することにする.