量子力学では、シュレディンガー方程式を扱う。1次元運動を考えると、2階の線形微分方程式を扱うことになる。
![[Graphics:Images/index_gr_1.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_1.gif)
ここで、、m, V, Eそれにψは、それぞれ、プランク定数、質量、ポテンシャル、全エネルギー、波動関数と呼ばれるものでる。これは、既に前章で扱ったように、問題が解けて、この場合、ハミルトニアンという作用を
![[Graphics:Images/index_gr_3.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_3.gif)
とまとめると、シュレディンガー方程式は
![[Graphics:Images/index_gr_4.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_4.gif)
と書け、関数にある作用をしてそれが一定の値倍(E倍)の関数に戻る時、この方程式を「固有値方程式」と言う。また、Eを固有値と言う。
量子力学の問題に入る前に、古典力学での典型的な固有値問題を扱ってみよう。それは、連成振動を例にとれよう。例題では、2個の質点を扱っているが、実際は多くの部分(部品)から成る系(製品)を扱うので、多次元の問題になる。
例題:2つの質量mのおもりが、図のように3つのバネで繋がっている。このときの運動を調べよ。
おもりのそれぞれについて、運動方程式を立てると、(c、kはバネ定数)
![[Graphics:Images/index_gr_5.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_5.gif)
これを、行列で表すと、
![[Graphics:Images/index_gr_6.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_6.gif)
となる。ここで、次の固有値方程式を解くと、
![[Graphics:Images/index_gr_7.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_7.gif)
![[Graphics:Images/index_gr_8.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_8.gif)
![[Graphics:Images/index_gr_9.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_9.gif)
となって、新しい座標X、Yを次の様の決めて、
![[Graphics:Images/index_gr_10.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_10.gif)
これについて、運動方程式を書き直すと[mathematica]
![[Graphics:Images/index_gr_11.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_11.gif)
![[Graphics:Images/index_gr_12.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_12.gif)
![[Graphics:Images/index_gr_13.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_13.gif)
すなわち、2つの独立した単振動の式になる。
![[Graphics:Images/index_gr_14.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_14.gif)
=
と
=
は、基準振動数(モード)と呼ばれる。これらを使って、
![[Graphics:Images/index_gr_19.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_19.gif)
と求まる。但し、a, b, α, β は定数。
このように、固有値方程式は、連立線形方程式を一つ一つの方程式に分解してくれる。
問い)3個の質点、4つのバネの時を具体的に考えてみよ。
図のような井戸型ポテンシャルでの束縛状態の波動関数を求めてみよう。
![[Graphics:Images/index_gr_20.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_20.gif)
xをtとみなし、ψをxとみなせば、波動方程式は、2階の微分方程式であるから、ニュートンの運動方程式とよく似ている。但し、量子力学では束縛状態のエネルギーは、離散的で任意のエネルギーについて求まらず、ポテンシャルによって決定される。この場合、大切なのは境界条件で、xの遠いところで、波動関数は0近づかないといけない。
![[Graphics:Images/index_gr_21.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_21.gif)
具体的に、として求めてみよう。ψの微分をとφする。
![[Graphics:Images/index_gr_23.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_23.gif)
x=−5辺りをψ=0.001, φ=0.0001と仮定し、以下の漸化式を繰り返す。
![[Graphics:Images/index_gr_24.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_24.gif)
先ず、Eを適当に代入して実行してみよう。プログラム例として、
![[Graphics:Images/index_gr_25.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_25.gif)
このようなものが、書けるだろう。これを実行し、Eの値として−1.47を入力すると、
![[Graphics:Images/index_gr_26.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_26.gif)
また、E=−1.46を入れると、
![[Graphics:Images/index_gr_27.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_27.gif)
となり、x>5の計算をすると、正あるいは負に発散する。これを、0に抑えるEが、求めたい基底状態のエネルギー固有値になる。
問題)Eを決定するアルゴリズムを考えよ。また、励起状態も求めよ。
問題)波動関数をプロットしてみよ。
次に、2階の微分を「直接」考えてみよう。
![[Graphics:Images/index_gr_28.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_28.gif)
と計算できる。今、
![[Graphics:Images/index_gr_29.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_29.gif)
と離散化すると、2階の微分はマトリックスで書けて、
![[Graphics:Images/index_gr_30.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_30.gif)
ポテンシャルやエネルギーEは、スカラーだから、
![[Graphics:Images/index_gr_31.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_31.gif)
![[Graphics:Images/index_gr_32.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_32.gif)
![[Graphics:Images/index_gr_34.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_34.gif)
行列式は連立1次方程式の階の存在と関連している。逆マトリックスを求める方法には、LU分解や、QR分解、修正コレスキー分解など多くの方法がある。ここでは、それについては触れないでおこう。
上で求めたい行列式は、都合のよいことに三重対角行列と呼ばれている。(ハウスホルダー変換という相似変換を行なうと、すべての行列はこの形になる。)
![[Graphics:Images/index_gr_35.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_35.gif)
の行列式を導入すると、(7-23)と比較して、
![[Graphics:Images/index_gr_36.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_36.gif)
とすることができる。ところで、(7−24)は、次の漸化式をみたす。
![[Graphics:Images/index_gr_37.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_37.gif)
![[Graphics:Images/index_gr_38.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_38.gif)
とすれば、k=2以上が、(7−27)式から順々にもとまる。したがって、(7−26)式が十分kが大きなところで、0になるλの値を探せばよい。FORTRANで3桁固有値を求めるプログラムを以下のように示す。
![[Graphics:Images/index_gr_39.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_39.gif)
プログラム中、abs(pk)でpk1,pk2を割っているのは、行列式が発散するのを抑えている。
問題)次の様な現実的な形のポテンシャルで計算してみよ。
![[Graphics:Images/index_gr_40.gif]](http://www.mns.kyutech.ac.jp/~kamada/keisan7/Images/index_gr_40.gif)
H.Kamada
Converted by Mathematica March 15, 2002