• 検索結果がありません。

変数分離

ドキュメント内 Abstract I Griffiths (ページ 49-55)

3.11 不確定性原理

4.1.1 変数分離

さてさて、そろそろ、シュレーディンガー方程式を解いてみましょうか。

i~∂Ψ

∂t =~2 2m

2Ψ

∂x2 +VΨ (4.1)

この章では、V は時間tによらないxのみの関数とします。

変数分離っていうのをします。それは、

Ψ(x, t) =ψ(x)φ(t) (4.2)

とまあ、勝手に分離してこういう形の解を探してみましょう。こうすると、シュレーディンガー 方程式は

i~ψdφ

dt =~2 2m

d2ψ

dx2φ+V ψφ (4.3)

です。両辺をψφで割って、

i~1 φ

dt =~2 2m

1 ψ

d2ψ

dx2 +V (4.4)

ですね。

さあ、この表式、左辺はtだけの、右辺はxだけの関数となりました。そんなことってあり えますか?唯一の可能性は、両辺ともに定数であることですね。というわけで、その定数をE とおきます。したがって、左辺から、

i~

dt = (4.5)

右辺からは

~2 2m

d2ψ

dx2 +V ψ= (4.6)

と分離できました。最初の奴は簡単に解けて、

φ(t) =eiEt/~ (4.7)

です。2番めのやつ(4.6)を時間によらないシュレーディンガー方程式と呼びます。

ここで、一つの重要なことがあります。上でEが変数分離の定数( 分離定数)としてでて きました。これは、実数でないと困るっていうのをまず見ておきましょう。

[Griffiths, Problem 2.1]

Ψ(x, t) =ψ(x)eiEt/~ (4.8)

でしたが、Eが複素数だったとして、E=E0+とおいてみましょう。こうすると、規格化 条件から

−∞ψψe2Γt~ dx= 1 (4.9)

です。しかし 、これはむりですね。左辺は時間の関数で右辺は定数です。したがって、規格化 条件を満たすような解(つまり物理的な解)はEを実数にしないと得られません。

さて、勝手に変数分離した形の解を仮定しましたが、それはいったいどういう状態を記述 しているのでしょうか?

1. 定常状態

波動関数は

Ψ(x, t) =ψ(x)eiEt/~ (4.10)

なので、時間に依存するのですが、確率密度|Ψ|2や、物理量の期待値 hQi=

ψQ

( x,~

i d dx

)

ψdx (4.11)

からは、時間依存性は消えてしまいますね。(Eが実数ですので。)そういう意味で、こ の解は定常状態を表しているのです。当然hxiは定数となりますので、hpi= 0です。

2. エネルギーが決定された状態 古典力学でのハミルト ニアンは、

H(x, p) = p2

2m +V(x) (4.12)

で、これがエネルギーでしたね。これを演算子に直すと Hˆ =~2

2m

2

∂x2 +V(x) (4.13)

ですね。これを用いると、時間によらないシュレーディンガー方程式(4.6)は

ˆ = (4.14)

と書けます。したがって、ハミルト ニアンの期待値、つまりエネルギーは hHi=

ψHψdxˆ =E (4.15)

です。Eっておいた意味がわかりますよね。それから、

Hˆ2ψ= ˆHEψ=EHψˆ =E2ψ (4.16) ですので、やっぱり、

hH2i=

ψHˆ2ψ=E2 (4.17)

です。というわけで、エネルギーの分散は

σ2H =hH2i − hHi2 = 0 (4.18) となり、エネルギーの測定は同じ値Eとなります。エネルギーのきまった状態なんです。

3. 一般解は、変数分離した解の線形結合!

のちのち、きちんとやりますが、そうなんです。一般に、時間依存するシュレーディン ガー方程式の解は、

Ψ(x, t) =

n=1

cnψn(x)e−iEnt/~ (4.19) と書けます。cnは定数です。線形微分方程式なので、解を足しても定数倍してもやっぱり 解ですので(重ね合わせの原理!)、この様にして新しい解を作ることができます。(やっ てみましょう。)

つまり、初期条件がΨ(x,0)が与えられたとして、シュレーディンガー方程式をとく方法 は、まず、時間に依存しないシュレーディンガー方程式の解を見つけます。

