相互作用描像
















量子力学

ΔxΔp≥ℏ2{displaystyle Delta x,Delta pgeq {frac {hbar }{2}}}Delta x,Delta pgeq {frac {hbar }{2}}


不確定性原理


紹介（英語版） · 数学的定式化



































表・話・編・歴


量子力学の時間発展において、相互作用描像 (そうごさようびょうぞう、英: Interaction picture）または相互作用表示（そうごさようひょうじ）とは、シュレーディンガー描像とハイゼンベルク描像の中間というべき描像である。これら2つの描像では、状態ベクトルまたは演算子のどちらかのみが時間に依存するが、相互作用描像にたてばこの両者が可観測量の時間依存性に寄与する。ディラック描像とも。


シュレーディンガー描像およびハイゼンベルク描像では、^A(t1) − ^A(t2) などのように異なる時間における演算子を含む式は必ずしも意味をなさないが、相互作用描像では許される。これは非時間依存ユニタリ変換が、ある描像における演算子を他の描像における対応する演算子と関連づけるためである。演算子がどの描像におけるものなのかが明示されていない書物もあり、混乱と誤用を招くこともある。




目次






  • 1 定義


    • 1.1 状態ベクトル


    • 1.2 演算子


      • 1.2.1 ハミルトニアン演算子


      • 1.2.2 密度行列






  • 2 相互作用描像における時間発展方程式


    • 2.1 状態の時間発展


    • 2.2 演算子の時間発展


    • 2.3 密度行列の時間発展




  • 3 相互作用描像の使用


  • 4 脚注


  • 5 参考文献


  • 6 関連項目





定義


相互作用描像における演算子と状態ベクトルは、基底の変更(ユニタリ変換)によってシュレーディンガー描像におけるそれらと関連づけられる。


相互作用描像に移るために、シュレーディンガー描像のハミルトニアンを ^HS = ^H0,S + ^H1,S のように二つにわける。[1]


もし、ハミルトニアンが陽に時間に依存する場合(例えば、量子系が時間変化する外部電場と相互作用する場合)、大抵の場合は ^H1,S に陽に時間に依る部分を含め、^H0,S を時間非依存に選ぶのが好都合である。この場合を想定して話を進める。[2]



状態ベクトル


相互作用描像における状態ベクトル |ψI(t)〉 は、シュレーディンガー描像において対応する状態ベクトルを |ψS(t)〉 として、次のように定義される。



|ψI(t)⟩=eiH^0,St/ℏ|ψS(t)⟩{displaystyle vert psi _{mathrm {I} }(t)rangle =e^{i{hat {H}}_{0,mathrm {S} }t/hbar }vert psi _{mathrm {S} }(t)rangle }{displaystyle vert psi _{mathrm {I} }(t)rangle =e^{i{hat {H}}_{0,mathrm {S} }t/hbar }vert psi _{mathrm {S} }(t)rangle }






演算子


相互作用描像における演算子は次のように定義される。



A^I(t)=eiH^0,St/ℏA^S(t)e−iH^0,St/ℏ{displaystyle {hat {A}}_{mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {A}}_{mathrm {S} }(t)e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}{displaystyle {hat {A}}_{mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {A}}_{mathrm {S} }(t)e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}



(典型的には、^AS(t) は t に依存しないので単に^AS と書ける。これが t に依存するのは、演算子が陽に時間に依存する場合のみである。)



ハミルトニアン演算子


演算子 ^H0 自体については、相互作用描像における演算子はシュレーディンガー描像におけるものと等しい。



H^0,I(t)=eiH^0,St/ℏH^0,Se−iH^0,St/ℏ=H^0,S{displaystyle {hat {H}}_{0,mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {H}}_{0,mathrm {S} }e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }={hat {H}}_{0,mathrm {S} }}{displaystyle {hat {H}}_{0,mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {H}}_{0,mathrm {S} }e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }={hat {H}}_{0,mathrm {S} }}



(これは、演算子は自身の微分可能な関数とは交換することを用いて証明できる。)よって特にこの演算子は曖昧さを残さず^H0と呼ぶことができる。


摂動ハミルトニアン ^H1, I については次のようになる。



