第五章矩阵范数与矩阵分析.pptVIP

* 北京科技大学自动化学院自动化系 * 矩阵的微分与积分 函数矩阵的积分性质 (1) (2) 为常数： (3) 若 及变量 的函数 都可导，则 (4) 若 阶函数矩阵 可逆，且 及其逆矩阵 都可 导， 则 * 北京科技大学自动化学院自动化系 * §8 常用矩阵函数的性质 矩阵函数的性质 (1) (2) 若 ，则 (3) 若 ，则 (4) * 北京科技大学自动化学院自动化系 * 常用矩阵函数的性质 矩阵函数的性质 (5) 若 ，则 (6) * 北京科技大学自动化学院自动化系 * §9 矩阵函数在微分方程中的应用 定理12. 一阶线性常系数齐次微分方程组 的唯一解是 * 北京科技大学自动化学院自动化系 * 矩阵函数在微分方程中的应用 定理13. 一阶线性常系数非齐次微分方程组 的解 证明： * 北京科技大学自动化学院自动化系 * 矩阵函数在微分方程中的应用 例5：求线性系统的解 解： * 北京科技大学自动化学院自动化系 * 矩阵函数在微分方程中的应用 * 北京科技大学自动化学院自动化系 * 矩阵函数在微分方程中的应用 * 北京科技大学自动化学院自动化系 * 线性系统的能控性和能观性 定义13. (能观性) 对于一个线性定常系统，若在某个有限时间区 内，能通过观测系统的输出 而唯一地确定任意初始状态 ，则称此系统是完全能观的。 定理16. 系统 完全能观的充要条件，是 阶对称矩阵 为非奇异矩阵。 定理17. 系统 完全能观的充要条件，是 矩阵 的秩等于 。 * 北京科技大学自动化学院自动化系 * 线性系统的能控性和能观性 例6. 判断系统的能控性： 解： 秩为2，系统非完全能控。 * 北京科技大学自动化学院自动化系 * 线性系统的能控性和能观性 例7. 判断系统的能观性： 解： 秩为2，系统完全能观。 * * 北京科技大学自动化学院自动化系 * 向量和矩阵的极限 向量序列 收敛于向量 ，并且只当对任何一种向量范数 ，序列 收敛于零。因此，n维向量序列的收敛问题，借助于范数概念，可归结为实数序列的收敛问题。 定义5. (矩阵极限) 若 ， 如果存在极限 则称方阵 收敛于方阵 ，记为 当方阵序列不收敛时，也称为发散的。 * 北京科技大学自动化学院自动化系 * 向量和矩阵的极限 例1： 若 则有 * 北京科技大学自动化学院自动化系 * 向量和矩阵的极限 定理3. 证明： 注：方阵序列 收敛于方阵 ,当且仅当对任一方阵范数 ，序列 收敛于零。特别地， (矩阵)，当且仅当 * 北京科技大学自动化学院自动化系 * 向量和矩阵的极限 收敛方阵序列的基本性质： (1) 若 ，则对 中任何方阵范数 ， 有界。 (2) 若 又 (这里 为数列)，则有 (3)若 ，且 都存在，则 * 北京科技大学自动化学院自动化系 * 向量和矩阵的极限 定理4. (矩阵)的充分条件，是有某一方阵范数 ，使得 证明：由方阵范数定义的条件(4)知，有 因此，若 ，则 ，从而 。 由定理3便得 。证毕。 * 北京科技大学自动化学院自动化系 * 向量和矩阵的极限 定理5. (矩阵)的充分