贡献者: addis; 零穹
本文讨论 维矢量空间 上的任意两个厄米算符 和 。当我们在 中确定一组正交归一基底后,它们可以分别表示为 的厄米矩阵 和 。我们下面来学习 的对易和它们的本征矢之间的关系。
定理 1
对有限维矢量空间 中两个厄米算符 和 ,以下命题互为充分必要条件
- 对易()。
- 中存在一组正交归一基底,同时是 的本征矢。
- 在 的每个本征子空间(子节 1 )中闭合。即 的任意本征矢,经过 的映射后仍然是 的本征矢,且对应本征值不变。
- 在 的每个本征子空间中闭合。
我们可以分为简并和非简并的情况讨论。容易得出若 和 至少有一个没有简并,那么命题 2 中的共同正交归一基底是唯一的(乘以任意相位因子 除外)。若 都存在简并,那么可能不唯一,此时只需要在 的每个本征子空间内都求出 的本征矢构成的正交归一基底即可(详见下文)。
在矢量空间的定义中,闭合是指某空间的一个或两个矢量经过某种运算后的结果仍然属于该空间。在命题 3 中,闭合具体指的是 的任何一个本征子空间中的矢量,在经过 的映射后,仍然属于该子空间。
1. 证明条件
设厄米算符 和 有一组共同的本征矢 ,则它们是当前空间的一组基底,且同时满足 和 的本征方程
对任何 , 都有
所以 对所有 成立。由于任何矢量 都可以用基底 展开,于是
即
即两算符对易。证毕。
2. 证明条件
要证明 , 只需证明 的一套本征矢都满足 的本征方程即可。
算符 非简并情况
先解出算符 的本征方程 , 如果 算符不发生简并( 是否简都可以),那么本征 值各不相同,且给定一个本征值 其归一化的本征矢只可能是 (可乘以一个任意相位因子 )。
因为算符对易,有
把式中的 看成一个新的矢量,上式说明 是算符 和本征值 的另一个本征矢。根据以上分析, 必定是 乘以某个复常数(命名为 ),即
这就说明任何 也都是 的本征矢。证毕。
算符 简并情况
假设算符 的所有本征值为 (各不相同),任意一个 有 重简并( 是否存在简并都可以)。若 , 对应唯一一个 , 那么根据上文对非简并情况的推理, 就已经是 的本征矢了。若 , 对应的所有本征矢(未归一化)组成一个 维希尔伯特子空间,即本征子空间。所以要在每个本征子空间中寻找共同本征矢,只需在每个子空间中寻找 的本征矢即可。令 为本征值为 的本征子空间中的任意矢量,利用对易关系有
这条式子说明 是 和 的一个本征矢,即 仍然在 的本征子空间中。所以 对子空间来说是一个闭合的厄米算符,所以在该子空间中必有一组正交归一的本征矢基底。在 的每个本征子空间中都找出 的基底,就可以组合成 的共同本征矢基底。证毕。
未完成:以下的内容应该归到厄米算符里面讲
(厄米算符在希尔伯特空间中是无穷维的矩阵,但是如果一个厄米算符在一个子空间中闭合,那么就可以通过以下方法找到 N 个线性无关的本征矢。先在空间中任意选取 个线性无关的正交本征矢 作为子空间的基底(本征矢的简并)),并可以用基底 展开。
令 (,可以是复数),则 在该子空间可以表示成一个 维的方形矩阵(记为 )。
以 为子空间的基底,子空间内任意函数 可以记为 。根据算符的矩阵表示
, 在子空间的矩阵元就是系数 ,
所以 在子空间范围内的本征方程的矩阵形式就是
所以 在子空间的本征值就是 的本征值,本征矢就是 的本征矢对应的波函数。
最后要证明的就是 矩阵必然存在 个本征矢。由于 是厄米算符, 必然是厄米矩阵,而 维的厄米矩阵必然存在 个两两正交的复数本征矢和实数本征值(厄米接矩阵)。
综上所述,对每一个 重简并的 , 都存在 个两两正交的本征矢作为 , 算符的共同本征矢。证毕。
3. 具体计算
若给出两个对易的厄米矩阵 ,计算共同本征矢的方法如下,注意所有步骤中的本征矢都是正交归一化的,本征矢矩阵的每一列是一个本征矢。
- 求 的本征值和本征矢矩阵 ,把本征值相同的列放在一起。
- 计算相似变换 得块对角矩阵。每个对角块的维数等于对应本征值的简并重数。
- 解 每一对角块 的本征矢矩阵 和对应的本征值,用相同顺序把 排列成块对角矩阵 即 本征矢矩阵。把本征值按相同顺序排列得到 的本征值,也是 的本征值。
- 的每一列就是 的一个共同本征矢,本征值就分别是步骤 1 和 3 求得的本征值。
例 1 计算对易厄米矩阵的共同本征矢
解得 的本征列矢量矩阵为
每一列对应的本征值为 ,简并重数分别为 。
接下来计算块对角矩阵,对角块的大小和简并重数相同, 分别为 ,,。
- 第一块没有简并,若看成 1 维矩阵,本征矢 “矩阵” 为 ,本征值为 。
- 第二块 已经对角化了,本征矢矩阵为单位矩阵 ,本征值为 。
- 第三块为 本征矢矩阵为 ,本征值为 。
把三个本征矢矩阵拼成块对角矩阵得
本征值拼接后得 和 的本征值为 。
最后求得共同本征矢矩阵为
推导和说明
我们把矩阵看成是线性变换,矩阵 看作算符 和 关于正交归一基底 的变换矩阵,即矩阵元为 和 。 的一组正交归一本征矢记为 , 的第 列就是 关于基底 的坐标,。
以上我们已经证明了算符 对易就必定具有共同本征矢。但第 1 步计算 的一组正交归一本征矢 时,若存在简并则 的选择有无穷多种。因为 的每个本征值都对应一个本征子空间,当一个本征子空间是一维的时候(非简并),上文已经证明它同时是 的本征矢,当一个本征空间是多维时(简并),这个子空间中的正交归一基底可以任意选取(子节 3 )。也就是说每个子空间中的正交归一基底 进行任意幺正变换。于是问题的关键在于如何在每个子空间中选取正交归一基底或对随机选取的基底做幺正变换使得它们同样是 的本征矢。由于 在每个子空间中闭合,所以我们只需要在每个子空间中分别解出 的正交归一本征矢 就是共同本征矢。
第 1 步中我们可以把 根据本征值划分为几组,例如 本征值相同,是第一个子空间(二维)的正交归一基底; 本征值相同,第二个子空间的(三维)的基底……
第 2 步中 就是算符 以 为基底的矩阵,相似变换 就是 从 到 的基底变换矩阵元为 。为什么它一定是块对角的呢?因为上文证明了 在 的每个本征子空间中是闭合的,即每个子空间中的任意矢量经过 映射仍然落在同一个子空间中。例如如果第一个子空间的基底是 ,那么 和 就仍然可以表示为 的线性组合,所以投影后句只有 ()不为零。每一个对角块 就是 在该子空间中的矩阵,所以自然每个 的维数就等于对应子空间的维数。
第 3 步中解出 的本征矢矩阵 后,把每列代表的本征矢就是 的共同本征矢 。但要注意 、 和 使用的都是 基底而不是 和 所在的基底 ,所以第 4 步需要做基底变换。把 排列成块对角矩阵 ,就相当于在整个空间中看待 中的列矢量 而不是在每个子空间中,这并不改变 。本征值和基底无关(链接到相似变换),所以 的本征值排列后就是 的本征值。
第 4 步就是要把 从 基底切换为原来 所在的基底 ,幺正变换 就是把 的每一列从 基底的坐标变为 基底的坐标。
代数证明
未完成:待审核调整
我们将证明下面的事实:
改用 中的基底后,算符 变为对角矩阵 ,算符 变为块对角矩阵 。 中每个块的维数就是对应本征子空间的维数。使 对角化的 的选择不止一种,对本征值相同的所有列进行幺正变换同样能使 对角化,而 就是一个这样的变换。
证明:
在具体计算 1 中,求得酉矩阵 后, 将 对角化。并且 经过同样的变换,两个新的矩阵也是可交换的。这是因为
因此不妨假定 已经对角化了(此时 已由 变换为 ),即元素 适合条件
以 表 的元素,这两个矩阵可交换的条件可写为
上式已经默认使用爱因斯坦求和标记。
对任意 利用
式 17 ,这个条件变成
如果所有的数 全不同,那么由上式直接推知, 当 时。这就是说,矩阵 也是对角形式,我们的结论就证明了。
现在来看一般情形,即数 中有相同的。为确定起见,我们假定这些数分为两组,每一组全一样:
或可将 写成块对角矩阵形式
其中
由式 19 可以知道,元素 只有在 同时大于 或同时不大于 的情形才可能不为零。因此,矩阵 是块对角矩阵:
其中, 是一个 阶的厄米矩阵, 是 阶的厄米矩阵。这便是具体计算里的第 2 步。
在不改变 的对角形式之下,我们可以在由前 个单位向量所生成的子空间中作任意一个酉变换,再由后 个单位向量所生成的子空间也作一个酉变换。选酉变换 把 化为对角形式。总的来说,在整个 维空间我们就有一个块对角形式的酉变换
这便是具体计算中的 3.
根据上面所说,在新的坐标系下,矩阵 保持对角形式:
而矩阵 变成了:
这就是说,它也成为了对角形式。由上式可知, 的每一列就是 的一个共同本征矢。这便是具体计算里的 4。这就证明了我们的命题。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。