tecktom.com

運動量演算子は並進の生成子である

2026年10月17日11分で読めますAI生成教科書『虎の巻』第1部 第3章 波動関数は基準の位置表示であること
目次
  1. 並進から を導く
  2. の位相の自由度
  3. 演算子の核と、期待値の学部の形
  4. 木下の層

AI 生成・木下が未勉強

量子力学の様々な構成方法 第1部 第3章 §1.3.2 ★★★ p^→−iℏ d/dx\hat p\to-\mathrm{i}\hbar\,\mathrm{d}/\mathrm{d} x は置き換え規則ではなく、∣x⟩| x \rangle の位相を並進で揃えた結果として出る

並進から −iℏ d/dx-\mathrm{i}\hbar\,\mathrm{d}/\mathrm{d} x を導く

入門の授業では「pp を −iℏ ∂/∂x-\mathrm{i}\hbar\,\partial/\partial x に置き換える」と教わる。基準の言葉では、これは定理として導かれる。出発点は、運動量が空間の並進の生成子であることである(解析力学から様々な理論分野を組み立てる 第4部第1章で、Poisson 括弧の生成子 G=pG=p が並進 δq=ϵ\delta q=\epsilon を起こすことから交換関係へ移った)。量子の並進を

T^(a)≔e−iap^/ℏ(1.3.4)\hat T(a)\coloneqq\mathrm{e}^{-\mathrm{i} a\hat p/\hbar}\tag{1.3.4}

と書き、これが位置の一般化固有ベクトルを T^(a)∣x⟩=∣x+a⟩\hat T(a)| x \rangle =| x+a \rangle と動かすように ∣x⟩| x \rangle の位相を選ぶ。すると T^(a)†=T^(−a)\hat T(a)^\dagger=\hat T(-a) から ⟨x∣T^(a)=⟨x−a∣\langle x |\hat T(a)=\langle x-a | なので

⟨x∣T^(a)∣ψ⟩=⟨x−a∣ψ⟩=ψ(x−a).\langle x | \hat T(a) | \psi \rangle =\langle x-a | \psi \rangle =\psi(x-a).

両辺を aa で微分して a=0a=0 と置くと、左辺は −iℏ⟨x∣p^∣ψ⟩-\frac{\mathrm{i}}{\hbar}\langle x | \hat p | \psi \rangle、右辺は −ψ′(x)-\psi'(x) になるから

⟨x∣p^∣ψ⟩=−iℏ dψdx,⟨x∣x^∣ψ⟩=x ψ(x)(1.3.5)\langle x | \hat p | \psi \rangle =-\mathrm{i}\hbar\,\frac{\mathrm{d} \psi}{\mathrm{d} x},\qquad \langle x | \hat x | \psi \rangle =x\,\psi(x)\tag{1.3.5}

を得る。第2式は ⟨x∣x^=x⟨x∣\langle x |\hat x=x\langle x | から直ちに出る。位置表示で [x^, p^]=iℏ\left[\hat x,\,\hat p\right]=\mathrm{i}\hbar を確かめるには、x(−iℏψ′)−(−iℏ)(xψ)′=iℏψx(-\mathrm{i}\hbar\psi')-(-\mathrm{i}\hbar)(x\psi)'=\mathrm{i}\hbar\psi と1行で計算すればよい。

∣x⟩| x \rangle の位相の自由度

ここで「∣x⟩| x \rangle の位相を選ぶ」と書いた所に注意がいる。∣x⟩| x \rangle は固有値方程式と δ 規格化だけでは決まらず、実関数 ϕ(x)\phi(x) を使って∣x⟩′=eiϕ(x)∣x⟩| x \rangle '=\mathrm{e}^{\mathrm{i}\phi(x)}| x \rangle と取り替えても (1.3.1) はそのまま成り立つ。この取り替えで波動関数は χ(x)≔⟨x∣′ψ⟩=e−iϕ(x)ψ(x)\chi(x)\coloneqq\langle x |'\psi\rangle=\mathrm{e}^{-\mathrm{i}\phi(x)}\psi(x) に、運動量演算子の位置表示は

⟨x∣′p^∣ψ⟩=(−iℏddx+ℏϕ′(x))χ(x)(1.3.6)\langle x |'\hat p| \psi \rangle =\Bigl(-\mathrm{i}\hbar\frac{\mathrm{d} }{\mathrm{d} x}+\hbar\phi'(x)\Bigr)\chi(x)\tag{1.3.6}

