学径XUEJING · 个人学习平台通知设置

课程库 Calculus 2 S5 · 一阶常微分方程 › 第 4

换元法 —— 给陌生方程做整容手术

普通课50 分钟

本课导读

手上已有两件兵器:可分离(乘法脸)、积分因子(线性队形)。但世界上还有大量方程两边不靠:y=x+yxy' = \dfrac{x+y}{x} 拆不成乘积也不线性;y=yy2y' = y - y^2 里的 y2y^2 直接把线性资格取消。本课的思路不是发明第三件兵器,而是整容——通过换元,把陌生的脸改造成两张熟脸之一。重点学两种最常用的手术方案:齐次型(换 v=y/xv = y/x)和伯努利方程(换 v=y1nv = y^{1-n}),课末再送一个小巧的第三式。预计 50 分钟。

说明

前置工具箱:链式法则与乘积法则(换元的引擎);前两课全部内容——换元之后的方程要靠它们收尾;dxx=lnx+C\displaystyle\int \frac{dx}{x} = \ln|x| + C

🔧 30 秒回顾 · 本课要用的旧手艺(熟练可跳过)

① 链式法则:对含 yy 的复合函数求导,别忘乘 yy'。微例:v=y2v=2y3yv = y^{-2} \Rightarrow v' = -2y^{-3}\,y'——练习 2 原式。⚠️ 翻车点:忘乘 yy',换元后的方程整个报废。

② 乘积法则y=vxy=v+xvy = vx \Rightarrow y' = v + xv'——齐次换元的翻译公式。⚠️ 翻车点:漏掉 vv 项(本课点名的头号事故)。

③ 收尾流水线速览:可分离三步(分离 → 各自积分 → 整理,第 2 课);积分因子四步(标准化 → μ=epdx\mu = e^{\int p\,dx} → 折叠 → 积分,第 3 课)。换元不解题,只负责把方程运上这两条线。

手术总纲:换元三步

所有换元法共享同一个节奏:

  1. 选新变量 vv(由方程的长相决定选哪种,下面给两个主力方案)
  2. 翻译方程:用链式/乘积法则把 yy' 表示成 vv' 的式子,原方程改写成关于 vv 的方程——如果选对了,新方程必是可分离或线性
  3. 解出 vv,换回 yy:别忘了最后一步,答卷要用原来的变量写

提示

类比记忆:换元像外币兑换——手里的货币(yy)在本地商店(两件兵器)不能用,先按汇率(换元关系)兑成本地货币(vv),买完东西(解出 vv),离境前再换回来(代回 yy)。汇率本身不创造价值,但没有它交易无法发生。

方案一:齐次型 —— 右边只认 y/x 的比值

如果方程能写成

dydx=F ⁣(yx)\frac{dy}{dx} = F\!\left(\frac{y}{x}\right)

即右边只通过比值 y/xy/x 依赖 xxyy(把分子分母同除以 xx 试试就知道),就令 v=yxv = \dfrac{y}{x}。此时 y=vxy = vx,乘积法则给出翻译公式:

y=v+xvy' = v + x\,v'

代入后原方程变成 v+xv=F(v)v + xv' = F(v),即 xdvdx=F(v)vx\dfrac{dv}{dx} = F(v) - v——必定可分离vv 的因子和 xx 的因子天然分居两侧)。

例题 1 · 齐次型全流程

y=x+yxy' = \dfrac{x + y}{x}x>0x > 0)的通解。

第 1 步 · 认脸 + 换元

分子分母同除 xxy=1+yxy' = 1 + \dfrac{y}{x}——右边只通过 y/xy/x 出现,齐次型确认。令 v=y/xv = y/x,翻译:v+xv=1+vv + xv' = 1 + v

第 2 步 · 解 v 的方程

两边的 vv 相消(这题格外爽快):xv=1xv' = 1,分离:dv=dxxdv = \dfrac{dx}{x},积分:

v=lnx+Cv = \ln x + C
第 3 步 · 换回 y 并验证

y=vxy = vx

y=xlnx+Cxy = x\ln x + Cx

验证:y=lnx+1+Cy' = \ln x + 1 + C;右边 x+yx=1+yx=1+lnx+C\dfrac{x + y}{x} = 1 + \dfrac{y}{x} = 1 + \ln x + C ✓。

