tecktom.com

時間発展が保つもの:交換関係・エネルギー・保存量

2026年10月17日12分で読めますAI生成教科書『虎の巻』第2部 第3章 Heisenberg の運動方程式と古典の正準方程式の対応
目次
  1. 交換関係の保存
  2. エネルギーの保存と Bohr の振動数条件
  3. 保存量と対称性
  4. 木下の層

AI 生成・木下が未勉強

量子力学の様々な構成方法 第2部 第3章 §2.3.2 ★★★ 時間発展が交換関係を保つ写像(正準変換の量子版)であること、保存量と対称性の対応、Bohr の振動数条件を (E2) だけから導く

交換関係の保存

(E2) に従う2つの物理量の交換子を時間で微分すると、Leibniz 則と Jacobi 恒等式[A^, [B^, C^]]+[B^, [C^, A^]]+[C^, [A^, B^]]=0\left[\hat A,\,\left[\hat B,\,\hat C\right]\right]+\left[\hat B,\,\left[\hat C,\,\hat A\right]\right]+\left[\hat C,\,\left[\hat A,\,\hat B\right]\right]=0 から

ddt[A^, B^]=1iℏ([[A^, H^], B^]+[A^, [B^, H^]])=1iℏ[[A^, B^], H^](2.3.4)\frac{\mathrm{d} }{\mathrm{d} t}\left[\hat A,\,\hat B\right]=\frac{1}{\mathrm{i}\hbar}\Bigl(\left[\left[\hat A,\,\hat H\right],\,\hat B\right]+\left[\hat A,\,\left[\hat B,\,\hat H\right]\right]\Bigr)=\frac{1}{\mathrm{i}\hbar}\left[\left[\hat A,\,\hat B\right],\,\hat H\right]\tag{2.3.4}

となる。つまり交換子 [A^, B^]\left[\hat A,\,\hat B\right] もまた (E2) に従う。A^=q^i\hat A=\hat q_i、B^=p^j\hat B=\hat p_j とおくと右辺は [iℏδij, H^]=0\left[\mathrm{i}\hbar\delta_{ij},\,\hat H\right]=0 なので、同時刻の交換関係 [q^i(t), p^j(t)]=iℏδij\left[\hat q_i(t),\,\hat p_j(t)\right]=\mathrm{i}\hbar\delta_{ij} はすべての時刻で保たれる。

古典でも同じ計算で、Poisson 括弧の Jacobi 恒等式から ddt{A,B}={{A,B},H}\frac{\mathrm{d} }{\mathrm{d} t}\{A,B\}=\{\{A,B\},H\} が出て、{qi(t),pj(t)}=δij\{q_i(t),p_j(t)\}=\delta_{ij} が保たれる。これは時間発展の流れが正準変換であることの言い換えである(解析力学から様々な理論分野を組み立てる 第1部第12章)。量子の時間発展 A^↦A^(t)\hat A\mapsto\hat A(t) は、和と積と交換子を保つ代数の写像(自己同型)で、正準変換の量子版になっている。

H^\hat H が時刻によらないとき、(E2) を形式的に解くと Lie 級数

A^(t)=∑n=0∞1n!(tiℏ)n[⋯[[A^, H^], H^]⋯ , H^]⏟n 個(2.3.5)\hat A(t)=\sum_{n=0}^\infty\frac{1}{n!}\Bigl(\frac{t}{\mathrm{i}\hbar}\Bigr)^n\underbrace{\left[\cdots\left[\left[\hat A,\,\hat H\right],\,\hat H\right]\cdots,\,\hat H\right]}_{n\text{ 個}}\tag{2.3.5}

が得られる。古典の A(t)=∑ntnn!{⋯{A,H}⋯ ,H}A(t)=\sum_n\frac{t^n}{n!}\{\cdots\{A,H\}\cdots,H\}(解析力学から様々な理論分野を組み立てる 第1部第11章)と同じ形である。級数を足し上げたものは eiH^t/ℏA^e−iH^t/ℏ\mathrm{e}^{\mathrm{i}\hat Ht/\hbar}\hat A\mathrm{e}^{-\mathrm{i}\hat Ht/\hbar} と書けるが、この指数関数がユニタリ演算子として意味を持つには H^\hat H の自己共役性が要る。その議論と、時間発展がユニタリ演算子で実現されることの証明は 第2部第6章で行う。

