ハイゼンベルク描像
ハイゼンベルク描像（はいぜんべるくびょうぞう、テンプレート:Lang-en-short）またはハイゼンベルク表示（はいぜんべるくひょうじ、テンプレート:Lang-en-short）は、物理学において量子力学を定式化するにあたり、演算子（可観測量やその他）が時間発展し、状態ベクトルは時間に依存しないとする理論形式のこと。状態ベクトルが時間発展し、演算子が時間に依存しないシュレーディンガー描像とは等価の結果を与える。
ハイゼンベルク力学とも呼ばれる行列力学は、時間発展にはハイゼンベルク描像を採用し、適当な基底を選んで演算子を行列表示したものに相当する。
相対論的な場の量子論では、ハイゼンベルク描像を採用するのが普通であるテンプレート:Sfn。
数学的内容
ハイゼンベルク描像を採用する量子力学では、状態ベクトル テンプレート:Math は時間発展せず、可観測量 テンプレート:Math が下に示すハイゼンベルクの運動方程式に従い、時間発展する。
また、テンプレート:Math の期待値は以下で与えられる。 テンプレート:Indent
いくつかの意味で、ハイゼンベルク描像はシュレーディンガー描像より自然で、本質的だといえる。とくに、相対論的量子力学においてはローレンツ不変性はハイゼンベルク描像を用いてあらわされる。
また、古典力学との類似点が見やすいことも重要である。交換子をポアソン括弧で置き換えることによって、ハイゼンベルクの方程式はハミルトンの運動方程式と同じ形を与える。
ストーン-フォン・ノイマンの定理により、ハイゼンベルク描像とシュレーディンガー描像はユニタリ同値であることが示されている。
ハイゼンベルクの方程式とシュレーディンガー方程式の等価性
シュレーディンガー描像において、テンプレート:Math を可観測量である(線形なエルミート演算子である)とすると、テンプレート:Math のある状態 テンプレート:Math における期待値は下のように求められる。
また、シュレーディンガー方程式の形式解
を用いれば、物理量の期待値は、 テンプレート:Indent
よってハイゼンベルク描像において、状態は時間によらず常に テンプレート:Math であると定義し、物理量を表す演算子を次のように定義すれば、シュレーディンガー描像とハイゼンベルク描像とでは、物理量の期待値 テンプレート:Math は等しくなる。つまりシュレーディンガー描像とハイゼンベルク描像は時間発展について等価な理論になる。
すると テンプレート:Math の時間依存性は、
よってシュレーディンガー方程式から、次のハイゼンベルクの運動方程式が得られた。
関係式
を使うと、時間依存な可観測量 テンプレート:Math について下を得る。
交換子をポアソン括弧に置き換えると、この関係式は古典力学でも成り立つ。
交換関係
ハイゼンベルク描像では、演算子の時間依存性により、同時刻以外ではシュレーディンガー描像を用いたときと交換関係が異なる。例として、一次元調和振動子の テンプレート:Math を考えてみると、系のハミルトニアンは
よって位置演算子と運動量演算子の時間発展は下のようになる。 テンプレート:Indent これらをさらに時間微分し適当な初期条件 テンプレート:Indent を与えると下を得る。 テンプレート:Indent よって、直接交換関係を計算すると テンプレート:Indent 同時刻 テンプレート:Math においてはこの交換関係は正準交換関係に帰着することに注目すべきである。