090 非齐次线性方程组 Nonhomogeneous Linear Systems
这一节讨论线性一阶微分方程组成的非齐次方程组 其中 是 矩阵, 是 的向量,在 上都是连续的。和 3.5 小节讨论一致,方程 的通解形式是 其中 是对应的齐次方程组 的通解, 是非齐次方程组 的特解。这里会简要讨论几种求解 的方法。
对角化
我们从 开始,其中 是可对角化的常量矩阵。按照 7.7 小节的讨论,通过将矩阵 对角化,就将 变换成了容易求解的方程组了。
令 的特征向量 组成了矩阵 ,定义一个新的变量 将 代入 等式两边的左边都乘以矩阵 得到 其中 , 是对角矩阵,对角线上是 的特征值 。方程组 是 个关于 解耦的线性微分方程,容易逐个求解。方程 的标量形式是 是 的线性组合。上面的线性方程可以使用 2.1 小节讨论的方法求解 其中 是任意常量。最后使用 来计算得到 的解。当两边同时乘以转移矩阵 , 的右边的第二项就是齐次方程 的通解,第一项是非齐次方程 的特解。
例 1 求方程组 解:这个例子和 7.5 节的例子一样,因此系数矩阵的特征值是 ,相应的特征向量是 因此齐次方程组的通解是 由于系数矩阵 是实数对称矩阵,那么 是 的伴随矩阵,也是转置矩阵,前提是把 的特征向量归一化为长度 1 的向量,即 。由于 的长度是 ,那么 令 并带入 得到 因此 的每一个方程是独立的一阶线性微分方程,使用 2.1 小节的方法求解得到 那么 其中 。前面两项是 对应的齐次方程组的通解,其余各项是非齐次方程组的特解。
如果方程组 的系数矩阵 不能对角化,不过可以通过特征向量和广义特征向量组成的变换矩阵 得到 Jordan 标准型 。由于 的一些行会有两个非零元素(主对角线上是特征值,右侧可能有非零元素),因此 的微分方程不是完全解耦的。不过从 开始,也能逐步求解 ,接着通过 求解得到 的解。
待定系数法
第二个求非齐次方程组 的解的方法是待定系数法,和 3.5 小节的讨论类似。我们首先假定解的形式,其中包含一些待确定的系数,这些解满足微分方程组,进而求解这些系数。这种方法仅适用于 是常量矩阵,并且 的各个分量是由多项式、指数、正弦余弦或者它们的和组成的函数。此时,可以确定解的形式。选择解的形式和求解过程和 3.5 小节讨论类似。主要差别是当非齐次项包含 时,之前是假定解的形式是 ,现在需要假定解的形式是 ,其中 是特征方程的根。
例 2 使用待定系数法求解 的特解。
解:为了使用待定系数法,将 写作 是系数矩阵的特征值,因此必须包含 两项,因此可以假定解是 其中 是待定的向量。将 代入 并令对应项的系数相等,那么 第一个说明 是 的特征值 对应的特征向量,那么 ,其中 是非零常量。那么令 可以用第二个方程求解 其中 是任意常量。如果选择 ,那么 。
求解第三个方程可以得到 ,代入第四个方程可以得到 。因此特解是 这个特解和 稍有不同,差异在 前的向量。不过,如果在 中令 ,那么 ,此时两个特解就完全一样了。
参数变分法
现在回到最一般的情况,系数矩阵不是常量,也无法对角化。令 其中 在 上连续。假定 的基解矩阵是 。下面使用参数变分法来构造特解。
齐次方程组 的通解是 ,和 3.6 的过程类似,非齐次方程组 的解是将常数向量 替换为向量函数 。那么 将上式代入 得到 由于 是基解矩阵,那么 ,那么 当 是连续的那么 是非奇异的,因此 存在,因此 只要选择一个 满足 即可,那么 其中 是任意常数向量。如果上式可以求得积分,将积分结果代入 就得到了 的特解。即便无法求解积分,也可以给出 的通解形式 其中 是 区间上的任一点。上式右边第一项是齐次方程组 的通解,第二项是 的特解。
对于 加上初始条件 的初值问题,可以选择 作为 的积分下限。那么通解是 对于 , 的积分是零,因此为了满足初始条件 ,必须有 因此 是初值问题的解。使用 来表示 很有用,但是通常是通过高斯消元法来求解 并代入 。
如果使用满足 的基解矩阵 ,可以进一步简化 如果 是常数矩阵,7.7 小节在 部分我们得到了公式 代入 进一步简化为
例 3 使用参数变分法求 的通解。
解:对应的齐次方程组的通解已经由 给出,那么 是基解矩阵。那么 的通解是 ,其中 满足 ,即 利用高斯消元法得到 那么 那么 通解与例 1 和例 2 一致。
拉普拉斯变换
第六章我们使用拉普拉斯变换求解任意阶线性方程,这种方法也可以求解方程组。由于变换是积分,因此向量的变换是对这个分量进行变换。 各个分量变换组成的向量表示为 。 类似。这里用 来表示 ,那么扩展定理 6.2.1 就得到
例 4 使用拉普拉斯变换法求解方程组
解: 的拉普拉斯变换是
其中 是 的拉普拉斯变换。
为了进一步处理和简便,这里选择 ,那么 简化为
那么
矩阵 称为转移矩阵(transfer matrix),乘以输入向量 后就是输出向量 。在这个例子中
逆矩阵是
将 代入 得到
可以计算拉普拉斯逆变换求的 。这可以通过部分分式法加上查表计算,也可以通过适当的计算机辅助计算得到。结果是
是满足初始条件 的特解。这个结果和之前的特解有些许差异。为了获得 的通解,必须将齐次方程组的通解 加到 上。
每一种