利用乘积法则与积分因子法解线性微分方程时的绝对值处理咨询

嘿，我刚好经常处理这类微分方程的问题，咱们来聊聊你遇到的绝对值困惑——其实这事儿没那么复杂，结合你的例子一步步拆解就清楚了：

你的问题示例 #

你正在求解的线性微分方程是：
$$\frac{dy}{dt}-\frac{1}{t+1}y(t)=4t^2+4t$$

按照积分因子法的步骤，你已经推导出积分因子的中间步骤：
$$g(t)=-\frac{1}{t+1}$$
$$M(t)=e^{\int g(t)dt}$$
$$M(t)=e^{\int-\frac{1}{t+1}dt}$$
$$M(t)=e^{-\ln |t+1|}$$
$$M(t)=\frac{1}{|t+1|}$$

卡壳的地方就在这个绝对值上对吧？别慌，咱们来拆解绝对值的意义和处理方式：

为什么会出现绝对值？ #

绝对值的出现是因为积分 $\int \frac{1}{u}du = \ln|u| + C$，这是为了保证对数函数的真数为正——毕竟原方程里的系数 $-\frac{1}{t+1}$ 在 $t=-1$ 处无定义，所以方程的定义域被分成了 $t > -1$ 和 $t < -1$ 两个不连通的区间，绝对值就是为了覆盖这两个区间的情况。

怎么处理这个绝对值？ #

核心逻辑是：积分因子只需要是一个非零的可微函数即可，正负号不影响后续求解，所以我们可以在每个定义域区间内去掉绝对值，选择最简洁的形式：

• 当 $t > -1$ 时，$|t+1| = t+1$，所以积分因子可以取 $M(t) = \frac{1}{t+1}$
• 当 $t < -1$ 时，$|t+1| = -(t+1)$，积分因子可以取 $M(t) = -\frac{1}{t+1}$

但这里有个偷懒又高效的技巧：不管正负，我们直接取 $M(t) = \frac{1}{t+1}$ 来继续求解就行——因为当你把整个方程乘以这个积分因子时，就算是负的，两边同时乘一个非零常数（这里的负号就是常数），方程的解不会改变，后续的任意常数 $C$ 会自动适配不同区间的符号情况。

继续完成你的方程求解验证 #

咱们用 $M(t) = \frac{1}{t+1}$ 来继续：
把原方程两边乘以积分因子：
$$\frac{1}{t+1}\frac{dy}{dt} - \frac{1}{(t+1)^2}y = \frac{4t^2+4t}{t+1}$$
右边化简后是 $4t$，左边刚好是乘积法则的逆运算：$\frac{d}{dt}\left( \frac{y}{t+1} \right)$

接下来两边积分：
$$\frac{y}{t+1} = \int 4t dt = 2t^2 + C$$
整理得到通解：
$$y(t) = (2t^2 + C)(t+1)$$

这个解在 $t > -1$ 时成立；如果考虑 $t < -1$，用负的积分因子求解，最终得到的解形式完全一样，只是常数 $C$ 可以是任意实数，已经包含了负号的情况，所以不需要分开写，只要注明解的定义域是 $t \neq -1$ 即可。

总结处理绝对值的核心要点 #

• 先明确原方程的定义域（系数有定义的区间），绝对值是为了覆盖所有定义域内的情况
• 在单个区间内，绝对值可以去掉，转化为确定的正负表达式
• 积分因子的正负不影响方程的解，优先选择最简洁的形式（通常取正）
• 最后写出通解时，记得注明解的有效定义域

内容的提问来源于stack exchange，提问作者Anthony Benitez