8.6 方向导数与梯度 📖 笔记p14-15

8.6.1 方向导数

方向导数
定义(最基本!)

$f$ 在点 $P_0$ 沿方向 $\boldsymbol{l}$ 的方向导数:

$$\frac{\pp f}{\pp\boldsymbol{l}}\bigg|_{P_0} = \lim_{t\to 0^+}\frac{f(P_0 + t\,\boldsymbol{e_l}) - f(P_0)}{t}$$

其中 $\boldsymbol{e_l} = (\cos\alpha,\cos\beta)$ 是单位方向向量。注意 $t\to 0^+$(单侧极限!)

公式法(需要函数可微!)

二元:$\dfrac{\pp f}{\pp\boldsymbol{l}} = f_x\cos\alpha + f_y\cos\beta$

三元:$\dfrac{\pp f}{\pp\boldsymbol{l}} = f_x\cos\alpha + f_y\cos\beta + f_z\cos\gamma$

重要:公式法只在可微时成立!如果函数不可微(典型:分段函数在分界点),必须用定义法!这是选择题的超高频考点。
方向导数做题决策树
  1. 是初等函数在定义域内的点?→ 可微 → 直接用公式(算 $f_x,f_y$ 代入)
  2. 是分段函数在分界点?→ 按以下流程:
    • 定义法算 $f_x(P_0),f_y(P_0)$
    • 验证可微性($\frac{\Delta z-f_x\Delta x-f_y\Delta y}{\rho}\to 0$?)
    • 可微 → 用公式;不可微 → 必须用定义法算方向导数
二级结论与辨析
笔记例题:$f(x,y) = \sqrt{x^2+y^2}$ 在原点沿 $\boldsymbol{l} = (\cos\alpha,\sin\alpha)$ 的方向导数。

$f_x(0,0) = \lim_{h\to 0}\frac{|h|}{h}$,不存在!所以 $f$ 在原点偏导不存在 → 不可微 → 不能用公式。

用定义:$\frac{\pp f}{\pp\boldsymbol{l}} = \lim_{t\to 0^+}\frac{f(t\cos\alpha, t\sin\alpha)}{t} = \lim_{t\to 0^+}\frac{t\sqrt{\cos^2\alpha+\sin^2\alpha}}{t} = 1$

沿任何方向的方向导数都等于 $1$!

笔记例题:$f(x,y) = \begin{cases}\frac{x^2y}{x^4+y^2}, &(x,y)\neq(0,0)\\ 0, &(x,y)=(0,0)\end{cases}$

$f_x(0,0) = 0$,$f_y(0,0) = 0$。若可微,则 $\frac{\pp f}{\pp\boldsymbol{l}}=0$。

但用定义:$\frac{\pp f}{\pp\boldsymbol{l}} = \lim_{t\to 0^+}\frac{t^2\cos^2\alpha\cdot t\sin\alpha}{t^4\cos^4\alpha + t^2\sin^2\alpha}\cdot\frac{1}{t} = \lim_{t\to 0^+}\frac{t^2\cos^2\alpha\sin\alpha}{t^4\cos^4\alpha+t^2\sin^2\alpha}$

当 $\sin\alpha\neq 0$ 时 $= \frac{\cos^2\alpha}{\sin\alpha}$(不全为零!),说明 $f$ 不可微。

总结:连续 + 可偏导 + 方向导数存在,三者加起来都不能保证可微。可微是更强的条件。做方向导数题时,先判断可微性再决定用公式还是定义!

8.6.2 梯度

梯度
梯度
$$\grad f = \left(\frac{\pp f}{\pp x}, \frac{\pp f}{\pp y}\right), \quad \text{或 } \grad f = (f_x, f_y, f_z) \text{(三元)}$$

记号:$\text{grad}\,f$ 或 $\nabla f$。

梯度的核心性质

笔记例题:$z = x^2+y^2$,求 $P_0(2,1)$ 处等值线 $x^2+y^2=5$ 的法线方向。

$\grad f|_{(2,1)} = (2x,2y)|_{(2,1)} = (4,2)$

梯度方向就是等值线的法线方向 → 法线方向为 $(4,2)$,即 $(2,1)$。

函数在梯度方向增长最快,增长率 $= |\grad f| = \sqrt{16+4} = 2\sqrt{5}$。

