方向导数：修订间差异

删除的内容添加的内容

行内

2014年3月16日 (日) 23:59的版本

方向導數是分析学特别是多元微积分中的概念。一个标量场在某点沿着某个向量方向上的方向导数，描绘了该点附近标量场沿着该向量方向变动时的瞬时变化率^[1]。方向導數是偏导数的概念的推广，也是加托导数的一个特例。

定义

设有拓扑向量空间 $V$ ， $f$ 是从 $V$ 上某个开集 $U$ 射到实数域 $\mathbb {R}$ 的一个函数。对 $U$ 内某点 ${\mathbf {x} }\in U$ ，以及某个非零向量 ${\mathbf {a}}$ ，若从 $\mathbb {R}$ 射到 $\mathbb {R}$ 的函数：

f_{\mathbf {a}}\;:\;\;t\;\mapsto \;f({\mathbf {x}}+t{\mathbf {a}})

在零附近连续，而且 $f_{\mathbf {a}}$ 对 $t$ 的导数在 $t=0$ 处存在，那么可以定义 $f$ 在 ${\mathbf {x}}$ 处沿向量 ${\mathbf {a}}$ 的方向导数为：

\mathrm {D} _{\mathbf {a}}{f}({\mathbf {x}})={\frac {\mathrm {d} f_{\mathbf {a}}}{\mathrm {d} t}}(0)=\lim _{t\rightarrow 0}{\frac {f({\mathbf {x}}+t{\mathbf {a}})-f({\mathbf {x}})}{t}}.

^[2]^:35

有些书籍中会较为严格地定义方向导数为函数在某一点沿单位长度向量的方向导数，在这样的上下文中，“函数在某点沿向量 ${\mathbf {a}}$ 方向上的导数”指的是函数在这一点沿着 ${\mathbf {a}}$ 对应的单位向量 ${\mathbf {\hat {a}}}={\frac {\mathbf {a}}{\|{\mathbf {a}}\|}}$ 的方向导数。

性质

许多导数的常见性质都适用于方向导数。例如，对于任何在p的邻域内有定义且在点p可微的函数，都有：

加法定则： $\nabla _{v}(f+g)=\nabla _{v}f+\nabla _{v}g$
常数因子法则：对于任何常数c， $\nabla _{v}(cf)=c\nabla _{v}f$
乘法定则（或莱布尼兹法则）： $\nabla _{v}(fg)=g\nabla _{v}f+f\nabla _{v}g$
复合函数求导法则：如果g在点p可微，h在g(p)可微，则

\nabla _{v}h\circ g(p)=h'(g(p))\nabla _{v}g(p)

如果函數 $f$ 在點 ${\mathbf {x}}$ 處可微，則沿著任意非零向量 ${\mathbf {v}}$ 的方向導數都存在，且有：

解析失败 (语法错误): {\displaystyle \mathrm{D}_{\bold{v}}{f}(\bold{x}) = \mathrm{D} f_{\bold{x}}(\bold{v}) = \bold{v} \cdot\nabla f(\bold{x})， }

其中 $\mathrm {D} f_{\mathbf {x}}$ 表示函数 $f$ 的微分在 ${\mathbf {x}}$ 處对应的映射； $\nabla$ 符號表示梯度算子，而 " $\cdot$ " 是 $V$ 中相应的内积。如果函数在某一点可微，则其在这一点上沿任何向量的方向导数都存在。但反之则不然。即便一个函数在某一点上沿任何向量的方向导数都存在，它也有可能在这一点上不可微，甚至不连续。

在微分几何中

设M是一个可微流形，p是M上的一个点。假设f是在p的邻域内有定义且在点p可微的函数。如果v是M在点p的一个切向量，则f沿着v方向的方向导数可以定义如下。设γ : [-1,1] → M是一个可微曲线，γ(0) = p，且γ^′(0) = v。则方向导数定义为：

\nabla _{v}f(p)=\left.{\frac {d}{d\tau }}f\circ \gamma (\tau )\right|_{\tau =0}

法向导数

法向导数是沿着某个空间曲面的法线方向的方向导数，或者更一般地，沿着某个超曲面的法向量的导数。参见诺伊曼边界条件。如果法线方向记为 ${\vec {n}}$ ，则函数ƒ的法向导数有时记为 ${\frac {\partial f}{\partial n}}$ 。

参见

注解

^ Tom Apostol. Mathematical Analysis 2nd Ed. Addison-Wesley. 1974: 344–345. ISBN 0-201-00288-4.
^ Rodney Coleman. Calculus on Normed Vector Spaces. Springer. 2012. ISBN 9781461438946.

参考文献

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.

[1] Tom Apostol. Mathematical Analysis 2nd Ed. Addison-Wesley. 1974: 344–345. ISBN 0-201-00288-4.

[2] Rodney Coleman. Calculus on Normed Vector Spaces. Springer. 2012. ISBN 9781461438946.

[1]

[2]

@@ 第9行： / 第9行： @@
 :<math>f_{\bold{a}} \; : \; \; t \; \mapsto \; f( \bold{x} + t\bold{a} )</math>
 在零附近[[连续函数|连续]]，而且<math>f_{\bold{a}}</math>对<math>t</math>的导数在<math>t=0</math>处存在，那么可以定义<math>f</math>在<math>\bold{x}</math>处沿向量<math>\bold{a}</math>的方向导数为：
-:<math>\mathrm{D}_{\bold{a}}{f}(\bold{x}) = \frac{\mathrm{d} f_{\bold{a}} }{\mathrm{d} t}(0) = \lim_{t \rightarrow 0}{\frac{f(\bold{x} + t\bold{a}) - f(\bold{x})}{t}}.</math>
+:<math>\mathrm{D}_{\bold{a}}{f}(\bold{x}) = \frac{\mathrm{d} f_{\bold{a}} }{\mathrm{d} t}(0) = \lim_{t \rightarrow 0}{\frac{f(\bold{x} + t\bold{a}) - f(\bold{x})}{t}}.</math><ref>{{cite book|author=Rodney Coleman|title=Calculus on Normed Vector Spaces|year=2012|publisher=Springer|isbn=9781461438946}}</ref>{{rp|35}}
 有些书籍中会较为严格地定义方向导数为函数在某一点沿单位长度向量的方向导数，在这样的上下文中，“函数在某点沿向量<math>\bold{a}</math>方向上的导数”指的是函数在这一点沿着<math>\bold{a}</math>对应的单位向量<math>\bold{\hat{a}} = \frac{\bold{a}}{\| \bold{a} \|}</math>的方向导数。