8.3 全微分与可微性 📖 笔记p7-8

8.3.1 全微分的定义

全微分与可微
可微的定义

若全增量可以表示为:

$$\Delta z = f(x_0+\Delta x, y_0+\Delta y) - f(x_0, y_0) = A\Delta x + B\Delta y + o(\rho)$$

其中 $\rho = \sqrt{(\Delta x)^2+(\Delta y)^2}$,则 $f$ 在 $(x_0,y_0)$ 可微,且 $A=f_x$,$B=f_y$。

$$\dd z = f_x\,\dd x + f_y\,\dd y$$

8.3.2 可微的判定

判定方法(三步走)
  1. 必要条件:可微 $\Rightarrow$ 偏导存在(但不一定连续!)。先验证偏导是否存在。
  2. 充分条件:偏导数连续 $\Rightarrow$ 可微。(最常用!)
  3. 定义法:验证 $\displaystyle\lim_{\rho\to 0}\frac{\Delta z - f_x\Delta x - f_y\Delta y}{\rho} = 0$
笔记p7 可微定义的等价形式

$f$ 在 $(x_0,y_0)$ 可微 $\Leftrightarrow$

$$\Delta z = f(x_0+\Delta x,\,y_0+\Delta y) - f(x_0,y_0) = A\,\Delta x + B\,\Delta y + o(\rho), \quad \rho\to 0$$

其中 $A=f_x(x_0,y_0)$,$B=f_y(x_0,y_0)$,$\rho=\sqrt{(\Delta x)^2+(\Delta y)^2}$。

等价写法:$\displaystyle\lim_{(\Delta x,\Delta y)\to(0,0)}\frac{\Delta z - A\,\Delta x - B\,\Delta y}{\sqrt{(\Delta x)^2+(\Delta y)^2}} = 0$

令 $\Delta x = r\cos\theta,\,\Delta y=r\sin\theta$(极坐标),验证当 $r\to 0^+$ 时该极限与 $\theta$ 无关且为 $0$

笔记p7-8 可微的充要关系汇总

8.3.3 ⭐ 连续、可偏导、可微、偏导连续的关系(核心!)

四者关系图

$$\boxed{\text{偏导数连续}} \;\xRightarrow{\text{充分}}\; \boxed{\text{可微}} \;\xRightarrow{\text{必要}}\; \begin{cases} \boxed{\text{连续}} \\ \boxed{\text{可偏导}} \\ \boxed{\text{所有方向导数存在}} \end{cases}$$

以上所有箭头反向均不成立!连续与可偏导之间互推不成立!

四性关系图
连续/可偏导/可微/偏导连续关系图(生成配图)
判断四性的决策树(笔记p7-8 核心流程)

① 先判断「偏导存在」(定义法)

$f_x(0,0)=\lim_{h\to 0}\dfrac{f(h,0)-f(0,0)}{h}$,$\quad f_y(0,0)=\lim_{k\to 0}\dfrac{f(0,k)-f(0,0)}{k}$

若极限不存在 → 不可偏导不可微(必要条件不满足)

② 判断「连续」(二重极限)

$\lim_{(x,y)\to(0,0)} f(x,y) \stackrel{?}{=} f(0,0)$(用极坐标或路径法)

若不等或极限不存在 → 不连续(可偏导$\not\Rightarrow$连续,见反例)

③ 判断「可微」(极限定义)

$\displaystyle L = \lim_{\rho\to 0}\frac{\Delta z - f_x(0,0)\Delta x - f_y(0,0)\Delta y}{\rho}$,其中 $\rho=\sqrt{(\Delta x)^2+(\Delta y)^2}$

令 $\Delta x = r\cos\theta,\, \Delta y = r\sin\theta$,若结果含 $\theta$ 或极限 $\neq 0$不可微

若 $L=0$ → 可微

④ 判断「偏导连续」

用公式求非分界点处的 $f_x(x,y)$($\neq(0,0)$),再算 $\lim_{(x,y)\to(0,0)}f_x(x,y)$

若极限 $\neq f_x(0,0)$(或振荡) → 偏导不连续

【讲义重点提示】判断可微性时,极坐标代换是最强工具:令 $\Delta x = r\cos\theta, \Delta y = r\sin\theta$,若 $\frac{\Delta z - f_x\Delta x - f_y\Delta y}{r}$ 的结果含 $\theta$ → 不可微;不含 $\theta$ 且趋于 0 → 可微。
反例详解(笔记p8):$f(x,y)=\dfrac{x^2y}{x^4+y^2}$($(x,y)\neq(0,0)$),$f(0,0)=0$

① 偏导存在:$f_x(0,0)=\lim_{h\to 0}\frac{f(h,0)}{h}=\lim_{h\to 0}\frac{0}{h}=0$;同理 $f_y(0,0)=0$。

② 不连续:沿曲线 $y=x^2$ 趋向原点:$f(x,x^2)=\dfrac{x^2\cdot x^2}{x^4+x^4}=\dfrac{1}{2}\neq 0$。极限不唯一 → 不连续

③ 所有方向导数存在(但值不全为零!):沿方向 $(\cos\theta,\sin\theta)$:

