高斯消去法是稳定的反对角占优矩阵-毕业文外文翻译.docxVIP

高斯消去法是稳定的反对角占优矩阵阿兰.乔治和 KHAKIM D. IKRAMOV摘要:假设B∈Mn(C)是一个行对角占优矩阵, 即,当0≤＜1，i = 1,,n,且=，我们的分析表明,当高斯消去法被应用于时，没有旋转是必要的。此外，增长因子A不会超过.同样的结果显示行对角优势的确会被列对角优势所取代.引言我们开始了一个报价从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中相对应的优势因子。跟着得出不等式 (5)是一种对B/B成立的不等式类型并且通过引理1可以得出以下这个相似的不等式(12) 包含了A():并且在联系了(11)和(12)的说明之后可以得出这个定理是成立的证明：.由以上可以得出(10) 成立的条件，事实上, 这个精确的不等式,当 0 1时: 并且指出：那个同样是d.d.矩阵B =的增长因子的一个限制条件评论：很明显，根据上面的论点可以得出列对角优势取代了行对角优势. 由此，我们有了下面的定理。定理2. 令A∈Mn(C)是一个奇异矩阵就比如说B =是