方案二:伯努利方程 —— 差一个 yⁿ 就线性了

伯努利方程(Bernoulli equation)长这样:

y+p(x)y=q(x)yn(n0,1)y' + p(x)\,y = q(x)\,y^n \qquad (n \neq 0,\, 1)

左边是标准的线性队形,坏就坏在右边那个 yny^n。手术方案:两边除以 yny^n,再令

v=y1nv=(1n)ynyv = y^{1-n} \quad\Rightarrow\quad v' = (1-n)\,y^{-n}\,y'

代入后方程必定变成 vv 的一阶线性方程,交给积分因子。

例题 2 · 剧透过的主角:y′ = y − y²

y=yy2y' = y - y^2 的通解。(上一课结尾预告过:它是人口 Logistic 方程的雏形。)

第 1 步 · 认出伯努利,除以 y²

移项站队:yy=y2y' - y = -y^2——线性队形 + 右边 y2y^2,伯努利,n=2n = 2。两边除以 y2y^2

yy21y=1\frac{y'}{y^2} - \frac{1}{y} = -1

(除了 y2y^2,记账:常函数 y0y \equiv 0 代回原方程成立,是解,通解收编不了它——单列。顺带 y1y \equiv 1 也是解:0=110 = 1 - 1 ✓,它会被通解收编,见下。)

第 2 步 · 换元成线性,积分因子伺候

v=y12=1yv = y^{1-2} = \dfrac{1}{y},则 v=yy2v' = -\dfrac{y'}{y^2}(🔧 工具箱 ①:链式法则,yy' 别忘乘),即 yy2=v\dfrac{y'}{y^2} = -v'。代入:

vv=1v+v=1-v' - v = -1 \quad\Rightarrow\quad v' + v = 1

上一课的送分题:μ=ex\mu = e^x(exv)=ex(e^x v)' = e^xexv=ex+Ce^x v = e^x + C,得 v=1+Cexv = 1 + Ce^{-x}

第 3 步 · 换回 y,读懂 S 形曲线

v=1/yv = 1/y

y=11+Cexy = \frac{1}{1 + Ce^{-x}}

C=0C = 0 给出 y1y \equiv 1,收编成功;y0y \equiv 0 仍需单列。)验证:y=Cex(1+Cex)2=Cexy2y' = \dfrac{Ce^{-x}}{(1+Ce^{-x})^2} = Ce^{-x}y^2,而 yy2=y2(1y1)=y2Cexy - y^2 = y^2\left(\dfrac{1}{y} - 1\right) = y^2 \cdot Ce^{-x} ✓。

读答案(取 C>0C > 0,比如初值 y(0)y(0) 是个小正数):起步时 yy 小、增长慢;中段加速;逼近 1 时又慢下来——一条 S 形曲线。"先慢、再快、又慢"正是流行病传播、新产品普及、细菌繁殖的共同剧本,第 7 课人口模型正式加冕它。

第三式(小巧):右边只认 x + y 的组合

若方程形如 y=f(ax+by+c)y' = f(ax + by + c)——右边只通过一个线性组合依赖 x,yx, y,就令 u=ax+by+cu = ax + by + c,则 u=a+byu' = a + by',代入后必可分离。练习 3 用它抓一只老虎。

✍️ 练习

练习 1 · 齐次型进阶

y=x2+y2xyy' = \dfrac{x^2 + y^2}{xy}x>0x > 0)的通解。(提示:分子分母同除 x2x^2,右边变成 1+v2v\dfrac{1 + v^2}{v}。)

✅ 参考答案

换元后:v+xv=1v+vv + xv' = \dfrac{1}{v} + v,即 xv=1vxv' = \dfrac{1}{v}。分离:vdv=dxxv\,dv = \dfrac{dx}{x},积分:v22=lnx+C1\dfrac{v^2}{2} = \ln x + C_1。换回 v=y/xv = y/x 并记 C=2C1C = 2C_1

y2=x2(2lnx+C)y^2 = x^2\,(2\ln x + C)

隐式解完全合法(上上课的观念)。验证:两边求导 2yy=2x(2lnx+C)+2x2yy' = 2x(2\ln x + C) + 2x,故 y=x(2lnx+C)+xy=y2/x+xy=x2+y2xyy' = \dfrac{x(2\ln x + C) + x}{y} = \dfrac{y^2/x + x}{y} = \dfrac{x^2 + y^2}{xy} ✓。