$$\frac{\pp f}{\pp\boldsymbol{l}}\bigg|_{(0,0)} = \lim_{t\to 0^+}\frac{f(t\cos\theta,t\sin\theta)}{t} = \lim_{t\to 0^+}\frac{t\cos^2\theta\sin\theta}{t^2\cos^4\theta+\sin^2\theta}\cdot\frac{1}{t}= \lim_{t\to 0^+}\frac{\cos^2\theta\sin\theta}{t^2\cos^4\theta+\sin^2\theta}$$

当 $\sin\theta\neq 0$ 时 $= \dfrac{\cos^2\theta}{\sin\theta}$(不为零!);当 $\sin\theta=0$ 时(沿 $x$ 轴)$= 0$。

所有方向导数都存在,但值依赖方向(不全为零)。同时函数不连续(沿 $y=x^2$ 趋向 $\frac{1}{2}\neq 0$)。

结论:所有方向导数存在 $\not\Rightarrow$ 连续;所有方向导数存在 $\not\Rightarrow$ 可微。这个反例说明即使每个直线方向上极限行为良好,曲线方向仍可能出问题。

六组反例辨析(考试必背)
命题真假反例
偏导存在 → 连续$\frac{x^2y}{x^4+y^2}$:$f_x(0,0)=f_y(0,0)=0$ 但沿 $y=x^2$ 极限为 $\frac{1}{2}\neq 0$
连续 → 可偏导$\sqrt{x^2+y^2}$:连续但 $f_x(0,0)$ 左右极限不等
连续+可偏导 → 可微$\frac{xy}{\sqrt{x^2+y^2}}$:连续、可偏导,但 $\frac{\Delta z}{\rho}$ 依赖 $\theta$
可微 → 偏导连续$(x^2+y^2)\sin\frac{1}{x^2+y^2}$:可微但偏导函数振荡
所有方向导数存在 → 可微$\frac{x^2y}{x^4+y^2}$:所有方向导数存在(值 $\frac{\cos^2\theta}{\sin\theta}$)但不连续
所有方向导数存在 → 连续同上
二级结论(快速判断)
笔记核心例题:$f(x,y) = \begin{cases}\dfrac{xy}{\sqrt{x^2+y^2}}, &(x,y)\neq(0,0)\\ 0, &(x,y)=(0,0)\end{cases}$

① 连续 ✓:$|f| \leq \frac{\sqrt{x^2+y^2}}{2} \to 0 = f(0,0)$

② 可偏导 ✓:$f_x(0,0) = \lim_{h\to 0}\frac{f(h,0)}{h} = 0$,同理 $f_y(0,0)=0$

③ 可微 ✗:$\frac{\Delta z - 0\cdot\Delta x - 0\cdot\Delta y}{\rho} = \frac{\Delta x\cdot\Delta y}{\rho^2} = \cos\theta\sin\theta$,依赖 $\theta$,极限不存在

④ 偏导连续 ✗:非原点处 $f_x = \frac{y^3}{(x^2+y^2)^{3/2}}$,沿 $y=x$ 趋向 $\frac{1}{2\sqrt{2}} \neq 0$

笔记p8 例题(可微但偏导不连续):$f(x,y) = (x^2+y^2)\sin\dfrac{1}{x^2+y^2}$($(x,y)\neq(0,0)$),$f(0,0)=0$

① 连续 ✓:$|f|=|(x^2+y^2)\sin\frac{1}{x^2+y^2}|\leq x^2+y^2 \to 0 = f(0,0)$。

② 可偏导 ✓(用定义): $$f_x(0,0) = \lim_{h\to 0}\frac{h^2\sin\frac{1}{h^2} - 0}{h} = \lim_{h\to 0}h\sin\frac{1}{h^2} = 0$$ (夹逼:$|h\sin\frac{1}{h^2}|\leq |h|\to 0$)同理 $f_y(0,0)=0$。

③ 可微 ✓:验证可微条件 $$\frac{\Delta z - 0\cdot\Delta x - 0\cdot\Delta y}{\rho} = \frac{((\Delta x)^2+(\Delta y)^2)\sin\frac{1}{(\Delta x)^2+(\Delta y)^2}}{\rho} = \rho\sin\frac{1}{\rho^2}$$ 由于 $|\rho\sin\frac{1}{\rho^2}|\leq \rho\to 0$,极限为 $0$ → 可微 ✓,$\dd f\big|_{(0,0)}=0$。

④ 偏导连续 ✗:$(x,y)\neq(0,0)$ 时 $$f_x(x,y) = 2x\sin\frac{1}{x^2+y^2} - \frac{2x}{x^2+y^2}\cos\frac{1}{x^2+y^2}$$ 当 $(x,y)\to(0,0)$ 时:第一项 $2x\sin(\cdots)\to 0$;第二项 $\frac{2x}{x^2+y^2}\cos(\cdots)$ 振荡(无极限)。
故 $\lim_{(x,y)\to(0,0)}f_x(x,y)$ 不存在 $\neq f_x(0,0)=0$ → 偏导不连续 ✗。

结论:可微但偏导不连续 → 说明"可微 $\not\Rightarrow$ 偏导连续"。

笔记p8 综合例题(四性全判断):$f(x,y)=\begin{cases}\dfrac{x^2y}{x^4+y^2}\sin\dfrac{1}{\sqrt{x^2+y^2}}, &(x,y)\neq(0,0)\\ 0, &(x,y)=(0,0)\end{cases}$

① 连续:$\left|\dfrac{x^2y}{x^4+y^2}\right|\leq\dfrac{1}{2}$(AM-GM),$\sin\frac{1}{\sqrt{x^2+y^2}}$ 有界,所以 $|f|\leq\frac{1}{2}$。

