两个矩阵乘积的频谱

计算科学 线性代数
2021-12-14 12:31:04

给定 SPD 矩阵

ARN×N
和正对角矩阵
DRN×N.
那么产品的光谱是什么
DTAD.
光谱之间是否存在闭式关系A,D那产品呢?或者至少我们能找到它的界限吗?

例如,可以看到,如果D=αI然后cond(A)=cond(DTAD)对于任何α>0.

更新:在实践中,我观察到任意正面Dcond(A)<cond(DTAD). 但是,我无法解释或理解它。任何线索表示赞赏。

更新:以下 MATLAB 脚本生成k随机矩阵AD然后i次减少最小对角元素D按因素r<1, 计算每一次迭代的产品条件数DTAD更新D

sz = 100;

v = [];
cw = []; ch = [];

r = 0.75;

for k=1:100

    A = 4 + 1.*randn(sz);
    A = A'*A;
    W = diag(4 + 1.*randn(sz,1));

    cw(1) = cond(W);
    ch(1) = cond(W'*A*W);

    [c, j] = min(diag(W));
    for i=1:25
        W(j,j) = W(j,j) * r;
        cw(i+1) = cond(W);
        ch(i+1) = cond(W'*A*W);
    end

    v(:,k) = (ch(2:end)./ch(1:end-1))';
end
plot(v);
axis([1 i 1 1/r^2]);

如果我绘制然后迭代之间的条件数的比率它接近1/r2. 例如,对于r=0.75

它永远不会大于1/r2. 它告诉也许应该绑定产品的条件编号DTAD或者我们甚至可以在知道频谱的情况下计算它A,但我无法弄清楚。任何人都可以帮忙吗?此外,这种效果似乎与随机生成器及其参数无关。

3个回答

没有有用的关系。您可以通过查看2×2存在显式公式的情况。

编辑; 您可以从图中看到,样本曲线中的最坏情况已经与典型情况相去甚远。绝对最坏的情况会更远。因此,尽管人们也许可以证明最优界限(通过写下最优条件并分析它们),但它们对典型情况没有任何用处。

如果您只对κ2矩阵条件数而不是全谱,那么你的问题与线性系统微扰理论有关,其中矩阵D常被用作前置条件。

一个众所周知的结果是

κ2(DAD)NminDDNκ2(DAD)
其中,因此具有单位对角线,请参见 NJ Higham 中的推论 7.6 (van der Sluis),准确性和稳定性数值算法(第 2 版),SIAM 2002。D=diag(aii1/2)(DAD)

除非是可交换的,其中乘积的光谱是光谱的乘积,否则不存在简单的关系。AD