微分方程解的验证

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

1. 微分方程解的核心概念★☆☆☆☆⏱ 3 min

🚫 计算器禁用

微分方程是将未知函数与其一个或多个导数关联起来的任意方程。验证微分方程的解，就是将给定函数（显式或隐式）的导数代回原方程，确认该函数满足原方程的过程。

根据AP微积分AB课程与考试说明（CED），本主题占考试总分的约2-3%，同时出现在选择题和自由作答题部分。它通常与其他微分方程主题（如分离变量法）结合考查，你需要确认自己求出的解，或反向推导求出未知常数。

📘 定义

一阶常微分方程

\frac{dy}{dx} = F(x,y)

这是AP微积分AB考试中最常考查的常微分方程类型，仅包含未知函数 $y (x)$ 的一阶导数，不含更高阶导数。

2. 显式解的验证★★☆☆☆⏱ 4 min

🚫 计算器禁用

显式解是形如 $y = f (x)$ 的函数。通解包含任意积分常数，因此对应不同常数值会有无穷多个解。验证过程遵循以下三个固定步骤：

对给定解 $y$ 关于 $x$ 求导，得到 $\frac{d y}{d x}$
将 $y = f (x)$ 代入微分方程的右侧函数 $F (x, y)$
确认得到的两个表达式在代数上相等

📐 例题

验证 $y = 3 e^{x^{2}}$ 是微分方程 $\frac{d y}{d x} = 2 x y$ 的解。

1
首先，使用链式法则计算给定显式解的一阶导数：
$\frac{dy}{dx} = 3e^{x^2} \cdot \frac{d}{dx}(x^2) = 3e^{x^2} \cdot 2x = 6x e^{x^2}$
2
接下来，将给定的 $y = 3 e^{x^{2}}$ 代入微分方程的右侧：
$2xy = 2x(3e^{x^2}) = 6x e^{x^2}$
3
对比两个结果：对所有 $x$ ， $\frac{d y}{d x}$ 都等于代入后的右侧，因此该函数被确认为解。

3. 带初始条件的特解验证★★☆☆☆⏱ 4 min

🚫 计算器禁用

特解是没有任意常数的解，因为常数已经由形如 $y (x_{0}) = y_{0}$ 的初始条件确定。在AP考试中被要求验证特解时，你必须完成两个独立检查：首先确认函数满足微分方程，然后确认它满足给定的初始条件。阅卷人会给每个检查单独给分。

📐 例题

验证 $y = 2 sin x + 4$ 是 $\frac{d y}{d x} = 2 cos x$ 满足初始条件 $y (0) = 4$ 的特解。

1
首先，检查函数满足微分方程：
$\frac{dy}{dx} = \frac{d}{dx}(2\sin x + 4) = 2\cos x$
2
导数和常微分方程右侧完全匹配。接下来，代入 $x = 0$ 检查初始条件：
$y(0) = 2\sin(0) + 4 = 2(0) + 4 = 4$
3
结果匹配给定的初始条件。两个检查都通过，因此该函数被确认为正确的特解。

4. 隐式解的验证★★★☆☆⏱ 5 min

🚫 计算器禁用

不是所有微分方程的解都可以显式写成 $y = f (x)$ 。有些解是以 $G (x, y) = C$ （ $C$ 为常数）形式的 $x$ 和 $y$ 之间的隐式关系给出的。要验证隐式解，你需要用隐函数微分法直接从关系中求出 $\frac{d y}{d x}$ ，再代入微分方程确认匹配。核心逻辑和显式解完全相同，只有求导方法不同。

📐 例题

验证 $y^{2} + 2 x y = 10$ 是微分方程 $\frac{d y}{d x} = - \frac{y}{y + x}$ 的隐式解。

1
对隐式关系的两边关于 $x$ 求导，对 $y^{2}$ 使用链式法则，对 $2 x y$ 使用乘积法则：
$\frac{d}{dx}\left(y^2 + 2xy\right) = \frac{d}{dx}(10) \\ 2y \frac{dy}{dx} + 2\left(y + x \frac{dy}{dx}\right) = 0$
2
化简并合并项，解出 $\frac{d y}{d x}$ ：
$y \frac{dy}{dx} + y + x \frac{dy}{dx} = 0 \\ \frac{dy}{dx}(y + x) + y = 0 \\ \frac{dy}{dx} = -\frac{y}{y + x}$
3
得到的导数和原微分方程完全匹配，因此该隐式关系是有效的解。

5. AP风格概念检查★★☆☆☆⏱ 2 min

🚫 计算器禁用

✓ 快速检测

