本帖最后由 AzuleneSDSZ 于 2026-8-18 18:42 编辑
本人水平很差, 只是想借助这个问题理清自己的思路, 复习自己目前的学习, 说说自己的理解. 请各位大佬指正.
在有限基下, HF算符给的单电子波函数处于span(\chi_1, \chi_2...)\times C^2 这个子空间, 这个子空间又在这个单电子的Hilbert空间中(就是有良好性质的内积空间). 不妨将第i号电子的空间标记成V_i .你说的组态, 本人只能将其理解为这些空间中的一个个哈密顿算符+自旋波函数的本征态. 根据谱定理这些Hilbert可被这些本征态张成.
但是, 一旦形成多电子体系, 就由这些空间生成了外积空间 \Lambda^N_i V_i . 外积首先是一种张量积, 就是直接将态乘起来, 耦合起来, 但是又保证了交换性, 多电子波函数是这个空间中的向量, 换言之, Slater行列式和其线性组合是这个空间的向量. 完备性由张量积保证, 因为外积产生的空间是张量积产生的空间的子空间. 将其称之为多电子波函数空间.
HF的解, 就是找到Hartree-Fock算符的本征函数. 首先不难看出Hartree-Fock算符定义在单电子波函数空间上. 一旦HF收敛, 这些HF单电子轨道首先会被外积代数组合成一个个Slater行列式, 或者多电子波函数. 然后这些所有的多电子波函数自然就根据前面提到的完备的原理, 张成了多电子波函数空间.
原先的那些个本征态, 并不位于这个多电子波函数的空间中. 从slater行列式的结构就可以看出, 是好几个单电子态乘在一起的形式. 如果只有一个单电子态, 是不可能位于所有向量都是乘在一起的多电子波函数空间中的. 所以, 这个时候, 你说的诸如1s^2之类组态, 就已经不足以描述多电子波函数空间了.
至于组态, 是在这个多电子波函数空间中, 引入了各种角动量代数算符的结果. 例如有 L=L_1+L_2..., S=S_1+S_2...等等. 这些算符都定义在多电子波函数空间上. 无所谓是不是Hartree-Fock生成的, 因为两者都工作在多电子波函数的这个空间上, 还是在一个体系内的. 多电子波函数的组态(例如^1 S)和单电子波函数的组态(1s)即不是同一算符的本征态, 也不是同一空间中的向量. 因为耦合之后没法观察单电子的角动量怎么样了, 所有的多电子只能一起观察, 但是这个时候它就要遵循反对称性, 或者遵循外积代数.
那么这些谱项是如何产生的呢? 本人目前的理解是, 如何使用多电子角动量代数的量子数来表示多电子波函数空间 \Lambda^N_i V_i, 是一个群表示论的问题. 首先这些个多电子角动量算符在没有各种自旋轨道作用的情况下和哈密顿对易. 所以态可以用它们的量子数来表示. 这里的量子数一样有l, s, m_l, m_s, j , m_j等等. 单电子角动量平方算符和多电子角动量平方算符对易, 但是和不带平方的L_{z1}, S_{z1}等等就不对易了. 这就是你说的无法分辨. 这些态肯定不能用单电子波函数的量子数来表示了, 只能使用多电子角动量算符来考虑.
不同的量子数(对应到不同的本征值)对应的态正交, 这是个好的性质. 例如, S, P, D态等, 包括左上角不同的2S+1, 这些不同谱项中的元素相互正交. 注意,这些个谱项并不是单个的态, 而是选取了量子数产生的本征空间. 这样就给出了直和, 因为这样不同谱项就不会有重叠的态了. 但是, 并不是随便选取不同的L, S就可以给出直和的空间的, 举例来说, 多电子波函数空间的维数是C_M^N, M代表单电子波函数轨道数, N代表电子数. 如果要直和, 就要保证这些个谱项的维数总和 \Sum (2L+1)(2S+1) = C_M^N. 这样才有好的表示. 通过群论的方法可以举出一组好的谱项, 而这些谱项的直和就是多电子波函数空间. 这些谱项才是考虑的多电子原子, 分子的几重态, 而不是那些个停留在单电子波函数空间的1s, 2s等等.
虽然给定了单电子态, 就可以知道会有什么谱项, 但是, 它们的能量谁高谁低就只能靠计算了, 没办法理论推出. Levine里接下来就直接描述了一大堆经验规则, 可见一斑.
|