に変わる(ψ=eiϕχ\psi=\mathrm{e}^{\mathrm{i}\phi}\chi を (1.3.5) に入れ、左から e−iϕ\mathrm{e}^{-\mathrm{i}\phi} を掛ける)。ℏϕ′(x)\hbar\phi'(x) の項は、電磁場のベクトルポテンシャルを足したときの最小結合と同じ形をしている。この自由度を固定するのが条件 T^(a)∣x⟩=∣x+a⟩\hat T(a)| x \rangle =| x+a \rangle である。

命題 1.3.2(位置表示の位相の一意性 ★★★)

x^\hat x の一般化固有ベクトルの族 {∣x⟩}\{| x \rangle \} と {∣x⟩′}\{| x \rangle '\} がどちらも δ 規格化 (1.3.1) を満たし、どちらも T^(a)∣x⟩=∣x+a⟩\hat T(a)| x \rangle =| x+a \rangle を満たすなら、xx に依らない定数 α\alpha があって ∣x⟩′=eiα∣x⟩| x \rangle '=\mathrm{e}^{\mathrm{i}\alpha}| x \rangle である。

証明

x^\hat x の固有値 xx の一般化固有ベクトルは、1次元のスピンのない粒子では定数倍を除いて1つなので、∣x⟩′=c(x)∣x⟩| x \rangle '=c(x)| x \rangle と書ける。δ 規格化から ∣c(x)∣=1\lvert c(x)\rvert =1、c(x)=eiϕ(x)c(x)=\mathrm{e}^{\mathrm{i}\phi(x)} である。並進の条件を両方の族に課すと eiϕ(x)∣x+a⟩=T^(a)∣x⟩′=∣x+a⟩′=eiϕ(x+a)∣x+a⟩\mathrm{e}^{\mathrm{i}\phi(x)}| x+a \rangle =\hat T(a)| x \rangle '=| x+a \rangle '=\mathrm{e}^{\mathrm{i}\phi(x+a)}| x+a \rangle なので、すべての x,ax,a で ϕ(x+a)=ϕ(x)\phi(x+a)=\phi(x)(2π2\pi の整数倍を除く)。ϕ\phi を連続に選べば ϕ\phi は定数である。

全体の定数位相 eiα\mathrm{e}^{\mathrm{i}\alpha} は、すべての波動関数に同じ位相を掛けるだけなので、公理 Q1 により予言を変えない。したがって、並進の生成子が p^\hat p であるという1つの要請で、位置表示は本質的に1つに決まる。この命題は、x^\hat x と p^\hat p の表現がすでに与えられていて、x^\hat x の固有値が重複しないことを前提にしている。その前提そのもの(交換関係 [x^, p^]=iℏ\left[\hat x,\,\hat p\right]=\mathrm{i}\hbar を満たす既約な表現は位置表示にユニタリ同値なものしかない)が Stone–von Neumann の定理で、第2部第6章で扱う。

半直線の上の −iℏ d/dx-\mathrm{i}\hbar\,\mathrm{d}/\mathrm{d} x

x>0x>0 しか動けない粒子(壁のある系・動径座標)で p^=−iℏ d/dx\hat p=-\mathrm{i}\hbar\,\mathrm{d}/\mathrm{d} x と書くと、この演算子は自己共役にならず、どんな境界条件を課しても自己共役にできない。ℏ=1\hbar=1 の単位で −iφ′=±iφ-\mathrm{i}\varphi'=\pm\mathrm{i}\varphi の解は e∓x\mathrm{e}^{\mp x} で、(0,∞)(0,\infty) で2乗積分できるのは e−x\mathrm{e}^{-x} だけなので、不足指数が (1,0)(1,0) と等しくならない(不足指数の定義と判定は 近似の数理 第3章)。半直線では並進 T^(a)\hat T(a) が粒子を壁の外へ押し出してしまい、ユニタリな並進の群が存在しないことの表れである。3次元の動径の運動量で起きる問題は 解析力学から様々な理論分野を組み立てる 第4部第2章で扱った。

演算子の核と、期待値の学部の形

一般の演算子 A^\hat A は、完全性の関係を左右に挿入すると

⟨ϕ∣A^∣ψ⟩=∫ ⁣ ⁣∫dx dx′ ϕ(x)∗ A(x,x′) ψ(x′),A(x,x′)≔⟨x∣A^∣x′⟩(1.3.7)\langle \phi | \hat A | \psi \rangle =\int\!\!\int\mathrm{d} x\,\mathrm{d} x'\,\phi(x)^*\,A(x,x')\,\psi(x'),\qquad A(x,x')\coloneqq\langle x | \hat A | x' \rangle\tag{1.3.7}

