自由粒子的动量本征函数
"自由"粒子, 就是说不受势场的作用的粒子. 自由粒子的波函数就是一个行波Aek⋅r. 显然它不能归一化成 1, 因此绝对意义上的自由粒子是不存在的.
指数形式的动量本征函数
求解自由粒子的动量本征方程 (坐标表象下)
−iℏ∇ψ(r)=pψ(r)
可以得到
ψ(r)=Cexp[iℏp⋅r]=Cexp(ipxx/ℏ)exp(ipyy/ℏ)exp(ipzz/ℏ)
归一化便得到
δ(p−p′)⇒∣C∣=∫−∞∞∣C∣2ψp′∗ψpdxdydz=∣C∣2∫exp[(px−px′)x/ℏ]exp[(py−py′)y/ℏ]exp[(pz−pz′)z/ℏ]dxdydz=∣C∣⋅(2π)3δ(ℏpx−px′)δ(ℏpy−py′)δ(ℏpz−pz′)=∣C∣2(2πℏ)3δ(p−p′)=δ(p−p′)=(2πℏ)3/21.
因此, 自由粒子的动量本征函数为
ψp=(2πℏ)d/21exp(iℏp⋅r)
其中, d 为维数.
■ 如果引入 k=ℏp,
那么自由粒子的动量本征函数> 便写作 ψ=Aexp(ik⋅r). 这个时候再归一化:
∫−∞∞ψk∗ψk′dxdydz=δ(k−k′)
会发现, A=2π1. 归一化系数稍有不同.
■ Delta 函数常常是这么生成的:
2πδ(x)=∫−∞∞eikxdk
还可以这样生成:
πδ(x)=t→∞limtx2sin2(tx)
并且呢, δ(x/a)=δ(x)/∣a∣. 这用 ∫−∞∞δ(x/a)dx=1/∣a∣ 可以证明.
■ ψp(r) 表示: 本征值为 p 的 本征态 (eigen-state) 在坐标表象下的波函数 [ψp(r)≡⟨r∣p⟩].
箱归一化之后的本征函数
前面计算出来的波函数不能归一成 1 (只能归一成 Delta 函数). 这就催生了箱归一化. 箱归一化的条件是 周期性边界条件, 即 L=nλ, λ 物质波的波长,L 是箱子的边长.
于是可以得到 k=λ2π=L2nπ. 这里只考虑了一个方向的 k, 如果考虑三个方向的话, 则有
k=L2π{nx,ny,nz},ni=0,±1,⋯
德布罗意关系表明 p=ℏk, 而上面一个部分计算的结果告诉我们
ψp=Cexp(iℏp⋅r)
把 p/ℏ=k 代入上式, 便可以得到
ψ=Cexp[iL2π(nxx+nyy+nzz)]
归一化,
∫−L/2L/2ψ∗ψdxdydz=1⇒C=L1
i.e.
ψp(r)=L1exp(ik⋅r),k=L2π{nx,ny,nz},p=ℏk
三角函数形式的自由粒子动量本征函数
有时候会遇见三角函数形式动量本征函数, 比如 cos(kx) 就是动量为 ±ℏk 的自由粒子的动量本征函数. 但是这玩意不能归一化: ∫−∞∞cos2(kx)dx=∞. 这时候就需要
箱归一化来帮忙.
已知箱归一化后的波矢量为 k=L2π{nx,ny,nz}, 所以正弦形式的波函数就写成
ψ(x)=AcosL2πnxor AsinL2πnx
箱归一化的归一化条件是
∫−L/2l/2ψ(x)∗ψ(x)dx=1
因此有
ψ(x)=⎩⎨⎧L2sinL2πnx,n=N+L1cos(0x),n=0L2cosL2πnx,n∈N+
这种形式用起来比较麻烦. 因为归一化系数在 n=0 和 n=0 的时候是不同的, 所以在计算诸如平均值的时候会出现问题.
我不太理解为什么要在 自由粒子 这样的语境下使用三角函数形式的波函数. 用行波形式 exp(ikx) 不舒服吗?
问题: ψ(x)=cos(kx) 的动量可能取的值是 ℏk 还是 ±ℏk?
一般来说, 当没有说明k=L2πn 的时候, 就说明没有进行箱归一化. 所以 coskx 便需要用自由空间的指数形式的波函数 进行展开, 即 coskx=2eikx+e−ikx. 所以, 波函数形如 coskx 形式的粒子可能的动能取值为 ±ℏk, 且概率 各为 1/2.
但是, 如果波函数形如
ψ(x)={Asin(kx),x∈[0,a]0,otherwise
那么, 动量的可能取值不会仅仅是 ±ℏk. 因为这个正弦函数并不是一个单色波 (单色波是 cos(kx),x∈[−∞,+∞]), 所以这个波应当是多个单色波叠加 生成的. 求其谐波分量的方法便是傅里叶变换:
c(p)=2πℏ1∫−∞∞ψ(x)e−ipx/ℏdx
c(p) 便是此粒子动量取 p 的概率幅. (但是不管你是不是单色波, 我都会傅里叶展开. 会纠结这个只不过是我是个应付考试的做题家罢了.)