# 微分方程解的验证

> AP 微积分 AB · 第7单元：微分方程
> 来源: https://www.owlsprep.com/zh/study/ap-calculus-ab-u7-verifying-solutions-for-differential-equations/

本子主题涵盖一阶常微分方程的定义、显式通解验证、带初始条件的特解验证以及隐式解验证，是AP微积分AB第7单元的基础技能。

**先修:** 基础求导法则和链式法则; 二元关系的隐函数微分法; 积分常数的记法

## 学习目标

- 定义微分方程和一阶常微分方程
- 验证一阶常微分方程的显式通解
- 通过同时验证微分方程和初始条件来确认特解
- 使用隐函数微分法验证一阶常微分方程的隐式解

## 微分方程解的核心概念

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

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

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

*记法:* \frac{dy}{dx} = F(x,y)

> **tip**
>
> 和从头求解微分方程不同，验证只需要你熟练掌握求导，因此只要步骤正确，这就是很容易拿分的题目。

*计算器:* forbidden

## 显式解的验证

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

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

**例题:** 验证 $y = 3e^{x^2}$ 是微分方程 $\frac{dy}{dx} = 2xy$ 的解。

1. 首先，使用链式法则计算给定显式解的一阶导数：

   $$\frac{dy}{dx} = 3e^{x^2} \cdot \frac{d}{dx}(x^2) = 3e^{x^2} \cdot 2x = 6x e^{x^2}$$
2. 接下来，将给定的 $y = 3e^{x^2}$ 代入微分方程的右侧：

   $$2xy = 2x(3e^{x^2}) = 6x e^{x^2}$$
3. 对比两个结果：对所有 $x$，$\frac{dy}{dx}$ 都等于代入后的右侧，因此该函数被确认为解。

> **tip**
>
> 在询问四个函数中哪一个是解的选择题中，你可以在算出导数后先排除明显错误的选项，不用完整检查每个选项，以此节省时间。

*计算器:* forbidden

## 带初始条件的特解验证

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

**例题:** 验证 $y = 2\sin x + 4$ 是 $\frac{dy}{dx} = 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. 结果匹配给定的初始条件。两个检查都通过，因此该函数被确认为正确的特解。

> **tip**
>
> 如果题目要求你'验证特解'，你需要明确说明两个检查都满足才能拿满分，阅卷人不会默认你没写的步骤是正确的。

*计算器:* forbidden

## 隐式解的验证

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

**例题:** 验证 $y^2 + 2xy = 10$ 是微分方程 $\frac{dy}{dx} = -\frac{y}{y + x}$ 的隐式解。

1. 对隐式关系的两边关于 $x$ 求导，对 $y^2$ 使用链式法则，对 $2xy$ 使用乘积法则：

   $$\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{dy}{dx}$：

   $$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. 得到的导数和原微分方程完全匹配，因此该隐式关系是有效的解。

> **tip**
>
> 整理得到 $\frac{dy}{dx}$ 后，移动项跨等号时要再次检查符号；符号错误是隐式解验证中最常见的错误。

*计算器:* forbidden

## AP风格概念检查

**概念自测**

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

1. 以下哪个函数是 $x > 0$ 时微分方程 $\frac{dy}{dx} = \frac{4y}{x}$ 的解？

   - A) $y = 4x$
   - B) $y = x^4$
   - C) $y = e^{4x}$
   - D) $y = 4e^x$

   *解析:* 对于选项B，$\frac{dy}{dx} = 4x^3$，代入右侧得到 $\frac{4y}{x} = \frac{4x^4}{x} = 4x^3$，完全匹配。所有其他选项都不满足等式。

*计算器:* forbidden

## 常见错误

- **错误做法:** 求出显式解的 $\frac{dy}{dx}$ 后，仅停留在求导步骤，没有和代入后的常微分方程右侧进行比较
  - 原因: 学生混淆了验证的目标，误以为只求出导数就足够了
  - 正确做法: 始终要将原 $y$ 代入常微分方程的右侧，然后明确展示两边相等
- **错误做法:** 验证特解时，只检查函数满足常微分方程，跳过了初始条件的检查
  - 原因: 学生默认常数已经是正确的，因此认为初始条件检查是多余的
  - 正确做法: 验证特解必须完成两个检查才能拿满分
- **错误做法:** 隐函数微分过程中，对含 $y$ 的项求导时忘记乘以 $\frac{dy}{dx}$，得到 $\frac{d}{dx}(y^2) = 2y$ 而不是正确的 $2y \frac{dy}{dx}$
  - 原因: 学生习惯只对 $x$ 的函数求导，因此会自动漏掉链式法则的项
  - 正确做法: 每次对含 $y$ 的项求导后，立刻乘以 $\frac{dy}{dx}$，再进行下一步
- **错误做法:** 检查初始条件 $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{dy}{dx} = xy + y^2$）中会漏看多个 $y$ 项
  - 正确做法: 代入前，把常微分方程右侧所有的 $y$ 都圈出来，确保没有遗漏

## 速查表

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

## 下一步

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

- [绘制斜率场](https://www.owlsprep.com/zh/study/ap-calculus-ab-u7-sketching-slope-fields/)
- [斜率场推理](https://www.owlsprep.com/zh/study/ap-calculus-ab-u7-reasoning-using-slope-fields/)
- [可分离变量法求通解](https://www.owlsprep.com/zh/study/ap-calculus-ab-u7-general-solutions-via-separation-of/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ap-calculus-ab-u7-verifying-solutions-for-differential-equations/