取 $y=x^2$:$f(x,x^2)=\dfrac{x^4}{2x^4}\sin\dfrac{1}{\sqrt{x^2+x^4}}=\dfrac{1}{2}\sin\dfrac{1}{|x|\sqrt{1+x^2}}$,当 $x\to 0$ 时振荡 → 极限不存在 → 不连续

② 可偏导:$f_x(0,0)=\lim_{h\to 0}\frac{f(h,0)}{h}=\lim_{h\to 0}\frac{0}{h}=0$ ✓;同理 $f_y(0,0)=0$ ✓。

③ 不可微(因为不连续,而可微必然连续)。

④ 偏导不连续(不连续则偏导必不连续)。

此例说明:可偏导(偏导=0)$+$ 不连续 $\Rightarrow$ 不可微,且偏导不连续。是"可偏导 $\not\Rightarrow$ 连续"的强化版。

考试必备总结:对分段函数在分界点(通常是原点),判断顺序为:
① 用定义算 $f_x(0,0), f_y(0,0)$ → ② 检验极限是否 $= f(0,0)$(连续?)→ ③ 算 $\frac{\Delta z - f_x\Delta x - f_y\Delta y}{\rho}$(可微?)→ ④ 非原点公式求 $f_x$,取极限比较(偏导连续?)
解题方法总结

判断四性(连续/可偏导/可微/偏导连续)的标准流程:

  1. 先算 $f_x(0,0), f_y(0,0)$(用定义法!
  2. 检验连续性:算二重极限是否等于 $f(0,0)$
  3. 检验可微性:算 $\displaystyle\lim_{\rho\to 0}\frac{\Delta z - f_x\Delta x - f_y\Delta y}{\rho}$ 是否为 0
  4. 检验偏导连续:非原点处公式求 $f_x$,看 $\displaystyle\lim_{(x,y)\to(0,0)} f_x(x,y)$ 是否等于 $f_x(0,0)$

📝 历年真题精选:连续/可偏导/可微/偏导连续

【2023-2024 选择4】 设 $f(x,y)$ 在 $(0,0)$ 处 (i) 可偏导 (ii) 可微 (iii) 偏导连续,$g(t)=f(t,t)$。下列哪些能保证 $g'(0)$ 存在?
点击查看解析

$g'(0)=\lim_{t\to 0}\frac{f(t,t)-f(0,0)}{t}$。

(i) 可偏导:只知道沿 $x$ 轴和 $y$ 轴方向的导数,$g'(0)$ 涉及沿 $(1,1)$ 方向 → 不能保证

(ii) 可微:$f(t,t)-f(0,0)\approx f_x\cdot t+f_y\cdot t+o(|t|\sqrt{2})$,$g'(0)=f_x+f_y$ → 能保证

(iii) 偏导连续:偏导连续 $\Rightarrow$ 可微 → 能保证

所以 (ii) 和 (iii) 正确,共2个。答案:C

核心原理:可微 $\Rightarrow$ 所有方向的方向导数都存在且可用公式算。可偏导只保证两个坐标方向。

【2022-2023 选择3】 关于连续、可偏导、可微、偏导连续之间的关系,下列四个命题中正确的个数为?
点击查看解析

四个命题逐一判断:

  • (1) "偏导存在 $\Rightarrow$ 连续" → ✗(经典反例 $\frac{x^2y}{x^4+y^2}$:偏导存在但沿 $y=x^2$ 极限为 $\frac{1}{2}\neq 0$,不连续)
  • (2) "可微 $\Rightarrow$ 连续" → ✓(可微的必要条件)
  • (3) "连续 $\Rightarrow$ 可微" → ✗($\sqrt{x^2+y^2}$ 连续但在原点不可微)
  • (4) "偏导连续 $\Rightarrow$ 可微" → ✓(可微的充分条件)

正确命题为 (2) 和 (4),共 2 个。

答案:C(2个正确)

【2020-2021 选择5】 (1) $f=\sqrt{|xy|}$,$f_x(0,0)=f_y(0,0)=0$,从而全微分为零?(2) 若 $f$ 在 $(0,0)$ 邻域连续且 $\lim\frac{f(x,y)}{x^2+y^2}=1$,则 $f$ 在原点可微?
点击查看解析

(1) 错:虽然 $f_x(0,0)=f_y(0,0)=0$,但需验证可微性。

$\frac{\sqrt{|xy|}-0\cdot x-0\cdot y}{\sqrt{x^2+y^2}}=\frac{\sqrt{|xy|}}{\sqrt{x^2+y^2}}$,取 $y=x$:$=\frac{|x|}{\sqrt{2}|x|}=\frac{1}{\sqrt{2}}\neq 0$。不可微,全微分不存在!

(2) 对:由连续性知 $f(0,0)=\lim f=\lim\frac{f}{x^2+y^2}\cdot(x^2+y^2)=1\cdot 0=0$。又 $f_x(0,0)=f_y(0,0)=0$(可验证)。

验证可微:$\frac{|f-0\cdot x-0\cdot y|}{\sqrt{x^2+y^2}}=\frac{|f|}{r}=\frac{f}{r^2}\cdot r\to 1\cdot 0=0$。✓ 可微

答案:B((1)错(2)对)

关键区别:(1)中 $f=\sqrt{|xy|}\sim r\sqrt{|\sin 2\theta|/2}$ 是 $r$ 的一阶量但系数含 $\theta$,不可微;(2)中 $f\sim r^2$ 是二阶量,$\frac{f}{r}\to 0$,可微。

【2020-2021 选择1】 $f(x,y)=\begin{cases}\dfrac{xy\sin\dfrac{1}{\sqrt{x^2+y^2}}}{x^2+y^2},&(x,y)\neq(0,0)\\0,&(x,y)=(0,0)\end{cases}$ 在原点,下列说法正确的是?
点击查看解析
解题思路

对原点处的分段函数,逐一验证连续性、可偏导性、可微性,形成完整判断。

① 连续性

判断 $\displaystyle\lim_{(x,y)\to(0,0)} f(x,y)$ 是否等于 $f(0,0)=0$。

分析:$\left|\dfrac{xy}{x^2+y^2}\right|\leq\dfrac{1}{2}$(AM-GM:$x^2+y^2\geq 2|xy|$),故该因子有界。

取路径 $y=x>0$($x\to 0^+$):

$$f(x,x)=\frac{x^2\sin\frac{1}{\sqrt{2}|x|}}{2x^2}=\frac{1}{2}\sin\frac{1}{\sqrt{2}\,x}$$

当 $x\to 0^+$ 时,$\dfrac{1}{\sqrt{2}\,x}\to+\infty$,$\sin\dfrac{1}{\sqrt{2}\,x}$ 在 $[-1,1]$ 之间振荡,极限不存在。

故 $\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)$ 不存在,$f$ 在原点不连续 ✗。