H^1,I(t)=eiH^0,St/ℏH^1,Se−iH^0,St/ℏ{displaystyle {hat {H}}_{1,mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {H}}_{1,mathrm {S} }e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}{displaystyle {hat {H}}_{1,mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {H}}_{1,mathrm {S} }e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}



このように相互作用描像における摂動ハミルトニアンは時間非依存になる。（ただし[^H1, S, ^H0, S] = 0の場合。)


時間依存なハミルトニアン ^H0, S(t) についても、相互作用描像を得ることができるが、指数関数部分を時間発展演算子に置き換える必要がある。



密度行列


密度行列は他の演算子と同じように相互作用描像でも表すことができる。特に、ρIとρSをそれぞれ相互作用描像、シュレーディンガー描像における密度行列とすると、物理状態|ψn⟩{displaystyle |psi _{n}rangle }|psi_nrangが実現される確率をpnとして、次のように表される。





ρI(t)=∑npn(t)|ψn,I(t)⟩⟨ψn,I(t)|=∑npn(t)eiH^0,St/ℏ|ψn,S(t)⟩⟨ψn,S(t)|e−iH^0,St/ℏ=eiH^0,St/ℏρS(t)e−iH^0,St/ℏ{displaystyle {begin{aligned}rho _{mathrm {I} }(t)&=sum _{n}p_{n}(t)|psi _{n,mathrm {I} }(t)rangle langle psi _{n,mathrm {I} }(t)|\&=sum _{n}p_{n}(t)e^{i{hat {H}}_{0,mathrm {S} }t/hbar }|psi _{n,mathrm {S} }(t)rangle langle psi _{n,mathrm {S} }(t)|e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }\&=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }rho _{mathrm {S} }(t)e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }end{aligned}}}

{displaystyle {begin{aligned}rho _{mathrm {I} }(t)&=sum _{n}p_{n}(t)|psi _{n,mathrm {I} }(t)rangle langle psi _{n,mathrm {I} }(t)|\&=sum _{n}p_{n}(t)e^{i{hat {H}}_{0,mathrm {S} }t/hbar }|psi _{n,mathrm {S} }(t)rangle langle psi _{n,mathrm {S} }(t)|e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }\&=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }rho _{mathrm {S} }(t)e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }end{aligned}}}






























発展
描像

ハイゼンベルク
 相互作用
シュレーディンガー

ケットベクトル
 一定
|ψI(t)⟩=eiH^0,St/ℏ|ψS(t)⟩{displaystyle |psi _{mathrm {I} }(t)rangle =e^{i{hat {H}}_{0,mathrm {S} }t/hbar }|psi _{mathrm {S} }(t)rangle }{displaystyle |psi _{mathrm {I} }(t)rangle =e^{i{hat {H}}_{0,mathrm {S} }t/hbar }|psi _{mathrm {S} }(t)rangle }
|ψS(t)⟩=e−iH^St/ℏ|ψS(0)⟩{displaystyle |psi _{mathrm {S} }(t)rangle =e^{-i{hat {H}}_{mathrm {S} }t/hbar }|psi _{mathrm {S} }(0)rangle }{displaystyle |psi _{mathrm {S} }(t)rangle =e^{-i{hat {H}}_{mathrm {S} }t/hbar }|psi _{mathrm {S} }(0)rangle }

可観測量
A^H(t)=eiH^St/ℏA^Se−iH^St/ℏ{displaystyle {hat {A}}_{mathrm {H} }(t)=e^{i{hat {H}}_{mathrm {S} }t/hbar }{hat {A}}_{mathrm {S} }e^{-i{hat {H}}_{mathrm {S} }t/hbar }}{displaystyle {hat {A}}_{mathrm {H} }(t)=e^{i{hat {H}}_{mathrm {S} }t/hbar }{hat {A}}_{mathrm {S} }e^{-i{hat {H}}_{mathrm {S} }t/hbar }}
A^I(t)=eiH^0,St/ℏA^Se−iH^0,St/ℏ{displaystyle {hat {A}}_{mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {A}}_{mathrm {S} }e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}{displaystyle {hat {A}}_{mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }{hat {A}}_{mathrm {S} }e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}
 一定

