1. 说明
这里整理了量子力学课程中的常用数学公式, 对称性和中心力场问题, 以及两份小抄.
| 势 | 线性 | 谐振子 | 库仑 |
|---|
| | | | |
| 能量 | | | | |
| 长度 | | | | |
| 时间 | | | | |
| 速度 | | | | |
| 动量 | | | | |
表 1 自然单位制2. 数学速查
2.1. Schwarz 不等式
这里可以这样说明:
对任意 成立, 将 带入得证
2.2. 三角恒等式
2.3. Levi-Civita 符号
参考中文维基页面
上面的行列式恒等式对于一般的 也成立
2.4. 球坐标系
2.5. 爱因斯坦求和约定
采用爱因斯坦求和约定,可以让式子更加简洁
2.6. 泊松括号
2.7. 特殊函数
2.7.1. 连带Legendre多项式
2.7.2. 连带Legendre多项式的正交性
2.7.3. Legendre多项式
连带Legendre多项式中的情况
2.7.4. Legendre多项式的正交性
2.7.5. 球谐函数
2.7.6. 球谐函数的完备性
平方可积的球谐函数形成了一个希尔伯特空间
2.7.7. 球谐函数的递推性质
2.7.8. 厄米多项式的正交性
2.7.9. 厄米多项式的递推关系
2.7.10. 合流超几何微分方程
2.7.11. 合流超几何函数
2.8. 函数
2.8.1. 性质
2.8.2. 三维 函数
假设已定义一维 Dirac 函数 , 那么
2.9. 傅里叶变换
2.9.1. Parseval
平方可积函数的标积在傅里叶变化中保持不变
2.10. 积分
2.11. 矩阵
的酉矩阵 有 个复参数, 相当于 个实参数, 但只有 个自由度.
3. 态与波函数
3.1. 概率密度
3.2. 概率流密度
3.3. 概率守恒
概率(粒子数)守恒的微分式
3.4. 函数规格化
对于全空间积分发散的波函数,可以要求
3.5. positive definite metric
4. 算符
参考格里菲斯[1] 以及樱井纯[2].
4.1. 基本假设
4.1.1. 伴随算符
为了书写简便, 下文的算符都省略 hat, 但仍需区分算符、可观测量和算符的矩阵表示. 的伴随算符记为,有
4.1.2. 厄米算符
称 为厄米算符当且仅当
4.1.3. 投影算符
对某表象中的基矢 , 称 为投影算符, 作用在任意 上可得到 在 方向上的部分
4.1.4. 单位算符
完备的情况下有
厄米算符的本征值总是实的.
厄米算符对应不同本征值的本征态正交.
4.1.5. 平均值
算符的平均值定义为
厄米算符的平均值总是实的.
平均值总是实的的算符是厄米的.
4.1.6. 对易子
算符 , 的对易子为:
如果两个厄米算符有共同的本征函数的集合, 那么它们对易.
4.1.7. 反对易子
算符 , 的反对易子定义为:
4.1.8. 反厄米算符
称 为反厄米算符当且仅当
反厄米算符的平均值总是虚的.
4.1.9. 偏差算符
4.1.10. 不确定关系
对任意 有
这里可以这样说明: 将 与 带入前面的 Schwarz 不等式 可得
由于
再利用厄米算符的平均值为实数, 反厄米算符的平均值为虚数这两个性质, 有
由此可得,
4.2. 常见算符表示
4.3. 对易关系
4.4. Schödinger 方程
Schödinger 方程是非相对论量子力学的基本方程. 可以理解为系统状态的演化由哈密顿算符决定
4.4.1. 哈密顿量
哈密顿算符的本征值是哈密顿量:
4.4.2. 定态
若 是哈密顿量的本征态, 则称其为定态. 定态是体系的能量有确定值的状态.
定态下, 一切不显含时间的力学量的平均值和概率分布都不随时间变化.
4.5. 角动量
球坐标表示下, 角动量的各个分量表示为
球谐函数 是 与 的共同本征态 (球坐标下表示).
是连带 Legendre 方程, 其中
当 时, 有连带Legendre多项式 作为解, 根据前面的归一化正交条件, 可以写出:
满足
最终
球谐函数满足
4.6. 算符的函数
4.6.1. Backer-Hausdorff
对算符 , , 若 满足 , 则有
4.7. 矩阵形式
4.7.1. 幺正矩阵
称 为幺正矩阵, 当且仅当
4.7.2. 幺正变换
对 套各自正交归一的基矢, 存在幺正算符 使得
这里可以这样说明: 构造
注意到
从而 是幺正算符.
例如, 在 的表象下, 的矩阵是什么?
具体计算如下: 考虑 下共有3个本征态, 记为 那么 的矩阵表示应为
例如, 二态体系的哈密顿量 , 在 的表象中有
证明:
4.7.3. 正交对角化
4.8. 不同表象中的表示
5. 简单势场中的本征问题
5.1. 简并
如果对一个给定的能量,只有一个线性独立的波函数存在,则称该能级是非简并的,否则 称它是简并的,其线性独立的波函数的个数称为它的简并度
5.2. 关于一维定态Schrödinger方程的解的结论
5.2.1. Wronski
若势能在上没有奇点,和都是一维定态Schrödinger方程的解,而且属于相同的能量,那么
5.2.2. 共轭
假定是实函数,那么若是解,也是解
5.2.3. 反射
若,那么若是解,也是解
5.2.4. 不简并
一维束缚定态必是非简并态
5.3. 一维无限深方势阱
5.4. 三维无限深方势阱
5.5. 一维有限深方势阱
势阱外的波函数为平面波
无量纲数 , 满足
- 偶宇称态
基态宇称为偶
- 奇宇称态
在时才可能出现最低的奇宇称能级
5.6. 一维有限高方势垒
取波函数
透射系数为
在 的情况下,
反射系数为
5.7. 一维势垒
在Schödinger方程的奇点处不存在, 不连续,对Schödinger方程积分可得跃变条件
由连续性与跃变条件有
特征长度为,特征能量为
5.8. 一维谐振子
图 1 一维谐振子本征态5.8.1. 幂级数法
薛定谔方程表示为
解为
5.8.1.1. 谐振子波函数的递推公式
5.8.2. 升降算符法
参考 Modern Quantum Mechanics 3rd edition[2]
定义3个算符
可以得到
将的本征值记为,即,则有
另外
升降算符的名称来源于
从而和也是的本征态. 从上式还可发现
人们一般取为实数且,对也如此操作,最后有
这个等式还蕴含,即为正定厄米算符,可证明均为整数,且最小的本征值. 从而谐振子基态能量为
为得到所有的本征态,从基态出发,反复作用产生算符,有
若想得到本征态在坐标表象下的表示,如,可以借助的本征方程
即解有关的微分方程
解得归一化波函数
对于一般的,利用可得
例如, 证明一维谐振子的能量本征态的为
6. 守恒量与对称性
6.1. 守恒量
6.1.1. Ehrenfest
若力学量不显含时间,有
这里可以这样说明: 考虑力学量在任意上的演化,可得
此外不显含时间,有.
若力学量不显含时间,且,则在任何下的平均值与概率分布均不变.
这里可以这样说明: 平均值不变由 Ehrenfest 关系说明, 概率分布则可按下面的方法处理.
取包含在内的力学量完全集,将任何态用完全集的共同本征态展开
其中 现在考虑概率的变化
由于
因此.
例如, 中心力场中的守恒量为.
例如, 自由粒子的态可以用标记,对应能量的简并度一般是无穷大.
6.1.2. Feynman-Hellmann
若系统哈密顿量含有某参数,为哈密顿量的本征值,相应归一化本征态(束缚态)为,有
例如, 证明一维谐振子的能量本征态的为
例如, 证明一维谐振子的能量本征态满足
6.1.3. 位力(virial)
处于势场中的粒子,动能算符在定态上的平均值为
由此可得, 当势能为坐标的次齐次函数时,有
6.2. 力学量完全集
6.2.1. CSCO
彼此独立,互相对易的厄米算符的共同本征态如果能唯一确定体系的状态,那么这组力学量就称为对易力学量完全集(complete set of commuting observables).
6.2.2. CSCCO
如果对易力学量完全集中包含哈密顿量,并且哈密顿量是守恒量(不显含时间),那么该完全集中所有力学量都是守恒量,这样的完全集称为对易守恒量完全集(complete set of commuting conserved observables).
6.3. Schödinger 图像与 Heisenberg图像
6.3.1. Schödinger图像
随时间演化,其变化遵守Schrödinger方程, 力学量算符(不显含时间)与时间无关,这种描述方式称为Schrödinger图像.
6.3.2. Heisenberg图像
不随时间变化,力学量算符随时间演化,这种描述方式称为Heisenberg图像. 除本节外, 其余部分均采用 Schrödinger 图像.
6.3.3. Heisenberg方程
算符随时间的变化为
6.4. 相互作用图像
相互作用图像介于Schrödinger图像和Heisenberg图像之间,在用微扰论来处理问题时有广泛的应用.
6.5. 对称性变换
称满足以下条件的幺正算符为体系的对称性变换
必须是幺正的,否则概率模不守恒
对于幺正变换对称性,存在相应的守恒量.
6.5.1. 无穷小变换
对于连续变换,考虑
其中必须是厄米的.称这样的变换为无穷小变换.
6.5.2. 无穷小算符
上述变换中的称为的无穷小算符, 它会给出一个守恒量.
6.5.3. 空间反射变换
对态和算符都可以分别定义空间反射变换
6.5.4. 空间反射对称性
若哈密顿量满足,那么系统具有空间反射对称性.
具有空间反射对称性的系统宇称守恒.
6.5.5. 空间平移对称性
若哈密顿量满足,那么系统具有空间平移对称性.
具有空间平移对称性的系统动量守恒.
6.5.6. 空间转动对称性
若哈密顿量满足,那么系统具有空间转动对称性.
具有空间转动对称性的系统角动量守恒.
6.5.7. 时间平移对称性
若哈密顿量满足,那么系统具有时间平移对称性.
具有时间平移对称性的系统哈密顿量不显含时间,能量守恒.即系统状态随时间的演化规律与时间零点的选取无关,具有时间均匀性.
6.6. 全同粒子体系与交换对称性
6.6.1. 全同粒子
经典中,由于粒子的性质和状态可以连续变化,谈不上两个粒子真正全同.但实际上粒子是量子化的,属于同一类(内禀属性即静质量,电荷,自旋,磁矩,寿命, 内部结构等相同)的粒子称为全同粒子.
6.6.2. 交换算符
交换算符是厄米的.
交换算符是幺正的.
6.6.3. 全同性假设
全同粒子体系中,可观测量对任何两个粒子交换是不变的,即任意两个全同粒子的交换,都不改变体系的物理状态.
由交换算符和全同性假设可知, 全同粒子体系的波函数满足
6.6.4. 全同粒子的统计性不变
全同粒子系的波函数交换对称性是不随时间变化的,即Bose统计或Fermi统计是不变的.
6.6.5. 个全同玻色子体系的波函数
6.6.6. 反对称化算符
这里代表个粒子的一种排列,在是经过奇数个对换得到时为,偶数个对换为
6.6.7. 个全同费米子体系的波函数

