[注:下文是发给自己的邮件, 标题和介绍是另拟的。]
.
介绍: 接前, 本打算自行摸索出引理 2 的证明, 以失败告终.(一方面是明天上课要讲, 没时间了, 另一方面也失去了耐心。看了原作证明, 期间想到个可能的研究课题, 这里就不说了 ^_6)
Lemma 2 . The norm squared of the elements of the eigenvectors are related to the eigenvalues and the submatrix eigenvalues, (2) |vi,j|^2 Π (λi(A) - λk(A)) = Π (λi(A) - λk(Mj)).
---- 该引理的焦点是末尾的公式.
---- 要点是, 指标 i 和 j 是固定的.
---- 自差连积 : 固定 λi(A), A 的其余特征值与之做差, 再做连乘, 即 Π (λi(A) - λk(A)).
---- 互差连积 : 固定 λi(A), Mj 的所有特征值与之做差, 再做连乘, 即 Π (λi(A) - λk( Mj )).
---- 公式(2) 是说, 两种连积只差一个因子(特征分量的平方).
---- 公式(2) 简记: αij·Λ(i) = Λ(i,j) . (活动指标 k 被积掉了).
.
证明的准备和摸索.
.
1) 既然关乎特征值和特征向量, 有
---- A·vk = λk ·vk.
---- V*AV = D.
---- Mj·uk = γk·uk.
---- U*MjU = N.
.
2) 如何出现两种连积 ?
---- 固定 i, 构造矩阵 λ i E, 做差:
---- V*AV - λ i E = D - λ i E.
==> V*AV - V*λ i EV = D - λ i E.
==> V*(A - λ i E)V = D - λ i E. (&)
令 Λ i = (A - λ i E). Di = D - λ i E. 不难看出 ——
---- Λ i 的一个特征值为零, 其余特征值为 λk - λi .
---- 整理 (&) 式, V*Λ i V = D i . (%)
---- 用排列矩阵将 (λ i - λ i ) = 0 特征值放到末尾.
---- 重排后V 和 D i 仍用 (%) 式中的记号.
.
评论: Λ i 是“缺”, 符合引理1的条件了. 显然——
---- Λ i 的缺值就是“自差连积” Λ(i) .
.
接着往“互差连积”摸索.
---- 固定 i, 构造矩阵 λ i E, 做差:
---- U*MjU - λ i E = N - λ i E.
==> U*MjU - U*λ i EU = N - λ i E.
==> U*(Mj - λ i E)U = N - λ i E. (#)
令 W i = (Mj - λ i E). N i = N - λ i E.
---- 整理 (#) 式, U*W i U = N i . (@ )
.
评论: Ni 的行列式就是“互差连积” Λ(i,j) .
.
3) 如何将 两种连积 联系起来?
---- 之前出现了“缺”, 现在得有个“亏”.
---- 回顾: 亏补方·缺值 = 亏值.
---- |det(亏 qn)|^2· Λ(i) = det(亏*·Λ i ·亏).
---- 另一方面, det(Ni) = Λ(i,j).
---- 预期 det(亏*·Λ i ·亏) = det(Ni)...
---- 走不下去了...
.
转到特征向量上.
---- V*Λ i V = D i .
---- V*AV = D.
注: 按更新的V, 则 D 的最后一个特征值为 λi.
---- Avi = λivi.
==> D(V*vi) = λi(V*vi).
.
如何得到 vij ?
---- 这是从 vi 中取出第 j 个分量...
---- (0,...,1,...,0)
j
.
续 3). 亏的构造.
---- 取 B 1 = N i .
(B 1 )
---- 令 B = (x ), 其中 x = 0.
.
将 B 作为 亏, 作亏补: (亏 qn).
---- 假定 qn 的最后分量为 vij, 其余分量为零.
---- 则 det (亏 qn) = vij· Λ(i,j).
---- 于是, 亏补方 = vij^2· Λ(i,j)^2 .
---- 再看 B*Λ i B = (V*B)*·D i ·(V*B)
.
Λ i 的特征向量是什么样子?
...
评论: 上述摸索失败.(参原作证明)
小结: 保留失败的原样姿势.
转载本文请联系原作者获取授权,同时请注明本文来自李毅伟科学网博客。 链接地址: https://wap.sciencenet.cn/blog-315774-1206928.html
上一篇:
“亏缺引理”的证明 下一篇:
引理2的详细推演