📝 历年真题精选:方向导数与梯度

【2024-2025 选择4】 $f(x,y,z)=\sqrt[3]{xyz}$ 在原点沿 $\boldsymbol{l}=(1,2,2)$ 的方向导数。
点击查看解析

第一步:算偏导。$f_x(0,0,0)=\lim_{h\to 0}\frac{\sqrt[3]{h\cdot 0\cdot 0}}{h}=0$,同理 $f_y=f_z=0$。

第二步:检验可微性。若可微,公式给出方向导数$=0$。但验证:$\frac{\sqrt[3]{xyz}}{\sqrt{x^2+y^2+z^2}}$,取 $x=y=z=t$,$=\frac{t}{t\sqrt{3}}=\frac{1}{\sqrt{3}}\neq 0$,不可微!公式失效!

第三步:用定义。单位向量 $\boldsymbol{e}=\frac{1}{3}(1,2,2)$。

$$\frac{\pp f}{\pp\boldsymbol{l}}=\lim_{t\to 0^+}\frac{f(\frac{t}{3},\frac{2t}{3},\frac{2t}{3})}{t}=\lim_{t\to 0^+}\frac{\sqrt[3]{\frac{4t^3}{27}}}{t}=\frac{\sqrt[3]{4}}{3}$$

答案:B

血泪教训:偏导=0不代表方向导数=0!必须先检验可微性,不可微就回定义!这类题几乎年年出。

【2022-2023 选择1】 $f(x,y)=\begin{cases}\frac{x^2-y^2}{\sqrt{x^2+y^2}},&(x,y)\neq(0,0)\\0,&(x,y)=(0,0)\end{cases}$,在原点沿 $(1,1)$ 方向的方向导数。
点击查看解析

先算偏导:$f_x(0,0)=\lim_{h\to 0}\frac{h^2/|h|}{h}=\lim_{h\to 0}\frac{|h|}{1}$... 不对,$f(h,0)=\frac{h^2}{|h|}=|h|$,$f_x(0,0)=\lim_{h\to 0}\frac{|h|}{h}$,右极限$=1$,左极限$=-1$,偏导不存在

不可微 → 必须用定义。单位向量 $\boldsymbol{e}=\frac{1}{\sqrt{2}}(1,1)$。

$$\frac{\pp f}{\pp\boldsymbol{l}}=\lim_{t\to 0^+}\frac{f(\frac{t}{\sqrt{2}},\frac{t}{\sqrt{2}})}{t}=\lim_{t\to 0^+}\frac{\frac{t^2/2-t^2/2}{t}}{t}=0$$

等等,分子$=0$?让我重新算:$f(\frac{t}{\sqrt{2}},\frac{t}{\sqrt{2}})=\frac{t^2/2-t^2/2}{t}=0$。所以方向导数$=0$?

根据答案选B($\frac{\sqrt{2}}{4}$),可能题目实际是另一个函数。以试卷为准。

核心步骤:分段函数在原点 → ① 定义法算偏导 → ② 判断可微 → ③ 不可微则定义法算方向导数。

【2024-2025 选择5】 设 $f(x,y)$ 可微,在 $(x_0,y_0)$ 处:(I) 梯度为零向量 (II) 全微分为零 (III) 所有方向导数为零。哪些正确?
点击查看解析

可微时 $\frac{\pp f}{\pp\boldsymbol{l}}=f_x\cos\alpha+f_y\cos\beta=\grad f\cdot\boldsymbol{e}$。

  • 梯度$=\boldsymbol{0}$ $\Leftrightarrow$ $f_x=f_y=0$ $\Leftrightarrow$ $\dd f=0$ $\Rightarrow$ 所有方向导数$=0$
  • 反过来,所有方向导数$=0$ → 特别地取 $x,y$ 方向 → $f_x=f_y=0$ → 梯度$=0$

所以三者等价。答案:I, II, III 都正确(选I, II)——具体看选项表述。

【2016-2017 选择】 $f(x,y)$ 在 $(0,0)$ 处沿任意方向的方向导数都存在,则 $f$ 在 $(0,0)$(A)连续 (B)可偏导 (C)可微 (D)以上都不一定。
点击查看解析

方向导数存在 $\Rightarrow$ 沿 $x,y$ 方向的也存在 → 可偏导。但不一定连续(有反例),更不一定可微。

答案:B