ハイゼンベルク描像（はいぜんべるくびょうぞう、英: Heisenberg picture）またはハイゼンベルク表示（はいぜんべるくひょうじ、英: Heisenberg representation）は、物理学において量子力学を定式化するにあたり、演算子（可観測量やその他）が時間発展し、状態ベクトルは時間に依存しないとする理論形式のこと。状態ベクトルが時間発展し、演算子が時間に依存しないシュレーディンガー描像とは等価の結果を与える。

ハイゼンベルク力学とも呼ばれる行列力学は、時間発展にはハイゼンベルク描像を採用し、適当な基底を選んで演算子を行列表示したものに相当する。

相対論的な場の量子論では、ハイゼンベルク描像を採用するのが普通である[1]。
数学的内容

ハイゼンベルク描像を採用する量子力学では、状態ベクトル |ψ⟩ は時間発展せず、可観測量 ˆA(t) が下に示すハイゼンベルクの運動方程式に従い、時間発展する。

d d t A ^ ( t ) = 1 i ℏ [ A ^ ( t ) , H ^ ] + ( ∂ A ^ ( t ) ∂ t ) classical . {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} t}}{\hat {A}}(t)={\frac {1}{i\hbar }}[{\hat {A}}(t),{\hat {H}}]+\left({\frac {\partial {\hat {A}}(t)}{\partial t}}\right)_{\text{classical}}.}

また、ˆA(t) の期待値は以下で与えられる。

⟨ A ^ ⟩ t = ⟨ ψ 。 A ^ ( t ) 。 ψ ⟩ . {\displaystyle \langle {\hat {A}}\rangle _{t}=\langle \psi |{\hat {A}}(t)|\psi \rangle .}

いくつかの意味で、ハイゼンベルク描像はシュレーディンガー描像より自然で、本質的だといえる。とくに、相対論的量子力学においてはローレンツ不変性はハイゼンベルク描像を用いてあらわされる。

また、古典力学との類似点が見やすいことも重要である。交換子をポアソン括弧で置き換えることによって、ハイゼンベルクの方程式はハミルトンの運動方程式と同じ形を与える。

ストーン-フォン・ノイマンの定理により、ハイゼンベルク描像とシュレーディンガー描像はユニタリ同値であることが示されている。
ハイゼンベルクの方程式とシュレーディンガー方程式の等価性

シュレーディンガー描像において、ˆA を可観測量である(線形なエルミート演算子である)とすると、ˆA のある状態 |ψ⟩ における期待値は下のように求められる。

⟨ A ^ ⟩ t = ⟨ ψ ( t ) 。 A ^ 。 ψ ( t ) ⟩ . {\displaystyle \langle {\hat {A}}\rangle _{t}=\langle \psi (t)|{\hat {A}}|\psi (t)\rangle .}

また、シュレーディンガー方程式の形式解

。 ψ ( t ) ⟩ = e − i H ^ t / ℏ 。 ψ ( 0 ) ⟩ {\displaystyle |\psi (t)\rangle =e^{-i{\hat {H}}t/\hbar }|\psi (0)\rangle }

を用いれば、物理量の期待値は、

⟨ A ^ ⟩ t = ⟨ ψ ( 0 ) 。 e i H ^ t / ℏ A ^ e − i H ^ t / ℏ 。 ψ ( 0 ) ⟩ . {\displaystyle \langle {\hat {A}}\rangle _{t}=\langle \psi (0)|e^{i{\hat {H}}t/\hbar }{\hat {A}}e^{-i{\hat {H}}t/\hbar }|\psi (0)\rangle .}

よってハイゼンベルク描像において、状態は時間によらず常に |ψ(0)⟩ であると定義し、物理量を表す演算子を次のように定義すれば、シュレーディンガー描像とハイゼンベルク描像とでは、物理量の期待値 |ψ(t)⟩ は等しくなる。つまりシュレーディンガー描像とハイゼンベルク描像は時間発展について等価な理論になる。

A ^ ( t ) := e i H ^ t / ℏ A ^ e − i H ^ t / ℏ . {\displaystyle {\hat {A}}(t):=e^{i{\hat {H}}t/\hbar }{\hat {A}}e^{-i{\hat {H}}t/\hbar }.}

すると ˆA(t) の時間依存性は、

d d t A ^ ( t ) = i ℏ H e i H ^ t / ℏ A ^ e − i H ^ t / ℏ + ( ∂ A ^ ∂ t ) classical + i ℏ e i H ^ t / ℏ A ^ ( − H ^ ) e − i H ^ t / ℏ = i ℏ e i H ^ t / ℏ ( H ^ A ^ − A ^ H ^ ) e − i H ^ t / ℏ + ( ∂ A ^ ∂ t ) classical = i ℏ ( H ^ A ^ ( t ) − A ^ ( t ) H ^ ) + ( ∂ A ^ ∂ t ) classical = i ℏ [ H ^ , A ^ ( t ) ] + ( ∂ A ^ ∂ t ) classical . {\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} t}}{\hat {A}}(t)&={\frac {i}{\hbar }}He^{i{\hat {H}}t/\hbar }{\hat {A}}e^{-i{\hat {H}}t/\hbar }+\left({\frac {\partial {\hat {A}}}{\partial t}}\right)_{\text{classical}}+{\frac {i}{\hbar }}e^{i{\hat {H}}t/\hbar }{\hat {A}}(-{\hat {H}})e^{-i{\hat {H}}t/\hbar }\\&={\frac {i}{\hbar }}e^{i{\hat {H}}t/\hbar }({\hat {H}}{\hat {A}}-{\hat {A}}{\hat {H}})e^{-i{\hat {H}}t/\hbar }+\left({\frac {\partial {\hat {A}}}{\partial t}}\right)_{\text{classical}}\\&={\frac {i}{\hbar }}({\hat {H}}{\hat {A}}(t)-{\hat {A}}(t){\hat {H}})+\left({\frac {\partial {\hat {A}}}{\partial t}}\right)_{\text{classical}}\\&={\frac {i}{\hbar }}[{\hat {H}},{\hat {A}}(t)]+\left({\frac {\partial {\hat {A}}}{\partial t}}\right)_{\text{classical}}.\end{aligned}}}