② 可偏导性(用定义法)

$$f_x(0,0)=\lim_{h\to 0}\frac{f(h,0)-f(0,0)}{h}=\lim_{h\to 0}\frac{\dfrac{h\cdot 0\cdot\sin\frac{1}{|h|}}{h^2}-0}{h}=\lim_{h\to 0}\frac{0}{h}=0$$

同理(在 $f(0,k)$ 中分子为 $0\cdot k\cdot\sin(\cdots)=0$):$f_y(0,0)=0$。

$\therefore$ $f$ 在原点可偏导,且 $f_x(0,0)=f_y(0,0)=0$ ✓。

③ 可微性

可微的必要条件之一:可微 $\Rightarrow$ 连续。已知 $f$ 在原点不连续,故 $f$ 在原点不可微 ✗。

结论:$f$ 在原点可偏导但不连续(从而不可微)。

答案:正确选项为"$f$ 在原点可偏导但不连续"(即"可偏导 $\not\Rightarrow$ 连续"的实例)。

深层原因:$\dfrac{xy}{x^2+y^2}$ 的振荡来自 $\sin\frac{1}{\sqrt{x^2+y^2}}$,它在原点的邻域内无限振荡;但偏导定义只考察沿坐标轴方向(此时分子为 $0$),完全"看不见"振荡,故偏导存在。

【2023-2024 填空6】 $u=x^3+y^3+z^3-3xyz$,求 $\dd u\big|_{(1,1,1)}$。
点击查看解析

$u_x=3x^2-3yz$,$u_y=3y^2-3xz$,$u_z=3z^2-3xy$。

在 $(1,1,1)$:$u_x=3(1)^2-3(1)(1)=3-3=0$,同理 $u_y=0$,$u_z=0$。

$\dd u\big|_{(1,1,1)}=0\cdot\dd x+0\cdot\dd y+0\cdot\dd z=0$。

答案:$\dd u\big|_{(1,1,1)}=0$

注意:此函数 $u=x^3+y^3+z^3-3xyz=(x+y+z)(x^2+y^2+z^2-xy-yz-xz)$,在 $x=y=z$ 的点上三个偏导数自然为零,全微分为零是完全正确的结果。

【2020-2021 填空7】 $z=\ln\sqrt{x^2+y^2}$,求 $\dd z\big|_{(1,1)}$。
点击查看解析

$z=\frac{1}{2}\ln(x^2+y^2)$。

$z_x=\frac{x}{x^2+y^2}\big|_{(1,1)}=\frac{1}{2}$,$z_y=\frac{y}{x^2+y^2}\big|_{(1,1)}=\frac{1}{2}$。

答案:$\dd z\big|_{(1,1)}=\frac{1}{2}(\dd x+\dd y)$。

课后补充练习

【课后补充1】(四性全判断 — 标准解答题) 设 $f(x,y)=\begin{cases}\dfrac{x^2y^2}{\sqrt{x^2+y^2}}, &(x,y)\neq(0,0)\\0, &(x,y)=(0,0)\end{cases}$,判断 $f$ 在原点处的连续性、可偏导性、可微性和偏导数的连续性。
点击查看解答
解题思路

按标准四步流程:先偏导 → 连续 → 可微 → 偏导连续。

① 偏导性(定义法)

$$f_x(0,0)=\lim_{h\to 0}\frac{f(h,0)-0}{h}=\lim_{h\to 0}\frac{\dfrac{h^2\cdot 0}{\sqrt{h^2+0}}-0}{h}=\lim_{h\to 0}\frac{0}{h}=0$$

同理 $f_y(0,0)=0$。故 $f$ 在原点可偏导 ✓,$f_x(0,0)=f_y(0,0)=0$。

② 连续性

放缩:$|xy|\leq\dfrac{x^2+y^2}{2}$,故 $x^2y^2\leq\dfrac{(x^2+y^2)^2}{4}$,从而:

$$\left|\frac{x^2y^2}{\sqrt{x^2+y^2}}\right|\leq\frac{(x^2+y^2)^2/4}{\sqrt{x^2+y^2}}=\frac{(x^2+y^2)^{3/2}}{4}=\frac{r^3}{4}\to 0$$

$\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)=0=f(0,0)$,故 $f$ 在原点连续 ✓。

③ 可微性(定义法验证)

需判断:$\displaystyle L=\lim_{\rho\to 0}\frac{\Delta z - f_x\cdot\Delta x - f_y\cdot\Delta y}{\rho}=\lim_{\rho\to 0}\frac{f(\Delta x,\Delta y)}{\rho}$(因 $f_x=f_y=0$)

令 $\Delta x=r\cos\theta$,$\Delta y=r\sin\theta$,$\rho=r$:

$$\frac{f(r\cos\theta,r\sin\theta)}{r}=\frac{\dfrac{r^2\cos^2\theta\cdot r^2\sin^2\theta}{r}}{r}=\frac{r^3\cos^2\theta\sin^2\theta}{r\cdot r}=r\cos^2\theta\sin^2\theta$$

由于 $|r\cos^2\theta\sin^2\theta|\leq r\to 0$(与 $\theta$ 无关地趋于 $0$),故 $L=0$。

$\therefore$ $f$ 在原点可微 ✓,$\dd f\big|_{(0,0)}=0$。

④ 偏导连续性

当 $(x,y)\neq(0,0)$ 时,用公式求 $f_x$:

$$f_x=\frac{2xy^2\sqrt{x^2+y^2}-x^2y^2\cdot\dfrac{x}{\sqrt{x^2+y^2}}}{x^2+y^2}=\frac{2xy^2(x^2+y^2)-x^3y^2}{(x^2+y^2)^{3/2}}=\frac{xy^2(x^2+2y^2)}{(x^2+y^2)^{3/2}}$$

判断 $\displaystyle\lim_{(x,y)\to(0,0)}f_x(x,y)$:令 $r=\sqrt{x^2+y^2}\to 0$,

$$|f_x|\leq\frac{|x|y^2\cdot(x^2+2y^2)}{(x^2+y^2)^{3/2}}\leq\frac{r\cdot r^2\cdot 3r^2}{r^3}=3r^2\to 0$$

(用 $|x|\leq r$,$y^2\leq r^2$,$x^2+2y^2\leq 3r^2$,$(x^2+y^2)^{3/2}=r^3$)

故 $\displaystyle\lim_{(x,y)\to(0,0)}f_x(x,y)=0=f_x(0,0)$,偏导连续 ✓。

汇总:$f$ 在原点四性全满足:连续 ✓,可偏导 ✓,可微 ✓,偏导连续 ✓。

本例四性全满足,是"行为良好"的分段函数典范。关键在于分子 $x^2y^2$ 为 4 次,分母 $\sqrt{x^2+y^2}=r$ 仅 1 次,净阶数 $4-1=3>1$,保证比 $r$ 高阶,从而可微。

【课后补充2】(可微但偏导不连续 — 理解充要条件) 设 $f(x,y)=\begin{cases}(x^2+y^2)^{3/2}\sin\dfrac{1}{x^2+y^2}, &(x,y)\neq(0,0)\\0, &(x,y)=(0,0)\end{cases}$。(1) 证明 $f$ 在原点可微;(2) 证明 $f_x$ 在原点不连续。
点击查看解答
解题思路

本题展示"可微 $\not\Rightarrow$ 偏导连续",类似课本笔记中 $(x^2+y^2)\sin\frac{1}{x^2+y^2}$ 的例子,但次数更高。

(1) 证明可微

先求偏导(定义法):令 $r=|h|$,

$$f_x(0,0)=\lim_{h\to 0}\frac{|h|^3\sin\frac{1}{h^2}-0}{h}=\lim_{h\to 0}h^2\sin\frac{1}{h^2}=0$$

(夹逼:$|h^2\sin\frac{1}{h^2}|\leq h^2\to 0$),同理 $f_y(0,0)=0$。

验证可微:令 $\Delta x=r\cos\theta$,$\Delta y=r\sin\theta$,

$$\frac{f(r\cos\theta,r\sin\theta)-0-0}{r}=\frac{r^3\sin\frac{1}{r^2}}{r}=r^2\sin\frac{1}{r^2}$$

由夹逼:$|r^2\sin\frac{1}{r^2}|\leq r^2\to 0$,与 $\theta$ 无关,故极限为 $0$。

$\therefore$ $f$ 在原点可微 ✓。

(2) 证明偏导不连续

当 $(x,y)\neq(0,0)$ 时,

$$f_x=\frac{\pp}{\pp x}\!\left[(x^2+y^2)^{3/2}\sin\frac{1}{x^2+y^2}\right]$$ $$=3x\sqrt{x^2+y^2}\sin\frac{1}{x^2+y^2}+(x^2+y^2)^{3/2}\cos\frac{1}{x^2+y^2}\cdot\left(-\frac{2x}{(x^2+y^2)^2}\right)$$ $$=3x\sqrt{x^2+y^2}\sin\frac{1}{x^2+y^2}-\frac{2x}{\sqrt{x^2+y^2}}\cos\frac{1}{x^2+y^2}$$

