导数

的斜率。]]

导数()是微积分学中的一個概念。函数在某一点的导数是指这个函数在这一点附近的变化率(即函数在这一点的切线斜率)。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数f的自变量在一点x_0上产生一个增量h时,函數输出值的增量與自變量增量h的比值在h趋于0时的極限如果存在,即為f在x_0处的导数,记作f'(x_0)、\frac{\mathrm{d}f}{\mathrm{d}x}(x_0)或\left.\frac{\mathrm{d}f}{\mathrm{d}x}\right|_{x=x_0}。例如在运动学中,物体的位移对于时间的导数就是物体的瞬时速度。

导数是函数的局部性质。不是所有的函数都有导数,一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在,则称其在这一点可导(可微分),否则称为不可导(不可微分)。如果函数的自变量和取值都是实数的话,那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。

对于可导的函数f,x \mapsto f'(x)也是一个函数,称作f的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导()。反之,已知导函数也可以倒过来求原来的函数,即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作,它们都是微积分学中最为基础的概念。

定义
一般定义
直觀上 f(x)-f(a)代表函數值從 a 到 x 的變化量,那這樣,
\frac{f(x)-f(a)}{x-a}

代表的是從 a 到 x 的平均變化率,如果把 x 趨近於 a,似乎就可以更能貼切的描述函數值在 a 附近的變化。

以此為動機,若实函数 f 於实数 a 有定義,且以下極限(注意這個表達式所定義的函數定義域不含 a )
\lim_{x \to a}\frac{f(x)-f(a)}{x-a}

存在則称 f 於 a 处可导,并称这个极限为 f 於 a 处的导数,记为f^{\prime}(a)也可记作 \left.\frac{\mathrm{d}f}{\mathrm{d}x}\right|_{x=a} 或 \frac{\mathrm{d}f}{\mathrm{d}x}(a) 。

根據函數極限的定義,導數定義部分的 "存在 \delta > 0 使所有的 x \in D_f ,只要 0 都有...." 可以直觀的理解為 "當 h = x-a 趨近於 0 都有....",但要把它寫成嚴謹的定義,會碰到 "存在 \delta > 0 對所有的實數 h ,只要 a+h \in D_f 且 0 都有...."這段敘述無法直接套入極限定義的問題,對此必須把以下的表達式

\lim_{h \to 0}\frac{f(a+h)-f(a)}{h}

