本系列将推导量子力学课程中常见与常用的公式及定理的推导, 并且将以十个为一组的形式进行更新, 旨在帮助学习本课程的学生以及考研复习的考生.
归一化不随时间改变
归一化的表达式为
∫−∞∞∣Ψ(x,t)∣2dx=1
由于该式为对 x 的积分, 则归一化随时间的变化可写为
dtd∫−∞∞∣Ψ(x,t)∣2dx=∫−∞∞∂t∂∣Ψ(x,t)∣2dx
其中
∂t∂∣Ψ∣2=∂t∂(Ψ∗Ψ)=Ψ∗∂t∂Ψ+∂t∂Ψ∗Ψ
由薛定谔方程及其共轭式有
∂t∂Ψ=2miℏ∂x2∂2Ψ−ℏiVΨ
∂t∂Ψ∗=−2miℏ∂x2∂2Ψ∗+ℏiVΨ∗
于是
∂t∂∣Ψ∣2=2miℏ(Ψ∗∂x2∂2Ψ−∂x2∂2Ψ∗Ψ)=∂x∂[2miℏ(Ψ∗∂x∂Ψ−∂x∂Ψ∗Ψ)]
则随时间变化的积分可写作
dtd∫−∞∞∣Ψ(x,t)∣2dx=2miℏ(Ψ∗∂x∂Ψ−∂x∂Ψ∗Ψ)∣−∞∞
又由于波函数要可归一化, 即 x 趋于无穷时 Ψ 要趋于零, 即:
dtd∫−∞∞∣Ψ(x,t)∣2dx=0
即归一化不随时间改变.
证毕.
概率流密度
在 “归一化不随时间改变” 中已得到过下式
∂t∂∣Ψ∣2=∂x∂[2miℏ(Ψ∗∂x∂Ψ−∂x∂Ψ∗Ψ)]
若换成三维情况, 且令概率 P=∣Ψ∣2 ,则有
∂t∂P=2miℏ∇⋅(Ψ∗∇Ψ−Ψ∇Ψ∗)
若令
J=2miℏ∇⋅(Ψ∇Ψ∗−Ψ∗∇Ψ)
则有
∂t∂P+∇⋅J=0
显然这是一个连续性方程的微分形式, 若将其作体积分则有
∭∂t∂PdV=−∭∇⋅JdV
由高斯公式(见本博客的矢量分析那一篇)可将散度的体积分换成矢量的曲面积分,即
∭∂t∂PdV=−∬JdS
即单位时间内曲面所包围的体积内的概率增加等于单位时间概率流密度通过曲面进入的面积分, 也就是概率. 其中 J 就定义为概率流密度
证毕.
一维束缚定态无简并
先考虑一般情况, 设 ψ1 与 ψ2 是薛定谔方程同一本征值的两个解, 即
−2mℏ2dx2d2ψ1+Vψ1=Eψ1
−2mℏ2dx2d2ψ2+Vψ2=Eψ2
一式乘 ψ2 , 二式乘 ψ1 , 并相减得
ψ1ψ2′′−ψ1′′ψ2=0
即
dxd(ψ1ψ2′−ψ1′ψ2)=0
即
ψ1ψ2′−ψ1′ψ2=constant
引入朗斯基(Wronskian)行列式
W=∣∣∣∣ψ1ψ1′ψ2ψ2′∣∣∣∣
当 W=0 时代表 ψ1 与 ψ2 线性相关, 当 W 不等于 0 时代表 ψ1 与 ψ2 线性无关. 则由上面可得对于同一本征值的两个解是线性无关的, 其朗斯基行列式为一常数.
现在考虑一维束缚定态存在简并, 即存在两个波函数ψ1 与 ψ2 对应同一本征值 E ,因其束缚态, 则波函数在 x 趋于无穷时应趋于零, 那么其朗斯基行列式 W=0 , 即 ψ1 与 ψ2 线性相关, 与上面所证的两解线性无关相矛盾.因此一维束缚定态无简并.
证毕.
Baker-Hausdorff 公式
Baker-Hausdorff 公式为:
eA^B^e−A^=B^+[A^,B^]+2!1[A^,[A^,B^]]+3!1[A^,[A^,[A^,B^]]]+...
证明过程:
令
F^(λ)=eλA^B^e−λA^
为将其在 λ=0 处进行泰勒展开, 现求其各阶导数
dλdF^(λ)=eλA^A^B^e−λA^−eλA^B^A^e−λA^=eλA^[A^,B^]e−λA^
dλ2d2F^(λ)=eλA^[A^,[A^,B^]]e−λA^
dλ3d3F^(λ)=eλA^[A^,[A^,[A^,B^]]]e−λA^
...
于是可以将 F^(λ) 在 λ=0 处进行展开
F^(λ)=F^(0)+λdλdF^(λ)∣λ=0+2!λ2dλ2d2F^(λ)∣λ=0+3!λ3dλ3d3F^(λ)∣λ=0+...
其中
F^(0)=B^
dλdF^(λ)∣λ=0=[A^,B^]
dλ2d2F^(λ)∣λ=0=[A^,[A^,B^]]
dλ3d3F^(λ)∣λ=0=[A^,[A^,[A^,B^]]]
...
则
F^(λ)=B^+λ[A^,B^]+2!λ2[A^,[A^,B^]]+3!λ3[A^,[A^,[A^,B^]]]+...
令 λ=1 ,可得
F^(1)=eA^B^e−A^=B^+[A^,B^]+2!1[A^,[A^,B^]]+3!1[A^,[A^,[A^,B^]]]+...
证毕.
Glauber 公式
Glauber 公式为如果 A^ 与 B^ 都与 [A^,B^] 对易, 那么:
eA^+B^=eA^eB^e−21[A^,B^]oreA^eB^=eA^+B^+21[A^,B^]
证明过程:
令
F^(λ)=eλA^eλB^
将其对 λ 求导, 得
dλdF^(λ)=A^eλA^eλB^+eλA^B^eλB^=(A^eλA^eλB^e−λB^e−λA^+eλA^B^eλB^e−λB^e−λA^)eλA^eλB^=(A^+eλA^B^e−λA^)F^(λ)
由 Baker-Hausdorff 公式和 A^ 与 [A^,B^] 的对易关系得
eλA^B^e−λA^=B^+λ[A^,B^]+λ2[A^,[A^,B^]]+...=B^+λ[A^,B^]
即
dλdF^(λ)=(A^+B^+λ[A^,B^])F^(λ)
解微分方程可得
F^(λ)=Ceλ(A^+B^)+21λ2[A^,B^]
由 F^(0)=1 , 得系数 C=1 , 则
F^(λ)=eλ(A^+B^)+21λ2[A^,B^]
令 λ=1 ,则
F^(1)=eA^+B^+21[A^,B^]=eA^eB^
证毕.
[x,f§] [f(x),p] 对易关系
对于 [x^,f(p)] 有:
[x^,f(p)]ϕ(p)=x^f(p)ϕ(p)−f(p)x^ϕ(p)=iℏdpd[f(p)ϕ(p)]−f(p)iℏdpdϕ(p)=[iℏdpdf(p)]ϕ(p)
即
[x^,f(p)]=iℏdpdf(p)
反之则
[f(p),x^]=−iℏdpdf(p)
对于 [f(x),p^] 同理有:
[f(x),p^]ψ(x)=f(x)p^ψ(x)−p^f(x)ψ(x)=−f(x)iℏdxdψ(x)+iℏdxd[f(x)ψ(x)]=[iℏdxdf(x)]ψ(x)
即
[f(x),p^]=iℏdxdf(x)
反之则
[p^,f(x)]=−iℏdxdf(x)
厄米算符本征函数性质
厄米算符的本征值为实数, 证明过程:
⟨α∣Q^α⟩=a⟨α∣α⟩
⟨Q^α∣α⟩=a∗⟨α∣α⟩
又由厄米算符性质, 有
⟨α∣Q^α⟩=⟨Q^α∣α⟩
则
a⟨α∣α⟩=a∗⟨α∣α⟩
由于本征函数与自身的内积不能为0, 则
a=a∗
即厄米算符的本征值为实数, 证毕.
厄米算符属于不同本征值的本征函数相互正交, 证明过程:
⟨α∣Q^β⟩=b⟨α∣β⟩
⟨Q^α∣β⟩=a∗⟨α∣β⟩
由于 a∗=a ,且 a 不等于 b ,于是
⟨α∣β⟩=0
即厄米算符属于不同本征值的本征函数相互正交, 证毕.
Hellmann–Feynman 定理
Hellmann–Feynman 定理为( 其中 λ 为与 H^ , E 相关的任意参数 ):
∂λ∂E=⟨ψ∣∂λ∂H^∣ψ⟩
证明过程:
∂λ∂E=∂λ∂(⟨ψ∣H^∣ψ⟩)=⟨∂λ∂ψ∣H^∣ψ⟩+⟨ψ∣∂λ∂H^∣ψ⟩+⟨ψ∣H^∣∂λ∂ψ⟩=E⟨∂λ∂ψ∣ψ⟩+⟨ψ∣∂λ∂H^∣ψ⟩+E⟨ψ∣∂λ∂ψ⟩=E∂λ∂(⟨ψ∣ψ⟩)+⟨ψ∣∂λ∂H^∣ψ⟩=⟨ψ∣∂λ∂H^∣ψ⟩
证毕.
Ehrenfest 定理
Ehrenfest 定理为
dtd⟨Q^⟩=iℏ1⟨[Q^,H^]⟩+⟨∂t∂Q^⟩
证明过程:
dtd⟨Q^⟩=dtd(⟨ψ∣Q^∣ψ⟩)=⟨∂t∂ψ∣Q^∣ψ⟩+⟨ψ∣∂t∂Q^∣ψ⟩+⟨ψ∣Q^∣∂t∂ψ⟩=−iℏ1⟨H^ψ∣Q^∣ψ⟩+⟨ψ∣∂t∂Q^∣ψ⟩+iℏ1⟨ψ∣Q^∣H^ψ⟩代入iℏ∂t∂ψ=H^ψ=−iℏ1⟨ψ∣H^Q^∣ψ⟩+iℏ1⟨ψ∣Q^H^∣ψ⟩+⟨ψ∣∂t∂Q^∣ψ⟩=iℏ1⟨[Q^,H^]⟩+⟨∂t∂Q^⟩
证毕.
Virial 定理
Virial 定理为:
2⟨T⟩=⟨r⋅∇V(r)⟩
证明方式(1):
若 E 不显含 λ , 而 H^(λx) , ψ(λx) 与 λ 相关,则
∂λ∂E=0
由Hellmann–Feynman 定理得
0=⟨ψ∣∂λ∂H^(λx)∣ψ⟩=⟨ψ∣∂λ∂(−2mℏ2d(λx)2d2+V(λx))∣ψ⟩=⟨ψ∣∂λ∂(−λ212mℏ2dx2d2+V(λx))∣ψ⟩=⟨ψ∣λ322mℏ2dx2d2+∂(λx)∂V∂λ∂λx∣ψ⟩=⟨ψ∣λ322mℏ2dx2d2+x∂(λx)∂V∣ψ⟩=⟨ψ∣22mℏ2dx2d2+x∂x∂V∣ψ⟩令λ=1=⟨ψ∣−2T^+x∂x∂V∣ψ⟩=−2⟨T⟩+⟨x∂x∂V⟩
即
2⟨T⟩=⟨x∂x∂V⟩
证毕.
证明方式(2):
由 Ehrenfest 定理与定态下力学量不随时间改变可得:
0=dtd⟨r⋅p^⟩=iℏ1⟨[r⋅p^,H^]⟩
其中
[r⋅p^,H^]=[r⋅p^,2mp^2]+[r⋅p^,V(r)]
其中
[r⋅p^,p^2]=r[p^,p^2]+[r,p^2]p^=[r,p^2]p^=2iℏp^2
[r⋅p^,V(r)]=r[p^,V(r)]+[r,V(r)]p^=r[p^,V(r)]=−iℏr∂r∂V
即
⟨2iℏ2mp^2⟩=⟨iℏr∂r∂V⟩
即
2⟨T⟩=⟨r⋅∇⟩
证毕.
