交換関係 (量子力学)








量子力学における交換関係（こうかんかんけい、英: commutation relation）とは、演算子としてあらわされた物理量が満たす量子力学特有の関係である。




目次






  • 1 定義


  • 2 性質


  • 3 正準交換関係


  • 4 反交換関係


  • 5 ポアソンの括弧式


  • 6 関連項目





定義


二つの演算子（A^{displaystyle {hat {A}}}{hat A}、B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} とする）に対して、


A^B^−B^A^≡[A^,B^]{displaystyle {hat {A}}{hat {B}}-{hat {B}}{hat {A}}equiv [{hat {A}},{hat {B}}]}{displaystyle {hat {A}}{hat {B}}-{hat {B}}{hat {A}}equiv [{hat {A}},{hat {B}}]}

を交換子 (英: commutator) と言う。交換子も演算子であり、特に A^{displaystyle {hat {A}}}{hat A}、B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} がともにエルミートであるとき、交換子は歪エルミートとなる。量子力学において、この交換子を規定する関係が交換関係である。


普通の数はかける順序を逆にしても値は同じだが、量子力学における演算子は必ずしもそうではなく、[A^,B^]{displaystyle [{hat {A}},{hat {B}}]}{displaystyle [{hat {A}},{hat {B}}]} が 0{displaystyle 0}{displaystyle 0} にならない場合がある。[A^,B^]=0{displaystyle [{hat {A}},{hat {B}}]=0}{displaystyle [{hat {A}},{hat {B}}]=0} のとき、A^{displaystyle {hat {A}}}{hat A} と B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} は可換である、あるいは A^{displaystyle {hat {A}}}{hat A} と B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} は交換するという。[A^,B^]≠0{displaystyle [{hat {A}},{hat {B}}]neq 0}{displaystyle [{hat {A}},{hat {B}}]neq 0} のとき、A^{displaystyle {hat {A}}}{hat A} と B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} は非可換である、あるいは A^{displaystyle {hat {A}}}{hat A} と B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} は交換しないという。


A^{displaystyle {hat {A}}}{hat A} と B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} が可換なことと A^{displaystyle {hat {A}}}{hat A}, B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} の同時固有状態が存在することは等価である。



性質


交換子で定義される交換関係は次の性質を満たす。



  • [A^,A^]=0{displaystyle [{hat {A}},{hat {A}}]=0}{displaystyle [{hat {A}},{hat {A}}]=0}


  • [A^,B^]=−[B^,A^]{displaystyle [{hat {A}},{hat {B}}]=-[{hat {B}},{hat {A}}]}{displaystyle [{hat {A}},{hat {B}}]=-[{hat {B}},{hat {A}}]} （交代性）


  • [A^,B^+C^]=[A^,B^]+[A^,C^]{displaystyle [{hat {A}},{hat {B}}+{hat {C}}]=[{hat {A}},{hat {B}}]+[{hat {A}},{hat {C}}]}{displaystyle [{hat {A}},{hat {B}}+{hat {C}}]=[{hat {A}},{hat {B}}]+[{hat {A}},{hat {C}}]} （線形性）


  • [A^,B^C^]=[A^,B^]C^+B^[A^,C^]{displaystyle [{hat {A}},{hat {B}}{hat {C}}]=[{hat {A}},{hat {B}}]{hat {C}}+{hat {B}}[{hat {A}},{hat {C}}]}{displaystyle [{hat {A}},{hat {B}}{hat {C}}]=[{hat {A}},{hat {B}}]{hat {C}}+{hat {B}}[{hat {A}},{hat {C}}]} （ライプニッツ則）


  • [[A^,B^],C^]+[[B^,C^],A^]+[[C^,A^],B^]=0{displaystyle [[{hat {A}},{hat {B}}],{hat {C}}]+[[{hat {B}},{hat {C}}],{hat {A}}]+[[{hat {C}},{hat {A}}],{hat {B}}]=0}{displaystyle [[{hat {A}},{hat {B}}],{hat {C}}]+[[{hat {B}},{hat {C}}],{hat {A}}]+[[{hat {C}},{hat {A}}],{hat {B}}]=0} （ヤコビの恒等式）



正準交換関係


演算子には物理量に対応するものがあり、特に正準共役な変数同士の交換関係を正準交換関係 (英: canonical commutation relations, CCR) と言う。正準共役な関係にある、座標 q^j{displaystyle {hat {q}}_{j}}{displaystyle {hat {q}}_{j}} と運動量 p^k{displaystyle {hat {p}}_{k}}{displaystyle {hat {p}}_{k}} で、


