tecktom.com

出てくるもの:期待値は Hamilton 方程式に従う

2026年10月15日10分で読めますAI生成教科書『虎の巻』第4部 第2章 Schrödinger 方程式は H をどう使っているか
目次
  1. 期待値の運動方程式
  2. 古典の運動とのずれ
  3. 木下の層

AI 生成・木下が未勉強

解析力学から様々な理論分野を組み立てる 第4部 第2章 §4.2.4 ★★★ d⟨q^⟩dt=⟨p^⟩/m\frac{\mathrm{d} \langle \hat q \rangle }{\mathrm{d} t}=\langle \hat p \rangle /m、d⟨p^⟩dt=−⟨V′(q^)⟩\frac{\mathrm{d} \langle \hat p \rangle }{\mathrm{d} t}=-\langle V'(\hat q) \rangle。⟨V′(q^)⟩\langle V'(\hat q) \rangle と V′(⟨q^⟩)V'(\langle \hat q \rangle ) の差が古典からのずれになる

期待値の運動方程式

観測量 A^\hat A(時刻を陽に含まないもの)の期待値 ⟨A^⟩=⟨ψ∣A^∣ψ⟩\langle \hat A \rangle =\langle \psi | \hat A | \psi \rangle を時間で微分し、式 (4.2.4) とその共役を使うと

ddt⟨A^⟩=1iℏ⟨[A^, H^]⟩(4.2.15)\frac{\mathrm{d} }{\mathrm{d} t}\langle \hat A \rangle =\frac{1}{\mathrm{i}\hbar}\langle \left[\hat A,\,\hat H\right] \rangle\tag{4.2.15}

を得る。古典の dAdt={A,H}\frac{\mathrm{d} A}{\mathrm{d} t}=\{A,H\}(第1部第11章)で、Poisson 括弧を [⋅, ⋅]/(iℏ)\left[\cdot,\,\cdot\right]/(\mathrm{i}\hbar) に替え、両辺の期待値を取った形である。A^=q^\hat A=\hat q と A^=p^\hat A=\hat p について交換子を計算する。式 (4.2.2) から [q^, p^2]=p^[q^, p^]+[q^, p^]p^=2iℏp^\left[\hat q,\,\hat p^2\right]=\hat p\left[\hat q,\,\hat p\right]+\left[\hat q,\,\hat p\right]\hat p=2\mathrm{i}\hbar\hat p、位置表示で [p^, V(q^)]f=−iℏ((Vf)′−Vf′)=−iℏV′(q)f\left[\hat p,\,V(\hat q)\right]f=-\mathrm{i}\hbar\bigl((Vf)'-Vf'\bigr)=-\mathrm{i}\hbar V'(q)f なので

[q^, H^]=iℏmp^,[p^, H^]=−iℏ V′(q^)\left[\hat q,\,\hat H\right]=\frac{\mathrm{i}\hbar}{m}\hat p,\qquad \left[\hat p,\,\hat H\right]=-\mathrm{i}\hbar\,V'(\hat q)

となり、

ddt⟨q^⟩=⟨p^⟩m,ddt⟨p^⟩=−⟨V′(q^)⟩(4.2.16)\frac{\mathrm{d} }{\mathrm{d} t}\langle \hat q \rangle =\frac{\langle \hat p \rangle }{m},\qquad \frac{\mathrm{d} }{\mathrm{d} t}\langle \hat p \rangle =-\langle V'(\hat q) \rangle\tag{4.2.16}

となる。これは第4部第1章の式 (4.1.18) で出した Ehrenfest の定理で、式 (4.2.15) に A^=q^,p^\hat A=\hat q,\hat p を入れるだけで1行で出る。古典の Hamilton 方程式 q˙=∂H/∂p=p/m\dot q=\partial H/\partial p=p/m, p˙=−∂H/∂q=−V′(q)\dot p=-\partial H/\partial q=-V'(q) と、形がほとんど同じである。A^=H^\hat A=\hat H とおけば [H^, H^]=0\left[\hat H,\,\hat H\right]=0 なので ⟨H^⟩\langle \hat H \rangle は時間に依らない。古典の dHdt={H,H}=0\frac{\mathrm{d} H}{\mathrm{d} t}=\{H,H\}=0 の量子版である。

