方向导数

贡献者：待更新

预备知识　全微分，正交归一基

　　先来看一幅等高线图（图 1 ）。令高度 $z$ 为位置的函数 $z = f( \boldsymbol{\mathbf{r}} )$。这里 $ \boldsymbol{\mathbf{r}} $ 是二维平面上的位矢，即 $f( \boldsymbol{\mathbf{r}} ) = f(x,y)$。当位矢沿着等高线移动时，$z$ 不变，而当位矢沿垂直于等高线的方向移动时，$z$ 变化得最快。位置沿其他方向运动，$z$ 的变化速度介于两者之间。

图 1：等高线

　　那么如何衡量位置向各个方向移动时 $z$ 变化的快慢呢？我们先规定一个方向 $ \hat{\boldsymbol{\mathbf{n}}} = (n_x,n_y)$（平面单位矢量，满足 $n_x^2 + n_y^2 = 1$），然后用方向导数来衡量变化率，其定义如下

\begin{equation} \frac{\mathrm{d}{f}}{\mathrm{d}{n}} \equiv \lim_{\Delta s \to 0} \frac{f( \boldsymbol{\mathbf{r}} + \hat{\boldsymbol{\mathbf{n}}} \Delta s) - f( \boldsymbol{\mathbf{r}} )}{\Delta s} = \frac{\mathrm{d}{f}}{\mathrm{d}{s}} ~, \end{equation}

其中 $ \hat{\boldsymbol{\mathbf{n}}} \Delta s$ 代表沿 $ \hat{\boldsymbol{\mathbf{n}}} $ 方向的微小位移。从几何上来讲，二维函数 $f( \boldsymbol{\mathbf{r}} )$ 表示一个曲面，曲面上某点的方向导数就是曲面在该方向的斜率。

　　由 “全微分” 中的结论

\begin{equation} \,\mathrm{d}{f} = \frac{\partial f}{\partial x} \,\mathrm{d}{x} + \frac{\partial f}{\partial y} \,\mathrm{d}{y} ~. \end{equation}

而现在我们往 $ \hat{\boldsymbol{\mathbf{n}}} = (n_x, n_y)$ 方向移动 $ \,\mathrm{d}{s} $，所以

\begin{equation} \,\mathrm{d}{x} = n_x \,\mathrm{d}{s} ~,\qquad \,\mathrm{d}{y} = n_y \,\mathrm{d}{s} ~. \end{equation}

代入上式，得

\begin{equation} \,\mathrm{d}{f} = \left( \frac{\partial f}{\partial x} n_x + \frac{\partial f}{\partial y} n_y \right) \,\mathrm{d}{s} ~. \end{equation}

根据导数与微分的关系（也可以通俗地说 “两边同除 $ \,\mathrm{d}{s} $”），就得到方向导数

\begin{equation} \frac{\partial f}{\partial n} = \frac{\mathrm{d}{f}}{\mathrm{d}{s}} = \frac{\partial f}{\partial x} n_x + \frac{\partial f}{\partial y} n_y~. \end{equation}

如果使用平面的正交归一基 $ \hat{\boldsymbol{\mathbf{x}}} , \hat{\boldsymbol{\mathbf{y}}} $ 写成矢量内积的形式，就是

\begin{equation} \frac{\mathrm{d}{f}}{\mathrm{d}{n}} = \left( \frac{\partial f}{\partial x} \hat{\boldsymbol{\mathbf{x}}} + \frac{\partial f}{\partial y} \hat{\boldsymbol{\mathbf{y}}} \right) \boldsymbol\cdot \hat{\boldsymbol{\mathbf{n}}} ~. \end{equation}

定义二维直角坐标系中的 Del 算符为

\begin{equation} \boldsymbol\nabla = \hat{\boldsymbol{\mathbf{x}}} \frac{\partial}{\partial{x}} + \hat{\boldsymbol{\mathbf{y}}} \frac{\partial}{\partial{y}} ~. \end{equation}

其作用在函数上表示

\begin{equation} \boldsymbol\nabla f = \frac{\partial f}{\partial x} \hat{\boldsymbol{\mathbf{x}}} + \frac{\partial f}{\partial y} \hat{\boldsymbol{\mathbf{y}}} ~. \end{equation}

则方向导数可以写成相当简洁的形式，即

\begin{equation} \frac{\partial f}{\partial n} = \boldsymbol\nabla f \boldsymbol\cdot \hat{\boldsymbol{\mathbf{n}}} ~. \end{equation}

1. 多元函数的方向导数

　　通过和以上类似的分析，可以得出 $N$ 元函数 $f( \boldsymbol{\mathbf{r}} ) = f(x_1,x_2\dots x_N)$ 在单位方向矢量 $ \hat{\boldsymbol{\mathbf{n}}} = (n_{x1}, n_{x2} \dots n_{x_N})$ 的方向上的微分关系为

\begin{equation} \,\mathrm{d}{f} = \frac{\partial f}{\partial x_1} \,\mathrm{d}{x_1} + \frac{\partial f}{\partial x_2} \,\mathrm{d}{x_2} \ldots = \left( \frac{\partial f}{\partial x_1} n_{x1} + \frac{\partial f}{\partial x_2} n_{x2}\dots \right) \,\mathrm{d}{s} ~. \end{equation}

方向导数为

\begin{equation} \frac{\partial f}{\partial n} = \frac{\mathrm{d}{f}}{\mathrm{d}{s}} = \left( \frac{\partial f}{\partial x_1} \hat{\boldsymbol{\mathbf{x}}} _1 + \frac{\partial f}{\partial x_2} \hat{\boldsymbol{\mathbf{x}}} _2\ldots \frac{\partial f}{\partial x_N} \hat{\boldsymbol{\mathbf{x}}} _N \right) \boldsymbol\cdot \hat{\boldsymbol{\mathbf{n}}} = \boldsymbol\nabla f \boldsymbol\cdot \hat{\boldsymbol{\mathbf{n}}} ~. \end{equation}

形式与式 9 相同。这里定义了 $N$ 维直角坐标系的 Del 算符 为

\begin{equation} \boldsymbol\nabla = \hat{\boldsymbol{\mathbf{x}}} _1 \frac{\partial }{\partial x_1} + \hat{\boldsymbol{\mathbf{x}}} _2 \frac{\partial }{\partial x_2} \dots \hat{\boldsymbol{\mathbf{x}}} _n \frac{\partial }{\partial x_N} ~. \end{equation}

致读者：小时百科一直以来坚持所有内容免费，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 10 元，我们一个星期内就能脱离亏损，并保证在接下来的一整年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。