tecktom.com

この章のまとめ

2026年10月15日12分で読めますAI生成教科書『虎の巻』第4部 第1章 Poisson 括弧から交換子へ

AI 生成・木下が未勉強

解析力学から様々な理論分野を組み立てる 第4部 第1章 §4.1.7 ★★★ 括弧から交換子への規則は、代数の形(交換子)と定数(iℏ\mathrm{i}\hbar)と表示(位置表示)までは自動的に決まる。自明でないのは積の順序と、3次以上での ℏ2\hbar^2 の補正である

古典の観測量は相空間の関数で、可換な積と Poisson 括弧を持つ。量子力学では同じ HH を演算子にし、積が交換しなくなる。括弧に Leibniz 則(順序を保った形)を求めると、括弧は交換子の定数倍に限られ(Dirac の議論)、並進の生成子が運動量であることを要請すると定数が 1/(iℏ)1/(\mathrm{i}\hbar) に決まって [q^, p^]=iℏ\left[\hat q,\,\hat p\right]=\mathrm{i}\hbar が出る。この交換関係は有限次元の行列では満たせず、q^,p^\hat q,\hat p の少なくとも一方は有界でない。満たす組は Stone–von Neumann の定理により本質的に位置表示 p^=−iℏ d/dx\hat p=-\mathrm{i}\hbar\,\mathrm{d}/\mathrm{d} x の1通りである。

自明でない部分は2つある。1つは積の順序で、qpqp は対称化 12(q^p^+p^q^)\frac12(\hat q\hat p+\hat p\hat q) でエルミートに決まるが、q2p2q^2p^2 では Weyl の順序と Born–Jordan の順序が ℏ2/6\hbar^2/6 だけ違い、古典力学からはどちらとも決められない。もう1つは規則 (Q3) の破れで、一方が2次以下の多項式なら規則は厳密に成り立つが、3次以上どうしでは ℏ2\hbar^2 の補正(Moyal 括弧)が残り、すべての多項式で規則を満たす量子化は存在しない(Groenewold の定理)。その帰結として、Ehrenfest の定理が古典の Hamilton 方程式に閉じるのは2次以下のポテンシャルに限られる。授業の「p\bm{p} を −iℏ∇-\mathrm{i}\hbar\nabla に置き換える」手順は、直交座標で積の無い Hamiltonian に限ってこの章の手続きと一致する。

次の章(第4部第2章)では、時間発展の生成子 H^\hat H が状態に e−iH^t/ℏ\mathrm{e}^{-\mathrm{i}\hat Ht/\hbar} として働く Schrödinger 描像を扱い、第4部第3章 で Heisenberg 描像の式 (4.1.2) を Hamilton 方程式と並べる。

この章の道具

  • 量子化の写像 Q\mathcal Q への要請:線形・実関数をエルミートへ・Q({f,g})=[Q(f), Q(g)]/(iℏ)\mathcal Q(\{f,g\})=\left[\mathcal Q(f),\,\mathcal Q(g)\right]/(\mathrm{i}\hbar)・既約。
  • Dirac の議論:順序を保った Leibniz 則から {u,v}q=k[u, v]\{u,v\}_{\mathrm q}=k\left[u,\,v\right]。並進の要請 U^†q^U^=q^+a\hat U^\dagger\hat q\hat U=\hat q+a から k=1/(iℏ)k=1/(\mathrm{i}\hbar)。
  • 表示:有限次元では不可能(トレース)、少なくとも一方は非有界、Stone–von Neumann で位置表示に一意。
  • 順序:Q(qp)=12(q^p^+p^q^)\mathcal Q(qp)=\frac12(\hat q\hat p+\hat p\hat q)。W(q2p2)−BJ(q2p2)=ℏ2/6W(q^2p^2)-\mathrm{BJ}(q^2p^2)=\hbar^2/6。
  • 規則の範囲:2次以下は厳密、3次以上は ℏ2\hbar^2 の補正。{q3,p3}=3{q2p,qp2}\{q^3,p^3\}=3\{q^2p,qp^2\} の量子版は 3ℏ23\hbar^2 ずれる。
  • Ehrenfest:d⟨p^⟩dt=−⟨V′(q^)⟩\frac{\mathrm{d} \langle \hat p \rangle }{\mathrm{d} t}=-\langle V'(\hat q) \rangle。古典の式に閉じるのは VV が2次以下のとき。

