調和振動子(ちょうわしんどうし、英: harmonic oscillator)とは、質点が定点からの距離に比例する引力を受けて運動する系である。調和振動子は定点を中心として振動する系であり、その運動は解析的に解くことができる。
一端を壁につないだばね定数
のばねの他端に質量
の物体をつなぐ。静止状態から物体を
だけ手で引っ張り、静かに手を離すと物体は振動を始める。物体に作用する力は
である。ニュートンの運動方程式
を解くと、一般解は次のようになる。

: 調和振動子の角振動数(固有振動数)
A , B は定数で、初期条件によって決まる。振動数
は、ばね定数と物体の質量にのみ依存する。
調和振動子のポテンシャル
は次のようになる。

ただし
は物体の位置である。ばねが自然長の時の位置を原点とする。ハミルトニアン
を求めれば、運動はハミルトンの正準方程式にしたがう。
は運動エネルギー、
は運動量である。

ハミルトンの正準方程式は


である。ハミルトンの正準方程式から連立方程式が得られるが、これを解いても ニュートンの運動方程式
を得るだけである。したがって、解は古典力学と同じ結果である。
また、ここで用いたハミルトニアンは量子力学でも使用する。
量子力学では運動量演算子
を

と書く(正準量子化)。
は換算プランク定数、
は虚数。よってハミルトニアン
は

となる。
1次元の量子的な調和振動子についての時間依存しないシュレーディンガー方程式は、以下のように書ける。

この方程式は解析的に解くことができ、その解(エネルギー固有状態)はエルミート多項式
を使って以下のように表される。

ただし、
、
は規格化定数で次式で与えられる。

また、エルミート多項式
は

で定義される。具体例として
の場合を示すと



である。基底状態(
)のエネルギー固有状態はガウス波束であり、
付近に局在している。
エネルギー固有値は次のようになる。

つまりエネルギー準位は
という均等な間隔で並ぶ。
の状態は零点振動、そのエネルギー固有値
は零点エネルギーと呼ばれる。
以上は一次元調和振動子の場合であるが、2次元、3次元も同様に解ける。3次元の場合、エネルギー固有値は次のようになる。

N は三方向の量子数 (
,
,
) の和で、また
は、(N+2)(N+1)/2 重に縮退している。これは縮退が見られなかった一次元の場合とは明らかに異なる。
調和振動子の扱い方としては、上述の正準変数を用いた方法の他に、生成消滅演算子で書きなおして考える方法がある。
以下のような演算子を定義する。
: 消滅演算子
: 生成演算子
これを使うと、上述のシュレディンガー方程式は次のように書きなおせる。

1/2の項が出るのは演算子に微分が含まれているためである。エネルギー固有値との比較から、
の固有値は
に等しいことがわかる。よって
を数演算子と呼び
で表す。
生成・消滅演算子をエネルギー固有状態
に作用させると、
の固有値n を増減させる。(
=
)

つまり
をなんらかの粒子の数と見なすならば、生成演算子は粒子を一つ作り、消滅演算子は一つ減らす働きをする。また基底状態(粒子数0の状態)に消滅演算子を作用させても、もう粒子は消せない。
この演算子を用いれば、方程式の解を容易に導出できる。
場の量子論や量子多体系では、場を量子的な調和振動子に分解することがある。量子的な調和振動子の組があれば、必ずそれをボース粒子の系とみなすことができる。独立な調和振動子からなる系は、エネルギー固有値や平衡状態を議論するかぎり、化学ポテンシャル
の理想ボース気体と数学的に完全に等価である。[1]
ただし全ての場が調和振動子に帰着されるわけではない。調和振動子の集まりと考えることができる場は、双曲線型の微分方程式を満たすものに限られる(詳細は非調和振動子やボゴリューボフ変換を参照)。また粒子像が描けるのは、調和振動子になるような量子場に限られる。たとえばマクスウェルの場の全体が調和振動子の集まりになるわけではなく、遠くのほうに電磁波として伝わっていく成分だけが、調和振動子になる[2]。このとき現れる粒子像が光子である。ただし粒子の数と調和振動子の数には直接的な関係はない。粒子の数が増減すると調和振動子の状態が変化する[3]。
量子的な調和振動子に分解するというのは、量子がもつ粒子性を振幅で解釈し、波動性を振動数で理解しようとする考え方である。この考え方をあえてフェルミ粒子にも適用すると、ボース粒子はいくらでも振幅が大きくなれるが、フェルミ粒子は振幅に制限があるためにあまり大きくなれないと考えることもできる。この量子的な調和振動子の振幅を表すのが生成消滅演算子である[2]。
図1:
における量子的調和振動子の図
図2:
における量子的調和振動子の図
量子力学における1次元の調和振動子の運動をアニメーションで示す(図1)(図2)。青い曲線が粒子の波動関数の実部である。緑の曲線が粒子の存在確率密度である。
量子力学では粒子の運動状態を波動関数で表す。波動関数は一般に複素数で与えられる。波動関数の絶対値の2乗が存在確率密度を表す。図1、図2に示される存在確率密度の変動は古典論での粒子の単振動に対応している。
波動関数は一般に

とかける。ただし
は波束を決定する係数である。初期条件として零点振動の中心を
だけ変位させた波束

を選ぶ(ただし
は任意の定数)と、係数
はエルミートの多項式の直交性から

で与えられる(ただし、
とした)。この場合の粒子の運動が図1、図2である。
では
の
に対して
になる。すなわち波動関数が

となる。波動関数は定常波のように振動する。この振動が零点振動である。存在確率密度が時間変化しない定常状態となる。エネルギー固有値は零点エネルギー
であり、エネルギー状態は基底状態である。基底状態はエネルギーが0の状態ではないので波動関数は運動する。
では
が
でない値を持つ
が2つ以上存在する。波動関数はエネルギー状態が基底状態の波動関数と励起状態の波動関数の重ね合わせで表される。波動関数の波形は時間によって変化し、定常状態ではない。波動関数は振動の中心付近で速度が最大になる。ド・ブロイの関係式

により速度が大きくなると波長
が短くなるので波動関数の波長が振動の中心付近では振動の端と比べて短くなっている。
- ^ 田崎, 晴明『統計力学 II』培風館、2008年12月5日。ISBN 978-4-563-02438-3。
- ^ a b 高橋康『物理数学ノート<2>力学I』講談社、1993年12月。ISBN 4-06-153208-1。ISBN-13: 978-4-06-153208-3。
- ^ 鈴木博『場の量子論の考え方』数理科学, No.41, p.6-11 (2008).