当 $(x,y)\to(0,0)$ 时,第一项 $|3x\sqrt{x^2+y^2}\sin(\cdots)|\leq 3r^2\to 0$;第二项 $\left|\dfrac{2x}{\sqrt{x^2+y^2}}\cos\frac{1}{x^2+y^2}\right|\leq 2|\cos\frac{1}{r^2}|$,当 $r\to 0$ 时 $\cos\frac{1}{r^2}$ 在 $[-1,1]$ 振荡,极限不存在。

故 $\displaystyle\lim_{(x,y)\to(0,0)}f_x(x,y)$ 不存在,$f_x$ 在原点不连续 ✗。

结论:可微 $\not\Rightarrow$ 偏导连续。可微只要求"线性逼近误差比 $\rho$ 高阶",并不要求偏导本身连续。振荡型函数 $\sin\frac{1}{r^2}$ 在足够高次时可被抵消(可微),但低阶导数的振荡项会暴露(偏导不连续)。

【课后补充3】(全微分计算 + 近似误差估计) 设 $z=x^y$($x>0$),求 $\dd z$,并估计当 $x$ 从 $1$ 变为 $1.02$、$y$ 从 $2$ 变为 $1.97$ 时 $z$ 的近似改变量。
点击查看解答
解题思路

全微分 $\dd z = z_x\dd x + z_y\dd y$;用全微分近似 $\Delta z\approx\dd z$。

Step 1:求偏导数

$z=x^y=e^{y\ln x}$,故

$$z_x=\frac{\pp}{\pp x}e^{y\ln x}=e^{y\ln x}\cdot\frac{y}{x}=yx^{y-1}$$ $$z_y=\frac{\pp}{\pp y}e^{y\ln x}=e^{y\ln x}\cdot\ln x=x^y\ln x$$

Step 2:写出全微分

$$\dd z=yx^{y-1}\dd x+x^y\ln x\,\dd y$$

Step 3:近似计算

取基点 $(x_0,y_0)=(1,2)$:$z_0=1^2=1$。

增量:$\Delta x=1.02-1=0.02$,$\Delta y=1.97-2=-0.03$。

在 $(1,2)$ 处:

$$z_x\big|_{(1,2)}=2\cdot 1^{2-1}=2,\quad z_y\big|_{(1,2)}=1^2\cdot\ln 1=0$$

$$\Delta z\approx\dd z\big|_{(1,2)}=2\times 0.02+0\times(-0.03)=0.04$$

近似值:$z\approx 1+0.04=1.04$。

验证(精确值):$1.02^{1.97}=e^{1.97\ln 1.02}\approx e^{1.97\times 0.0198}\approx e^{0.0390}\approx 1.0398$,与近似值 $1.04$ 吻合。

步骤口诀:写全微分 $\dd z=z_x\dd x+z_y\dd y$;在基点算偏导值;将 $\Delta x,\Delta y$ 代入 $\dd x,\dd y$;算出 $\Delta z\approx\dd z$。

🎯 期中考试题型总结:全微分与可微性

本节是期中必考压轴内容,尤其"四性判断"几乎每年必出解答题或多选题。掌握标准四步流程是拿分关键。

题型1:判断分段函数的"四性"(连续/可偏导/可微/偏导连续)⭐⭐⭐⭐⭐(必考!)

识别特征:函数在原点(或某分界点)分段定义,形如 $f(x,y)=\begin{cases}g(x,y),&(x,y)\neq(0,0)\\0,&(x,y)=(0,0)\end{cases}$,题目要求判断连续性、可偏导性、可微性、偏导数的连续性(四者部分或全部)。

标准步骤(四步走,顺序不变)

  1. Step 1:判断可偏导(用定义法) $$f_x(0,0)=\lim_{h\to 0}\frac{f(h,0)-f(0,0)}{h}, \quad f_y(0,0)=\lim_{k\to 0}\frac{f(0,k)-f(0,0)}{k}$$ 若极限存在(设为 $A$、$B$),则可偏导,$f_x(0,0)=A$,$f_y(0,0)=B$。若极限不存在,则不可偏导,且一定不可微(必要条件失败,后续步骤跳过可微)。
  2. Step 2:判断连续(二重极限) $$\text{计算}\lim_{(x,y)\to(0,0)}f(x,y),\text{看是否}= f(0,0)$$ 优先用路径法探测($y=0$,$y=x$,$y=x^2$ 等)。若不同路径值不同 → 不连续。若所有路径相同 → 用极坐标或放缩法证明极限等于 $f(0,0)$ → 连续。
  3. Step 3:判断可微(极限定义) $$L = \lim_{\rho\to 0}\frac{\Delta z - f_x(0,0)\,\Delta x - f_y(0,0)\,\Delta y}{\rho}, \quad \rho=\sqrt{(\Delta x)^2+(\Delta y)^2}$$ 令 $\Delta x=r\cos\theta$,$\Delta y=r\sin\theta$($\rho=r$),化简后:若 $L=0$(与 $\theta$ 无关地趋于 $0$)→ 可微;若 $L$ 含 $\theta$ 或 $L\neq 0$ → 不可微。
    快捷判断:若 Step 2 已判为不连续,则由"可微 $\Rightarrow$ 连续"直接得到不可微,跳过计算。
  4. Step 4:判断偏导连续
    用公式法求 $(x,y)\neq(0,0)$ 处的 $f_x(x,y)$,再计算 $\displaystyle\lim_{(x,y)\to(0,0)} f_x(x,y)$,判断是否等于 $f_x(0,0)$。若极限不存在或不等于 $f_x(0,0)$ → 偏导不连续。
    快捷判断:若 Step 3 已判为不可微,则由"偏导连续 $\Rightarrow$ 可微",可以断言偏导不连续,跳过计算(注意:反向不成立,可微不一定偏导连续,此快捷仅在"不可微"时使用)。