密度行列
 一定
ρI(t)=eiH^0,St/ℏρS(t)e−iH^0,St/ℏ{displaystyle rho _{mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }rho _{mathrm {S} }(t)e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}{displaystyle rho _{mathrm {I} }(t)=e^{i{hat {H}}_{0,mathrm {S} }t/hbar }rho _{mathrm {S} }(t)e^{-i{hat {H}}_{0,mathrm {S} }t/hbar }}
ρS(t)=e−iH^St/ℏρS(0)eiH^S t/ℏ{displaystyle rho _{mathrm {S} }(t)=e^{-i{hat {H}}_{mathrm {S} }t/hbar }rho _{mathrm {S} }(0)e^{i{hat {H}}_{mathrm {S} }~t/hbar }}{displaystyle rho _{mathrm {S} }(t)=e^{-i{hat {H}}_{mathrm {S} }t/hbar }rho _{mathrm {S} }(0)e^{i{hat {H}}_{mathrm {S} }~t/hbar }}



相互作用描像における時間発展方程式



状態の時間発展


シュレーディンガー描像から相互作用描像への書き換えにより、次を得る。


iℏddt|ψI(t)⟩=H^1,I(t)|ψI(t)⟩{displaystyle ihbar {frac {mathrm {d} }{mathrm {d} t}}|psi _{mathrm {I} }(t)rangle ={hat {H}}_{1,mathrm {I} }(t)|psi _{mathrm {I} }(t)rangle }{displaystyle ihbar {frac {mathrm {d} }{mathrm {d} t}}|psi _{mathrm {I} }(t)rangle ={hat {H}}_{1,mathrm {I} }(t)|psi _{mathrm {I} }(t)rangle }

この方程式は朝永-シュウィンガーの式として知られる。



演算子の時間発展


もし、AS が陽に時間に依らなければ、対応する時間発展 AI(t) は次のように得られる。


iℏddtA^I(t)=[A^I(t),H^0]{displaystyle ihbar {frac {mathrm {d} }{mathrm {d} t}}{hat {A}}_{mathrm {I} }(t)=[{hat {A}}_{mathrm {I} }(t),{hat {H}}_{0}]}{displaystyle ihbar {frac {mathrm {d} }{mathrm {d} t}}{hat {A}}_{mathrm {I} }(t)=[{hat {A}}_{mathrm {I} }(t),{hat {H}}_{0}]}

相互作用描像では演算子は、ハイゼンベルク描像においてハミルトニアンをH'=H0としたときの演算子と同じように時間発展する。



密度行列の時間発展


朝永-シュウィンガーの式を、密度行列の言葉で書き直すと、(または同じ事だが、フォン・ノイマン方程式を相互作用描像で書きあらわすと)次を得る。


iℏddtρI(t)=[H^1,I(t),ρI(t)]{displaystyle ihbar {frac {mathrm {d} }{mathrm {d} t}}rho _{mathrm {I} }(t)=[{hat {H}}_{1,mathrm {I} }(t),rho _{mathrm {I} }(t)]}{displaystyle ihbar {frac {mathrm {d} }{mathrm {d} t}}rho _{mathrm {I} }(t)=[{hat {H}}_{1,mathrm {I} }(t),rho _{mathrm {I} }(t)]}


相互作用描像の使用


相互作用描像の目的は、^H0 が演算子に作用することによる時間依存性と、^H1, I が状態ベクトルに作用することによる時間依存性を分離してしまうことにある。相互作用描像は、^H0 をハイゼンベルク描像にして、^H1をシュレーディンガー描像にした形式だと言える[3]。


相互作用描像は、解が求まっている系のハミルトニアン ^H0, S に、小さな干渉項 ^H1, S が干渉することによる効果を検証する場合に便利である。相互作用描像を用いることにより、摂動法を用いて ^H1, I の効果を調べることができる。


