調和振動子

提供: testwiki
2024年5月15日 (水) 12:29時点におけるimported>Ta2oによる版 (生成消滅演算子: lk)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

調和振動子(ちょうわしんどうし、テンプレート:Lang-en-short)とは、質点が定点からの距離に比例する引力を受けて運動する系である。調和振動子は定点を中心として振動する系であり、その運動は解析的に解くことができる。

古典的な調和振動子

ニュートンの運動方程式から

テンプレート:See also

一端を壁につないだばね定数 k のばねの他端に質量 m の物体をつなぐ。静止状態から物体を x だけ手で引っ張り、静かに手を離すと物体は振動を始める。物体に作用するkx である。ニュートンの運動方程式 mx¨=kx を解くと、一般解は次のようになる。

x(t)=Acosωt+Bsinωt,
ω=k/m : 調和振動子の角振動数(固有振動数)

A , B は定数で、初期条件によって決まる。振動数ω は、ばね定数と物体の質量にのみ依存する。

ハミルトンの運動方程式(正準方程式)から

調和振動子のポテンシャルU は次のようになる。

U=12kx2

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

H=12mp2+k2x2

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

xt=Hp
pt=Hx

である。ハミルトンの正準方程式から連立方程式が得られるが、これを解いても ニュートンの運動方程式 mx¨=kx を得るだけである。したがって、解は古典力学と同じ結果である。

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

量子的な調和振動子

1次元の調和振動子

量子力学では運動量演算子 p^

p^=ix

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

H^=22m2x2+12mω2x2

となる。

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

(22m2x2+12mω2x2)ϕ(x)=Eϕ(x)

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

ϕn(x)=AHn(ξ)exp(ξ22)

ただし、ξ=mωxA規格化定数で次式で与えられる。

A=1n!2nmωπ

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

Hn(x)=(1)nexp(x2)dndxnexp(x2)

で定義される。具体例としてn=0,1,2 の場合を示すと

H0=1
H1=2x
H2=4x22

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

En=ω(n+12)(n=0,1,2,...)

つまりエネルギー準位は ω という均等な間隔で並ぶ。n=0の状態は零点振動、そのエネルギー固有値E0=ω/2は零点エネルギーと呼ばれる。

より高次元の調和振動子

以上は一次元調和振動子の場合であるが、2次元、3次元も同様に解ける。3次元の場合、エネルギー固有値は次のようになる。

EN=ω(N+32)

N は三方向の量子数 (nx, ny, nz) の和で、またEN は、(N+2)(N+1)/2 重に縮退している。これは縮退が見られなかった一次元の場合とは明らかに異なる。

生成消滅演算子

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

以下のような演算子を定義する。

a^=2mω(+x+mωx) : 消滅演算子
a^=2mω(x+mωx) : 生成演算子

これを使うと、上述のシュレディンガー方程式は次のように書きなおせる。

ω(a^a^+12)ϕ=Eϕ

1/2の項が出るのは演算子に微分が含まれているためである。エネルギー固有値との比較から、a^a^の固有値は n に等しいことがわかる。よってa^a^数演算子と呼びn^ で表す。

生成・消滅演算子をエネルギー固有状態ϕn(x)に作用させると、n^ の固有値n を増減させる。( n = 0,1,2,....)

a^ϕn(x)=n+1ϕn+1(x)a^ϕn(x)=nϕn1(x)(n1)a^ϕ0(x)=0

つまり n をなんらかの粒子の数と見なすならば、生成演算子は粒子を一つ作り、消滅演算子は一つ減らす働きをする。また基底状態(粒子数0の状態)に消滅演算子を作用させても、もう粒子は消せない。

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

量子場との関係

場の量子論量子多体系では、場を量子的な調和振動子に分解することがある。量子的な調和振動子の組があれば、必ずそれをボース粒子の系とみなすことができる。独立な調和振動子からなる系は、エネルギー固有値や平衡状態を議論するかぎり、化学ポテンシャルμ=0理想ボース気体と数学的に完全に等価である。[1]

ただし全ての場が調和振動子に帰着されるわけではない。調和振動子の集まりと考えることができる場は、双曲線型の微分方程式を満たすものに限られる(詳細は非調和振動子ボゴリューボフ変換を参照)。また粒子像が描けるのは、調和振動子になるような量子場に限られる。たとえばマクスウェルの場の全体が調和振動子の集まりになるわけではなく、遠くのほうに電磁波として伝わっていく成分だけが、調和振動子になる[2]。このとき現れる粒子像が光子である。ただし粒子の数と調和振動子の数には直接的な関係はない。粒子の数が増減すると調和振動子の状態が変化する[3]

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

具体例

図1:ξ0=0における量子的調和振動子の図
図2:ξ0=0.45における量子的調和振動子の図

量子力学における1次元の調和振動子の運動をアニメーションで示す(図1)(図2)。青い曲線が粒子の波動関数の実部である。緑の曲線が粒子の存在確率密度である。

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

波動関数は一般に

ψ(x,t)=n=0Cnϕn(x)exp(iω(n+12)t)

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

ψ(x,0)=Aexp(mω2(xx0)2)

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

Cn=ϕn(x)ψ(x,0)dx=1n!2nmωπ(mωx0)nexp(mω4x02)=1n!2nmωπξ0nexp(ξ024)

で与えられる(ただし、ξ0=mωx0 とした)。この場合の粒子の運動が図1、図2である。

図1のアニメーション

ξ0=0.0では1nnに対してCn=0になる。すなわち波動関数が

ψ(x,t)=C0ϕ0(x)exp(iω2t)

となる。波動関数は定常波のように振動する。この振動が零点振動である。存在確率密度が時間変化しない定常状態となる。エネルギー固有値は零点エネルギーEn=12ωであり、エネルギー状態は基底状態である。基底状態はエネルギーが0の状態ではないので波動関数は運動する。

図2のアニメーション

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

p=λ

により速度が大きくなると波長λが短くなるので波動関数の波長が振動の中心付近では振動の端と比べて短くなっている。

脚注

  1. テンプレート:Cite book
  2. 2.0 2.1 テンプレート:Cite book
  3. 鈴木博『場の量子論の考え方』数理科学, No.41, p.6-11 (2008).

参考文献

関連項目

テンプレート:Normdaten