5.3_常系数线性方程组的解法5.3.1.pptVIP

§5.3 常系数线性微分方程组 Coefficients Linear ODEs 作业 P.236, 第4(a) , (b)题。 课堂练习 试求解 求解常系数线性齐次方程组实基解矩阵的方法之二 假设A是一个 矩阵，其不同特征值 它们的重数分别为 那么，对于每一个 重特征值 ,线性方程组 (5.48) 的解全体构成 n 维欧几里得空间的一个 子空间 且 n 维欧几里得空间 维 对于n 维欧几里得空间的每一个向量u，存在唯一的 使得 (5.49) 互不相同， 对应的特征向量 A 有一个 重特征值 (5.48) 的解全体就构成 n 维欧几里得空间， 不必分解。 向量 分别为 且 满足 (5.51) 则存在唯一的 (5.50) 是(5.33)的满足 的解， 设 是 n 维向量 使得 (5.48) 由此可推得 (5.52) 满足 (5.48) (5.33)的满足 的解： 当 A 只有一个特征根时，无需将特征向量分解为(5.50)。 这时对于任何 u 都有 (5.53) 解 1 求 A 的特征值 例4 试求解 2 代入公式，求初值问题的解 3 求 A 的标准基解矩阵 例5 试求满足初始条件 的解 并求expAt。 解 1 求 A 的特征值 或 其中 为任意常数。子空间 是由向量 所生成的。 2 确定 的分解 其中 是任意常数。子空间 是由向量 所张成的。 解之得到 根据公式(5.52)， 3 求满足初始条件 的解为 4 求出 exp At 依次令 得到三个线性无关的解。以这三个解作为列，得 5 求通解 x(t)=(exp At)c 作业 P.236, 第4(c) , 5(b)题。 求解常系数线性齐次方程组实基解矩阵的方法之三 利用若当标准型计算基解矩阵Axp(At) 根据线性代数知识,对每一个n阶矩阵A,存在n阶 非奇异矩阵P,使得 其中 为若当标准型. 假设若当块 则 是 阶的 有如下分解式 * §5.3 Coefficients Linear ODEs * 1 常系数齐线性微分方程组 的基解矩阵的结构，这里 A 是 常数矩阵。 2 通过代数的方法，寻求(5.33)的一个基解矩阵。 (5.33) 3 拉普拉斯变换在常系数线性微分方程组中的应用。 本节主要内容/Main Contents/ 5.3.1 矩阵指数 expA 的定义和性质 无穷矩阵级数 如果每个 收敛，则 收敛。 判断无穷矩阵级数 收敛的法则： 而级数 收敛， 则 收敛。 同理，可给出 在区间 I 上的一致收敛的定义， 和函数等类似的结果。 (5.34) 定义1 矩阵指数 E 为 n 阶单位矩阵, 是矩阵 A 的m次幂。 exp A是一个确定的矩阵。 对于一切正整数 k， 而 收敛， 则 收敛。 对于一切正整数 k，当 (c是某一正常数)时，有 而数值级数 是收敛的， (5.35) 在 t 的任何有限区间上是一致收敛的。 定义2 矩阵指数函数 因而(5.35)在 t 的任何有限区间上是一致收敛的。 性质 性质1 如果矩阵A，B是可交换的，即 AB=BA，则 (5.36) 证 由于级数 绝对收敛，由绝对收敛级数的乘法定理，得 另一方面，由二项式定理及 AB=BA ， 由绝对收敛级数的乘法定理，得 另一方面，由二项式定理及 AB=BA ， 性质2 对于任何矩阵A， 存在，且 (5.39) 证 A与-A是可交换的，故在(5.36)中，令B = -A 得 事实上 性质3 如果 T 是非奇异矩阵，则 定理9 是(5.33) 证明 是(5.33)的解矩阵，又因为 因此, 是(5.33)的标准基解矩阵。 证毕 (5.41) 矩阵 的标准基解矩阵。 例1 如果A是一个对角矩阵 试求出 的基解矩阵。 (其中未写出的元素均为零) 解 方程组可以写成 分别积分 据定理9，这就是基解矩阵。 例2 试求 的基解矩阵。 解 以验证后面的两个矩阵是可交换的，得到 但是 因此，基解矩阵就是 其中常数 和向量 c 是待定的。 因为 (5.44) 5.3.2 基解矩阵的计算公式 (5.33) (5.43) 若(5.33）有 的解， 反过来， 和向量 c 满足方程组 (5.44) 和 c 满足方程 则 是(5.33)的非零解 (5.44) 是 A 的特征值， c 是 A 的属于 的特征向量。 特征方程 是(5.33)的非零解 是 A 的特征值， c 是 A 的属于 的特征向量。 例3 求解 解 1 如果 是简单特征根， 2 如果 是特征方程的 k 重根(即 具有因子 ,而没有因