エネルギーの保存と Bohr の振動数条件

A^=H^\hat A=\hat H とおくと [H^, H^]=0\left[\hat H,\,\hat H\right]=0 なので dH^dt=0\frac{\mathrm{d} \hat H}{\mathrm{d} t}=0 である。エネルギーの保存は (E2) の形では1行で済む。Born と Jordan は (E1) の形から出発したので、上の定理 2.3.4 に当たる議論を経て、エネルギーの表が時間によらないこととBohr の振動数条件を導いた(同論文)。

振動数条件は次のように出る。H^\hat H の固有状態の基底 {∣n⟩}\{| n \rangle \}(H^∣n⟩=En∣n⟩\hat H| n \rangle =E_n| n \rangle)を取り、物理量の行列要素 Anm(t)=⟨n∣A^(t)∣m⟩A_{nm}(t)=\langle n | \hat A(t) | m \rangle に(E2) を当てると

dAnmdt=1iℏ(AnmEm−EnAnm)=iωnmAnm,Anm(t)=Anm(0) eiωnmt,ωnm=En−Emℏ(2.3.6)\frac{\mathrm{d} A_{nm}}{\mathrm{d} t}=\frac{1}{\mathrm{i}\hbar}\bigl(A_{nm}E_m-E_nA_{nm}\bigr)=\mathrm{i}\omega_{nm}A_{nm},\qquad A_{nm}(t)=A_{nm}(0)\,\mathrm{e}^{\mathrm{i}\omega_{nm}t},\quad \omega_{nm}=\frac{E_n-E_m}{\hbar}\tag{2.3.6}

となる。これは 第2部第1章で Heisenberg が要請として置いた遷移の表の時間依存 xnm(t)=xnmeiωnmtx_{nm}(t)=x_{nm}\mathrm{e}^{\mathrm{i}\omega_{nm}t} そのものである。第1章では、表の各要素が Bohr の振動数で振動することを観測から要請した。この章の (E2) の側から見ると、それは H^\hat H を対角にする基底で運動方程式を書いた結果になる。

保存量と対称性

時刻を陽に含まない物理量 G^\hat G が保存する条件は、(E2) から [G^, H^]=0\left[\hat G,\,\hat H\right]=0 である。古典の {G,H}=0\{G,H\}=0 と同じく、この条件は「G^\hat G で生成される変換で H^\hat H が変わらない」とも読める。実際、G^\hat G の生成する無限小変換 δA^=ϵ[A^, G^]/(iℏ)\delta\hat A=\epsilon\left[\hat A,\,\hat G\right]/(\mathrm{i}\hbar)(解析力学から様々な理論分野を組み立てる 第1部第9章)を H^\hat H に当てると δH^=ϵ[H^, G^]/(iℏ)=−ϵ dG^dt\delta\hat H=\epsilon\left[\hat H,\,\hat G\right]/(\mathrm{i}\hbar)=-\epsilon\,\frac{\mathrm{d} \hat G}{\mathrm{d} t} となるので、G^\hat G の保存と、G^\hat G による変換で H^\hat H が不変であることは同値である。これが量子の Noether の定理の行列力学での形である。さらに、G^1\hat G_1、G^2\hat G_2 が保存すれば、式 (2.3.4) から [G^1, G^2]/(iℏ)\left[\hat G_1,\,\hat G_2\right]/(\mathrm{i}\hbar) も保存する。古典の Poisson の定理(保存量の Poisson 括弧は保存量)の量子版である。

量子に特有なのは、保存量が互いに交換しないときに準位が縮退するという帰結である。

命題 2.3.5(交換しない保存量は縮退を強いる)

H^\hat H のスペクトルが離散的で、保存量 G^1\hat G_1、G^2\hat G_2 が [G^1, G^2]≠0\left[\hat G_1,\,\hat G_2\right]\neq0 を満たすなら、H^\hat H には縮退した準位がある。

証明