と書ける。A(x,x′)A(x,x') を A^\hat A の核(位置表示の行列要素)と呼ぶ。x^\hat x の核は x δ(x−x′)x\,\delta(x-x')、p^\hat p の核は (1.3.5) から−iℏ δ′(x−x′)-\mathrm{i}\hbar\,\delta'(x-x') で、どちらも対角か対角のすぐ近くにだけ値を持つ。そのため x^\hat x と p^\hat p の多項式 f(x^,p^)f(\hat x,\hat p) では二重積分が一重の積分になり、

⟨f(x^,p^)⟩=∫ψ(x)∗ f(x,−iℏddx)ψ(x) dx(1.3.8)\langle f(\hat x,\hat p) \rangle =\int\psi(x)^*\,f\Bigl(x,-\mathrm{i}\hbar\frac{\mathrm{d} }{\mathrm{d} x}\Bigr)\psi(x)\,\mathrm{d} x\tag{1.3.8}

になる(ff の中の x^\hat x と p^\hat p の並び順は左辺と右辺で同じにそろえる)。これが入門の期待値の式で、第1部第1章の期待値の表の1行目にあたる。時間発展の演算子 e−iH^t/ℏ\mathrm{e}^{-\mathrm{i}\hat Ht/\hbar} の核 K(x,t;x′,0)=⟨x∣e−iH^t/ℏ∣x′⟩K(x,t;x',0)=\langle x | \mathrm{e}^{-\mathrm{i}\hat Ht/\hbar} | x' \rangle は対角に集中しない典型例で、これを中心に置いたのが第3部の経路積分である。

例題 1.3.3 走る波束と、位相の取り替えで止まる波束 ★★★

オリジナルψ(x)=(2πσ02)−1/4exp⁡(−x24σ02+ip0xℏ)\psi(x)=(2\pi\sigma_0^2)^{-1/4}\exp\bigl(-\frac{x^2}{4\sigma_0^2}+\frac{\mathrm{i} p_0x}{\hbar}\bigr) とする(σ0>0\sigma_0>0、p0p_0 は実数)。

  1. (1) (1.3.8) で ⟨p^⟩\langle \hat p \rangle と ⟨p^2⟩\langle \hat p^2 \rangle を求め、運動量の標準偏差 Δp\Delta p を出せ。
  2. (2) ∣x⟩′=eip0x/ℏ∣x⟩| x \rangle '=\mathrm{e}^{\mathrm{i} p_0x/\hbar}| x \rangle と位相を取り替えると、波動関数 χ(x)=⟨x∣′ψ⟩\chi(x)=\langle x |'\psi\rangle と p^\hat p の表示はどうなるか。新しい表示で ⟨p^⟩\langle \hat p \rangle を計算し直し、(1) と一致することを確かめよ。
  3. (3) 新しい族 {∣x⟩′}\{| x \rangle '\} は T^(a)∣x⟩′=∣x+a⟩′\hat T(a)| x \rangle '=| x+a \rangle ' を満たすか。
解答

(1) −iℏψ′=(p0+iℏx2σ02)ψ-\mathrm{i}\hbar\psi'=\bigl(p_0+\frac{\mathrm{i}\hbar x}{2\sigma_0^2}\bigr)\psi。∣ψ∣2\lvert \psi\rvert ^2 は平均 00・分散 σ02\sigma_0^2 の正規分布なので、第2項の期待値は ⟨x⟩=0\langle x \rangle =0 により消え、⟨p^⟩=p0\langle \hat p \rangle =p_0。もう一度作用させると

(−iℏ)2ψ′′=[(p0+iℏx2σ02)2+ℏ22σ02]ψ,(-\mathrm{i}\hbar)^2\psi''=\Bigl[\Bigl(p_0+\frac{\mathrm{i}\hbar x}{2\sigma_0^2}\Bigr)^2+\frac{\hbar^2}{2\sigma_0^2}\Bigr]\psi ,

期待値は p02−ℏ24σ04⟨x2⟩+ℏ22σ02=p02+ℏ24σ02p_0^2-\frac{\hbar^2}{4\sigma_0^4}\langle x^2 \rangle +\frac{\hbar^2}{2\sigma_0^2}=p_0^2+\frac{\hbar^2}{4\sigma_0^2}(⟨x⟩=0\langle x \rangle =0、⟨x2⟩=σ02\langle x^2 \rangle =\sigma_0^2)。よって Δp=ℏ/(2σ0)\Delta p=\hbar/(2\sigma_0) で、Δx Δp=ℏ/2\Delta x\,\Delta p=\hbar/2 の最小不確定状態である。

(2) χ(x)=e−ip0x/ℏψ(x)=(2πσ02)−1/4e−x2/(4σ02)\chi(x)=\mathrm{e}^{-\mathrm{i} p_0x/\hbar}\psi(x)=(2\pi\sigma_0^2)^{-1/4}\mathrm{e}^{-x^2/(4\sigma_0^2)} は実関数になる。(1.3.6) で ϕ′=p0/ℏ\phi'=p_0/\hbar なのでp^\hat p の表示は −iℏ d/dx+p0-\mathrm{i}\hbar\,\mathrm{d}/\mathrm{d} x+p_0。実関数の χ\chi では ∫χ(−iℏ)χ′ dx=−iℏ2[χ2]−∞∞=0\int\chi(-\mathrm{i}\hbar)\chi'\,\mathrm{d} x=-\frac{\mathrm{i}\hbar}{2}[\chi^2]_{-\infty}^{\infty}=0 なので、⟨p^⟩=0+p0=p0\langle \hat p \rangle =0+p_0=p_0 で (1) と一致する。運動量 p0p_0 は、波動関数の位相の勾配から演算子の定数項へ移っただけである。

(3) T^(a)∣x⟩′=eip0x/ℏ∣x+a⟩=e−ip0a/ℏ∣x+a⟩′\hat T(a)| x \rangle '=\mathrm{e}^{\mathrm{i} p_0x/\hbar}| x+a \rangle =\mathrm{e}^{-\mathrm{i} p_0a/\hbar}| x+a \rangle ' なので、p0≠0p_0\neq0 では満たさない。命題 1.3.2 の条件を外した表示では、「波動関数が実なら運動量の期待値は 00」という入門の経験則も成り立たなくなる。

木下の勉強ステータス

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

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

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