資料紹介

摂動論Ⅱ
縮退がある場合の対処。
問題点の確認
　前回の話の続きである。
　すでに求めた摂動論の公式の分母には異なる状態間でのエネルギー差が入っているために、同じエネルギーを持つ状態が複数ある場合には分母が０になってしまって破綻してしまうのだった。　こんなことはしょっちゅう起こる。　大問題だ。　何とかこれを回避しなくてはならない。
　教科書の中でこの話が難しいと感じている人は、ただ記号に振り回されているだけなので安心して欲しい。　なるべく記号を増やさないように気をつけながら説明してみよう。
　今回の話の中で状態ベクトルのことを「関数」あるいは「波動関数」と呼んでいるが、そこには目をつぶって頂きたい。　前回の話でベクトル表現と波動関数表現の同等性を説明したが、波動関数のイメージを持ちながらベクトル表現の便利さを利用しようとしているのでこうなっているのである。
　まず念のために基本的なところから注意しておこう。
　縮退があると公式が破綻してしまうとは言っているが、縮退がどこかに一箇所でもあると全ての計算が台無しになってしまうというわけではない。　問題になるのはあるエネルギー準位 が縮退していて、それに属する波動関数 の摂動を計算したい時だけである。　例えば波動関数の１次の摂動の公式は
であったが、 を求める時に多数の の中に と同じものがあるときだけうまく行かないのだから、 自体が縮退していない場合には他のエネルギー準位に縮退があろうがなかろうが今まで通り全く問題なしに公式が使えるのである。
教科書では縮退のない場合の例としていつも調和振動子が出てきて、しかもそれしか載っていないことが多いので、前回求めた公式は縮退をどこにも含まないような、こういう特殊な場合にしか使えないのだろうと勘違いしてしまうことがある。　まぁ、ちゃんと考えれば分かることではあるが、初心者の思い込みは恐いのである。
　もう一つの注意をしておこう。　１次の摂動エネルギーは
という式で求められるのだったが、この公式には０になるような分母が含まれていない。　ということは縮退がある場合であっても変わらずに使うことができるということだろうか？　いや、だめだ。　この式を導く時の計算を見直してみる必要がある。　その中で を含む項を消去している部分があったと思うが、暗に がしっかり定義できていることを前提としているのであった。　だからこの公式も使うべきではない。　全く初めから考え直す必要がある。
問題の本質は何か
　ではまず、縮退があるときに式が破綻してしまう根本理由に迫ろう。
　幾つかの波動関数が に縮退していたとする。　例えば３つくらいを考えようか。　それを , , としよう。　本当は , , と書いた方がより正しいのだが、ごてごてと飾りを付け過ぎると他の記号と区別がつきにくくなるので敢えてこう表現しておく。　これらはそれぞれ、
という関係を満たしているわけだが、これら３つの波動関数の線形結合で全く新しい波動関数
を作っても同じ関係を満たす。
　関数 も固有値 に属する固有関数であると言えるわけだ。　この事は , , が全て に縮退しているからこそ言えるのである。　異なる固有値に属する固有関数を集めてきて線形結合を作ってもそれはほとんどの場合シュレーディンガー方程式の解ですらない。
　新しい関数 は係数 a, b, c を変えることで幾通りでも作れるが、独立な組み合わせは最大でも３つである。　それぞれが直交規格化の条件を満たすためには
という関係が成り立ってさえい

資料の原本内容

