# 微分方程解的验证

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

本指南针对AP微积分BC，讲解一阶和二阶常微分方程的通解与特解验证，包括显式解/隐式解、导数代入以及初始条件检验。

**先修:** [使用链式法则计算一阶和二阶导数](https://www.owlsprep.com/zh/study/ap-calculus-bc-differentiation-rules/); [隐式求导](https://www.owlsprep.com/zh/study/ap-calculus-bc-implicit-differentiation/)

## 学习目标

- 验证一阶和二阶微分方程的显式解
- 验证微分方程的隐式解
- 验证特解同时满足微分方程和初始条件
- 避开验证题中常见的考试陷阱

## 核心概念：什么是微分方程解的验证？

微分方程（DE）是将未知函数$y = f(x)$与其导数（例如$y', y''$）关联起来的方程。验证解就是确认给定的候选函数（或函数族）满足微分方程，以及任意给定的初始条件或边界条件的过程。

和从头求解微分方程不同，验证是一个逆向过程：你从候选解开始，不需要自己找出解，只需要确认它成立即可。这个知识点经常出现在AP考试的选择题和自由问答题部分，通常是中低难度的得分题。

**微分方程的解** — 当所有需要的导数代入原方程后，满足原微分方程的一个函数（或一族函数）。

*例:* 对于$y' = 2x$，$y = x^2 + C$是一族解。

## 显式解的验证

显式解是写成$y = f(x)$形式的候选函数，其中$y$完全分离在方程的一侧。验证时遵循以下统一的三步流程：

1. 确定微分方程的阶数，计算到该阶数为止所有需要的导数
2. 将候选解$y$和所有导数代入微分方程的左侧（LHS）
3. 化简左侧，确认它等于定义域内所有$x$对应的右侧（RHS）

**例题:** 验证$y = 3e^{2x} + 5x$是二阶微分方程$y'' - 2y' = -10$的解。

1. 计算候选解的一阶导数

   $$y' = \frac{d}{dx}\left(3e^{2x} + 5x\right) = 6e^{2x} + 5$$
2. 计算这个二阶微分方程需要的二阶导数

   $$y'' = \frac{d}{dx}\left(6e^{2x} + 5\right) = 12e^{2x}$$
3. 将$y'$和$y''$代入微分方程的左侧

   $$y'' - 2y' = 12e^{2x} - 2\left(6e^{2x} + 5\right)$$
4. 化简并和右侧比较

   $$12e^{2x} - 12e^{2x} - 10 = -10$$
5. 对所有实数$x$等式都成立，因此该候选解是有效的解。

> **考试提示:** 在要求识别有效解的选择题中，如果代入后不匹配可以直接排除该选项，不需要完全化简每个选项。

## 隐式解的验证

很多微分方程的解无法改写为将$y$显式分离的$x$的函数，因此我们使用隐式解，即$x$和$y$出现在方程的两侧。验证时，你仍然需要求出微分方程要求的导数，但要对$x$做隐式求导，得到用$x$和$y$表示的$y'$，再和微分方程比较。你不需要显式解出$y$。

**例题:** 验证$\sin y + 2xy = x^2$是$\frac{dy}{dx} = \frac{2x - 2y}{2x + \cos y}$的隐式解。

1. 对两侧关于$x$求导，对含$y$的项用链式法则，对$2xy$用乘积法则

   $$\frac{d}{dx}(\sin y) + \frac{d}{dx}(2xy) = \frac{d}{dx}(x^2)$$
2. 展开每个导数项

   $$(\cos y)y' + 2y + 2x y' = 2x$$
3. 通过因式分解分离出$y'$

   $$y'(2x + \cos y) = 2x - 2y \implies y' = \frac{2x - 2y}{2x + \cos y}$$
4. 计算得到的$y'$和微分方程右侧相等，因此该候选解是有效的隐式解。

> **考试提示:** 对任意含$y$的项求导后，一定要明确写出$y'$项——忘记链式法则的$y'$是隐式验证题最常见的错误。

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

$n$阶微分方程的通解包含$n$个任意常数，描述无穷多解组成的函数族。特解固定了这些常数的值，以匹配给定的初始条件（对于一阶微分方程：$y(x_0) = y_0$）或边界条件。验证特解时，你必须完成两次独立检验：确认候选解满足微分方程，再确认它满足给定的初始条件。

**例题:** 已知$y = Ce^{-2x} + x - 1$是$y' + 2y = 2x - 1$的通解，验证$y = 3e^{-2x} + x - 1$是满足$y(0) = 2$的特解。

1. 首先，通过计算导数确认候选解满足微分方程

   $$y' = -6e^{-2x} + 1$$
2. 代入微分方程左侧并化简

   $$y' + 2y = (-6e^{-2x} + 1) + 2(3e^{-2x} + x - 1) = 2x - 1$$
3. 候选解满足微分方程。接下来在$x=0$处求值，检验初始条件

   $$y(0) = 3e^{0} + 0 - 1 = 3 - 1 = 2$$
4. 微分方程和初始条件都满足，因此这是正确的特解。

**概念自测**

测试你的理解：以下哪个候选解是$y'' + 4y = 0$的有效解？

1. 选出有效的解

   - $y = \sin(2x)$
   - $y = \sin(x)$
   - $y = e^{2x}$
   - $y = 2x^2$

   *答案:* $y = \sin(2x)$

   *解析:* 正确！对于$y = \sin(2x)$，$y'' = -4\sin(2x)$，因此$y'' + 4y = -4\sin(2x) + 4\sin(2x) = 0$，满足微分方程。

> **考试提示:** 如果你在考试中从头求出了一个特解，可以用这个验证过程检查你的计算，发现常数$C$的算术错误。

## 常见错误

- **错误做法:** 对复合候选解如$y = e^{3x^2}$求导时，忘记应用链式法则
  - 原因: 学生求导时过于匆忙，导致导数错误，验证不通过
  - 正确做法: 代入微分方程前，对每个复合函数都明确写出链式法则的步骤
- **错误做法:** 验证隐式解时，求导前尝试显式解出$y$
  - 原因: 学生将隐式验证和其他问题混淆，不必要地尝试分离$y$
  - 正确做法: 先对隐式候选解求导，分离出$y'$，再将结果和微分方程比较
- **错误做法:** 对于特解，只验证候选解满足微分方程，忘记检验初始条件
  - 原因: 学生认为任意满足微分方程的解自动就是要求的特解
  - 正确做法: 当要求验证特解时，一定要明确展示微分方程检验和初始条件检验两步
- **错误做法:** 对于$y' = f(x,y)$形式的微分方程，只从候选解计算$y'$，忘记将$y$代入$f(x,y)$检验等式是否成立
  - 原因: 因为微分方程已经解出$y'$，学生计算导数后就停止了
  - 正确做法: 从候选解计算出$y'$后，将候选解的$y$代入$f(x,y)$，化简，确认它和你计算出的$y'$相等
- **错误做法:** 对于二阶微分方程，只代入$y'$，代入时忘记包含$y''$和$y$
  - 原因: 学生求一阶导数后就停止求导，漏掉了微分方程要求的高阶项
  - 正确做法: 开始验证前，根据微分方程的阶数写下你需要的所有导数，避免漏项
- **错误做法:** 当要求验证通解时，即使不需要也去求解任意常数
  - 原因: 学生习惯求特解，出于习惯自动去解$C$
  - 正确做法: 验证通解时，确认对任意常数值微分方程都成立（常数求导为零，因此等式恒成立）

## 速查表

| 分类 | 流程/法则 | 注释 |
| --- | --- | --- |
| 显式解验证 | 1. 计算到微分方程阶数为止的所有导数<br>2. 将$y$和导数代入微分方程<br>3. 检查左侧 = 右侧 | 适用于任意显式$y = f(x)$；通解中的常数求导为零 |
| 隐式解验证 | 1. 对隐式关系关于$x$求导<br>2. 分离出$y'$（或更高阶导数）<br>3. 和微分方程比较 | 不需要显式解出$y$；对含$y$的项一定要用链式法则 |
| 特解验证 | 1. 验证候选解满足微分方程<br>2. 检查初始条件$y(x_0) = y_0$ | AP自由问答题每一步给分；绝对不要跳过初始条件检验 |
| 一阶微分方程 | 代入需要$y'$和$y$ | AP考试中最常见的微分方程类型 |
| 二阶微分方程 | 代入需要$y''$、$y'$和$y$ | 开始前一定要列出需要的导数，避免漏项 |
| 初始条件 | $y(x_0) = y_0$ | 固定特解中任意常数的值 |
| 通解 | $n$阶微分方程含$n$个任意常数的解族 | 验证只需要确认对任意常数值微分方程都成立 |

## 下一步

微分方程解的验证是第7单元所有其他微分方程知识点的基础前提。在你学习用分离变量法、欧拉法、逻辑斯蒂增长分析从头求解微分方程之前，你需要理解解到底是什么，以及如何确认它成立。这个过程给了你一个内置检查，在你自己求出解后可以发现错误。不掌握这个验证过程，你就无法自信地确认可分离微分方程或逻辑斯蒂增长模型的解，而这些都是AP考试中占比很高的自由问答题考点。你在这里学到的技能也会延续到参数曲线和极坐标曲线的学习中，那里你会经常处理隐式关系的导数。

- [绘制斜率场](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-sketching-slope-fields/)
- [斜率场推理](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-reasoning-using-slope-fields/)
- [使用欧拉法近似求解（仅BC）](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-approximating-solutions-using-euler-s/)

---

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