练习 2 · 伯努利标准流程

y+y=y3y' + y = y^3 的通解。(n=3n = 3v=y2v = y^{-2}。)

✅ 参考答案

除以 y3y^3yy3+1y2=1\dfrac{y'}{y^3} + \dfrac{1}{y^2} = 1。令 v=y2v = y^{-2}v=2y3yv' = -2y^{-3}y',即 yy3=v2\dfrac{y'}{y^3} = -\dfrac{v'}{2}。代入:v2+v=1-\dfrac{v'}{2} + v = 1,整理 v2v=2v' - 2v = -2。积分因子 μ=e2x\mu = e^{-2x}(e2xv)=2e2x(e^{-2x}v)' = -2e^{-2x},积分 e2xv=e2x+Ce^{-2x}v = e^{-2x} + C,得 v=1+Ce2xv = 1 + Ce^{2x}。换回:

y2=11+Ce2xy^2 = \frac{1}{1 + Ce^{2x}}

y0y \equiv 0 单列。)验证取 y=(1+Ce2x)1/2y = (1+Ce^{2x})^{-1/2}y=Ce2x(1+Ce2x)3/2=Ce2xy3y' = -Ce^{2x}(1+Ce^{2x})^{-3/2} = -Ce^{2x}y^3;而 y3y=y3(1y2)=y3(11Ce2x)=Ce2xy3y^3 - y = y^3(1 - y^{-2}) = y^3(1 - 1 - Ce^{2x}) = -Ce^{2x}y^3 ✓。

练习 3 · 第三式抓老虎

解方程 y=(x+y)2y' = (x + y)^2。(令 u=x+yu = x + y;会用到 du1+u2=arctanu+C\displaystyle\int \frac{du}{1+u^2} = \arctan u + C。)

✅ 参考答案

u=x+yu = x + yu=1+y=1+u2u' = 1 + y' = 1 + u^2——上一课练习 3 的老熟人!分离积分得 arctanu=x+C\arctan u = x + C,即 u=tan(x+C)u = \tan(x + C),换回:

y=tan(x+C)xy = \tan(x + C) - x

验证:y=sec2(x+C)1=tan2(x+C)=(x+y)2y' = \sec^2(x+C) - 1 = \tan^2(x+C) = (x+y)^2 ✓。三步节奏一次没变:换元 → 熟脸 → 换回。

📝 随堂测验

随堂测验0 / 5 题正确

1. 换元法在解一阶 ODE 中的定位是?

2. 判断能否用 $v = y/x$ 换元(齐次型)的标准是?

3. $v = y/x$ 换元时,$y'$ 的正确翻译是?

4. 伯努利方程 $y' + p(x)y = q(x)y^n$ 的手术方案是?

5. 例题 2 的解 $y = \dfrac{1}{1 + Ce^{-x}}$($C>0$)的图像特征与现实对应是?

本课小结

  • 换元三步:vv → 翻译方程 → 解出后换回;换元不解题,只负责把题运到熟脸地界
  • 齐次型 y=F(y/x)y' = F(y/x):令 v=y/xv = y/x,翻译公式 y=v+xvy' = v + xv'(漏 vv 是头号事故),换元后必可分离
  • 伯努利 y+py=qyny' + py = qy^n:除以 yny^n、令 v=y1nv = y^{1-n},换元后必线性;除法记账(y0y \equiv 0 常单列)
  • 第三式 y=f(ax+by+c)y' = f(ax+by+c):令 u=ax+by+cu = ax+by+c,必可分离
  • y=yy2y' = y - y^2 的解是 S 形曲线——第 7 课 Logistic 模型的完整版预告

延伸阅读(可选,跳过不影响主线)

到此为止,解法三连(分离、积分因子、换元)收官。但一个坏消息一直没说:大多数微分方程根本写不出解的公式。好消息是下一课开始的定性分析——不解方程,照样把系统的长期命运看得一清二楚。第 1 课咖啡杯里那颗"平衡"的种子,要发芽了。

划选正文任意文字可高亮、批注或加入复习卡

讨论

载入中…