[q^j,p^k]=q^jp^k−p^kq^j=iℏδjk{displaystyle [{hat {q}}_{j},{hat {p}}_{k}]={hat {q}}_{j}{hat {p}}_{k}-{hat {p}}_{k}{hat {q}}_{j}=ihbar delta _{jk}}{displaystyle [{hat {q}}_{j},{hat {p}}_{k}]={hat {q}}_{j}{hat {p}}_{k}-{hat {p}}_{k}{hat {q}}_{j}=ihbar delta _{jk}}

という 交換関係が成り立つ（ℏ=h/2π{displaystyle hbar =h/2pi }hbar =h/2pi で h{displaystyle h}h はプランク定数）。勿論、古典論では上記の結果はゼロ（[q^,p^]=0{displaystyle [{hat {q}},{hat {p}}]=0}{displaystyle [{hat {q}},{hat {p}}]=0}）となる。



反交換関係


A^B^+B^A^≡{A^,B^}{displaystyle {hat {A}}{hat {B}}+{hat {B}}{hat {A}}equiv {{hat {A}},{hat {B}}}}{displaystyle {hat {A}}{hat {B}}+{hat {B}}{hat {A}}equiv {{hat {A}},{hat {B}}}}


を反交換子 (英: anticommutator) といい、これから規定される関係を、反交換関係 と言う。特に正準共役な変数同士の反交換関係を正準反交換関係 (英: canonical anticommutation relations, CAR) と言う。[A^,B^]+{displaystyle [{hat {A}},{hat {B}}]_{+}}{displaystyle [{hat {A}},{hat {B}}]_{+}}という表式もしばしば用いられる。反交換子もまた演算子であり、特に A^{displaystyle {hat {A}}}{hat A}、B^{displaystyle {hat {B}}}{displaystyle {hat {B}}} がともにエルミートであるとき、反交換子もまたエルミートとなる。反交換関係はフェルミ粒子などを扱う際に用いられる。



ポアソンの括弧式


古典解析力学において、 正準座標 q{displaystyle q}q と 正準運動量 p{displaystyle p}p の関数 A(q,p){displaystyle A(q,p)}A(q,p) と B(q,p){displaystyle B(q,p)}B(q,p) に対して、


{A,B}≡∂A∂q∂B∂p−∂A∂p∂B∂q{displaystyle {A,B}equiv {frac {partial A}{partial q}}{frac {partial B}{partial p}}-{frac {partial A}{partial p}}{frac {partial B}{partial q}}}{A,B}equiv {frac {partial A}{partial q}}{frac {partial B}{partial p}}-{frac {partial A}{partial p}}{frac {partial B}{partial q}}

で定められる量をポアソンの括弧式という。ポアソンの括弧式は次のような関係式を満たしている。



  • {A,A}=0{displaystyle {A,A}=0}{A,A}=0

  • {A,B}=−{B,A}{displaystyle {A,B}=-{B,A}}{A,B}=-{B,A}


  • {aA+bB,C}=a{A,C}+b{B,C}{displaystyle {aA+bB,C}=a{A,C}+b{B,C}}{aA+bB,C}=a{A,C}+b{B,C} （a{displaystyle a}a、b{displaystyle b}b は定数）

  • {AB,C}=A{B,C}+{A,C}B{displaystyle {AB,C}=A{B,C}+{A,C}B}{AB,C}=A{B,C}+{A,C}B


  • {A,{B,C}}+{B,{C,A}}+{C,{A,B}}=0{displaystyle {A,{B,C}}+{B,{C,A}}+{C,{A,B}}=0}{A,{B,C}}+{B,{C,A}}+{C,{A,B}}=0 （ヤコビの恒等式）

  • {q,p}=1{displaystyle {q,p}=1}{q,p}=1


交換関係と同様の関係式を満たしており、量子力学での交換関係は古典力学のポアソンの括弧式に相当する。（正準量子化の項も参照）



関連項目



  • 交換子

  • リー代数




-

Popular posts from this blog

サソリ

