ハイゼンベルク描像（はいぜんべるくびょうぞう、英: Heisenberg picture）またはハイゼンベルク表示（はいぜんべるくひょうじ、英: Heisenberg representation）は、物理学において量子力学を定式化するにあたり、演算子（可観測量やその他）が時間発展し、状態ベクトルは時間に依存しないとする理論形式のこと。状態ベクトルが時間発展し、演算子が時間に依存しないシュレーディンガー描像とは等価の結果を与える。
ハイゼンベルク力学とも呼ばれる行列力学は、時間発展にはハイゼンベルク描像を採用し、適当な基底を選んで演算子を行列表示したものに相当する。
相対論的な場の量子論では、ハイゼンベルク描像を採用するのが普通である。
ハイゼンベルク描像を採用する量子力学では、状態ベクトル |ψ⟩ は時間発展せず、可観測量 ˆA(t) が下に示すハイゼンベルクの運動方程式に従い、時間発展する。
![{\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}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/1f73c1117e53e1ea493fd68ceb47661112af06f4)
また、ˆA(t) の期待値は以下で与えられる。
いくつかの意味で、ハイゼンベルク描像はシュレーディンガー描像より自然で、本質的だといえる。とくに、相対論的量子力学においてはローレンツ不変性はハイゼンベルク描像を用いてあらわされる。
また、古典力学との類似点が見やすいことも重要である。交換子をポアソン括弧で置き換えることによって、ハイゼンベルクの方程式はハミルトンの運動方程式と同じ形を与える。
ストーン-フォン・ノイマンの定理により、ハイゼンベルク描像とシュレーディンガー描像はユニタリ同値であることが示されている。
シュレーディンガー描像において、ˆA を可観測量である(線形なエルミート演算子である)とすると、ˆA のある状態 |ψ⟩ における期待値は下のように求められる。
また、シュレーディンガー方程式の形式解
を用いれば、物理量の期待値は、
よってハイゼンベルク描像において、状態は時間によらず常に |ψ(0)⟩ であると定義し、物理量を表す演算子を次のように定義すれば、シュレーディンガー描像とハイゼンベルク描像とでは、物理量の期待値 |ψ(t)⟩ は等しくなる。つまりシュレーディンガー描像とハイゼンベルク描像は時間発展について等価な理論になる。
すると ˆA(t) の時間依存性は、
![{\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}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/e3301cf159f9e15de943ba2b2b76332aa0660daa)
よってシュレーディンガー方程式から、次のハイゼンベルクの運動方程式が得られた。
![{\displaystyle {\mathrm {d} \over \mathrm {d} t}{\hat {A}}(t)={i \over \hbar }[{\hat {H}},{\hat {A}}(t)]+\left({\frac {\partial {\hat {A}}}{\partial t}}\right)_{\text{classical}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/87a2d404d5357105c84e89590a78aaf6beb1267b)
関係式
![{\displaystyle {e^{\hat {B}}{\hat {A}}e^{-{\hat {B}}}}={\hat {A}}+[{\hat {B}},{\hat {A}}]+{\frac {1}{2!}}[{\hat {B}},[{\hat {B}},{\hat {A}}]]+{\frac {1}{3!}}[{\hat {B}},[{\hat {B}},[{\hat {B}},{\hat {A}}]]]+\cdots }](//wikimedia.org/api/rest_v1/media/math/render/svg/83f79d1da1b87be06fded1e2bd38b43e81089467)
を使うと、時間依存な可観測量 ˆA(t) について下を得る。
![{\displaystyle {\hat {A}}(t)={\hat {A}}+{\frac {it}{\hbar }}[{\hat {H}},{\hat {A}}]-{\frac {t^{2}}{2!\hbar ^{2}}}[{\hat {H}},[{\hat {H}},{\hat {A}}]]-{\frac {it^{3}}{3!\hbar ^{3}}}[{\hat {H}},[{\hat {H}},[{\hat {H}},{\hat {A}}]]]+\cdots .}](//wikimedia.org/api/rest_v1/media/math/render/svg/f9b30eab38f53e7bf8ecbc45ce9def3fc540a7d0)
交換子をポアソン括弧に置き換えると、この関係式は古典力学でも成り立つ。
ハイゼンベルク描像では、演算子の時間依存性により、同時刻以外ではシュレーディンガー描像を用いたときと交換関係が異なる。例として、一次元調和振動子の x(t1), x(t2), p(t1), p(t2) を考えてみると、系のハミルトニアンは
よって位置演算子と運動量演算子の時間発展は下のようになる。
![{\displaystyle {\mathrm {d} \over \mathrm {d} t}{\hat {x}}(t)={i \over \hbar }[{\hat {H}},{\hat {x}}(t)]={\frac {\hat {p}}{m}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/08b6e8fb40a3f8effb870e437a3665e5446132f5)
![{\displaystyle {\mathrm {d} \over \mathrm {d} t}{\hat {p}}(t)={i \over \hbar }[{\hat {H}},{\hat {p}}(t)]=-m\omega ^{2}{\hat {x}}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/08a8136f3e7bff7820d6a5564a5c4bf605ce37b9)
これらをさらに時間微分し適当な初期条件
を与えると下を得る。
よって、直接交換関係を計算すると
![{\displaystyle [{\hat {x}}(t_{1}),{\hat {x}}(t_{2})]={\frac {i\hbar }{m\omega }}\sin(\omega t_{2}-\omega t_{1}),}](//wikimedia.org/api/rest_v1/media/math/render/svg/e2a5aa5b3cc3e2a7735f6590f6bcce751df40772)
![{\displaystyle [{\hat {p}}(t_{1}),{\hat {p}}(t_{2})]=i\hbar m\omega \sin(\omega t_{2}-\omega t_{1}),}](//wikimedia.org/api/rest_v1/media/math/render/svg/426d720a1f12104ac947169ed22ecfb2784b63b1)
![{\displaystyle [{\hat {x}}(t_{1}),{\hat {p}}(t_{2})]=i\hbar \cos(\omega t_{2}-\omega t_{1}).}](//wikimedia.org/api/rest_v1/media/math/render/svg/c7d26be43d5e47d4fe4ac2a0d1af3ac7e6dd0b58)
同時刻 t1 = t2 においてはこの交換関係は正準交換関係に帰着することに注目すべきである。
![{\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}}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/1f73c1117e53e1ea493fd68ceb47661112af06f4)
![{\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}}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/e3301cf159f9e15de943ba2b2b76332aa0660daa)
![{\displaystyle {\mathrm {d} \over \mathrm {d} t}{\hat {A}}(t)={i \over \hbar }[{\hat {H}},{\hat {A}}(t)]+\left({\frac {\partial {\hat {A}}}{\partial t}}\right)_{\text{classical}}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/87a2d404d5357105c84e89590a78aaf6beb1267b)
![{\displaystyle {e^{\hat {B}}{\hat {A}}e^{-{\hat {B}}}}={\hat {A}}+[{\hat {B}},{\hat {A}}]+{\frac {1}{2!}}[{\hat {B}},[{\hat {B}},{\hat {A}}]]+{\frac {1}{3!}}[{\hat {B}},[{\hat {B}},[{\hat {B}},{\hat {A}}]]]+\cdots }](http://wikimedia.org/api/rest_v1/media/math/render/svg/83f79d1da1b87be06fded1e2bd38b43e81089467)
![{\displaystyle {\hat {A}}(t)={\hat {A}}+{\frac {it}{\hbar }}[{\hat {H}},{\hat {A}}]-{\frac {t^{2}}{2!\hbar ^{2}}}[{\hat {H}},[{\hat {H}},{\hat {A}}]]-{\frac {it^{3}}{3!\hbar ^{3}}}[{\hat {H}},[{\hat {H}},[{\hat {H}},{\hat {A}}]]]+\cdots .}](http://wikimedia.org/api/rest_v1/media/math/render/svg/f9b30eab38f53e7bf8ecbc45ce9def3fc540a7d0)
![{\displaystyle {\mathrm {d} \over \mathrm {d} t}{\hat {x}}(t)={i \over \hbar }[{\hat {H}},{\hat {x}}(t)]={\frac {\hat {p}}{m}},}](http://wikimedia.org/api/rest_v1/media/math/render/svg/08b6e8fb40a3f8effb870e437a3665e5446132f5)
![{\displaystyle {\mathrm {d} \over \mathrm {d} t}{\hat {p}}(t)={i \over \hbar }[{\hat {H}},{\hat {p}}(t)]=-m\omega ^{2}{\hat {x}}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/08a8136f3e7bff7820d6a5564a5c4bf605ce37b9)
![{\displaystyle [{\hat {x}}(t_{1}),{\hat {x}}(t_{2})]={\frac {i\hbar }{m\omega }}\sin(\omega t_{2}-\omega t_{1}),}](http://wikimedia.org/api/rest_v1/media/math/render/svg/e2a5aa5b3cc3e2a7735f6590f6bcce751df40772)
![{\displaystyle [{\hat {p}}(t_{1}),{\hat {p}}(t_{2})]=i\hbar m\omega \sin(\omega t_{2}-\omega t_{1}),}](http://wikimedia.org/api/rest_v1/media/math/render/svg/426d720a1f12104ac947169ed22ecfb2784b63b1)
![{\displaystyle [{\hat {x}}(t_{1}),{\hat {p}}(t_{2})]=i\hbar \cos(\omega t_{2}-\omega t_{1}).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/c7d26be43d5e47d4fe4ac2a0d1af3ac7e6dd0b58)