ψ1(x), ψ2(x), ψ3(x), · · · (4.20) 対応するエネルギーが

E1, E2, E3, · · · (4.21)

としましょう。まず、初期条件から

Ψ(x,0) =

n=1

cnψn(x) (4.22)

ですね。この式からcnを決定します。あとでやりますが、決定できちゃいます。これで、

cnがわかれば 、時間発展は

Ψ(x, t) =

n=1

cnψn(x)eiEnt/~ (4.23) とすれば 、解になっているのは明らかですね。一つ一つが解で、それを足しても解。そ れから、初期条件を満たしているのでOKってわけです。

おもしろいですね。変数分離して得た解は定常状態なのですが、それらを足し合わせて、

時間に依存する解を得ることができました。

時間によらないシュレーディンガー方程式は

ˆ = (4.24)

と書けることをみましたね。この方程式、形だけ見ると、線形代数の固有値問題ですよね。Hˆ が行列で、ψは固有ベクト ル、Eが固有値です。Hˆが与えられたら、固有値方程式から固有値 Eを求めて、対応する固有ベクト ルψは、連立一次方程式を解けば求まるってやつです。で、

線形独立な固有ベクト ルは次元の数だけあるので( 複素数上の場合です )、あらゆるベクト ル

( 例えば Ψ(x,0))はこれらの固有ベクト ルの線形結合でかけるっていうのに似てますよね。

ここで、重要なのは、今求めたいのは「線形独立なψの組」を見つけたいということです。

たとえば、一つの固有値E1について、ψ1ψ10 と二つの解があったとしましょう。この時、こ の二つをψ1ψ01ととってもいいし 、ψ1+ψ10ψ1−ψ01ととってもよいです。

4.1.2 1次元問題では、束縛状態に縮退はない。

まず、命題の意味を理解しましょう。「縮退」ってなんでしょう?これは、時間によらないシュ レーディンガー方程式

ˆ = (4.25)

において、同じEについて、独立な2つ以上の解ψがあるとき縮退といいます。それでは、「独 立な」とはどういう意味でしょう?これは、物理的に異なる状態を表していると言う意味です。

式でいうと、関数の組ψ1,ψ2,· · ·,ψnがあって、

c1ψ1+c2ψ2+· · ·+cnψn= 0 (4.26) となるような複素数の組cnc1 =c2 =· · ·=cn= 0でしかないとき、関数の組は独立と言い ます。二つの場合は、

c1ψ1+c2ψ2 = 0 (4.27)

で、ψ1ψ2が独立でないときは、c1c2がゼロでないですから、ψ1ψ2の定数倍ですね。

次に、束縛状態ってなんでしょう?これは、後ほどでてきますが、遠方でψがゼロになる ような解です。ちなみに、Ψは必ず遠方でゼロになりますが、ψはそうとは限りません。これ も、後ほど。

シュレーディンガー方程式を満たす、同じエネルギーの二つの解があったとしましょう。

~2 2m

d2ψ

dx2 +V ψ=Eψ, (4.28)

~2 2m

d2φ

dx2 +V φ=Eφ. (4.29)

二つの式を比べると

1 ψ

d2ψ dx2 = 1

φ d2φ

dx2 (4.30)

ですね。これを

d dx

(

dxφ−dφ dxψ

)

= 0 (4.31)

の形にできます。したがって、

dxφ−

dxψ=c (4.32)

で、cは定数です。束縛状態なので、|x| → ∞

ψ→0, φ→0 (4.33)

です。ということは、c= 0ですね。結局、

1 ψ

dx = 1

φ

dx (4.34)

で、両辺を積分して、

ψ=c0φ (4.35)

c0は定数です。というわけで、ψφは独立でないです。

(ちなみに、この証明のなかでψφで割る部分がありますので、陰に波動関数がゼロで ない領域での議論をしています。つまり、ゼロである点を除いていますので、その除いた領域 でψφが独立でないことが言えています。ゼロである点が孤立していれば、c0はゼロである 点の右と左で同じ値をとらなければならないことは、その点でシュレーディンガー方程式を満 たすことからわかるでしょう。孤立していない場合は証明が崩れます。ただ、その場合は、孤 立系が二つある場合に相当するので、縮退とは言わないですよね。)

ドキュメント内 Abstract I Griffiths (ページ 49-55)