シュレーディンガー描像

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

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

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

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

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

時間発展演算子

定義

時間発展演算子は、次のように定義される。

これは、状態の時間発展についての情報を全て担っている演算子である。 この演算子をにおける状態ベクトルに作用すると、における状態ベクトルが得られる。

ブラについては、次のようになる。

特徴

特徴その1

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

よって時間発展演算子はユニタリでなければならない。つまり、

よって

特徴その2

明らかに、恒等作用素である。

よって

特徴その3

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

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

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

慣習的に、を、として省略し、と書く。シュレーディンガー方程式に代入すると、

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

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

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

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

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

は任意のケットであることに注意。

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

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

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

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

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

関連項目

関連書籍

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