量子力学における摂動論Ⅱ
さて,前回の記事「量子力学における摂動論Ⅰ」ではPending
のまま,少し過去の大学講義ノートを参照して書き直すと
書いて中途半端に終わりました。
そこでここに続きの記事を書きますが記号の定義はこの前の
記事と同じで前記事を準備として本題の詳細を記述したいと
思います。
繰り返しになりますが,定常状態の波動関数Φ=Φ(x)に
対する基本のSchroedinger方程式は系のHamiltonianをH
として,EをHの固有値とするHΦ=EΦなる固有値問題
に帰着します。
今,H=H0のケースには方程式が正確に解けて座標空間全体
の総確率が1となるように規格化された解が,離散的な固有値
:E=E1,E2,E3,..に属する固有関数の完全セット:
Φ=u1(x),u2(x),u3(x),,...で得られているとします。
つまり,H0un=Enun(n=1,2,3,..)であるとします。
ところが,オーダー的にH0とわずかに異なるHamiltonian:
H=H0+VについてはHΦ=EΦを正しく解く方法が見
つからないとき,近似解法が要求されます。
E=En+ΔEnの場合のHΦ=EΦの解をΦ=un+ΔΦn
とすれば,方程式:HΦ=EΦは,
(H0+V)(un+ΔΦn)=(En+ΔEn)(un+ΔΦn)
となります。
これから,H0un=Enunを除去すると,
H0ΔΦn+V(un+ΔΦn)
=EnΔΦn+ΔEn(un+ΔΦn),
あるいは,
(En-H0)ΔΦn
=V(un+ΔΦn)-ΔEn(un+ΔΦn)
となります。
これを次のように書き下します。
(En-H0)(Δ(1)Φn+Δ(2)Φn+Δ(3)Φn+..)
=V(un+Δ(1)Φn+Δ(2)Φn+Δ(3)Φn+..)
-(Δ(1)En+Δ(2)En+Δ(3)En+..)
×(un+Δ(1)Φn+Δ(2)Φn+Δ(3)Φn+..)
です。
これから,前の記事と同じく両辺のVのオーダーを比較して
(En-H0)Δ(1)Φn=Vun-Δ(1)Enun
(En-H0)Δ(2)Φn
=VΔ(1)Φn-Δ(1)EnΔ(1)Φn-Δ(2)Enun
および,(En-H0)Δ(3)Φn
=VΔ(2)Φn-Δ(1)EnΔ(2)Φn-Δ(2)EnΔ(1)Φn
-Δ(3)Enun...
が得られます。
元の非摂動系のエネルギー固有値に縮退が全く無く,
固有関数の正規直交規格化が<m|n>=<um|un>
=δmnで与えられる場合なら,
まず,(En-Em)<m|Δ(1)Φn>
=<m|V|n>-Δ(1)Enδmnにおいてm=nとして
Δ(1)En=<n|V|n>=Vnn を得ます。
また,m=nのときの<m|Δ(1)Φn>=<n|Δ(1)Φn>は不定
ですが,m≠nのときには,En≠Emより,
<m|Δ(1)Φn>=<m|V|n>/(En-Em)
=Vmn/(En-Em) と書けます。
そこで,不定部分をcn≡<n|Δ(1)Φn>とおけば,
Δ(1)Φn=Σm<m|Δ(1)Φn>um
=cnun+Σm≠nVmnum/(En-Em) を得ます。
したがって,第1近似ではEn近傍の新しいエネルギー
固有値はEnからEn+Δ(1)En=En+Vnnへと補正
され,それに属する 固有関数はunからun+Δ(1)Φn
=(1+cn)un+Σm≠nVmnum/(En-Em)
へと補正されます。
ところで,固有関数は定数係数だけの不定性を持つので
右辺を(1+cn)で割ったものも同じ固有値:En+Vnnに
属する固有関数であり最終的には,いずれかを規格化して
確率振幅を表わすものとするわけです
そこで,この係数を修正した固有関数:un+Δ(1)Φn/(1+cn)
を改めてun+Δ(1)Φnと考えてΔ(1)Φn/(1+cn)をΔ(1)Φn
と定義し直しておく方法もあります。
それ故,始めからΔ(1)Φnのみならず全補正値:
ΔΦn=Δ(1)Φn+Δ(2)Φn+Δ(3)Φn+..)が
unとは独立な成分であり,あらゆる摂動Vの次数
dで<n|ΔΦn>=<n|Δ(d)Φn>=0 (d=1,2,3,..)
を満たす,と仮定しておくわけです。
特に, <n|Δ(1)Φn>=0 から,
Δ(1)Φn=Σm≠nVmnum/(En-Em)であり
un+Δ(1)Φn=un+Σm≠nVmnum/(En-Em)
としてこれを摂動論の方法として採用してもいいと
考えられます。
そこで,以下ではそういう扱いをすることにします。
次に,(En-H0)Δ(2)Φn
=VΔ(1)Φn-Δ(1)EnΔ(1)Φn-Δ(2)Enunにおいて
左からum*(x)を掛けてdxの空間積分をするという内積
をとると
(En-Em)<m|Δ(2)Φn>
=<m|V|Δ(1)Φn>-Δ(1)En<m|Δ(1)Φn>
-Δ(2)Enδmn
です。
Δ(1)Φn同様Δ(2)Φn>もunとは独立なため,
その結果,<n|Δ(2)Φn>=<n|Δ(1)Φn>=0
ですから,m=nとして,
Δ(2)En=<n|V|Δ(1)Φn>
=<n|V|Σm≠nVmnum/(En-Em)>
=Σm≠nVmnVnm/(En-Em)
=Σm≠n|Vmn|2/(En-Em)
を得ます。
また,
m≠nなら,(En-Em)<m|Δ(2)Φn>
=<m|V|Δ(1)Φn>-Δ(1)En<m|Δ(1)Φn>
=<m|V|Σk≠nVknuk/(En-Ek)>
-VnnVmn/(En-Em)
=Σk≠nVknVmk/(En-Ek)
-VnnVmn/(En-Em)
です。
故に,縮退が無くてm≠nならEn≠Emの場合は,
<m|Δ(2)Φn>
=Σk≠nVknVmk/(En-Ek)(En-Em)
+VnnVmn/(En-Em) となります。
したがって,結局,2次補正固有関数として,
Δ(2)Φn=Σm≠n<m|Δ(2)Φn>um
=Σm≠nΣk≠nVknVmkum/(En-Ek)(En-Em)
-Σm≠nVnnVmnum/(En-Em)2
を得ます。
同様に,(En-Em)<m|Δ(3)Φn>
=<m|V|Δ(2)Φn>-Δ(1)En<m|Δ(2)Φn>
-Δ(2)En<m|Δ(1)Φn>-Δ(3)Enδmnであって,
<n|Δ(3)Φ>=<n|Δ(2)Φ>=<n|Δ(1)Φ>=0
なので,
Δ(3)En=<n|V|Δ(2)Φn>
=Σm≠nΣk≠nVknVmk/(En-Ek)(En-Em)
が得られます。
また,<m|V|Δ(2)Φn>
=Σj≠mΣk≠mVkmVjk/(Em-Ek)(Em-Ej)より,
Vの3次補正のm≠nに関する展開係数は,
<m|Δ(3)Φn>={1/(En-Em)
×[<m|V|Δ(2)Φn>-Δ(1)En<m|Δ(2)Φn>
-Δ(2)En<m|Δ(1)Φn>]
=Σj≠mΣk≠mVmjVkmVjk/(Em-Ek)(Em-Ej)(En-Em)
-Σk≠nVnnVknVmk/(En-Ek)(En-Em)(En-Em)
-Vnn2Vmn/(En-Em)3
-Σk≠n|Vkn|2Vmn/(En-Ek)(En-Em)2
です。
以上から縮退の無い場合のエネルギー固有値の摂動展開は,
ΔEn=Vnn+Σm≠n|Vmn|2/(En-Em)
+Σm≠nΣk≠nVknVmk/(En-Ek)(En-Em)+..
で与えられ,
その固有関数の摂動展開は ,
ΔΦn=Σm≠nVmnum/(En-Em)
+Σm≠nΣk≠nVknVmkum/(En-Ek)(En-Em)
-Σm≠nVnnVmnum/(En-Em)2
+Σm≠nΣj≠mΣk≠mVmjVkmVjk
×um/(Em-Ek)(Em-Ej)(En-Em)
-Σm≠nΣk≠n|Vkn|2Vmnum/(En-Ek)(En-Em)2
-Σm≠nVnn2Vmnum/(En-Em)3+..
で与えられることがわかります。
さて,改めてH=H0+Vに対してHΦ=EΦを満たす,正確な
エネルギー固有値をεn,固有関数)をΦnとします。
これまでの道筋を改めて確認すると,H0un=Enunで,
HΦn=εnΦnであり,εn=En+ΔEn,かつ
Φn=un+ΔΦnです。
ところが,<Φn|Φn>=<un+ΔΦn|un+ΔΦn>
=1+<ΔΦn|ΔΦn>≠1ですから,波動関数をそれ自身で
1つの確率振幅を示すものと定義し直すなら,これを
再規格化(Renormalize)する必要があります。
そこでΦnを最終的に規格化したものをχn≡Z1/2Φnと
定義すれば,<χn|χn>=1ですから.
Z=1/{1+<ΔΦn|ΔΦn>}~ 1-<ΔΦn|ΔΦn>とする
ことが必要です。
<ΔΦn|ΔΦn>はVの2次以上のオーダーです。
ΔΦn=Σm≠nVmnum/(En-Em)
+Σm≠nΣk≠nVknVmkum/(En-Ek)(En-Em)
-Σm≠nVnnVmnum/(En-Em)2 +..から
<ΔΦn|ΔΦn>=Σm≠n|Vmn|2/(En-Em)2
+O(V3)より,
Vの2次までの近似では,Z1/2=~1-(1/2)<ΔΦn|ΔΦn>
~ 1-(1/2)Σm≠n|Vmn|2/(En-Em)2なので,結局,
2次までの近似では規格化により
χn=Z1/2Φn=un+Σm≠nVmnum/(En-Em)
-(1/2)Σm≠n|Vmn|2un/(En-Em)2
+Σm≠nΣk≠nVknVmkum/(En-Ek)(En-Em)
-Σm≠nVnnVmnum/(En-Em)2
が得られます。
それ故,この近似では規格化も<χn|χn>=1-O(V2)
の精度であることに留意しておく必要があります。
さて,これまでの議論は元のVが無い非摂動系H0において
エネルギー固有値に対し,全く縮退が無いという特別な場合
の方法でした。
くどいようですが,要約すると,摂動Vの2次の展開項まででは,
H=H0+Vに対するエネルギー固有値はεn=En+ΔEn
=En+Vnn+Σm≠n|Vmn|2/(En-Em)
固有関数は,Φn=un+ΔΦn
=un+Σm≠nVmnum/(En-Em)
+Σm≠nΣk≠nVknVmkum/(En-Ek)(En-Em)
-Σm≠nVnnVmnum/(En-Em)2 です。
しかし,もしもH0の系がエネルギー縮退していれば,m≠n
でもEm=En,かつVmn≠0 なる状態が2つ以上存在する
ことがあり,その結果,Vmn/(En-Em)を因子として含む
ような項は有限な値としての意味を失なうため,
このままの素朴な摂動近似式の表現は破綻します。
もしも,H0の固有値:Enのエネルギー固有状態がg重に
縮退していたなら,同じ固有値に属し正規直交化されたg個
の固有関数をunα(α=1,2,..,g)と書いて,連立方程式:
H0unα=Enunα(α=1,2,..,g)が成立していると表現
することができます。
他方,H0の固有値がEnの別の正規直交化されたg個の
固有関数系を取ることもできて,それをvnj(j=1,2,..,g)
するとH0vnj=Envnjであり,これらはunαの線型結合
=重ね合わせ状態として,vnj=Σα=1gcαjunαのように
関係付けられるはずです。
このとき,係数の複素数cαjはcαj=<unα|vnj>
で与えられます。
そして,正規直交条件はδij=<vni|vnj>
=Σα=1g<vni|unα><unα|vnj>
=Σα=1gcαi*cαj です。
特に,i=jとすると,係数がΣα=1g|cαj|2=1
を満たす必要がある,ことを意味する式になります。
以前と同じく,以下,<unα|V|unβ>を
<nα|V|nβ>etc.と表記することにします。
縮退がない場合の摂動論の方程式系:
(En-H0)Δ(1)Φn=Vun-Δ(1)Enun
(En-H0)Δ(2)Φn
=VΔ(1)Φn-Δ(1)EnΔ(1)Φn-Δ(2)Enun
(En-H0)Δ(3)Φn
=VΔ(2)Φn-Δ(1)EnΔ(2)Φn-Δ(2)EnΔ(1)Φn
-Δ(3)Enun...
において固有値Enに属する非摂動系での固有状態の固有
関数をunから,より一般的な状態vn=Σα=1gcαunαに
変更し,新しいHの固有関数Φnを,
Φn=vn+ΔΦn
=Σα=1gcαunα+Δ(1)Φn+Δ(2)Φn+Δ(3)Φn
+..
とします。
すると,
(En-H0)Δ(1)Φn=Vvn-Δ(1)Envn
(En-H0)Δ(2)Φn
=VΔ(1)Φn-Δ(1)EnΔ(1)Φn-Δ(2)Envn
(En-H0)Δ(3)Φn
=VΔ(2)Φn-Δ(1)EnΔ(2)Φn-Δ(2)EnΔ(1)Φn
-Δ(3)Envn...
となります。
またまた長くなったので中途ですが今日はここまでにします。
| 固定リンク
「111. 量子論」カテゴリの記事
- クライン・ゴルドン方程式(8)(2016.09.01)
- クライン・ゴルドン方程式(7)(2016.08.23)
- Dirac方程式の非相対論極限近似(2)(2016.08.14)
- Dirac方程式の非相対論極限近似(1)(2016.08.10)
- クライン・ゴルドン方程式(6)(2016.07.27)
この記事へのコメントは終了しました。
コメント