調和振動子のソースを表示

'''調和振動子'''（ちょうわしんどうし、{{lang-en-short|harmonic oscillator}}）とは、[[質点]]が定点からの[[距離]]に比例する[[引力]]を受けて運動する系である。調和振動子は定点を中心として振動する系であり、その運動は[[解析的]]に解くことができる。

== 古典的な調和振動子 ==
=== ニュートンの運動方程式から ===
{{see also|自由振動}}

一端を壁につないだ[[ばね定数]] <math>k</math> のばねの他端に[[質量]] <math>m</math> の物体をつなぐ。静止状態から物体を <math>x</math> だけ手で引っ張り、静かに手を離すと物体は振動を始める。物体に作用する[[力 (物理学)|力]]は <math>-kx</math> である。[[ニュートンの運動方程式]] <math>m\ddot{x}=-kx</math> を解くと、一般解は次のようになる。
:<math>x(t)=A\cos\omega t+B\sin\omega t,</math>
:<math>\omega=\sqrt{k/m}</math> : 調和振動子の角振動数（固有振動数）
''A'' , ''B'' は定数で、初期条件によって決まる。振動数<math>\omega</math> は、ばね定数と物体の質量にのみ依存する。

=== ハミルトンの運動方程式（正準方程式）から ===
調和振動子の[[ポテンシャル]]<math>U</math> は次のようになる。
:<math>U=\frac{1}{2}kx^2</math>
ただし<math>x</math>は物体の位置である。ばねが自然長の時の位置を原点とする。[[ハミルトニアン]] <math> H = T + U </math>を求めれば、運動は[[ハミルトン力学|ハミルトンの正準方程式]]にしたがう。<math>T</math> は[[運動エネルギー]]、<math>p</math> は運動量である。
:<math>H=\frac{1}{2m}p^2+\frac{k}{2}x^2</math>
ハミルトンの正準方程式は
:<math>\frac{\partial x}{\partial t}= \frac{\partial H}{\partial p}</math>
:<math>\frac{\partial p}{\partial t}=-\frac{\partial H}{\partial x}</math>
である。ハミルトンの正準方程式から連立方程式が得られるが、これを解いても [[ニュートンの運動方程式]] <math>m\ddot{x}=-kx</math> を得るだけである。したがって、解は古典力学と同じ結果である。

また、ここで用いたハミルトニアンは量子力学でも使用する。

== 量子的な調和振動子 ==
=== 1次元の調和振動子 ===
量子力学では運動量演算子 <math>\hat{p}</math> を
:<math>\hat{p}=-i\hbar\frac{\partial}{\partial x}</math>
と書く([[正準量子化]])。<math>\hbar</math> は[[換算プランク定数]]、<math>i</math>は虚数。よってハミルトニアン<math>\hat{H}</math>は
:<math>\hat{H}=-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}+\frac{1}{2} m \omega^2 x^2</math>
となる。

1次元の量子的な調和振動子についての時間依存しない[[シュレーディンガー方程式]]は、以下のように書ける。
:<math>\left(-\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2}+\frac{1}{2} m \omega^2 x^2\right)\phi(x)=E\phi(x)</math>
この方程式は解析的に解くことができ、その解（[[エネルギー固有状態]]）は[[エルミート多項式]] <math>H_n</math> を使って以下のように表される。
:<math>\phi_n(x)=AH_n(\xi)\exp\left(-\frac{\xi^2}{2}\right)</math>
ただし、<math>\xi=\sqrt{\frac{m\omega}{\hbar}}x</math>、<math>A</math> は[[規格化]]定数で次式で与えられる。
:<math>A=\sqrt{\frac{1}{n!2^n}\sqrt\frac{m\omega}{\pi\hbar}}</math>
また、[[エルミート多項式]]<math>H_n</math>は
:<math>H_n(x)=(-1)^n\exp\left(x^2\right)\frac{\mathrm{d}^n}{\mathrm{d}x^n}\exp\left(-x^2\right)</math>
で定義される。具体例として<math>n=0,1,2</math> の場合を示すと
:<math>H_0=1</math>
:<math>H_1=2x</math>
:<math>H_2=4x^2-2 </math>
である。基底状態（<math>n=0</math>）のエネルギー固有状態は[[ガウス波束]]であり、<math>x=0</math>付近に局在している。
エネルギー固有値は次のようになる。
:<math>E_n=\hbar\omega\left(n+\frac{1}{2}\right)  \qquad (n=0,1,2,...)</math>
つまりエネルギー準位は <math>\hbar\omega</math> という均等な間隔で並ぶ。<math> n = 0 </math>の状態は零点振動、そのエネルギー固有値<math> E_0 = \hbar\omega/2 </math>は零点エネルギーと呼ばれる。