場の量子論においても相互作用描像は用いられる。相互作用描像では演算子の時間依存性は自由ハミルトニアン^H0 のみにより、相互作用により変わる部分は状態ベクトルの中にある。したがって^H1がゼロならば状態ベクトルは時間に依らず、相互作用描像はハイゼンベルク描像に等しい。相互作用描像の便利な点は、相互作用がある場合でも場の演算子が自由場の方程式を満たすことであり、場の展開がそのまま使えることにある。状態ベクトルの満たす方程式はシュレーディンガー方程式に似ているが、^H1は時間に依存する自由場の演算子を含んでいる[4]。



脚注




  1. ^ 全てのわけかたから意味をもった相互作用描像を得ることができる。しかし、相互作用描像によって問題の解析を容易にするためには、典型的には ^H0, S は性質がよく理解されており、解が求まっているもの、^H1, S に解析の難しい、摂動的なものが含まれるようにわけることが多い。


  2. ^ もし、^H0, S が時間依存する場合においては、exp(± i^H0, St / ħ)を対応する時間発展演算子に置き換えればここでの議論を適用できる。


  3. ^ 沙川貴大、上田正仁 『量子測定と量子制御』 サイエンス社〈臨時別冊・数理科学SGCライブラリ123〉、2016年。


  4. ^ 長島順清 『素粒子物理学の基礎I』 朝倉書店〈朝倉物理学大系〉、2002年。ISBN 4-254-13673-0。



参考文献




  • Townsend, John S. (2000). A Modern Approach to Quantum Mechanics, 2nd ed.. Sausalito, CA: University Science Books. ISBN 1-891389-13-0. 

  • 高田康民 『多体問題』 朝倉書店〈朝倉物理学大系〉、1999年。ISBN 978-4-254-13679-1。



関連項目



  • ブラ-ケット記法

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

  • ハーグの定理








-

Popular posts from this blog

Coverage of Google Street View

Image
Coverage of Google Street View From Wikipedia, the free encyclopedia Jump to navigation Jump to search Countries and dependencies with:    mostly full coverage    partial coverage    full or partial coverage planned (official)    full or partial coverage planned (unofficial)    views of selected businesses and/or tourist attractions only    views of private businesses only    no current or planned coverage Google Street View was first introduced in the United States on May 25, 2007, and until November 26, 2008, featured camera icon markers, each representing at least one major city or area (such as a park), and usually the other nearby cities, towns, suburbs, and parks. Many areas that had coverage were represented by icons. Contents 1 Key additions 2 Timeline of introductions 2.1 2007 2.2 2008 2.3 2009 2.4 2010 2.5 2011 2.6 2012 2.7 2013 2.8 2014 2.9 20...
Read more

Full-time equivalent

Image
Full-time equivalent From Wikipedia, the free encyclopedia Jump to navigation Jump to search Full-time equivalent ( FTE ) or whole time equivalent ( WTE ) is a unit that indicates the workload of an employed person (or student) in a way that makes workloads or class loads comparable [1] across various contexts. FTE is often used to measure a worker's or student's involvement in a project, or to track cost reductions in an organization. An FTE of 1.0 is equivalent to a full-time worker or student, while an FTE of 0.5 signals half of a full work or school load. [2] Contents 1 U.S. Federal Government 2 In education 2.1 Example 3 Notes 4 References U.S. Federal Government [ edit ] In the U.S. Federal Government, FTE is defined by the Government Accountability Office (GAO) as the number of total hours worked divided by the maximum number of compensable hours in a full-time schedule as...
Read more

Surfing

Image
Surfing From Wikipedia, the free encyclopedia Jump to navigation Jump to search This article is about stand-up ocean surfing. For other uses, see Surfing (disambiguation). "Surfer" redirects here. For other uses, see Surfer (disambiguation). Surfing A surfer at the Cayucos Pier, Cayucos, California Highest governing body World Surf League (WSL) Characteristics Mixed gender Yes, separate competitions Presence Country or region Worldwide Olympic Will debut in 2020 Surfing on the Gold Coast, Queensland, Australia Surfing is a surface water sport in which the wave rider, referred to as a surfer, rides on the forward or deep face of a moving wave, which usually carries the surfer towards the shore. Waves suitable for surfing are primarily found in the ocean, but can also be found in lakes or rivers in the form of a standing wave or tidal bore. However, surfers can also utilize artifi...
Read more