シュレーディンガー描像

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

量子論においてシュレーディンガー描像(シュレーディンガーびょうぞう、テンプレート:Lang-en-short)またはシュレーディンガー表示(シュレーディンガーひょうじ、テンプレート:Lang-en-short)とは、系の時間発展について「オブザーバブルは時間変化せずに、状態が時間発展する」と考える方法である。

これは「状態は時間変化せず、オブザーバブルが時間発展する」と考えるハイゼンベルク描像や、「状態もオブザーバブルも時間発展する」と考える相互作用描像とは異なる考え方・定式化であるが、どの描像を用いても得られるオブザーバブルの期待値や測定値の確率分布は同じなので等価な理論である。

シュレーディンガー方程式

時間発展はシュレーディンガー描像であるとした時、演算子形式では一般に、「状態|ψは以下のシュレーディンガー方程式に従うように時間発展する」ということを基本原理とする。

it|ψ(t)=H^|ψ(t)

ここで、H^は系の全力学的エネルギーを表す「ハミルトニアン(ハミルトン演算子)」というエルミート演算子であり、対応する古典系のハミルトニアンを正準量子化する事によって得られることが多い。

時間発展演算子

定義

時間発展演算子U^(t,t0) は、次のように定義される。 テンプレート:Indent これは、状態の時間発展についての情報を全て担っている演算子である。 この演算子をt0 における状態ベクトルに作用すると、t における状態ベクトルが得られる。

ブラについては、次のようになる。 テンプレート:Indent

特徴

特徴その1

シュレーディンガー方程式より、状態ベクトルのノルムが時間によって変化しないことがわかる。

よって時間発展演算子はユニタリでなければならない。つまり、 テンプレート:Indent

よって

U^(t,t0)U^(t,t0)=I^

特徴その2

明らかに、U^(t0,t0) 恒等作用素である。

|ψ(t0)=U^(t0,t0)|ψ(t0)

よって

U^(t0,t0)=I^

特徴その3

時刻t0 からt への時間発展は、t0 から中間の時間t1 への時間発展とt1 からt への時間発展をあわせたものと見ることも出来る。よって、次の式を得る。

U^(t,t0)=U^(t,t1)U^(t1,t0)

時間発展演算子の満たすべき条件・具体的な形

時間発展演算子はどんな形でも良いわけではない。時間発展についての基本原理(シューレディンガー方程式)に合うような形でなければならない。

慣習的に、t0 を、t0=0 として省略し、U^(t,t0) U^(t) と書く。シュレーディンガー方程式に代入すると、

iddtU^(t)|ψ(0)=H^U^(t)|ψ(0)

ここでH^ は系のハミルトニアン|ψ(0)t=0における状態ケットである。つまり、次の時間発展演算子の満たすべき条件が得られる。

iddtU^(t)=H^U^(t)

この式をそれぞれの条件のもとで解けば、時間発展演算子の具体的な形が求まる。

ハミルトニアンが時間に依らない場合

ハミルトニアンが時間に依らないならば、上の式の解は次のようになる。 テンプレート:Indent

ここで、t=0 においてU^(t) は恒等演算子と一致しなければならない、という条件を用いた。よって、次を得る。

|ψ(t)=eiH^t/|ψ(0)

|ψ(0)は任意のケットであることに注意。

ここで初期状態|ψ(0)としてハミルトニアンの固有値の1つE の固有状態を選ぶと

|ψ(t)=eiEt/|ψ(0)

よって、ハミルトニアンの固有状態は時間によって位相係数しか変化しない、つまり定常状態であることがわかる。

ハミルトニアンが時間に依存するが、異なる時間でのハミルトニアン同士が交換する場合

もし、ハミルトニアンが時間に依るが、異なる時間でのハミルトニアン同士が交換するのであれば、時間発展演算子は次のように書ける。

U^(t)=exp(i0tdt'H^(t'))

シュレーディンガー描像とは別に、座標系を座標系そのものが伝播関数により回転するようにとることもできる。この場合、波動の回転は座標系の回転と一致するので、定常状態の関数は真に定常となる。これがハイゼンベルク描像である。

関連項目

関連書籍

  • Principles of Quantum Mechanics by R. Shankar, Plenum Press.

テンプレート:量子力学

テンプレート:Physics-stub