变量分离法求通解

AP 微积分 BC· AP 微积分 BC CED — 微分方程· 14 分钟阅读

1. 核心定义★★☆☆☆⏱ 3 min

📘 定义

可分离变量一阶常微分方程

\frac{dy}{dx} = f(x)g(y)

可分解为仅关于 $x$ 的函数与仅关于 $y$ 的函数乘积形式的一阶常微分方程。

例:

$\frac{d y}{d x} = x^{2} y$ 是可分离变量的； $\frac{d y}{d x} = x + y$ 不是。

📘 定义

通解

满足微分方程的所有函数构成的完整族，方程每阶对应一个任意常数参数化。一阶常微分方程恰好有一个任意常数。

例:

$y = K e^{x^{2}}$ 是 $\frac{d y}{d x} = 2 x y$ 的通解。

变量分离法是AP微积分BC选择题和自由问答题都考察的一阶常微分方程基础求解技巧，根据官方课程与考试说明，约占总分的2-4%。考试中几乎所有微分方程应用题都需要用到该方法。

Exam tip:

务必确认通解中任意常数的个数与微分方程的阶数一致。

2. 识别可分离变量微分方程★★☆☆☆⏱ 4 min

使用变量分离法之前，你必须先正确判断给定微分方程是否可分离变量。根据定义，若一阶常微分方程可整理为 $\frac{d y}{d x} = f (x) g (y)$ ，其中 $f (x)$ 不含 $y$ 且 $g (y)$ 不含 $x$ ，则该方程可分离变量。

📐 例题

判断 $\frac{d y}{d x} = \frac{x ^{2} y}{e ^{y} x ^{2} + 4}$ 是否可分离变量，若可分离则改写为标准分离形式。

1
如题目所给， $\frac{d y}{d x}$ 已经分离出来，符合要求。
2
分解右侧以验证可分离性：
3
$\frac{x^2 y}{e^y \sqrt{x^2 + 4}} = \left(\frac{x^2}{\sqrt{x^2 + 4}}\right) \left(\frac{y}{e^y}\right)$
4
验证不存在同时含 $x$ 和 $y$ 的交叉项：第一个因子仅依赖 $x$ ，第二个仅依赖 $y$ ，因此该微分方程可分离变量。
5
整理以分离变量：两边乘以 $\frac{e ^{y}}{y} d x$ （ $y \neq = 0$ ）得到标准分离形式：
6
$\frac{e^y}{y} dy = \frac{x^2}{\sqrt{x^2 + 4}} dx$

Exam tip:

在要求识别可分离方程的选择题中，立即排除所有右侧是同时含 $x$ 和 $y$ 的项之和的选项。

3. 积分与合并常数★★★☆☆⏱ 4 min

分离变量得到 $g (y) d y = f (x) d x$ 形式后，下一步就是对两边分别积分。微分符号告诉你积分变量：含 $d y$ 的一侧对 $y$ 积分，含 $d x$ 的一侧对 $x$ 积分。

一个常见的疑问是为什么我们只保留一个积分常数而非两个。两边积分后我们得到：

[Block type renderer not yet implemented · content will appear once shipped]

整理得 $G (y) = F (x) + (C_{2} - C_{1})$ 。由于两个任意常数的差仍然是一个任意常数，我们用 $C = C_{2} - C_{1}$ 替换后只写 $G (y) = F (x) + C$ ，这样简化计算且不丢失任何一般性。

📐 例题

已知分离后的微分方程 $\frac{1}{y} d y = 2 x d x$ ，求积分后的通解。

1
确认分离形式正确， $y$ 项在左侧， $x$ 项在右侧。
2
对两边分别关于各自变量积分：
3
$\int \frac{1}{y} dy = \int 2x dx$
4
计算每个积分：左侧积分得 $ln ∣ y ∣ + C_{1}$ ，右侧积分得 $x^{2} + C_{2}$ 。
5
将常数合并为一个任意常数 $C$ ：
6
$\ln|y| = x^2 + C$
7
化简为显式形式：两边取指数得 $∣ y ∣ = e^{x^{2} + C} = e^{C} e^{x^{2}}$ ，可改写为：
8
$y = K e^{x^2}$
9
其中 $K = \pm e^{C}$ 仍然是任意常数。

Exam tip:

积分后务必立即合并常数；AP考试不要求写两个独立常数，这么做通常会导致不必要的代数错误。

4. 隐式通解与显式通解★★★☆☆⏱ 5 min

积分后你会得到一个关联 $x$ 、 $y$ 和任意常数 $C$ 的方程。如果 $y$ 没有单独放在方程一侧，就称为隐式通解。如果你能整理出 $y$ 明确表示为 $x$ 和 $C$ 的函数，就称为显式通解。AP考试通常会明确要求哪种形式，如果没有指定，只要正确两种形式都可接受，但如果容易得到显式形式，优先写显式。

📐 例题

求 $y^{2} \frac{d y}{d x} = cos x$ 的通解，同时给出隐式和显式形式。