速解技巧:看到题目要判断四性,立刻在草稿纸写下:

  1. 偏导:$f_x=\lim\frac{f(h,0)}{h}=$?(令 $y=0$,看分子是否为 $0$)
  2. 连续:试 $y=x^2$(配阶路径,最容易暴露不连续)
  3. 可微:令 $\Delta x=r\cos\theta$,$\Delta y=r\sin\theta$,代入 $\frac{\Delta z-A\Delta x-B\Delta y}{r}$,看是否含 $\theta$
  4. 偏导连续:算 $f_x(x,y)$(非原点),看 $\lim_{(x,y)\to 0}f_x$ 是否 $=f_x(0,0)$

易错点

题型2:计算全微分(填空 ⭐⭐)

识别特征:题目直接要求"求 $\dd z$"或"求 $\dd u$ 在某点的值",函数通常是普通初等函数(非分段)。

标准步骤

  1. 求两个偏导数:$f_x$ 和 $f_y$(用公式法,固定另一变量对目标变量求导)。三元函数同理,求 $f_x$、$f_y$、$f_z$。
  2. 写出全微分表达式:$\dd z = f_x\,\dd x + f_y\,\dd y$(或 $\dd u = f_x\dd x+f_y\dd y+f_z\dd z$)。
  3. 若题目要求在某点的值:将该点坐标代入 $f_x$、$f_y$,再写出结果。例如 $\dd z\big|_{(1,1)} = f_x(1,1)\dd x + f_y(1,1)\dd y$。

速解技巧:$z=f(u,v)$ 其中 $u=u(x,y)$、$v=v(x,y)$ 时,可以直接用全微分的链式法则: $$\dd z = f_u\dd u + f_v\dd v = f_u(u_x\dd x+u_y\dd y)+f_v(v_x\dd x+v_y\dd y)$$ 比先展开再求偏导更快,且不易出错。常见如 $z=e^{x^2+y^2}$:$\dd z = e^{x^2+y^2}\cdot\dd(x^2+y^2)=e^{x^2+y^2}(2x\dd x+2y\dd y)$。

易错点:三元函数 $u=f(x,y,z)$ 中,$\dd u$ 有三项,不要漏掉 $f_z\dd z$。注意区分函数值中出现的"$z$"(自变量名)和全微分符号 $\dd z$(微分算子作用于自变量 $z$)——若题目中自变量已命名为 $z$,则 $\dd u=u_x\dd x+u_y\dd y+u_z\dd z$,其中最后的 $\dd z$ 是自变量 $z$ 的微分增量。

题型3:可微性相关命题判断(选择 ⭐⭐⭐)

识别特征:题目给出若干关于连续/可偏导/可微/偏导连续之间逻辑关系的命题(真假),或给出某函数的部分条件,判断能否推出某结论。频繁以"正确命题个数"的形式出现。

标准步骤(熟记六组反例,秒杀选择题)

  1. 写出四者的关系链:$\text{偏导连续} \Rightarrow \text{可微} \Rightarrow \begin{cases}\text{连续}\\\text{可偏导}\end{cases}$,所有箭头反向均不成立,连续与可偏导之间互推不成立。
  2. 对每个命题,查"箭头方向"是否正确:顺箭头(如"偏导连续 $\Rightarrow$ 可微")为真,逆箭头(如"可偏导 $\Rightarrow$ 连续")为假。
  3. 对"特殊组合"命题(如"连续 $+$ 可偏导 $\Rightarrow$ 可微"),查是否有反例:反例为 $\dfrac{xy}{\sqrt{x^2+y^2}}$,故为假。

六组反例速查(必背)

假命题反例函数具体说明
可偏导 $\Rightarrow$ 连续$\dfrac{xy}{x^2+y^2}$$f_x=f_y=0$,但沿 $y=x$ 极限 $=\frac{1}{2}\neq 0$
连续 $\Rightarrow$ 可偏导$\sqrt{x^2+y^2}$连续,但 $f_x(0,0)$ 左右极限 $\pm 1$ 不等
连续+可偏导 $\Rightarrow$ 可微$\dfrac{xy}{\sqrt{x^2+y^2}}$连续、可偏导,但 $\frac{\Delta z}{\rho}=\cos\theta\sin\theta$ 依赖 $\theta$
可微 $\Rightarrow$ 偏导连续$(x^2+y^2)\sin\dfrac{1}{x^2+y^2}$可微($f_x=f_y=0$,$\frac{\Delta z}{\rho}\to 0$),但 $\frac{2x}{x^2+y^2}\cos\frac{1}{x^2+y^2}$ 振荡
方向导数存在 $\Rightarrow$ 可微$\dfrac{x^2y}{x^4+y^2}$所有方向导数存在,但沿 $y=x^2$ 极限 $\frac{1}{2}\neq 0$,不连续故不可微
方向导数存在 $\Rightarrow$ 连续同上所有方向导数存在,但不连续

