方向导数是分析学特别是多元微积分中的概念。一个标量场在某点沿着某个向量方向上的方向导数,描绘了该点附近标量场沿着该向量方向变动时的瞬时变化率[1]。方向导数是偏导数的概念的推广,也是加托导数的一个特例。
定义
, 是从 上某个开集 映射到实数 的函数。给定 内某点 ,以及任意非零向量 ,定义一个依赖 跟 且从 映射到 的函数:
若 对 的微分在 处存在,那么可以定义 在点 沿向量 的方向导数为:
- [2]:35
有些书籍中会较为严格地定义方向导数为函数在某一点沿单位长度向量的方向导数,在这样的上下文中,“函数在某点沿向量方向上的导数”指的是函数在这一点沿着对应的单位向量的方向导数。
性质
许多导数的常见性质都适用于方向导数。例如,对于任何在p的邻域内有定义且在点p可微的函数,都有:
- 加法定则:
- 常数因子法则:对于任何常数c,
- 乘法定则(或莱布尼兹法则):
- 复合函数求导法则:如果g在点p可微且h在g(p)可微,则
如果函数在点处可微,则沿着任意非零向量的方向导数都存在。则有:
其中 是函数 在点 的全微分,为一线性映射; 符号表示梯度算子,而“”表示 中的内积。 (注:在这例子里,如果线性映射 用矩阵表示且选用自然基底的话, 为 1 ×n 的矩阵)。
如果函数在某一点可微,则其在这一点上沿任何向量的方向导数都存在。但反之则不然。即便一个函数在某一点上沿任何向量的方向导数都存在,它也有可能在这一点上不可微,甚至不连续。
最大方向导数
如果一个标量场在某点沿任意方向的方向导数都存在,则其中必有最大的一个。由柯西不等式可知,方向导数的最大值等于其梯度的范数,当且仅当沿着其梯度的方向时取到。这也说明标量场某点梯度的方向是函数瞬时变化率最大的方向[2]:36。
在微分几何中
设 是一个可微流形, 是 上的一个点。假设 是在 的邻域内有定义且在点 可微的函数。如果 是 在点 的一个切向量,则 沿着 方向的方向导数可以定义如下。设 是一个可微曲线,,且 。则方向导数定义为:
法向导数
法向导数(normal derivative)是在空间里沿着某个曲面的法线方向(也就是垂直该曲面)的方向导数,或者更一般来说,是沿着某个超曲面的法向量的方向导数。参见诺伊曼边界条件。如果法线方向记为 ,则函数 的法向导数有时记为 。
参见
参考文献
- Kaplan, W. "The Directional Derivative." §2.14 in Advanced Calculus, 4th ed. Reading, MA: Addison-Wesley, pp. 135-138, 1991.
- Morse, P. M. and Feshbach, H. "Directional Derivatives." In Methods of Theoretical Physics, Part I. New York: McGraw-Hill, pp. 32-33, 1953.