6.6.8. Pauli不相容原理
不允许有两个及以上全同的费米子处于同一个单粒子态.
例如, 对 3 个全同粒子组成的系统, 如果可能的单粒子态有3种, 那么 Boltzmann 统计 (经典统计), Bose 统计和 Fermi 统计下, 系统的可能态数目分别为27, 10 和 1. 一般来说, 对于3个及3个以上的全同粒子体系, Bose 统计与 Fermi 统计的可能态数目总是少于 Boltzmann 统计, 因为后者还包含没有对称性或具有混杂对称性的状态.
6.7. 二次量子化方法
对全同粒子编号本来就是多余的, 粒子填布数表象描述全同粒子体系的量子态更为方便.
在同一势场中运动的全同粒子体系的态可以用单粒子态上的粒子占有数表示
即在 上分别有 个粒子.
7. 中心力场中的本征问题
7.1. Sommerfeld 量子化条件
中心力场中势函数的特点:
- , 具有转动对称性
- , 轨道角动量守恒
中心力场中的力学量完全集一般选为
7.2. 中心力场中运动粒子的哈密顿量
7.3. 中心力场中能量本征方程
一般将势函数分离变量为
令 , 有
7.4. 无限深球方势阱
- s态
径向方程为
边界条件为
在势阱内有
归一化波函数为
- 非s态
径向方程为
引入无量纲变量有
由于在球方势阱内, 这个球 Bessel 方程的解应取为.
记的根依次为,那么能量本征值为
径向本征函数为
若取,相当于自由粒子,通常采用如下的归一化
7.5. 三维各向同性谐振子
能量本征值为
简并度为
径向本征函数为
如果在直角坐标系中求解,这两套本征态通过幺正变换联系起来
7.6. 氢原子
化为单体问题后有
7.6.1. Bohr半径
能量本征值为
径向本征函数为
本征函数为
简并度为
7.6.2. 电流分布和磁矩
统计意义上,电子的电流密度(绕z轴的环电流密度)为
总的磁矩为
7.6.2.1. Bohr磁子
7.6.2.2. g因子
7.6.3. 概率密度

图 2 氢原子波函数7.6.4. 类氢离子
关于氢原子的结论, 在类氢离子 () 上也适用, 只需将核电荷数 换成 , 约化质量换成相应的 . 其能级公式为
8. 角动量
北大曹庆宏老师的讲义草稿非常值得阅读学习.
9. 自旋
10. 微扰论
10.1. 非简并围绕论
10.2. 简并微扰论
11. 含时微扰与跃迁
11.1. 含时体系的量子跃迁的微扰论
11.2. 光的吸收与辐射的半经典理论
12. 散射
Bibliography
- [1] D. J. Griffiths, Introduction to Quantum Mechanics, 2. ed (Pearson Prentice Hall, Upper Saddle River, NJ London, 2005).
- [2] J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed. (Cambridge University Press, 2020).