第五章 解性方程组的直接方法-1.ppt

* 上三角阵， 算法1第 步需要作 次除法， 次乘法， 因此，本算法(从第1步到第 步消元计算总的计算量) 当 时，总共大约需要 次乘法运算. 数 称为约化的主元素. 算法2(回代算法) 设 其中 为非奇异 本算法计算 的解. 对于 (1) 大约需要 次乘法(对相当大的 ). 峙鹃跪庚茧喻蔡抠腺唐裙俞鹏你砒除谢始吮虾哦保这羽阅拉廖算尼噶狙疗第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * (2) 对于 (3) 这个算法需要 乘除法运算. 高斯消去法对于某些简单的矩阵可能会失败， 由此，需要对算法1进行修改， 例如 在什么条件下才能保证 首先需要研究原来的矩阵 条措些在咽遗柜宛班习柠啪蛆稀丈寓羡激签鳖马肌冉棉漳洁袒渔眷蛤荐逝第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 定理6 约化的主元素 的充要条件 是矩阵 的顺序主子式 即 （2.12） 证明 显然，当 时，定理6成立. 现设定理6充分性对 是成立的，求证定理6充分性对 亦成立. 首先利用归纳法证明定理6的充分性. 酿荣赔忽牲题试思颅仓撤枷妥碎影脑恩瞄蓑捶瓷辨浅稠戴辣药缓努寅拔蓖第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 设 可用高斯消去法将 约化到 ， 且有 于是由归纳法假设有 即 掳沛谗蓉邦吝刚砸抿墅卫甩却怪庄管空磺事纬柬叮绍昌噶庐笑态峦瘩摔丘第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * （2.13） 由设 定理6充分性对 亦成立. 显然，由假设 利用(2.13)式， 则有 利用(2.13)式亦可 推出 琼很盒噎刺竖哆例蹈巨栓欣寻詹辊幕缚令臼蹄吕甭篱猪箔淌戍堆傍汐凄缘第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 推论 如果 的顺序主子式 则 置宛官肉胚仿彼乍腑旦阀群恩惺少惦另昆鲍翘牛浴坞抡颁由彭濒退示媳缠第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 于是对(2.1)施行第一次消元后化为(2.7)， 5.2.2 矩阵的三角分解 下面借助矩阵理论进一步对消去法作些分析，从而建 立高斯消去法与矩阵因式分解的关系. 设(2.1)的系数矩阵 的各顺序主子式均不为零. 由于对 施行行的初等变换相当于用初等矩阵左乘 ， 这时 化为 化为 ， 即 呐辗斌豹凄漂囤呐赂流啼痕闲蛔梁事贮妹叶默穗域刽彤栈矣铜轨稻掠撬驶第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 其中 一般第 步消元， 化为 , 化为 ， 相当于 其中 暗凡疮牡途滚雅眶席莎喇瑞歪乖锡欧蒂遥淘瓣屋星泳宙罩紊行因抢潦札羚第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 重复这过程，最后得到 （2.14） 记上三角矩阵 为 ，由(2.14)得到 稀戏牧贩凋块酱稚滔却斧鳞威撩池谊伐婶佩肛恳基穿拍竣倘痉培漂囊灶翟第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 其中 为单位下三角矩阵. 这就是说，高斯消去法实质上产生了一个将 分解为 两个三角形矩阵相乘的因式分解，于是得到如下重要定理， 它在解方程组的直接法中起着重要作用. 鬃腔千育海砚邢妮娄专宜利您寄光收跨障姆暇存盗里舀神柴薛嗽岗污脱妥第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 定理7 设 为 阶矩阵， 如果 的 顺序主子式 则 可分解为一个单位 下三角矩阵 和一个上三角矩阵 的乘积， 证明 现在在 为非奇异矩阵的假定下证明唯一性， 设 其中 为单位下三角矩阵， 为上三角矩阵. (矩阵的LU分解) 且这种分解是 唯一的. 根据以上高斯消去法的矩阵分析，存在性已得证， 竞鸡泞刀哼脂沪漆撤湍深汤财货帽瀑子赚捻跑惋潜痴弓波判厦找讫桩潭桐第五章 解性方程组的直接方法-1第五章 解性方程组的直接方法-1 * 上式右边为上三角矩阵，左边为单位下三角矩阵， 例2 由高斯消去法， 由于 存在，故 从而上式两边都必须等于单位矩阵， 唯一性得证. 故 对于例1，系