现代科学与工程计算-孟大志-第二篇5 2.pptVIP

* * * 5.3 矩阵特征值与特征向量 5.3.1 特征值与特征向量 定义5.3.1 设矩阵 , 若存在某一复数（或实数）及非 零向量 ，使得 （5.3.1） 则称 为矩阵 的一个特征值， 为相应于 的特征向量。 （5.3.1）式等价于 （5.3.2） （5.3.2）式有非零解向量 的充要条件是系数矩阵奇异，即 （5.3.3） 的 是关于 次多项式称为 的特征多项式， （5.3.3）式称为 的特征方程，它的根为 的特征值。 鲁东大学数 学 与 信 息 学 院 定理5.3.1 设矩阵 ， 为 的特征值，则 (1) 矩阵 的迹等于特征值之和，即 (2) 矩阵 的行列式值等于全体特征值之积，即 定理5.3.2 若矩阵 且相似 ，则 (1) 矩阵A与B的特征值完全相同； (2) 若 是矩阵B的特征向量，则 便为矩阵A的特征向量。 定理5.3.3 设矩阵 为对称矩阵，其特征值 ，对任意非零向量 有 （1） 鲁东大学数 学 与 信 息 学 院 （3） （2） 其中称 为对应于向量 的Rayleigh商。 5.3.2 特征值估计 在很多工程领域，有时并不需要知道精确度很高的特征值，而只需对其在复平面上的位置作一个粗略的估计。例如，只要求知道所有特征值是否都落在一个给定的圆盘内或半平面上。或简单地说，所有特征值是否都非零（即矩阵非奇异）。最简单的估计结果为，如果 是A的特征值，则对任意 算子范数有 ，这说明A的所有特征值全部落在 复平面与半径为 ，圆心为原点的圆内。更精确的 鲁东大学数 学 与 信 息 学 院 估计可由格什戈林(Gershgorin)定理给出。 定理5.3.4（Gershgorin定理）设矩阵 ，则矩阵A的 每一个特征值必属于下述某个圆盘之中： 定理5.3.5 若上述 个圆盘中有 个圆盘构成一个连通域 ，且 与其余 个圆盘分离，则 中恰有A的 个特征值。 其中重特征根按其重数重复计算。 5.3.3 特征值的敏感性与条件数 特征值问题的条件数可以度量矩阵带有微小变化时特征值和特征向量的敏感性，矩阵特征值问题的条件数与求解线性方程组的条件数不同，而且对于给定 鲁东大学数 学 与 信 息 学 院 的矩阵来说，不同的特征值和特征向量对矩阵的扰动的敏感 性也不同。 定义5.3.2 设实矩阵 ， 为A的特征值。由于 舍入误差的影响，输入数据A总是有误差的，称之为扰动。设 A的扰动为 ，从而产生特征值的扰动，并记扰动后的矩阵 的特征值为 。一般设矩阵 的Jordan标准形为 对角形，这是实际计算中最重要的一种情形。 定理5.3.6 （Bauer-Fike定理） 设有 阶非奇异矩阵 使得 则矩阵 的任一特征值 满足 （5.3.4） 其中 为矩阵的某种算子范数，（5.3.4）式表示 特征值的最大变动为该扰动的 倍。 鲁东大学数 学 与 信 息 学 院 定义5.3.3 由于将矩阵 对角化的相似变换是不唯一的， 所以取 的下确界 称为特征值问题的条件数，但求这样的 几乎是不可能的， 所以一般用 代替 来分析。 定义5.3.4 有些矩阵的特征值对扰动很敏感，在计算敏感 特征值时，扰动会被放大 倍，若矩阵元素的微小变 病态的。如果 是对称矩阵，则存在正交阵 使 对角化，这时 这时矩阵 的微小扰动所引起的特征值的扰动也是微 小的，即矩阵关于特征值是不敏感的，良态的。 化就引起特征值较大的改变，即矩阵关于特征值是敏感的， 鲁东大学数 学 与 信 息 学 院 值得注意的是，线性方程组的条件数是 与矩阵特征值的条件数相似，但两者的条件数是不同的。 因此，一个矩阵关于线性方程组是病态的，未必关于特 征值也是病态的，反之亦然。 鲁东大学数 学 与 信 息 学 院 定理5.3.4 特征值的敏感度可以通过特征向 量构成的矩阵的条件数来估计。 * *