# 带初始条件的特解

> AP 微积分 BC · 微分方程
> 来源: https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-particular-solutions-with-initial-conditions/

本模块讲解如何求一阶初值问题（IVP）在不定积分和可分离变量微分方程下的唯一特解，以及符合AP微积分BC考试要求的验证方法。

**先修:** 基础积分和反导数法则; 一阶微分方程的分离变量法; 导数求值方法

## 学习目标

- 利用初始条件求解不定积分的唯一特解
- 求可分离变量一阶微分方程的特解
- 验证候选解同时满足微分方程和初始条件
- 避免求解初值问题时的常见考试陷阱

## 不定积分的特解

当给定导数$\frac{dy}{dx} = f(x)$（仅为$x$的函数）时，不定积分会得到一般反导数$F(x) + C$，其中$C$是任意常数。初始条件$y(x_0) = y_0$让你代入已知值求解$C$，对于适定的初值问题，最终会得到恰好一个唯一特解。

**例题:** 给定$\frac{dy}{dx} = 3x^2 + 2\\sin x$且$y(0) = 5$，求$y$的特解。

1. 求$\frac{dy}{dx}$对$x$的一般反导数：

   $$y = \int (3x^2 + 2\sin x) dx = x^3 - 2\cos x + C$$
2. 将初始条件$x=0, y=5$代入通解：

   $$5 = (0)^3 - 2\cos(0) + C$$
3. 利用$\\cos(0)=1$化简求解$C$：

   $$5 = -2 + C \implies C=7$$
4. 代入$C=7$得到最终特解，然后验证其同时满足导数条件和初始条件：

   $$y = x^3 - 2\cos x + 7$$

> **tip**
>
> 继续下一步之前，一定要把$x_0$代回最终特解验证你的$C$值——这个方法能排查出这类问题中90%的代数错误。

## 可分离微分方程的特解

AP考试中的大多数一阶微分方程都是可分离变量的，也就是说它们可以改写为$g(y) dy = f(x) dx$的形式。两边积分后，将两边的常数合并为一个任意常数$C$得到通解，再代入初始条件求解$C$，即可得到唯一特解。

**例题:** 求$\frac{dy}{dx} = \frac{xy}{2}$满足$y(1) = 4$的特解。

1. 分离变量（该式在$y \neq 0$时成立，本题中$y(1)=4$满足条件）：

   $$\frac{2}{y} dy = x dx$$
2. 两边积分：

   $$\int \frac{2}{y} dy = \int x dx \implies 2\ln|y| = \frac{1}{2}x^2 + C_1$$
3. 化简得到通式显式解，合并常数：

   $$\ln|y| = \frac{x^2}{4} + \frac{C_1}{2} \implies y = Ce^{\frac{x^2}{4}}$$
4. 代入初始条件$y(1)=4$求解$C$：

   $$4 = Ce^{\frac{1^2}{4}} = Ce^{1/4} \implies C = 4e^{-1/4}$$
5. 写出最终化简后的特解：

   $$y = 4e^{\frac{x^2 - 1}{4}}$$

> **tip**
>
> 对$\frac{1}{y}$积分后取指数时，一定要根据初始条件的符号确定$C$的符号。当初始条件已经确定符号后，AP阅卷会因最终答案仍保留$\\pm$扣分。

## 验证候选特解

AP考试经常要求你确认给定函数是否是初值问题的正确特解，需要进行两次独立检查：(1) 函数必须满足初始条件，(2) 函数必须满足原微分方程。在选择题中，先检查初始条件可以快速排除错误选项。

**例题:** $y = 3e^{3x} + \\sin x$是否是$\frac{dy}{dx} = 3y - 3\sin x + \\cos x$在初始条件$y(0)=3$下的正确特解？

1. 先检查初始条件（这是最快的排除步骤）：

   $$y(0) = 3e^{0} + \sin 0 = 3(1) + 0 = 3$$
2. 初始条件满足，接下来计算候选解的导数：

   $$\frac{dy}{dx} = 9e^{3x} + \cos x$$
3. 将候选解代入微分方程的右侧并化简：

   $$3y - 3\sin x + \cos x = 3(3e^{3x} + \sin x) - 3\sin x + \cos x = 9e^{3x} + \cos x$$
4. 对比可得：$\frac{dy}{dx}$等于右侧，因此候选解满足微分方程。结论：这是正确的特解。

> **tip**
>
> 做选择题时，一定要先检查初始条件，不需要求导就能在几秒钟内排除错误选项。

## AP风格练习题

**例题:** 选择题：以下哪个是$\frac{dy}{dx} = 6xy$在初始条件$y(0) = 3$下的特解？

1. 分离变量得到$\frac{1}{y} dy = 6x dx$，然后两边积分：

   $$\ln|y| = 3x^2 + C_1 \implies y = Ce^{3x^2}$$
2. 代入初始条件$y(0)=3$：

   $$3 = Ce^{0} \implies C = 3$$
3. 最终特解是$y = 3e^{3x^2}$，对应选项A。

**例题:** 问答题：已知$\frac{dy}{dx} = 1 + y^2$，$y(0) = 1$。(a) 求通解，(b) 求特解，(c) 求$y\left(\frac{\pi}{4}\right)$。

1. (a) 分离变量后积分：

   $$\int \frac{1}{1+y^2} dy = \int dx \implies \arctan(y) = x + C \implies y = \tan(x + C)$$