すべての準位が縮退していないと仮定する。G^1\hat G_1 は保存するので、式 (2.3.6) の (G1)nm(t)=(G1)nmeiωnmt(G_1)_{nm}(t)=(G_1)_{nm}\mathrm{e}^{\mathrm{i}\omega_{nm}t} が時間によらない。縮退が無ければ n≠mn\neq m で ωnm≠0\omega_{nm}\neq0 だから (G1)nm=0(G_1)_{nm}=0、すなわち G^1\hat G_1 はエネルギーの基底で対角である。G^2\hat G_2 も同じく対角で、対角行列どうしは交換するので [G^1, G^2]=0\left[\hat G_1,\,\hat G_2\right]=0 となり、仮定に反する。

古典では、互いの Poisson 括弧が0でない保存量が多くあると、軌道が閉じる(Kepler 問題や等方調和振動子)。量子では同じ状況が準位の縮退として現れる。次の例題で、2次元の等方調和振動子の縮退度 N+1N+1(前の章の総合問題で極座標から数えたもの)がこの命題の具体例であることを見る。

例題 2.3.2 等方調和振動子の保存量と縮退 ★★★

オリジナル平面の等方調和振動子 H^=p^x2+p^y22m+mω22(x^2+y^2)\hat H=\frac{\hat p_x^2+\hat p_y^2}{2m}+\frac{m\omega^2}{2}(\hat x^2+\hat y^2) に、次の3つの物理量を考える。

L^=x^p^y−y^p^x,K^=p^x2−p^y22m+mω22(x^2−y^2),M^=p^xp^ym+mω2x^y^.\hat L=\hat x\hat p_y-\hat y\hat p_x,\qquad \hat K=\frac{\hat p_x^2-\hat p_y^2}{2m}+\frac{m\omega^2}{2}(\hat x^2-\hat y^2),\qquad \hat M=\frac{\hat p_x\hat p_y}{m}+m\omega^2\hat x\hat y .

  1. (1) 消滅演算子 a^x=(mωx^+ip^x)/2mℏω\hat a_x=(m\omega\hat x+\mathrm{i}\hat p_x)/\sqrt{2m\hbar\omega}(a^y\hat a_y も同様。[a^x, a^x†]=1\left[\hat a_x,\,\hat a_x^\dagger\right]=1)で3つを書き直し、どれも H^\hat H と交換することを示せ。
  2. (2) J^1=M^/(2ℏω)\hat J_1=\hat M/(2\hbar\omega)、J^2=L^/(2ℏ)\hat J_2=\hat L/(2\hbar)、J^3=K^/(2ℏω)\hat J_3=\hat K/(2\hbar\omega) が角運動量と同じ交換関係 [J^1, J^2]=iJ^3\left[\hat J_1,\,\hat J_2\right]=\mathrm{i}\hat J_3(と巡回)を満たすことを示せ。
  3. (3) N^=a^x†a^x+a^y†a^y\hat N=\hat a_x^\dagger\hat a_x+\hat a_y^\dagger\hat a_y として J^12+J^22+J^32=N^2(N^2+1)\hat J_1^2+\hat J_2^2+\hat J_3^2=\frac{\hat N}{2}\bigl(\frac{\hat N}{2}+1\bigr) を使い、E=ℏω(N+1)E=\hbar\omega(N+1) の準位の縮退度が N+1N+1 であることを説明せよ。
解答

(1) x^=ℏ/(2mω)(a^x+a^x†)\hat x=\sqrt{\hbar/(2m\omega)}(\hat a_x+\hat a_x^\dagger)、p^x=imℏω/2(a^x†−a^x)\hat p_x=\mathrm{i}\sqrt{m\hbar\omega/2}(\hat a_x^\dagger-\hat a_x) を入れる。xx と yy の演算子は交換するので、積の順序に注意が要るのは同じ方向どうしだけである。計算すると

H^=ℏω(N^+1),K^=ℏω(a^x†a^x−a^y†a^y),M^=ℏω(a^x†a^y+a^y†a^x),L^=−iℏ(a^x†a^y−a^y†a^x)\hat H=\hbar\omega(\hat N+1),\quad \hat K=\hbar\omega(\hat a_x^\dagger\hat a_x-\hat a_y^\dagger\hat a_y),\quad \hat M=\hbar\omega(\hat a_x^\dagger\hat a_y+\hat a_y^\dagger\hat a_x),\quad \hat L=-\mathrm{i}\hbar(\hat a_x^\dagger\hat a_y-\hat a_y^\dagger\hat a_x)