古典の運動とのずれ

式 (4.2.16) の2本目の右辺は ⟨V′(q^)⟩\langle V'(\hat q) \rangle で、V′(⟨q^⟩)V'(\langle \hat q \rangle ) ではない。両者が等しければ、⟨q^⟩\langle \hat q \rangle と ⟨p^⟩\langle \hat p \rangle は古典の Hamilton 方程式そのものに従う。平均 qˉ=⟨q^⟩\bar q=\langle \hat q \rangle のまわりで V′V' を Taylor 展開し、⟨q^−qˉ⟩=0\langle \hat q-\bar q \rangle =0 を使うと

⟨V′(q^)⟩=V′(qˉ)+12V′′′(qˉ) σ2+O(σ3),σ2=⟨(q^−qˉ)2⟩(4.2.17)\langle V'(\hat q) \rangle =V'(\bar q)+\frac12V'''(\bar q)\,\sigma^2+\mathcal{O}(\sigma^3),\qquad \sigma^2=\langle (\hat q-\bar q)^2 \rangle\tag{4.2.17}

となる。ずれは波束の幅の2乗とポテンシャルの3階微分の積で決まる。VV が qq の2次式以下(自由粒子・一様な力・調和振動子)なら V′′′=0V'''=0 で、式 (4.2.16) は qˉ\bar q について古典の運動方程式と厳密に同じになる。それ以外では、波束の幅 σ\sigma が、ポテンシャルの力が変わる長さ ∣V′/V′′′∣1/2\lvert V'/V'''\rvert ^{1/2} に比べて小さい間だけ、期待値は古典の軌道に近い。

図 4.2.2 は、4次のポテンシャル V=λq4/4V=\lambda q^4/4 の中で、静止した Gauss 波束を q=2q=2 から放したときの ⟨q^⟩(t)\langle \hat q \rangle (t) を、式 (4.2.6) を数値で解いて求めたものである。単位を m=λ=1m=\lambda=1 に取り、ℏ\hbar を無次元の数 ℏ~\tilde\hbar として変えた。初めの幅は σ02=ℏ~/2\sigma_0^2=\tilde\hbar/2 とした。ℏ~=0.02\tilde\hbar=0.02 では1周期の間は古典の軌道と 0.010.01 程度で重なるが、ℏ~=0.5\tilde\hbar=0.5 では1周目から遅れ、t≈7t\approx7 以降は振動がほぼ消える。4次のポテンシャルでは振幅が大きいほど周期が短く(古典の周期は E−1/4E^{-1/4} に比例)、波束の各部分が異なる周期で回るため、波束がエネルギーの方向に広がった分だけ位相がそろわなくなる。これは波束の広がりによる平均のずれで、ℏ~\tilde\hbar が小さいほど遅く起きるが、ℏ~=0.02\tilde\hbar=0.02 でも t=11t=11 では古典の振幅の6割まで減っている。

図

図 4.2.2 4次のポテンシャル V=q4/4V=q^4/4(m=1m=1)の中で、q=2q=2 に静止させた幅 σ0=ℏ~/2\sigma_0=\sqrt{\tilde\hbar/2} の Gauss 波束の ⟨q^⟩(t)\langle \hat q \rangle (t)。点線は Schrödinger 方程式の数値解(厳密)、実線は同じ初期値の古典の軌道(ℏ~→0\tilde\hbar\to0 の近似)。数値解では全確率と ⟨H^⟩\langle \hat H \rangle が保たれていることも確かめた。古典の集団の平均との比較は第4部第3章の図で行う

例題 4.2.5 振り子の波束に働く力は幅の分だけ縮む ★★

