详解
第 1 步 拆函数
$f=\underbrace{x^2y^3}_{\text{主项}}+\underbrace{(x-1)(y-2)^2\arctan(2+x^2+y^2)}_{\text{记作 }g}$。
因子结构:$g$ 中 $(x-1)$ 一次、$(y-2)$ 二次。求点偏导时这部分多半归零。
第 2 步 算 $f_x(1,2)$
$f_x=\underbrace{2xy^3}_{\text{主项导}}+\underbrace{g_x}_{?}$。展开 $g_x$(乘积法则三项):
- $\dfrac{\partial}{\partial x}(x-1)\cdot (y-2)^2\arctan(\cdot)=1\cdot (y-2)^2\arctan(\cdot)$ —— 在 $(1,2)$ 处含 $(y-2)^2=0$,归零 ✗
- $(x-1)\cdot \dfrac{\partial}{\partial x}(y-2)^2\cdot\arctan(\cdot)=0$($(y-2)^2$ 对 $x$ 求导为 0)✗
- $(x-1)(y-2)^2\cdot \dfrac{2x}{1+(2+x^2+y^2)^2}$ —— 在 $(1,2)$ 处含 $(x-1)=0$ 且 $(y-2)^2=0$,归零 ✗
所以 $g_x(1,2)=0$。剩下:
$$f_x(1,2)=2\cdot 1\cdot 2^3=16.$$
第 3 步 算 $f_y(1,2)$
$f_y=3x^2y^2+g_y$。$g_y$ 三项:
- $(x-1)\cdot 2(y-2)\cdot\arctan(\cdot)$ —— 含 $(x-1)(y-2)$ 因子,在 $(1,2)$ 两个都为 0,归零 ✗
- $(x-1)(y-2)^2\cdot \dfrac{2y}{1+(\cdot)^2}$ —— 含 $(x-1)$,归零 ✗
- ($(x-1)$ 对 $y$ 求导为 0)
$$f_y(1,2)=3\cdot 1^2\cdot 2^2=12.$$
本题"捷径"省的是 $\arctan(2+x^2+y^2)$ 在 $(1,2)$ 处的值($\arctan 7$)以及一堆乘积——不算还能得到准确值,正是因为因子结构 $(x-1)(y-2)^2$ 已经替我们灭掉了所有"光滑函数"贡献。
$f_x(1,2)=16$,$f_y(1,2)=12$。
一切形如 $f=p(x,y)+(x-a)^p(y-b)^q\cdot h(x,y)$ 的题,求在 $(a,b)$ 的偏导都用这招。更狠的考法:让你求 $f_{xy}(a,b)$,这时要让因子幂数能"扛"到二阶——$(x-a)^2(y-b)^2$ 在 $(a,b)$ 处所有二阶偏导都是 0。
题型 E
高阶混合偏导 $\dfrac{\partial^2 z}{\partial x\partial y}$ 三类典型
三种结构对号入座
题目里 $z$ 长什么样,决定走哪条路:
- "普通函数 + 单变量复合函数":$z=g(x,y)+\varphi(\,u(x,y)\,)$。$\varphi$ 是一元函数,链式法则一层就够。
- "二元抽象函数 $f(u,v)$":$z=f(u(x,y),v(x,y))$。关键:$f_u,f_v$ 仍是 $(u,v)$ 的二元函数;对它再求偏导时要继续链式,会出现 $f_{uu},f_{uv},f_{vv}$。
- "隐函数 $F(x,y,z)=0$":先用公式 $z_x=-\dfrac{F_x}{F_z},\ z_y=-\dfrac{F_y}{F_z}$;再对 $z_x$ 关于 $y$ 求导,$z$ 视作 $y$ 的函数继续链式。
核心公式(背下来)
$z=f(u,v),u=u(x,y),v=v(x,y)$:
$z_x=f_u\cdot u_x+f_v\cdot v_x$
$\dfrac{\partial f_u}{\partial y}=f_{uu}\cdot u_y+f_{uv}\cdot v_y$($f_u$ 再求 $y$ 偏导时,把 $f_u$ 当成 $(u,v)$ 二元函数继续链式)
求 $z_{xy}$ 时忘了 $f_u,f_v$ 还要继续链式——直接当成数 → 漏掉 $f_{uu},f_{uv}$ 这些项。隐函数 (3) 类对 $z_x$ 求 $y$ 偏导时漏掉"$z$ 也含 $y$"。
例 2.6(3 个子题)
求下列函数的 $\dfrac{\partial^2 z}{\partial x\partial y}$:
(1)$z=x^2y^2+\varphi(x^2+y^2)$;
(2)$z=f(x^2y^2,\ x^2+y^2)$;
(3)$x^2+y^2+e^{z}+2z=3$。
详解
(1) $z=x^2y^2+\varphi(x^2+y^2)$ ——单变量复合
$\varphi$ 是一元函数。记内函数 $u=x^2+y^2$,则 $\dfrac{\partial u}{\partial x}=2x,\ \dfrac{\partial u}{\partial y}=2y$。
先求 $z_x$:
$$z_x=\underbrace{2xy^2}_{\text{主项}}+\underbrace{\varphi'(u)\cdot 2x}_{\text{链式}}=2xy^2+2x\varphi'.$$
再对 $y$ 求偏导:
$$z_{xy}=\dfrac{\partial}{\partial y}(2xy^2)+\dfrac{\partial}{\partial y}(2x\varphi').$$
- $\dfrac{\partial}{\partial y}(2xy^2)=4xy$
- $\dfrac{\partial}{\partial y}(2x\varphi')=2x\cdot \varphi''(u)\cdot u_y=2x\cdot\varphi''\cdot 2y=4xy\varphi''$
$$\boxed{z_{xy}=4xy+4xy\varphi''=4xy(1+\varphi'').}$$
(2) $z=f(x^2y^2,\ x^2+y^2)$ ——二元抽象函数
记 $u=x^2y^2,\ v=x^2+y^2$。则 $u_x=2xy^2,u_y=2x^2y,v_x=2x,v_y=2y$。
第 1 步 求 $z_x$(链式法则一阶):
$$z_x=f_u\cdot u_x+f_v\cdot v_x=2xy^2 f_u+2x f_v.$$
第 2 步 对 $z_x$ 关于 $y$ 求导。注意 $f_u,f_v$ 还是 $(u,v)$ 的二元函数,继续链式:
- $\dfrac{\partial f_u}{\partial y}=f_{uu}\cdot u_y+f_{uv}\cdot v_y=f_{uu}\cdot 2x^2y+f_{uv}\cdot 2y$
- $\dfrac{\partial f_v}{\partial y}=f_{vu}\cdot u_y+f_{vv}\cdot v_y=f_{vu}\cdot 2x^2y+f_{vv}\cdot 2y$
第 3 步 乘积法则展开:
$$z_{xy}=\dfrac{\partial}{\partial y}(2xy^2 f_u)+\dfrac{\partial}{\partial y}(2x f_v).$$
第一项 = $4xy\,f_u+2xy^2(2x^2y f_{uu}+2y f_{uv})$;
第二项 = $0\cdot f_v+2x(2x^2y f_{vu}+2y f_{vv})$($2x$ 对 $y$ 求导为 0)。
第 4 步 合并(用 $f_{uv}=f_{vu}$,假设连续):
$$z_{xy}=4xy f_u+4x^3y^3 f_{uu}+4xy^3 f_{uv}+4x^3y f_{vu}+4xy f_{vv}.$$
把 $4xy$ 提出来:
$$\boxed{z_{xy}=4xy\bigl[f_u+x^2y^2 f_{uu}+(x^2+y^2)f_{uv}+f_{vv}\bigr].}$$
($x^2y^3+x^3y$) 提 $4xy$ 后是 $y^2+x^2$,正是 $v=x^2+y^2$ —— 这种"约成原中间变量"的现象在抽象函数题中很常见,可以作为验算信号。
(3) $x^2+y^2+e^z+2z=3$ ——隐函数
设 $F=x^2+y^2+e^z+2z-3$。$F_x=2x,\ F_y=2y,\ F_z=e^z+2$。
第 1 步 由隐函数公式:
$$z_x=-\dfrac{F_x}{F_z}=-\dfrac{2x}{e^z+2},\quad z_y=-\dfrac{2y}{e^z+2}.$$
第 2 步 对 $z_x$ 关于 $y$ 求导。注意 $z$ 也是 $y$ 的函数,链式:
$$z_{xy}=\dfrac{\partial}{\partial y}\left(-\dfrac{2x}{e^z+2}\right)=-2x\cdot\dfrac{\partial}{\partial y}\!\left(\dfrac{1}{e^z+2}\right).$$
$\dfrac{\partial}{\partial y}\!\left(\dfrac{1}{e^z+2}\right)=-\dfrac{1}{(e^z+2)^2}\cdot e^z\cdot z_y$,所以:
$$z_{xy}=-2x\cdot\!\left[-\dfrac{e^z\cdot z_y}{(e^z+2)^2}\right]=\dfrac{2x\,e^z\,z_y}{(e^z+2)^2}.$$
第 3 步 代入 $z_y=-\dfrac{2y}{e^z+2}$:
$$\boxed{z_{xy}=\dfrac{2x\,e^z}{(e^z+2)^2}\cdot\!\left(-\dfrac{2y}{e^z+2}\right)=-\dfrac{4xy\,e^z}{(e^z+2)^3}.}$$
隐函数求二阶最容易漏的就是"$z$ 还是 $y$ 的函数"那一层链式——所以 $\dfrac{1}{e^z+2}$ 对 $y$ 求导时一定要带上 $z_y$ 因子。
变式:(2) 如果改成 $z=f(\sin xy,\,\ln(x+y))$,套路一样——把内函数标号、写中间变量、机械链式即可。
真题常考:把 (3) 改为带具体点求值,例如"在 $(0,0,z_0)$ 处求 $z_{xy}$",先把 $z_0$ 解出来再代入。
题型 F
方程组确定的隐函数偏导(两条腿走路)
套路
两个方程 $F=0,\ G=0$ 定义出 $u=u(x,y),v=v(x,y)$。对自变量(比如 $x$)求偏导,得到关于 $u_x,v_x$ 的二元线性方程组,解出来。对 $y$ 求偏导同理。
求导时的关键
- 把另一个自变量当常数(求对 $x$ 的偏导时 $y$ 当常数)。
- $u,v$ 视为 $(x,y)$ 的复合函数——遇到 $u^2$ 就是 $2u\cdot u_x$,遇到 $v\sin u$ 就乘积法则 + 链式。
- 解出来的方程组形式:$\begin{cases}A u_x+B v_x=C_1\\ D u_x+E v_x=C_2\end{cases}$,用消元法或克莱姆。
克莱姆法则(备用)
$u_x=\dfrac{C_1 E-C_2 B}{AE-BD},\quad v_x=\dfrac{A C_2-D C_1}{AE-BD}.$
把 $u,v$ 当作 $(x,y)$ 之外的"独立变量"——求 $\dfrac{\partial}{\partial x}(u^2)$ 时漏掉 $2u\cdot u_x$ 的 $u_x$。
例 2.7
已知 $\begin{cases}x^2+y^2+u+2v-3=0\\ x+2y-3u-v^2+1=0\end{cases}$,求 $\dfrac{\partial u}{\partial x},\ \dfrac{\partial v}{\partial y}$。
详解
第 1 步 对 $x$ 求偏导($y$ 当常数)
第一式:$\dfrac{\partial}{\partial x}(x^2+y^2+u+2v-3)=2x+u_x+2v_x=0$ ……①
第二式:$\dfrac{\partial}{\partial x}(x+2y-3u-v^2+1)=1-3u_x-2v\cdot v_x=0$ ……②
$v^2$ 对 $x$ 求导用链式:$2v\cdot v_x$。$y^2,2y$ 当常数为 0。
第 2 步 解线性方程组求 $u_x$
由 ① 得 $u_x=-2x-2v_x$,代入 ②:
$$1-3(-2x-2v_x)-2v\,v_x=0\Rightarrow 1+6x+6v_x-2v\,v_x=0$$
$$\Rightarrow v_x(6-2v)=-(1+6x)\Rightarrow v_x=\dfrac{1+6x}{2v-6}=\dfrac{6x+1}{2v-6}.$$
回代 $u_x$:
$$u_x=-2x-2\cdot\dfrac{6x+1}{2v-6}=\dfrac{-2x(2v-6)-2(6x+1)}{2v-6}=\dfrac{-4xv+12x-12x-2}{2v-6}=\dfrac{-4xv-2}{2v-6}=-\dfrac{2xv+1}{v-3}.$$
第 3 步 对 $y$ 求偏导($x$ 当常数)求 $v_y$
第一式:$2y+u_y+2v_y=0$ ……③
第二式:$2-3u_y-2v\,v_y=0$ ……④
由 ③ 得 $u_y=-2y-2v_y$,代入 ④:
$$2-3(-2y-2v_y)-2v\,v_y=0\Rightarrow 2+6y+6v_y-2v\,v_y=0$$
$$\Rightarrow v_y(6-2v)=-(2+6y)\Rightarrow v_y=\dfrac{2+6y}{2v-6}=\dfrac{3y+1}{v-3}.$$
$\dfrac{\partial u}{\partial x}=-\dfrac{2xv+1}{v-3},\quad \dfrac{\partial v}{\partial y}=\dfrac{3y+1}{v-3}$。
题目若给出"在点 $(1,1,1,1)$ 处求值",代值即可。检验小技巧:分母 $v-3$ 一旦为 0($v=3$),说明此点雅可比为奇异——隐函数不再唯一确定。考研真题里常在这种地方设陷阱。
题型 G
全微分(正向求 + 逆向反求)
两个方向
- 正向(已知函数求 $\mathrm dz$):直接套公式 $\mathrm dz=z_x\,\mathrm dx+z_y\,\mathrm dy$(三元就再加 $z_z\,\mathrm dz$)。每个偏导用对应章节方法(普通 / 复合 / 隐函数)算。
- 逆向(已知 $\mathrm df=P\,\mathrm dx+Q\,\mathrm dy$,反求函数或参数):核心是"全微分等价于 $P=f_x,\ Q=f_y$"。再用混合偏导相等 $\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x}$ 当方程。
隐函数的全微分(两条路)
- 路 1:分别求 $z_x,z_y$,写 $\mathrm dz=z_x\,\mathrm dx+z_y\,\mathrm dy$。
- 路 2:对原方程 $F(x,y,z)=0$ 两边整体取微分:$F_x\,\mathrm dx+F_y\,\mathrm dy+F_z\,\mathrm dz=0$,解出 $\mathrm dz$。这条路最简洁,推荐。
$\mathrm d(\cdots)$ 微分运算法则(备用)
$\mathrm d(fg)=g\,\mathrm df+f\,\mathrm dg,\quad \mathrm d(f/g)=\dfrac{g\,\mathrm df-f\,\mathrm dg}{g^2},\quad \mathrm d(\varphi\circ f)=\varphi'(f)\,\mathrm df.$
逆向题里"对一切 $x,y$ 恒等"才能比较系数;只代一两个点会少条件。$\cos^2 x$ 求导 = $-2\sin x\cos x=-\sin 2x$(注意负号)。
例 2.8、2.9、2.10
(1) 求 $z=x^2y^2+\varphi(x^2+y^2)$ 的全微分;
(2) 已知 $\mathrm df(x,y)=(y+by\sin 2x)\mathrm dx+(ax+\cos^2x)\mathrm dy$,求 $a,b$ 的值。
详解
(1) 正向 — 直接求偏导
$z_x=2xy^2+\varphi'\cdot 2x=2xy^2+2x\varphi'$;
$z_y=2x^2y+\varphi'\cdot 2y=2x^2y+2y\varphi'$。
$$\mathrm dz=(2xy^2+2x\varphi')\mathrm dx+(2x^2y+2y\varphi')\mathrm dy.$$
(2) 逆向 — 用混合偏导相等
由 $\mathrm df=P\,\mathrm dx+Q\,\mathrm dy$ 知 $f_x=P=y+by\sin 2x,\ f_y=Q=ax+\cos^2 x$。
$f$ 二阶混偏可交换,需 $\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x}$:
- $\dfrac{\partial P}{\partial y}=\dfrac{\partial}{\partial y}(y+by\sin 2x)=1+b\sin 2x.$
- $\dfrac{\partial Q}{\partial x}=\dfrac{\partial}{\partial x}(ax+\cos^2 x)=a+2\cos x\cdot(-\sin x)=a-\sin 2x.$
恒等 $1+b\sin 2x\equiv a-\sin 2x$ 对一切 $x$ 成立,按"基底" $\{1,\sin 2x\}$ 比较系数:
- 常数项:$1=a\Rightarrow a=1$;
- $\sin 2x$ 项:$b=-1$。
"$\cos^2 x$ 求导 $=-\sin 2x$"是高频考点的一个小坑——别写成 $+\sin 2x$。用倍角公式 $\cos^2 x=\dfrac{1+\cos 2x}{2}$ 求导后变 $-\sin 2x$,可以做交叉验证。
(1) $\mathrm dz=(2xy^2+2x\varphi')\mathrm dx+(2x^2y+2y\varphi')\mathrm dy$; (2) $a=1,\ b=-1$。
"已知 $\mathrm df$ 求 $f(x,y)$"型题:先验证 $\dfrac{\partial P}{\partial y}=\dfrac{\partial Q}{\partial x}$(即积分可路径无关),再沿一条简便路径(如 $(0,0)\to(x,0)\to(x,y)$)积分:$f=\int_0^x P(t,0)\,\mathrm dt+\int_0^y Q(x,t)\,\mathrm dt$。
求 $u=x^2y^2z+\varphi(x^2+y^2+2z)$ 的全微分。
详解
第 1 步 把 $\varphi$ 的内变量标出来
令 $t=x^2+y^2+2z$,则 $\varphi=\varphi(t)$,一元函数。$t_x=2x,t_y=2y,t_z=2$。
第 2 步 分别求三个偏导
- $u_x=\dfrac{\partial}{\partial x}(x^2y^2z)+\varphi'\cdot t_x=2xy^2z+2x\varphi'$
- $u_y=2x^2yz+\varphi'\cdot 2y=2x^2yz+2y\varphi'$
- $u_z=x^2y^2+\varphi'\cdot 2=x^2y^2+2\varphi'$
第 3 步 组装全微分
$$\mathrm du=(2xy^2z+2x\varphi')\,\mathrm dx+(2x^2yz+2y\varphi')\,\mathrm dy+(x^2y^2+2\varphi')\,\mathrm dz.$$
三元函数全微分的"形状"和二元一样:$\mathrm du=u_x\mathrm dx+u_y\mathrm dy+u_z\mathrm dz$。变量再多也照搬。如果题目里 $\varphi$ 是多元抽象(如 $\varphi(x^2,y^2,z)$),就要分别求 $\varphi_1,\varphi_2,\varphi_3$(下标表示对第几个槽求偏导),公式更繁但路数一样。
$x^2+y^3+xy+5z+z^5-3x-4=0$,求 $\mathrm dz\big|_{(1,2)}$。
详解
第 1 步 直接对方程两边取全微分
设 $F(x,y,z)=x^2+y^3+xy+5z+z^5-3x-4$。两边 $\mathrm d$:
$$(2x+y-3)\mathrm dx+(3y^2+x)\mathrm dy+(5+5z^4)\mathrm dz=0.$$
解出:
$$\mathrm dz=-\dfrac{(2x+y-3)\mathrm dx+(3y^2+x)\mathrm dy}{5(1+z^4)}.$$
第 2 步 代入 $(x,y)=(1,2)$
- $2x+y-3=2+2-3=1$
- $3y^2+x=12+1=13$
$$\mathrm dz\big|_{(1,2)}=-\dfrac{\mathrm dx+13\,\mathrm dy}{5(1+z^4)}.$$
第 3 步 $z$ 由方程在 $(1,2)$ 处确定
代入 $x=1,y=2$:$1+8+2+5z+z^5-3-4=0\Rightarrow z^5+5z+4=0$。
$z=-?$(高次方程,没有简单根;保留 $z$ 即可)。
检验:$z=-?$ 时 $z^4>0$,分母 $5(1+z^4)>0$,公式有效。
$\mathrm dz\big|_{(1,2)}=-\dfrac{1}{5(1+z^4)}\bigl(\mathrm dx+13\,\mathrm dy\bigr)$,其中 $z$ 是方程 $z^5+5z+4=0$ 的实根。
对比题型 E (3):那道题也是 $F(x,y,z)=0$ 类型,但是要求 $z_{xy}$,需要算两次偏导;本题只要 $\mathrm dz$,"两边取 $\mathrm d$"一步就出来,最简洁。
记规律:
- 要"$\mathrm dz$"——两边取微分
- 要"$z_x$ 或 $z_y$"——用 $-F_x/F_z$ 公式
- 要"$z_{xy}$"——先 $z_x$,再对 $y$ 求导(含 $z_y$ 链式)
题型 H
无条件极值 + 条件极值(拉格朗日乘数法)
无条件极值(三步法)
- 找驻点:解 $f_x=0,\ f_y=0$ 联立方程组,得到所有驻点 $(x_i,y_i)$。
- 算判别式:对每个驻点计算 $A=f_{xx},\ B=f_{xy},\ C=f_{yy}$,判别式 $D=AC-B^2$。
- 下结论:
- $D>0$ 且 $A>0$:极小值
- $D>0$ 且 $A<0$:极大值
- $D<0$:鞍点
- $D=0$:失效,需回到定义(或用其他方法如配方法判断)
条件极值(拉格朗日乘数法)
- 列方程组:设约束 $g(x,y)=0$(或 $g(x,y,z)=0$),构造 $L=f+\lambda g$,解:
$$\nabla f=-\lambda\nabla g,\quad g=0$$
即 $f_x=-\lambda g_x,\ f_y=-\lambda g_y,\ g(x,y)=0$。
- 比较函数值:把所有满足方程的点代入 $f$,最大/最小的就是条件最大/最小值。
特殊技巧:约束可化简时
当约束 $g(x,y)=0$ 可以直接解出 $y=h(x)$ 代入 $f$,就把条件极值降维成无条件极值(一元函数求极值),更简单。
$D=0$ 判别式失效——不是"没有极值",是判别法不够用。回定义:在驻点附近取不同方向的路径,看函数值是变大变小还是不变。
条件极值不能用二阶判别——拉格朗日法只给出候选点,不区分极大极小。通常题目只问"求最大/最小值",直接代入比较即可。
例 2.11
(1) 求 $f(x,y)=e^{2x}(x^2+y^2+2x)$ 的极值;
(2) 求 $f(x,y)=x^2-y^2+2x$ 在条件 $x^2+y^2+2xy=1$ 下的极值。
详解
(1) 无条件极值 — 第 1 步:求驻点
求偏导并令为零:
- $f_y=e^{2x}\cdot 2y=0\ \Rightarrow\ y=0$(因为 $e^{2x}>0$ 恒成立)。
- $f_x=e^{2x}\cdot(2x^2+2y^2+6x+2)+2e^{2x}(x^2+y^2+2x)$
$=e^{2x}\bigl[2x^2+2y^2+6x+2+2x^2+2y^2+4x\bigr]$
$=e^{2x}(4x^2+4y^2+10x+2)$。
代入 $y=0$:
$$e^{2x}(4x^2+10x+2)=0\ \Rightarrow\ 4x^2+10x+2=0\ \Rightarrow\ 2x^2+5x+1=0.$$
$$x=\frac{-5\pm\sqrt{25-8}}{4}=\frac{-5\pm\sqrt{17}}{4}.$$
注意:$e^{2x}$ 永远不为零,所以求驻点时可以先把它除掉,简化计算。
(1) 第 2 步:算二阶判别式
在驻点 $(x_0,0)$ 处,利用 $f_x$ 的表达式继续求二阶导(或直接用原始 $f$ 求):
- $f_{yy}=2e^{2x}\ \Rightarrow\ C=f_{yy}|_{y=0}=2e^{2x_0}$
- $f_{xy}=e^{2x}\cdot 4y\ \Rightarrow\ B=f_{xy}|_{y=0}=0$
- $f_{xx}$:对 $f_x=e^{2x}(4x^2+4y^2+10x+2)$ 再对 $x$ 求导,在 $y=0$ 处:
$A=e^{2x_0}\bigl[8x_0+10+2(4x_0^2+10x_0+2)\bigr]$。但 $4x_0^2+10x_0+2=0$(驻点条件),故:
$A=e^{2x_0}(8x_0+10)$。
$$D=AC-B^2=e^{2x_0}(8x_0+10)\cdot 2e^{2x_0}=2e^{4x_0}(8x_0+10).$$
(1) 第 3 步:逐点判断
- $x_1=\dfrac{-5+\sqrt{17}}{4}\approx-0.22$:$8x_1+10=8\cdot\dfrac{-5+\sqrt{17}}{4}+10=-10+2\sqrt{17}+10=2\sqrt{17}>0$。
$D>0,\ A>0\ \Rightarrow$ 极小值。
- $x_2=\dfrac{-5-\sqrt{17}}{4}\approx-2.28$:$8x_2+10=8\cdot\dfrac{-5-\sqrt{17}}{4}+10=-10-2\sqrt{17}+10=-2\sqrt{17}<0$。
$D<0\ \Rightarrow$ 鞍点。
(2) 条件极值 — 观察约束结构
约束 $x^2+y^2+2xy=1$ 可因式分解:
$$(x+y)^2=1\ \Rightarrow\ x+y=1\text{ 或 }x+y=-1.$$
这就不是一般的拉格朗日问题了——约束分解成了两条直线,分别代入即可。
能因式分解的约束不要硬套拉格朗日乘数法——代入法比拉格朗日简单 10 倍。
(2) 分别讨论两条直线
- 情况 1:$y=1-x$ 时,$f=x^2-(1-x)^2+2x=x^2-1+2x-x^2+2x=4x-1$。这是关于 $x$ 的一次函数,在整个 $\mathbb{R}$ 上无极值(单调)。
- 情况 2:$y=-1-x$ 时,$f=x^2-(-1-x)^2+2x=x^2-(1+2x+x^2)+2x=x^2-1-2x-x^2+2x=-1$。恒为常数 $-1$。
(1) 在 $\left(\dfrac{-5+\sqrt{17}}{4},\,0\right)$ 处取极小值;在 $\left(\dfrac{-5-\sqrt{17}}{4},\,0\right)$ 处为鞍点。
(2) 无极值(在 $x+y=-1$ 上 $f\equiv -1$ 为常数,在 $x+y=1$ 上 $f$ 线性无界)。
同类题延伸:
若约束不能因式分解(如 $x^2+2y^2=1$),就必须走拉格朗日乘数法:设 $L=x^2-y^2+2x+\lambda(x^2+2y^2-1)$,解四元方程组 $L_x=0,L_y=0,L_\lambda=0$。
无条件极值出错高频点:$f_{xx}$ 算错——因为 $f_x$ 本身就是复杂乘积,再对 $x$ 求导时容易漏项。建议先整理 $f_x$ 的因式再求导,或者用驻点条件 $f_x=0$ 简化。
题型 I
空间曲线的切线与法平面
两种参数化形式
- 显式参数($x=x(t),\ y=y(t),\ z=z(t)$):
切向量 $\vec\tau=(x'(t_0),\ y'(t_0),\ z'(t_0))$,对应点 $(x_0,y_0,z_0)$。
- 切线:$\dfrac{x-x_0}{x'(t_0)}=\dfrac{y-y_0}{y'(t_0)}=\dfrac{z-z_0}{z'(t_0)}$
- 法平面:$x'(t_0)(x-x_0)+y'(t_0)(y-y_0)+z'(t_0)(z-z_0)=0$
- 两曲面交线($F(x,y,z)=0,\ G(x,y,z)=0$):
曲线同时在两个曲面上,切向量同时垂直于两个曲面的法向量:
$$\vec\tau=\nabla F\times\nabla G\quad\text{(叉积方向即为切向量)}$$
- $\nabla F=(F_x,F_y,F_z)$ 在给定点的值
- $\nabla G=(G_x,G_y,G_z)$ 在给定点的值
得到 $\vec\tau=(a,b,c)$ 后,切线和法平面公式同上。
叉积计算模板
$$\vec n_1\times\vec n_2=\begin{vmatrix}\vec i&\vec j&\vec k\\a_1&b_1&c_1\\a_2&b_2&c_2\end{vmatrix}=(b_1c_2-b_2c_1,\ c_1a_2-c_2a_1,\ a_1b_2-a_2b_1)$$
法平面 ≠ 切平面:法平面是曲线的(过切点且垂直于切向量的平面);切平面是曲面的。
叉积顺序:$\nabla F\times\nabla G$ 和 $\nabla G\times\nabla F$ 方向相反,但切线方程只看方向比,法平面方程展开后等价——所以顺序不影响最终答案。
例 2.12
(1) 求曲线 $x=t,y=t^2,z=t^3-1$ 在 $t=1$ 点处的切线方程及法平面方程;
(2) 求曲线 $\begin{cases}x^2+y^2+z-3=0\\ x+2y-2z+1=0\end{cases}$ 在 $(1,1,1)$ 处的切线方程及法平面方程。
详解
(1) 显式参数 — 第 1 步:求切向量和切点
$x'(t)=1,\ y'(t)=2t,\ z'(t)=3t^2$。在 $t=1$ 处:
- 切点:$(x,y,z)=(1,\,1,\,1^3-1)=(1,1,0)$
- 切向量:$\vec\tau=(1,\,2,\,3)$
(1) 第 2 步:写出切线和法平面
切线(对称式方程):
$$\frac{x-1}{1}=\frac{y-1}{2}=\frac{z-0}{3}.$$
法平面(过切点,法向量即切向量):
$$1\cdot(x-1)+2\cdot(y-1)+3\cdot(z-0)=0\ \Rightarrow\ x+2y+3z=3.$$
法平面方程的"法向量"就是曲线的切向量——因为法平面垂直于切线方向。
(2) 两曲面交线 — 第 1 步:求两个曲面在切点的法向量
设 $F=x^2+y^2+z-3$,$G=x+2y-2z+1$。在 $(1,1,1)$ 处:
- $\nabla F=(2x,\,2y,\,1)\big|_{(1,1,1)}=(2,\,2,\,1)$
- $\nabla G=(1,\,2,\,-2)\big|_{(1,1,1)}=(1,\,2,\,-2)$
(2) 第 2 步:叉积求切向量
$$\vec\tau=\nabla F\times\nabla G=\begin{vmatrix}\vec i&\vec j&\vec k\\2&2&1\\1&2&-2\end{vmatrix}$$
- $\vec i$ 分量:$2\cdot(-2)-1\cdot2=-4-2=-6$
- $\vec j$ 分量:$-(2\cdot(-2)-1\cdot1)=-(-4-1)=5$
- $\vec k$ 分量:$2\cdot2-2\cdot1=4-2=2$
$$\vec\tau=(-6,\,5,\,2).$$
(2) 第 3 步:写出切线和法平面
切线:
$$\frac{x-1}{-6}=\frac{y-1}{5}=\frac{z-1}{2}.$$
法平面:
$$-6(x-1)+5(y-1)+2(z-1)=0,$$
$$-6x+6+5y-5+2z-2=0\ \Rightarrow\ 6x-5y-2z+1=0.$$
验算法:把切点 $(1,1,1)$ 代入法平面方程 $6-5-2+1=0$,成立。再验算切向量 $(-6,5,2)$ 满足两个曲面的约束(即 $(-6,5,2)\cdot\nabla F=0$ 且 $(-6,5,2)\cdot\nabla G=0$):
$(-6)(2)+5\cdot2+2\cdot1=-12+10+2=0$;
$(-6)(1)+5\cdot2+2\cdot(-2)=-6+10-4=0$。两项都为零,正确。
(1) 切线 $\dfrac{x-1}{1}=\dfrac{y-1}{2}=\dfrac{z}{3}$,法平面 $x+2y+3z=3$。
(2) 切线 $\dfrac{x-1}{-6}=\dfrac{y-1}{5}=\dfrac{z-1}{2}$,法平面 $6x-5y-2z+1=0$。
同类题延伸:
如果曲线是 $\begin{cases}y=y(x)\\z=z(x)\end{cases}$ 形式(以 $x$ 为参数),切向量就是 $(1,\,y'(x_0),\,z'(x_0))$。
如果问的是"在某点的所有切线",注意曲线可能有奇点(切向量为零向量的点),此时切线不唯一。
法平面方程展开后不唯一——乘以任何非零常数都是同一个平面,所以"答案差一个系数"不算错。
题型 J
曲面的切平面/法线 + 方向导数与梯度
曲面 $F(x,y,z)=0$ 在 $(x_0,y_0,z_0)$ 的切平面与法线
- 求法向量:$\vec n=\nabla F\big|_{(x_0,y_0,z_0)}=(F_x,\,F_y,\,F_z)\big|_{(x_0,y_0,z_0)}$。
- 切平面:$F_x(x_0,y_0,z_0)(x-x_0)+F_y(x_0,y_0,z_0)(y-y_0)+F_z(x_0,y_0,z_0)(z-z_0)=0$。
- 法线:$\dfrac{x-x_0}{F_x}=\dfrac{y-y_0}{F_y}=\dfrac{z-z_0}{F_z}$。
如果曲面是 $z=f(x,y)$ 的形式,令 $F=f(x,y)-z$,法向量为 $(f_x,\,f_y,\,-1)$。
方向导数与梯度
- 梯度:$\mathrm{grad}f=\nabla f=(f_x,\,f_y,\,f_z)$,是一个向量。
- 方向导数(沿单位方向 $\vec e$):
$$\frac{\partial f}{\partial\vec e}=\nabla f\cdot\vec e=f_x\cos\alpha+f_y\cos\beta+f_z\cos\gamma$$
其中 $\vec e=(\cos\alpha,\cos\beta,\cos\gamma)$。
- 如果给的不是单位向量 $\vec l$,要先单位化:$\vec e=\dfrac{\vec l}{|\vec l|}$。
梯度的几何意义
- 梯度方向 = 函数值增长最快的方向
- 梯度的模 = 最大方向导数的值
- 梯度垂直于等值面($f(x,y,z)=c$)
方向导数必须用单位向量——$\vec l$ 不是单位向量时,直接 $\nabla f\cdot\vec l$ 得到的不是方向导数,而是方向导数乘以 $|\vec l|$。必须先除以 $|\vec l|$。
切平面 vs 法平面:切平面是曲面的(法向量 = $\nabla F$),法平面是曲线的(法向量 = 切向量 $\vec\tau$)。一字之差,公式完全不同。
例 2.13
(1) 求曲面 $x^2+y^2+2z+z^3=5$ 在 $(1,1,1)$ 处的切平面方程及法线方程;
(2) 求 $f(x,y,z)=x^2+y^2+2z+z^3$ 在 $(1,1,1)$ 沿方向 $\vec l=(2,3,1)$ 的方向导数,并求 $\mathrm{grad}f|_{(1,1,1)}$。
详解
(1) 第 1 步:确认切点在曲面上
代入 $(1,1,1)$:$1+1+2+1=5$,成立。
(1) 第 2 步:求法向量 $\nabla F$
设 $F(x,y,z)=x^2+y^2+2z+z^3-5$:
- $F_x=2x\ \Rightarrow\ F_x(1,1,1)=2$
- $F_y=2y\ \Rightarrow\ F_y(1,1,1)=2$
- $F_z=2+3z^2\ \Rightarrow\ F_z(1,1,1)=2+3=5$
$$\vec n=\nabla F\big|_{(1,1,1)}=(2,\,2,\,5).$$
(1) 第 3 步:写出切平面和法线
切平面(过 $(1,1,1)$,法向量 $(2,2,5)$):
$$2(x-1)+2(y-1)+5(z-1)=0,$$
$$2x+2y+5z-2-2-5=0\ \Rightarrow\ 2x+2y+5z=9.$$
法线(过 $(1,1,1)$,方向 $(2,2,5)$):
$$\frac{x-1}{2}=\frac{y-1}{2}=\frac{z-1}{5}.$$
(2) 第 1 步:求梯度
$\nabla f=(2x,\,2y,\,2+3z^2)\big|_{(1,1,1)}=(2,\,2,\,5)$。
注意这里 $f(x,y,z)=x^2+y^2+2z+z^3$ 和 (1) 中的 $F$ 表达式一样,所以 $\nabla f=\nabla F$。这道题故意设计成同一个函数——"切平面"用的是"隐函数求法向量"的视角,"方向导数"用的是"显函数求梯度"的视角,殊途同归。
(2) 第 2 步:单位化方向向量
$\vec l=(2,3,1)$,$|\vec l|=\sqrt{4+9+1}=\sqrt{14}$。
$$\vec e=\frac{\vec l}{|\vec l|}=\frac{1}{\sqrt{14}}(2,3,1).$$
(2) 第 3 步:点积求方向导数
$$\frac{\partial f}{\partial\vec e}=\nabla f\cdot\vec e=\frac{1}{\sqrt{14}}(2\cdot2+2\cdot3+5\cdot1)=\frac{4+6+5}{\sqrt{14}}=\frac{15}{\sqrt{14}}=\frac{15\sqrt{14}}{14}.$$
(1) 切平面 $2x+2y+5z=9$,法线 $\dfrac{x-1}{2}=\dfrac{y-1}{2}=\dfrac{z-1}{5}$。
(2) $\mathrm{grad}f|_{(1,1,1)}=(2,2,5)$,方向导数 $\dfrac{15\sqrt{14}}{14}$。
同类题延伸:
• 若曲面是 $z=f(x,y)$ 的显式,切平面公式直接套:$z-z_0=f_x(x_0,y_0)(x-x_0)+f_y(x_0,y_0)(y-y_0)$,法向量为 $(f_x,\,f_y,\,-1)$。
• 若问"沿梯度方向的方向导数"——答案就是 $\|\nabla f\|$(最大值),因为 $\nabla f\cdot\dfrac{\nabla f}{\|\nabla f\|}=\|\nabla f\|$。
• 若问"沿哪个方向方向导数为零"——解 $\nabla f\cdot\vec e=0$,即 $\vec e\perp\nabla f$。在该点的所有切于等值面的方向上,方向导数都为零。
含积分中值定理、对称性、极坐标、累次次序交换、三重积分(柱面/球面坐标)、立体体积与曲面面积。本章共 14 道例题,按 5 类题型组织。
题型 A
积分估值、对称性与常数因子技巧
核心方法
- 估值定理:$m\cdot|D|\le\iint_D f\,\mathrm d\sigma\le M\cdot|D|$,其中 $m,M$ 为 $f$ 在 $D$ 上的最小/最大值
- 对称性:若 $D$ 关于 $y$ 轴对称且 $f(x,y)$ 关于 $x$ 为奇函数,则 $\iint_D f=0$;若为偶函数则 $=2\iint_{D^+}f$
- 常数因子技巧:若 $f(x,y)=g(x,y)+C$($C$ 为常数或二重积分为常数的项),设 $\iint_D f=A$ 为常数,两边积分解方程
解题思路
- 估值题:找被积函数在 $D$ 上的上下界,乘以面积
- 对称性题:先看 $D$ 关于哪个轴/原点对称,再判断被积函数的奇偶性
- 含常数积分项:设该常数为 $A$,两边在 $D$ 上积分,解 $A$ 的方程
对称性判断错方向是最大坑。$D$ 关于 $y$ 轴对称时,判断的是 $f(-x,y)$ 和 $f(x,y)$ 的关系(关于 $x$ 的奇偶性),不是关于 $y$ 的。含 $\iint f$ 的方程题,先假设 $\iint f=A$ 存在,不要试图先算出 $f$。
例 3.1、3.2、3.3、3.4、3.5
$f(x,y)=\sqrt{x^2+y^2}-\dfrac{2}{\pi}\displaystyle\iint\limits_{x^2+y^2\le1}f(x,y)\,\mathrm d\sigma$,求 $f(x,y)$ 的表达式。
解
关键观察:$\iint_D f\,\mathrm d\sigma$ 是一个常数(积分结果不含 $x,y$),设为 $A$。
则 $f(x,y)=\sqrt{x^2+y^2}-\dfrac{2}{\pi}A$。
两边在 $D:x^2+y^2\le1$ 上积分:
$$A=\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma-\frac{2}{\pi}A\cdot\pi=\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma-2A.$$
算 $\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma$:极坐标,$\sqrt{x^2+y^2}=r$,$\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$:
$$\int_0^{2\pi}\!\!\int_0^1 r\cdot r\,\mathrm dr\,\mathrm d\theta=2\pi\cdot\frac{1}{3}=\frac{2\pi}{3}.$$
解方程:$A=\dfrac{2\pi}{3}-2A$ → $3A=\dfrac{2\pi}{3}$ → $A=\dfrac{2\pi}{9}$。
$f(x,y)=\sqrt{x^2+y^2}-\dfrac{4}{9}$。
同类题延伸:「$f=$ 某表达式 $+C\cdot\iint_D f$」是经典题型。核心技巧:设 $\iint_D f=A$(常数),两边积分解方程。不管 $f$ 多复杂,$\iint_D f$ 始终是一个数。变式:有时常数因子藏在被积函数的某个部分里,需要拆出来。
比较积分 $\displaystyle\iint_{D:x+y\ge1}(x+y)\,\mathrm d\sigma$ 与 $\displaystyle\iint_{D:x+y\ge1}(x+y)^2\,\mathrm d\sigma$ 的大小。
解
关键:在积分区域 $D$ 上判断被积函数的大小关系。
$D$ 上 $x+y\ge1$,故 $x+y\ge1$。
当 $t\ge1$ 时 $t^2\ge t$,所以 $(x+y)^2\ge(x+y)$ 在 $D$ 上恒成立。
由积分保号性:
$$\iint_D(x+y)\,\mathrm d\sigma\le\iint_D(x+y)^2\,\mathrm d\sigma.$$
$\displaystyle\iint_D(x+y)\,\mathrm d\sigma\le\iint_D(x+y)^2\,\mathrm d\sigma$。
同类题延伸:比较积分大小题的套路:在积分区域上比较被积函数,然后用保号性。关键是正确分析区域上的不等式关系。常见陷阱:$x+y$ 可能小于 $1$ 时 $(x+y)^2<(x+y)$,所以必须确认在 $D$ 上的情况。
证明:$9\pi\le\displaystyle\iint\limits_{D:x^2+y^2\le9}\dfrac{6}{1+2\cos^2x+3\sin^2y}\,\mathrm d\sigma\le 54\pi$。
证
找被积函数的上下界。分母 $1+2\cos^2x+3\sin^2y$:
- 最小值:$\cos^2x=0,\sin^2y=0$ → 分母 $=1$,被积函数 $=6$
- 最大值:$\cos^2x=1,\sin^2y=1$ → 分母 $=1+2+3=6$,被积函数 $=1$
故 $1\le\dfrac{6}{1+2\cos^2x+3\sin^2y}\le6$。
区域面积:$|D|=\pi\cdot3^2=9\pi$。
由估值定理:$1\times9\pi\le\iint\le6\times9\pi$,即 $9\pi\le\iint\le54\pi$。$\blacksquare$
同类题延伸:估值定理证明题的套路:(1) 求被积函数的最小值 $m$ 和最大值 $M$;(2) 算区域面积 $|D|$;(3) $m|D|\le\iint\le M|D|$。难点在第一步——三角函数、指数函数的最值要算对。
计算 $\displaystyle\iint_D\!\left(1+2x+xy\ln\dfrac{x^2+y^2}{1+x^2+y^2}\right)\!\mathrm d\sigma$,其中 $D:\ x^2+y^2\le1$。
解
利用对称性简化。$D$ 关于 $y$ 轴对称($x\to -x$ 时区域不变)。
- $2x$ 关于 $x$ 为奇函数 → $\iint_D 2x\,\mathrm d\sigma=0$
- $xy\ln\dfrac{x^2+y^2}{1+x^2+y^2}$:$x\to-x$ 时变为 $-xy\ln\dfrac{x^2+y^2}{1+x^2+y^2}$,是关于 $x$ 的奇函数 → 积分 $=0$
故原积分 $=\iint_D 1\,\mathrm d\sigma=|D|=\pi$。
$\pi$。
同类题延伸:对称性简化是重积分的高频技巧。判断步骤:(1) 看区域关于谁对称;(2) 把被积函数按对称性拆成奇函数部分 + 偶函数部分;(3) 奇函数部分积分 $=0$,偶函数部分 $=2\times$ 半区域积分。区域关于原点对称时判断 $f(-x,-y)$ 和 $f(x,y)$ 的关系。
计算函数 $f(x,y)=x^2+y^2$ 在圆 $0\le x^2+y^2\le4$ 内的平均值。
解
平均值公式:$\bar f=\dfrac{1}{|D|}\iint_D f\,\mathrm d\sigma$。
算积分:极坐标,$D:0\le r\le2,0\le\theta\le2\pi$。
$$\iint_D(x^2+y^2)\mathrm d\sigma=\int_0^{2\pi}\!\!\int_0^2 r^2\cdot r\,\mathrm dr\,\mathrm d\theta=2\pi\cdot\frac{r^4}{4}\bigg|_0^2=2\pi\cdot4=8\pi.$$
面积:$|D|=\pi\cdot2^2=4\pi$。
平均值 $=\dfrac{8\pi}{4\pi}=2$。
同类题延伸:平均值 $=\dfrac{\iint_D f}{|D|}$,这是定义。计算时选合适的坐标系——圆域用极坐标、矩形域用直角坐标。被积函数是 $x^2+y^2$ 时极坐标直接变成 $r^2$,特别方便。
题型 B
累次积分与交换积分次序
核心方法
- 画区域:先根据积分限画出积分区域 $D$,这是换序的基础
- 换序:原来先 $y$ 后 $x$,改为先 $x$ 后 $y$(或反之),重新确定积分限
- 不可积函数:如果内层积分不可求(如 $\int\dfrac{\sin y}{y}\mathrm dy$),必须换序
解题思路
- 画出积分区域 $D$(由积分限确定边界曲线)
- 判断需不需要换序——如果当前次序的内层积分无法求出,就必须换
- 换序时重新描述 $D$:另一种次序下的 $x$(或 $y$)的范围可能分段
换序后积分限可能需要分段!比如原区域上窄下宽,换序后可能要分成两块。画图是避免错误的唯一方法。「内层积不出来」时不要硬算,一定是提示你换序。
例 3.6、3.7、3.8、3.9
计算 $\displaystyle\iint_D(xy^2+x^2y)\,\mathrm d\sigma$,$D$ 由直线 $y=2,\ y=x,\ y=2x$ 围成。
解
画区域:三条线围成三角形。$y=x$ 和 $y=2x$ 在原点相交,$y=2$ 截 $y=x$ 于 $(2,2)$、截 $y=2x$ 于 $(1,2)$。
先 $x$ 后 $y$ 更方便:$0\le y\le2$,$\dfrac{y}{2}\le x\le y$。
内层积分(对 $x$):
$$\int_{y/2}^{y}(xy^2+x^2y)\mathrm dx=\left[\frac{x^2y^2}{2}+\frac{x^3y}{3}\right]_{y/2}^{y}$$
$$=\left(\frac{y^4}{2}+\frac{y^4}{3}\right)-\left(\frac{y^4}{8}+\frac{y^4}{24}\right)=\frac{5y^4}{6}-\frac{4y^4}{24}=\frac{5y^4}{6}-\frac{y^4}{6}=\frac{2y^4}{3}.$$
外层积分(对 $y$):
$$\int_0^2\frac{2y^4}{3}\mathrm dy=\frac{2}{3}\cdot\frac{y^5}{5}\bigg|_0^2=\frac{2}{3}\cdot\frac{32}{5}=\frac{64}{15}.$$
$\dfrac{64}{15}$。
同类题延伸:直线围成的三角形区域,选「先积哪个变量」的原则:让内层积分限尽量简单(最好是常数或只含一个变量的函数)。本题先 $x$ 后 $y$ 时 $x$ 的上下限都是 $y$ 的一次函数,最简单。
交换二重积分次序:$\displaystyle\int_0^1\mathrm dy\int_{1-y}^{1+y^2}f(x,y)\,\mathrm dx$。
解
原次序:先 $x$ 后 $y$,$0\le y\le1$,$1-y\le x\le1+y^2$。
画区域:左边界 $x=1-y$(即 $y=1-x$),右边界 $x=1+y^2$(即 $y=\sqrt{x-1}$)。两线在 $(1,0)$ 相交。
换序(先 $y$ 后 $x$):需要分两段:
- $0\le x\le1$:$y$ 从 $1-x$ 到 $1$(左边是斜线,上面是 $y=1$)
- $1\le x\le2$:$y$ 从 $\sqrt{x-1}$ 到 $1$(左边是抛物线,上面是 $y=1$)
$$\int_0^1\mathrm dx\int_{1-x}^{1}f\,\mathrm dy+\int_1^2\mathrm dx\int_{\sqrt{x-1}}^{1}f\,\mathrm dy.$$
$\displaystyle\int_0^1\mathrm dx\int_{1-x}^{1}f\,\mathrm dy+\int_1^2\mathrm dx\int_{\sqrt{x-1}}^{1}f\,\mathrm dy$。
同类题延伸:换序题的核心是「画图」。换序后如果 $x$ 的范围需要分段(边界曲线的交点把区间切开),就要写成多个积分之和。判断是否分段的方法:看在新的外层变量取不同值时,内层变量的上下限表达式是否相同。
计算 $\displaystyle\int_1^3\mathrm dx\int_1^{x}\dfrac{\sin y}{3-y}\,\mathrm dy$。
解
识别问题:$\int\dfrac{\sin y}{3-y}\mathrm dy$ 无法用初等函数表示——必须换序!
画区域:$1\le x\le3$,$1\le y\le x$。这是三角形:$y=1,y=x,x=3$ 围成。
换序:$1\le y\le3$,$y\le x\le3$。
$$\int_1^3\frac{\sin y}{3-y}\int_y^3\mathrm dx\,\mathrm dy=\int_1^3\frac{\sin y}{3-y}\cdot(3-y)\,\mathrm dy=\int_1^3\sin y\,\mathrm dy.$$
$(3-y)$ 抵消了!
$$=\bigl[-\cos y\bigr]_1^3=\cos1-\cos3.$$
$\cos1-\cos3$。
同类题延伸:「内层积不出来 → 换序」是强制信号。换序后常常会出现「抵消」现象——分子分母恰好消去,这是因为出题人故意设计的。这类题的出题套路就是:先定一个好算的最终答案,倒推成「换个次序就能算」的形式。
计算 $I=\displaystyle\iint_D\dfrac{\sin y}{y}\,\mathrm dx\,\mathrm dy$,$D$ 由 $y=x$ 与 $y^2=x$ 围成。
解
识别:$\int\dfrac{\sin y}{y}\mathrm dy$ 不可积 → 先对 $x$ 积分。
区域:$y=x$ 和 $y^2=x$ 在 $(0,0),(1,1)$ 相交。先 $x$ 后 $y$:$0\le y\le1$,$y^2\le x\le y$。
$$I=\int_0^1\frac{\sin y}{y}\int_{y^2}^{y}\mathrm dx\,\mathrm dy=\int_0^1\frac{\sin y}{y}(y-y^2)\mathrm dy=\int_0^1(1-y)\sin y\,\mathrm dy.$$
分部积分:
$$\int_0^1\sin y\,\mathrm dy-\int_0^1 y\sin y\,\mathrm dy.$$
第一项:$[-\cos y]_0^1=1-\cos1$。
第二项(分部):$[-y\cos y]_0^1+\int_0^1\cos y\,\mathrm dy=-\cos1+\sin1$。
$$I=(1-\cos1)-(-\cos1+\sin1)=1-\sin1.$$
$I=1-\sin1$。
同类题延伸:$\dfrac{\sin y}{y}$、$e^{x^2}$、$\dfrac{1}{\ln x}$ 等函数的原函数不是初等函数,遇到这类被积函数必须调整积分次序,让这些函数在外层(只积一次)或被消掉。这是换序题最重要的信号。
题型 C
极坐标二重积分
核心公式
- 变换:$x=r\cos\theta,\ y=r\sin\theta$,$\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$(别漏 $r$!)
- 圆域 $x^2+y^2\le R^2$:$0\le\theta\le2\pi,\ 0\le r\le R$
- 过原点的圆:$x^2+y^2=2ay$ → $r=2a\sin\theta$;$x^2+y^2=2ax$ → $r=2a\cos\theta$
- 半圆/扇形:根据 $\theta$ 的范围确定(如 $x\ge0$ 对应 $-\pi/2\le\theta\le\pi/2$)
解题思路
- 区域是圆/圆弧/扇形 → 用极坐标
- 写出 $r$ 的范围($r=0$ 到边界曲线 $r=g(\theta)$)和 $\theta$ 的范围
- 被积函数中 $x^2+y^2\to r^2$,$\sqrt{x^2+y^2}\to r$
- $\mathrm d\sigma$ 别忘了多乘一个 $r$
极坐标下 $\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$,不是 $\mathrm dr\,\mathrm d\theta$!漏掉 $r$ 是最常见的错误。另一个坑:$x^2+y^2=2ay$ 的极坐标形式是 $r=2a\sin\theta$,不是 $r=2a$。
例 3.10
计算 $\displaystyle\iint_D\sqrt{x^2+y^2}\,\mathrm d\sigma$,分别取
(1)$D:\ x^2+y^2\le4,\ y\ge0$;
(2)$D:\ x^2+y^2\le2y,\ x\ge0$;
(3)$D:\ x^2+y^2\le2x,\ y\ge0$。
解
极坐标:$\sqrt{x^2+y^2}=r$,$\mathrm d\sigma=r\,\mathrm dr\,\mathrm d\theta$,被积函数 $=r\cdot r=r^2$。
(1) 上半圆:$\theta\in[0,\pi],\ r\in[0,2]$。
$$\int_0^{\pi}\!\int_0^2 r^2\,\mathrm dr\,\mathrm d\theta=\pi\cdot\frac{r^3}{3}\bigg|_0^2=\pi\cdot\frac{8}{3}=\frac{8\pi}{3}.$$
(2) $x^2+y^2=2y$ → $r=2\sin\theta$。$x\ge0$ → $\theta\in[0,\pi/2]$:
$$\int_0^{\pi/2}\!\int_0^{2\sin\theta}r^2\,\mathrm dr\,\mathrm d\theta=\frac{8}{3}\int_0^{\pi/2}\sin^3\theta\,\mathrm d\theta.$$
$\int_0^{\pi/2}\sin^3\theta\,\mathrm d\theta=\int_0^{\pi/2}(1-\cos^2\theta)\sin\theta\,\mathrm d\theta$。令 $u=\cos\theta$:$=\int_0^1(1-u^2)\mathrm du=1-\dfrac{1}{3}=\dfrac{2}{3}$。
结果 $=\dfrac{8}{3}\cdot\dfrac{2}{3}=\dfrac{16}{9}$。
(3) $x^2+y^2=2x$ → $r=2\cos\theta$。$y\ge0$ → $\theta\in[0,\pi/2]$:
$$\int_0^{\pi/2}\!\int_0^{2\cos\theta}r^2\,\mathrm dr\,\mathrm d\theta=\frac{8}{3}\int_0^{\pi/2}\cos^3\theta\,\mathrm d\theta=\frac{8}{3}\cdot\frac{2}{3}=\frac{16}{9}.$$
(1) $\dfrac{8\pi}{3}$;(2) $\dfrac{16}{9}$;(3) $\dfrac{16}{9}$。
同类题延伸:极坐标积分的三个关键:(1) 确定 $\theta$ 范围——看区域在哪个象限/半平面;(2) 确定 $r$ 范围——从 $0$ 到边界曲线;(3) $\sin^3\theta$ / $\cos^3\theta$ 在 $[0,\pi/2]$ 上的积分是常用值,建议记牢 $\int_0^{\pi/2}\sin^n\theta\,\mathrm d\theta$ 的递推公式。
题型 D
三重积分(柱面坐标与球面坐标)
核心公式
- 柱面坐标:$x=r\cos\theta,\ y=r\sin\theta,\ z=z$,$\mathrm dv=r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta$。适用:旋转体(绕 $z$ 轴)
- 球面坐标:$x=r\sin\varphi\cos\theta,\ y=r\sin\varphi\sin\theta,\ z=r\cos\varphi$,$\mathrm dv=r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta$。适用:球形区域
- 对称性:$\Omega$ 关于坐标面对称 + 被积函数关于某变量为奇 → 积分为 $0$
- 轮换对称:$\Omega$ 关于 $x,y,z$ 轮换不变时,$\iiint x^2=\iiint y^2=\iiint z^2=\dfrac{1}{3}\iiint(x^2+y^2+z^2)$
解题思路
- 柱面坐标:$\Omega$ 有圆柱/旋转对称性时用,先积 $z$(从下曲面到上曲面),再积 $r$,最后积 $\theta$
- 球面坐标:$\Omega$ 是球/球壳/锥面与球面围成时用
- 对称性 + 轮换对称可以大幅简化计算
柱面坐标 $\mathrm dv=r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta$,球面坐标 $\mathrm dv=r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta$——两个体积元素不同,别搞混。球面坐标中 $\varphi$ 是与 $z$ 轴正方向的夹角($0\le\varphi\le\pi$),不是与 $xOy$ 面的夹角。
例 3.11、3.12
计算 $\displaystyle\iiint_\Omega(x^2+y^2)\,\mathrm dv$,$\Omega$ 为曲面 $x^2+y^2=2z$ 与 $z=2$ 所围闭区域。
解
选柱面坐标:$\Omega$ 是旋转抛物面和平面围成的区域。
$x^2+y^2=2z$ → $r^2=2z$ → $z=\dfrac{r^2}{2}$(下界);上界 $z=2$。
$z=2$ 时 $r^2=4$ → $r\le2$。$\theta\in[0,2\pi]$。
积分限:$\dfrac{r^2}{2}\le z\le2$,$0\le r\le2$,$0\le\theta\le2\pi$。
被积函数 $x^2+y^2=r^2$,$\mathrm dv=r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta$。
$$I=\int_0^{2\pi}\!\!\int_0^2\!\!\int_{r^2/2}^{2}r^2\cdot r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta=2\pi\int_0^2 r^3\left(2-\frac{r^2}{2}\right)\mathrm dr$$
$$=2\pi\int_0^2\left(2r^3-\frac{r^5}{2}\right)\mathrm dr=2\pi\left[\frac{r^4}{2}-\frac{r^6}{12}\right]_0^2=2\pi\left(8-\frac{64}{12}\right)=2\pi\cdot\frac{8}{3}=\frac{16\pi}{3}.$$
$\dfrac{16\pi}{3}$。
同类题延伸:柱面坐标三重积分的步骤:(1) 确定 $z$ 的上下限(从下曲面到上曲面);(2) 把 $z$ 的范围投影到 $xOy$ 面,确定 $r,\theta$ 的范围;(3) 被积函数和体积元素都换成极坐标。旋转体 + 被积函数含 $x^2+y^2$ = 柱面坐标信号。
计算 $\displaystyle\iiint_\Omega(3+2x^2+3y^3-6z^5)\,\mathrm dv$,$\Omega:\ x^2+y^2+z^2\le1$。
解
利用对称性。$\Omega$ 是单位球,关于三个坐标面都对称。
- $3y^3$:关于 $y$ 为奇函数 → $\iiint 3y^3=0$
- $-6z^5$:关于 $z$ 为奇函数 → $\iiint(-6z^5)=0$
只需算 $\iiint 3\,\mathrm dv+\iiint 2x^2\,\mathrm dv$。
$\iiint 3\,\mathrm dv$:$3\times$ 球体积 $=3\cdot\dfrac{4\pi}{3}=4\pi$。
$\iiint 2x^2\,\mathrm dv$:由轮换对称性,$\iiint x^2=\iiint y^2=\iiint z^2=\dfrac{1}{3}\iiint(x^2+y^2+z^2)$。
$$\iiint(x^2+y^2+z^2)\mathrm dv=\int_0^{2\pi}\!\!\int_0^{\pi}\!\!\int_0^1 r^2\cdot r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta=2\pi\cdot2\cdot\frac{1}{5}=\frac{4\pi}{5}.$$
故 $\iiint x^2=\dfrac{4\pi}{15}$,$\iiint 2x^2=\dfrac{8\pi}{15}$。
$$I=4\pi+\frac{8\pi}{15}=\frac{60\pi+8\pi}{15}=\frac{68\pi}{15}.$$
$\dfrac{68\pi}{15}$。
同类题延伸:球域上的积分题,第一时间检查对称性。奇函数项直接为零。遇到 $x^2,y^2,z^2$ 时用轮换对称性把它们转化为 $\dfrac{1}{3}(x^2+y^2+z^2)$,然后用球面坐标一步到位。
题型 E
立体体积与曲面面积
核心公式
- 体积:$V=\iint_D[f_{\text{上}}(x,y)-f_{\text{下}}(x,y)]\,\mathrm d\sigma$(上曲面减下曲面在投影区域上积分)
- 曲面面积:$A=\iint_D\sqrt{1+z_x^2+z_y^2}\,\mathrm d\sigma$($z=f(x,y)$ 在 $D$ 上的面积)
解题思路
- 体积:先找两个曲面的交线确定投影区域 $D$,再算上曲面 $-$ 下曲面的积分
- 曲面面积:先求 $z_x,z_y$,代入面积公式,选合适的坐标系计算
- 旋转体体积/面积用极坐标通常更方便
体积题的关键是分清「上曲面」和「下曲面」——画草图判断哪个在上面。如果两个曲面交叉,需要分区域讨论。面积公式里的 $\sqrt{1+z_x^2+z_y^2}$ 不要漏掉 $1$。
例 3.13、3.14
计算曲面 $z=\sqrt{8-x^2-y^2}$ 与 $z=\sqrt{x^2+y^2}$ 所围立体的体积。
解
分析曲面:$z=\sqrt{8-x^2-y^2}$ 是上半球面(半径 $2\sqrt{2}$),$z=\sqrt{x^2+y^2}$ 是上半圆锥面。
求交线:$\sqrt{8-r^2}=r$ → $8-r^2=r^2$ → $r^2=4$ → $r=2$。交线在 $z=2$ 的平面上。
在 $D:r\le2$ 内,上半球面在上方($z=\sqrt{8-r^2}\ge r=$ 圆锥面)。
极坐标:
$$V=\int_0^{2\pi}\!\!\int_0^2(\sqrt{8-r^2}-r)\,r\,\mathrm dr\,\mathrm d\theta=2\pi\int_0^2 r\sqrt{8-r^2}\,\mathrm dr-2\pi\int_0^2 r^2\,\mathrm dr.$$
第一项:令 $u=8-r^2$,$\mathrm du=-2r\,\mathrm dr$:
$$\int_0^2 r\sqrt{8-r^2}\,\mathrm dr=\frac{1}{2}\int_8^4\sqrt{u}\,(-\mathrm du)=\frac{1}{2}\int_4^8\sqrt{u}\,\mathrm du=\frac{1}{2}\cdot\frac{2}{3}[u^{3/2}]_4^8=\frac{1}{3}(16\sqrt2-8).$$
第二项:$\int_0^2 r^2\,\mathrm dr=\dfrac{8}{3}$。
$$V=2\pi\left[\frac{16\sqrt2-8}{3}-\frac{8}{3}\right]=2\pi\cdot\frac{16\sqrt2-16}{3}=\frac{32\pi(\sqrt2-1)}{3}.$$
$V=\dfrac{32(\sqrt2-1)\pi}{3}$。
同类题延伸:两个曲面围成的体积题,步骤:(1) 联立求交线 → 确定投影区域;(2) 判断上下关系;(3) 上减下积分。如果交线是圆,用极坐标。如果两个曲面都是锥面/球面,交线计算通常能简化。
计算曲面 $z=xy$ 在 $xOy$ 平面投影 $D:0\le x^2+y^2\le4$ 上的曲面面积。
解
求偏导:$z_x=y,\ z_y=x$。
面积公式:
$$A=\iint_D\sqrt{1+z_x^2+z_y^2}\,\mathrm d\sigma=\iint_D\sqrt{1+x^2+y^2}\,\mathrm d\sigma.$$
极坐标:$D:0\le r\le2,0\le\theta\le2\pi$。
$$A=\int_0^{2\pi}\!\!\int_0^2 r\sqrt{1+r^2}\,\mathrm dr\,\mathrm d\theta=2\pi\int_0^2 r\sqrt{1+r^2}\,\mathrm dr.$$
令 $u=1+r^2$:
$$\int_0^2 r\sqrt{1+r^2}\,\mathrm dr=\frac{1}{2}\int_1^5\sqrt{u}\,\mathrm du=\frac{1}{2}\cdot\frac{2}{3}[u^{3/2}]_1^5=\frac{1}{3}(5\sqrt5-1).$$
$$A=2\pi\cdot\frac{5\sqrt5-1}{3}=\frac{2\pi(5\sqrt5-1)}{3}.$$
$A=\dfrac{2\pi(5\sqrt5-1)}{3}$。
同类题延伸:曲面面积题的套路:(1) 求 $z_x,z_y$;(2) 代入面积公式;(3) 根据区域形状选坐标系。被积函数含 $x^2+y^2$ 且区域是圆 → 极坐标。变式:如果是参数曲面 $\vec r(u,v)$,用 $A=\iint|\vec r_u\times\vec r_v|\,\mathrm du\,\mathrm dv$。
数项级数判敛、比较法证明、交错级数、绝对/条件收敛;幂级数收敛域、和函数、展开式。本章共 12 道例题,按 6 类题型组织。
题型 A
裂项求和与几何级数
核心公式
- 裂项:$\dfrac{1}{n(n+k)}=\dfrac{1}{k}\!\left(\dfrac{1}{n}-\dfrac{1}{n+k}\right)$,$S_N$ 展开后大量抵消
- 几何级数:$\sum_{n=0}^\infty q^n=\dfrac{1}{1-q}$($|q|<1$),$\sum_{n=1}^\infty q^n=\dfrac{q}{1-q}$
解题思路
- 分母是 $n$ 的多项式乘积 → 尝试裂项(部分分式)
- 裂项后写 $S_N$,找出哪些项保留、哪些项抵消
- $|q|<1$ 的等比级数直接用公式;$|q|\ge1$ 时发散(通项不趋于 $0$)
裂项后 $S_N$ 的极限不要算错——保留的项是「前面几个」和「最后几个」,中间全部抵消。几何级数公式 $\sum_{n=0}^\infty q^n=\dfrac{1}{1-q}$ 和 $\sum_{n=1}^\infty q^n=\dfrac{q}{1-q}$ 差一个 $q$,别搞混。
例 4.1
求和(或写出收敛情况):$\displaystyle\sum_{n=2}^{+\infty}\dfrac{1}{n(n+2)}$,$\displaystyle\sum_{n=1}^{+\infty}\!\left(\dfrac{\ln 2}{2}\right)^{\!n}$。
解
(1) 裂项:
$$\frac{1}{n(n+2)}=\frac{1}{2}\left(\frac{1}{n}-\frac{1}{n+2}\right).$$
部分和:
$$S_N=\frac{1}{2}\sum_{n=2}^N\left(\frac{1}{n}-\frac{1}{n+2}\right)=\frac{1}{2}\left[\left(\frac{1}{2}-\frac{1}{4}\right)+\left(\frac{1}{3}-\frac{1}{5}\right)+\cdots+\left(\frac{1}{N}-\frac{1}{N+2}\right)\right].$$
保留的项(不被抵消的):$\dfrac{1}{2}+\dfrac{1}{3}$(前两项的正项)$-\dfrac{1}{N+1}-\dfrac{1}{N+2}$(后两项的负项)。
$$S=\lim_{N\to\infty}S_N=\frac{1}{2}\left(\frac{1}{2}+\frac{1}{3}\right)=\frac{1}{2}\cdot\frac{5}{6}=\frac{5}{12}.$$
(2) 几何级数:$q=\dfrac{\ln2}{2}$。因为 $0<\ln2<1$,所以 $0
$$S=\frac{q}{1-q}=\frac{\ln2/2}{1-\ln2/2}=\frac{\ln2}{2-\ln2}.$$
(1) $\dfrac{5}{12}$;(2) $\dfrac{\ln2}{2-\ln2}$。
同类题延伸:裂项题的万能检验——展开 $S_N$ 后,看「正项」和「负项」哪些能对消。一般规律:$\dfrac{1}{n(n+k)}$ 裂项后保留前 $k$ 个正项和最后 $k$ 个负项。几何级数收敛的条件是 $|q|<1$,写答案时先验证这一点。
题型 B
正项级数判敛
核心方法
- 通项不趋于 $0$ → 必发散(最快的判断方法)
- 比较法:$a_n\le b_n$,$\sum b_n$ 收敛 → $\sum a_n$ 收敛;$a_n\ge b_n$,$\sum b_n$ 发散 → $\sum a_n$ 发散
- 极限比较法:$\lim\dfrac{a_n}{b_n}=c\in(0,\infty)$ → 同敛散。常取 $b_n=\dfrac{1}{n^p}$
- 比值法:$\lim\dfrac{a_{n+1}}{a_n}=\rho$,$\rho<1$ 收敛,$\rho>1$ 发散,$\rho=1$ 不确定
- 阶的估计:$\ln n\ll n^{\epsilon}\ll n\ll a^n$($a>1$),利用这个比较
解题思路
- 先看 $a_n\to0$?不满足直接判发散
- 含 $n^p$ 类型 → 极限比较法与 $p$ 级数比
- 含 $n!$, $a^n$ 等阶乘/指数 → 比值法
- 含 $\ln n$ → 利用 $\ln n\ll n^{\epsilon}$ 放缩
$p$ 级数 $\sum\dfrac{1}{n^p}$ 收敛 $\iff p>1$,调和级数 $\sum\dfrac{1}{n}$ 发散。比值法 $\rho=1$ 时失效(如调和级数 $\rho=1$ 但发散),必须换方法。
例 4.2、4.3、4.4、4.5
$\displaystyle\sum_{n=1}^{+\infty}\cos\dfrac{1}{n}$(发散),$\displaystyle\sum_{n=1}^{+\infty}\dfrac{1}{n^3+2n-1}$(收敛)。
解
(1) $\sum\cos\dfrac{1}{n}$:
$\lim_{n\to\infty}\cos\dfrac{1}{n}=\cos0=1\ne0$。通项不趋于零 → 发散。
(2) $\sum\dfrac{1}{n^3+2n-1}$:
极限比较法,取 $b_n=\dfrac{1}{n^3}$:
$$\lim_{n\to\infty}\frac{1/(n^3+2n-1)}{1/n^3}=\lim_{n\to\infty}\frac{n^3}{n^3+2n-1}=1\in(0,\infty).$$
$\sum\dfrac{1}{n^3}$ 是 $p=3>1$ 的 $p$ 级数,收敛。故原级数收敛。
(1) 发散;(2) 收敛。
同类题延伸:判敛题的优先级:(1) 先看通项是否 $\to0$;(2) 不趋于零直接发散;(3) 趋于零时,与 $p$ 级数做极限比较(分母的最高次幂决定 $p$ 值)。$\cos\dfrac{1}{n}\to1$ 这种「看起来趋于零但其实不是」的陷阱,只要记住 $\cos0=1\ne0$ 就不会中招。
$\displaystyle\sum_{n=3}^{+\infty}\sin\dfrac{1}{n^2}$(收敛);$\displaystyle\sum_{n=3}^{+\infty}\dfrac{1}{\ln n}$(发散)。
解
(1) $\sum\sin\dfrac{1}{n^2}$:等价无穷小 $\sin\dfrac{1}{n^2}\sim\dfrac{1}{n^2}$。
极限比较法:$\lim\dfrac{\sin(1/n^2)}{1/n^2}=1$。$\sum\dfrac{1}{n^2}$ 收敛($p=2>1$),故收敛。
(2) $\sum\dfrac{1}{\ln n}$:与调和级数比较。
$n\ge3$ 时 $\ln n\dfrac{1}{n}$。
$\sum\dfrac{1}{n}$ 发散,由比较法,$\sum\dfrac{1}{\ln n}$ 发散。
(1) 收敛;(2) 发散。
同类题延伸:$\sin\dfrac{1}{n^p}\sim\dfrac{1}{n^p}$,$\ln(1+\dfrac{1}{n^p})\sim\dfrac{1}{n^p}$——含三角/对数的级数,用等价无穷小化简后再判敛。$\dfrac{1}{\ln n}$ 比 $\dfrac{1}{n}$ 大,所以比调和级数还「差」,必然发散。
$\displaystyle\sum_{n=3}^{+\infty}\dfrac{(\ln n)^3}{n^2}$(收敛);$\displaystyle\sum_{n=1}^{+\infty}\dfrac{3^n\!\cdot n!}{n^n}$(发散)。
解
(1) $\sum\dfrac{(\ln n)^3}{n^2}$:
核心事实:$\forall\epsilon>0$,$(\ln n)^3=o(n^{\epsilon})$(对数增长比任何正幂次都慢)。
取 $\epsilon=0.5$:$(\ln n)^3
$\sum\dfrac{1}{n^{1.5}}$ 收敛($p=1.5>1$),故收敛。
(2) $\sum\dfrac{3^n\cdot n!}{n^n}$:含 $n!$ 和 $a^n$,用比值法。
$$\frac{a_{n+1}}{a_n}=\frac{3^{n+1}(n+1)!}{(n+1)^{n+1}}\cdot\frac{n^n}{3^n\cdot n!}=\frac{3(n+1)\cdot n^n}{(n+1)^{n+1}}=\frac{3}{(1+1/n)^n}\to\frac{3}{e}.$$
$\dfrac{3}{e}\approx1.10>1$,比值大于 $1$ → 发散。
(1) 收敛;(2) 发散。
同类题延伸:(1) 含 $(\ln n)^k$ 的级数,核心工具是「$\ln n$ 增长比任何 $n^{\epsilon}$ 慢」——可以和任何 $p$ 级数比较($p$ 稍微调小一点)。(2) 含 $n!$ 的级数必用比值法,且会用到 $\lim(1+1/n)^n=e$ 这个经典极限。
证明:$\displaystyle\lim_{n\to\infty}\dfrac{2^n\!\cdot n!}{n^n}=0$。
证
技巧:要证 $a_n\to0$,只需证 $\sum a_n$ 收敛(收敛级数的通项必趋于零)。
记 $a_n=\dfrac{2^n n!}{n^n}$,用比值法:
$$\frac{a_{n+1}}{a_n}=\frac{2^{n+1}(n+1)!}{(n+1)^{n+1}}\cdot\frac{n^n}{2^n\cdot n!}=\frac{2\cdot n^n}{(n+1)^n}=\frac{2}{(1+1/n)^n}\to\frac{2}{e}.$$
$\dfrac{2}{e}\approx0.74<1$ → $\sum a_n$ 收敛 → $a_n\to0$。$\blacksquare$
$\displaystyle\lim_{n\to\infty}\dfrac{2^n\cdot n!}{n^n}=0$。
同类题延伸:「证明数列极限为零」的常用方法——把数列看作某级数的通项,证明级数收敛。比值法 $\rho<1$ 即可。这比直接用 $\epsilon-N$ 语言证明简单得多。注意对比 4.4(2):$3/e>1$ 发散,而本题 $2/e<1$ 收敛——系数 $2$ vs $3$ 导致结论完全相反。
题型 C
比较法证明题
核心技巧
- $a_n\to0$ 后 $a_n^2\le a_n$:当 $a_n\in[0,1]$ 时,平方后更小
- AM-GM 不等式:$ab\le\dfrac{a^2+b^2}{2}$(或 $\dfrac{a_n}{n}\le\dfrac{1}{2}(a_n^2+\dfrac{1}{n^2})$)
- 夹逼:$0\le c_n-a_n\le b_n-a_n$,$\sum(b_n-a_n)$ 收敛 + $\sum a_n$ 收敛 → $\sum c_n$ 收敛
解题思路
- 利用 $a_n\to0$(因为 $\sum a_n$ 收敛),存在 $N$ 使得 $n>N$ 时 $a_n\in[0,1]$
- $a_n^2\le a_n$ 直接用比较法
- 含两个收敛级数的乘积/混合项 → AM-GM 或直接放缩
- $a_n\le c_n\le b_n$ 且 $\sum a_n,\sum b_n$ 收敛 → $\sum c_n$ 收敛
比较法只能用于非负项级数。如果 $a_n$ 可能为负,要先处理绝对值。证明题中「存在 $N$ 使得 $n>N$ 时 $a_n<1$」这步不能省——$a_n<1$ 是 $a_n^2
例 4.6
比较判别法证明题设 $a_n,b_n\ge0$ 且 $\sum a_n$ 收敛,证明:
(1)$\sum a_n^2$ 收敛;
(2)$\sum\dfrac{a_n}{n}$ 收敛;
(3)$\sum\dfrac{a_n}{1+a_n}$ 收敛;
(4)$\sum a_n,\sum b_n$ 绝对收敛 $\Rightarrow$ $\sum a_n b_n$ 收敛;
(5)$\sum a_n,\sum b_n$ 收敛且 $a_n\le c_n\le b_n$ $\Rightarrow$ $\sum c_n$ 收敛。
证
(1) $\sum a_n$ 收敛 $\Rightarrow a_n\to0$。存在 $N$,$n>N$ 时 $0\le a_n\le1$,故 $a_n^2\le a_n$。由比较法 $\sum a_n^2$ 收敛。$\blacksquare$
(2) AM-GM:$\dfrac{a_n}{n}\le\dfrac{1}{2}\!\left(a_n^2+\dfrac{1}{n^2}\right)$。由 (1) $\sum a_n^2$ 收敛,$\sum\dfrac{1}{n^2}$ 收敛,故 $\sum\dfrac{a_n}{n}$ 收敛。$\blacksquare$
(3) $\dfrac{a_n}{1+a_n}1$),比较法直接得。$\blacksquare$
(4) $|a_nb_n|\le\dfrac{1}{2}(a_n^2+b_n^2)$(AM-GM 对 $|a_n|,|b_n|$ 用)。由 (1) 的同理 $\sum a_n^2,\sum b_n^2$ 收敛,故 $\sum|a_nb_n|$ 收敛 → $\sum a_nb_n$ 收敛。$\blacksquare$
(5) $0\le c_n-a_n\le b_n-a_n$。$\sum(b_n-a_n)=\sum b_n-\sum a_n$ 收敛。由比较法 $\sum(c_n-a_n)$ 收敛。$\sum c_n=\sum(c_n-a_n)+\sum a_n$ 收敛。$\blacksquare$
同类题延伸:比较法证明题的核心套路:(1) 利用 $a_n\to0$ 得到 $a_n\in[0,1]$;(2) 平方/放缩/AM-GM 创造不等式链;(3) 已知收敛级数作为比较对象。AM-GM 不等式 $ab\le\frac{a^2+b^2}{2}$ 是处理「两个级数乘积」的万能工具。
题型 D
交错级数与绝对/条件收敛
核心方法
- Leibniz 判别法:$\sum(-1)^n b_n$($b_n>0$),若 $b_n$ 单调递减 $\to0$,则收敛
- 判定流程:(1) 先看 $\sum|a_n|$ 是否收敛 → 绝对收敛;(2) 不绝对收敛但 Leibniz 满足 → 条件收敛
- 单调性验证:令 $f(x)=b(x)$,求 $f'(x)$ 判断递减区间
解题思路
- 先取绝对值,用正项级数方法判断是否绝对收敛
- 非绝对收敛时,检查 Leibniz 条件:(a) $b_n\to0$;(b) $b_n$ 单调递减
- 单调性用导数 $f'(x)<0$ 或直接比 $b_{n+1}
Leibniz 要求同时满足单调递减和趋于零,缺一不可。判断「绝对收敛 vs 条件收敛」的顺序:先看 $\sum|a_n|$,再看交错。绝对收敛一定收敛,但条件收敛只在交错下收敛——$\sum|a_n|$ 发散。
例 4.7、4.8、4.9
判断敛散:(1) $\displaystyle\sum_{n=3}^\infty(-1)^n\dfrac{\ln n}{n}$;(2) $\displaystyle\sum_{n=1}^\infty(-1)^n(\sqrt{n+2}-\sqrt n)$。
解
(1) 令 $f(x)=\dfrac{\ln x}{x}$,$f'(x)=\dfrac{1-\ln x}{x^2}$。$x>e$ 时 $f'<0$,单调递减。
$\lim\dfrac{\ln n}{n}=0$。Leibniz 条件满足 → 收敛。
绝对值 $\sum\dfrac{\ln n}{n}$:$\dfrac{\ln n}{n}\ge\dfrac{1}{n}$($n\ge3$),调和级数发散 → 非绝对收敛。
→ 条件收敛。
(2) 有理化:$\sqrt{n+2}-\sqrt{n}=\dfrac{2}{\sqrt{n+2}+\sqrt{n}}$。
分母递增 → 整体递减 $\to0$。Leibniz 收敛。
绝对值 $\sim\dfrac{1}{\sqrt{n}}$,$\sum\dfrac{1}{\sqrt{n}}$ 发散($p=0.5<1$)→ 条件收敛。
(1) 条件收敛;(2) 条件收敛。
同类题延伸:交错级数判敛三步走:(1) 取绝对值判断绝对收敛性;(2) 非绝对收敛时验证 Leibniz——单调性用导数;(3) 趋于零一般直接算极限。$\dfrac{\ln n}{n}$ 和 $\dfrac{1}{\sqrt{n}}$ 是条件收敛的经典例子。
判断级数 $\displaystyle\sum_{n=1}^\infty(-1)^n\dfrac{n}{2n^2+1}$ 是绝对收敛、条件收敛或发散?
解
绝对值:$\dfrac{n}{2n^2+1}\sim\dfrac{1}{2n}$。$\sum\dfrac{1}{2n}$ 发散 → 非绝对收敛。
Leibniz:令 $f(x)=\dfrac{x}{2x^2+1}$,$f'(x)=\dfrac{1-2x^2}{(2x^2+1)^2}$。$x\ge1$ 时 $f'<0$(因为 $1-2x^2<0$),单调递减。
$\lim\dfrac{n}{2n^2+1}=0$。Leibniz 条件满足。
条件收敛。
同类题延伸:$\dfrac{n}{an^2+b}\sim\dfrac{1}{an}$,永远是条件收敛($a>0$)。单调性验证时,$f'(x)$ 的分子是关键——$1-2x^2<0$ 对 $x\ge1$ 成立。
判断 $\displaystyle\sum_{n=1}^{+\infty}\dfrac{\sin\frac{n\pi}{3}}{2n^2+1}$ 是否收敛?
解
取绝对值:
$$\left|\frac{\sin\frac{n\pi}{3}}{2n^2+1}\right|\le\frac{1}{2n^2+1}\le\frac{1}{2n^2}.$$
$\sum\dfrac{1}{2n^2}=\dfrac{1}{2}\sum\dfrac{1}{n^2}$ 收敛($p=2>1$)。
由比较法 $\sum\left|\dfrac{\sin\frac{n\pi}{3}}{2n^2+1}\right|$ 收敛。
绝对收敛。
同类题延伸:$\sin$ 或 $\cos$ 在分子时,直接用 $|\sin|\le1$ 放缩——如果放缩后的级数收敛,就是绝对收敛。这类题不需要分析 $\sin$ 的正负交替,因为绝对收敛直接得出结论。分母是 $n^2$ 级别的,收敛很快。
题型 E
幂级数收敛域
核心方法
- 求收敛半径:$R=\lim\left|\dfrac{a_n}{a_{n+1}}\right|$ 或 $R=\dfrac{1}{\lim\sqrt[n]{|a_n|}}$
- 收敛区间:$(x_0-R,\ x_0+R)$,$x_0$ 是中心
- 端点:代入端点值变成数项级数,单独判敛($p$ 级数/Leibniz 等)
- 已知收敛点推断:在 $x_1$ 收敛 → $R\ge|x_1-x_0|$;在 $x_1$ 发散 → $R\le|x_1-x_0|$
解题思路
- 先确认是 $\sum a_n x^n$ 还是 $\sum a_n(x-x_0)^n$(确定中心)
- 比值法求 $R$
- 两个端点分别代入,用数项级数判敛法判断
- 「已知收敛点」题用 $R\ge$ 或 $R\le$ 不等式推断
收敛域必须包含端点的判断——两个端点要分别检查,可能出现一端收敛一端发散。比值法中 $\lim\left|\dfrac{a_{n+1}}{a_n}\right|=\dfrac{1}{R}$(注意是系数之比,不是 $x^{n+1}/x^n$)。
例 4.10
求下列幂级数的收敛域:
(1)$\displaystyle\sum_{n=1}^{+\infty}(-1)^n\dfrac{2^n}{n+1}x^n$;
(2)$\displaystyle\sum_{n=1}^{+\infty}(-1)^n\dfrac{n}{2^n}(x-1)^n$;
(3)已知 $\sum a_n(x-2)^n$ 在 $x=-3$ 收敛,求 $\sum a_n(x-2)^n$ 的收敛区间。
解
(1) $a_n=(-1)^n\dfrac{2^n}{n+1}$,中心 $x_0=0$。
比值:$\left|\dfrac{a_{n+1}}{a_n}\right|=\dfrac{2^{n+1}}{n+2}\cdot\dfrac{n+1}{2^n}=\dfrac{2(n+1)}{n+2}\to2$。$R=\dfrac{1}{2}$。
端点 $x=\dfrac{1}{2}$:$\sum(-1)^n\dfrac{2^n}{n+1}\cdot\dfrac{1}{2^n}=\sum\dfrac{(-1)^n}{n+1}$,Leibniz 收敛。
端点 $x=-\dfrac{1}{2}$:$\sum\dfrac{1}{n+1}$,调和级数型,发散。
收敛域 $\left(-\dfrac{1}{2},\ \dfrac{1}{2}\right]$。
(2) $a_n=(-1)^n\dfrac{n}{2^n}$,中心 $x_0=1$。
$R=\lim\dfrac{n/2^n}{(n+1)/2^{n+1}}=\lim\dfrac{2n}{n+1}=2$。收敛区间 $(1-2,1+2)=(-1,3)$。
端点 $x=-1$:$\sum(-1)^n\dfrac{n}{2^n}(-2)^n=\sum n$,发散。
端点 $x=3$:$\sum(-1)^n n$,通项不趋于零,发散。
收敛域 $(-1,3)$。
(3) 中心 $x_0=2$。$x=-3$ 处 $|x-x_0|=5$,级数收敛 → $R\ge5$。
收敛区间至少为 $[2-5,2+5)=(-3,7)$($x=7$ 处不确定)。
收敛区间至少包含 $[-3,7)$,$x=7$ 处无法确定。
同类题延伸:(1) 求收敛域的标准流程:比值法求 $R$ → 两个端点分别代入判敛。(2) 中心不在 $0$ 时,先平移令 $t=x-x_0$。(3) 「已知收敛点推断」题本质是 $R\ge$ 距离的不等式——在远端点收敛说明 $R$ 至少有那么大。
题型 F
和函数与幂级数展开
核心公式
- $\sum_{n=0}^\infty x^n=\dfrac{1}{1-x}$($|x|<1$)
- $\sum_{n=1}^\infty nx^n=\dfrac{x}{(1-x)^2}$(逐项求导)
- $\sum_{n=0}^\infty\dfrac{x^n}{n+1}=-\dfrac{\ln(1-x)}{x}$(逐项积分)
- $e^x=\sum\dfrac{x^n}{n!}$,$\sin x=\sum\dfrac{(-1)^nx^{2n+1}}{(2n+1)!}$,$\ln(1+x)=\sum\dfrac{(-1)^{n-1}x^n}{n}$
解题思路
- 求和函数:把级数转化为已知级数的形式(换元、提取因子、逐项求导/积分)
- 展开:(1) 利用已知展开式换元(如 $e^{2x}$ → 把 $2x$ 代入 $e^x$ 的展开);(2) 部分分式拆分后再展开;(3) 展开中心不是 $0$ 时先令 $t=x-x_0$
求和函数时不要忘记收敛域——逐项求导/积分不改变开区间端点的敛散性,但端点需要单独检查。展开题中 $\ln(1+x)$ 的展开中心是 $0$,要展开成 $(x-x_0)$ 的幂级数必须先换元。
例 4.11、4.12
求 $\displaystyle\sum_{n=1}^{+\infty}\dfrac{n}{2^n}x^{n+1}$,$\displaystyle\sum_{n=0}^{+\infty}\dfrac{2^n}{n+1}x^n$ 的和函数。
解
(1) $S_1(x)=\sum_{n=1}^\infty\dfrac{n}{2^n}x^{n+1}=x\sum_{n=1}^\infty n\!\left(\dfrac{x}{2}\right)^n$
利用 $\sum_{n=1}^\infty nz^n=\dfrac{z}{(1-z)^2}$($|z|<1$),令 $z=\dfrac{x}{2}$:
$$S_1(x)=x\cdot\frac{x/2}{(1-x/2)^2}=\frac{x^2/2}{(1-x/2)^2}=\frac{x^2/2}{(2-x)^2/4}=\frac{2x^2}{(2-x)^2},\quad|x|<2.$$
(2) $S_2(x)=\sum_{n=0}^\infty\dfrac{2^n}{n+1}x^n$
利用 $\sum_{n=0}^\infty\dfrac{y^n}{n+1}=-\dfrac{\ln(1-y)}{y}$($|y|<1,y\ne0$),令 $y=2x$:
$$S_2(x)=-\frac{\ln(1-2x)}{2x},\quad|x|<\frac{1}{2},\ x\ne0;\quad S_2(0)=1.$$
$S_1(x)=\dfrac{2x^2}{(2-x)^2}$($|x|<2$);$S_2(x)=-\dfrac{\ln(1-2x)}{2x}$($|x|<\frac{1}{2}$)。
同类题延伸:求和函数的套路:(1) 提取/换元把级数变成 $\sum n z^n$ 或 $\sum\dfrac{z^n}{n+1}$ 等标准形式;(2) 用「已知和函数」或「逐项求导/积分」转化。$\sum nz^n=\dfrac{z}{(1-z)^2}$ 和 $\sum\dfrac{z^n}{n+1}=-\dfrac{\ln(1-z)}{z}$ 是最常用的两个公式,建议记牢。
将下列函数展开成 $x-3$(或 $x$)的幂级数:
(1)$f(x)=e^{2x}$ 展开成 $x-3$ 的幂级数;
(2)$f(x)=x\sin^2 x$ 展开成 $x$ 的幂级数;
(3)$f(x)=\dfrac{1}{x^2+3x+2}$ 展开成 $x-3$ 的幂级数;
(4)$f(x)=\ln(1+x)$ 展开成 $x-3$ 的幂级数。
解
(1) 令 $t=x-3$,则 $x=3+t$,$2x=6+2t$:
$$e^{2x}=e^{6+2t}=e^6\cdot e^{2t}=e^6\sum_{n=0}^\infty\frac{(2t)^n}{n!}=\sum_{n=0}^\infty\frac{e^6\cdot2^n}{n!}(x-3)^n.$$
全平面收敛($e^z$ 的收敛半径 $\infty$)。
(2) 先化简:$\sin^2x=\dfrac{1-\cos2x}{2}$。
$$x\sin^2x=\frac{x}{2}-\frac{x\cos2x}{2}.$$
$\cos2x=\sum_{n=0}^\infty(-1)^n\dfrac{(2x)^{2n}}{(2n)!}$,故:
$$x\sin^2x=\frac{x}{2}-\frac{x}{2}\sum_{n=0}^\infty(-1)^n\frac{2^{2n}x^{2n}}{(2n)!}=\sum_{n=1}^\infty(-1)^{n+1}\frac{2^{2n-1}}{(2n)!}x^{2n+1}.$$
全平面收敛。
(3) 部分分式:$f=\dfrac{1}{(x+1)(x+2)}=\dfrac{1}{x+1}-\dfrac{1}{x+2}$。令 $t=x-3$:
$$\frac{1}{x+1}=\frac{1}{4+t}=\frac{1}{4}\cdot\frac{1}{1+t/4}=\frac{1}{4}\sum_{n=0}^\infty(-1)^n\frac{t^n}{4^n}=\sum_{n=0}^\infty\frac{(-1)^n}{4^{n+1}}t^n.$$
$$\frac{1}{x+2}=\frac{1}{5+t}=\sum_{n=0}^\infty\frac{(-1)^n}{5^{n+1}}t^n.$$
$$f(x)=\sum_{n=0}^\infty(-1)^n\!\left(\frac{1}{4^{n+1}}-\frac{1}{5^{n+1}}\right)(x-3)^n,\quad|x-3|<4.$$
(4) $\ln(1+x)=\ln(4+(x-3))=\ln4+\ln\!\left(1+\dfrac{x-3}{4}\right)$。
利用 $\ln(1+y)=\sum_{n=1}^\infty\dfrac{(-1)^{n-1}y^n}{n}$,令 $y=\dfrac{x-3}{4}$:
$$\ln(1+x)=\ln4+\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n\cdot4^n}(x-3)^n.$$
收敛域:$|y|<1$ → $|x-3|<4$ → $-1
见各小题。
同类题延伸:幂级数展开四大套路:(1) 换元——$e^{f(x)}$ 把 $f(x)$ 代入已知展开式;(2) 三角恒等式——$\sin^2x,\cos^2x$ 先降幂再展开;(3) 部分分式——有理函数先拆分再分别展开;(4) 对数/反三角——凑成 $\ln(1+u)$ 形式。中心不是 $0$ 时,令 $t=x-x_0$ 统一处理。
伍
常微分方程
Ordinary Differential Equations
可分离变量、齐次、一阶线性、伯努利、二阶可降阶、二阶常系数线性方程(齐次/非齐次)以及特解形式判定。本章共 14 道例题,按 5 类题型组织。
题型 A
可分离变量方程
核心方法
- 标准形式:$g(y)\,\mathrm dy=f(x)\,\mathrm dx$(左边只含 $y$,右边只含 $x$)
- 步骤:分离变量 → 两边积分 → 整理
- 识别特征:$y'=f(x)\cdot g(y)$ 或 $M(x)N(y)\mathrm dx+P(x)Q(y)\mathrm dy=0$
解题思路
- 把 $y'$ 写成 $\dfrac{\mathrm dy}{\mathrm dx}$,移项使 $y$ 和 $\mathrm dy$ 在一边,$x$ 和 $\mathrm dx$ 在另一边
- 两边积分
- $\int\dfrac{1}{g(y)}\mathrm dy$ 时注意 $g(y)=0$ 的常数解
分离变量时除以 $g(y)$,可能丢失 $g(y)=0$ 的解(常数解)。分离后记得检查:$g(y)=0$ 对应的 $y=c$ 是否是方程的解。两边积分后加常数 $C$ 只需加一边。
例 5.1、5.2
求解 $\dfrac{\mathrm dy}{\mathrm dx}=\dfrac{2x}{1+x^2}\,y$。
解
分离变量:$\dfrac{\mathrm dy}{y}=\dfrac{2x}{1+x^2}\mathrm dx$。
两边积分:
$$\int\frac{\mathrm dy}{y}=\int\frac{2x}{1+x^2}\mathrm dx\implies\ln|y|=\ln(1+x^2)+C_1.$$
取指数:$|y|=e^{C_1}(1+x^2)$,即 $y=C(1+x^2)$($C=\pm e^{C_1}$,含 $C=0$ 即 $y=0$)。
$y=C(1+x^2)$。
同类题延伸:$y'=f(x)\cdot y$ 型是最简单的可分离变量方程。$\int\dfrac{2x}{1+x^2}\mathrm dx=\ln(1+x^2)$ 是经典积分,记住 $\dfrac{2x}{1+x^2}$ 是 $\ln(1+x^2)$ 的导数。最终常数 $C$ 可正可负可零。
求解 $\dfrac{\mathrm dy}{\mathrm dx}=4x\cdot y^2$。
解
分离变量:$\dfrac{\mathrm dy}{y^2}=4x\,\mathrm dx$。
两边积分:
$$\int y^{-2}\mathrm dy=\int4x\,\mathrm dx\implies-\frac{1}{y}=2x^2+C.$$
解出 $y$:$y=-\dfrac{1}{2x^2+C}$。
检查丢失的解:$y=0$ 代入原方程 $y'=0$,左边 $0$,右边 $0$,是解。但 $y=0$ 不能由通解取某个 $C$ 得到($C=\infty$),所以是奇解。一般写通解即可。
$y=-\dfrac{1}{2x^2+C}$(含奇解 $y=0$)。
同类题延伸:$y'=f(x)\cdot y^2$ 型——分离后左边是 $\int y^{-2}\mathrm dy=-y^{-1}$。如果分离时除以 $y^2$,要检查 $y=0$ 是否为解。这类方程的解有「爆破」现象——$2x^2+C=0$ 时 $y\to\infty$。
题型 B
齐次方程
核心方法
- 标准形式:$y'=f\!\left(\dfrac{y}{x}\right)$
- 换元:令 $u=\dfrac{y}{x}$(即 $y=ux$),则 $y'=u+xu'$
- 化简:$u+xu'=f(u)$ → $xu'=f(u)-u$ → 可分离变量
解题思路
- 确认方程是 $y'=f(y/x)$ 形式
- 令 $u=y/x$,把方程化为关于 $u$ 和 $x$ 的可分离变量方程
- 解出 $u$ 后回代 $u=y/x$
$y'=u+xu'$,不是 $y'=u'$!这是复合函数求导:$\dfrac{\mathrm d(ux)}{\mathrm dx}=u+x\dfrac{\mathrm du}{\mathrm dx}$。回代时 $u=y/x$ 要整理成 $y=...$ 的形式。
例 5.3
齐次求解 $\dfrac{\mathrm dy}{\mathrm dx}=2\dfrac{y}{x}+\!\left(\dfrac{y}{x}\right)^{\!2}$。
解
令 $u=\dfrac{y}{x}$,$y=ux$,$y'=u+xu'$。代入:
$$u+xu'=2u+u^2\implies xu'=u+u^2=u(1+u).$$
分离变量:
$$\frac{\mathrm du}{u(1+u)}=\frac{\mathrm dx}{x}.$$
部分分式:$\dfrac{1}{u(1+u)}=\dfrac{1}{u}-\dfrac{1}{1+u}$。
$$\int\left(\frac{1}{u}-\frac{1}{1+u}\right)\mathrm du=\int\frac{\mathrm dx}{x}\implies\ln|u|-\ln|1+u|=\ln|x|+C_1.$$
$$\ln\left|\frac{u}{1+u}\right|=\ln|x|+C_1\implies\frac{u}{1+u}=Cx.$$
回代 $u=\dfrac{y}{x}$:
$$\frac{y/x}{1+y/x}=\frac{y}{x+y}=Cx\implies y=Cx(x+y)=Cx^2+Cxy.$$
$y(1-Cx)=Cx^2$,即 $y=\dfrac{Cx^2}{1-Cx}$。
$y=\dfrac{Cx^2}{1-Cx}$。
同类题延伸:齐次方程的固定流程:换元 → 分离变量 → 部分分式积分 → 回代。部分分式 $\dfrac{1}{u(1+u)}=\dfrac{1}{u}-\dfrac{1}{1+u}$ 是高频操作。回代后的整理可能需要解 $y$ 的方程——如果很难解,保持隐式形式也可以。
题型 C
一阶线性方程
核心公式
- 标准形式:$y'+P(x)y=Q(x)$
- 通解公式:$y=e^{-\int P}\left(\int Qe^{\int P}\mathrm dx+C\right)$
- 积分因子法:两边乘 $\mu=e^{\int P\mathrm dx}$,左边变成 $(\mu y)'$
- 含变上限积分:$f(x)=g(x)+\int_a^x f(t)\mathrm dt$ → 两边对 $x$ 求导得微分方程
解题思路
- 化成标准形式 $y'+P(x)y=Q(x)$
- 计算 $\int P\mathrm dx$(不加常数)
- 代入公式或用积分因子法
- 如果 $y$ 出现在分母(如 $y'$ 的分母含 $y$),考虑把 $x$ 看成 $y$ 的函数
$\int P\mathrm dx$ 在积分因子中不加常数(加了会被约掉)。公式中 $e^{-\int P}$ 在前面、$e^{\int P}$ 在积分号里——注意正负号。如果方程关于 $y$ 非线性但关于 $x$ 线性(如 $\dfrac{\mathrm dx}{\mathrm dy}+...x=...$),交换角色可能更简单。
例 5.4、5.5
一阶线性求解:
(1)$\dfrac{\mathrm dy}{\mathrm dx}-\dfrac{2y}{x}=x^4$;
(2)$\dfrac{\mathrm dy}{\mathrm dx}=\dfrac{y}{-2x+y^3\sin y}$;
(3)$f(x)=x^2-\displaystyle\int_1^x f(t)\,\mathrm dt$,求 $f(x)$。
解
(1) 标准形式:$y'-\dfrac{2}{x}y=x^4$。$P(x)=-\dfrac{2}{x}$,$Q(x)=x^4$。
$\int P\mathrm dx=-2\ln x=\ln x^{-2}$,积分因子 $\mu=x^{-2}$。
两边乘 $x^{-2}$:$\dfrac{\mathrm d}{\mathrm dx}\!\left(\dfrac{y}{x^2}\right)=x^2$。
$$\frac{y}{x^2}=\frac{x^3}{3}+C\implies y=\frac{x^5}{3}+Cx^2.$$
(2) 关于 $y$ 非线性($y^3\sin y$),但关于 $x$ 是线性的!改写为:
$$\frac{\mathrm dx}{\mathrm dy}=\frac{-2x+y^3\sin y}{y}=-\frac{2}{y}x+y^2\sin y.$$
标准形式:$x'+\dfrac{2}{y}x=y^2\sin y$。$P(y)=\dfrac{2}{y}$,$\int P\mathrm dy=2\ln y=\ln y^2$,积分因子 $\mu=y^2$。
$$\frac{\mathrm d}{\mathrm dy}(y^2x)=y^4\sin y.$$
右边需多次分部积分($\int y^4\sin y\,\mathrm dy$),得:
$$y^2x=-y^4\cos y+4y^3\sin y+12y^2\cos y-24y\sin y-24\cos y+C.$$
(3) 两边对 $x$ 求导($f(x)=x^2-\int_1^x f(t)\mathrm dt$,变上限积分求导):
$$f'(x)=2x-f(x)\implies f'+f=2x.$$
积分因子 $e^x$:$(e^xf)'=2xe^x$。
$$e^xf=2\int xe^x\mathrm dx=2(x-1)e^x+C.$$
$f=2(x-1)+Ce^{-x}$。初值:$f(1)=1^2-\int_1^1f=1$ → $0+C/e=1$ → $C=e$。
(1) $y=\dfrac{x^5}{3}+Cx^2$;(2) 见上;(3) $f(x)=2(x-1)+e^{1-x}$。
同类题延伸:(1) 标准一阶线性直接套公式。(2) 当方程关于 $y$ 非线性但关于 $x$ 线性时,交换角色(把 $x$ 看成 $y$ 的函数)是关键技巧。(3) 含变上限积分的方程——先求导转化为微分方程,再用初值确定常数。初值一般从原方程(令 $x$ 为积分下限)获得。
了解 · 伯努利求解 $\dfrac{\mathrm dy}{\mathrm dx}+2xy=xy^2$。
解
伯努利方程:$y'+P(x)y=Q(x)y^n$,这里 $n=2$。
换元:$u=\dfrac{1}{y}=y^{-1}$,$u'=-\dfrac{y'}{y^2}$。
原方程两边除以 $y^2$:$\dfrac{y'}{y^2}+2x\cdot\dfrac{1}{y}=x$,即 $-u'+2xu=x$。
$$u'-2xu=-x.$$
积分因子 $e^{-x^2}$:$(e^{-x^2}u)'=-xe^{-x^2}$。
$$e^{-x^2}u=\int-xe^{-x^2}\mathrm dx=\frac{1}{2}e^{-x^2}+C.$$
$u=\dfrac{1}{2}+Ce^{x^2}$,即 $\dfrac{1}{y}=\dfrac{1}{2}+Ce^{x^2}$。
$y=\dfrac{2}{1+2Ce^{x^2}}$。
同类题延伸:伯努利方程 $y'+Py=Qy^n$ 的固定套路:(1) 两边除以 $y^n$;(2) 令 $u=y^{1-n}$,化为一阶线性方程;(3) 用一阶线性公式求解。$n=2$ 时 $u=1/y$。注意 $y=0$ 可能是奇解(但本题 $y=0$ 代入得 $0=0$,确实是解)。
题型 D
二阶可降阶方程
三种类型
- $y''=f(x)$:直接两次积分
- $y''=f(x,y')$(不显含 $y$):令 $p=y'$,$y''=p'$,化为 $p'=f(x,p)$(一阶)
- $y''=f(y,y')$(不显含 $x$):令 $p=y'$,$y''=p\dfrac{\mathrm dp}{\mathrm dy}$,化为 $p\dfrac{\mathrm dp}{\mathrm dy}=f(y,p)$
解题思路
- $y''=f(x)$:直接积分两次,每步加一个常数
- 不显含 $y$:令 $p=y'$ 降为关于 $x,p$ 的一阶方程
- 不显含 $x$:令 $p=y'$ 但用 $y''=p\dfrac{\mathrm dp}{\mathrm dy}$,降为关于 $y,p$ 的一阶方程
不显含 $x$ 和不显含 $y$ 的降阶方式不同!不显含 $y$ 时 $y''=p'$(对 $x$ 求导);不显含 $x$ 时 $y''=p\dfrac{\mathrm dp}{\mathrm dy}$(链式法则)。搞混会得到完全不同的方程。
例 5.6、5.7、5.8
可降阶求解 $y''=e^x$。
解
直接两次积分:
第一次:$y'=e^x+C_1$。
第二次:$y=e^x+C_1x+C_2$。
$y=e^x+C_1x+C_2$。
同类题延伸:$y''=f(x)$ 型是最简单的二阶方程——积分两次,每次加一个独立常数,通解有两个常数。如果给初值条件(如 $y(0)=a,y'(0)=b$),可以确定 $C_1,C_2$。
了解求解 $y''=2x\cdot y'$。
解
不显含 $y$,令 $p=y'$,$y''=p'$:
$$p'=2xp\implies\frac{\mathrm dp}{p}=2x\,\mathrm dx\implies\ln|p|=x^2+C\implies p=C_1e^{x^2}.$$
$y'=C_1e^{x^2}$,积分:$y=C_1\!\int e^{x^2}\mathrm dx+C_2$。
$\int e^{x^2}\mathrm dx$ 不能用初等函数表示(误差函数)。
$y=C_1\!\int e^{x^2}\mathrm dx+C_2$(不可初等表出)。
同类题延伸:有些微分方程的解不能用初等函数表示,这是正常的。考试中如果出现这种情况,写到「积分形式」即可。$e^{x^2},\dfrac{\sin x}{x},\dfrac{1}{\ln x}$ 的原函数都不是初等函数——遇到这类积分不要死算。
了解求解 $y''=2y\cdot y'$。
解
不显含 $x$,令 $p=y'$,$y''=p\dfrac{\mathrm dp}{\mathrm dy}$:
$$p\frac{\mathrm dp}{\mathrm dy}=2yp\implies\frac{\mathrm dp}{\mathrm dy}=2y\quad(p\ne0).$$
积分:$p=y^2+C_1$,即 $y'=y^2+C_1$。
分离变量:$\displaystyle\int\frac{\mathrm dy}{y^2+C_1}=x+C_2$。
- $C_1>0$:$\dfrac{1}{\sqrt{C_1}}\arctan\dfrac{y}{\sqrt{C_1}}=x+C_2$
- $C_1=0$:$-\dfrac{1}{y}=x+C_2$,即 $y=-\dfrac{1}{x+C_2}$
- $C_1<0$:$\dfrac{1}{2\sqrt{|C_1|}}\ln\left|\dfrac{y-\sqrt{|C_1|}}{y+\sqrt{|C_1|}}\right|=x+C_2$
$p=0$ 的情况:$y'=0$ → $y=$ 常数,代入原方程 $0=2y\cdot0$,恒成立。即 $y=c$ 也是解。
视 $C_1$ 的符号分三种情况(见上),另含常数解 $y=c$。
同类题延伸:不显含 $x$ 的方程用 $y''=p\dfrac{\mathrm dp}{\mathrm dy}$ 降阶。分离 $p$ 时别忘了 $p=0$ 的情况($y'=0$ 即 $y=$ 常数解)。$\int\dfrac{\mathrm dy}{y^2+C_1}$ 根据 $C_1$ 的符号有三种形式——$\arctan$、$-1/y$、$\mathrm{artanh}$,要分情况讨论。
题型 E
二阶常系数线性方程
核心框架
- 齐次 $y''+py'+qy=0$:特征方程 $r^2+pr+q=0$
- 两不等实根 $r_1,r_2$:$y=C_1e^{r_1x}+C_2e^{r_2x}$
- 重根 $r$:$y=(C_1+C_2x)e^{rx}$
- 共轭复根 $\alpha\pm\beta i$:$y=e^{\alpha x}(C_1\cos\beta x+C_2\sin\beta x)$
- 非齐次 $y''+py'+qy=f(x)$:通解 = 齐次通解 + 非齐次特解
- 特解设法(待定系数法):
- $f(x)=P_n(x)e^{\alpha x}$:设 $y_p=x^kQ_n(x)e^{\alpha x}$,$k=$ $\alpha$ 作为特征根的重数($0,1,2$)
- $f(x)=e^{\alpha x}[P\cos\beta x+Q\sin\beta x]$:设 $y_p=x^ke^{\alpha x}[A\cos\beta x+B\sin\beta x]$,$k=$ $\alpha+\beta i$ 作为特征根的重数
解题思路
- 先解特征方程 $r^2+pr+q=0$
- 写齐次通解
- 看 $f(x)$ 的形式,设特解(关键是判断 $k$:$\alpha$ 是不是特征根?几重?)
- 代入原方程确定系数
特解设法中 $k$ 的取值是最大坑:$\alpha$ 不是特征根 $k=0$,是单根 $k=1$,是重根 $k=2$。漏乘 $x^k$ 会导致代入后系数矛盾。非齐次通解 = 齐次通解 + 一个特解,不要漏掉齐次部分。
例 5.9、5.10、5.11、5.12、5.13、5.14
设 $y_1,y_2,y_3$ 为 $y''+py'+qy=f(x)$ 的三个线性无关解,求该方程的通解。
解
理论基础:非齐次方程的通解 = 齐次通解 + 非齐次的一个特解。
$y_2-y_1$ 和 $y_3-y_1$ 满足齐次方程(非齐次解之差满足对应齐次方程),且线性无关。
$y_1$ 是非齐次方程的一个特解。
通解 $y=C_1(y_2-y_1)+C_2(y_3-y_1)+y_1$。
同类题延伸:这是结构性理解题。核心定理:(1) 非齐次方程的两个解之差是齐次方程的解;(2) 齐次方程的两个线性无关解构成基础解系;(3) 任意一个非齐次解 + 齐次通解 = 非齐次通解。二阶方程的基础解系恰好含两个解。
求 $y''+4y'-5y=xe^x$ 的通解。
解
第一步:特征方程
$r^2+4r-5=0$ → $(r-1)(r+5)=0$ → $r=1,-5$。
齐次通解:$Y=C_1e^x+C_2e^{-5x}$。
第二步:设特解
$f(x)=xe^x$:$P_1(x)=x$(一次多项式),$\alpha=1$。
$\alpha=1$ 是特征方程的单根($k=1$),故设:
$$y_p=x(Ax+B)e^x.$$
第三步:代入确定系数
$y_p=(Ax^2+Bx)e^x$,$y_p'=(2Ax+B)e^x+(Ax^2+Bx)e^x=(Ax^2+(2A+B)x+B)e^x$。
$y_p''=(2Ax+2A+B)e^x+(Ax^2+(2A+B)x+B)e^x=(Ax^2+(4A+B)x+(2A+2B))e^x$。
代入 $y''+4y'-5y=xe^x$:
左边 $=e^x[Ax^2+(4A+B)x+(2A+2B)+4Ax^2+4(2A+B)x+4B-5Ax^2-5Bx]$
$=e^x[(A+4A-5A)x^2+(4A+B+8A+4B-5B)x+(2A+2B+4B)]$
$=e^x[12Ax+(2A+6B)]$。
对比 $xe^x$:$12A=1$ → $A=\dfrac{1}{12}$;$2A+6B=0$ → $B=-\dfrac{1}{36}$。
$$y_p=\left(\frac{x^2}{12}-\frac{x}{36}\right)e^x=\frac{3x^2-x}{36}e^x.$$
$y=C_1e^x+C_2e^{-5x}+\dfrac{3x^2-x}{36}e^x$。
同类题延伸:$f(x)=P_n(x)e^{\alpha x}$ 型特解设法——关键判断 $\alpha$ 是几重特征根。$\alpha$ 不是根 $k=0$(设 $Q_n e^{\alpha x}$);单根 $k=1$(设 $xQ_n e^{\alpha x}$);重根 $k=2$(设 $x^2Q_n e^{\alpha x}$)。$Q_n$ 和 $P_n$ 同次。
求 $y''+4y'-4y=(2x-1)e^{2x}$ 的通解。
解
特征方程:$r^2+4r-4=0$ → $r=\dfrac{-4\pm\sqrt{32}}{2}=-2\pm2\sqrt2$。
齐次通解:$Y=C_1e^{(-2+2\sqrt2)x}+C_2e^{(-2-2\sqrt2)x}$。
设特解:$f(x)=(2x-1)e^{2x}$,$\alpha=2$。$r=2$ 不是特征根($r=-2\pm2\sqrt2\ne2$),故 $k=0$。
$$y_p=(Ax+B)e^{2x}.$$
代入:$y_p'=2(Ax+B)e^{2x}+Ae^{2x}=(2Ax+A+2B)e^{2x}$。
$y_p''=2Ae^{2x}+2(2Ax+A+2B)e^{2x}=(4Ax+4A+4B)e^{2x}$。
左边 $=e^{2x}[(4Ax+4A+4B)+4(2Ax+A+2B)-4(Ax+B)]$
$=e^{2x}[(4A+8A-4A)x+(4A+4B+4A+8B-4B)]$
$=e^{2x}[8Ax+(8A+8B)]$。
对比 $(2x-1)e^{2x}$:$8A=2$ → $A=\dfrac{1}{4}$;$8A+8B=-1$ → $2+8B=-1$ → $B=-\dfrac{3}{8}$。
$y=C_1e^{(-2+2\sqrt2)x}+C_2e^{(-2-2\sqrt2)x}+\dfrac{2x-3}{8}e^{2x}$。
同类题延伸:本题 $\alpha=2$ 不是特征根,所以 $k=0$,比上题简单——不用多乘 $x$。对比 5.10($\alpha=1$ 是单根,$k=1$)就能感受到 $k$ 取值对计算量的影响。代入确定系数是机械活,耐心展开就好。
特解形式写出下列方程的特解形式:
(1)$y''+3y'-4y=xe^x\cos 2x$;
(2)$y''-2y'+4y=xe^x\cos(\sqrt3\, x)$。
解
(1) 特征方程 $r^2+3r-4=0$ → $r=1,-4$。
$f(x)=xe^x\cos2x$:$\alpha+\beta i=1+2i$。
$1+2i$ 不是特征根(特征根是实数 $1$ 和 $-4$),故 $k=0$。
$P(x)=x$ 是一次多项式,特解设为:
$$y_p=e^x\bigl[(Ax+B)\cos2x+(Cx+D)\sin2x\bigr].$$
(2) 特征方程 $r^2-2r+4=0$ → $r=1\pm\sqrt3\,i$。
$f(x)=xe^x\cos(\sqrt3\,x)$:$\alpha+\beta i=1+\sqrt3\,i$。
$1+\sqrt3\,i$ 是特征根(单根),$k=1$。
$$y_p=xe^x\bigl[(Ax+B)\cos(\sqrt3\,x)+(Cx+D)\sin(\sqrt3\,x)\bigr].$$
(1) $y_p=e^x[(Ax+B)\cos2x+(Cx+D)\sin2x]$;(2) $y_p=xe^x[(Ax+B)\cos\sqrt3x+(Cx+D)\sin\sqrt3x]$。
同类题延伸:$f(x)=e^{\alpha x}[P\cos\beta x+Q\sin\beta x]$ 型特解设法:(1) 看 $\alpha+\beta i$ 是不是特征根;(2) 不是 $k=0$,是单根 $k=1$;(3) $\cos$ 和 $\sin$ 都要设,系数分别用 $A,B,...$(即使 $P$ 或 $Q$ 为零也要两个都设)。
求 $y''-3y'+2y=6e^x+x^2$ 的特解形式(并给出特解)。
解
特征方程:$r^2-3r+2=0$ → $r=1,2$。
叠加原理:$f=f_1+f_2=6e^x+x^2$,分别求特解再相加。
对 $f_1=6e^x$:$\alpha=1$ 是特征方程的单根($k=1$)。
$y_{p1}=Axe^x$。$y_{p1}'=A(x+1)e^x$,$y_{p1}''=A(x+2)e^x$。
代入:$A(x+2)e^x-3A(x+1)e^x+2Axe^x=6e^x$。
$A[(x+2)-3(x+1)+2x]e^x=A\cdot(-1)\cdot e^x=6e^x$ → $A=-6$。$y_{p1}=-6xe^x$。
对 $f_2=x^2$:$\alpha=0$ 不是特征根($k=0$)。
$y_{p2}=Bx^2+Cx+D$。$y_{p2}'=2Bx+C$,$y_{p2}''=2B$。
代入:$2B-3(2Bx+C)+2(Bx^2+Cx+D)=x^2$。
$2Bx^2+(-6B+2C)x+(2B-3C+2D)=x^2$。
对比:$2B=1$ → $B=\dfrac{1}{2}$;$-6B+2C=0$ → $C=\dfrac{3}{2}$;$2B-3C+2D=0$ → $1-\dfrac{9}{2}+2D=0$ → $D=\dfrac{7}{4}$。
$y=C_1e^x+C_2e^{2x}-6xe^x+\dfrac{x^2}{2}+\dfrac{3x}{2}+\dfrac{7}{4}$。
同类题延伸:$f(x)=f_1(x)+f_2(x)$ 时用叠加原理——分别对 $f_1,f_2$ 设特解,最后相加。这是处理多项式+指数型混合右端的标准方法。注意每个特解的 $k$ 要分别判断。
已知 $r=1+2i$ 为二阶常系数齐次方程 $y''+py'+qy=0$ 的特征根,求 $p,q$ 的值。
解
实系数方程的复根成对出现:$r_{1,2}=1\pm2i$。
由 Vieta 定理(特征方程 $r^2+pr+q=0$):
- $r_1+r_2=(1+2i)+(1-2i)=2=-p$ → $p=-2$
- $r_1r_2=(1+2i)(1-2i)=1+4=5=q$
$p=-2,\ q=5$。
同类题延伸:「已知特征根求方程」是反向题——用 Vieta 定理。实系数方程的复根必成对($a\pm bi$),所以给一个复根就等于给了两个。对应齐次通解为 $y=e^{ax}(C_1\cos bx+C_2\sin bx)$。