010 线性微分方程;积分因子法 Linear Differential Equations; Method of Integrating Factors
如果方程 中的 仅线性依赖于因变量 ,那么 是一阶线性微分方程。在 1.1 和 1.2 讨论了如下形式的带有限制的一阶线性微分方程。 其中 是给定常量。
现在考虑更一般的一阶线性微分方程,将 中的 替换为任意 的函数。通常一阶线性微分方程标准(first-order linear differential equation
)形式是
其中 是给定的 的函数。有时也写作下面这种形式
其中 是给定函数。如果 ,两边同除 就可以将 转化成 。
有时,两边同时积分就可以得到一阶线性微分方程的解,比如下面这个例子。
例 1 求解微分方程 解:方程 的左边是 和 的线性组合,这个组合满足微分乘积关系。事实上 那么 就可以写作 因此,两边对 积分可以得到 其中 是任意积分常量。那么解是
不过大部分的一阶线性微分方程并不能像上个例子这样求解,因为左侧不是 与某个函数的乘积的微分。不过,莱布尼茨发现如果微分方程两边同时乘以一个函数 ,就能变成上面例子的形式。函数 称为积分因子(integrating factor
)。本节的主要任务就是对给定方程如何求解积分因子。首先来看一个例子。
例 2 求微分方程 的通解。画出一些任意常数 对应的解。求解并画出通过点 的解。
解:首先对 两边同时乘以 我们要求的积分因子 能使得 的左侧是 的微分,即 方程 的左侧与 右侧相等,那么 要满足 可以重写作 等价于 那么 即 上面是 的通解,也是 的积分因子。由于无需积分因子的一般形式,可以选择 ,那么 。
将 代入 选择的积分因子使得 的左侧是函数 的微分,那么 两边同时积分得到 其中 是任意常量。最后,将 表达为 的函数,那么 的通解就是 为了求通过 的解,令 ,得到 ,因此 ,那么通过该点的解是 下图是方程 的一些 对应的解,背景是方向场。满足 的解是绿色曲线。
现在扩展积分因子法到形式如下的方程 其中 是常量, 是给定函数。根据例 2 积分因子 要满足 那么积分因子是 , 两边同乘 得到 因此 两边同时积分得到 其中 是任意常量。对于简单的函数 ,可以求解出积分,使用初等函数表示 。不过对于很多复杂的函数 ,可能必须要用积分形式表达。这样 积分下限选择 会改变常量 的值,但不会改变解。将 代入 得到 。
例 3 求微分方程 的通解,并画出若干个解,分析讨论 时的行为。
解:令 那么 就是 ,因此积分因子是 , 两边同时乘以积分因子得到 那么 两边同时积分得到 对 的最后一项使用了分部积分法。因此 的通解是 下图是 中若干个 对应的解。当 很大时,解的决定项是 。如果 ,解的绝对值指数级增加,符号与 相同。也就是说随着 的增加解是分散的。增长到正无穷和负无穷的分界线是 。将 代入 ,解是 ,线性增长。
现在回到更一般的一阶线性微分方程 其中 是给定函数。为了确定积分因子,两边同乘 得到 方程 的左边是 的微分,那么 必须满足 如果临时假定 是正的,那么 因此 这里选择任意常量 为零,这样使得 尽可能简单 注意,这里 是正的,和之前的假设一致。回到方程 ,有 因此 其中 是任意常量。有时 的积分可以用初等函数表示。不过更一般的情况是不得不使用积分形式 这里 是某个使得积分简便的下限值。上面的方程涉及两个积分,一个是 计算 ,第二个就是 中确定 的积分。
例 4 求初值问题 解:为了确定 ,首先将 写作 的形式。 所以 。为了求解 ,首先计算积分因子 两边同乘 得到 因此 其中 是任意常量。对于 有 这就是方程 的通解。
为了满足初值条件 ,将 代入 得到 ,那么 ,因此 是初值问题 的解。这个解如下图绿色曲线所示。
当 时, 的正半轴是边界和渐近线。这是因为 在原点处无穷间断。
这里还需要注意到 是方程 的通解,但不是初值问题的解。
对于 ,当 时,曲线的渐近线是 的负半轴。
泛化初始条件 为 那么 ,因此解 变为 当 时,,那么 ,这个解也是分界线,且在 处也可导。
例 5 求初值问题 解:对 两边同除 2 变成 的形式 那么 ,因此积分因子 ,那么 两边同乘 得到 左边是 的导数,两边同时积分得到 的右边无法无法使用初等函数表示,因此保留积分形式。积分下限选择零,那么 其中 是任意常量。那么方程 的通解是 为了满足初始条件 ,令 得到 因此 。
这个例子中不得不使用积分形式来表示解。不过可以使用软件来数值求解积分。或者使用第八章的数值法直接求解微分方程。
下图是若干个 对应的解 的图像。其中满足 解使用粗体表示。当 ,从图中可以得到一个猜想,所有解都趋于某一个极限。