外文翻译高斯消去法是稳定反对角占优矩阵.docVIP

高斯消去法是稳定的反对角占优矩阵 阿兰.乔治 和 KHAKIM D. IKRAMOV 摘要: 假设 B∈Mn (C) 是一个行对角占优矩阵, 即, 当 0≤＜1，i = 1,,n, 且 =，我们的分析表明,当高斯消去应用时，没有旋转是必要的.同样的结果显示行对角优势的确会被列对角优势所取代. 引言 我们开始了一个报价从N海厄姆的论文[ 1 ]：当计算一LU因式分解时，主要有三类矩阵是已知的没有安全轴的：矩阵对角占优的行或列，厄米正定矩阵，和完全非负矩阵。”作者继续说道 “确定另一类矩阵非常可取的属性：复杂对称矩阵的实部和虚部都是正定的。”本文我们扩展 的矩阵具有此属性包括矩阵的逆矩阵对角占优的行或列，由此我们得出，生长因子等矩阵的。读者会在3节发现证明，在2节发现初步证明所需材料。 2.初步证实 令 A∈Mn(C), 一套复杂的 n×n 矩阵. 索引集 ,我们的主要矩阵表示A 位于行和列索引以及A() 并且与其互补的主矩阵为A().接下来最重要是引理 3。 引理 1.令 A∈Mn(C) 是一个非奇异矩阵, 并且 B =. 令 是的一个子集.不等式如下： (1) 一个积极的标量 反之，如果类似的不等式： (2) 则通过矩阵 B证明，不等式(2)只不过是不等式(1)的另外一种形式. 这可以由以下关系得出： , , , 最后两个等式是一般情况下的在A和B之间的特别案例。(参见 [2, 章1]的(33)). 由此我们可以说 B∈Mn(C)是一个(行)对角线占优矩阵 (矩阵证明略 )如果： (3) 在 0≤＜1, i = 1,,n.的情况下，可以得到不等式： (4) = B将被称之为显性因素。 引理 2. 令B是一个d.d.矩阵, 并且令= A = (aij ):然后，让 i = 1,…,n, (5) 那么 Bi 是bii的余因子, 然后 (6) 之前的这两个引理都可以在不等式一书的[3,节4, 6, 和 7].被发现 (6) 由此我们可以说，每一列的逆矩阵元素的最大，而模数是主对角线。 假设一个非奇异的n×n的矩阵 A进行不旋转的高斯消去，当经过k步的排除完成之后, 我们会得到一个尚未处理的n-k矩阵。 这个矩阵有个另外的称呼-源矩阵(经过k步之后) 或者称之为Schur补. 在后一种情况下，它是指A/A();当 (7) 引理 3.它认为 (8)\ 当 B = : 高斯消元法 这是一的众所周知的联系(看, 举个例子[4, Sec. 0.7.3]). 令 是Schur补的这项。, 是指数集 (7). 不等式如下： (9) A被称为生长因子。 d.d.矩阵的性质和高斯消去法是广为人知的。 我们将会在第三节陈述以下我们需要的引理 引理 4.令 B∈Mn(C) 是一个d.d.矩阵且具有航优势因子 (见 (3)). 然后我们可以得出: (1) 高斯消去法在任何对角旋转规则下适用于B。 (2) 对角占优矩阵具有积极的遗传属性。换句话说，每个Schur补B/B()同样是一个d.d.矩阵.此外,对每一个i来说，行优势因子. 是超越不了B/B()的。这个相应的因子 也是超越不了B的 (假设原始行指数B在行B/B()留下了”attached). 3. 主要结果 现在我们开始证明： 定理 1. 令 A∈Mn(C)是一个非奇异矩阵，比如说 B =是一个具有行优势因子(看 (4)) 的d.d.矩阵。然后我们可以得出： (10) 证明：由引理 2可以得出， a11 是在第一列最大的模数记录。于是可以得出， a11可以作为最关键的第一步消除。设定=,我们可以从(8)看到A/A与 d.d. 矩阵B()互逆. 因此我们可以得出,在A/A中和第一列最大的模数记录一致并且可以作为重要的第二步消去。重复上述步骤，我们可以得出以下结论 在A中，没有有排列需要执行高斯消去法.而且高斯消去法应用于A时的旋转不完全和A的部分旋转相同。 事实上, 关系 (6)的真正意思是在所有的矩阵A中，这项最大模数是主对角线. 这个结论在Schur补A/A中同样成立。由此可见，在之下我们不得不在对角项的排除过程中只检查这种行为。 由此我们假定： 在r = s = i; t = k的情况下实现。我们规定 然后得出 (11) M = 与A()互逆的是B/B.并且通过引理 4, B/B 是一个d.d.矩阵, 并且这个矩阵的优势因子不会超过B 中相对应