tecktom.com

方程式が線形になるとき:共通例題③と①

2026年10月17日11分で読めますAI生成教科書『虎の巻』第2部 第3章 Heisenberg の運動方程式と古典の正準方程式の対応
目次
  1. 2次の Hamiltonian と線形の運動方程式
  2. 共通例題③:自由粒子の波束の広がり
  3. 共通例題①:調和振動子の行列要素の時間変化
  4. 木下の層

AI 生成・木下が未勉強

量子力学の様々な構成方法 第2部 第3章 §2.3.3 ★★★ 2次の Hamiltonian では古典の解がそのまま演算子の厳密解になる。共通例題③の波束の広がりと①の行列要素の時間変化をこの形で出す

2次の Hamiltonian と線形の運動方程式

正準変数を1列に並べて ξ^=(q^1,…,q^f,p^1,…,p^f)T\hat\xi=(\hat q_1,\dots,\hat q_f,\hat p_1,\dots,\hat p_f)^{\mathsf T} と書くと、正準交換関係は[ξ^a, ξ^b]=iℏ Jab\left[\hat\xi_a,\,\hat\xi_b\right]=\mathrm{i}\hbar\,\mathsf J_{ab}、J=(01−10)\mathsf J=\begin{pmatrix}0&1\\-1&0\end{pmatrix}(各成分は f×ff\times f のブロック)とまとまる。Hamiltonian が H^=12∑c,dξ^cScdξ^d\hat H=\tfrac12\sum_{c,d}\hat\xi_c\mathsf S_{cd}\hat\xi_d(S\mathsf S は実対称行列)の2次形式なら、

[ξ^a, H^]=12∑c,dScd(iℏJacξ^d+ξ^c iℏJad)=iℏ (JSξ^)a\left[\hat\xi_a,\,\hat H\right]=\frac12\sum_{c,d}\mathsf S_{cd}\bigl(\mathrm{i}\hbar\mathsf J_{ac}\hat\xi_d+\hat\xi_c\,\mathrm{i}\hbar\mathsf J_{ad}\bigr)=\mathrm{i}\hbar\,(\mathsf J\mathsf S\hat\xi)_a

となる(S\mathsf S の対称性で2つの項がそろう)。したがって (E2) は

dξ^dt=JS ξ^,ξ^(t)=M(t) ξ^(0),M(t)=eJSt(2.3.7)\frac{\mathrm{d} \hat\xi}{\mathrm{d} t}=\mathsf J\mathsf S\,\hat\xi,\qquad \hat\xi(t)=\mathsf M(t)\,\hat\xi(0),\quad \mathsf M(t)=\mathrm{e}^{\mathsf J\mathsf St}\tag{2.3.7}

になる。古典の Hamilton 方程式は ξ˙=JSξ\dot\xi=\mathsf J\mathsf S\xi で、係数行列はまったく同じである。M(t)\mathsf M(t) はMTJM=J\mathsf M^{\mathsf T}\mathsf J\mathsf M=\mathsf J を満たすシンプレクティック行列で、古典ではこれが正準変換の条件、量子ではこれが交換関係[ξ^a(t), ξ^b(t)]=iℏJab\left[\hat\xi_a(t),\,\hat\xi_b(t)\right]=\mathrm{i}\hbar\mathsf J_{ab} の保存の条件である。1次の項(一様な力)を足しても、方程式に定数項が加わるだけで同じことが言える。

2次の Hamiltonian では古典の解が厳密解

H^\hat H が正準変数の2次以下なら、Heisenberg 方程式の解は「古典の解 ξ(t)=M(t)ξ(0)\xi(t)=\mathsf M(t)\xi(0) の初期値を演算子に置き換えたもの」である。したがって期待値 ⟨ξ^(t)⟩\langle \hat\xi(t) \rangle と2次のモーメント(分散と相関)は、同じ初期の平均と分散を持つ古典の集団とまったく同じ式で動く。量子らしさは初期状態の側(不確定性関係 ΔqΔp≥ℏ/2\Delta q\Delta p\geq\hbar/2)にだけ入る。