定義為導數原始極限表達式的簡記,而非另一種自動合法的導數定義。但如果存在 r>0 ,使 f 在 (a-r,\,a+r) 裡都有定義,那定義 F 為以
\{h\in\mathbb{R}\,|\,(h\neq 0)\wedge(|h|

為定義域,然後以
F(h)=\frac{f(a+h)-f(a)}{h}

為對應規則的函數,那以下的極限式
\lim_{h \to 0}F(h) = f^{\prime}(a)

就可以把以 h 為自變數的偏差,將之趨近於零求導數的想法納入正式的運算裡。

几何意义
当函数定义域和取值都在实数域中的时候,导数可以表示函数的曲线上的切线斜率。如右图所示,设P_0为曲线上的一个定点,P为曲线上的一个动点。当P沿曲线逐渐趋向于点P_0时,并且割线P P_0的极限位置P_0 T存在,则称P_0 T为曲线在P_0处的切线。

若曲线为一函数y=f(x)的图像,那么割线P P_0(粉紅色)的斜率为:

\tan \varphi=\frac{\Delta y}{\Delta x}=\frac{f(x_0 + \Delta x)-f(x_0)}{\Delta x}

当P_0处的切线P_0 T(橘紅色),即P P_0的极限位置存在时,此时\Delta x \to 0,\varphi \to \alpha,则P_0 T的斜率\tan \alpha为:

\tan \alpha=\lim_{\Delta x \to 0} \tan \varphi=\lim_{\Delta x \to 0} \frac{f(x_0 + \Delta x)-f(x_0)}{\Delta x}

上式与一般定义中的导数定义完全相同,也就是说f'(x_0)=\tan \alpha,因此,导数的几何意义即曲线y=f(x)在点P_0 (x_0,f(x_0))处切线的斜率。

导数、导函数与微分算子
若函数 \;f(x)\; 在其定义域包含的某区间 \;I\; 内每一个点都可导,那么也可以说函数\;f(x)\; 在区间 \;I\; 内可导,这时对于 \;I\; 内每一个确定的\;x\; 值,都对应着 \;f\; 的一个确定的导数值,如此一来就构成了一个新的函数x \mapsto f'(x),这个函数称作原来函数 \;f(x)\; 的导函数,记作:\;y'\;、f'(x)\; 或者 \tfrac{\mathrm{d}f}{\mathrm{d}x}(x)。值得注意的是,导数是一个数,是指函数 f(x)\; 在点 x_0\; 处导函数的函数值。但在不至于混淆的情况下,通常也可以说导函数为导数。

由于对每一个可导的函数 \;f(x)\;,都有它的导函数 f'(x)\; 存在,我们还可以定义将函数映射到其导函数的算子。这个算子称为微分算子,一般记作 D 或 \tfrac{\mathrm{d}}{\mathrm{d}x}。例如:
:\begin{align}
D(x \mapsto 1) &= (x \mapsto 0)\\
D(x \mapsto x) &= (x \mapsto 1)\\
D(x \mapsto x^2) &= (x \mapsto 2\cdot x)
\end{align}
由于微分算子的输出值仍然是函数,可以继续求出它在某一点的取值。比如说对于函数 \;f(x)=x^2\;,
: D(f) = (x \mapsto 2 \cdot x)
所以D(f)(x) = 2x,D(f)(1.4) = 2 \times 1.4 = 2.8 。

导数与微分
微分也是一种线性描述函数在一点附近变化的方式。微分和导数是两个不同的概念。但是,对一元函数来说,可微与可导是完全等价的。可微的函数,其微分等于导数乘以自变量的微分\mathrm{d}x,换句话说,函数的微分与自变量的微分之商等于该函数的导数。因此,导数也叫做微商。函数y = f(x)的微分又可记作\mathrm{d}y = f'(x)\mathrm{d}x。

历史
导数和积分的发现是微积分发明的关键一步。17世纪以来,光学透镜的设计以及炮弹弹道轨迹的计算促使欧洲的数学家对曲线的切线进行研究。1630年代,法国数学家吉尔·德·罗伯瓦尔作出了最初的尝试。与此同时,同是法国人的费马在计算切线时已经使用了无穷小量的概念。

如右图,费马考虑曲线 f(x) 在 x 处的切线。他声称,对于切线,有以下的关系成立:
: \frac{s}{s+h} = \frac{f(x)}{f(x+h)}

对上式变形后得到:
: s = \frac{f(x)}{\frac{f(x+h) - f(x)}{h}}

对于具体的函数 f(x),比如 f(x) = x^3,费马计算 \frac{f(x+h) - f(x)}{h} 的值,并将 h设为0,就得到 s,从而确定切线的斜率。可以看出,费马的方法实质上已经是求导。费马还给出了 f(x) 为多项式时切线的公式。英国的巴罗、荷兰的于德(Johnann Van Waveren Hudde)和瓦隆的斯卢兹(René Francoiss Walther de Sluze)继续了费马的工作。然而,费马和巴罗等人并没有将求导归纳为一种独立的工具,只是给出了具体的计算技巧。如果将函数记为y = f(x)的话,那么在莱布尼兹的记法下,其导数记为:
: \frac{dy}{dx}、\frac{d f}{dx}(x)、\frac{d}{dx}f(x) 或 \frac{d \left( f(x) \right)}{dx},
这个记法最早出现在莱布尼兹1684年的论文中,莱布尼兹在之前的文章中会将 dx 记成 \tfrac{x}{d},把 \tfrac{dy}{dx} 记成 d \tfrac{y}{x}。莱布尼兹记法的好处是明确了自变量和應变量。要注意的是记号dx是一个整体,dy也是,而\frac{dy}{dx}可以看成一个整体,也可以不严谨地看成dy和dx的比值。二阶和三阶导数记为f(x)、y 和 f(x)、y。如果需要处理更高阶的导数,则用括号内的求导阶数n来代替短撇,记为:f^{(n)}(x)、y^{(n)}。当十九世纪的数学家柯西处理微分学时,他认为莱布尼兹的记法“模糊不便”,而采用更为“紧凑”的记法,将 \frac{dy}{dx} 记为y'_x。这种记法可说是拉格朗日记法的变种。后来这种记法曾继续被精简为y_x。

其它记法
十九世纪以前,尽管大部分数学家会选择采用牛顿、莱布尼兹或拉格朗日的记号来表示导数,但也有很多的数学家希望使用自己的方法来记录。在不同数学家的著作中可以看到各种主流记法的混合或变体。数学家之间关于什么样的记法最为简便和严谨也是各执一词。同时,由于函数的微分、导数、偏导数以及无穷小量等概念尚未成熟,记号的不统一更增加了数学家之间相互理解的难度。十九世纪初期的德国数学家马尔丹·欧姆采用\partial f(x)来表示导数,而同时期的雅可比则采用\frac{\partial f}{\partial x}来表示偏导数。同时许多数学家采用\frac{d f}{d x}、\frac{d}{x}f或 \frac{\delta f}{\delta x}表示偏导数。

用大写字母D表示导数从十八世纪末就开始。1800年,法国数学家路易斯·弗朗索瓦·安托内·阿伯加斯特()使用D^m f表示函数 f 的m阶导数或全微分。而其后本杰明·佩尔斯也使用Df \cdot x表示 f 对 x 的导数。而柯西也采用类似的记号,用D^m_x f表示函数 f 对 x 的m阶偏导数。

函数可导的条件
如果一个函数的定义域为全体实数,即函数在(-\infty,+\infty)上都有定义,那么该函数是不是在定义域上处处可导呢?答案是否定的。函数在定义域中一点可导需要一定的条件。首先,要使函数f在一点可导,那么函数一定要在这一点处连续。换言之,函数若在某点可导,则必然在该点处连续。这个结论来自于连续性的定义。

证明

设函数y=f(x)上一点x_0,函数在这一点可导,即f'(x_0) = \lim_{\Delta x \to 0}\frac{\Delta y}{\Delta x}存在,其中
:\Delta y=f(x_0+ \Delta x)-f(x_0)
所以:\lim_{\Delta x \to 0} \Delta y=\lim_{\Delta x \to 0}\left( \frac{\Delta y}{\Delta x} \cdot \Delta x \right)=\lim_{\Delta x \to 0} \frac{\Delta y}{\Delta x} \cdot \lim_{\Delta x \to 0} \Delta x = f'(x_0) \cdot 0 = 0
即函数f(x)在x_0处连续。

符号函数(sgn函数)是一个不连续的函数在断点处不可导的例子:

首先注意到这个函数在x_0=0处不连续。作为验证,可以求出函数在x=0处附近的变化率,根据函数可导的条件再进行判断:
:该函数在x_0=0左侧附近的变化率为:\frac{f(x)-f(x_0)}{x-x_0} =\frac{-1-0}{x-0} = - \frac{1}{x}
:当x \to 0^-时,上面的比值趋于正无穷大发散,不存在,故这个符号函数在x_0=0处不可导。

然而,连续性并不能保证可导性。即使函数在一点上连续,也不一定就在这一点可导。事实上,存在着在每一点都连续,但又在每一点都不可导的“病态函数”。1931年,斯特凡·巴拿赫甚至证明,事实上“绝大多数”的连续函数都属于这种病态函数(至少在一点可导的连续函数在所有连续函数中是贫集)。在连续而不可导的函数里,一种常见的情况是,函数在某一点连续,并且可以定义它的左导数和右导数:

然而左导数和右导数并不相等,因而函数在该处不可导。实际上,若函数导数存在,则必然可以推出左右导数相等,这是由极限的性质(极限存在则左右极限相等)得来:

\lim_{\Delta x \to 0}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x} =\lim_{\Delta x \to 0^{-}}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x} =\lim_{\Delta x \to 0^{+}}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x}