総合問題 伸縮の生成子を量子化する ★★★

オリジナル1次元の質量 mm の粒子を考える。古典の伸縮の生成子 D=qpD=qp と、Hamiltonian H=p22m+V(q)H=\dfrac{p^2}{2m}+V(q) を量子化する。

  1. (1) (使う道具:第1部第9章・第1部第11章){q,D}\{q,D\}, {p,D}\{p,D\} を求め、DD が生成する有限の変換を Lie 級数で求めよ。
  2. (2) (使う道具:4.1.4節)q^p^\hat q\hat p がエルミートでないことを確かめ、D^=12(q^p^+p^q^)\hat D=\frac12(\hat q\hat p+\hat p\hat q) を位置表示で書け。また、実数値の規格化された波動関数 ψ\psi について ⟨ψ∣q^p^ ψ⟩\langle \psi | \hat q\hat p\,\psi \rangle を求めよ。
  3. (3) (使う道具:4.1.2節・4.1.5節)[q^, D^]\left[\hat q,\,\hat D\right], [p^, D^]\left[\hat p,\,\hat D\right] を求め、(1) と比べよ。補正が無い理由を述べよ。
  4. (4) (使う道具:4.1.2節/第1部第12章)U^(ϵ)=e−iϵD^/ℏ\hat U(\epsilon)=\mathrm{e}^{-\mathrm{i}\epsilon\hat D/\hbar} が波動関数を ψ(x)↦e−ϵ/2ψ(e−ϵx)\psi(x)\mapsto\mathrm{e}^{-\epsilon/2}\psi(\mathrm{e}^{-\epsilon}x) と写すことを示し、ノルムが保たれることと ⟨q^⟩↦eϵ⟨q^⟩\langle \hat q \rangle \mapsto\mathrm{e}^{\epsilon}\langle \hat q \rangle を確かめよ。古典の正準変換とどう対応するか。
  5. (5) (使う道具:4.1.5節・4.1.6節)[D^, H^]/(iℏ)\left[\hat D,\,\hat H\right]/(\mathrm{i}\hbar) を求めて古典の {D,H}\{D,H\} と比べ、エネルギー固有状態で 2⟨T^⟩=⟨q^V′(q^)⟩2\langle \hat T \rangle =\langle \hat qV'(\hat q) \rangle(T^=p^2/(2m)\hat T=\hat p^2/(2m))が成り立つことを示せ。
  6. (6) (使う道具:(5)・4.1.5節)V=λq4V=\lambda q^4 のエネルギー固有状態で ⟨T^⟩\langle \hat T \rangle と ⟨V⟩\langle V \rangle の比を求めよ。ℏ=m=λ=1\hbar=m=\lambda=1 となる単位で基底状態のエネルギーは E0=0.668E_0=0.668 である。⟨T^⟩\langle \hat T \rangle と ⟨V⟩\langle V \rangle の値を求めよ。
解答

(1) {q,qp}=∂(qp)∂p=q\{q,qp\}=\frac{\partial (qp)}{\partial p}=q、{p,qp}=−∂(qp)∂q=−p\{p,qp\}=-\frac{\partial (qp)}{\partial q}=-p。Lie 級数 q(ϵ)=q+ϵ{q,D}+ϵ22!{{q,D},D}+⋯=q∑nϵn/n!=eϵqq(\epsilon)=q+\epsilon\{q,D\}+\frac{\epsilon^2}{2!}\{\{q,D\},D\}+\cdots=q\sum_n\epsilon^n/n!=\mathrm{e}^{\epsilon}q、同様に p(ϵ)=e−ϵpp(\epsilon)=\mathrm{e}^{-\epsilon}p。位置を eϵ\mathrm{e}^\epsilon 倍に伸ばし運動量を e−ϵ\mathrm{e}^{-\epsilon} 倍に縮める変換で、相空間の面積 qpqp を保つ(第1部第11章の図の伸縮)。

(2) 式 (4.1.13) から (q^p^)†=q^p^−iℏ≠q^p^(\hat q\hat p)^\dagger=\hat q\hat p-\mathrm{i}\hbar\ne\hat q\hat p。位置表示では

