【量子力学】摂動法~時間に依存する摂動
摂動法とは、ある状態に、少しだけ外部からの擾乱(観測や外場)が加わった場合に、シュレディンガー方程式に「摂動項」なるものを設けて(加えて)、方程式を解く方法です。
※擾乱、というのは小さな変化、ちょっとした乱れ、を意味しますが、観測は状態に小さな変化を加えることによって得られる反作用により状態を知ることなのであるから、観測も擾乱とみなされます。
擾乱の加わったハミルトニアン H を、H=H0+λH′ のように書いて、シュレディンガー方程式に代入していきます。H0 は擾乱の加わっていない状態のハミルトニアン、λH′ が擾乱を意味する摂動項です。後で具体的に述べますが、(もちろん擾乱の加わった状態の)波動関数 ψ の形を ψ=ψ(0)+λψ(1)+λ2ψ(2)+… のように仮定します。
摂動法の何が面白いのかというと、てはじめとしては、はじめにエネルギーが Ei であった状態が エネルギー ℏω の電磁波を受けて Ef=Ei+ℏω になることはエネルギー保存則から理解できますが、そのことを摂動法(時間変化する摂動論)によっても理解、または導くことができます。これによれば、状態 Ei→Efへの遷移確率も求めることができるのです。
また、水素原子に弱い磁場や電場をかけるのはまさに擾乱を加えるということですが、この際に現れるゼーマン効果やシュタルク効果を説明し、その場合の(始)状態の(終)状態への遷移確率も計算することができます。(ただ、この、ある時突然一定でその後変化しない擾乱を加えることが、ゼーマン効果やシュタルク効果にあたるという以上の説明を、ほかの解説で見ませんので、ちょっと自信がありませんが、たとえばゼーマン効果の摂動ハミルトニアンは H′=μBBℏlz ですが、これは、方程式上明らかに時間的に一定の摂動ハミルトニアンであることを示しています)
ちなみに、ゼーマン効果(弱い磁場を加える)や、シュタルク効果(弱い電場を加える)とは、原子や分子に磁場や電場を加えたときに、エネルギー状態の縮退が解けて、そのために原子や電子から放出される光のスペクトル線も分裂して見える効果のことを言います。この効果を利用すれば、遠い星間空間に存在している磁場を測定することもできます。とてもすごい感じがします。
それでは、摂動の方法で、以上に述べた興味ある結論を導いてみましょう。
以下の設定をもとに、いきます。
ハミルトニアン ^H0 の固有値方程式 ^H0ϕn=E(0)nϕn が解かれており、固有関数 ϕn は規格直交完全系をなす。この状況で、時間 t に依存する摂動ハミルトニアン ^H′(t) による固有状態間の遷移を考える。
ここで、摂動パラメータ λ を用いてハミルトニアンを ˆH=^H0+λ^H′(t) と記す。この λ^H′(t) の部分が、外から加わる、弱い擾乱、つまり、時間的に変動しない一定の磁場や電場だったり、時間変化する電磁場だったりを表しています。
注:以下の計算中において、ハミルトニアン ˆH などの ハットはすべて省略し 単に H などと書くことにし、Umn(t) と ψn(r,t) は単に Umn 、 ψn と書くことにします。さらに、E(0)n は En と表記する。
(ステップ 1)
シュレディンガー方程式の解を ψn(r,t)=∑mUmn(t)ϕme−iω(0)mt (ここで ω(0)n≡E(0)n/ℏ ) とおいて、Umn(t) の時間変化率 dUmn(t)/dt を与える式を求めます。ψn(r,t) は、シュレディンガー方程式から得られる複数個の解の n 番目の解です。
Umn(t) は遷移振幅を示していますが、このことは後で述べます。今は摂動法の方程式さえ手解ければいい。
通常の解説では計算など省略していかにもスマートに書いていますが、この添え字のいっぱいある係数を解く計算が一番のやま、めんどうなところなのです。それを追っていきます。
【方針】 やることは、時間依存する場合のシュレディンガー方程式
Hψn=iℏ∂ψn∂t
に、
ハミルトニアンの形、H=H0+λH′ と 問題文の、ψn の表式を代入し、等式の左から ϕ∗f をかけてから、全空間で積分します。これだけのことですが、添え字がたくさんでてくる煩雑さのために、計算力が必要となります。なお、ϕf は f 番目の固有状態のことです。
さっそく計算すると、まずシュレディンガー方程式に H=H0+λH′ を代入すると、
(H0+λH′)ψn=iℏ∂ψn∂t となります。 固有状態に関する方程式は解けていて、 H0ϕn=Enϕn ということであるから、この式は、(En+λH′)ψn=iℏ∂ψn∂t とかくことができます。ここに、ψn の表式を代入し、右辺においては微分を計算すれば、
左辺 =(En+λH′)∑mUmnϕme−iω(0)mt
右辺 =iℏ∑m(∂Umn/∂t+Umn(−iω(0)m))ϕme−iω(0)mt
となります。ちなみに ϕm は固有状態を示すものであって定義上時間変化しません。
さらに、左辺、右辺にそれぞれ ϕf の複素共役 ϕ∗f をかけて、全空間で積分します。この際細かく書き下すことにすれば、
左辺 =En∑mUmn(∫ϕ∗fϕmdr)e−iω(0)mt + λ∑mUmn(∫ϕ∗fH′ϕmdr)e−iω(0)mt
右辺 =iℏ∑m(∂Umn/∂t+Umn(−iω(0)m))(∫ϕ∗fϕmdr)e−iω(0)mt
ここで、ϕ の規格・直交性すなわち、
∫ϕ∗fϕmdr={0(f≠m)1(f=m)
を考慮すれば、左辺・右辺の和の中の2つの積分部分において、m=f のものだけが生き残り、
ほかは0 となるから、
左辺 =EnUfne−iω(0)ft + λ∑mUmn<ϕf|H′|ϕm>e−iω(0)mt
右辺 =iℏ(∂Ufn/∂t–(iEfℏ)Ufn)e−iω(0)f
なお、ここで、<ϕf|H′|ϕm> は ∫ϕ∗fH′ϕmdr のことであり、右辺の中にある Efℏ は、 Efℏ=ω(0)f からきたものです。<ϕf|H′|ϕm>=∫ϕ∗fH′ϕmdr は、擾乱 H′(摂動項) により、固有状態 ϕm が変化したときに、固有状態 ϕf が観測される振幅です。(観測される確率はその振幅の二乗)
ここで、もともとの左辺は右辺に等しく、左辺 = 右辺でしたが、上記の計算の結果である左辺、右辺は、積分の結果だから、左辺= 右辺 +A(t) となります。すなわち、空間座標を含まない、時間のみの関数 A(t) だけの不定性があります。このことを考慮に入れて、最終結果の左辺、右辺に関して、左辺 = 右辺 + A(t) とし、左辺、右辺を代入して整理すれば、
iℏ ∂Ufn/∂t=A(t) + (En–Ef)Ufne−iω(0)ft+ λ∑mUmn<ϕf|H′|ϕm>e−i(ω(0)m−ω(0)f)t
さて、この右辺第二項 (En–Ef)Ufne−iω(0)ft は、Ufn がもともと 時間のみの関数 Ufn=Ufn(t) であったことを考えれば、この第二項全体が時間のみの関数であることがわかります。ゆえに A(t) を、第二項 +A(t)=0 となるように、すなわち A(t)= −(En–Ef)Ufne−iω(0)ft なる A(t) を選ぶことが可能です。 その結果、(1) 式としてきれいなかたち、
iℏ∂Ufn∂t=λ∑mUmn<ϕf|H′|ϕm>e−iEm−Efℏt を得ます。ここで、En=ℏω(0)n を用いた。問題文(1)においては、和記号 ∑mUmn における m と、「Umn …を与える式を求めなさい。」 の m とは同一のものではなく、いままで計算したなかで後者の m を f としてきたのですが、上結果において、
m→k および、f→m の置き換えを行えば、
iℏ∂Umn∂t=λ∑kUkn<ϕm|H′|ϕk>e−iE(0)k−E(0)mℏt
を得ます。これが(ステップ 1) の最終結果です。計算中に使ってきた EkはE(0)k,EmはE(0)m としてある。 なお、Umn=Umn(t) は時間のみの関数であるから、∂Umn/∂t も dUmn/dt も同じである。
(ステップ 2)
Umn(t)=U(0)mn(t)+λU(1)mn(t)+⋯ とおいて (1) で求めた dUmn(t)/dt の式に代入し、λ(0) の項から Umn(t)(0) を、λ(1) の項から Umn(t)(1) を求めます。
【方針】 代入するだけの、計算力の問題ですが、これが摂動の計算です。
(2) 式に、Umn=U(0)mn+λU(1)mn+λ2U(2)mn+⋯ を代入すると、
iℏ(∂U(0)mn∂t+λ∂U(1)mn∂t+λ2∂U(2)mn∂t+⋯)=λ∑kU(0)kn<ϕm|H′|ϕk>e−iEk−Emℏt+λ2∑kU(1)kn<ϕm|H′|ϕk>e−iEk−Emℏt+λ3∑kU(2)kn<ϕm|H′|ϕk>e−iEk−Emℏt+⋯
となります。
λ0 の項、すなわち λ の 0 次の項
(定数の項) を両辺で見比べると、右辺に λ0の項つまり定数項はないから、
iℏ ∂U(0)mn/∂t=0 を得ます。これは、各 U(0)mn(t) が時間によらない定数であることを示しており、従って、U(0)mn(t)=U(0)mn(0) と書くことができます。
さて、添え字 n は、シュレディンガー方程式の解 ψn(r,t) の添え字 n であり、この方程式の n 番目の解であることを示しています。この状態は、ψn(r,0) を始状態とすることがこの表記からわかりますが、ここで、始状態は、とくに、固有状態 ϕn であることにします。つまり、ψn(r,0)=ϕn です。ここにおいて、ψn(r,t) は、単に n 番目の解ということでなく、固有状態 ϕn を始状態として以降 時間発展していく系の解、という意味になりました。シュレディンガー方程式の解の値が、 t=0 において ψn(r,0)=ϕn であるということです。
こうすると、時刻 t=0 において、n 番目の状態 以外 が観測されることはないわけだから、t=0 における、摂動の 0 次の振幅 U(0)mn(0)に関しては、 U(0)mn(0)={0m≠n1m=n が言えることになります。
U(0)mn(t) が、時間によらない定数なのだから、結局、
U(0)mn=U(0)mn(t)={0m≠n1m=n が言えます。この結果を (A) とします。
なお、Umn(t) の意味について改めて述べておくと、Umn(t) は、n 番目の固有状態 ϕn=ψn(r,0) からスタートした状態が時間 t だけ時間発展した ψn(r,t) が、ほかの固有状態のどのような重ね合わせとして表されるかを示しています。すなわち Umnはこの系の時刻 t においてそのそれぞれの固有状態 ϕm が観測される振幅なのです。さて、始状態において、m=n 以外のすべての固有状態は観測されることがないから、m≠n を満たす Umn(0) は 0 であり、Umn(t) の、t=0 における、 x 次の摂動項の値 U(x)mn(0) もすべての次数 x で 0 となります。(※)
次に、λ1(つまり=λ) の項を考えます。(3) 式の両辺の λ の項の係数を比較すると、
iℏ ∂U(1)mn/∂t=∑kU(0)kn<ϕm|H′|ϕk>e−iEk−Emℏt を得ます。\\
前段の (A) の結果より、上式の和記号 ∑k の中の k=n の項だけが生き残り、
iℏ ∂U(1)mn/∂t=<ϕm|H′|ϕn>e−iEn−Emℏt
を得ます。H′ は時間の関数であることを強調するため H′=H′(t) と書いて、(4) を積分すると、
U(1)mn=1iℏ∫t<ϕm|H′(T)|ϕn>e−iEn−EmℏTdT
と書くことができます。これが (ステップ 2) の結果になります。
ここまで来て、ようやく具体的に遷移の確率(振幅)を計算する準備ができました。それでは、それらを求めていきます。
以降では、U(1)mn(t) を U(1)fi(t) と置き換えます。
(ステップ 3:突然、時間的に一定な摂動が加わる)
^H′(t) は、 t<0 では 0、0≥t では一定値 ( =^H′ と記す ) を取るような摂動ハミルトニアンです。このとき t→∞ における単位時間あたりの i→f の遷移確率 |U(1)fi(t)|2/t を求めます。いよいよ遷移確率を求めます。
まず、なぜ Umn の一次の項 U(1)mn が状態の遷移振幅を表しているのかというと、(2) でわかった通り U(0)mn は時間の定数であり、t=0 において m≠n のすべての U(0)mnが 0 なのであるから、時間が経過しても これらは 0 のままで、ゆえに Umn=U(0)mn+U(1)mn+⋯ においては U(0)mn=0 である U(0)mn の次に次数の低い U(1)mn の項が 実効的に Umn を支配するからです。
以降、m を f、n を i に置き換えます。
【方針】 問題にある H(t) の具体形から 式 (5) の U(1)fi(t) の形を定めたうえで、|U(1)fi|2=U(1)∗fiU(1)fi を計算する。U(1)fi の i,f はともに固有状態の番号を表す数字ですが、i は initial state の i 、f は final state の f をそれぞれ意味しています。文字 i,f への書き換えは単に便宜上使用する文字を変えているにすぎません。
(5) 式を見ます。
時刻 t<0 では H′(t) は 0 であるから、<ϕf|H′|ϕi> も 0 となり、U(1)fi(t)=0 (t<0) となります。
時刻 t≥0 においては、H′(t) は一定であり、H′(t)=H′ です。ここでは H′ は一定値を意味するものとします。 (5) 式の 積分内の <ϕf|H′|ϕi> は外に出すことができ、
U(1)fi(t) =<ϕf|H′|ϕi>iℏ∫teiEf−EihTdT
となります。
この式の、積分部分を実行します。(※) で述べたように、U(1)fi(0)=0 であることから、積分定数 を定めることができ、結果は、
U(1)fi(t) = 1−eiEf−EihTEf−Ei<ϕf|H′|ϕi> ただし(f≠i)
となります。
(6) の結果から、|U(1)fi|2 を計算すると、|U(1)fi(t)|2=U(1)fi(t)∗× U(1)fi(t)=(1−e−iEf−Eiht)(1−eiEf−Eiht)(Ef−Ei)2|<ϕf|H′|ϕi>|2={2sin{(Ef−Ei)t/2ℏ}Ef−Ei}2|<ϕf|H′|ϕi>|2=4ℏ2{sin{(ωf−ωi)t/2}ωf−ωi}2|<ϕf|H′|ϕi>|2=1ℏ2{sin{(ωf−ωi)t/2}(ωf−ωi)/2}2|<ϕf|H′|ϕi>|2
となります。ただし、ωf=ω(0)f,ωi=ω(0)i。
ここで、t→∞ で、sin2(ωt/2)/(ω/2)2→2πtδ(ω) であるという数学技巧を利用します。
これにより、(6) 式は、t→∞ で
|U(1)fi(t)|2=2πtδ(ωf−ωi)ℏ2|<ϕf|H′|ϕi>|2 となります。両辺を t で割れば、\\
|U(1)fi(t)|2/t=2πδ(ωf−ωi)ℏ2|<ϕf|H′|ϕi>|2 これが (ステップ 3) の結果になります。
ωi=ωf でなければこの確率振幅は 0 となるから、Ei=ℏωi,Ef=ℏωf を考えれば、これは、始状態から十分時間がたったあとにおいては、状態の変遷は エネルギーの等しい状態間 ( ωf=ωi つまり Ef=Ei ) でしか行われないことをしめしています。ただし、ゼーマン効果やシュタルク効果では、わずかに縮退が解けていてエネルギー準位の値は厳密に同一でなくデルタ関数も 0 になるところ、同一視してこの結果を利用します(多分)。
(ステップ 4:振動する擾乱)
さらに、振動場 ^H′(t)=^H′e±iωt に対する単位時間当たりの遷移確率 |U(1)fi|2/t を求めます。
前問 (3) の式 (5) にもどって計算します。(5) 式に ^H′(t)=^H′e±iωt を代入すれば(そして m→f,n→i の置き換えをし、及び Ef=ℏωf(=ℏω(0)f),Ei=ℏωi(=ℏω(0)i) とする )、
Ufi=1iℏ<ϕf|H′|ϕi>∫te−i(ωi–ωf±ω)TdT
積分部分を実行して、
U(1)fi(t) = 1−ei(ωf−ωi±ω)Tℏ(ωf−ωi±ω)<ϕf|H′|ϕi> ただし(f≠i)
さらに、
|U(1)fi(t)|2=U(1)fi(t)∗ U(1)fi(t) を計算すると、
|U(1)fi(t)|2=1ℏ2{sin{(ωf−ωi±ω)t/2}(ωf−ωi±ω)/2}2|<ϕf|H′|ϕi>|2 を得ます。
(ステップ 3) で現れた、t→∞ におけるデルタ関数の公式を利用したうえで (ステップ 3) と同じように計算すれば、
|U(1)fi(t)|2/t=2πδ(ωf−ωi±ω)ℏ2|<ϕf|H′|ϕi>|2
という結果を得ます。これが、振動する外場 ^H′(t)=^H′e±iωt が加わった場合の、単位時間当たりの遷移確率 |U(1)fi|2/t です。具体的に外場は、振動数 ω の 電磁波(光)と考えることもできます。
この結果は、外場の振動数 ω の擾乱があると、振動数 ωi の始状態は、振動数 ωf が ωf=ωi+ω または ωf=ωi–ω の状態に遷移できることを示しています。エネルギーで言うなら、Ef=Ei±ℏω の状態に遷移できる、あるいはそのエネルギー状態のみ許される、ということになります。エネルギーの授受に関する当然の結論(エネルギー保存)ですが、この摂動の方法によっても導くことができました。
さきほどの (ステップ 3) の結果も、あの場合は外場が加わっただけでエネルギー準位が恒常的に上昇しただけで原子に対してはそれ以降エネルギー加わっていなので、エネルギーが加わらなければ、同じエネルギー準位の状態間でしか遷移できない=エネルギーの変化はない=エネルギー保存則、を示していると言えます。
また、豆知識としては、量子力学ではいつもそうですが、たとえば先ほどの外場 ^H′(t)=^H′e±iωt で、結局は、振幅の部分 ^H′ は光子の数、振動の部分 e±iωt はエネルギーを意味しているのです。量子電磁力学でこの対応関係がはっきりするのですが、つまり、<psif|H′(t)=^H′e±iωt|ψi> は遷移の確率振幅ですが、定数 ^H′ が増えて確率振幅が比例して増えるということは、粒子数が増えるから反応確率が増え振幅が増えることを意味しており、また、e±iωt は振動を表し、簡単に言ってしまうと、激しく振動していたら、それは激しい分だけエネルギーが高そうですよね?っていう理解になります。2倍激しく振動していたら、エネルギーも2倍。E=ℏω そういう感じです。
参考文献:裳華房 量子力学演習(小出昭一郎、水野幸夫)
先に用いた、数学の技巧 t→∞ における sin2(ωt/2)/(ω/2)2→2πtδ(ω) がグラフ付きで解説されています。
ディスカッション
コメント一覧
まだ、コメントがありません