オリジナル振り子 H^=p^2/(2ml2)−mglcos⁡q^\hat H=\hat p^2/(2ml^2)-mgl\cos\hat q(qq は鉛直からの角度、p^\hat p はそれに共役な角運動量)の波束を考える。角度の確率密度が、平均 qˉ\bar q、分散 σ2\sigma^2 の Gauss 分布で、σ\sigma が π\pi に比べて十分小さく、角度の周期性を無視してよいとする。

  1. (1) ⟨sin⁡q^⟩=e−σ2/2sin⁡qˉ\langle \sin\hat q \rangle =\mathrm{e}^{-\sigma^2/2}\sin\bar q を示せ。
  2. (2) 式 (4.2.16) の2本目を書き、期待値に働く力が古典の力 −mglsin⁡qˉ-mgl\sin\bar q の e−σ2/2\mathrm{e}^{-\sigma^2/2} 倍になることを示せ。式 (4.2.17) の第2項までの近似と比べよ。
  3. (3) σ=0.3\sigma=0.3 のとき、力は古典の値より何 % 小さいか。式 (4.2.17) の第2項までで見積もった値と比べよ。
解答

(1) q=qˉ+uq=\bar q+u とおくと、uu は平均 00、分散 σ2\sigma^2 の Gauss 分布である。Gauss 分布の特性関数は ⟨eiu⟩=e−σ2/2\langle \mathrm{e}^{\mathrm{i} u} \rangle =\mathrm{e}^{-\sigma^2/2}(実数)なので、⟨cos⁡u⟩=e−σ2/2\langle \cos u \rangle =\mathrm{e}^{-\sigma^2/2}、⟨sin⁡u⟩=0\langle \sin u \rangle =0 である。加法定理から

⟨sin⁡q^⟩=sin⁡qˉ ⟨cos⁡u⟩+cos⁡qˉ ⟨sin⁡u⟩=e−σ2/2sin⁡qˉ.\langle \sin\hat q \rangle =\sin\bar q\,\langle \cos u \rangle +\cos\bar q\,\langle \sin u \rangle =\mathrm{e}^{-\sigma^2/2}\sin\bar q .

(2) V(q)=−mglcos⁡qV(q)=-mgl\cos q で V′(q)=mglsin⁡qV'(q)=mgl\sin q なので、式 (4.2.16) の2本目は

ddt⟨p^⟩=−mgl ⟨sin⁡q^⟩=−e−σ2/2 mglsin⁡qˉ\frac{\mathrm{d} }{\mathrm{d} t}\langle \hat p \rangle =-mgl\,\langle \sin\hat q \rangle =-\mathrm{e}^{-\sigma^2/2}\,mgl\sin\bar q

となり、期待値に働く力は古典の力 −mglsin⁡qˉ-mgl\sin\bar q の e−σ2/2\mathrm{e}^{-\sigma^2/2} 倍である。式 (4.2.17) では V′′′(q)=−mglsin⁡qV'''(q)=-mgl\sin q なので、第2項までで ⟨V′⟩≈mglsin⁡qˉ (1−σ2/2)\langle V' \rangle \approx mgl\sin\bar q\,(1-\sigma^2/2) となり、e−σ2/2\mathrm{e}^{-\sigma^2/2} の展開の初めの2項に一致する。4次のポテンシャルなら V′V' は3次式で、展開は第2項で終わる。cos⁡q\cos q はどの階数の微分も 00 にならないので、展開は σ4,σ6,…\sigma^4,\sigma^6,\ldots の項を持ち続け、それを足し上げたものが e−σ2/2\mathrm{e}^{-\sigma^2/2} である。波束が広がると、波束の各部分が感じる力の向きがそろわなくなり、平均の力が小さくなる。

(3) e−0.045=0.9560\mathrm{e}^{-0.045}=0.9560 なので、力は古典の値より 4.40%4.40\% 小さい。式 (4.2.17) の第2項までで見積もると σ2/2=4.50%\sigma^2/2=4.50\% で、σ4/8≈0.1%\sigma^4/8\approx0.1\% だけ大きく見積もる。

近似の裏付け

型 B(極限) | 小さいもの σ2∣V′′′/V′∣→0\sigma^2\lvert V'''/V'\rvert \to0(波束の幅が力の変わる長さに比べて小さい) | 証明 要確認(有限の時間を固定して ℏ→0\hbar\to0 とする古典極限の厳密な結果があるとされるが、前提を原論文で確かめていない。時間を長く取ると図 4.2.2 のようにずれる) | 行き先 近似の数理 第7章

木下の勉強ステータス

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

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

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