动量和坐标
动量是空间平移群的生成元
Stone’s Theorem:任意单参数幺正群都可以写成指数形式
T^(a)=e−ℏip^a.
物理上,考虑到空间平移对称性,定义动量为空间平移群的生成元,p^=ℏk^。
现考虑空间平移算符对坐标 x^ 的影响。如果我们将整个系统平移了 a,那么该系统在空间的位置期望也必须平移 a,即
⟨ψ∣T^†(a)x^T^(a)∣ψ⟩=⟨ψ∣x^+aI^∣ψ⟩ ⇒ T^†(a)x^T^(a)=x^+aI^.
代入 T^(a)=e−ℏip^a,有 eℏip^ax^e−ℏip^a=x^+aI^。考虑 a→0 时,
(1+ℏip^a)x^(1−ℏip^a)=x^+aI^ ⇒ x^−ℏia[x^,p^]=x^+aI^,
得到正则对易关系
[x^,p^]=x^p^−p^x^=iℏI^.
坐标表象下的动量算符
在坐标表象下,波函数定义为 ψ(x)=⟨x∣ψ⟩。对系统做无穷小空间平移 ϵ,新状态 ∣ψ′⟩=T^(ϵ)∣ψ⟩。
物理图像:系统整体向右移 ϵ,则新波函数在 x 处的值等于原波函数在 x−ϵ 处的值,故 ⟨x∣ψ′⟩=ψ(x−ϵ)。右侧泰勒展开到一阶:
ψ(x−ϵ)=ψ(x)−ϵ∂x∂ψ(x)+O(ϵ2).
另一方面用生成元展开 ∣ψ′⟩≈(I^−ℏiϵp^)∣ψ⟩,两边夹 ⟨x∣:
⟨x∣ψ′⟩=ψ(x)−ℏiϵ⟨x∣p^∣ψ⟩.
对比一阶项、消去 ψ(x) 并约去 −ϵ,再两边同乘 −iℏ:
⟨x∣p^∣ψ⟩=−iℏ∂x∂ψ(x).
思考:我们平常说的 p^=−iℏ∂x∂ 其实是 ⟨x∣p^∣ψ⟩=−iℏ∂x∂⟨x∣ψ⟩。这里 p^ 是算符(表象无关),而 −iℏ∂x∂ 不是抽象 Hilbert 空间的算符,它是具体空间 L2(R) 上的算符——只是一种简写。因此当讨论范围不局限于 L2 时(比如下面比较动量表象与坐标表象),不能把它直接看成算符 p^。
三维情况(做题、后面分析氢原子要用)
[x^i,x^j]=[p^i,p^j]=0,[x^i,p^j]=iℏδij,
p^i=−iℏ∂xi∂,即p^=−iℏ∇.
常用对易恒等式
[r^,f(p^)]=iℏ∇pf(p^),[p^,f(r^)]=−iℏ∇f(r^).
与 Hamiltonian H^=2mp^2+V(r^) 的关系
[r^,H^]=iℏmp^,[p^,H^]=−iℏ∇V(r^).
动量、坐标表象的转换
Ψ(x,t)=⟨x∣ψ⟩,Φ(p,t)=⟨p∣ψ⟩,
⟨p∣ψ⟩=∫−∞∞⟨p∣x⟩⟨x∣ψ⟩dx,⟨x∣ψ⟩=∫−∞∞⟨x∣p⟩⟨p∣ψ⟩dp.
核心是求 ⟨x∣p⟩=⟨p∣x⟩∗。考虑
⟨x∣p^∣p⟩=p⟨x∣p⟩=−iℏ∂x∂⟨x∣p⟩ ⇒ ⟨x∣p⟩=Ceipx/ℏ.
由归一化 ⟨p′∣p⟩=δ(p′−p):
∫−∞∞∣C∣2e−ip′x/ℏeipx/ℏdx=∣C∣22πδ(ℏp−p′)=∣C∣22πℏδ(p−p′)=δ(p′−p),
得 C=2πℏ1。故
⟨x∣p⟩=2πℏ1eipx/ℏ,⟨p∣x⟩=2πℏ1e−ipx/ℏ.