下面以绝对值函数作为例子:

该函数在x=0处的左导数为:f'_{-}(0)=\lim_{ x \to 0^{-}}\frac{f(x)-f(0)}{x-0} =\lim_{ x \to 0^{-}}\frac{-x-0}{x-0} =-1

该函数在x=0处的右导数为:f'_{+}(0)=\lim_{ x \to 0^{+}}\frac{f(x)-f(0)}{x-0} =\lim_{ x \to 0^{+}}\frac{x-0}{x-0} =1

绝对值函数在x=0处的左右导数皆存在,但由于左右导数不相等,故绝对值函数在x=0处不可导。

如果函数在一点的左右导数都存在并且相等,那么函数在该处可导。

导数与函数的性质
通过认识可导函数的导数,可以推断出不少函数本身的性质。
单调性
根据微积分基本定理,对于可导的函数f,有:
:f(b) - f(a) = \int^b_a f'(t)\mathrm{d}t
如果函数的导函数在某一区间内恒大于零(或恒小于零),那么函数在这一区间内单调递增(或单调递减),这种区间也称为函数的单调区间。导函数等于零的点称为函数的驻点(或极值可疑点),在这类点上函数可能会取得极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 f'(x_0) = 0 的一点 x_0,如果存在 \delta > 0 使得 f' 在区间(x_0 - \delta, x_0] 上都大于等于零,而在区间 [x_0 , x_0 + \delta) 上都小于等于零,那么 x_0 是一个极大值点,反之则为极小值点。如果f(x_0)=0 並且 f(x) 在 x_0 改變加減號,則称这个点是拐点;否則这个点不是拐点。