用这道选择题测试你的理解：

以下哪个函数是 $x > 0$ 时微分方程 $\frac{d y}{d x} = \frac{4 y}{x}$ 的解？
- A) $y = 4 x$
- B) $y = x^{4}$
- C) $y = e^{4 x}$
- D) $y = 4 e^{x}$
显示答案
B —
对于选项B， $\frac{d y}{d x} = 4 x^{3}$ ，代入右侧得到 $\frac{4 y}{x} = \frac{4 x ^{4}}{x} = 4 x^{3}$ ，完全匹配。所有其他选项都不满足等式。

6. 常见陷阱

错误做法:

求出显式解的 $\frac{d y}{d x}$ 后，仅停留在求导步骤，没有和代入后的常微分方程右侧进行比较

原因:

学生混淆了验证的目标，误以为只求出导数就足够了

正确做法:

始终要将原 $y$ 代入常微分方程的右侧，然后明确展示两边相等

错误做法:

验证特解时，只检查函数满足常微分方程，跳过了初始条件的检查

原因:

学生默认常数已经是正确的，因此认为初始条件检查是多余的

正确做法:

验证特解必须完成两个检查才能拿满分

错误做法:

隐函数微分过程中，对含 $y$ 的项求导时忘记乘以 $\frac{d y}{d x}$ ，得到 $\frac{d}{d x} (y^{2}) = 2 y$ 而不是正确的 $2 y \frac{d y}{d x}$

原因:

学生习惯只对 $x$ 的函数求导，因此会自动漏掉链式法则的项

正确做法:

每次对含 $y$ 的项求导后，立刻乘以 $\frac{d y}{d x}$ ，再进行下一步

错误做法:

检查初始条件 $y (2) = 5$ 时，将 $y = 2$ 代入，而不是正确的 $x = 2$

原因:

学生误读了标准初始条件记法，混淆了输入和输出

正确做法:

记住 $y (a) = b$ 的意思是'当 $x = a$ 时， $y = b$ '，因此始终代入 $x = a$ 到解中，检查是否得到 $y = b$

错误做法:

验证带任意常数 $C$ 的通解时，给 $C$ 代入一个随机数值，而不是保留符号形式

原因:

学生认为 $C$ 必须有数值才能完成验证

正确做法:

对比两边时 $C$ 总会消去，因此检查过程中将它保留为符号常数即可

错误做法:

将 $y$ 代入含多个 $y$ 的常微分方程右侧时，漏掉了其中一个 $y$ ，没有代入，保留了 $y$

原因:

学生在复杂的常微分方程（如 $\frac{d y}{d x} = x y + y^{2}$ ）中会漏看多个 $y$ 项

正确做法:

代入前，把常微分方程右侧所有的 $y$ 都圈出来，确保没有遗漏

7. 速查表

分类	步骤/法则	注释
一阶常微分方程通式	$\frac{d y}{d x} = F (x, y)$	AP微积分AB最常见的常微分方程类型，不含高阶导数
显式解验证	从 $y = f (x)$ 计算 $\frac{d y}{d x}$ 2. 将 $y$ 代入 $F (x, y)$ 3. 确认等式成立	适用于 $y$ 被显式表示为 $x$ 函数的情况
隐式解验证	对 $G (x, y) = C$ 隐函数求导 2. 解出 $\frac{d y}{d x}$ 3. 确认匹配微分方程	用于 $y$ 无法显式解出表示为 $x$ 函数的情况
特解要求	必须同时满足微分方程和初始条件 $y (x_{0}) = y_{0}$	两个检查都是自由作答题拿满分的必要条件
初始条件记法	$y (x_{0}) = y_{0}$	输入： $x = x_{0}$ ，输出： $y = y_{0}$
通解	包含任意常数 $C$	验证过程中 $C$ 会消去，保留符号即可
隐函数微分链式法则	$\frac{d}{d x} [y^{n}] = n y^{n - 1} \frac{d y}{d x}$	永远不要漏掉 $\frac{d y}{d x}$ 项

真题中的出现

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

2021 · MCQ
识别有效的常微分方程解
2023 · FRQ
验证带初始条件的特解

下一步

掌握微分方程解的验证是第7单元所有后续内容必不可少的基础前提。接下来你将学习绘制微分方程的斜率场，使用分离变量法从头求解一阶常微分方程，并将这些技巧应用到指数增长和衰减问题中。如果不会验证解，你就无法在求解常微分方程后检查自己的结果，导致自由作答题不必要的失分，也很难确认你求出的初值问题特解是否正确。本主题还巩固了整个AP微积分AB课程都会用到的求导技能。