=== より高次元の調和振動子 ===
以上は一次元調和振動子の場合であるが、2次元、3次元も同様に解ける。3次元の場合、エネルギー固有値は次のようになる。
:<math>E_N=\hbar\omega\left(N+\frac{3}{2}\right)</math>
''N'' は三方向の量子数 (<math>n_x</math>, <math>n_y</math>, <math>n_z</math>) の和で、また<math>E_N</math> は、(''N''+2)(''N''+1)/2 重に[[縮退]]している。これは縮退が見られなかった一次元の場合とは明らかに異なる。

=== 生成消滅演算子 ===
調和振動子の扱い方としては、上述の[[正準変数]]を用いた方法の他に、[[生成消滅演算子]]で書きなおして考える方法がある。

以下のような演算子を定義する。
:<math>\hat{a}=\sqrt{\frac{\hbar}{2m\omega}}\left(+\frac{\partial}{\partial x}+\frac{m\omega}{\hbar}x\right)</math> : 消滅演算子
:<math>\hat{a}^\dagger=\sqrt{\frac{\hbar}{2m\omega}}\left(-\frac{\partial}{\partial x}+\frac{m\omega}{\hbar}x\right)</math> : 生成演算子

これを使うと、上述のシュレディンガー方程式は次のように書きなおせる。
:<math>\hbar\omega\left(\hat{a}^\dagger\hat{a}+\frac{1}{2}\right)\phi=E\phi</math>
1/2の項が出るのは演算子に微分が含まれているためである。エネルギー固有値との比較から、<math>\hat{a}^\dagger\hat{a}</math>の固有値は <math>n</math> に等しいことがわかる。よって<math>\hat{a}^\dagger\hat{a}</math>を'''[[数演算子]]'''と呼び<math>\hat{n} \ </math>で表す。

生成・消滅演算子をエネルギー固有状態<math>\phi_n(x)</math>に作用させると、<math>\hat{n} \ </math>の固有値''n'' を増減させる。( <math>n</math> = <math>0,1,2,....</math>)
:<math>\begin{align}
\hat{a}^\dagger\phi_n(x)&=\sqrt{n+1}\phi_{n+1}(x) \\
\hat{a}\phi_n(x)&=\sqrt{n}\phi_{n-1}(x) & (n \ge 1) \\
\hat{a}\phi_0(x)&=0
\end{align}</math>
つまり <math>n</math> をなんらかの粒子の数と見なすならば、生成演算子は粒子を一つ作り、消滅演算子は一つ減らす働きをする。また基底状態(粒子数0の状態)に消滅演算子を作用させても、もう粒子は消せない。

この演算子を用いれば、方程式の解を容易に導出できる。

=== 量子場との関係 ===
[[場の量子論]]や[[量子多体系]]では、場を量子的な調和振動子に分解することがある。量子的な調和振動子の組があれば、必ずそれをボース粒子の系とみなすことができる。独立な調和振動子からなる系は、エネルギー固有値や平衡状態を議論するかぎり、[[化学ポテンシャル]]<math>\mu=0</math>の[[理想ボース気体]]と数学的に完全に等価である。<ref>{{Cite book|和書|last=田崎|first=晴明|authorlink=田崎晴明|title=統計力学 II|publisher=[[培風館]]|date=2008-12-5|isbn=978-4-563-02438-3}}</ref>

ただし全ての場が調和振動子に帰着されるわけではない。調和振動子の集まりと考えることができる場は、[[双曲線]]型の[[微分方程式]]を満たすものに限られる（詳細は[[非調和振動子]]や[[ボゴリューボフ変換]]を参照）。また粒子像が描けるのは、調和振動子になるような量子場に限られる。たとえば[[マクスウェル方程式|マクスウェルの場]]の全体が調和振動子の集まりになるわけではなく、遠くのほうに電磁波として伝わっていく成分だけが、調和振動子になる<ref name=takahashi>{{Cite book|和書|author=高橋康|authorlink=高橋康|title=物理数学ノート<2>力学I|publisher=[[講談社]]|date=1993-12|id={{ISBN2|4-06-153208-1}}。ISBN-13: 978-4-06-153208-3}}</ref>。このとき現れる粒子像が光子である。ただし粒子の数と調和振動子の数には直接的な関係はない。粒子の数が増減すると調和振動子の状態が変化する<ref>鈴木博『場の量子論の考え方』数理科学, No.41, p.6-11 (2008).</ref>。

量子的な調和振動子に分解するというのは、量子がもつ粒子性を[[振幅]]で解釈し、波動性を振動数で理解しようとする考え方である。この考え方をあえてフェルミ粒子にも適用すると、[[ボース粒子]]はいくらでも振幅が大きくなれるが、[[フェルミ粒子]]は振幅に制限があるためにあまり大きくなれないと考えることもできる。この量子的な調和振動子の振幅を表すのが生成消滅演算子である<ref name=takahashi/>。