如果函数在 x_0 处的二阶导数 f(x_0) 存在,极值点也可以用它的正负性判断(已确定f'(x_0)=0)。如果f(x_0) > 0,那么 x_0 是一个极小值点,反之为极大值点。

凹凸性
可导函数的凹凸性与其导数的单调性有关。如果函数的导函数在某个区间上单调递增,那么这个区间上函数是向下凸的,反之则是向上凸的。如果二阶导函数存在,也可以用它的正负性判断,如果在某个区间上 f* 恒大于零,则这个区间上函数是向下凸的,反之这个区间上函数是向上凸的。

导数的计算
原则上,函数的导数可以通过考虑差商和计算其极限来从定义计算。在实践中,一旦知道了一些简单函数的导数,就可以使用从更简单的函数获得更复杂函数的导数的规则,来更容易地计算其他函数的导数。

基本函数的导数
所谓基本函数是指一些形式简单并且容易求出导数的函数。这些基本函数的导函数可以通过定义直接求出。

  • 幂函数的导数:如果

f(x) = x^r,

其中r是任意实数,那么

f'(x) = rx^{r-1},函数f的定义域可以是整个实数域,但导函数的定义域则不一定与之相同。例如当 r = \frac{1}{2}时:

: f'(x) = \frac{1}{2}x^{-\tfrac12}\,
导函数的定义域只限所有正实数而不包括0。需要注意的是,不会有多项式函数的导数为\scriptstyle x^{-1}。当 r = 0 时,常函数的导数是0。

  • 底数为e的指数函数 \scriptstyle y = e^x 的导数还是自身:\scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}e^x = e^x. 而一般的指数函数 y = a^x 的导数还需要乘以一个系数:\scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}a^x = \ln(a)a^x.

自然对数函数的导数则是 x^{-1}:\scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}\ln(x) = \frac{1}{x},\qquad x > 0. 同样的,一般的对数函数导数则还需要乘以一个系数: \scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}\log_a(x) = \frac{1}{x\ln(a)}

  • 三角函数的导数仍然是三角函数,或者由三角函数构成:

: \frac{d}{dx}\sin(x) = \cos(x).
: \frac{d}{dx}\cos(x) = -\sin(x).
: \frac{d}{dx}\tan(x) = \sec^2(x) = \frac{1}{\cos^2(x)} = 1+\tan^2(x).
: \frac{\mathrm{d}}{\mathrm{d}x}\cot(x) = -\csc^2(x) = -\frac{1}{\sin^2(x)}.

  • 反三角函数的导数则是无理分式:

: \frac{d}{dx}\arcsin(x) = \frac{1}{\sqrt{1-x^2}},\qquad -1
: \frac{d}{dx}\arccos(x)= -\frac{1}{\sqrt{1-x^2}},\qquad -1
: \frac{d}{dx}\arctan(x)= \frac{1}

导数的求导法则
由基本函数的和、差、积、商或相互复合构成的函数的导函数则可以通过函数的求导法则来推导。基本的求导法则如下:

  • 求导的线性性:对函数的线性组合求导,等于先对其中每个部分求导后再取线性组合。

:(af + bg)' = af' + bg' \, (其中a, b为常数)

  • 两个函数的乘积的导函数,等于其中一个的导函数乘以另一者,加上另一者的导函数与其的乘积

:(fg)' = f'g + fg' \,

  • 两个函数的商的导函数也是一个分式。其中分子是分子函数的导函数乘以分母函数减去分母函数的导函数乘以分子函数后的差,而其分母是分母函数的平方。

:\left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2} (在g(x) \neq 0处方有意义)

  • 复合函数的求导法则:如果有复合函数 f(x) = h[g(x)],那么

:f'(x) = h'[g(x)] \cdot g'(x). \,

若要求某个函数在某一点的导数,可以先运用以上方法求出这个函数的导函数,再看导函数在这一点的值。

例子
欲求函数
: f(x) = x^4 + \sin (x^2) - \ln(x) e^x + 7\,
在x = 3处的导数。可以先求出其导函数:
:
\begin{align}
f'(x) &= 4 x^{(4-1)}+ \frac{\mathrm{d}\left(x^2\right)}{\mathrm{d}x}\cos (x^2) - \left[ \frac{\mathrm{d}\left(\ln {x}\right)}{\mathrm{d}x} e^x + \ln{x} \frac{\mathrm{d}\left(e^x\right)}{\mathrm{d}x} \right] + 0 \\
&= 4x^3 + 2x\cos (x^2) - \frac{1}{x} e^x - \ln(x) e^x.
\end{align}

其中第二项使用了复合函数的求导法则,而第三项则使用了乘积的求导法则。求出导函数后,再将x = 3代入,得到导数为:
:f'(3) = 108 + 6 \cos (9) - \frac{e^3}{3} - \ln(3) e^3 \,

高阶导数
二阶导数
如果函数的导数f'(x)\,在x\,处可导,则称[f'(x)]'\,为x\,的二阶导数。记做:f(x)\,,y\,, \frac{{\rm{d}}^2 y}{{\rm{d}}x^2} 或\frac{{\rm{d}}^2 f(x)}{{\rm{d}}x^2}、

二阶导数可用于求解函数凹凸性问题。
f*(x)>0函数在x上凹。
f*(x)函数在x下凹。

高阶导数
二阶导数的导数称为三阶导数,记做f(x)\,,y\,,\frac{{\rm{d}}^3 y}{{\rm{d}}x^3}或\frac{{\rm{d}}^3 f(x)}{{\rm{d}}x^3}

三阶导数的导数称为四阶导数,记做f^{(4)}(x)\,,y^{(4)}\,,\frac{{\rm{d}}^4 y}{{\rm{d}}x^4}或\frac{{\rm{d}}^4 f(x)}{{\rm{d}}x^4}

一般的f(x)\,的n-1\,阶导数的导数称为f(x)\,的n\,阶导数,记为f^{(n)}(x)\,,y^{(n)}\,,\frac{{\rm{d}}^n y}{{\rm{d}}x^n}或\frac{{\rm{d}}^n f(x)}{{\rm{d}}x^n}