共通例題③:自由粒子の波束の広がり

自由粒子 H^=p^2/(2m)\hat H=\hat p^2/(2m) では、方程式は x^˙=p^/m\dot{\hat x}=\hat p/m、p^˙=0\dot{\hat p}=0 で、解は

x^(t)=x^+p^mt,p^(t)=p^(2.3.8)\hat x(t)=\hat x+\frac{\hat p}{m}t,\qquad \hat p(t)=\hat p\tag{2.3.8}

である(右辺の x^\hat x、p^\hat p は時刻0の演算子)。任意の状態での位置の分散 σ(t)2=⟨x^(t)2⟩−⟨x^(t)⟩2\sigma(t)^2=\langle \hat x(t)^2 \rangle -\langle \hat x(t) \rangle ^2 は

σ(t)2=σ02+2Cmt+(Δp)2m2t2,C=12⟨x^p^+p^x^⟩−⟨x^⟩⟨p^⟩(2.3.9)\sigma(t)^2=\sigma_0^2+\frac{2C}{m}t+\frac{(\Delta p)^2}{m^2}t^2,\qquad C=\tfrac12\langle \hat x\hat p+\hat p\hat x \rangle -\langle \hat x \rangle \langle \hat p \rangle\tag{2.3.9}

となる。x^p^\hat x\hat p と p^x^\hat p\hat x が等しくないので、相関 CC は対称化して定める必要がある。初めの位置と運動量の相関が無く(C=0C=0)、不確定性関係を等号で満たす Gauss 波束(Δp=ℏ/(2σ0)\Delta p=\hbar/(2\sigma_0))では

σ(t)2=σ02+(ℏt2mσ0)2(2.3.10)\sigma(t)^2=\sigma_0^2+\Bigl(\frac{\hbar t}{2m\sigma_0}\Bigr)^2\tag{2.3.10}

で、巻の共通例題③の正答と同じ形になる。導き方は Schrödinger 方程式を解かずに、式 (2.3.8) の2乗の期待値を取っただけである。位置の幅 σ0=1 nm\sigma_0=1\,\mathrm{nm} の電子の波束は、ℏt/(2mσ0)=3 σ0\hbar t/(2m\sigma_0)=\sqrt3\,\sigma_0 となる t=23 mσ02/ℏ=2.99×10−14 st=2\sqrt3\,m\sigma_0^2/\hbar=2.99\times10^{-14}\,\mathrm s で幅が2倍になる。式 (2.3.9) は、同じ平均と分散を持つ古典の粒子の集団が自由に飛ぶときの位置の分散と同じ式である。波束の広がりは、量子力学に特有の現象ではなく、初めの運動量にばらつきがあることの帰結である。

図

図 2.3.1 自由粒子の Gauss 波束の位置の幅。どちらも式 (2.3.9) の厳密な値(点線)。青は相関の無い波束で共通例題③の式 (2.3.10)、赤は例題 2.3.3 の負の相関を持つ波束で、t=0.8 mσ02/ℏt=0.8\,m\sigma_0^2/\hbar で幅が σ0/5\sigma_0/\sqrt5 まで縮んでから広がる。

共通例題①:調和振動子の行列要素の時間変化

調和振動子 H^=p^2/(2m)+mω2q^2/2\hat H=\hat p^2/(2m)+m\omega^2\hat q^2/2 では q^˙=p^/m\dot{\hat q}=\hat p/m、p^˙=−mω2q^\dot{\hat p}=-m\omega^2\hat q で、解は古典と同じく

q^(t)=q^cos⁡ωt+p^mωsin⁡ωt,p^(t)=p^cos⁡ωt−mωq^sin⁡ωt(2.3.11)\hat q(t)=\hat q\cos\omega t+\frac{\hat p}{m\omega}\sin\omega t,\qquad \hat p(t)=\hat p\cos\omega t-m\omega\hat q\sin\omega t\tag{2.3.11}