摂動論Ⅱ
縮退がある場合の対処。
問題点の確認
　前回の話の続きである。
　すでに求めた摂動論の公式の分母には異なる状態間でのエネルギー差が入っているために、同じエネルギーを持つ状態が複数ある場合には分母が０になってしまって破綻してしまうのだった。　こんなことはしょっちゅう起こる。　大問題だ。　何とかこれを回避しなくてはならない。
　教科書の中でこの話が難しいと感じている人は、ただ記号に振り回されているだけなので安心して欲しい。　なるべく記号を増やさないように気をつけながら説明してみよう。
　今回の話の中で状態ベクトルのことを「関数」あるいは「波動関数」と呼んでいるが、そこには目をつぶって頂きたい。　前回の話でベクトル表現と波動関数表現の同等性を説明したが、波動関数のイメージを持ちながらベクトル表現の便利さを利用しようとしているのでこうなっているのである。
　まず念のために基本的なところから注意しておこう。
　縮退があると公式が破綻してしまうとは言っているが、縮退がどこかに一箇所でもあると全ての計算が台無しになってしまうというわけではない。　問題になるのはあるエネルギー準位 が縮退していて、それに属する波動関数 の摂動を計算したい時だけである。　例えば波動関数の１次の摂動の公式は
であったが、 を求める時に多数の の中に と同じものがあるときだけうまく行かないのだから、 自体が縮退していない場合には他のエネルギー準位に縮退があろうがなかろうが今まで通り全く問題なしに公式が使えるのである。
教科書では縮退のない場合の例としていつも調和振動子が出てきて、しかもそれしか載っていないことが多いので、前回求めた公式は縮退をどこにも含まないような、こういう特殊な場合にしか使えないのだろうと勘違いしてしまうことがある。　まぁ、ちゃんと考えれば分かることではあるが、初心者の思い込みは恐いのである。
　もう一つの注意をしておこう。　１次の摂動エネルギーは
という式で求められるのだったが、この公式には０になるような分母が含まれていない。　ということは縮退がある場合であっても変わらずに使うことができるということだろうか？　いや、だめだ。　この式を導く時の計算を見直してみる必要がある。　その中で を含む項を消去している部分があったと思うが、暗に がしっかり定義できていることを前提としているのであった。　だからこの公式も使うべきではない。　全く初めから考え直す必要がある。
問題の本質は何か
　ではまず、縮退があるときに式が破綻してしまう根本理由に迫ろう。
　幾つかの波動関数が に縮退していたとする。　例えば３つくらいを考えようか。　それを , , としよう。　本当は , , と書いた方がより正しいのだが、ごてごてと飾りを付け過ぎると他の記号と区別がつきにくくなるので敢えてこう表現しておく。　これらはそれぞれ、
という関係を満たしているわけだが、これら３つの波動関数の線形結合で全く新しい波動関数
を作っても同じ関係を満たす。
　関数 も固有値 に属する固有関数であると言えるわけだ。　この事は , , が全て に縮退しているからこそ言えるのである。　異なる固有値に属する固有関数を集めてきて線形結合を作ってもそれはほとんどの場合シュレーディンガー方程式の解ですらない。
　新しい関数 は係数 a, b, c を変えることで幾通りでも作れるが、独立な組み合わせは最大でも３つである。　それぞれが直交規格化の条件を満たすためには
という関係が成り立ってさえいればいい。
　我々は「 , , の３つの軌道がエネルギー に縮退している」と表現してきたわけだが、別にこの３つが特別なわけではなく、新しく３つの独立な関数の組み合わせを作って、「 , , の３つの軌道がエネルギー に縮退している」と言い代えても差し支えないわけだ。　そもそも３つの軌道はエネルギーが同じなのだから、電子だって本当はどの軌道を回っているのだか分かったものではない。　縮退とは、実はそういう曖昧な状態なのである。
　ところがそこに摂動が加わると、３つの軌道はそれぞれ関数の形が違うわけだから、それに応じてエネルギーの変化がそれぞれ異なり、結果として縮退が解けることになる。
　その時に、それまで３つの線形結合の内、曖昧でどれでも良かった状態からどれかを選ばなくてはいけない状態へと急激な変化を受けることになる。　元々摂動というのは「徐々に」変化させるという前提があるからこそ、 λ の冪級数を使って展開できるだろうと考えたのである。　それを覆す事態に対しては数式は過敏に反応する。　公式の中の分母に０が表れて破綻するのはこのことが原因なわけだ。
　ではどうすれば良いかと言うと、摂動が加わった時の急激な変化が起こらないように、予め縮退が解けてエネルギーが分離した時の波動関数の組み合わせを前提にして、その状態に摂動を加えることを考えればいいのである。　ここまで聞いても具体的にどうすれば良いのかまで分かる人はわずかだろう。
　つまり、線形結合の係数 a, b, c も予め一緒に代入してやって、式が破綻しないためには係数がどうなっていればいいかを決めてやればいいのだ。　おお、グッドアイデア！
やってみよう
　分かりやすいように前回のこの式から始める。
　前回と同じように１次の波動関数 を無摂動系の関数の和を使って表してやる。
　ここまでは前回と同じである。　これから行うのは、元となる関数 が に縮退している場合に限定しての話である。　この式のままではうまく行かないことはすでに分かっているが、次のように別の関数 を元にするならばうまく行くこともあるだろうと考える。
　ここで今後の見易さを考えて右辺と左辺を入れ替えて、符号も逆転させてもらうが、つまり、
だということだ。　実際には、この形でうまく行く係数 a, b, c の組み合わせを探すことになる。
　これに左から を掛けると、右辺は０になるのが分かるだろうか？　 を右側に作用させるのではなく、エルミート性を使って の側に作用させるのである。
　 は固有値 に縮退している関数の一つだという前提で話をしているのでこういう事が出来るのである。　一方、左辺は、
となる。　両辺を合わせれば、
　　・・・(1)
だということである。　同様に左から を掛けたり、 を掛けたりした時には次のようになるだろう。
　　・・・(2) 　　・・・(3)
　こうして出来た３つの式は a, b, c についての連立方程式になっている。　a, b, c が全て０になるというつまらない解以外にも解を持つための条件は、
である。　これが「行列式」であることを知らない人は線形代数を学んでおく必要があるだろう。　摂動論の中ではこれを「永年方程式」と呼んでいる。　天文学で使われていたもともとの摂動論に由来する名前で、天体の長期にわたる運動を解くための式だからである。
　この場合の行列式は についての３次方程式になっている。　それを解くことで、この条件を満たす の値が求められる。　解は多くて３通り出てくることであろう。　これが欲しかった１次の摂動エネルギーである。　摂動によってエネルギーが３通りに分裂することを表しているわけだ。
　もし解が３通りも出て来なくても心配は要らない。　重解になっているだけであり、１次の摂動では完全に３つには分離しないことを表しているのであろう。
　次に、こうして求められた複数の の内の一つを選び、これを先ほどの (1) (2) (3) の全ての式に同じものを代入してやれば、それは a, b, c についての連立方程式になっているので、 a, b, c の値が決められることになる。　ただ連立方程式の形を見てもらえば分かるが、 a, b, c を定数倍しても成り立つ形になっているので、先ほどの規格化条件を使うことで一通りに決めてやる必要はある。
　もし の値が重解になっていた場合には、ここで複数の組み合わせが許されることになるだろう。
　こうして求まった３組の a, b, c を使って３通りの を作ってやろう。　さあ、これこそが望んでいた１次の摂動関数を表している！・・・のだろうか。
　いや、そうではない。　これは出発点とすべき元々の解、０次の摂動関数、すなわち非摂動解なのである。
　１次の波動関数は前回と同じように
のようにして展開できると仮定したのだった。　よって Cm を求める必要があるが、基本的に前回と同じことをやるだけである。　上で出て来た式、
の両辺に対して、左から を掛けてやれば、
を得ることになる。　前回と少し違う点は ではなく代わりに が使われるべきだということだけである。
　ところで縮退している部分についてはこの方法で係数を求めることは出来ない。　つまり和を取るべき の中には当然 , , も含まれているのであるが、それらについての係数は決められないのである。　以前に係数 Cn が決められなかったのと同じ状況である。
　ではそれらの係数をどう決めればいいのかというと、前回と同じ理由で０と置いてやればいいのである。　 , , はすでに非摂動項 の中に含まれているので、いずれにせよ規格化によって消えてしまう部分なのである。
　以上のことをまとめれば、摂動が加わった後の関数は、
のように計算すればいいということである。
２次の摂動
　もし上の方法で が一通りしか出てこなかったとしたら・・・。　そういうこともたまにある...

コメント0件