高阶导数的求法
一般来说,高阶导数的计算和导数一样,可以按照定义逐步求出。同时,高阶导数也有求导法则:

  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}(u\pm v)=\frac{{\rm{d}}^n}{{\rm{d}}x^n}u\pm \frac{{\rm{d}}^n}{{\rm{d}}x^n}v
  • \frac{{\rm{d}}^n}{{\rm{d}}x^n} (Cu)=C\frac{{\rm{d}}^n}{{\rm{d}}x^n}u \
  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}(u\cdot v)=\sum_{k=0}^n C_k^n\frac{{\rm{d}}^{n-k}}{{\rm{d}}x^{n-k}}u\frac{{\rm{d}}^k}{{\rm{d}}x^k}v(莱布尼兹公式)

因此,可以利用已知的高阶导数求导法则,通过四则运算, 变量代换等方法,求出n \ 阶导数。一些常见的有规律的高阶导数的公式如下:

  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}x^{\alpha}=x^{\alpha-n}\prod_{k=0}^{n-1}(\alpha-k)
  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}\frac{1}{x}=(-1)^{n}\frac{n!}{x^{n+1}}
  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}\ln x=(-1)^{n-1}\frac{(n-1)!}{x^n}

\!

  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}e^x=e^x \
  • \frac{{\rm{d}}^n}{{\rm{d}}x^n} a^x=a^x \cdot \ln^n a (a>0) \

\!

  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}\sin \left(kx+b\right)=k^n\sin \left(kx+b+\frac{n\pi}{2}\right)
  • \frac{{\rm{d}}^n}{{\rm{d}}x^n}\cos \left(kx+b\right)=k^n\cos \left(kx+b+\frac{n\pi}{2}\right)

多元函数的导数
向量值函数的导数
当函数 y 的取值不再是实数,而是一般的\mathbf{R}^n中的向量时,仍然可能对其求导。这时的函数值是:y = \left( y_1(x), y_2(x), \cdots, y_n(x) \right)。每个 y_i(x), \; \; 1 \leqslant i \leqslant n 都是一个实数值的函数。具体的例子如二维或者三维空间里的参数方程。因此,对 y = f(x) 求导实际上是对每个分量函数 y_i(x) 求导。
:\mathbf{y}'(t) = (y'_1(t), \cdots, y'_n(t)).
这也符合定义

:\mathbf{y}'(t)=\lim_{h\to 0}\frac{\mathbf{y}(t+h) - \mathbf{y}(t)}{h},

设\left( e_1, e_2, \cdots e_n \right)为\mathbf{R}^n的一组基,那么对函数:y \, : t \, \mapsto \, y_1(t) e_1 + y_2(t) e_2 + \cdots y_n(t) e_n ,

其导函数为:y'(t) = y'_1(t) e_1 + y'_2(t) e_2 + \cdots y'_n(t) e_n

偏导数
如果有函数 f 其自变量不是单个实数,而是多于一个元素,例如:
:f(x,y) = x^2 + xy + y^2.\,
这时可以把其中一个元素(比如 x )看做参数,那么 f 可以看做是关于另一个元素的参数函数:
:f(x,y) = f_x(y) = x^2 + xy + y^2.\,
也就是说,对于某个确定的 x,函数 f_x 就是一个关于 y 的函数。在 x=a 固定的情况下,可以计算这个函数 f_x 关于 y 的导数。
:f_a'(y) = a + 2y\,
这个表达式对于所有的 a 都对。这种导数称为偏导数,一般记作:
:\frac{\partial f}{\partial y}(x,y) = x + 2y
这里的符号 ∂ 是字母 d 的圆体变体,一般读作 \delta 的首音节或读“偏”,以便与 d 区别。

