Skip to content

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),乘以输入向量 后就是输出向量 。在这个例子中 逆矩阵是 代入 得到 可以计算拉普拉斯逆变换求的 。这可以通过部分分式法加上查表计算,也可以通过适当的计算机辅助计算得到。结果是 是满足初始条件 的特解。这个结果和之前的特解有些许差异。为了获得 的通解,必须将齐次方程组的通解 加到 上。

每一种