となる(たとえば M^\hat M では、(mωx^−ip^x)(mωy^+ip^y)+(mωy^−ip^y)(mωx^+ip^x)(m\omega\hat x-\mathrm{i}\hat p_x)(m\omega\hat y+\mathrm{i}\hat p_y)+(m\omega\hat y-\mathrm{i}\hat p_y)(m\omega\hat x+\mathrm{i}\hat p_x) の虚部がx^p^y\hat x\hat p_y と p^yx^\hat p_y\hat x の差になって消え、実部 2m2ω2x^y^+2p^xp^y2m^2\omega^2\hat x\hat y+2\hat p_x\hat p_y が残る)。a^x†a^y\hat a_x^\dagger\hat a_y は yy の量子を1つ xx へ移すだけで量子の総数 N^\hat N を変えないので、[a^x†a^y, N^]=0\left[\hat a_x^\dagger\hat a_y,\,\hat N\right]=0 である([a^x†a^y, a^x†a^x]=−a^x†a^y\left[\hat a_x^\dagger\hat a_y,\,\hat a_x^\dagger\hat a_x\right]=-\hat a_x^\dagger\hat a_y、[a^x†a^y, a^y†a^y]=a^x†a^y\left[\hat a_x^\dagger\hat a_y,\,\hat a_y^\dagger\hat a_y\right]=\hat a_x^\dagger\hat a_y の和)。したがって3つとも H^\hat H と交換し、保存する。

(2) [a^x†a^y, a^y†a^x]=a^x†a^x−a^y†a^y\left[\hat a_x^\dagger\hat a_y,\,\hat a_y^\dagger\hat a_x\right]=\hat a_x^\dagger\hat a_x-\hat a_y^\dagger\hat a_y を使うと、J^1=12(a^x†a^y+a^y†a^x)\hat J_1=\frac12(\hat a_x^\dagger\hat a_y+\hat a_y^\dagger\hat a_x)、J^2=12i(a^x†a^y−a^y†a^x)\hat J_2=\frac{1}{2\mathrm{i}}(\hat a_x^\dagger\hat a_y-\hat a_y^\dagger\hat a_x)、J^3=12(a^x†a^x−a^y†a^y)\hat J_3=\frac12(\hat a_x^\dagger\hat a_x-\hat a_y^\dagger\hat a_y) についてA^=a^x†a^y\hat A=\hat a_x^\dagger\hat a_y と置いて [J^1, J^2]=14i[A^+A^†, A^−A^†]=−12i[A^, A^†]=i2⋅2J^3=iJ^3\left[\hat J_1,\,\hat J_2\right]=\frac{1}{4\mathrm{i}}\left[\hat A+\hat A^\dagger,\,\hat A-\hat A^\dagger\right]=-\frac{1}{2\mathrm{i}}\left[\hat A,\,\hat A^\dagger\right]=\frac{\mathrm{i}}{2}\cdot2\hat J_3=\mathrm{i}\hat J_3 が出る。残りの2つも同様で、元の量で書けば [K^, M^]=2iℏω2L^\left[\hat K,\,\hat M\right]=2\mathrm{i}\hbar\omega^2\hat L、[M^, L^]=2iℏK^\left[\hat M,\,\hat L\right]=2\mathrm{i}\hbar\hat K、[L^, K^]=2iℏM^\left[\hat L,\,\hat K\right]=2\mathrm{i}\hbar\hat M である。3つは保存量なのに互いに交換しないので、命題 2.3.5 により縮退がある。

(3) J^k\hat J_k は N^\hat N と交換するので、NN を固定した固有空間(E=ℏω(N+1)E=\hbar\omega(N+1)、次元 N+1N+1)の中で角運動量の交換関係を満たす演算子として働く。その空間で J^2=N2(N2+1)\hat J^2=\frac N2(\frac N2+1) だから、角運動量の大きさは j=N/2j=N/2 で、その表現の次元は 2j+1=N+12j+1=N+1 である(角運動量の交換関係だけで表現の次元が 2j+12j+1 に決まることは 第2部第4章で示す)。縮退度 N+1N+1 は、前の章の総合問題で極座標の (nr,ℓ)(n_r,\ell) を数えた値、デカルト座標の (nx,ny)(n_x,n_y) を数えた値と一致する。古典では、同じ3つの保存量のためにすべての軌道が楕円として閉じる。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『虎の巻』の記事一覧へ