方向导数和梯度

1. 方向导数

方向导数，描述函数沿指定方向的变化率。

若函数$f(x,y)$在点$P_0(x_0,y_0)$处可微，则函数在该点沿任一方向$l$的方向导数存在，且有
$$\frac{\partial f}{\partial l}{|}_{(x_0,y_0)}=f_x(x_0,y_0)\cos \alpha +f_y(x_0,y_0)\cos \beta$$

其中$\cos \alpha$和$\cos \beta$是方向$l$的方向余弦。

可微、全微分、偏导数

若函数$z=f(x,y)$在点$(x,y)$的某邻域内有定义，函数在点$(x,y)$处的全增量$\Delta z=f(x+\Delta x,y+\Delta y)-f(x,y)$，可表示为$$\Delta z=A\Delta x+B\Delta y+o(\rho ),\rho =\sqrt{(\Delta x{)}^2+(\Delta y{)}^2}$$

其中$A$、$B$不依赖于$\Delta x$、$\Delta y$，且仅与$x$、$y$有关，则称函数$z=f(x,y)$在$(x,y)$处可微分，全微分$\mathrm{d}z=A\Delta x+B\Delta y$。

（必要条件）若函数$z=f(x,y)$在点$(x,y)$处可微分，则函数$z=f(x,y)$在点$(x,y)$的偏导数$\frac{\partial z}{\partial x}$、$\frac{\partial z}{\partial y}$必定存在，此时全微分
$$\mathrm{d}z=\frac{\partial z}{\partial x}\Delta x+\frac{\partial z}{\partial y}\Delta yy⟺\mathrm{d}z=\frac{\partial z}{\partial x}\mathrm{d}x+\frac{\partial z}{\partial y}\mathrm{d}y$$

（充分条件）若函数$z=f(x,y)$的偏导数$\frac{\partial z}{\partial x}$、$\frac{\partial z}{\partial y}$在点$(x,y)$处连续，则函数$z=f(x,y)$在点$(x,y)$处可微。

综上所述：可微 $⟹$ 偏导存在 \quad 偏导存在且连续 $⟹$ 可微

证明：方向导数
由$f(x,y)$在点$P_0(x_0,y_0)$处可微，故
$$f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)=f_x(x_0,y_0)\Delta x+f_y(x_0,y_0)\Delta y+o(\sqrt{(\Delta x{)}^2+(\Delta y{)}^2})$$

且$\Delta x=t\cos \alpha$，$\Delta y=t\cos \beta$，$\sqrt{\Delta x{)}^2+(\Delta y{)}^2}=t$，因此方向导数
$$\underset{t\to 0^{+}}{\lim }\frac{f_x(x_0,y_0)t\cos \alpha +f_y(x_0,y_0)t\cos \beta }{t}=f_x(x_0,y_0)\cos \alpha +f_y(x_0,y_0)\cos \beta$$

例题

求$f(x,y,z)=xy+yz+zx$在点$(1,1,2)$沿方向$l$的方向导数，其中$l$的方向角分别为$60^{\circ }$、$45^{\circ }$、$60^{\circ }$。

解：
与$l$同向的单位向量${\mathbf{e}}_l=(\frac{1}{2},\frac{\sqrt{2}}{2},\frac{1}{2})$，因为函数可微，故
$$f_x(1,1,2)=3,f_y(1,1,2)=3,f_z(1,1,2)=2$$

因此
$$\frac{\partial f}{\partial l}{|}_{(1,1,2)}=3\cdot \frac{1}{2}+3\cdot \frac{\sqrt{2}}{2}+2\cdot \frac{1}{2}=\frac{1}{2}(5+3\sqrt{2}).$$

2. 梯度

对于二元函数，设函数$f(x,y)$在平面区域$D$内具有一阶连续偏导，则对于每一点$P_0(x_0,y_0)\in D$，定义向量
$$f_x(x_0,y_0)\mathbf{i}+f_y(x_0,y_0)\mathbf{j}$$

称为函数$f(x,y)$在点$P_0(x_0,y_0)$处的梯度，记作$\mathbf{g}\mathbf{r}\mathbf{a}\mathbf{d}f(x_0,y_0)$或$\nabla f(x_0,y_0)$。

3. 方向导数与梯度关系

若函数$f(x,y)$在点$P_0(x_0,y_0)$处可微分，与方向$l$同方向的单位向量${\mathbf{e}}_l=(\cos \alpha ,\cos \beta )$，则
$$\begin{array}{rl}\frac{\partial f}{\partial l}{|}_{(x_0,y_0)}& =f_x(x_0,y_0)\cos \alpha +f_y(x_0,y_0)\cos \beta \\ & =\mathbf{g}\mathbf{r}\mathbf{a}\mathbf{d}f(x_0,y_0)\cdot {\mathbf{e}}_l=|\mathbf{g}\mathbf{r}\mathbf{a}\mathbf{d}f(x_0,y_0)|\cdot \cos \theta \end{array}$$

式中，$\theta$为梯度与方向$l$的夹角。

（1）当$\theta =0$，方向$l$与梯度方向同向，函数$f(x,y)$增长最快；
（2）当$\theta =\pi$，方向$l$与梯度方向相反，函数$f(x,y)$减少最快；
（3）当$\theta =\pi /2$，方向$l$与梯度方向正交，函数$f(x,y)$变化率为0；