D^ψ=12(−iℏxψ′−iℏ(xψ)′)=−iℏ(xdψdx+12ψ).\hat D\psi=\tfrac12\bigl(-\mathrm{i}\hbar x\psi'-\mathrm{i}\hbar(x\psi)'\bigr)=-\mathrm{i}\hbar\Bigl(x\frac{\mathrm{d} \psi}{\mathrm{d} x}+\frac12\psi\Bigr).

実数値の ψ\psi では ⟨ψ∣D^ψ⟩=−iℏ∫(xψψ′+12ψ2)dx\langle \psi | \hat D\psi \rangle =-\mathrm{i}\hbar\int\bigl(x\psi\psi'+\frac12\psi^2\bigr)\mathrm{d} x で、部分積分 ∫xψψ′dx=∫x 12(ψ2)′dx=−12∫ψ2dx=−12\int x\psi\psi'\mathrm{d} x=\int x\,\frac12(\psi^2)'\mathrm{d} x=-\frac12\int\psi^2\mathrm{d} x=-\frac12 を使うと 00 になる。D^\hat D はエルミートなので期待値は実数になるはずで、実の ψ\psi では期待値が −iℏ×(実数)-\mathrm{i}\hbar\times(\text{実数}) の形になるから、両者が両立する値は 00 に限られる。したがって ⟨ψ∣q^p^ ψ⟩=⟨ψ∣(D^+iℏ/2)ψ⟩=iℏ/2\langle \psi | \hat q\hat p\,\psi \rangle =\langle \psi | (\hat D+\mathrm{i}\hbar/2)\psi \rangle =\mathrm{i}\hbar/2 で、古典では実数のはずの「qpqp の平均」が純虚数になる。

(3) [q^, q^p^]=q^[q^, p^]=iℏq^\left[\hat q,\,\hat q\hat p\right]=\hat q\left[\hat q,\,\hat p\right]=\mathrm{i}\hbar\hat q、[q^, p^q^]=[q^, p^]q^=iℏq^\left[\hat q,\,\hat p\hat q\right]=\left[\hat q,\,\hat p\right]\hat q=\mathrm{i}\hbar\hat q なので [q^, D^]=iℏq^\left[\hat q,\,\hat D\right]=\mathrm{i}\hbar\hat q。同様に [p^, q^p^]=−iℏp^\left[\hat p,\,\hat q\hat p\right]=-\mathrm{i}\hbar\hat p、[p^, p^q^]=−iℏp^\left[\hat p,\,\hat p\hat q\right]=-\mathrm{i}\hbar\hat p から [p^, D^]=−iℏp^\left[\hat p,\,\hat D\right]=-\mathrm{i}\hbar\hat p。iℏ\mathrm{i}\hbar で割ると q^\hat q, −p^-\hat p で、(1) の {q,D}=q\{q,D\}=q, {p,D}=−p\{p,D\}=-p と補正なしで一致する。D=qpD=qp は2次式なので、命題 4.1.4 により規則が厳密に成り立つ。

(4) Ψ(ϵ,x)=e−ϵ/2ψ(e−ϵx)\Psi(\epsilon,x)=\mathrm{e}^{-\epsilon/2}\psi(\mathrm{e}^{-\epsilon}x) を ϵ\epsilon で微分すると∂ϵΨ=−12Ψ−x ∂xΨ=−iℏD^Ψ\partial_\epsilon\Psi=-\frac12\Psi-x\,\partial_x\Psi=-\frac{\mathrm{i}}{\hbar}\hat D\Psi((2) の D^\hat D の形を使った)で、Ψ(0,x)=ψ(x)\Psi(0,x)=\psi(x)。これは Ψ=e−iϵD^/ℏψ\Psi=\mathrm{e}^{-\mathrm{i}\epsilon\hat D/\hbar}\psi が満たす微分方程式と初期条件そのものなので、両者は一致する。ノルムは y=e−ϵxy=\mathrm{e}^{-\epsilon}x と置き換えて ∫e−ϵ∣ψ(e−ϵx)∣2dx=∫∣ψ(y)∣2dy\int\mathrm{e}^{-\epsilon}|\psi(\mathrm{e}^{-\epsilon}x)|^2\mathrm{d} x=\int|\psi(y)|^2\mathrm{d} y で保たれる。同じ置き換えで ∫x e−ϵ∣ψ(e−ϵx)∣2dx=eϵ∫y∣ψ(y)∣2dy=eϵ⟨q^⟩\int x\,\mathrm{e}^{-\epsilon}|\psi(\mathrm{e}^{-\epsilon}x)|^2\mathrm{d} x=\mathrm{e}^{\epsilon}\int y|\psi(y)|^2\mathrm{d} y=\mathrm{e}^\epsilon\langle \hat q \rangle。これは 4.1.2節の U^†q^U^=q^+ϵ[q^, D^]/(iℏ)+⋯=eϵq^\hat U^\dagger\hat q\hat U=\hat q+\epsilon\left[\hat q,\,\hat D\right]/(\mathrm{i}\hbar)+\cdots=\mathrm{e}^\epsilon\hat q と同じ内容で、古典の正準変換 (q,p)↦(eϵq,e−ϵp)(q,p)\mapsto(\mathrm{e}^\epsilon q,\mathrm{e}^{-\epsilon}p)(第1部第12章)が量子力学ではユニタリ変換になっている。因子 e−ϵ/2\mathrm{e}^{-\epsilon/2} は、波動関数の引数を伸ばしたときに確率の合計を 11 に保つためのもので、(2) の 12ψ\frac12\psi の項に対応する。

(5) (3) と Leibniz 則から [D^, p^2]=[D^, p^]p^+p^[D^, p^]=2iℏp^2\left[\hat D,\,\hat p^2\right]=\left[\hat D,\,\hat p\right]\hat p+\hat p\left[\hat D,\,\hat p\right]=2\mathrm{i}\hbar\hat p^2。また位置表示で[D^, V]ψ=−iℏ(x(Vψ)′−xVψ′)=−iℏxV′ψ\left[\hat D,\,V\right]\psi=-\mathrm{i}\hbar\bigl(x(V\psi)'-xV\psi'\bigr)=-\mathrm{i}\hbar xV'\psi。よって

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

古典の {qp,H}=p⋅pm−q V′(q)\{qp,H\}=p\cdot\frac pm-q\,V'(q) と同じ形で、補正は無い(DD が2次式なので命題 4.1.4 が使える)。H^\hat H の固有状態 ∣E⟩| E \rangle では ⟨E∣[D^, H^]∣E⟩=(E−E)⟨E∣D^∣E⟩=0\langle E | \left[\hat D,\,\hat H\right] | E \rangle =(E-E)\langle E | \hat D | E \rangle =0 なので、⟨p^2/m⟩=⟨q^V′(q^)⟩\langle \hat p^2/m \rangle =\langle \hat qV'(\hat q) \rangle、すなわち 2⟨T^⟩=⟨q^V′(q^)⟩2\langle \hat T \rangle =\langle \hat qV'(\hat q) \rangle(量子力学のビリアル定理)。古典力学では、有界な運動について d(qp)dt=2T−qV′\frac{\mathrm{d} (qp)}{\mathrm{d} t}=2T-qV' を長時間平均して同じ式を得る。量子力学では時間平均の代わりに、固有状態での期待値が時間に依らないことを使っている。

(6) V=λq4V=\lambda q^4 では qV′=4λq4=4VqV'=4\lambda q^4=4V なので 2⟨T^⟩=4⟨V⟩2\langle \hat T \rangle =4\langle V \rangle、⟨T^⟩=2⟨V⟩\langle \hat T \rangle =2\langle V \rangle。E=⟨T^⟩+⟨V⟩=3⟨V⟩E=\langle \hat T \rangle +\langle V \rangle =3\langle V \rangle より

⟨V⟩=E0/3=0.223,⟨T^⟩=2E0/3=0.445.\langle V \rangle =E_0/3=0.223,\qquad \langle \hat T \rangle =2E_0/3=0.445 .

調和振動子 V=12mω2q2V=\frac12m\omega^2q^2 なら qV′=2VqV'=2V で ⟨T^⟩=⟨V⟩=E/2\langle \hat T \rangle =\langle V \rangle =E/2 となり、基底状態では ℏω/4\hbar\omega/4 ずつに分かれる。ビリアル定理は VV の形によらず成り立つが、それは D^\hat D が2次式で、括弧から交換子への規則が厳密に成り立つ生成子だからである。

木下の勉強ステータス

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

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

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