矩阵的标准型及分解.ppt
《矩阵的标准型及分解.ppt》由会员分享,可在线阅读,更多相关《矩阵的标准型及分解.ppt(97页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、数学系数学系 李继根(李继根()矩阵的标准型及分解 Still waters run deep.流静水深流静水深,人静心深人静心深 Where there is life,there is hope。有生命必有希望。有生命必有希望 标准型的理论源自矩阵的相似性,因为相标准型的理论源自矩阵的相似性,因为相似矩阵有许多似矩阵有许多相似不变量相似不变量:特征多项式、特征:特征多项式、特征值(包括代数重数和几何重数)、行列式、迹值(包括代数重数和几何重数)、行列式、迹及秩等,并且特征向量也可以借助于可逆的相及秩等,并且特征向量也可以借助于可逆的相似变换矩阵互相求出。这自然导出了寻找相似似变换矩阵互相求
2、出。这自然导出了寻找相似矩阵集合中的矩阵集合中的“代表矩阵代表矩阵”的问题。的问题。“代表矩代表矩阵阵”当然越简单越好。对于当然越简单越好。对于可对角化矩阵可对角化矩阵,“代表矩阵代表矩阵”就是特征值组成的对角矩阵。特别就是特征值组成的对角矩阵。特别地,对于地,对于正规矩阵正规矩阵,可逆的相似变换矩阵特殊,可逆的相似变换矩阵特殊化为酉矩阵或正交矩阵。但是令人非常遗憾的化为酉矩阵或正交矩阵。但是令人非常遗憾的是:是:一般矩阵未必与对角矩阵相似!一般矩阵未必与对角矩阵相似!3.2、矩阵的、矩阵的Jordan标准型标准型由于一般矩阵与对角矩阵不相似,因此我由于一般矩阵与对角矩阵不相似,因此我们们“退
3、而求其次退而求其次”,寻找,寻找“几乎对角的几乎对角的”矩阵。这就引出了矩阵在相似下的各种标矩阵。这就引出了矩阵在相似下的各种标准型问题,其中准型问题,其中Jordan标准型是标准型是最接近对最接近对角的矩阵角的矩阵,只在第只在第1条对角线上取条对角线上取1或或0。弄清楚了矩阵相似的本质,理论上、计算弄清楚了矩阵相似的本质,理论上、计算上以及应用上的许多问题就容易处理了,上以及应用上的许多问题就容易处理了,当然花费也大了。当然花费也大了。一、一、Jordan标准型的概念标准型的概念定理定理定理定理 1 1 1 1 设设 是复数域是复数域 上的线性空间上的线性空间 上的上的线性变换线性变换 。令
4、。令 在在 的一组基下的矩阵表示为的一组基下的矩阵表示为 ,如果,如果 的的特征多项式特征多项式可分解因式为可分解因式为则则 可分解成不变子空间的直和可分解成不变子空间的直和这里这里适当选取每个子空间适当选取每个子空间 的基(称为的基(称为JordanJordan基基基基),),则每个子空间的则每个子空间的Jordan基合并起来即为基合并起来即为 的的JordanJordan基基基基,并且,并且 在该在该Jordan基下的矩阵为块对角阵基下的矩阵为块对角阵称称 为为 的的的的JordanJordan标准型标准型标准型标准型。并称方阵。并称方阵为为 阶阶阶阶Jordan Jordan 块。块。块
5、。块。定理定理定理定理 2 2 2 2 设设 。如果。如果 的特征多项式可的特征多项式可分解因式为分解因式为则则 可经过可经过相似变换相似变换化成唯一的化成唯一的 Jordan标准型标准型 (不计不计Jordan块的排列次序块的排列次序),即存在可逆矩阵,即存在可逆矩阵(称为称为JordanJordan变换矩阵变换矩阵变换矩阵变换矩阵)使使或者或者 有有JordanJordan分解分解分解分解二、二、Jordan标准型的一种简易求法标准型的一种简易求法把把 的同一个特征值的若干个的同一个特征值的若干个Jordan块块排列在一起,排列在一起,就得到就得到Jordan标准型标准型其中其中 是是 阶
6、的阶的Jordan子矩阵,子矩阵,有有 个个阶数为阶数为 的的Jordan块块,即,即其中其中 是是 阶的矩阵。阶的矩阵。根据根据 的结构,将的结构,将Jordan变换矩阵变换矩阵 列分块为列分块为由由 ,可知,可知进一步,根据进一步,根据 的结构,将的结构,将 列分块为列分块为其中其中 是是 阶矩阵。阶矩阵。由由 ,可知,可知最后,根据最后,根据 的结构,设的结构,设由由 ,可知,可知解这个方程组,可得到解这个方程组,可得到JordanJordan链链链链这个名称也可以这样理解:这个名称也可以这样理解:其中,其中,是矩阵是矩阵 关于特征关于特征值值 的一个特征向量,的一个特征向量,则称为则称
7、为 的的广义特征向量广义特征向量广义特征向量广义特征向量,称称 为为 的的 级级根向量根向量根向量根向量。当所有的当所有的 时,可知时,可知 ,此时矩阵没,此时矩阵没有广义特征向量,有广义特征向量,的各列是的各列是 的线性无关的特的线性无关的特征向量,因此征向量,因此JordanJordan块块块块 都是一阶的,此时都是一阶的,此时JordanJordan标准型标准型标准型标准型为为 即矩阵即矩阵 是是可对角化矩阵可对角化矩阵可对角化矩阵可对角化矩阵。显然正规矩阵是一类最显然正规矩阵是一类最显然正规矩阵是一类最显然正规矩阵是一类最特殊的可对角化矩阵。特殊的可对角化矩阵。特殊的可对角化矩阵。特殊
8、的可对角化矩阵。例例 3 3 求矩阵求矩阵 的的 Jordan标准型标准型 和相应的和相应的Jordan变换矩阵变换矩阵 ,其中,其中解:解:特征值为特征值为 ,所以设,所以设因为特征值因为特征值 为单根,所以为单根,所以并从并从 解得对应的特征向量为解得对应的特征向量为对于二重特征值对于二重特征值 ,由,由只解得唯一的特征向量为只解得唯一的特征向量为因此因此 中只有一个中只有一个Jordan块,即块,即求解求解 ,可得所需的广义特征向量,可得所需的广义特征向量对重根有几个特征向量,就有几个约旦块综合上述,可得综合上述,可得例例 4 4 用用 Jordan标准型理论求解标准型理论求解线性微分方
9、程组线性微分方程组解:解:方程组的矩阵形式为方程组的矩阵形式为这里这里其中其中由上例,存在可逆线性变换由上例,存在可逆线性变换 使得使得所以原方程组变为所以原方程组变为即即解得解得最后,由可逆线性变换最后,由可逆线性变换 得原方程组的解得原方程组的解例例 5 5 现代控制理论中,现代控制理论中,线性定常系统线性定常系统线性定常系统线性定常系统(Linear time invariant,LTI)的的状态空间描述状态空间描述状态空间描述状态空间描述为为这里矩阵这里矩阵 表示了系统内部状态变量之间的联系,表示了系统内部状态变量之间的联系,称为称为系统矩阵系统矩阵系统矩阵系统矩阵;矩阵;矩阵 称为称
10、为输入矩阵输入矩阵输入矩阵输入矩阵或或控制矩阵控制矩阵控制矩阵控制矩阵;矩阵矩阵 称为称为输出矩阵输出矩阵输出矩阵输出矩阵或或观测矩阵观测矩阵观测矩阵观测矩阵;矩阵;矩阵 称为称为直直直直接观测矩阵接观测矩阵接观测矩阵接观测矩阵。做可逆线性变换做可逆线性变换 ,则,则 显然,最简单的显然,最简单的 就是就是 的的Jordan标准型。此时标准型。此时虽然没有实现状态变量间的虽然没有实现状态变量间的完全解耦完全解耦完全解耦完全解耦,但也达到了可,但也达到了可能达到的能达到的最简耦合形式最简耦合形式最简耦合形式最简耦合形式。因此线性变换就是状态空间。因此线性变换就是状态空间的基底变换,的基底变换,其
11、目的在于寻找描述同一系统的运动行其目的在于寻找描述同一系统的运动行为的尽可能简单的状态空间描述为的尽可能简单的状态空间描述。求下列求下列状态方程状态方程状态方程状态方程的约当标准型:的约当标准型:这里矩阵这里矩阵 是特征多项式是特征多项式 的的友矩阵友矩阵友矩阵友矩阵。解:解:的特征值为的特征值为 ,故设,故设因为特征值因为特征值 为单根,所以为单根,所以并从并从 解得对应的特征向量为解得对应的特征向量为只解得唯一的特征向量为只解得唯一的特征向量为对于二重特征值对于二重特征值 ,由,由因此因此 中只有一个中只有一个Jordan块,即块,即求解求解 ,可得所需的广义特征向量,可得所需的广义特征向
12、量综合上述,可得综合上述,可得因此经过可逆线性变换因此经过可逆线性变换 后,系统矩阵后,系统矩阵 和和控制矩阵控制矩阵 分别为分别为 例例 6 6 求矩阵求矩阵 的的 Jordan标准型标准型 和相应的和相应的Jordan变换矩阵变换矩阵 ,其中,其中因为特征值因为特征值 为单根,所以为单根,所以解:解:的特征值为的特征值为 ,则,则 并从并从 解得对应的特征向量为解得对应的特征向量为对于三重特征值对于三重特征值 ,由,由 解得两个特征向量为解得两个特征向量为因此因此 中有两个中有两个Jordan块,即块,即求解求解 ,无解无解!求解求解 ,可得所需的广义特征向量,可得所需的广义特征向量综合上
13、述,可得综合上述,可得综合上述,可得综合上述,可得要特别当心的是,要特别当心的是,如果选取三重特征值如果选取三重特征值 的特征向量为的特征向量为求解求解 ,无解无解!求解求解 ,也无解也无解!这说明,在选取特征值这说明,在选取特征值 的的 个特征向量个特征向量前述求法显然存在有待深化。前述求法显然存在有待深化。这说明,在选取特征值这说明,在选取特征值 的的 个特征向量个特征向量三、三、Jordan标准型的一般方法标准型的一般方法有非零解的最小正整数有非零解的最小正整数。根据前面的分析,这个最小正整数也就是相应于特征根据前面的分析,这个最小正整数也就是相应于特征值值 的的最大最大JordanJo
14、rdan块的阶数块的阶数。设设 为复方阵为复方阵 的代数重数为的代数重数为 的特征值,的特征值,为为使得等式使得等式成立的成立的最小正整数最小正整数(称为特征值称为特征值 的的指标指标指标指标),即使得,即使得(3)计算)计算 。按此计算出的按此计算出的 就是就是 阶阶Jordan块块 的个的个数。不计顺序,就唯一确定了相应的数。不计顺序,就唯一确定了相应的Jordan标准型。标准型。规定规定 。(。(1)计算)计算(2)计算)计算 直至出现直至出现 则则则可得最长的则可得最长的Jordan链链取取 满足满足至于相应的子矩阵至于相应的子矩阵 的构造,我们通过一个例子来的构造,我们通过一个例子来
15、说明。假定说明。假定这里这里对于另外两条长为对于另外两条长为 2 的的Jordan链,可这样选取:链,可这样选取:例例 7 7 求矩阵求矩阵 的的 Jordan标准型标准型 和相应的和相应的Jordan变换矩阵变换矩阵 ,其中,其中因为特征值因为特征值 为单根,所以为单根,所以解:解:的特征值为的特征值为 ,则,则 并从并从 解得对应的特征向量为解得对应的特征向量为对于三重特征值对于三重特征值 ,计算得,计算得从而得最长的从而得最长的Jordan链链解解 得非零向量得非零向量显然显然 线性无关。线性无关。解解 得非零向量得非零向量令令可以验证成立等式可以验证成立等式3.3、Cayley-Ham
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 矩阵 标准型 分解
限制150内