=== 例 ===
* [[光子]]（[[電磁場]]の[[フーリエ成分]]）
* [[フォノン]]（[[格子振動]]の[[基準振動]]）

==具体例==
[[File:Harmonic Oscillator 0.0 450.gif|thumb|450px|図1:<math>\xi_0=0</math>における量子的調和振動子の図]]
[[File:Harmonic Oscillator 0.45 450.gif|thumb|450px|図2:<math>\xi_0=0.45</math>における量子的調和振動子の図]]
量子力学における1次元の調和振動子の運動をアニメーションで示す（図1）（図2）。青い曲線が粒子の波動関数の実部である。緑の曲線が粒子の存在確率密度である。

量子力学では粒子の運動状態を波動関数で表す。波動関数は一般に複素数で与えられる。波動関数の絶対値の2乗が存在確率密度を表す。図1、図2に示される存在確率密度の変動は古典論での粒子の単振動に対応している。

波動関数は一般に
:<math>\psi(x,t)=\sum^{\infty}_{n=0} C_n\phi_n(x)\exp\left(-i\omega\left(n+\frac{1}{2}\right)t\right)</math>
とかける。ただし<math>C_n</math>は波束を決定する係数である。初期条件として零点振動の中心を<math>x_0</math> だけ変位させた波束
:<math>\psi(x,0)=A\exp\left(-\frac{m\omega}{2\hbar}(x-x_0)^2\right)</math>
を選ぶ（ただし <math>x_0</math> は任意の定数）と、係数<math>C_n</math>はエルミートの多項式の直交性から
:<math>
\begin{align}
C_n&=\int_{-\infty}^{\infty} \phi_n(x)\psi(x,0)\,dx\\
&=\frac{1}{n!2^n}\sqrt\frac{m\omega}{\pi\hbar}\left(\sqrt\frac{m\omega}{\hbar}x_0\right)^n\exp\left(-\frac{m\omega}{4\hbar}x_0^2\right)\\
&=\frac{1}{n!2^n}\sqrt\frac{m\omega}{\pi\hbar}\xi_0^n\exp\left(-\frac{\xi_0^2}{4}\right)
\end{align}
</math>
で与えられる(ただし、<math>\xi_0 = \sqrt\frac{m\omega}{\hbar}x_0 </math> とした)。この場合の粒子の運動が図1、図2である。

===図1のアニメーション===
<math>\xi_0 = 0.0</math>では<math>1 \leqq n </math>の<math> n </math>に対して<math>C_n=0</math>になる。すなわち波動関数が
:<math>\psi(x,t)=C_0\phi_0(x)\exp\left(-\frac{i\omega}{2}t\right)</math>
となる。波動関数は定常波のように振動する。この振動が零点振動である。存在確率密度が時間変化しない定常状態となる。エネルギー固有値は零点エネルギー<math> E_n = \frac{1}{2}\hbar\omega </math>であり、エネルギー状態は基底状態である。基底状態はエネルギーが0の状態ではないので波動関数は運動する。

===図2のアニメーション===
<math>\xi_0 = 0.45 </math>では<math>C_n</math>が<math>0</math>でない値を持つ<math>n</math>が2つ以上存在する。波動関数はエネルギー状態が基底状態の波動関数と励起状態の波動関数の重ね合わせで表される。波動関数の波形は時間によって変化し、定常状態ではない。波動関数は振動の中心付近で速度が最大になる。ド・ブロイの関係式
:<math>p=\frac{\hbar}{\lambda}</math>
により速度が大きくなると波長<math>\lambda</math>が短くなるので波動関数の波長が振動の中心付近では振動の端と比べて短くなっている。

== 脚注 ==
<references/>

== 参考文献 ==
* 長岡洋介 著、[[小出昭一郎]]・[[阿部龍蔵]] 監修 『振動と波』 [[裳華房]]、1992年。{{ISBN2|4-7853-2045-1}}。
* [[小出昭一郎]] 『量子力学 (I)』（改訂版）、裳華房〈[[基礎物理学選書]]〉、1990年。{{ISBN2|4-7853-2132-6}}。
* 『物理学事典』（三訂版） [[培風館]]、2005年。

== 関連項目 ==
* [[共振]]
* [[格子振動]]
* [[分子内振動]]
* [[原子核振動]]
* [[非調和振動子]]
* [[RLC回路]]

{{Normdaten}}
{{DEFAULTSORT:ちようわしんとうし}}
[[Category:力学]]
[[Category:量子力学]]
[[Category:振動と波動]] 
[[Category:力学系]]
[[Category:常微分方程式]]