导数

导数（derivative）是微积分学中的一个概念。函数在某一点的导数是指这个函数在这一点附近的变化率（即函数在这一点的切线斜率）。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数formula_1的自变量在一点formula_2上产生一个增量formula_3时，函数输出值的增量与自变量增量formula_3的比值在formula_3趋于0时的极限如果存在，即为formula_1在formula_2处的导数，记作formula_8、formula_9或formula_10。例如在运动学中，物体的位移对于时间的导数就是物体的瞬时速度。
导数是函数的局部性质。不是所有的函数都有导数，一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在，则称其在这一点可导(可微分)，否则称为不可导(不可微分)。如果函数的自变量和取值都是实数的话，那么函数在某一点的导数就是该函数所代表的曲线在这一点上的切线斜率。
对于可导的函数formula_1，formula_12也是一个函数，称作formula_1的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导（differentiation）。反之，已知导函数也可以倒过来求原来的函数，即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作，它们都是微积分学中最为基础的概念。
定义.
一般定义.
直观上 formula_14代表函数值从 formula_15 到 formula_16 的变化量，那这样，
formula_17
代表的是从 formula_15 到 formula_16 的平均变化率，如果把 formula_16 趋近于 formula_15，似乎就可以更能贴切的描述函数值在 formula_15 附近的变化。
以此为动机，若实函数 formula_1 于实数 formula_15 有定义，且以下极限（注意这个表达式所定义的函数定义域不含 formula_15 ）
formula_26 
存在则称 formula_1 于 formula_15 处可导，并称这个极限为 formula_1 于 formula_15 处的导数，记为formula_31也可记作 formula_32 或 formula_33 。
根据函数极限的定义，导数定义部分的 ＂存在 formula_34 使所有的 formula_35 ，只要 formula_36 都有...＂ 可以直观的理解为 ＂当 formula_37 趋近于 formula_38 都有...＂，但要把它写成严谨的定义，会碰到 ＂存在 formula_34 对所有的实数 formula_40 ，只要 formula_41 且 formula_42 都有...＂这段叙述无法直接套入极限定义的问题，对此必须把以下的表达式
formula_43
定义为导数原始极限表达式的简记，而非另一种自动合法的导数定义。但如果存在 formula_44 ，使 formula_1 在 formula_46 里都有定义，那定义 formula_47 为以
formula_48 
为定义域，然后以
formula_49
为对应规则的函数，那以下的极限式
formula_50
就可以把以 formula_40 为自变数的偏差，将之趋近于零求导数的想法纳入正式的运算里。
几何意义.
当函数定义域和取值都在实数域中的时候，导数可以表示函数的曲线上的切线斜率。如右图所示，设formula_52为曲线上的一个定点，formula_53为曲线上的一个动点。当formula_53沿曲线逐渐趋向于点formula_52时，并且割线formula_56的极限位置formula_57存在，则称formula_57为曲线在formula_52处的切线。
若曲线为一函数formula_60的图像，那么割线formula_56（粉红色）的斜率为：
formula_62
当formula_52处的切线formula_57（橘红色），即formula_56的极限位置存在时，此时formula_66，formula_67，则formula_57的斜率formula_69为：
formula_70
上式与一般定义中的导数定义完全相同，也就是说formula_71，因此，导数的几何意义即曲线formula_60在点formula_73处切线的斜率。
导数、导函数与微分算子.
若函数 formula_74 在其定义域包含的某区间 formula_75 内每一个点都可导，那么也可以说函数formula_74 在区间 formula_75 内可导，这时对于 formula_75 内每一个确定的formula_79 值，都对应着 formula_80 的一个确定的导数值，如此一来就构成了一个新的函数formula_12，这个函数称作原来函数 formula_74 的导函数，记作：formula_83、formula_84 或者 formula_85。值得注意的是，导数是一个数，是指函数 formula_86 在点 formula_87 处导函数的函数值。但在不至于混淆的情况下，通常也可以说导函数为导数。
由于对每一个可导的函数 formula_74，都有它的导函数 formula_84 存在，我们还可以定义将函数映射到其导函数的算子。这个算子称为微分算子，一般记作 formula_90 或 formula_91。例如：
由于微分算子的输出值仍然是函数，可以继续求出它在某一点的取值。比如说对于函数 formula_93，
所以formula_95，formula_96。
导数与微分.
微分也是一种线性描述函数在一点附近变化的方式。微分和导数是两个不同的概念。但是，对一元函数来说，可微与可导是完全等价的。可微的函数，其微分等于导数乘以自变量的微分formula_97，换句话说，函数的微分与自变量的微分之商等于该函数的导数。因此，导数也叫做微商。函数formula_98的微分又可记作formula_99。
历史.
导数和积分的发现是微积分发明的关键一步。17世纪以来，光学透镜的设计以及炮弹弹道轨迹的计算促使欧洲的数学家对曲线的切线进行研究。1630年代，法国数学家吉尔·德·罗伯瓦尔作出了最初的尝试。与此同时，同是法国人的费马在计算切线时已经使用了无穷小量的概念。
如右图，费马考虑曲线 formula_100 在 formula_16 处的切线。他声称，对于切线，有以下的关系成立：
对上式变形后得到：
对于具体的函数 formula_100，比如 formula_105，费马计算 formula_106 的值，并将 formula_3设为0，就得到 formula_108，从而确定切线的斜率。可以看出，费马的方法实质上已经是求导。费马还给出了 formula_100 为多项式时切线的公式。英国的巴罗、荷兰的于德（Johnann Van Waveren Hudde）和瓦隆的斯卢兹（René Francoiss Walther de Sluze）继续了费马的工作。然而，费马和巴罗等人并没有将求导归纳为一种独立的工具，只是给出了具体的计算技巧。
1660年代，英国人伊萨克·牛顿提出了“流数”的概念。牛顿在写于1671年的《流数法与无穷级数》中对流数的解释是：“我把时间看作是连续的流动或增长，而其他的量则随着时间而连续增长。我从时间流动性出发，把所有其他量的增长速度称为流数。”也就是说，流数就是导数。牛顿将无穷小的时间间隔定义为“瞬间”（moment），而一个量的增量则是流数与瞬间的乘积。求导数时，牛顿将自变量和因变量两边展开，同时除以瞬间，再将剩下的项中含有瞬间的项忽略掉。而在他的第三篇微积分论文中，牛顿使用了新的概念：最初比和最后比。他说：
相比于牛顿，德国数学家莱布尼兹使用了更清晰的记号来描述导数（见导数的记法一节）。他利用了巴罗的“微分三角形”概念，将自变量和因变量的增量记为 formula_110 和 formula_111。他把 formula_110 理解为“比任何给定的长度都要小”，而 formula_111 则是 formula_16 移动时 formula_115“瞬刻的增长”。而导数则是两者之间的比例。他还研究了函数之和、差、积、商的求导法则。
牛顿和莱布尼兹的差别在于，牛顿将无穷小量作为求流数或导数的工具，而莱布尼兹则用无穷小量的比值来表示导数。这与二人的哲学思想差异有关。
微积分的理论面世后，遭到了有关无穷小量定义的攻击与质疑。导数的定义自然也包括在内。莱布尼兹和牛顿对无穷小量的认识都是模糊的。不仅如此，莱布尼兹甚至引入了formula_116 和 formula_117，称其为“未消失的量”，用以进行求导前部的计算。在完成计算后再用“消失的量”formula_110 和 formula_111来代替它们，并假定前两者之比等于后两者之比，认为这是一个不容置疑的真理。
许多数学家，包括伯努利兄弟、泰勒、麦克劳林、达朗贝尔、拉格朗日和欧拉都想要对微积分的严密性辩护或将微积分严密化。但受限于对无穷小量的认识，十八世纪的数学家并没有做出太大的成果。微积分的强烈抨击者，英国的乔治·贝克莱主教在攻击无穷小量时认为，流数实际上是“消失的量的鬼魂”，是0与0之比。欧拉承认后者，并认为0与0之比可以是有限值。拉格朗日则假定函数都可以展开为幂级数，并在此基础上定义导数。
十九世纪后，随着对函数连续性和极限的更深刻认识，微积分终于趋于严谨。波尔查诺是首先将导数定义为函数值的改变量与自变量增量之比在自变量增量无限接近0时趋向的量。波尔查诺强调导数不是0与0之比，而是前面的比值趋向的数。柯西在他的著作《无穷小分析教程概论》中也使用了同样的定义，并定义formula_111 为导数与 formula_110 的乘积。这样，导数和微分的概念得到了统一。
导数的记法.
从微积分发轫至如今，不同的数学家都曾使用过不同的记号来表示函数的导数。部分记号至今仍然使用，成为现代的通用记法。
牛顿的记法.
作为微积分的发明人之一，牛顿在1704年著作中将导数用函数符号上方的点来表示。例如 formula_98的导数就记作formula_123，而二阶导数则记为formula_124。他以后的数学家也会将formula_123用来表示函数的微分。牛顿的记法中没有明确自变量，因此 formula_115 对 formula_16 的导数在牛顿的著作中也会被记成formula_128，因为这可以理解为两个函数formula_115 和 formula_16 对于另一个变量formula_131 的导数比。而这个导数比（使用莱布尼兹的记号）：
牛顿的记号多见于物理学或与之有关的方面，如微分方程中。以及直到现在，使用函数符号上加一点来表示某一变量的变化率（即对时间的导数）依然常见于各类物理学教材中（如使用formula_133来表示加速度等）。注意到对于高阶的导数，这种记法就无法表示了。
莱布尼兹的记法.
莱布尼兹在他的研究中分别使用 formula_134 和 formula_135 来表示函数自变量和应变量（输出值）的有限变化量，而使用 formula_110 和 formula_111 来表示“无限小”的变化量（即所谓的“无穷小量”）。如果将函数记为formula_98的话，那么在莱布尼兹的记法下，其导数记为：
这个记法最早出现在莱布尼兹1684年的论文中，莱布尼兹在之前的文章中会将 formula_110 记成 formula_144，把 formula_145 记成 formula_146。莱布尼兹记法的好处是明确了自变量和应变量。要注意的是记号formula_110是一个整体，formula_111也是，而formula_139可以看成一个整体，也可以不严谨地看成formula_111和formula_110的比值。此外，formula_139 表示的是导函数，在某一点 formula_153 的导数则记为：formula_154 
对于更高阶的导数（比如说n阶，见高阶导数一节），莱布尼兹的记法是：
这种记法是在1695年出现的。这里的分子和分母不再具有单独的意义。莱布尼兹的记法中使用 formula_158 来表示微分算子，比如说二阶的导数 formula_159 就可以看成：
莱布尼兹记法的另一个好处是便于记忆导数计算的法则。例如链式法则（见导数的计算一节）应用莱布尼兹的记法就是：
可以想象为右边是两个分式的乘积，消去formula_162之后就变成左边。
由于牛顿和莱布尼兹之间关于微积分创始人称号的持久纠纷，在十八世纪早期的很长时间里，英国数学界与欧洲大陆的数学界分别采用牛顿和莱布尼兹的记号，泾渭分明。这种情况直到十八世纪后期才开始改变，随着拉格朗日记法的出现而变得多样化起来。
拉格朗日的记法.
另一种现今常见的记法是十八世纪拉格朗日于1797年率先使用的，以在函数的右上角加上一短撇作为导数的记号。函数 formula_98 的导数就记作 formula_164 或 formula_165。二阶和三阶导数记为formula_166、formula_167 和 formula_100、formula_115。如果需要处理更高阶的导数，则用括号内的求导阶数n来代替短撇，记为：formula_170、formula_171。当十九世纪的数学家柯西处理微分学时，他认为莱布尼兹的记法“模糊不便”，而采用更为“紧凑”的记法，将 formula_139 记为formula_173。这种记法可说是拉格朗日记法的变种。后来这种记法曾继续被精简为formula_174。
其它记法.
十九世纪以前，尽管大部分数学家会选择采用牛顿、莱布尼兹或拉格朗日的记号来表示导数，但也有很多的数学家希望使用自己的方法来记录。在不同数学家的著作中可以看到各种主流记法的混合或变体。数学家之间关于什么样的记法最为简便和严谨也是各执一词。同时，由于函数的微分、导数、偏导数以及无穷小量等概念尚未成熟，记号的不统一更增加了数学家之间相互理解的难度。十九世纪初期的德国数学家马尔丹·欧姆采用formula_175来表示导数，而同时期的雅可比则采用formula_176来表示偏导数。同时许多数学家采用formula_177、formula_178或 formula_179表示偏导数。
用大写字母formula_90表示导数从十八世纪末就开始。1800年，法国数学家路易斯·弗朗索瓦·安托内·阿伯加斯特（Louis François Antoine Arbogast）使用formula_181表示函数 formula_1 的m阶导数或全微分。而其后本杰明·佩尔斯也使用formula_183表示 formula_1 对 formula_16 的导数。而柯西也采用类似的记号，用formula_186表示函数 formula_1 对 formula_16 的m阶偏导数。
函数可导的条件.
如果一个函数的定义域为全体实数，即函数在formula_189上都有定义，那么该函数是不是在定义域上处处可导呢？答案是否定的。函数在定义域中一点可导需要一定的条件。首先，要使函数formula_1在一点可导，那么函数一定要在这一点处连续。换言之，函数若在某点可导，则必然在该点处连续。这个结论来自于连续性的定义。
证明：
设函数formula_60上一点formula_2，函数在这一点可导，即formula_193存在，其中
所以：formula_195
即函数formula_100在formula_2处连续。
符号函数（sgn函数）是一个不连续的函数在断点处不可导的例子：
首先注意到这个函数在formula_198处不连续。作为验证，可以求出函数在formula_199处附近的变化率，根据函数可导的条件再进行判断：
然而，连续性并不能保证可导性。即使函数在一点上连续，也不一定就在这一点可导。事实上，存在着在每一点都连续，但又在每一点都不可导的“病态函数”。1931年，斯特凡·巴拿赫甚至证明，事实上“绝大多数”的连续函数都属于这种病态函数（至少在一点可导的连续函数在所有连续函数中是贫集）。在连续而不可导的函数里，一种常见的情况是，函数在某一点连续，并且可以定义它的左导数和右导数：
\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x} </math>
右导数：formula_204
然而左导数和右导数并不相等，因而函数在该处不可导。实际上，若函数导数存在，则必然可以推出左右导数相等，这是由极限的性质（极限存在则左右极限相等）得来：
formula_205
下面以绝对值函数作为例子：
该函数在formula_199处的左导数为：formula_207
该函数在formula_199处的右导数为：formula_209
绝对值函数在formula_199处的左右导数皆存在，但由于左右导数不相等，故绝对值函数在formula_199处不可导。
如果函数在一点的左右导数都存在并且相等，那么函数在该处可导。
导数与函数的性质.
通过认识可导函数的导数，可以推断出不少函数本身的性质。
单调性.
根据微积分基本定理，对于可导的函数formula_1，有：
如果函数的导函数在某一区间内恒大于零（或恒小于零），那么函数在这一区间内单调递增（或单调递减），这种区间也称为函数的单调区间。导函数等于零的点称为函数的驻点（或极值可疑点），在这类点上函数可能会取得极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 formula_214 的一点 formula_2，如果存在 formula_216 使得 formula_217 在区间formula_218 上都大于等于零，而在区间 formula_219 上都小于等于零，那么 formula_2 是一个极大值点，反之则为极小值点。如果formula_221 并且 formula_166 在 formula_2 改变加减号，则称这个点是拐点；否则这个点不是拐点。
如果函数在 formula_2 处的二阶导数 formula_225 存在，极值点也可以用它的正负性判断（已确定formula_226）。如果formula_227，那么 formula_2 是一个极小值点，反之为极大值点。
凹凸性.
可导函数的凹凸性与其导数的单调性有关。如果函数的导函数在某个区间上单调递增，那么这个区间上函数是向下凸的，反之则是向上凸的。如果二阶导函数存在，也可以用它的正负性判断，如果在某个区间上 formula_229 恒大于零，则这个区间上函数是向下凸的，反之这个区间上函数是向上凸的。
导数的计算.
原则上，函数的导数可以通过考虑差商和计算其极限来从定义计算。在实践中，一旦知道了一些简单函数的导数，就可以使用从更简单的函数获得更复杂函数的导数的规则，来更容易地计算其他函数的导数。
基本函数的导数.
所谓基本函数是指一些形式简单并且容易求出导数的函数。这些基本函数的导函数可以通过定义直接求出。
formula_230
其中formula_231是任意实数，那么
formula_232函数formula_1的定义域可以是整个实数域，但导函数的定义域则不一定与之相同。例如当 formula_234时：
导函数的定义域只限所有正实数而不包括0。需要注意的是，不会有多项式函数的导数为formula_236。当 formula_237 时，常函数的导数是0。
自然对数函数的导数则是 formula_243：formula_244 同样的，一般的对数函数导数则还需要乘以一个系数：formula_245
导数的求导法则.
由基本函数的和、差、积、商或相互复合构成的函数的导函数则可以通过函数的求导法则来推导。基本的求导法则如下：
若要求某个函数在某一点的导数，可以先运用以上方法求出这个函数的导函数，再看导函数在这一点的值。
例子.
欲求函数
在formula_261处的导数。可以先求出其导函数：
其中第二项使用了复合函数的求导法则，而第三项则使用了乘积的求导法则。求出导函数后，再将formula_261代入，得到导数为：
高阶导数.
二阶导数.
如果函数的导数formula_265在formula_266处可导，则称formula_267为formula_266的二阶导数。记做：formula_269，formula_270，formula_271或formula_272、
二阶导数可用于求解函数凹凸性问题。
formula_273函数在x上凹。
formula_274函数在x下凹。
高阶导数.
二阶导数的导数称为三阶导数，记做formula_275，formula_276，formula_277或formula_278
三阶导数的导数称为四阶导数，记做formula_279，formula_280，formula_281或formula_282
一般的formula_275的formula_284阶导数的导数称为formula_275的formula_286阶导数，记为formula_287，formula_288，formula_289或formula_290
高阶导数的求法.
一般来说，高阶导数的计算和导数一样，可以按照定义逐步求出。同时，高阶导数也有求导法则：
因此，可以利用已知的高阶导数求导法则，通过四则运算, 变量代换等方法，求出formula_294阶导数。一些常见的有规律的高阶导数的公式如下：
formula_298
formula_298
多元函数的导数.
向量值函数的导数.
当函数 formula_115 的取值不再是实数，而是一般的formula_306中的向量时，仍然可能对其求导。这时的函数值是：formula_307。每个 formula_308 都是一个实数值的函数。具体的例子如二维或者三维空间里的参数方程。因此，对 formula_98 求导实际上是对每个分量函数 formula_310 求导。
这也符合定义
设formula_313为formula_306的一组基，那么对函数：formula_315
其导函数为：formula_316
偏导数.
如果有函数 formula_1 其自变量不是单个实数，而是多于一个元素，例如：
这时可以把其中一个元素（比如 formula_16 ）看做参数，那么 formula_1 可以看做是关于另一个元素的参数函数：
也就是说，对于某个确定的 formula_16，函数 formula_323 就是一个关于 formula_115 的函数。在 formula_153 固定的情况下，可以计算这个函数 formula_323 关于 formula_115 的导数。
这个表达式对于所有的 formula_15 都对。这种导数称为偏导数，一般记作：
这里的符号 ∂ 是字母 formula_331 的圆体变体，一般读作 formula_332 的首音节或读“偏”，以便与 formula_331 区别。
更一般地来说，一个多元函数 formula_334 在点 formula_335 处对 formula_336 的偏导数定义为：
上面的极限中，除了 formula_336 外所有的自变元都是固定的，这就确定了一个一元函数：
因此，按定义有：
偏导数的实质仍然是一元函数的导数。
多变量函数的一个重要的例子，是从formula_306（例如 formula_342 或 formula_343）映射到formula_344上的标量值函数 formula_334。在这种情况下，formula_1 关于每一个变量 formula_336 都有偏导数formula_348。在点 formula_349，这些偏导数定义了一个向量：
这个向量称为 formula_1 在点 formula_352 的梯度。如果 formula_1 在定义域中的每一个点都是可微的，那么梯度便是一个向量值函数 formula_354，它把点 formula_355 映射到向量 formula_356。这样，梯度便决定了一个向量场。
方向导数.
方向导数是比偏导数更加广泛的概念。导数的本质是函数值增量与自变量增量之比的极限。在多元函数 formula_1 中，可以选定一个确定的方向（以这个方向上的单位向量 formula_358 表示），并考虑函数在这个方向上的增量：
formula_359
这个增量为关于 formula_131 的一元函数。函数 formula_1 的方向导数定义为这个增量与 formula_131 的比值在 formula_131 趋于0时的极限，记为formula_364。
formula_365
方向导数表示了函数从某点开始在某个方向上的变化率。
在formula_306中，如果将向量 formula_358 选为正规基 formula_368 之中的一个，如formula_369，那么方向导数就是关于 formula_370 的偏导数。
推广.
导数的概念建立在变量为实数之上，但也可以推广到更加广泛的意义上。推广的导数本质上仍旧是函数在局部一点上的线性逼近。
复变量导数.
对于变量为复数的函数，也可以定义导数的概念。假设有复变函数formula_371。如果 formula_1 在某一点 formula_373 及附近有定义，并且极限：
存在，那么就说函数 formula_1 在 formula_373 可导。其中 formula_377 表示 formula_378 的模长趋向于0。如果将复变量 formula_379 视作 formula_380，那么 formula_1 可以视作一个formula_382上的函数。如果作为复变函数的 formula_1 可导，那么作为formula_382上函数的 formula_1 的偏导数也存在，但反之则不然。只有当柯西-黎曼条件满足的时候才能保证复变函数的复可导性。
弱微分.
在分布理论里，弱微分的概念使得对更多严格意义上无法求导的函数也可以定义导函数。设formula_386是一个局部勒贝格可积（比如说在formula_387中）的函数，称formula_388是formula_386的一个弱微分，如果对所有的测试函数formula_390，都有：
成立。其中测试函数是指紧支撑的光滑函数。弱微分包括了强微分，也就是通常意义上的导数。
次导数.
在凸分析，也就是对凸函数的研究中，可以定义凸函数的次导数。次导数的概念是导数的几何意义的推广。由于函数是凸的，过它的图像上每一点总可以作一条直线，使得函数的图像在直线上方。这种直线的斜率称为函数在这点的次导数。如果函数在某点可导，那么次导数只有一个，等于其导数。如果函数像绝对值函数一样在零点有突然的转折，那么次导数可能不止一个。比如过零点而斜率在formula_392之间的直线都在绝对值函数下方，因此formula_392之间的每个数都是绝对值函数在零点的次导数。
非整数阶导数.
早在十九世纪，在数学家明确了求导与积分的互逆关系以后，就出现了负阶次导数的记号：formula_394（表示求n次积分）。而非整数阶导数的概念则进一步将其推广。比如，半微分算子formula_395表示其作用于函数上两次以后的效果将等于一次求导：
定义非整数阶导数的方法不止一种，最常用的非整数阶导数定义为黎曼-刘维尔定义：
加托导数和弗雷歇导数.
方向导数在无穷维向量空间如巴拿赫空间和弗雷歇空间上可以推广为加托导数和弗雷歇导数。二者都经常用于形式化泛函导数的概念，常见于物理学，特别是量子场论。
导子.
微分代数中有导子的概念。导子是具备了微分算子的某些特征的运算子，例如向量场的李导数，或非交换代数中的交换子。给定一个环或域 formula_344 上的一个代数 formula_404，formula_404 上的一个formula_344-导子 formula_332 是一个从 formula_404 射到自身的formula_344-线性映射（线性自同态），并满足导数的乘积法则：
所有formula_344-导子构成了 formula_404 上线性自同态集 formula_413 的子空间。
导数的应用.
物理学、几何学、工程科学、经济学等学科中的一些重要概念都可以用导数来表示。如，导数可以表示运动物体的瞬时速度和加速度，也可以表示曲线在一点的斜率。
边际和弹性.
经济学中，所谓边际和弹性的概念与导数紧密相关。比如边际成本就是产量增加一个单位所带来的成本的增加，若将其连续化，得到的便是成本函数的导数。又如需求的弹性是指价格变化一个单位时，需求量的变化，连续化后相应的也是需求函数关于价格的导数。