である。Lie 級数 (2.3.5) で [q^, H^]=iℏp^/m\left[\hat q,\,\hat H\right]=\mathrm{i}\hbar\hat p/m、[p^, H^]=−iℏmω2q^\left[\hat p,\,\hat H\right]=-\mathrm{i}\hbar m\omega^2\hat q を繰り返し使っても、cos⁡ωt\cos\omega t と sin⁡ωt\sin\omega t の Taylor 級数がそのまま現れる。a^=(mωq^+ip^)/2mℏω\hat a=(m\omega\hat q+\mathrm{i}\hat p)/\sqrt{2m\hbar\omega} にまとめるとa^(t)=a^ e−iωt\hat a(t)=\hat a\,\mathrm{e}^{-\mathrm{i}\omega t}、a^†(t)=a^†eiωt\hat a^\dagger(t)=\hat a^\dagger\mathrm{e}^{\mathrm{i}\omega t} である。

スペクトル En=ℏω(n+12)E_n=\hbar\omega(n+\tfrac12) と数の基底 ∣n⟩| n \rangle(第2部第4章で代数だけから出す)を使うと、q^=ℏ/(2mω)(a^+a^†)\hat q=\sqrt{\hbar/(2m\omega)}(\hat a+\hat a^\dagger) の行列要素は

qn+1,n(t)=(n+1)ℏ2mω  eiωt,qn−1,n(t)=nℏ2mω  e−iωt(2.3.12)q_{n+1,n}(t)=\sqrt{\frac{(n+1)\hbar}{2m\omega}}\;\mathrm{e}^{\mathrm{i}\omega t},\qquad q_{n-1,n}(t)=\sqrt{\frac{n\hbar}{2m\omega}}\;\mathrm{e}^{-\mathrm{i}\omega t}\tag{2.3.12}

で、ほかは0である。ωn+1,n=(En+1−En)/ℏ=ω\omega_{n+1,n}=(E_{n+1}-E_n)/\hbar=\omega だから、これは式 (2.3.6) の eiωnmt\mathrm{e}^{\mathrm{i}\omega_{nm}t} と一致し、第2部第1章の振幅 ∣xn+1,n∣2=(n+1)ℏ/(2mω)\lvert x_{n+1,n}\rvert ^2=(n+1)\hbar/(2m\omega) とも一致する。調和振動子では Bohr の振動数がすべて古典の ω\omega に等しいので、期待値 ⟨q^(t)⟩\langle \hat q(t) \rangle は状態によらず古典と同じ角振動数 ω\omega で振動し、形も崩れない。2.3.5 節では、この性質が非線形の系で失われることを見る。

例題 2.3.3 いったん縮む波束 ★★

オリジナル自由粒子の初期状態を、位置の向きに位相の傾きを持つ Gauss 波束

ψ0(x)=(2πσ02)−1/4exp⁡(−x24σ02−ikx2)(k>0)\psi_0(x)=(2\pi\sigma_0^2)^{-1/4}\exp\Bigl(-\frac{x^2}{4\sigma_0^2}-\mathrm{i} kx^2\Bigr)\qquad(k>0)

とする。

  1. (1) ⟨x^⟩=⟨p^⟩=0\langle \hat x \rangle =\langle \hat p \rangle =0、⟨x^2⟩=σ02\langle \hat x^2 \rangle =\sigma_0^2、(Δp)2=(ℏ/2σ0)2+(2ℏkσ0)2(\Delta p)^2=(\hbar/2\sigma_0)^2+(2\hbar k\sigma_0)^2、C=−2ℏkσ02C=-2\hbar k\sigma_0^2 を示せ。
  2. (2) 式 (2.3.9) から、幅が最小になる時刻 t∗t_* と最小の幅 σmin⁡\sigma_{\min} を求め、σmin⁡Δp=ℏ/2\sigma_{\min}\Delta p=\hbar/2 を確かめよ。
  3. (3) 2kσ02=12k\sigma_0^2=1 のとき t∗t_* と σmin⁡/σ0\sigma_{\min}/\sigma_0 を数で求めよ。
解答

