微分方程解的验证

AP 微积分 BC· AP Calculus BC CED — Differential Equations· 14 分钟阅读

1. 核心概念：什么是微分方程解的验证？★☆☆☆☆⏱ 3 min

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

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

📘 定义

微分方程的解

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

例:

对于 $y^{'} = 2 x$ ， $y = x^{2} + C$ 是一族解。

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

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

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

📐 例题

验证 $y = 3 e^{2 x} + 5 x$ 是二阶微分方程 $y^{''} - 2 y^{'} = - 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$ 等式都成立，因此该候选解是有效的解。

Exam tip:

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

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

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

📐 例题

验证 $sin y + 2 x y = x^{2}$ 是 $\frac{d y}{d x} = \frac{2 x - 2 y}{2 x + c o s y}$ 的隐式解。

1
对两侧关于 $x$ 求导，对含 $y$ 的项用链式法则，对 $2 x y$ 用乘积法则
$\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^{'}$ 和微分方程右侧相等，因此该候选解是有效的隐式解。

Exam tip:

对任意含 $y$ 的项求导后，一定要明确写出 $y^{'}$ 项——忘记链式法则的 $y^{'}$ 是隐式验证题最常见的错误。

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

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

📐 例题

已知 $y = C e^{- 2 x} + x - 1$ 是 $y^{'} + 2 y = 2 x - 1$ 的通解，验证 $y = 3 e^{- 2 x} + 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^{''} + 4 y = 0$ 的有效解？

选出有效的解
- $y = sin (2 x)$
- $y = sin (x)$
- $y = e^{2 x}$
- $y = 2 x^{2}$

Exam tip:

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

5. 常见陷阱

错误做法:

对复合候选解如 $y = e^{3 x^{2}}$ 求导时，忘记应用链式法则

原因:

学生求导时过于匆忙，导致导数错误，验证不通过

正确做法:

代入微分方程前，对每个复合函数都明确写出链式法则的步骤

错误做法:

验证隐式解时，求导前尝试显式解出 $y$

原因:

学生将隐式验证和其他问题混淆，不必要地尝试分离 $y$

正确做法:

先对隐式候选解求导，分离出 $y^{'}$ ，再将结果和微分方程比较

错误做法:

对于特解，只验证候选解满足微分方程，忘记检验初始条件

原因:

学生认为任意满足微分方程的解自动就是要求的特解

正确做法:

当要求验证特解时，一定要明确展示微分方程检验和初始条件检验两步

错误做法:

对于 $y^{'} = f (x, y)$ 形式的微分方程，只从候选解计算 $y^{'}$ ，忘记将 $y$ 代入 $f (x, y)$ 检验等式是否成立

原因:

因为微分方程已经解出 $y^{'}$ ，学生计算导数后就停止了

正确做法:

从候选解计算出 $y^{'}$ 后，将候选解的 $y$ 代入 $f (x, y)$ ，化简，确认它和你计算出的 $y^{'}$ 相等

错误做法:

对于二阶微分方程，只代入 $y^{'}$ ，代入时忘记包含 $y^{''}$ 和 $y$

原因:

学生求一阶导数后就停止求导，漏掉了微分方程要求的高阶项

正确做法:

开始验证前，根据微分方程的阶数写下你需要的所有导数，避免漏项

错误做法:

当要求验证通解时，即使不需要也去求解任意常数

原因:

学生习惯求特解，出于习惯自动去解 $C$

正确做法:

验证通解时，确认对任意常数值微分方程都成立（常数求导为零，因此等式恒成立）

6. 速查表

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

真题中的出现

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

2023 · MCQ
识别有效的微分方程解
2022 · FRQ
验证给定的微分方程特解

下一步

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