量子力学Ⅰ/調和振動子 の履歴(No.2)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 量子力学Ⅰ/調和振動子 へ行く。
概要†
調和振動子とは、理想ばねのように変位に比例する力 により束縛された粒子の系である。ポテンシャルエネルギーは となる。 ただしここではばねの自然長位置を としている。
粒子の質量を とすれば、古典論では角振動数 の単振動
が解であり、エネルギーは と表せる。
量子力学的なスケールでそのようなばねを思い浮かべることは難しいが、 一般に任意の滑らかで束縛的なポテンシャルの底を2次関数で近似すれば、 そこでの微小振動は調和振動子と見なせる。
さらに電磁波も、無数の調和振動子の集まりとして表わせることを後に学ぶ。
演習:1次元の調和振動子†
(1) 調和振動子のポテンシャルは である。 時間に依存しないシュレーディンガー方程式を書け。
(2) このような方程式を解く場合には、変数を無次元化するのが常套手段である。 すなわち、長さの次元を持つ自由変数 を変数変換して、無次元の量 で記述する。 *1 の書き方は http://kscalar.kj.yamagata-u.a... を参考にした
ここでは、古典論から得られる角振動数を として、
,
と置くと良い。このとき(1)の式が
&math( \left(-\frac{d^2}{d\xi^2}+\xi^2-\lambda\right)\psi(\xi)=0 );
となることを示せ。
(3) の大きなところでは となるから、 そこでは は近似的に次の方程式を満たす。
&math( \frac{d^2}{d\xi^2}\psi(\xi)=\xi^2\psi(\xi) );
ここから予想される
&math( \psi(\xi)=X(\xi)e^{\pm\xi^2/2} );
を上式に代入し、 に対する条件
&math( X''(\xi)=2\xi X'(\xi)+(1-\lambda) X(\xi) );
を導出せよ。(系が 付近に束縛されていることから、複号は負を取れ)
(4) と置いて (3) の式に代入し、 係数 の漸化式
を導け。
さて、(4) により、 を決めると が、 を決めると が、 それぞれすべて決まる。
が途中でゼロにならない場合、漸化式より において
が成り立ち、これは
あるいは、
の係数の比と同じである。このようになっていては が でゼロに収束する(束縛されている)という境界条件を満たさない。
かといって では になってしまうから、 あるいは である。
境界条件を満たすのは、ある において であるものの が成立することにより、 それ以降の ですべて となる場合である。 このとき、 あるいは の片方はゼロでなくて構わないが、 もう一方はゼロでなければならない。
(5) を量子数として を で表わせ。
(6) を求めよ。規格化はしなくて良い。
エネルギー固有値†
がゼロ点エネルギーとなる。 すなわち、調和振動子は基底状態においても運動エネルギー、ポテンシャルエネルギーがゼロではない。
また、 より、エネルギー固有値は等間隔に並ぶ。
ここでは示さないが、古典論と同様にポテンシャルエネルギーの期待値は
であり、
運動エネルギーの期待値も
であり、両者は等しくなる。
固有関数†
- のとき
- のとき
- のとき
- のとき
- のとき
- ・・・
明らかに は偶関数であり、 は奇関数である。
ここでもポテンシャルの対称性を反映してパリティの異なる固有関数が交互に現れる。
エルミート多項式†
はエルミート多項式と呼ばれる一連の多項式 の定数倍になっている。
ただし は、母関数 をテイラー展開した際に現れる係数として定義される。
&math( S(\xi,t)=e^{-t^2+2\xi t}=\sum_{n=0}^\infty\frac{1}{n!}H_n(\xi)t^n );
上の に対する方程式の を で書き換えれば、 は次の方程式を満たさなければならない。
がこれを満たすことは、 母関数を や で微分した形を調べることで証明できる。 → 詳しくはこちら
また関数系 の漸化式、
&math( H_{n+1}(\xi)e^{-\xi^2/2}=\left(\xi-\frac{d}{d\xi}\right)\left(H_n(\xi)e^{-\xi^2/2}\right) );
&math( 2nH_{n-1}(\xi)e^{-\xi^2/2}=\left(\xi+\frac{d}{d\xi}\right)\left(H_n(\xi)e^{-\xi^2/2}\right) );
直交性、
&math(\int_{-\infty}^\infty H_n(\xi)e^{-\xi^2/2}H_m(\xi)e^{-\xi^2/2}d\xi= \left\{\begin{array}{ll} 0&n\ne m\\ 2^nn!\sqrt\pi & n=m \end{array}\right. );
なども母関数を使って証明できる。 → 詳しくはこちら
および漸化式を用いれば、
- ・・・
が得られる。
固有関数の性質†
上記エルミート多項式の直交性を表わす式から を正規化できて、
このとき正規直交性は、
漸化式は、
&math( \sqrt{\frac{m\omega}{2\hbar}}\left(x-\frac{\hbar}{m\omega}\frac{d}{dx}\right)\psi_n(x)=\sqrt{n+1}\,\psi_{n+1}(x) );
&math( \sqrt{\frac{m\omega}{2\hbar}}\left(x+\frac{\hbar}{m\omega}\frac{d}{dx}\right)\psi_n(x)=\sqrt{n}\,\psi_{n-1}(x) );
となる。
この漸化式は を用いて、
を定義すれば、*2教科書では2つ目の式が として書かれているが、 なので正しくない。 、 なので と書くのが正しい。
と書ける。ここから、
が得られる。これらを
のように書くこともできる。
3次元の調和振動子†
*1 の書き方は http://kscalar.kj.yamagata-u.ac.jp/~endo/greek/zeta_xi.html を参考にした
*2 教科書では2つ目の式が として書かれているが、 なので正しくない。 、 なので と書くのが正しい。