第四单元 矩阵分析及矩阵函数.pptVIP

第四章 矩阵分析及矩阵函数 下面来考虑(4.3.3)的解 首先，将变量 在 处展 成幂级数形式 ： 其中 由方程(4.3.3)得到 （4.3.4） 从而有 下面我们来证明(4.3.4)确实是(4.3.3)的解 当 时, 式(4.3.4) 是(4.3.3)的解。 （1）(4.3.3)的解是 ，并且这个 解唯一； （2）解 的秩与 的取值无关。 定理4.3.1 在初值问题(4.3.3)中： 4.3.1.2 齐次方程解的讨论 在工程上要求，对任意的 及初值 初值问题(4.3.5)的解 具有 性质 定理4.3.2 对任意的 和 ，初值 问题 的解 满足 的充分必要条件是矩阵 的特征值 都有负的实部。 定义4.3.1 所有特征值都有负实部的矩 阵称为稳定矩阵 。 例4.3.2 推论1 对任意的 和 ，初值问题(4.3.5)的解满足 的充要条件是A是稳定矩阵。 4.3.2 一阶线性常系数非齐次微分方程初 值问题 考虑 ，即一阶常系数非齐次微分方程(4.3.2)的解。 常系数线性方程 解的问题，假设 是它的一个特解， 是它的一般解，那么有定理保证 是它对应的齐次方程 的解，这个解的特性在初值问题(4.3.2)中同样适用 。 易验证 即 是微分方程 的一般解 令 （4.3.8） 为确定特解 ，用常向量变易法，设 ，其中 是待定向量，将(4.3.8)代入方程(4.3.2) ，得到 于是有 化简后，得 (4.3.2)的一般解是 （4.3.9） (4.3.2) 的初值点变为 时，即 （4.3.10） (4.3.10)的解为 例 4.3.3 4.3.3 n阶常系数微分方程的解 设 为常数， 为已知函数， 称 为n阶常系数微分方程，当 时称为非齐次的，否则称为齐次的. 下面考虑n阶常系数线性齐次方程的初值问题 （4.3.11） 令 从而有 令 初值问题(4.3.11)可以写成 （4.3.12） 其中系数矩阵 A称为(4.3.11)方程的友矩阵。 由于初值问题(4.3.11)的解是(4.3.12)解的第一个分量，从而(4.3.11)的解是 对于n阶常系数线性非齐次方程的初值问题 (4.3.13) 可以进行类似讨论，得到(4.3.13)的解是方程组 的解的第一个分量. 其中 定理4.2.1 对于方阵 的函数 容易验证以下性质： 值得注意的是，在微积分中，我们对指数函数有如下性质 , 但矩阵函数的第（3）条性质中指出，这样一条性质必须 有条件保证。否则，一般不成立。 例如，令 易证 互不相等 4.2.2 矩阵函数的计算 4.2.2.1 待定系数法 用待定系数法，计算矩阵函数 是基于每个矩阵 存在最小多项式的前提下进行的，假设A∈ 的最小多项式是 （4.2.6） 多项式 可以写成 ， 其中 的次数低于 的次数。由于 有 ，所以 。 另一方面，我们可以将A的最小多项式(4.2.6)写成 (4.2.7) 其中 是A的互异的特征值 定义4.2.2 在A的谱上确定: 设A的最小多项式是 ，如(4.2.6)所示，如果复 函数 在A的谱 上有下述确定 的值。 （4.2.8） 称 在A的谱上确定，并称(4.2.8) 中的 r个数为 在A的谱上的值。 推论1 每个复多项式 在任何 的谱上确定。 例 4.2.1 例 4.2.2 例 4.2.3 例 4.2.4 定理4.2.2 设 和 是两个复多项式，两者的次数和系数均可以不同, ，则 的充分必要条件是 和 在A的谱上的值完全相同。 4.2.2.2 利用Jordan标准形计算矩阵函数 实际过程中，可以将无穷级数求和的问题化为多项式求和问题。 假设 矩阵A的最小多项式是 则有 当 时， 可降为低于 的幂次， 矩阵多