Chapter3 量子力学基本假设
3.1 态叠加原理
若Ψ1,Ψ2,⋯,Ψn为体系的一系列可能的状态,则这些态的线性叠加Ψ=C1Ψ1+C2Ψ2+⋯+CnΨn(其中C1,C2⋯Cn为负常数),也是体系的一个可能状态。对于处于Ψ态的体系,该体系分别部分地处于Ψ1,Ψ2,⋯,Ψn态之中
处在某一状态的概率
如果Ψ是已经归一化过的波函数,则处在态Ψn的概率为∣Cn∣2
两个波函数叠加的计算
Ψ=C1Ψ1+C2Ψ2 ∣Ψ∣2=ΨΨ∗=(C1Ψ1+C2Ψ2)(C1∗Ψ1∗+C2∗Ψ2∗)=∣C1Ψ1∣2+∣C2Ψ2∣2+[C1∗C2Ψ1Ψ1∗+C1C2∗Ψ1∗Ψ1]
搞一道阴间计算题
![image-20240608222425510]()
![image-20240608222443228]()
3.2 力学量的算符表示
量子力学基本假设
经典力学量特点:任何状态下,都有定解,但是在量子力学中不是这样的
波函数假设
微观粒子的状态可以被一个波函数完全描述,从这个波函数可以得出体系的所有性质。波函数一般满足连续性、有限性和单值性三个条件。
- 物质波可以用一个随时间和空间变化的函数来描述,这个函数称为波函数,通常用Ψ来表示。
- 自由粒子的物质波是单色平面波。
- 德布罗意波并不像经典波那样是代表实在物理量的波动,而是描述粒子在空间的概率分布的“概率波”。
- 波函数必须满足“单值、有限、连续”的条件,称为波函数的标准条件。
- 波函数满足归一化条件,总概率为1
力学量算符基本假设
每一个力学量都与一个算符相对应:量子力学中的力学量用线性厄密(Hermite)算符表示。如果在经典力学中有相应的力学量,则在量子力学中表示这个力学量的算符,可以由经典表示式中将动量p换为动量算符−iℏ∇得出。
力学量的算符表示
力学量的平均值
粒子的任何一个力学量A的平均值可表示为
A=⟨A^⟩=∭ψ∗A^ψdxdydz
位置算符
位置算符就是它本身
x^Ψ(r,t)=xΨ(r,t)x^=x
三维情况下
r^=r
动量算符
推导方法(不想看可以直接跳过)
需要变换到p表象去处理
根据波函数的统计解释,粒子动量平均值为
⟨p⟩=∬∫−∞+∞∣C(p,t)∣2pdpxdpydpz=∬∫−∞+∞C∗(p,t)pC(p,t)dpxdpydpz
又根据算符的定义,
⟨p⟩=∭Ψ∗(x,y,x,t)p^Ψ(x,y,z,t)dxdydz
对以上两式进行比较,可以求出p^
以一维情况为例,具体过程如下:
![image-20240609132441123]()
这个了解一下就行,应该不太会考
记住以下结论:
x分量(一维情况)的动量算符
px^=−iℏdxd
推广到三维情况的动量算符
px^=−iℏ∂x∂py^=−iℏ∂y∂pz^=−iℏ∂z∂p^=−iℏ[i∂x∂+j∂y∂+k∂z∂]=−iℏ∇
其他算符
由前面提到的力学量算符基本假设,如果量子力学中的算符在经典力学中有相应的力学量,则表示这个力学量的算符可以由经典表示式F(r,p)中将r,p换成对应的算符r,−ih∇得出,即
F^=F^(r^,p^)=F^(r^,−iℏ∇)
例如:
动能算符
一维
2mp2→T^=−2mℏ2∂x2∂2
三维
2mp2=2mpx2+py2+pz2→T^=−2mℏ2(∂x2∂2+∂y2∂2+∂z2∂2)=−2mℏ2∇2
哈密顿算符(总能量算符)
H^=−2mℏ2∇2+U(r,t)
3.3 算符的运算规则
所需基本知识:矩阵的转置,复共轭,转置共轭
线性算符
A^(c1ϕ1+c2ϕ2)=c1A^ϕ1+c2A^ϕ2
算符之和
(A^+B^)ϕ=A^ϕ+B^ϕ
算符之积
(A^B^)ϕ=A^(B^ϕ)
运算从右到左依次进行
注意:一般情况下,A^B^=B^A^
对易关系
[A^,B^]=A^B^−B^A^
若[A^,B^]=0,则A^和B^对易
若[A^,B^]=0,则A^和B^不对易
对易满足的恒等式
[A^,B^]=−[B^,A^][A^,B^+C^]=[A^,B^]+[A^,C^][A^,B^C^]=[A^,B^]C^+B^[A^,C^][A^B^,C^]=[A^,C^]B^+A^[B^,C^]
对易的求法
把算符作用到波函数上进行运算,进行化简整理以后,把最终结果里面的波函数前面算符取出来,就是答案
[A^,B^]ψ=(A^B^−B^A^)ψ
算符的逆
ϕ^=φ⟹A^−1φ=ϕA^A^−1=I^
算符的复共轭A^∗
A^中所有复量换成共轭复量
算符的转置A^~
∫dr3φ∗(A^~ϕ)=∫dr3ϕ(A^φ∗)
厄米共轭算符
厄米共轭算符定义如下
A^+=A^∗~∫d3rφ∗(A^+ϕ)=∫d3rϕ(A^φ)∗
厄米算符
如果一个算符的厄米共轭算符和它自己一样,那么就称之为厄米算符
A^+=A^
根据厄米共轭算符的定义,一个算符是厄米算符有以下充要的等价条件
∫d3rφ∗(A^ϕ)=∫d3rϕ(A^φ)∗
厄米算符一定满足这个式子,满足这个式子的算符,就是厄米算符!一定要记清楚这个式子!!!
重要性质:
- 厄米算符的本征值为实数;本征值为实数的算符为厄米算符(充分必要条件)
- 在任何状态下,厄米算符的平均值为实数;平均值为实数的算符必为厄米算符
量子力学中表示力学量的算符都是厄米算符
例题:证明算符的厄米性
证明动量算符px^=−iℏ∂x∂具有厄米性
复合算符
F^=F^(r^,p^)=F^(r^,−iℏ∇)
例如哈密顿算符
H^=−2mℏ2∇2+U(r,t)
角动量算符
⎩⎨⎧L^x=ypz^−zpy^L^y=zpx^−xpz^L^z=xpy^−ypx^
3.4 力学量的性质
算符的本征方程,本征值,本征函数
厄米算符F^的本征方程定义为
F^ψn=Fnψn
其中Fn为本征值,ψn为本征函数
常用结论:动量算符的本征值和本征函数
![image-20240609145808726]()
本征值p对应的本征函数为
Φp(r)=(2πℏ)231exp(ℏip⋅r)三维Φp(x)=(2πℏ)211exp(ℏipx)一维
常用结论:动能算符的本征值和本征函数
![image-20240609145823499]()
动能的本征函数和动量的本征函数是相同的,故本征值2mp2对应的本征函数为
Φp(r)=(2πℏ)231exp(ℏip⋅r)三维Φp(x)=(2πℏ)211exp(ℏipx)一维
厄米算符的性质
-
对于系统的任何量子态,其厄米算符的平均值必为实数。
![image-20240610100812390]()
-
厄密算符的本征值为实数
证明过程如下:
![image-20240609145530977]()
- 厄密算符属于不同本征值的本征函数彼此正交
∫ψm∗ψndx=δmn={01m=nm=n
证明过程:(tm还真考)
![image-20240609150253742]()
正交归一完全集
厄密算符的本征函数为正交归一的完全集,任何物理上合理的波函数都可以用这个正交归一的完全集展开,且系数可以使用以下方法求得
Ψ=n∑cnψncn=∫ψn∗Ψdx
证明过程:这个挺简单(
![image-20240609150751387]()
注意:ψn可以是分立的几个本征函数,也可以是连续的无限个本征函数(希尔伯特空间)
例如:把波函数在动量表象内展开,也就是求动量的概率分布函数
三维
c(p,t)=∫Φp∗Ψdxdydz=∫(2πℏ)231exp(−ℏip⋅r)Ψdxdydz
简化到一维
c(p,t)=∫exp(−ℏipx)Ψ(x,t)2πℏdx
常见题目/考查方式
波函数和正交完全集
扔给你一个波函数和一个正交完全集,让你把这个波函数用这个正交完全集展开,解题方法:
-
先使用归一化条件和标准条件,把所有的未知系数都求出来
- 有一些不能归一化的情况,原因是给的是自由粒子,不是束缚态。那就不要管了,直接第2步
-
然后展开
-
一眼能用三角函数变换直接展开的,优先使用三角函数变换直接展开
-
不能的,使用前面所说的公式,计算会很恶心
cn=∫ψn∗Ψdx
判断是否为厄米算符
记住公式,然后分部积分来凑就可以!
判断本征函数
记住本征函数的定义,直接肝就可以!
确定本征函数
解个微分方程咯,例子:
![image-20240609153033970]()
数学工具
三角函数变换
sinαcosβ=21[sin(α+β)+sin(α−β)]cosαsinβ=21[sin(α+β)−sin(α−β)]cosαcosβ=21[cos(α+β)+cos(α−β)]sinαsinβ=−21[cos(α+β)+cos(α−β)]
三角函数的复变形式/欧拉公式
sinz=2ieiz−e−izcosz=2eiz+e−izeiθ=cosθ+isinθ
测量假设
力学量的可能值与算符的关系
当一个量子系统处于量子态Ψ时,对力学量F的进行测量的结果一定为该力学量算符的本征值之一,测量结果为本征值Fn的概率为
∣cn∣2=∣∫ψn∗Ψdx∣2
这里Fψn=Fnψn为力学量F的本征方程。当测量完成后,系统塌缩至ψn
力学量的平均值与算符的关系
根据测量假设,当一个量子系统处于量子态Ψ时,对力学量F进行测量的统计平均值为
F=n∑Fn∣cn∣2=n∑Fn∣∫ψn∗Ψdx∣2=⟨F^⟩=∫ψ∗A^ψdx
故力学量的平均值一般有两种计算方法:
-
若所有的力学量本征值及对应的系数cn已知,直接使用平均值的定义
F=n∑Fn∣cn∣2
- 注意:系数必须已经进行归一化。如果没有归一化,先进行归一化
-
否则,使用算符+平均值公式
F=∫ψ∗A^ψdx
观测量的不确定度关系
共同本征函数
- 一组力学量算符具有共同完备本征函数系的充要条件是这组算符两两对易。
力学量完全集
- 为完全确定状态所需要的一组两两对易的力学量算符的最小(数目)集合称为力学量完全集。
- 力学量完全集中力学量的数目一般与体系自由度数相同。
- 由力学量完全集所确定的本征函数系,构成该体系态空间的一组完备的本征函数,即体系的任何状态均可用它展开。
不确定关系
两个力学量A^,B^,若彼此不对易[A^,B^]=0,则一般不能有确定至,在任一量子态中,其测量值的不确定程度满足不确定度关系
ΔAΔB≥21∣⟨[A^,B^]⟩∣
其中
ΔA=⟨A2⟩−⟨A⟩2
3.5 态的表象
力学量表象
表象
设算符Q^的本征值为Q1,Q2,⋯,Qn
相应本征函数为u1(x),u2(x),u3(x)⋯un(x)
将波函数Ψ(x,t)按Q的本征函数展开,有
Ψ(x,t)=n∑an(t)un(x)cn=∫un∗(x)Ψ(x,t)dx
由于Q的本征函数有互相正交的性质,这样波函数Ψ(x,t)就来到了使用Q的本征函数集合构成的抽象函数空间下,称之为Q表象
态矢量
将展开的波函数Ψ(x)写成矩阵形式有
Ψ(x)=a1(t)a2(t)⋮an(t)⋮
这样表示的波函数就可以看作Q表象下的态矢量
该矩阵的共轭矩阵为
Ψ+(x)=(a1∗(t)a2∗(t)⋯an∗(t)⋯)
归一化可以写成
Ψ+Ψ=1
基矢量
在前面所述的力学量Q表象下,本征函数集合u1(x),u2(x)⋯un(x)⋯是Q表象的基本矢量,简称基矢量。
态矢量所在的空间是一个由基矢量构成的无限维的抽象函数空间,称为希尔伯特空间。
类比
![image-20240609172607850]()
态和表象的关系就像矢量和坐标系的关系一样:态矢量就是要表示的矢量,基矢量就是坐标系,态矢量的每一个分量就是在矢量在该坐标轴上的投影分量
3.6 算符的矩阵表示
Q表象中力学量算符的矩阵表示
对于一个力学量F^,在坐标表象下有
Φ(x,t)=F^(x,p^)Ψ(x,t)
以上式子中的量在Q表象中表达方式如下表
![image-20240609173852918]()
把这一关系搬到Q表象下,就会变成
b1(t)b2(t)⋮bn(t)⋮=F11F21⋮Fn1⋯F12F22⋮Fn2⋯⋯⋯⋱⋯⋯F1mF2m⋮Fnm⋯⋯⋯⋯⋯⋯a1(t)a2(t)⋮an(t)⋮
Q表象中力学量算符的性质
- 力学量算符在Q表象中表示成的矩阵是个厄米矩阵
- 力学量算符在自身表象中是一个对角矩阵,对角元素就是算符的本征值
Q表象中量子力学公式的矩阵表示
平均值公式
在Q表象中
本征方程,本征值与本征矢
Fψn=λnψn
矩阵形式
F11F21⋮Fn1⋯F12F22⋮Fn2⋯⋯⋯⋱⋯⋯F1nF2n⋮Fnn⋯⋯⋯⋯⋯⋯a1a2⋮an⋮=λa1a2⋮an⋮
其中
Fmn=
Q表象下计算本征值和本征矢的方法
上式是一个齐次线性方程组,方程组有不完全为零解的条件是系数行列式等于零
由该条件可得久期方程
F11−λF21⋮Fn1⋯F12F22−λ⋮Fn2⋯⋯⋯⋱⋯⋯F1mF2m⋮Fnm−lambda⋯⋯⋯⋯⋯⋯=0
-
求解此久期方程得到一组λ值,λ1,λ2⋯λn⋯即为F^的本征值
-
将其分别代入原齐次线性方程组就能得到相应于各λi的本征矢(对应的就是坐标表象下的本征函数)
薛定谔方程的矩阵形式
坐标表象中的
iℏ∂t∂Ψ(r,t)=H^Ψ(r,t)
转换到Q表象下
ih∂t∂a1a2⋮an⋮=F11F21⋮Fn1⋯F12F22⋮Fn2⋯⋯⋯⋱⋯⋯F1nF2n⋮Fnn⋯⋯⋯⋯⋯⋯a1a2⋮an⋮
简记为
iℏ∂t∂Ψ=HΨ