Image
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。 （ 2019年1月 ） 「 サソリ 」のその他の用法については「サソリ (曖昧さ回避)」をご覧ください。 「 スコーピオン 」と「 スコルピオン 」はこの項目へ転送されています。その他の用法については「スコーピオン」をご覧ください。 サソリ目 生息年代: 430–0 Ma PreЄ Є O S D C P T J K Pg N シルル紀前期-現世 ダイオウサソリ（ Pandinus Imperator ） 分類 界 : 動物界 Animalia 門 : 節足動物門 Arthropoda 亜門 : 鋏角亜門 Chelicerata 綱 : クモガタ綱 Arachnida 目 : サソリ目 Scorpiones 学名 Scorpiones C. L. Koch, 1837 英名 Scorpion 上科 Pseudochactoidea キョクトウサソリ上科 Buthoidea Chaeriloidea Chactoidea Iuroidea Scorpionoidea サソリ （ サソリ類 、 蠍 、 蝎 、 scorpion ）は、鋏角亜門・クモガタ綱の サソリ目 （ Scorpiones ）に属する節足動物の総称である。体の前端に鋏型の触肢、後端に毒針を有する捕食者である。 1700種以上を含め、最古の化石記録は4億3千万年前のシルル紀まで遡る。有毒生物として広く知られるが、人間の命にかかわる毒を持つものはごく一部の種類に過ぎない。 目次 1 形態 1.1 前体 1.2 後体 1.2.1 中体 1.2.2 終体 2 雌雄 3 生態 3.1 天敵 3.2 生殖 4 分布 5 毒 6 蛍光現象 7 分類
Read more

広島県道265号伴広島線

Image
一般県道 広島県道265号伴広島線 路線延長 km 起点 広島県広島市安佐南区伴東7丁目 終点 広島県広島市中区榎町 接続する 主な道路 （記法） 広島県道38号広島豊平線 広島県道71号広島湯来線 山陽自動車道五日市IC 国道183号（ 国道261号重複） ■テンプレート（■ノート ■使い方） ■PJ道路 広島県道265号伴広島線 （ひろしまけんどう265ごう ともひろしません）は広島県広島市安佐南区から広島県広島市中区を結ぶ一般県道である。 目次 1 路線データ 2 通過する自治体 3 見どころ 4 接続道路 4.1 本線 4.2 旧道 5 別名 6 関連項目 路線データ 本線 起点：広島市安佐南区伴東7丁目・大原下橋南詰交差点（広島県道38号広島豊平線（本線・旧道）交点） 終点：広島市中区榎町・十日市交差点（国道183号（国道261号重用）交点） 総延長： 旧道 起点：広島市安佐南区伴東4丁目・新細坂交差点（広島県道38号広島豊平線交点） 終点：広島市安佐南区伴中央4丁目・寺組橋(南)交差点（広島県道265号伴広島線（本線）交点） 総延長： 通過する自治体 広島県 広島市（安佐南区、佐伯区、西区、中区） 見どころ 広島高速交通広島新交通1号線（アストラムライン） 広島広域公園 広島広域公園陸上競技場（広島ビッグアーチ） 己斐峠 己斐橋（太田川放水路） 天満橋（天満川） 接続道路 本線 広島県道38号広島豊平線（本線・旧道）（広島市安佐南区伴東7丁目・大原下橋南詰交差点〔起点〕） 広島県道71号広島湯来線（本線）（広島市安佐南区伴中央2丁目・伴交番入口交差点 - 広島市安佐南区伴中央4丁目・寺組橋(南)交差点間で重用） 広島県道71号広島湯来線（旧道）（広島県道265号伴広島線（旧道）重用）（広島市安佐南区伴中央4丁目・寺組橋(南)交差点） 広島県道71号広島湯来線（広島市安佐南区伴中央4丁目・寺組橋(南)交差点 - 広島市佐伯区五日市町石内・五月が丘(南)交差点間で重用）
Read more

Setup Asymptote in Texstudio

Image
0 Good time of the day! I am trying to compile the following file: documentclass[12pt]{article} usepackage[inline]{asymptote} begin{document} Here is a venn diagram produced with Asymptote, drawn to width 4cm: defA{A} defB{V{B}} begin{figure} begin{center} begin{asy} size(4cm,0); pen colour1=red; pen colour2=green; pair z0=(0,0); pair z1=(-1,0); pair z2=(1,0); real r=1.5; path c1=circle(z1,r); path c2=circle(z2,r); fill(c1,colour1); fill(c2,colour2); picture intersection=new picture; fill(intersection,c1,colour1+colour2); clip(intersection,c2); add(intersection); draw(c1); draw(c2); //draw("$A$",box,z1)
Read more