一阶线性微分方程 y' + P(x)y = Q(x) 的积分因子求解法

阶段1：理解问题与核心思想

1. 识别 方程的标准形式：一阶线性微分方程必须写成 y' + P(x)y = Q(x)，其中 P(x) 和 Q(x) 是关于 x 的已知函数，y 是未知函数，y' 是 y 对 x 的导数。
2. 明确 为什么不能直接积分：因为 y' 和 y 项是混合的，无法直接对两边同时积分得到显式解。我们需要一个“魔法因子”——积分因子，将左边变成某个函数的导数。
3. 记住 积分因子的形式：它是 μ(x) = e^{∫P(x)dx}，一个指数函数。这个因子乘到方程两边后，左边恰好变成 (μ(x)y)'，从而可以积分求解。

阶段2：推导积分因子

1. 构想 一个函数 μ(x)，使得 μ(x) * y' + μ(x) * P(x)y = (μ(x) * y)'。
2. 展开 右边：(μy)' = μ'y + μy'，与左边比较，需要 μ'y + μy' = μy' + μP y，即 μ'y = μP y。
3. 消除 公共项 y，得到 μ' = μP。这是一个变量可分离的微分方程，解它：
   • 分离 变量：dμ/dx = μP → dμ/μ = P dx。
   • 积分 两边：∫ dμ/μ = ∫ P dx → ln|μ| = ∫ P dx + C。
   • 取指数：μ = e^{∫ P dx + C} = e^C * e^{∫ P dx}，e^C 是常数，乘除不影响结果，通常取最简单的 μ = e^{∫ P dx}。
4. 得到 积分因子 μ(x) = e^{∫P(x)dx}（不必加绝对值，因为最终结果允许常数因子修正）。

阶段3：应用积分因子求解

1. 写出 原方程：y' + P(x)y = Q(x)。
2. 两边乘以 积分因子 μ(x)：

   μ y' + μ P y = μ Q

3. 识别 左边为 (μ y)'，因此方程变成 (μ y)' = μ Q。
4. 对两边积分（对 x）：

   ∫ (μ y)' dx = ∫ μ Q dx  →  μ y = ∫ μ Q dx + C

5. 解出 y：

   y = (1/μ) * ( ∫ μ Q dx + C )

   其中 μ = e^{∫ P dx}，C 为任意常数。

阶段4：实例演练（手把手计算）

例题：求微分方程 y' + (2/x) y = x^2 的通解。

1. 识别 P(x) = 2/x，Q(x) = x^2。
2. 计算 积分因子：
   计算 ∫ P dx = ∫ (2/x) dx = 2 ln|x| = ln(x^2)（定义域暂不考虑负值）。
   取指数：μ = e^{ln(x^2)} = x^2。
3. 两边乘以 μ = x^2：

   x^2 y' + (2/x) * x^2 y = x^2 * x^2  →  x^2 y' + 2x y = x^4

4. 验证 左边是否为 (x^2 y)'：
   (x^2 y)' = 2x y + x^2 y'，与左边完全一致。所以方程化为 (x^2 y)' = x^4。
5. 积分：
   对两边积分：∫ (x^2 y)' dx = ∫ x^4 dx → x^2 y = (1/5)x^5 + C。
6. 解出 y：
   两边除以 x^2：y = (1/2)*x^2？（注意：(1/5)x^5 / x^2 = (1/5)x^3）修正：

   y = (1/5)x^3 + C / x^2

7. 写出 通解：y = (1/5)x^3 + C x^{-2}，其中 C 为任意常数。

验证（可选）：将 y 和 y' 代回原方程，应恒成立。此处不再展开。

至此，你已掌握借助积分因子 e^{∫Pdx} 求解一阶线性微分方程的全流程。