更一般地来说,一个多元函数 f \left( x_1 , x_2 , \cdots, x_n \right) 在点 \left( a_1 , a_2 , \cdots, a_n \right) 处对 x_i 的偏导数定义为:
:\frac{\partial f}{\partial x_i}(a_1,\ldots,a_n) = \lim_{h \to 0}\frac{f(a_1,\ldots,a_i+h,\ldots,a_n) - f(a_1,\ldots,a_n)}{h}.
上面的极限中,除了 x_i 外所有的自变元都是固定的,这就确定了一个一元函数:
:f_{a_1,\ldots,a_{i-1},a_{i+1},\ldots,a_n}(x_i) = f(a_1,\ldots,a_{i-1},x_i,a_{i+1},\ldots,a_n)
因此,按定义有:
:\frac{df_{a_1,\ldots,a_{i-1},a_{i+1},\ldots,a_n}}{dx_i}(a_i) = \frac{\partial f}{\partial x_i}(a_1,\ldots,a_n).
偏导数的实质仍然是一元函数的导数。

多变量函数的一个重要的例子,是从\mathbf{R}^n(例如 \mathbf{R}^2 或 \mathbf{R}^3)映射到\mathbf{R}上的标量值函数 f \left( x_1 , x_2 , \cdots, x_n \right)。在这种情况下,f 关于每一个变量 x_i 都有偏导数\frac{\partial f}{\partial x_i}。在点 x=\boldsymbol{a},这些偏导数定义了一个向量:

:\nabla f(\boldsymbol{a}) = \left[\frac{\partial f}{\partial x_1}(\boldsymbol{a}), \ldots, \frac{\partial f}{\partial x_n}(\boldsymbol{a})\right]。

这个向量称为 f 在点 \boldsymbol{a} 的梯度。如果 f 在定义域中的每一个点都是可微的,那么梯度便是一个向量值函数 \nabla f,它把点 a 映射到向量 \nabla f(a)。这样,梯度便决定了一个向量场。

方向导数
方向导数是比偏导数更加广泛的概念。导数的本质是函数值增量与自变量增量之比的极限。在多元函数 f 中,可以选定一个确定的方向(以这个方向上的单位向量 \boldsymbol{\delta} 表示),并考虑函数在这个方向上的增量:
f(\boldsymbol{x}_0 + t \boldsymbol{\delta}) - f(\boldsymbol{x}_0)
这个增量为关于 t 的一元函数。函数 f 的方向导数定义为这个增量与 t 的比值在 t 趋于0时的极限,记为\frac{\partial f}{\partial \boldsymbol{\delta}}(\boldsymbol{x}_0)。
\frac{\partial f}{\partial \boldsymbol{\delta}}(\boldsymbol{x}_0) = \lim_{t \to 0}\frac{f(\boldsymbol{x}_0 + t \boldsymbol{\delta}) - f(\boldsymbol{x}_0)}{t}
方向导数表示了函数从某点开始在某个方向上的变化率。

在\mathbf{R}^n中,如果将向量 \boldsymbol{\delta} 选为正规基 \left( \boldsymbol{e}_1 , \boldsymbol{e}_2 , \cdots, \boldsymbol{e}_n \right) 之中的一个,如\boldsymbol{e}_i,那么方向导数就是关于 \boldsymbol{x}_i 的偏导数。

推广
导数的概念建立在变量为实数之上,但也可以推广到更加广泛的意义上。推广的导数本质上仍旧是函数在局部一点上的线性逼近。
复变量导数
对于变量为复数的函数,也可以定义导数的概念。假设有复变函数f : \Omega \in \mathbb{C} \to \mathbb{C}。如果 f 在某一点 z_0 及附近有定义,并且极限:
:\lim_{z \to z_0}\frac{f(z) - f(z_0)}{z - z_0}
存在,那么就说函数 f 在 z_0 可导。其中 z \to z_0 表示 z - z_0 的模长趋向于0。如果将复变量 z 视作 x+iy,那么 f 可以视作一个\mathbb{R}^2上的函数。如果作为复变函数的 f 可导,那么作为\mathbb{R}^2上函数的 f 的偏导数也存在,但反之则不然。只有当柯西-黎曼条件满足的时候才能保证复变函数的复可导性。

