050 方向导数和梯度矢量 Directional Derivatives and Gradient Vectors
下图是约塞米蒂国家公园的等高线地图,仔细观察会发下河流方向与等高线垂直。河流沿着最陡峭下降的路径,水能够尽快流下去,也就是变化率最大的方向。这一节会解释为什么“下山”方向与等高线垂直。
平面上的方向导数
如果 可微, 沿着可微曲线 对 的变化率是 在任意点 ,上述方程描述了对应 的增加 的变化依赖于曲线运动的方向。如果曲线是直线, 是从 沿着单位矢量 的弧长参数, 是沿着 方向运动距离的变化率。如果 在变化, 表示从 开始沿着不同方向距离的变化率。
假定函数 在 平面的矩形 内有定义,点 在 内, 是一单位矢量,那么 是过点 平行于 的参数化直线方程。如果 是从 开始沿着 的弧长,点 处的微分 表示函数 在 处在 方向上的变化率。
定义
函数 在 处沿单位矢量 的微分是 前提是极限存在。
公式 定义的方向导数(directional derivative
)也可以表示为
偏微分 是 在 处沿着 这两个方向上的方向导数。
例1 使用定义,求函数 在点 处沿着单位矢量 的方向导数。
解:
方向导数的解释
如果 表示空间中的曲面 。如果 ,那么点 位于 上。通过点 和 且平行于 的平面与 相交得到曲线 。
在 方向的变化率是由 建立的右手坐标系统内曲线 在点 处的切线斜率。
如果 ,在 处的方向导数就是在 处偏微分 。类似的,当 ,在 处的方向导数就是在 处偏微分 。方向导数是这两个偏微分的泛化。现在的问题是任意方向 上的变化率,而不仅仅是 这两个方向。
方向导数的物理解释是说,如果 是在每个点 的温度。那么 是在点 的温度,且 是在该点处沿着方向 的温度变化率。
计算与梯度
下面要分析一种更快捷的计算 方向导数的方法。这里从过点 参数方程 开始分析,其中 沿着 的增长的长度参数。根据链式法则 上面最后的式子是说 在点 处沿着方向 的导数是矢量 与一个特殊矢量的点积。
定义
的梯度矢量或梯度(
gradient vector
,gradient
)是 通过在 的偏微分可以得到梯度矢量的值,写作
定理 9 方向导数是点积
如果 在包含点 的开放区域可微,那么 可以简写作
例2 求函数 在点 处沿着矢量 的方向导数。
解:首先计算单位矢量 的偏微分在各处都是连续的,那么在 处是 那么该点处的梯度是 因此
从 我们可以得到如下式子 其中 是矢量 与 的夹角,进而可以得到以下性质。
方向导数 的性质
- 当 时 增加最快,这就意味着 , 与 方向相同。在定义域上的每一点, 增加最快的方向是点 处梯度矢量 的方向。这个方向的导数是
- 类似的,减少最快的方向是是 的方向。这个方向的导数是
- 任意与梯度 的方向 是变化为零的方向,因为此时 并且
例3 求函数 满足下面条件的方向
(a)点 处增加最快的方向;
(b)点 处减少最快的方向;
(c)点 处变化为零的方向。
解:(a)根据上述性质,在点 处增加快的方向就是 的方向。梯度矢量是 因此单位方向矢量是 (b)减少最快的方向是点 处的 的方向,即
(c)变化为零的方向是垂直于 的方向,即
梯度和等高线的切线
如果可微函数 沿着曲线 值为常量 ,那么 。两边同时对 微分 公式 是说 与切向矢量 正交,所以也正交与曲线。如下图所示,这里 是非零矢量(其也有是零矢量的可能性)。
上面的式子 还验证了本小节开头的观察,溪流方向垂直于等高线方向,因为溪流会沿着最快的方向向山下流,根据性质 (2) 这个方向是梯度的反方向,那么就垂直于等高线。
这个性质可以帮助我们快速计算等高线的切线。它们与梯度垂直。通过 且与非零矢量 垂直的直线方程是 如果 是梯度 ,且这个梯度矢量不是零矢量,那么切线方程是
例4 求椭圆 在点 处的切线方程。
解:椭圆是函数 的等高线。在点 处的梯度是 由于梯度是非零矢量,那么在 处与椭圆相切的直线方程是
如果我们知道了 的梯度,那么它们的和、差、积、商的梯度也就很容易知道了。它们的性质类似于单变量微分的性质。
梯度法则
这里证明乘法法则,其他证明类似,使用梯度的定义和微分法则。
例5 由于上面证明了乘法法则,下面仅使用 验证减法法则。
三元函数
对可微函数 和单位矢量 ,我们有 那么 三元函数方向导数也能写作 之前分析的属性也依旧成立。在任意给定点, 在 方向增加的最快,在 方向减少最快,任意与 正交的方向,导数为零。
例 6
(a)求函数 在 点处 方向的导数。
(b)在 处,什么方向 变化最快?这个方向上的变化率是多少?
解:(a)首先计算 方向的单位矢量 在 处的偏微分是 那么方向导数是 (b)函数在 方向增加最快,在 方向减少最快。其变化率是
路径链式法则
如果 是光滑曲线 , 是沿着 的标量函数,根据链式法则 右边的偏导数是对曲线(中间变量) 求导,和中间变量对 求导。如果写成矢量形式 上面的式子是说复合函数 的导数是外层函数 的导数(梯度)与内层函数 的导数的点积。