本课导读
上一课留了个坎:咖啡方程 d T d t = − k ( T − 20 ) \dfrac{dT}{dt} = -k(T-20) d t d T = − k ( T − 20 ) 没法直接积分——未知的 T T T 赖在等号右边不走。本课学第一个真正的解法可分离变量法 :把含 y y y 的因子和含 x x x 的因子各自赶回等号两边 ,两边分别积分。学完你就能亲手解出咖啡的完整降温曲线,还会顺手收获一个哲学教训:除以一个东西之前,先想想它是不是零 。预计 45 分钟。
说明
前置工具箱 :∫ d y y = ln ∣ y ∣ + C \displaystyle\int \frac{dy}{y} = \ln|y| + C ∫ y d y = ln ∣ y ∣ + C ;e a + b = e a e b e^{a+b} = e^a e^b e a + b = e a e b ;e ln a = a e^{\ln a} = a e l n a = a ;换元积分(凑微分)。上一课的两个词也随身带着:通解、初值问题。
🔧 30 秒回顾 · 本课要用的旧手艺(熟练可跳过) ① ∫ d y y = ln ∣ y ∣ + C \displaystyle\int \frac{dy}{y} = \ln|y| + C ∫ y d y = ln ∣ y ∣ + C :本课出场率最高的积分。微例:∫ d T T − 20 = ln ∣ T − 20 ∣ + C \displaystyle\int \frac{dT}{T-20} = \ln|T-20| + C ∫ T − 20 d T = ln ∣ T − 20∣ + C ——例题 2 第 1 步原式。⚠️ 翻车点:漏绝对值——负的那支解就悄悄丢了(取指数吸收 ± \pm ± 时它会回来对账)。
② 取指数整理 :e a + b = e a e b e^{a+b} = e^a e^b e a + b = e a e b 、e ln a = a e^{\ln a} = a e l n a = a 。微例:ln ∣ y ∣ = 2 t + C 1 \ln|y| = 2t + C_1 ln ∣ y ∣ = 2 t + C 1 两边取指数 → ∣ y ∣ = e C 1 e 2 t |y| = e^{C_1}e^{2t} ∣ y ∣ = e C 1 e 2 t ,把正常数 e C 1 e^{C_1} e C 1 连同 ± \pm ± 一起改名成任意常数 C C C 。⚠️ 翻车点:把 e C 1 e^{C_1} e C 1 当成变量——它只是个数。
③ ∫ d y 1 + y 2 = arctan y + C \displaystyle\int \frac{dy}{1+y^2} = \arctan y + C ∫ 1 + y 2 d y = arctan y + C (练习 3 用)。⚠️ 翻车点:与 ∫ d y 1 − y 2 \displaystyle\int \frac{dy}{1-y^2} ∫ 1 − y 2 d y (那个要拆部分分式)认错脸。
什么样的方程可以"分离"
一阶方程 y ′ = f ( x , y ) y' = f(x, y) y ′ = f ( x , y ) 中,如果右边能拆成两个单干的因子 ——一个只管 x x x 、一个只管 y y y :
d y d x = g ( x ) h ( y ) \frac{dy}{dx} = g(x)\, h(y) d x d y = g ( x ) h ( y )
它就叫可分离变量方程 (separable ODE)。判断标准就一条:右边能不能写成乘积 。y ′ = x y y' = xy y ′ = x y 可以(g = x g = x g = x ,h = y h = y h = y );y ′ = x + y y' = x + y y ′ = x + y 不行(加法拆不开——这个下下课的换元法来管)。
解法三步,像分家产:
分离 :把所有 y y y 挪到左边、所有 x x x 挪到右边——d y h ( y ) = g ( x ) d x \dfrac{dy}{h(y)} = g(x)\,dx h ( y ) d y = g ( x ) d x
两边分别积分 :∫ d y h ( y ) = ∫ g ( x ) d x \displaystyle\int \frac{dy}{h(y)} = \int g(x)\,dx ∫ h ( y ) d y = ∫ g ( x ) d x (常数 C C C 只在一边写一次就够)
整理 :能解出 y y y 就解出来(显式解);解不出来就让等式安静地待着(隐式解,同样合法)
提示
类比记忆:分离变量像分居冷静期 ——y y y 和 x x x 纠缠在一起时谁也积不了分;各回各家(等号两边)之后,两边各自的积分都是你早就会的单变量积分。
例题 1 · 从老朋友下手
解方程 d y d t = 2 y \dfrac{dy}{dt} = 2y d t d y = 2 y 。(上一课我们验证过 y = C e 2 t y = Ce^{2t} y = C e 2 t 是解,现在正面推导 它。)
第 1 步 · 分离 右边 = 2 ⋅ y = 2 \cdot y = 2 ⋅ y ,是"只管 t t t 的因子(常数 2)× 只管 y y y 的因子"。两边同除 y y y 、同乘 d t dt d t :
d y y = 2 d t \frac{dy}{y} = 2\,dt y d y = 2 d t 小心:这一步除了 y y y ——先在心里记一笔账,最后要回来查 y = 0 y = 0 y = 0 的情况。
第 2 步 · 两边积分 ∫ d y y = ∫ 2 d t ⇒ ln ∣ y ∣ = 2 t + C 1 \int \frac{dy}{y} = \int 2\,dt \quad\Rightarrow\quad \ln|y| = 2t + C_1 ∫ y d y = ∫ 2 d t ⇒ ln ∣ y ∣ = 2 t + C 1
第 3 步 · 整理出显式解 + 还账 两边取指数(🔧 工具箱 ②):∣ y ∣ = e 2 t + C 1 = e C 1 e 2 t |y| = e^{2t + C_1} = e^{C_1} e^{2t} ∣ y ∣ = e 2 t + C 1 = e C 1 e 2 t ,即 y = ± e C 1 e 2 t y = \pm e^{C_1} e^{2t} y = ± e C 1 e 2 t 。记 C = ± e C 1 C = \pm e^{C_1} C = ± e C 1 (一个可正可负的任意常数),得
y = C e 2 t y = Ce^{2t} y = C e 2 t 还账 :刚才除以 y y y 时排除了 y = 0 y = 0 y = 0 ——但常函数 y ≡ 0 y \equiv 0 y ≡ 0 代回原方程:左边 0 0 0 ,右边 2 ⋅ 0 = 0 2 \cdot 0 = 0 2 ⋅ 0 = 0 ,成立!它也是解。好在让 C = 0 C = 0 C = 0 恰好能把它收编进通解,无需单列。这笔账不是每次都这么幸运,习惯必须养成:除以谁,最后查谁 。
例题 2 · 兑现咖啡之约
解初值问题:d T d t = − k ( T − 20 ) \dfrac{dT}{dt} = -k(T - 20) d t d T = − k ( T − 20 ) ,T ( 0 ) = 80 T(0) = 80 T ( 0 ) = 80 (一杯 80 度的咖啡放在 20 度的房间里)。
第 1 步 · 分离并积分 ∫ d T T − 20 = ∫ − k d t ⇒ ln ∣ T − 20 ∣ = − k t + C 1 \int \frac{dT}{T - 20} = \int -k\,dt \quad\Rightarrow\quad \ln|T - 20| = -kt + C_1 ∫ T − 20 d T = ∫ − k d t ⇒ ln ∣ T − 20∣ = − k t + C 1 (除以了 T − 20 T - 20 T − 20 ,记账:查 T ≡ 20 T \equiv 20 T ≡ 20 ——代回原方程两边都是 0,是解。正是上一课埋的"平衡"种子:咖啡凉到室温就永远停在室温。)
第 2 步 · 整理出通解 取指数并吸收正负号:T − 20 = C e − k t T - 20 = Ce^{-kt} T − 20 = C e − k t ,即
T = 20 + C e − k t T = 20 + Ce^{-kt} T = 20 + C e − k t (C = 0 C = 0 C = 0 收编平衡解 T ≡ 20 T \equiv 20 T ≡ 20 ,账平了。)
第 3 步 · 初值定 C,读懂答案 代入 T ( 0 ) = 80 T(0) = 80 T ( 0 ) = 80 :80 = 20 + C 80 = 20 + C 80 = 20 + C ,得 C = 60 C = 60 C = 60 。特解:
T ( t ) = 20 + 60 e − k t T(t) = 20 + 60e^{-kt} T ( t ) = 20 + 60 e − k t 读一遍这个答案,它把生活经验全说对了:t = 0 t = 0 t = 0 时 80 度 ✓;t → ∞ t \to \infty t → ∞ 时 e − k t → 0 e^{-kt} \to 0 e − k t → 0 ,温度无限逼近但永不低于 20 度 ✓;温差 60 e − k t 60e^{-kt} 60 e − k t 指数衰减——开头凉得快、后面越来越慢 ✓。一个方程,三条常识,全部兑现。
例题 3 · 解不出 y 也没关系:隐式解
解方程 d y d x = − x y \dfrac{dy}{dx} = -\dfrac{x}{y} d x d y = − y x 。
分离:y d y = − x d x y\,dy = -x\,dx y d y = − x d x 。积分:y 2 2 = − x 2 2 + C 1 \dfrac{y^2}{2} = -\dfrac{x^2}{2} + C_1 2 y 2 = − 2 x 2 + C 1 ,整理(记 C = 2 C 1 C = 2C_1 C = 2 C 1 ):
x 2 + y 2 = C x^2 + y^2 = C x 2 + y 2 = C
解是一族同心圆 !这就是隐式解 :y y y 没被单独解出来,但关系式已经完全锁定了解曲线。要验证也容易——对 x 2 + y 2 = C x^2 + y^2 = C x 2 + y 2 = C 两边求导(隐函数求导):2 x + 2 y y ′ = 0 2x + 2y y' = 0 2 x + 2 y y ′ = 0 ,即 y ′ = − x / y y' = -x/y y ′ = − x / y ✓,正是原方程。
若给初值 y ( 0 ) = 2 y(0) = 2 y ( 0 ) = 2 :代入得 C = 4 C = 4 C = 4 ,解曲线是圆 x 2 + y 2 = 4 x^2 + y^2 = 4 x 2 + y 2 = 4 ;因为初值点在上半圆,取 y = 4 − x 2 y = \sqrt{4 - x^2} y = 4 − x 2 (− 2 < x < 2 -2 < x < 2 − 2 < x < 2 )。初值不但定 C C C ,还负责挑分支 。
✍️ 练习
练习 1 · 会爆炸的解
解初值问题 y ′ = y 2 y' = y^2 y ′ = y 2 ,y ( 0 ) = 1 y(0) = 1 y ( 0 ) = 1 ,并观察解在 x → 1 − x \to 1^- x → 1 − 时的行为。
✅ 参考答案 分离积分:∫ d y y 2 = ∫ d x ⇒ − 1 y = x + C \displaystyle\int \frac{dy}{y^2} = \int dx \Rightarrow -\frac{1}{y} = x + C ∫ y 2 d y = ∫ d x ⇒ − y 1 = x + C 。代入 ( 0 , 1 ) (0, 1) ( 0 , 1 ) :− 1 = C -1 = C − 1 = C 。整理:
y = 1 1 − x y = \frac{1}{1 - x} y = 1 − x 1 验证:y ′ = 1 ( 1 − x ) 2 = y 2 y' = \dfrac{1}{(1-x)^2} = y^2 y ′ = ( 1 − x ) 2 1 = y 2 ✓。注意戏剧性行为:x → 1 − x \to 1^- x → 1 − 时 y → + ∞ y \to +\infty y → + ∞ ——解在有限时间内爆炸 ,定义域只到 x = 1 x = 1 x = 1 为止。微分方程的解自带"有效期",这是它和代数方程又一处气质不同。(记账:y ≡ 0 y \equiv 0 y ≡ 0 也是解,但初值 y ( 0 ) = 1 y(0)=1 y ( 0 ) = 1 用不上它。)
练习 2 · 标准流程
求 y ′ = x y y' = xy y ′ = x y 的通解。
✅ 参考答案 ∫ d y y = ∫ x d x ⇒ ln ∣ y ∣ = x 2 2 + C 1 \displaystyle\int \frac{dy}{y} = \int x\,dx \Rightarrow \ln|y| = \frac{x^2}{2} + C_1 ∫ y d y = ∫ x d x ⇒ ln ∣ y ∣ = 2 x 2 + C 1 ,取指数吸收符号:
y = C e x 2 / 2 y = Ce^{x^2/2} y = C e x 2 /2 (C = 0 C=0 C = 0 收编 y ≡ 0 y \equiv 0 y ≡ 0 。)钟形曲线的近亲——它会在概率统计里和你重逢。
练习 3 · 一个躲不开正切的方程
解初值问题 y ′ = 1 + y 2 y' = 1 + y^2 y ′ = 1 + y 2 ,y ( 0 ) = 0 y(0) = 0 y ( 0 ) = 0 。
✅ 参考答案 ∫ d y 1 + y 2 = ∫ d x ⇒ arctan y = x + C \displaystyle\int \frac{dy}{1 + y^2} = \int dx \Rightarrow \arctan y = x + C ∫ 1 + y 2 d y = ∫ d x ⇒ arctan y = x + C 。初值给出 C = 0 C = 0 C = 0 ,故
y = tan x ( − π 2 < x < π 2 ) y = \tan x \qquad \left(-\frac{\pi}{2} < x < \frac{\pi}{2}\right) y = tan x ( − 2 π < x < 2 π ) 验证:( tan x ) ′ = sec 2 x = 1 + tan 2 x = 1 + y 2 (\tan x)' = \sec^2 x = 1 + \tan^2 x = 1 + y^2 ( tan x ) ′ = sec 2 x = 1 + tan 2 x = 1 + y 2 ✓。又见"有效期":解到 x = π / 2 x = \pi/2 x = π /2 就飞向无穷。(这次 1 + y 2 1 + y^2 1 + y 2 永不为零,没有账要还。)
📝 随堂测验
1. 下列方程中,可以用分离变量法求解的是?
A $y' = e^x e^y$B $y' = x + y$C $y' = x + y^2$D $y' = \ln(x + y)$
2. 分离变量时两边同除以 $h(y)$,正确的后续操作是?
A 什么都不用管,除就除了B 只要方程有初值条件就不用检查C 解完后单独检查 $h(y) = 0$ 对应的常函数是否也是解(除以谁,最后查谁)D $h(y) = 0$ 的情况永远不是解
3. 咖啡解 $T = 20 + 60e^{-kt}$ 中,长期行为($t \to \infty$)是?
A 温度降到 0 度B 温度无限逼近室温 20 度,但永远不会低于它C 温度周期性波动D 温度在有限时间内到达 20 度然后停住
4. $x^2 + y^2 = C$ 这样的解叫隐式解,它的含义是?
A 这是错误答案,必须解出 $y$ 才算完B 方程无解时的记号C 只对 $C = 0$ 成立D 解曲线已被关系式完全锁定,只是 $y$ 没有被单独表示出来——同样是合法的解
5. 练习 1 的解 $y = 1/(1-x)$(初值 $y(0)=1$)揭示了微分方程解的什么特点?
A 解可能在有限的 $x$ 处爆炸到无穷——解自带“有效期”(定义区间)B 解永远定义在整个数轴上C 初值条件写错了D 分离变量法在这里失效了
本课小结
可分离 = 右边能写成 g ( x ) h ( y ) g(x)h(y) g ( x ) h ( y ) 的乘积;解法三步:分离 → 两边各自积分 → 整理(常数只写一边)
铁律:除以谁,最后查谁 ——h ( y ) = 0 h(y)=0 h ( y ) = 0 的常函数常常也是解,有时被 C = 0 C=0 C = 0 收编,有时要单列
咖啡之约兑现:T = 20 + 60 e − k t T = 20 + 60e^{-kt} T = 20 + 60 e − k t ,指数式逼近室温——方程与生活经验逐条对上
隐式解 (如 x 2 + y 2 = C x^2 + y^2 = C x 2 + y 2 = C )同样合法;初值条件定 C C C 兼挑分支
解自带定义区间 :"有效期"内才算数(y = 1 / ( 1 − x ) y = 1/(1-x) y = 1/ ( 1 − x ) 在 x = 1 x=1 x = 1 爆炸)
延伸阅读(可选,跳过不影响主线)
可分离变量法要求右边是乘积——那 y ′ + y = e x y' + y = e^x y ′ + y = e x 这种"加法脸"怎么办?下一课请出一阶线性方程的专属兵器:积分因子 ,一个"乘上去就让左边变成完美导数"的神奇函数。