弱微分
在分布理论里,弱微分的概念使得对更多严格意义上无法求导的函数也可以定义导函数。设u是一个局部勒贝格可积(比如说在L^1_{loc}(\mathbb{R})\ 中)的函数,称v \in L^1_{loc}(\mathbb{R})是u的一个弱微分,如果对所有的测试函数\varphi,都有:
:\int_{\mathbb{R}} u(t)\varphi'(t)dt=-\int_{\mathbb{R}} v(t)\varphi(t)dt
成立。其中测试函数是指紧支撑的光滑函数。弱微分包括了强微分,也就是通常意义上的导数。

次导数
在凸分析,也就是对凸函数的研究中,可以定义凸函数的次导数。次导数的概念是导数的几何意义的推广。由于函数是凸的,过它的图像上每一点总可以作一条直线,使得函数的图像在直线上方。这种直線的斜率称为函数在这点的次导数。如果函数在某点可导,那么次导数只有一个,等于其导数。如果函数像绝对值函数一样在零点有突然的转折,那么次导数可能不止一个。比如过零点而斜率在(-1,1)之间的直线都在绝对值函数下方,因此(-1,1)之间的每个数都是绝对值函数在零点的次导数。

非整数阶导数
早在十九世纪,在数学家明确了求导与积分的互逆关系以后,就出现了负阶次导数的记号:D^{-n} = \int^n(表示求n次积分)。而非整数阶导数的概念则进一步将其推广。比如,半微分算子H = D^{\frac12}表示其作用于函数上两次以后的效果将等于一次求导:
:H^2(f)(x) = HH(f) = D(f)(x) = f'(x)
定义非整数阶导数的方法不止一种,最常用的非整数阶导数定义为黎曼-刘维尔定义:
:设0 ,函数 f 的s阶积分为:D^{-s}_t f(t) = \frac{1}{\Gamma(s)} \int^t_a (t - u)^{s-1} f(u) d(u)
:而对n-1 ,函数 f 的\beta阶导数为:D^{\beta}_t f(t) = \frac{d^n}{dt^n} \left[ D^{-n-\beta}_t f(t) \right]

加托导数和弗雷歇导数
方向导数在无穷维向量空间如巴拿赫空间和弗雷歇空间上可以推广为加托导数和弗雷歇导数。二者都经常用于形式化泛函导数的概念,常见于物理学,特别是量子场论。

导子
微分代数中有导子的概念。导子是具备了微分算子的某些特征的运算子,例如向量场的李导数,或非交换代数中的交换子。给定一个环或域 \mathbf{R} 上的一个代数 \mathcal{A},\mathcal{A} 上的一个\mathbf{R}-导子 \delta 是一个从 \mathcal{A} 射到自身的\mathbf{R}-线性映射(线性自同态),并满足导数的乘积法则:

: \delta (ab) = (\delta a)b + a(\delta b)

所有\mathbf{R}-导子构成了 \mathcal{A} 上线性自同态集 \operatorname{End} \mathcal{A} 的子空间。

导数的应用
物理学、几何学、工程科学、经济学等学科中的一些重要概念都可以用导数来表示。如,导数可以表示运动物体的瞬时速度和加速度,也可以表示曲线在一点的斜率。
边际和弹性
经济学中,所谓边际和弹性的概念与导数紧密相关。比如边际成本就是产量增加一个单位所带来的成本的增加,若将其连续化,得到的便是成本函数的导数。又如需求的弹性是指价格变化一个单位时,需求量的变化,连续化后相应的也是需求函数关于价格的导数。

参见

  • 导数列表
  • 微积分
  • 微分
  • 積分
  • 光滑函数
  • 微分中值定理
  • 介值定理
  • 自动微分
  • 第二次数学危机
  • 协变导数
  • 数值微分

注释
参考文献
外部链接

*
*

评论 (0)

  • 还没有评论,来抢沙发吧。