1
分离变量：两边乘以 $d x$ 得：
2
$y^2 dy = \cos x dx$
3
两边积分并合并常数：
4
$\int y^2 dy = \int \cos x dx \implies \frac{y^3}{3} = \sin x + C$
5
这就是隐式通解。
6
要得到显式解，两边乘3再开立方。令 $K = 3 C$ （仍然是任意常数），因此显式通解为：
7
$y = \sqrt[3]{3\sin x + K}$
8
验证：该微分方程是一阶的，我们恰好有一个任意常数，满足通解的要求。

✓ 快速检测

测试你对可分离性的理解：

下列哪个微分方程是可分离变量的？
- A) $\frac{d y}{d x} = x^{2} + 3 x y$
- B) $\frac{d y}{d x} = sin (x + y)$
- C) $\frac{d y}{d x} = \frac{x ^{3}}{y ^{2} + 1}$
- D) $\frac{d y}{d x} = 2 x + 5 y$
显示答案
C —
只有选项C可以分解为 $\frac{d y}{d x} = (x^{3}) \cdot (\frac{1}{y ^{2} + 1})$ ，符合可分离变量微分方程的定义。其他选项都无法分解为单变量函数的乘积。

Exam tip:

如果题目要求通解且你可以轻松化简为显式形式，一定要这么做——这么做绝不会被扣分，而且阅卷者更容易确认正确性。

5. 常见陷阱

错误做法:

将 $\frac{d y}{d x} = x + y$ 分解为 $\frac{d y}{d x} = x (1 + \frac{y}{x})$ 后就认为它可分离变量。

原因:

学生混淆了任意分解和分离变量的要求，忘记所有因子都必须是仅含一个变量的函数。

正确做法:

分解后，检查每个因子确认它只含一个变量；只要有一个因子同时含 $x$ 和 $y$ ，该微分方程就不可分离变量。

错误做法:

分离变量时除以y的函数后忘记检查常数解，例如求解 $\frac{d y}{d x} = x y$ 除以y后，没有注意到 $y = 0$ 是一个有效解。

原因:

学生专注于整理项，忘记除以零是无定义的，因此除数等于零的情况被排除在通解形式之外。

正确做法:

每次你为了分离变量除以 $h (y)$ ，都要检查 $h (y) = 0$ 是否得到满足原微分方程的常数函数 $y = k$ ，如果满足就要把它作为一个解列出。

错误做法:

对左侧（含 $d y$ ）关于 $x$ 积分，或者对右侧（含 $d x$ ）关于 $y$ 积分，例如把 $\frac{1}{y} d y = 2 x d x$ 变成 $\int \frac{1}{y} d x = \int 2 x d y$ 。

原因:

学生混淆了指示积分变量的微分符号和被积函数中的变量。

正确做法:

始终让积分变量与微分符号匹配： $d y$ 表示对 $y$ 积分， $d x$ 表示对 $x$ 积分。

错误做法:

把 $y = e^{l n x + C}$ 化简为 $y = x + C$ ，而不是正确的 $y = C x$ 。

原因:

学生忘记 $e^{a + C} = e^{a} e^{C}$ ， $e^{C}$ 是乘法任意常数，不是加法常数。

正确做法:

积分后取指数时，指数内的任意常数在取指数后会变成乘法常数。

错误做法:

一阶微分方程的最终通解中留下两个任意常数。

原因:

学生认为每个积分都需要自己的常数，忘记两个常数可以合并。

正确做法:

对于一阶微分方程，积分后立即将所有常数合并为一个任意常数。

6. 速查表

类别	公式 / 法则	注释
可分离一阶微分方程定义	$\frac{d y}{d x} = f (x) g (y)$	$f (x)$ 仅依赖 $x$ ， $g (y)$ 仅依赖 $y$
标准分离形式	$g (y) d y = f (x) d x$	除法后检查 $g (y) = 0$ 是否给出额外常数解
积分步骤	$\int g (y) d y = \int f (x) d x + C$	一阶微分方程有一个任意常数；将两个积分的常数合并为一个
隐式通解	$G (y) = F (x) + C$	如果 $y$ 无法轻易分离，这种形式有效；题目明确要求时必须给出
指数化简	$y = e^{F (x) + C} = C^{'} e^{F (x)}$	$C^{'} = e^{C}$ 是任意乘法常数；绝对不要写成 $y = e^{F (x)} + C$
任意常数的个数	任意一阶微分方程都是1个	等于微分方程的阶数；个数不对说明出错
常数解检查	如果 $y = k$ 使得 $g (y) = 0$ ，代回原方程验证	除法时零分母会把这个解排除在通解形式之外，因此必须单独检查
显式通解	$y = F (x, C)$	$y$ 被分离出来表示为 $x$ 和 $C$ 的函数；容易得到时优先使用

真题中的出现

AI 根据考纲规律估算的考点位置,请对照官方真题核实准确性。仅作复习重点参考。

2023 · MCQ
识别可分离变量微分方程
2022 · FRQ
求可分离变量常微分方程的通解

下一步

变量分离法求通解是AP微积分BC第7单元所有后续微分方程主题的基础先修内容。求出通解后，你接下来就会学习通过代入初值确定任意常数 $C$ 来求特解，这在考试的选择题和自由问答题部分都经常考察。变量分离法也是求解指数增长衰减模型、逻辑增长模型以及相关应用题的核心技巧，这些内容经常构成一整道自由问答题。不掌握本主题，你就无法正确建立和求解这些问题，也无法掌握欧拉法等更高级的主题。