2. (b) 代入初始条件$y(0)=1$：

   $$\arctan(1) = 0 + C \implies C = \frac{\pi}{4} \implies y = \tan\left(x + \frac{\pi}{4}\right)$$
3. (c) 代入$x = \frac{\pi}{4}$：

   $$y\left(\frac{\pi}{4}\right) = \tan\left(\frac{\pi}{2}\right) \text{, which is undefined}$$$

**例题:** 应用题：种群$P$（单位：百个细菌）满足增长方程$\frac{dP}{dt} = 0.2P$，$t$为时间（单位：小时）。$t=0$时种群数量为250个细菌，求$P(t)$和5小时后的种群数量。

1. 初始条件：$P(0) = 2.5$（250 = 2.5百）。分离变量后积分：

   $$\int \frac{1}{P} dP = \int 0.2 dt \implies \ln|P| = 0.2t + C \implies P(t) = Ce^{0.2t}$$
2. 利用初始条件求解$C$得$C = 2.5$，因此特解为：

   $$P(t) = 2.5e^{0.2t}$$
3. 代入$t=5$求值：

   $$P(5) = 2.5e^{1} \approx 6.7957 \text{ hundred} = 680 \text{ bacteria}$$$

## 常见错误

- **错误做法:** 可分离微分方程两边积分后，仅在一侧加积分常数。
  - 原因: 学生习惯了求反导数时只在右侧加$+C$，忘记两边积分都会产生常数。
  - 正确做法: 两边积分后，代入初始条件前先将所有常数合并为一个任意常数。
- **错误做法:** 初始条件已经确定$y$的符号后，最终特解仍保留$\\pm$。
  - 原因: 即使代入了已知正负的初始值，学生仍保留通解的歧义性。
  - 正确做法: 代入初始条件后，明确去掉错误符号，不要在最终答案中保留歧义的$\\pm$。
- **错误做法:** 分离变量后还未积分就提前代入初始条件。
  - 原因: 学生急于使用初始条件，完全跳过了求通解的步骤。
  - 正确做法: 一定要先完成分离变量、两边积分，得到带任意常数的通解后，再代入初始条件。
- **错误做法:** 积分$\frac{1}{y}$求$C$之前就去掉绝对值符号，导致$y$为负时常数计算错误。
  - 原因: 学生出于习惯提前去掉绝对值，再利用初始条件确定$C$的符号。
  - 正确做法: 取指数前保留绝对值，然后利用初始条件的符号确定合并后常数$C$的符号。
- **错误做法:** 应用型问题中处理十进制数值时过早对$C$取近似。
  - 原因: 过早对$C$取近似会累积误差，导致最终答案超出可接受的误差范围。
  - 正确做法: 所有中间步骤都保留$C$的精确值，仅在最终特解才按要求保留小数位数。

## 速查表

| 类别 | 步骤/公式 | 注释 |
| --- | --- | --- |
| 不定积分初值问题 | 1. 积分$y'(x) = f(x)$ → $y = F(x) + C$<br>2. 代入$y(x_0)=y_0$求解$C$<br>3. 回代$C$ | 一阶问题只有一个常数 |
| 可分离微分方程通解 | 1. 改写$\frac{dy}{dx} = f(x)g(y)$ → $\frac{1}{g(y)} dy = f(x) dx$<br>2. 两边积分，将常数合并为一个$C$ | 仅在$g(y) \neq 0$时成立；需要时单独验证$g(y)=0$的情况 |
| 求解可分离方程的特解 | 1. 得到带$C$的通解<br>2. 代入$y(x_0)=y_0$<br>3. 求解$C$<br>4. 回代$C$ | 尽可能化简为显式形式 |
| 验证特解 | 两次检查：(1) $y(x_0) = y_0$；(2) 将$y, y'$代入微分方程，确认左式=右式 | 先检查初始条件，快速排除错误候选解 |
| 对数微分方程常数化简 | $\ln\|y\| = kx + C_1 \implies \|y\| = e^{C_1}e^{kx} = Ce^{kx}$ | $C$的符号与初始$y$一致 |
| 指数初值问题标准结论 | $\frac{dP}{dt} = kP$, $P(0)=P_0$ → $P(t) = P_0 e^{kt}$ | 指数模型可以直接使用该结论跳过积分步骤 |
| 初始条件记号 | $y(x_0) = y_0$ | 含义是当$x=x_0$时，$y=y_0$；不要混淆输入和输出 |

## 下一步

掌握带初始条件的特解是AP微积分BC中几乎所有高阶微分方程主题的前提，包括斜率场、欧拉法，以及所有真实世界的微分方程建模。接下来你将学习用欧拉法近似求解初值问题，它依赖和精确特解相同的初始点$(x_0, y_0)$，但得到的是数值近似而非精确函数。你还会将特解应用于人口增长、牛顿冷却定律和逻辑增长的实际问题，所有这些问题都需要你利用初始条件校准模型以匹配观测数据。如果不能正确求解积分常数，后续所有计算都会出错。

- [微分方程的指数模型](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-exponential-models-with-differential-equations/)
- [逻辑斯蒂模型与微分方程（仅BC要求）](https://www.owlsprep.com/zh/study/ap-calculus-bc-u7-logistic-models-with-differential-equations/)
- [积分应用概述](https://www.owlsprep.com/zh/study/ap-calculus-bc-u8-overview/)

---

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