基金Supported by the Swedish Strategic Research Foundation Grant (Matrix Pencil Computations in Computer-Aided Control System Design: Theory Algorithms and Software Tools)
文摘设A是一个列满秩矩阵,x是线性方程组ATAx = b的一个计算解.基于这一方程组的系数矩阵ATA具有特殊的结构,定义了x的一个结构向后误差ηS(?),并且利用Brouwer不动点x定理和奇异值分解,给出了这个结构向后误差ηS(?)的上、下界.计算实例表明:这个被获得x的ηS(?)的上、下界,为检验线性方程组ATAx = b 的计算解的结构向后稳定性,提供了一个简便的方法.