速解技巧:看到选择题问"正确命题个数",先数顺箭头命题(真命题,通常2个:可微$\Rightarrow$连续,偏导连续$\Rightarrow$可微),再把其余逆箭头命题全判假,最后核查有无特殊组合。

易错点

考前速记:8.3 一页纸总结
四性判断工具典型反例(假命题)
可偏导定义法,$\lim_{h\to 0}\frac{f(h,0)-f(0,0)}{h}$$\sqrt{x^2+y^2}$:连续但不可偏导
连续二重极限 $=f(0,0)$(路径/放缩/极坐标)$\frac{xy}{x^2+y^2}$:可偏导但不连续
可微$\lim_{r\to 0}\frac{\Delta z-f_x\Delta x-f_y\Delta y}{r}=0$(极坐标验证不含$\theta$)$\frac{xy}{\sqrt{x^2+y^2}}$:连续+可偏导但不可微
偏导连续公式法求 $f_x(x,y)$($\neq 0$),取极限比较 $f_x(0,0)$$(x^2+y^2)\sin\frac{1}{x^2+y^2}$:可微但偏导不连续

关系链(背诵):$\underbrace{\text{偏导连续}}_{\text{最强}} \Rightarrow \text{可微} \Rightarrow \underbrace{\text{连续,可偏导}}_{\text{同时成立}} $,所有反向均不成立,连续 $\not\Leftrightarrow$ 可偏导。

计算全微分:初等函数 $\dd z=f_x\dd x+f_y\dd y$,直接公式求偏导;分段函数在分界点先用定义求 $f_x(0,0)$,$f_y(0,0)$,若可微则 $\dd z=f_x(0,0)\dd x+f_y(0,0)\dd y$。

⭐ 强化补充:真题原型 · 必背 · 易错

【★★★ 高频考点原型|四性关系反例(真题考点全解 Ch8 列首条)】 设 $f(x,y)=\begin{cases}\dfrac{xy}{\sqrt{x^2+y^2}},&(x,y)\neq(0,0)\\0,&(x,y)=(0,0)\end{cases}$。判断 $f$ 在原点的:连续性、可偏导性、可微性。
点击查看解析

① 连续:$\left|\dfrac{xy}{\sqrt{x^2+y^2}}\right|\le\dfrac{(x^2+y^2)/2}{\sqrt{x^2+y^2}}=\dfrac{\sqrt{x^2+y^2}}{2}\to0=f(0,0)$,故连续

② 可偏导(用定义):$f_x(0,0)=\displaystyle\lim_{\Delta x\to0}\dfrac{f(\Delta x,0)-0}{\Delta x}=\lim_{\Delta x\to0}\dfrac{0}{\Delta x}=0$,同理 $f_y(0,0)=0$。两偏导都存在

③ 可微? 因偏导为 0,$\Delta z-f_x\Delta x-f_y\Delta y=\Delta z$,需验:

$$\lim_{(\Delta x,\Delta y)\to(0,0)}\frac{\Delta z}{\sqrt{(\Delta x)^2+(\Delta y)^2}}=\lim\frac{\dfrac{\Delta x\,\Delta y}{\sqrt{(\Delta x)^2+(\Delta y)^2}}}{\sqrt{(\Delta x)^2+(\Delta y)^2}}=\lim\frac{\Delta x\,\Delta y}{(\Delta x)^2+(\Delta y)^2}$$

沿 $\Delta y=\Delta x$:$\dfrac{(\Delta x)^2}{2(\Delta x)^2}=\dfrac12\neq0$。极限不为 0 → 不可微

结论:连续 ✓、可偏导 ✓、可微 ✗。本例正是"连续 $+$ 可偏导但不可微"的标准反例,几乎年年以选择/判断形式出现。

速记:四性关系是 ★★★ 高频考点(真题考点全解 Ch8 考点表列首条)。判断题给一个分段函数问四性,套路固定:连续用放缩、偏导用定义、可微验 $\dfrac{\Delta z-f_x\Delta x-f_y\Delta y}{\rho}\to0$(极坐标后含 $\theta$ 即不可微)。

📌 必背块:可微 · 全微分
⚠️ 易错点(3 条)
  1. 逆命题方向搞反:可微 $\Rightarrow$ 可偏导(对),但可偏导 $\Rightarrow$ 可微()。关系链只能从强到弱单向走。
  2. 验可微只验一条路径:判定式是二重极限,单条路径 $\neq0$ 可证不可微,但要证可微必须对所有路径(放缩/极坐标)证极限为 0。
  3. 分段函数偏导直接代表达式:分界点偏导必须回定义求,否则后续可微判定全错。
🔴 你在这卡过(薄弱点精析 命门#4):判"偏导存在 / 可微 / 连续"三者关系时常搞反逆命题方向,举不出反例。

怎么破:背死关系链 + 三反例,考场上靠反射不靠推理:

命题真假反例
偏导连续 ⇒ 可微充分条件
可微 ⇒ 连续 / 可偏导 / 方向导数存在定义直推
可偏导 ⇒ 连续$\dfrac{xy}{x^2+y^2}$
可偏导 ⇒ 可微$\sqrt{|xy|}$、$\dfrac{xy}{\sqrt{x^2+y^2}}$
连续 ⇒ 可偏导$\sqrt{x^2+y^2}$(尖点)

一句话:箭头只往"弱"的方向走(偏导连续最强 → 可微 → 连续/可偏导);任何"往回推"都是错的,立刻搬反例。