3. 一阶方程初等解法回顾

在建立微分方程模型之后，下一步就是求解。对于一阶方程，初等解法并不是零散技巧的堆砌，而是围绕“能否把方程化成可直接积分的形式”这一核心目标展开。本节把可分离变量法、一阶线性方程与积分因子法、齐次方程与变量代换三条主线串起来，并用一个初值问题的完整求解过程说明如何选择方法、如何代入初值、如何检验结果。

一、可分离变量：把两个变量各自归位

若一阶方程能写成 dy/dx = f(x)g(y)，就称为可分离变量方程。求解的关键动作是把含 y 的因子移到 dy 一侧、含 x 的因子移到 dx 一侧：

dy/g(y) = f(x) dx        （要求 g(y) ≠ 0）

两边分别对各自变量积分，得到隐式通解 G(y) = F(x) + C。这里有两个容易出错的细节：其一，除以 g(y) 时可能丢失 g(y)=0 对应的常数解，需要单独检查；其二，积分常数只需在一侧出现，写成 +C 即可，不必两边各加一个再合并。以 dy/dx = 2xy 为例，分离后得 dy/y = 2x dx，积分得 ln|y| = x² + C，即 y = Ce^(x²)（常数已重新吸收）。若给定 y(0)=3，代入得 C=3，特解为 y = 3e^(x²)。

二、一阶线性方程与积分因子法

标准形式为 y' + P(x)y = Q(x)。它的解法思路是“乘一个因子，把左边凑成乘积的导数”。取积分因子

μ(x) = e^(∫P(x)dx)

两边同乘 μ 后，左边恰好等于 (μy)'，于是方程变为 (μy)' = μQ，直接积分得

y = (1/μ) · [ ∫ μ(x)Q(x) dx + C ]

积分因子法的价值在于它把“求解一阶线性方程”转化为两次积分，且对 P、Q 连续的情形总是可行的。实际操作中，先确认方程已处于标准形式（y' 系数为 1），再算 ∫P dx，最后不要漏掉括号内的 +C 以及外面的 1/μ。例如 y' + 2y = 4x，P=2，μ=e^(2x)，则 (e^(2x)y)' = 4xe^(2x)，积分得 e^(2x)y = (2x-1)e^(2x) + C，故 y = 2x - 1 + Ce^(-2x)。

三、齐次方程与适当变量代换

形如 dy/dx = φ(y/x) 的方程称为齐次方程。它的特征是右端只依赖比值 y/x。令 u = y/x，即 y = ux，则 dy/dx = u + x·du/dx，代入后方程化为关于 u 与 x 的可分离方程：

u + x·du/dx = φ(u)  ⇒  du/(φ(u)-u) = dx/x

积分后再把 u = y/x 代回，即得原方程的通解。变量代换的通用原则是：观察方程结构，寻找能让方程“降级”为新变量的组合，常见的有 u = y/x、u = ax + by + c、u = y^(1-n)（伯努利方程）等。代换是否合适，判断标准只有一个——代换后方程是否变成可分离或线性形式。

四、初值问题的解析求解示例

考虑初值问题 y' + y/x = x²，y(1) = 2（x > 0）。先识别结构：它是一阶线性方程，P(x)=1/x，Q(x)=x²。计算积分因子 μ = e^(∫(1/x)dx) = e^(ln x) = x。两边同乘 x 得 xy' + y = x³，即 (xy)' = x³。积分得 xy = x⁴/4 + C，通解为 y = x³/4 + C/x。代入 y(1)=2：2 = 1/4 + C，得 C = 7/4。于是特解为

y = x³/4 + 7/(4x)      （x > 0）

回代检验：y' = 3x²/4 - 7/(4x²)，而 y/x = x²/4 + 7/(4x²)，两者相加恰为 x²，且 y(1)=1/4+7/4=2，验证通过。这个例子说明：识别出线性结构后，积分因子法只需两次积分即可完成，而初值的作用仅仅是确定常数 C，不影响通解形式。

把这三类方法放在一起看，它们的共同本质是“通过变形把方程转化为可直接积分的形式”：可分离变量靠代数移项，积分因子靠乘一个精心构造的函数，齐次代换靠引入新变量。掌握这一统一视角，比记住三套孤立公式更有助于在建模后快速判断该走哪条路。