(1) ∣ψ0∣2\lvert \psi_0\rvert ^2 は分散 σ02\sigma_0^2 の正規分布なので ⟨x^⟩=0\langle \hat x \rangle =0、⟨x^2⟩=σ02\langle \hat x^2 \rangle =\sigma_0^2。p^ψ0=−iℏψ0′=iℏ(x2σ02+2ikx)ψ0\hat p\psi_0=-\mathrm{i}\hbar\psi_0'=\mathrm{i}\hbar\bigl(\tfrac{x}{2\sigma_0^2}+2\mathrm{i} kx\bigr)\psi_0 だから、p^ψ0=ℏ(i2σ02−2k)xψ0\hat p\psi_0=\hbar\bigl(\tfrac{\mathrm{i}}{2\sigma_0^2}-2k\bigr)x\psi_0 である。⟨p^⟩\langle \hat p \rangle は xx について奇関数の積分で0。⟨p^2⟩=∥p^ψ0∥2=ℏ2(14σ04+4k2)σ02\langle \hat p^2 \rangle =\lVert \hat p\psi_0\rVert ^2=\hbar^2\bigl(\tfrac{1}{4\sigma_0^4}+4k^2\bigr)\sigma_0^2 から(Δp)2=(ℏ/2σ0)2+(2ℏkσ0)2(\Delta p)^2=(\hbar/2\sigma_0)^2+(2\hbar k\sigma_0)^2。⟨x^p^⟩=ℏ(i2σ02−2k)σ02=iℏ2−2ℏkσ02\langle \hat x\hat p \rangle =\hbar(\tfrac{\mathrm{i}}{2\sigma_0^2}-2k)\sigma_0^2=\tfrac{\mathrm{i}\hbar}{2}-2\hbar k\sigma_0^2 で、⟨p^x^⟩=⟨x^p^⟩∗\langle \hat p\hat x \rangle =\langle \hat x\hat p \rangle ^* だから C=Re⁡⟨x^p^⟩=−2ℏkσ02C=\operatorname{Re}\langle \hat x\hat p \rangle =-2\hbar k\sigma_0^2。

(2) σ(t)2\sigma(t)^2 は tt の2次式で、ddtσ2=2C/m+2(Δp)2t/m2=0\frac{\mathrm{d} }{\mathrm{d} t}\sigma^2=2C/m+2(\Delta p)^2t/m^2=0 から t∗=−mC/(Δp)2=2mℏkσ02/(Δp)2>0t_*=-mC/(\Delta p)^2=2m\hbar k\sigma_0^2/(\Delta p)^2>0。代入すると σmin⁡2=σ02−C2/(Δp)2=(σ02(Δp)2−C2)/(Δp)2\sigma_{\min}^2=\sigma_0^2-C^2/(\Delta p)^2=\bigl(\sigma_0^2(\Delta p)^2-C^2\bigr)/(\Delta p)^2 で、σ02(Δp)2−C2=σ02(ℏ/2σ0)2=ℏ2/4\sigma_0^2(\Delta p)^2-C^2=\sigma_0^2(\hbar/2\sigma_0)^2=\hbar^2/4 だから σmin⁡Δp=ℏ/2\sigma_{\min}\Delta p=\hbar/2。Δp\Delta p は時間によらないので、最も縮んだ時刻の波束は相関の無い最小不確定の Gauss 波束になっている。

(3) ℏ=m=σ0=1\hbar=m=\sigma_0=1 の単位で k=1/2k=1/2 とすると (Δp)2=14+1=54(\Delta p)^2=\tfrac14+1=\tfrac54、C=−1C=-1。t∗=1/(5/4)=0.8t_*=1/(5/4)=0.8、σmin⁡2=14/54=15\sigma_{\min}^2=\tfrac14/\tfrac54=\tfrac15。すなわち t∗=0.8 mσ02/ℏt_*=0.8\,m\sigma_0^2/\hbar、σmin⁡=σ0/5≈0.447 σ0\sigma_{\min}=\sigma_0/\sqrt5\approx0.447\,\sigma_0(図 2.3.1 の赤)。古典の集団でも、後ろの粒子ほど速い(位置と速度が負に相関する)集団は、いったん集まってから散らばる。式は同じである。

木下の勉強ステータス

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

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

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