量子力学Ⅰ/箱の中の自由粒子 の履歴(No.4)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 量子力学Ⅰ/箱の中の自由粒子 へ行く。
概要†
シュレーディンガー方程式を解くという問題は一般に非常に難しく、 特に解析的に解ける例は非常に限られている(それ以外は数値的に、あるいは近似的に解くことになる)。
ここでは最も簡単な2つの例について時間に依存しないシュレーディンガー方程式を解き、 定常的な解を求めることにより、波動関数の一般的な性質を学ぶ。 ここで学ぶのは束縛された系に対する問題であり、 この場合には離散化したエネルギー固有値および固有関数が得られる。
&math( \left(-\frac{\hbar^2}{2m}\frac{\PD^2}{\PD x^2}+V(x)\right)\psi(x)=E\psi(x) );
演習:1次元の箱の中の自由粒子†
を正の定数として、 の領域に閉じ込められた電子の定常状態を考える。
このような状況は、上記の範囲内で 、範囲外で と仮定することで実現され、井戸型ポテンシャルの問題とも呼ばれる。
(1) 箱の中の領域での時間に依存しないシュレーディンガー方程式を求めよ。
(2) の形の波動関数が (1) の解となることを確かめ、 の値を定めよ。 この式は2つの任意パラメータを含むことから、上記2次微分方程式に対する一般解である。
(3) 箱の外では となる。その理由を答えよ。
(4) 波動関数の連続性より、箱の内側でも壁面においても でなければならない。 この境界条件を満たすために に課される条件を 任意の自然数を表わす変数 を用いて書け。
以下、 で指定される を 、 対応する波動関数を 、 対応するエネルギー固有値を と書く。 このように離散化した固有値や固有関数を指定する指標 は 量子数と呼ばれる。
(5) を求めよ。
(6) を求めよ。ただし、規格化すること。
解答†
(1) 一方、箱の内部では であるから、シュレーディンガー方程式は
&math(
- \frac{\hbar^2}{2m}\frac{\PD^2}{\PD x^2}\psi(x)=E\psi(x) );
&math( \left(\frac{\PD^2}{\PD x^2}-\frac{-2mE}{\hbar^2}\right)\psi(x)=0 );
(2) 代入すれば、
したがって、 から と求まる。
(3) の点で であれば方程式を満たさないため。
(4) 境界条件は であるから、
すなわち
したがって、 を任意の整数として すなわち、
という条件が得られる。
ここで、 は 、 すなわち が定数となり、境界条件から となってしまい、解にはならない。 また、 と とは解の符号が変わるのみであるから、 独立な解にならない。
を自然数に限ることにより、異なる が独立な固有関数を表わす。
(5) (2) の式を について解くことにより、
(6) 固有関数は の形になる。
&math( \int_0^a|\psi(x)|^2\,dx &=\int_0^a\big[A\sin(n\pi x/a)\big]^2\,dx\\ &=|A|^2\int_0^a\frac{1-\cos(2n\pi x/a)}{2}\,dx\\ &=\frac{|A|^2}{2}\Big[x-\frac{a}{2n\pi}\sin(2n\pi x/a)\Big]_0^a\\ &=\frac{a|A|^2}{2}\\ &=1\\ );
より、例えば と置けば良く、
解説†
上記の解法を顧みると、シュレーディンガー方程式の解の一般形に 境界条件を課したことにより内部のパラメータが量子数を含む形で書かれ、 その結果としてエネルギー固有値が離散化した。 境界条件が固有値を離散化するという状況は他の問題でも共通して現れるため、 良く理解しておくこと。
グラフは左が 、右が で、 を示している。
番目の固有関数は
個のピークと
個の
が大きいほどエネルギーが高くなるが、ここでは であるから、 そのエネルギーはすべて運動エネルギーである。 古典論によれば無限大のエネルギー障壁は弾性壁となり、電子は壁の間を一定速度で往復運動する。 そしてこの往復運動の速度が系のエネルギーに相当する。 ここで求めたエネルギー固有関数は有限の運動エネルギーを持つ物の「定常状態」を表わし、 確率密度の空間分布は時間によらない。
が最低エネルギーの状態を表わしており、そのような状態は基底状態と呼ばれる。 これに対して、 は励起状態と呼ばれる。
興味深いことに、 の基底状態においても系は有限の運動エネルギーを持っている。
基底状態における運動をゼロ点運動、エネルギーをゼロ点エネルギーと呼ぶ。 一般に、電子を閉じ込める範囲が狭ければ狭いほど、ゼロ点エネルギーは上昇する。
3次元の箱の中の自由粒子†
を正の定数として、 の領域に閉じ込められた電子の定常状態を考える。
のように変数分離できることを仮定すれば、
&math( &-\frac{\hbar^2}{2m}\left(
\frac{\PD^2}{\PD x^2}+\frac{\PD^2}{\PD y^2}+\frac{\PD^2}{\PD z^2}\right)X(x)Y(y)Z(z)\\
&=-\frac{\hbar^2}{2m}\left[
\left(\frac{\PD^2}{\PD x^2}X(x)\right)Y(y)Z(z) + X(x)\left(\frac{\PD^2}{\PD y^2}Y(y)\right)Z(z) + X(x)Y(y)\left(\frac{\PD^2}{\PD z^2}Z(z)\right)
\right]\\ &=EX(x)Y(y)Z(z) );
&math( \left(\frac{\PD^2}{\PD x^2}X(x)\right)\frac{1}{X(x)} + \left(\frac{\PD^2}{\PD y^2}Y(y)\right)\frac{1}{Y(y)} + \left(\frac{\PD^2}{\PD z^2}Z(z)\right)\frac{1}{Z(z)} =\frac{-2mE}{\hbar^2} );
左辺の各項はそれぞれ のみの関数であり、右辺は定数である。 任意の に対してこの式が成り立つためには、左辺の各項が定数でなければならない。
すなわち、
&math( &\left(\frac{\PD^2}{\PD x^2}X(x)\right)\frac{1}{X(x)} = \frac{-2mE_x}{\hbar^2}\\ &\left(\frac{\PD^2}{\PD y^2}Y(y)\right)\frac{1}{Y(y)} = \frac{-2mE_y}{\hbar^2}\\ &\left(\frac{\PD^2}{\PD z^2}Z(z)\right)\frac{1}{Z(z)} = \frac{-2mE_z}{\hbar^2}\\ &E_x+E_y+E_z=E );
に対する方程式は1次元の箱形ポテンシャルの問題に帰着して、
等の解を得る。 の解は量子数 により指定できて、
となる。
例えば電子( ) を に閉じ込めれば、ゼロ点エネルギーは となる。
次の準位は である。
このように異なる量子数に対応する波動関数のエネルギーが等しいとき、 それらの準位は縮退していると言う。この様子を示したのが下図左である。
ではこのうちいくつかの縮退が解けて、準位の分裂が生じる。 としたときのエネルギー準位と、分裂前の縮退した準位との関係を下図右に示した。
1次元の調和振動子†
調和振動子のポテンシャルは であるから、時間に依存しないシュレーディンガー方程式は
&math( \left(-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}+\frac{k}{2}x^2\right)\psi(x)=E\psi(x) );
このような方程式を解く場合には、変数を無次元化するのが常套手段である。 すなわち、長さの次元を持つ自由変数 を変数変換して、無次元の量 で記述する。 ここでは、
,
と置くと良い。ただし、 は古典論から得られる角振動数である。 すると与式は、
&math( \left(-\frac{d^2}{d\xi^2}+\xi^2-\lambda\right)\psi(\xi)=0 );
となる。 の大きなところでは となるから、 そこでは は近似的に次の方程式を満たす。
&math( \frac{d^2}{d\xi^2}\psi(\xi)=\xi^2\psi(\xi) );
ここから予想されるのは、
&math( \psi(\xi)=H(\xi)e^{\pm\xi^2/2} );
という解の形である。系が 付近に束縛されていることから、 複号は負を取る。
&math( &-\frac{d^2}{d\xi^2}\big[H(\xi)e^{-\xi^2/2}\big]+\xi^2H(\xi)e^{-\xi^2/2}-\lambda H(\xi)e^{-\xi^2/2}\\ &=-\frac{d}{d\xi}\big[H'(\xi)e^{-\xi^2/2}-\xi H(\xi)e^{-\xi^2/2}\big]+\xi^2H(\xi)e^{-\xi^2/2}-\lambda H(\xi)e^{-\xi^2/2}\\ &=-H''(\xi)e^{-\xi^2/2}+2\xi H'(\xi)e^{-\xi^2/2}+H(\xi)e^{-\xi^2/2}-\lambda H(\xi)e^{-\xi^2/2}\\ &=0\\ );
両辺を で割れば、
&math( H''(\xi)=2\xi H'(\xi)+(1-\lambda) H(\xi) );
を得る。 と置いて代入すれば、
&math( \sum_{l=0}^\infty l(l-1)c_l\xi^{l-2}=2\xi \sum_{l=0}^\infty l c_l\xi^{l-1}+(1-\lambda) \sum_{l=0}^\infty c_l\xi^l );
より において、
を得る。この式によれば、 を適当に決めると が、 を適当に決めると が、 それぞれすべて決まることになる。
あるいは あるいは が成立すれば、 それより大きな に対して がゼロになるが、 そうでない限り がゼロになることはない。
がゼロにならない場合、 において
が成り立つ。これは
とした時の係数の比と同じであり、このようになっていては が でゼロに収束するという境界条件を満たさない。
すなわち、 あるいは のどちらかがゼロであり、 もう一方と同じ偶奇性(パリティ)を持つある において
&math(\lambda=2l+1); が成立することが境界条件から要求され、
その結果 となる項は有限個となる。
- のとき ,
- のとき ,
- のとき ,
- のとき ,
- のとき ,
- ・・・
ここで現れた多項式 はエルミートの多項式と呼ばれる。