エーレンフェストの定理

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:出典の明記

エーレンフェストの定理(エーレンフェストのていり、テンプレート:Lang-en-short[1])は、量子力学における重要な定理のひとつで、大まかにいえば『シュレーディンガー方程式期待値を取ることで古典力学における運動方程式(に大変よく似たもの)が得られる』ことを主張している。この定理はオランダ物理学者ポール・エーレンフェストにより提唱され、量子力学と古典力学の対応を論じるときによく用いられる。

定理の主張

ポテンシャルUの影響下にある質量mの粒子Aの状態が、波動関数ψ(𝐫)であらわされているものとする。この状態にある粒子A(およびそれと同じ状態にある複数の粒子)の位置r=(x,y,z)を測定した場合に得られる『観測値の期待値』をそれぞれxyzとする。このとき、

md2dt2x=Uxmd2dt2y=Uymd2dt2z=Uz

が成立する。なお、ここでは波動関数は規格化されているものとする。また、ここで、期待値を導き出す操作 は、通常量子力学で行われている方法どおりで

x=ψ*(𝐫)xψ(𝐫)d𝐫Ux=ψ*(𝐫)Uxψ(𝐫)d𝐫

とする。他も同様である。

証明

まず、期待値の定義より

d2dt2𝐫=d2dt2ψ*(𝐫,t)𝐫ψ(𝐫,t)d𝐫=ddt[ψ*t𝐫ψ+ψ*𝐫ψt]d𝐫

を得る。ここでシュレーディンガー方程式より

ddt[ψ*t𝐫ψ+ψ*𝐫ψt]d𝐫=ddt[1i(H^ψ*)𝐫ψ+ψ*𝐫1i(H^ψ)]d𝐫=1iddt[{22m2+U(𝐫)}ψ*𝐫ψ+ψ*𝐫{22m2+U(𝐫)}ψ]d𝐫=1iddt[22m2ψ*𝐫ψψ*𝐫22m2ψ]d𝐫=i2mddt[2ψ*𝐫ψψ*𝐫2ψ]d𝐫

部分積分と、積分範囲が空間全体にわたること、及び波動関数は無限遠では0となるという仮定を用いると

2ψ*𝐫ψ d𝐫=[ψ*𝐫ψ]+ψ*(𝐫ψ)d𝐫=[ψ*(𝐫ψ)]++ψ*2(𝐫ψ)d𝐫=ψ*(𝐫ψ+𝐫ψ)d𝐫=[ψ*ψ+ψ*(𝐫ψ)]d𝐫=[2ψ*ψ+ψ*𝐫2ψ]d𝐫

これらを用いると

md2dt2𝐫=iddtψ*ψd𝐫=i[ψ*tψ+ψ*ψt]d𝐫

再度シュレーディンガー方程式を用いて

i[ψ*tψ+ψ*ψt]d𝐫=i[1i(H^ψ*)ψ+ψ*1i(H^ψ)]d𝐫=[{22m2+U(𝐫)}ψ*ψψ*{22m2+U(𝐫)}ψ]d𝐫=22m[2ψ*ψψ*3ψ]d𝐫+[U(𝐫)ψ*ψψ*(U(𝐫)ψ)]d𝐫

また部分積分を使うと、

2ψ*ψd𝐫=[ψ*ψ]+ψ*2ψd𝐫=[ψ*2ψ]++ψ*3ψd𝐫=ψ*3ψd𝐫

加えて

Uψ*ψψ*(Uψ)=Uψ*ψψ*UψUψ*ψ=ψ*Uψ

を用いると、

md2dt2𝐫=ψ*Uψd𝐫

を得る。この右辺の積分は、期待値の導出法からUの期待値であるから、

md2dt2𝐫=U

となる。 テンプレート:節スタブ

脚注

テンプレート:脚注ヘルプ テンプレート:Reflist

関連項目


テンプレート:量子力学 テンプレート:Physics-stub