查看“导数”的源代码

{{Good article}}
{{NoteTA|G1=Math}}
[[File:Tangent to a curve.svg|thumb|right|220px|一个实值函数的图像曲线。函数在一点的导数等于它的图像上这一点处之[[切线]]的[[斜率]]。]]
{{微积分学}}
'''导数'''（{{lang-en|Derivative}}）是[[微积分]]学中重要的基礎概念。一个[[函数]]在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过[[极限 (数学)|极限]]的概念对函数进行局部的线性逼近。当函数<math>f</math>的自变量在一点<math>x_0</math>上产生一个增量<math>h</math>时，函數输出值的增量與自變量增量<math>h</math>的比值在<math>h</math>趋于0时的極限如果存在，即為<math>f</math>在<math>x_0</math>处的导数，记作<math>f'(x_0)</math>、<math>\frac{\mathrm{d}f}{\mathrm{d}x}(x_0)</math>或<math>\left.\frac{\mathrm{d}f}{\mathrm{d}x}\right|_{x=x_0}</math>。例如在[[运动学]]中，物体的[[位移]]对于[[时间]]的导数就是物体的瞬时[[速度]]{{r|qhfx|page=153}}。

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

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

== 定义 ==
=== 一般定义 ===

[[File:What is derivative (animation).gif|thumb|一個動畫，給出了一個直觀的導數概念，因為參數變化時函數的“擺動”會改變。]]

设有定义域和取值都在[[实数]]域中的函数 <math>y=f(x)\;</math>。若 <math>f(x)\;</math> 在点 <math>\;x_0\;</math> 的某个[[邻域]]内有定义，则当自变量 <math>\;x\;</math> 在 <math>\;x_0\;</math> 处取得增量 <math>\Delta x\;</math>（点 <math>\;x_0+\Delta x\;</math> 仍在该邻域内）时，相应地 <math>\;y\;</math> 取得增量 <math>\Delta y=f(x_0+\Delta x)-f(x_0)\,\!</math>；如果 <math>\Delta \;y\;</math> 与 <math>\Delta \;x\;</math> 之比当 <math>\Delta x\to 0</math> 时的极限存在，则称函数 <math>y=f(x)\,\!</math> 在点 <math>\;x_0\;</math> 处'''可导'''，并称这个极限为函数 <math>y=f(x)\,\!</math> 在点 <math>\;x_0\;</math> 处的'''导数'''，记为 <math>f'(x_0)\;</math>，即：{{r|fdfx|page=117-118}}
<center>{{Squote|w=50%|<math>f'(x_0)=\lim_{\Delta x \to 0}\frac{\Delta y}{\Delta x}=\lim_{\Delta x \to 0}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x}</math>}}</center>
也可记作 <math>y^\prime (x_0)</math>、 <math>\left.\frac{\mathrm{d}y}{\mathrm{d}x}\right|_{x=x_0}</math>、 <math>\frac{\mathrm{d}f}{\mathrm{d}x}(x_0)</math>或 <math>\left.\frac{\mathrm{d}f}{\mathrm{d}x}\right|_{x=x_0}</math>{{r|qhfx|page=154}}。

对于一般的函数，如果不使用增量的概念，函数 <math>f(x)\;</math> 在点 <math>x_0\;</math> 处的导数也可以定义为：当定义域内的变量 <math>x\;</math> 趋近于 <math>x_0\;</math> 时，
:<math>\frac{f(x)-f(x_0)}{x - x_0}</math>
的极限。也就是说，
<div style="text-align: center;">
<math>f'(x_0)=\lim_{x \to x_0}\frac{f(x)-f(x_0)}{x - x_0}</math>{{r|qhfx|page=154}}
</div>

===几何意义===
[[File:Derivative - geometric meaning.svg|right|300px|无框]]
当函数定义域和取值都在[[实数]]域中的时候，导数可以表示函数的曲线上的切线斜率。如右图所示，设<math>P_0</math>为曲线上的一个定点，<math>P</math>为曲线上的一个动点。当<math>P</math>沿曲线逐渐趋向于点<math>P_0</math>时，并且割线<math>P P_0</math>的极限位置<math>P_0 T</math>存在，则称<math>P_0 T</math>为曲线在<math>P_0</math>处的切线。

若曲线为一函数<math>y=f(x)</math>的图像，那么割线<math>P P_0</math>（粉紅色）的斜率为：

<div style="text-align: center;">
<math>\tan \varphi=\frac{\Delta y}{\Delta x}=\frac{f(x_0 + \Delta x)-f(x_0)}{\Delta x}</math>
</div>

当<math>P_0</math>处的切线<math>P_0 T</math>（橘紅色），即<math>P P_0</math>的极限位置存在时，此时<math>\Delta x \to 0</math>，<math>\varphi \to \alpha</math>，则<math>P_0 T</math>的斜率<math>\tan \alpha</math>为：

<div style="text-align: center;">
<math>\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}</math>
</div>

上式与一般定义中的导数定义完全相同，也就是说<math>f'(x_0)=\tan \alpha</math>，因此，导数的几何意义即曲线<math>y=f(x)</math>在点<math>P_0 (x_0,f(x_0))</math>处切线的斜率。{{r|fdfx|page=117}}{{r|qhfx|page=153}}

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

由于对每一个可导的函数 <math>\;f(x)\;</math>，都有它的导函数 <math>f'(x)\;</math> 存在，我们还可以定义将函数映射到其导函数的[[算子]]。这个算子称为微分算子，一般记作 <math>D</math> 或 <math>\tfrac{\mathrm{d}}{\mathrm{d}x}</math><ref>{{cite book | title = 《线性代数》|author =朝嵩金, 正敏段, 汉明王 | publisher =清华大学出版社 | year =2006 | isbn =7-302-12350-0 }}</ref>。例如：
:<math>\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}</math>
由于微分算子的输出值仍然是函数，可以继续求出它在某一点的取值。比如说对于函数 <math>\;f(x)=x^2\;</math>，
:<math> D(f) = (x \mapsto 2 \cdot x)</math>
所以<math>D(f)(x) = 2x</math>，<math>D(f)(1.4) = 2 \times 1.4 = 2.8 </math>。

=== 导数与微分 ===
[[微分]]也是一种线性描述函数在一点附近变化的方式。微分和导数是两个不同的概念。但是，对一元函数来说，可微与可导是完全等价的。可微的函数，其微分等于导数乘以自变量的微分<math>\mathrm{d}x</math>，换句话说，函数的微分与自变量的微分之商等于该函数的导数。因此，导数也叫做'''微商'''。函数<math>y = f(x)</math>的微分又可记作<math>\mathrm{d}y = f'(x)\mathrm{d}x</math><ref>{{cite journal|title =「可微」還是「可導」？|url =http://www.hkame.org.hk/html/modules/tinyd2/content/Edumath/v16/10LeungCK_diff.pdf|author =梁子杰|journal =數學教育|volume =第十六期}}{{dead link|date=2017年12月 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>。

== 历史 ==
导数和积分的发现是微积分发明的关键一步。十七世纪以来，光学透镜的设计以及炮弹弹道轨迹的计算促使欧洲的数学家对曲线的切线进行研究。1630年代，法国数学家[[吉尔·德·罗伯瓦尔]]作出了最初的尝试<ref name="history">{{en}}{{cite web | title = History of the Differential from the 17th Century | url =http://www.math.wpi.edu/IQP/BVCalcHist/calc2.html | author = Dan Ginsburg, Brian Groose, Josh Taylor, Bogdan Vernescu | accessdate = 2011-02-10}}</ref>。与此同时，同是法国人的[[费马]]在计算切线时已经使用了无穷小量的概念<ref>发现于费马1637年的手稿《求最大值和最小值的方法》</ref>{{r|klein2|page=52}}。
[[File:Fermat derivation.JPG|right|340px|无框]]
如右图，费马考虑曲线 <math>f(x)</math> 在 <math>x</math> 处的切线。他声称，对于切线，有以下的关系成立：

:<math>\frac{s}{s+h} = \frac{f(x)}{f(x+h)}</math>

对上式变形后得到：

:<math>s = \frac{f(x)}{\frac{f(x+h) - f(x)}{h}}</math>

对于具体的函数 <math>f(x)</math>，比如 <math>f(x) = x^3</math>，费马计算 <math>\frac{f(x+h) - f(x)}{h}</math> 的值，并将 <math>h</math>设为0，就得到 <math>s</math>，从而确定切线的斜率。可以看出，费马的方法实质上已经是求导。费马还给出了 <math>f(x)</math> 为[[多项式]]时切线的公式。英国的[[伊萨克·巴罗|巴罗]]、荷兰的[[于德]]（Johnann Van Waveren Hudde）和[[瓦隆]]的[[斯卢兹]]（René Francoiss Walther de Sluze）继续了费马的工作<ref>{{en}}{{cite web | title =''Isaac Barrow''| url = http://www.maths.tcd.ie/pub/HistMath/People/Barrow/RouseBall/RB_Barrow.html | author = W. W. Rouse Ball | accessdate = 2011-02-10}}</ref>。然而，费马和巴罗等人并没有将求导归纳为一种独立的工具，只是给出了具体的计算技巧<ref name="history"/>。

十七世纪六十年代，英国人[[伊萨克·牛顿]]提出了“流数”的概念。牛顿在写于1671年的《流数法与无穷级数》中对流数的解释是：“我把时间看作是连续的流动或增长，而其他的量则随着时间而连续增长。我从时间流动性出发，把所有其他量的增长速度称为流数。”也就是说，流数就是导数。牛顿将无穷小的时间间隔定义为“瞬间”（moment），而一个量的增量则是流数与瞬间的乘积。求导数时，牛顿将自变量和因变量两边展开，同时除以瞬间，再将剩下的项中含有瞬间的项忽略掉{{r|klein2|page=72}}。而在他的第三篇微积分论文中，牛顿使用了新的概念：最初比和最后比。他说：
{{cquote|随我们的意愿，流数可以任意地接近于在尽可能小的等间隔时段中产生的增量，精确地说，它们是最初增量的最初的比，它们也能用和它们成比例的任何线段来表示。{{r|klein2|page=74}} }}

相比于牛顿，德国数学家[[莱布尼兹]]使用了更清晰的记号来描述导数（见[[导数#导数的记法|导数的记法]]一节）。他利用了巴罗的“微分三角形”概念，将自变量和因变量的增量记为 <math>dx</math> 和 <math>dy</math>。他把 <math>dx</math> 理解为“比任何给定的长度都要小”，而 <math>dy</math> 则是 <math>x</math> 移动时 <math>y</math>“瞬刻的增长”{{r|klein2|page=89}}。而导数则是两者之间的比例。他还研究了函数之和、差、积、商的求导法则。

[[File:GodfreyKneller-IsaacNewton-1689.jpg|thumb|right|200px|伊萨克·牛顿爵士]]
牛顿和莱布尼兹的差别在于，牛顿将无穷小量作为求流数或导数的工具，而莱布尼兹则用无穷小量的比值来表示导数。这与二人的哲学思想差异有关{{r|klein2|page=92}}。

微积分的理论面世后，遭到了有关无穷小量定义的攻击与质疑。导数的定义自然也包括在内。莱布尼兹和牛顿对无穷小量的认识都是模糊的。不仅如此，莱布尼兹甚至引入了<math>(d)x</math> 和 <math>(d)y</math>，称其为“未消失的量”，用以进行求导前部的计算。在完成计算后再用“消失的量”<math>dx</math> 和 <math>dy</math>来代替它们，并假定前两者之比等于后两者之比，认为这是一个不容置疑的真理{{r|klein2|page=102}}。

许多数学家，包括伯努利兄弟、[[布鲁克·泰勒|泰勒]]、[[麦克劳林]]、[[达朗贝尔]]、[[拉格朗日]]和[[欧拉]]都想要对微积分的严密性辩护或将微积分严密化。但受限于对无穷小量的认识，十八世纪的数学家并没有做出太大的成果。微积分的强烈抨击者，英国的[[乔治·贝克莱]]主教在攻击无穷小量时认为，流数实际上是“消失的量的鬼魂”，是0与0之比。欧拉承认后者，并认为0与0之比可以是有限值。拉格朗日则假定函数都可以展开为[[幂级数]]，并在此基础上定义导数{{r|klein2|page=154-156}}。

十九世纪后，随着对函数连续性和极限的更深刻认识，微积分终于趋于严谨。[[波尔查诺]]是首先将导数定义为函数值的改变量与自变量增量之比在自变量增量无限接近0时趋向的量。波尔查诺强调导数不是0与0之比，而是前面的比值趋向的数{{r|klein4|page=10}}。[[柯西]]在他的著作《无穷小分析教程概论》中也使用了同样的定义，并定义<math>dy</math> 为导数与 <math>dx</math> 的乘积。这样，导数和微分的概念得到了统一{{r|klein4|page=11}}。

== 导数的记法 ==
从微积分发轫至如今，不同的数学家都曾使用过不同的记号来表示函数的导数。部分记号至今仍然使用，成为现代的通用记法。

=== 牛顿的记法 ===
作为微积分的发明人之一，[[艾萨克·牛顿|牛顿]]在1704年著作中将导数用函数符号上方的点来表示。例如 <math>y = f(x)</math>的导数就记作<math>\dot{y}</math>，而二阶导数则记为<math>\ddot{y}</math>{{r|ahmn|page=193-196}}。他以后的数学家也会将<math>\dot{y}</math>用来表示函数的[[微分]]。牛顿的记法中没有明确自变量，因此 <math>y</math> 对 <math>x</math> 的导数在牛顿的著作中也会被记成<math>y' : x'</math>，因为这可以理解为两个函数<math>y</math> 和 <math>x</math> 对于另一个变量<math>t</math> 的导数比{{r|ahmn|page=196}}。而这个导数比（使用莱布尼兹的记号）：
:<math>y' : x' = \frac{dy}{dt} : \frac{dx}{dt} = \frac{dy}{dx}</math>
牛顿的记号多见于物理学或与之有关的方面，如[[微分方程]]中。以及直到现在，使用函数符号上加一点来表示某一变量的变化率（即对时间的导数）依然常见于各类物理学教材中（如使用<math>\dot{v}</math>来表示[[加速度]]等）。注意到对于高阶的导数，这种记法就无法表示了。

=== 莱布尼兹的记法 ===
[[File:Gottfried_Wilhelm_von_Leibniz.jpg|thumb|right|200px|戈特弗里德·威廉·莱布尼茨]]
[[莱布尼兹]]在他的研究中分别使用 <math>\Delta x</math> 和 <math>\Delta y</math> 来表示函数自变量和應变量（输出值）的有限变化量，而使用 <math>dx</math> 和 <math>dy</math> 来表示“无限小”的变化量（即所谓的“[[无穷小量]]”）<ref name="james">{{cite book | last=Stewart | first=James | title=Calculus: Early Transcendentals |publisher=[[Brooks/Cole]] | edition=6th | year=2008 | isbn=0-495-01166-5}}</ref>。如果将函数记为<math>y = f(x)</math>的话，那么在莱布尼兹的记法下，其导数记为：
: <math>\frac{dy}{dx}</math>、<math>\frac{d f}{dx}(x)</math>、<math>\frac{d}{dx}f(x)</math> 或 <math>\frac{d \left( f(x) \right)}{dx},</math>
这个记法最早出现在莱布尼兹1684年的论文中{{r|ahmn|page=204}}，莱布尼兹在之前的文章中会将 <math>dx</math> 记成 <math>\tfrac{x}{d}</math>，把 <math>\tfrac{dy}{dx}</math> 记成 <math>d \tfrac{y}{x}</math>。莱布尼兹记法的好处是明确了自变量和應变量<ref name="mary">{{ cite book | author=Mary Barnes | title=More about Functions and Differentiation |publisher= Curriculum Press | year = 1993 |isbn =}}第40-43页 </ref>。要注意的是记号<math>dx</math>是一个整体，<math>dy</math>也是，而<math>\frac{dy}{dx}</math>可以看成一个整体，也可以不严谨地看成<math>dy</math>和<math>dx</math>的比值<ref name="james"/>。此外，<math>\frac{dy}{dx}</math> 表示的是导函数，在某一点 <math>x=a</math> 的导数则记为：<math>\left.\frac{dy}{dx} \right|_{x=a}</math> 
对于更高阶的导数（比如说'''n'''阶，见[[导数#高阶导数|高阶导数]]一节），莱布尼兹的记法是：
:<math>\frac{d^n y}{dx^n}</math>、<math>\frac{d^n f}{dx^n}(x)</math> 或 <math>\frac{d^n \left[ f(x) \right]}{dx^n},</math>
这种记法是在1695年出现的{{r|ahmn|page=205}}。这里的分子和分母不再具有单独的意义。莱布尼兹的记法中使用 <math>\frac{d}{dx} </math> 来表示微分算子，比如说二阶的导数 <math>\frac{d^2 y}{dx^2}</math> 就可以看成：
:<math>\frac{d^2 y}{dx^2} = \frac{d}{dx} \left(\frac{dy}{dx} \right)</math><ref name="mary"/>
莱布尼兹记法的另一个好处是便于记忆导数计算的法则。例如[[链式法则]]（见[[导数#导数的计算|导数的计算]]一节）应用莱布尼兹的记法就是：
: <math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}</math>
可以想象为右边是两个分式的乘积，消去<math>du</math>之后就变成左边<ref name="mary"/>。

由于牛顿和莱布尼兹之间关于微积分创始人称号的持久纠纷，在十八世纪早期的很长时间里，英国数学界与欧洲大陆的数学界分别采用牛顿和莱布尼兹的记号，泾渭分明。这种情况直到十八世纪后期才开始改变，随着拉格朗日记法的出现而变得多样化起来{{r|ahmn|page=197-200}}。

=== 拉格朗日的记法 ===
另一种现今常见的记法是十八世纪[[拉格朗日]]于1797年率先使用的，以在函数的右上角加上一短撇作为导数的记号。函数 <math>y = f(x)</math> 的导数就记作 <math>f'(x)</math> 或 <math>y'</math><ref>{{en}}{{cite web| url = http://web.mit.edu/wwmath/calculus/differentiation/notation.html | title = The Notation of Differentiation | date = 1998-08-24| accessdate=2011-02-10}}</ref>。二阶和三阶导数记为<math>f''(x)</math>、<math>y''</math> 和 <math>f'''(x)</math>、<math>y'''</math>{{r|ahmn|page=207}}。如果需要处理更高阶的导数，则用括号内的求导阶数'''n'''来代替短撇，记为：<math>f^{(n)}(x)</math>、<math>y^{(n)}</math>。当十九世纪的数学家[[柯西]]处理微分学时，他认为莱布尼兹的记法“模糊不便”，而采用更为“紧凑”的记法，将 <math>\frac{dy}{dx}</math> 记为<math>y'_x</math>。这种记法可说是拉格朗日记法的变种{{r|ahmn|page=218}}。后来这种记法曾继续被精简为<math>y_x</math><ref>{{cite book | author = George Shoobridge Carr | title = A Synopsis of Elementary Results in Pure and Applied Mathematics | publisher  = C. F. Hodgson | year = 1880}}第258页.</ref>。

=== 其它记法 ===
十九世纪以前，尽管大部分数学家会选择采用牛顿、莱布尼兹或拉格朗日的记号来表示导数，但也有很多的数学家希望使用自己的方法来记录。在不同数学家的著作中可以看到各种主流记法的混合或变体。数学家之间关于什么样的记法最为简便和严谨也是各执一词。同时，由于函数的微分、导数、偏导数以及无穷小量等概念尚未成熟，记号的不统一更增加了数学家之间相互理解的难度{{r|ahmn|page=214-234}}。十九世纪初期的德国数学家[[马尔丹·欧姆]]采用<math>\partial f(x)</math>来表示导数，而同时期的[[雅可比]]则采用<math>\frac{\partial f}{\partial x}</math>来表示偏导数。同时许多数学家采用<math>\frac{d f}{d x}</math><ref>M.Fontaine, ''Mémoires donnés à l'académie royale des sciences, non imprimés dans leur temps'',1764.</ref>、<math>\frac{d}{x}f</math><ref>A. L. Crelle, ''Rechnungmit veranderlichcn GriJsscn'', Vol. I (Gottingen, 1813).</ref>或 <math>\frac{\delta f}{\delta x}</math><ref>Hamilton, ''Philosophical Transactions of the Royal Society''，(London, 1834), p.249</ref>表示偏导数。

用大写字母<math>D</math>表示导数从十八世纪末就开始。1800年，法国数学家[[路易斯·弗朗索瓦·安托内·阿伯加斯特]]（{{lang|fr|Louis François Antoine Arbogast}}）使用<math>D^m f</math>表示函数 <math>f</math> 的m阶导数或[[全微分]]<ref>Louis François Antoine Arbogast, ''Calcul des Derivations'', (1800)， p.89</ref>。而其后[[本杰明·佩尔斯]]（{{lang|en|Benjamin Peirce}}）也使用<math>Df \cdot x</math>表示 <math>f</math> 对 <math>x</math> 的导数<ref>Benjamin Peirce, ''Elementary Treatise on Curves, Functions, and Forces''(new ed. Boston and Cambridge), Vol I (1852)</ref>。而柯西也采用类似的记号，用<math>D^m_x f</math>表示函数 <math>f</math> 对 <math>x</math> 的m阶[[偏导数]]<ref>{{fr}}A.L.Cauchy, ''Exercices d'analyse et de physique mathematique'', (1844), p.12-17.</ref>。

== 函数可导的条件 ==
如果一个[[函数]]的[[定义域]]为全体[[实数]]，即函数在<math>(-\infty,+\infty)</math>上都有定义，那么该函数是不是在定义域上处处可导呢？答案是否定的。函数在定义域中一点可导需要一定的条件。首先，要使函数<math>f</math>在一点可导，那么函数一定要在这一点处连续。换言之，函数若在某点可导，则必然在该点处连续。这个结论来自于连续性的定义。
<div style="margin-left:20px; margin-top:10px;padding-left:16px;padding-bottom:8px;padding-right:16px;padding-top:10px;background-color:#E8FFC4;width:90%;">
<div style="font-size:108%;">'''证明'''：
</div>
<div style="margin-left:6px;margin-top:6px;font-size:85%;">
设函数<math>y=f(x)</math>上一点<math>x_0</math>，函数在这一点可导，即<math>f'(x_0) = \lim_{\Delta x \to 0}\frac{\Delta y}{\Delta x}</math>存在，其中
:<math>\Delta y=f(x_0+ \Delta x)-f(x_0)</math>
所以：<math>\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</math>
即函数<math>f(x)</math>在<math>x_0</math>处连续。{{r|fdfx|page=118}}
</div></div>
[[符号函数]]（sgn函数）是一个不连续的函数在断点处不可导的例子：
[[File:function_sgnx.jpg|right|400px|thumb]]
首先注意到这个函数在<math>x_0=0</math>处不连续。作为验证，可以求出函数在<math>x=0</math>处附近的变化率，根据函数可导的条件再进行判断：
:该函数在<math>x_0=0</math>左侧附近的变化率为：<math>\frac{f(x)-f(x_0)}{x-x_0} =\frac{-1-0}{x-0} = - \frac{1}{x}</math>
:当<math>x \to 0^-</math>时，上面的比值趋于正无穷大发散，不存在，故这个符号函数在<math>x_0=0</math>处不可导。

然而，连续性并不能保证可导性。即使函数在一点上连续，也不一定就在这一点可导。事实上，存在着在每一点都连续，但又在每一点都不可导的“病态函数”。1931年，[[斯特凡·巴拿赫]]甚至证明，事实上“[[几乎处处|绝大多数]]”的连续函数都属于这种病态函数（至少在一点可导的连续函数在所有连续函数中是[[贫集]]）<ref>{{Citation|author=Banach, S.|title=Uber die Baire'sche Kategorie gewisser Funktionenmengen|journal=Studia. Math.|issue=3|year=1931|pages=174–179|postscript=.}}</ref>。在连续而不可导的函数里，一种常见的情况是，函数在某一点连续，并且可以定义它的左导数和右导数：
{{Squote|w=65%|<center>左导数：<math>f'_{-}(x_0)=\lim_{\Delta x \to 0^{-}}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x} </math>{{r|fdfx|page=118}}{{r|qhfx|page=155}}</center>

<center>右导数：<math>f'_{+}(x_0)=\lim_{\Delta x \to 0^{+}}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x} </math>{{r|fdfx|page=118}}{{r|qhfx|page=155}}</center>
}}
然而左导数和右导数并不相等，因而函数在该处不可导。实际上，若函数导数存在，则必然可以推出左右导数相等，这是由极限的性质（极限存在则左右极限相等）得来：
<div align=center>
<math>\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}</math>
</div>
下面以绝对值函数作为例子：
[[File:function_absx.jpg|right|400px|thumb]]
该函数在<math>x=0</math>处的左导数为：<math>f'_{-}(0)=\lim_{ x \to 0^{-}}\frac{f(x)-f(0)}{x-0} =\lim_{ x \to 0^{-}}\frac{-x-0}{x-0} =-1</math>

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

绝对值函数在<math>x=0</math>处的左右导数皆存在，但由于左右导数不相等，故绝对值函数在<math>x=0</math>处不可导。{{r|fdfx|page=118-119}}

如果函数在一点的左右导数都存在并且相等，那么函数在该处可导。{{r|qhfx|page=155}}

== 导数与函数的性质 ==
通过认识可导函数的导数，可以推断出不少函数本身的性质。
=== 单调性 ===
[[File:Graph of sliding derivative line.gif|thumb|right|400px|x变化时函数<math>\scriptstyle f(x) = 1+ x \sin (x^2)</math>（蓝色曲线）的切线变化。函数的导数值就是切线的斜率，绿色代表其值为正，红色代表其值为负，黑色代表值为零。]]
根据[[微积分基本定理]]，对于可导的函数<math>f</math>，有：
:<math>f(b) - f(a) = \int^b_a f'(t)\mathrm{d}t</math>
如果函数的导函数在某一区间内恒大于零（或恒小于零），那么函数在这一区间内单调递增（或单调递减），这种区间也称为函数的单调区间。导函数等于零的点称为函数的[[驻点]]（或极值可疑点），在这类点上函数可能会取得极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 <math>f'(x_0) = 0</math> 的一点 <math>x_0</math>，如果存在 <math>\delta > 0 </math> 使得 <math>f'</math> 在区间<math>(x_0 - \delta, x_0]</math> 上都大于等于零，而在区间 <math>[x_0 , x_0 + \delta)</math> 上都小于等于零，那么 <math>x_0</math> 是一个极大值点，反之则为极小值点{{r|fdfx|page=170}}。如果<math>f''(x_0)=0</math> 並且 <math>f''(x)</math> 在 <math>x_0</math> 改變加減號，則称这个点是[[拐点]]；否則这个点不是[[拐点]]。<ref name="Rogawski2007">{{cite book|author=Jon Rogawski|title=Single Variable Calculus|date=11 June 2007|publisher=W. H. Freeman|isbn=978-1-4292-1071-3}}</ref>{{rp|200}}

如果函数在 <math>x_0</math> 处的二阶导数 <math>f''(x_0)</math> 存在，极值点也可以用它的正负性判断（已确定<math>f'(x_0)=0</math>）。如果<math>f''(x_0) > 0</math>，那么 <math>x_0</math> 是一个极小值点，反之为极大值点{{r|fdfx|page=170-171}}。

=== 凹凸性 ===

可导函数的凹凸性与其导数的单调性有关。如果函数的导函数在某个区间上单调递增，那么这个区间上函数是向下凸的，反之则是向上凸的。如果二阶导函数存在，也可以用它的正负性判断，如果在某个区间上 <math>f''</math> 恒大于零，则这个区间上函数是向下凸的，反之这个区间上函数是向上凸的{{r|fdfx|page=176-178}}。

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

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

* [[幂函数]]的导数：如果

<math>f(x) = x^r,</math>

其中<math>r</math>是任意实数，那么

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

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

* 底数为<math>e</math>的[[指数函数]] <math>\scriptstyle y = e^x</math> 的导数还是自身：<math>\scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}e^x = e^x.</math> 而一般的指数函数 <math>y = a^x</math> 的导数还需要乘以一个系数：<math>\scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}a^x = \ln(a)a^x.</math>{{r|fdfx|page=122}}

[[对数函数|自然对数函数]]的导数则是 <math> x^{-1}</math>：<math>\scriptstyle  \frac{\mathrm{d}}{\mathrm{d}x}\ln(x) = \frac{1}{x},\qquad x > 0.</math>{{r|fdfx|page=123}} 同样的，一般的对数函数导数则还需要乘以一个系数：<math> \scriptstyle \frac{\mathrm{d}}{\mathrm{d}x}\log_a(x) = \frac{1}{x\ln(a)}</math>

* [[三角函数]]的导数仍然是三角函数，或者由三角函数构成{{r|fdfx|page=122}}:
:<math> \frac{d}{dx}\sin(x) = \cos(x).</math>
:<math> \frac{d}{dx}\cos(x) = -\sin(x).</math>
:<math> \frac{d}{dx}\tan(x) = \sec^2(x) = \frac{1}{\cos^2(x)} = 1+\tan^2(x).</math>
:<math> \frac{\mathrm{d}}{\mathrm{d}x}\cot(x) = -\csc^2(x) = -\frac{1}{\sin^2(x)}.</math>

* [[反三角函数]]的导数则是[[无理数|无理]][[分式]]{{r|qhfx|page=160}}:
:<math> \frac{d}{dx}\arcsin(x) = \frac{1}{\sqrt{1-x^2}},\qquad -1<x<1.</math>
:<math> \frac{d}{dx}\arccos(x)= -\frac{1}{\sqrt{1-x^2}},\qquad -1<x<1.</math>
:<math> \frac{d}{dx}\arctan(x)= \frac{1}{{1+x^2}}</math>

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

* 求导的线性性：对函数的线性组合求导，等于先对其中每个部分求导后再取线性组合。
:<math>(af + bg)' = af' + bg' \,</math> （其中<math>a, b</math>为常数）{{r|fdfx|page=121}}
* 两个函数的乘积的导函数，等于其中一个的导函数乘以另一者，加上另一者的导函数与其的乘积
:<math>(fg)' = f'g + fg' \,</math> {{r|fdfx|page=125}}
* 两个函数的商的导函数也是一个分式。其中分子是分子函数的导函数乘以分母函数减去分母函数的导函数乘以分子函数后的差，而其分母是分母函数的平方。
:<math>\left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2}</math> （在<math>g(x) \neq 0</math>处方有意义）{{r|fdfx|page=126}}
* [[链式法则|复合函数的求导法则]]：如果有复合函数 <math>f(x) = h[g(x)]</math>，那么
:<math>f'(x) = h'[g(x)] \cdot g'(x). \,</math>{{r|fdfx|page=128}}

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

=== 例子 ===
欲求函数
: <math>f(x) = x^4 + \sin (x^2) - \ln(x) e^x + 7\,</math>
在<math>x = 3</math>处的导数。可以先求出其导函数：
: <math>
\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}
</math>
其中第二项使用了复合函数的求导法则，而第三项则使用了乘积的求导法则。求出导函数后，再将<math>x = 3</math>代入，得到导数为：
:<math>f'(3) = 108 + 6 \cos (9) - \frac{e^3}{3} - \ln(3) e^3 \,</math>

== 高阶导数 ==
=== 二阶导数 ===
如果函数的导数<math>f'(x)\,</math>在<math>x\,</math>处可导，则称<math>[f'(x)]'\,</math>为<math>x\,</math>的二阶导数。记做：<math>f''(x)\,</math>，<math>y''\,</math>，<math> \frac{{\rm{d}}^2 y}{{\rm{d}}x^2} </math>或<math>\frac{{\rm{d}}^2 f(x)}{{\rm{d}}x^2}</math>{{r|fdfx|page=132}}

=== 高阶导数 ===
二阶导数的导数称为三阶导数，记做<math>f'''(x)\,</math>，<math>y'''\,</math>，<math>\frac{{\rm{d}}^3 y}{{\rm{d}}x^3}</math>或<math>\frac{{\rm{d}}^3 f(x)}{{\rm{d}}x^3}</math>

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

一般的<math>f(x)\,</math>的<math>n-1\,</math>阶导数的导数称为<math>f(x)\,</math>的<math>n\,</math>阶导数，记为<math>f^{(n)}(x)\,</math>，<math>y^{(n)}\,</math>，<math>\frac{{\rm{d}}^n y}{{\rm{d}}x^n}</math>或<math>\frac{{\rm{d}}^n f(x)}{{\rm{d}}x^n}</math>{{r|fdfx|page=133}}

=== 高阶导数的求法 ===
一般来说，高阶导数的计算和导数一样，可以按照定义逐步求出。同时，高阶导数也有求导法则：
* <math>\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</math>
* <math> \frac{{\rm{d}}^n}{{\rm{d}}x^n} (Cu)=C\frac{{\rm{d}}^n}{{\rm{d}}x^n}u \ </math>
* <math>\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</math>（[[莱布尼兹公式]]）{{r|fdfx|page=134}}
因此，可以利用已知的高阶导数求导法则，通过四则运算, 变量代换等方法，求出<math>n \ </math>阶导数。一些常见的有规律的高阶导数的公式如下{{r|fdfx|page=133}}：

* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n}x^{\alpha}=x^{\alpha-n}\prod_{k=0}^{n-1}(\alpha-k)</math> 
* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n}\frac{1}{x}=(-1)^{n}\frac{n!}{x^{n+1}}</math>
* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n}\ln x=(-1)^{n-1}\frac{(n-1)!}{x^n}</math>
<math>\!</math>
* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n}e^x=e^x \ </math>
* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n} a^x=a^x \cdot \ln^n a</math> <math>(a>0) \ </math>
<math>\!</math>
* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n}\sin \left(kx+b\right)=k^n\sin \left(kx+b+\frac{n\pi}{2}\right)</math>
* <math>\frac{{\rm{d}}^n}{{\rm{d}}x^n}\cos \left(kx+b\right)=k^n\cos \left(kx+b+\frac{n\pi}{2}\right) </math>

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

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

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

其导函数为：<math>y'(t) =   y'_1(t) e_1 + y'_2(t) e_2 + \cdots y'_n(t) e_n  </math>

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

更一般地来说，一个多元函数 <math>f \left( x_1 , x_2 , \cdots, x_n \right)</math> 在点 <math>\left( a_1 , a_2 , \cdots, a_n \right)</math> 处对 <math>x_i</math> 的偏导数定义为：
:<math>\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}.</math>
上面的极限中，除了 <math>x_i</math> 外所有的自变元都是固定的，这就确定了一个一元函数：
:<math>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)</math>
因此，按定义有：
:<math>\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).</math>
偏导数的实质仍然是一元函数的导数。{{r|qhfx2|page=56}}

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

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

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

=== 方向导数 ===
{{main|方向导数}}
方向导数是比偏导数更加广泛的概念。导数的本质是函数值增量与自变量增量之比的极限。在多元函数 <math>f</math> 中，可以选定一个确定的方向（以这个方向上的单位向量 <math>\boldsymbol{\delta}</math> 表示），并考虑函数在这个方向上的增量：
<center><math>f(\boldsymbol{x}_0 + t \boldsymbol{\delta}) - f(\boldsymbol{x}_0)</math></center>
这个增量为关于 <math>t</math> 的一元函数。函数 <math>f</math> 的方向导数定义为这个增量与 <math>t</math> 的比值在 <math>t</math> 趋于0时的极限，记为<math>\frac{\partial f}{\partial \boldsymbol{\delta}}(\boldsymbol{x}_0)</math>。
<center><math>\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}</math></center>
方向导数表示了函数从某点开始在某个方向上的变化率。{{r|qhfx2|page=55-56}}

在<math>\mathbf{R}^n</math>中，如果将向量 <math>\boldsymbol{\delta}</math> 选为正规基 <math>\left( \boldsymbol{e}_1 , \boldsymbol{e}_2 , \cdots, \boldsymbol{e}_n \right)</math> 之中的一个，如<math>\boldsymbol{e}_i</math>，那么方向导数就是关于 <math>\boldsymbol{x}_i</math> 的偏导数。{{r|qhfx2|page=55-56}}


== 推广 ==
导数的概念建立在变量为实数之上，但也可以推广到更加广泛的意义上。推广的导数本质上仍旧是函数在局部一点上的线性逼近。
=== 复变量导数 ===
{{main|全纯函数}}
对于变量为复数的函数，也可以定义导数的概念。假设有复变函数<math>f : \Omega \in \mathbb{C} \to \mathbb{C}</math>。如果 <math>f</math> 在某一点 <math>z_0</math> 及附近有定义，并且极限：
:<math>\lim_{z \to z_0}\frac{f(z) - f(z_0)}{z - z_0}</math> 
存在，那么就说函数 <math>f</math> 在 <math>z_0</math> 可导。其中 <math>z \to z_0</math> 表示 <math>z - z_0</math> 的[[模长]]趋向于0。如果将复变量 <math>z</math> 视作 <math>x+iy</math>，那么 <math>f</math> 可以视作一个<math>\mathbb{R}^2</math>上的函数。如果作为复变函数的 <math>f</math> 可导，那么作为<math>\mathbb{R}^2</math>上函数的 <math>f</math> 的偏导数也存在，但反之则不然。只有当[[柯西－黎曼方程|柯西-黎曼条件]]满足的时候才能保证复变函数的复可导性<ref>{{cite book | title = 《复变函数》 | author =郑建华
 | publisher =清华大学出版社 | year = 2005 |isbn =978-7302096931}}第17-19页.</ref>。

=== 弱微分 ===
{{main|弱微分}}
在[[分布理论]]里，弱微分的概念使得对更多严格意义上无法求导的函数也可以定义导函数。设<math>u</math>是一个局部勒贝格可积（比如说在<math>L^1_{loc}(\mathbb{R})\ </math>中）的函数，称<math>v \in L^1_{loc}(\mathbb{R})</math>是<math>u</math>的一个弱微分，如果对所有的测试函数<math>\varphi</math>，都有：
:<math>\int_{\mathbb{R}} u(t)\varphi'(t)dt=-\int_{\mathbb{R}} v(t)\varphi(t)dt</math>
成立。其中测试函数是指[[支撑集|紧支撑]]的[[光滑函数]]<ref>{{Cite book | author=Evans, Lawrence C. | authorlink= | coauthors= | title=Partial differential equations | date=1998 | publisher=American Mathematical Society | location=Providence, R.I.  | isbn=0-8218-0772-2 | page=242}}</ref>。弱微分包括了强微分，也就是通常意义上的导数。

=== 次导数 ===
{{main|次导数}}
[[File:Subderivative illustration.png|right|thumb|过<math>x_0</math>的直线（红）在函数（蓝）下方，它的斜率是函数的次导数]]
在[[凸分析]]，也就是对[[凸函数]]的研究中，可以定义凸函数的次导数。次导数的概念是导数的几何意义的推广。由于函数是凸的，过它的图像上每一点总可以作一条直线，使得函数的图像在直线上方。这种直線的斜率称为函数在这点的次导数。如果函数在某点可导，那么次导数只有一个，等于其导数。如果函数像绝对值函数一样在零点有突然的转折，那么次导数可能不止一个。比如过零点而斜率在<math>(-1,1)</math>之间的直线都在绝对值函数下方，因此<math>(-1,1)</math>之间的每个数都是绝对值函数在零点的次导数。<ref>{{en}}{{cite book | author = Jean-Baptiste Hiriart-Urruty, Claude Lemaréchal |title= ''Fundamentals of Convex Analysis'' |publisher = Springer | year = 2001 | isbn = 3-540-42205-6}}p.163-166</ref>

=== 非整数阶导数 ===
{{main|分数微积分}}
早在十九世纪，在数学家明确了求导与积分的互逆关系以后，就出现了负阶次导数的记号：<math>D^{-n} = \int^n</math>（表示求n次积分）{{r|ahmn|page=208}}。而非整数阶导数的概念则进一步将其推广。比如，半微分算子<math>H = D^{\frac12}</math>表示其作用于函数上两次以后的效果将等于一次求导：
:<math>H^2(f)(x) = H[H(f)](x) = D(f)(x) = f'(x)</math>
定义非整数阶导数的方法不止一种，最常用的非整数阶导数定义为黎曼-刘维尔定义：
:设<math>0 < s < 1</math>，函数 <math>f</math> 的s阶积分为：<math>D^{-s}_t f(t) = \frac{1}{\Gamma(s)} \int^t_a (t - u)^{s-1} f(u) d(u)</math>
:而对<math>n-1 < \beta < n</math>，函数 <math>f</math> 的<math>\beta</math>阶导数为：<math>D^{\beta}_t f(t) = \frac{d^n}{dt^n} \left[ D^{-n-\beta}_t f(t)  \right]</math><ref>{{zh}}{{cite book | author = 薛定宇,陈阳泉 |title=《高等应用数学问题的MATLAB求解》 |publisher = 清华大学出版社 | year = 2004 | isbn = 978-7302186182}}第384-385页.</ref><ref>
{{cite book 
| author = Igor Podlubny
| title=''Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, Some Methods of Their Solution and Some of Their Applications.'', (Mathematics in Science and Engineering, vol. 198)
| publisher = Academic Press
| year = 1998年10月
| isbn = 0-12-558840-2
}} </ref>

=== 加托导数和弗雷歇导数 ===

方向导数在无穷维向量空间如[[巴拿赫空间]]和[[弗雷歇空间]]上可以推广为[[加托导数]]和[[弗雷歇导数]]。二者都经常用于形式化[[泛函导数]]的概念，常见于物理学，特别是[[量子场论]]<ref>{{fr}}{{cite web | author = R Gâteaux | title =''Sur les fonctionnelles continues et les fonctionnelles analytiques'' | url = http://archive.numdam.org/ARCHIVE/BSMF/BSMF_1922__50_/BSMF_1922__50__1_0/BSMF_1922__50__1_0.pdf| publisher = Bulletin de la S.M.F, tome 50 (1922)|  accessdate = 2011-02-11}}</ref>。

=== 导子 ===
{{main|导子}}
[[微分代数]]中有导子的概念。导子是具备了微分算子的某些特征的运算子，例如向量场的[[李导数]]，或非交换代数中的[[交换子]]<ref>{{Cite book|author=Nicolas Bourbaki |title=Algebra I|year=1989|publisher=Springer-Verlag|isbn=3-540-64243-9}}</ref>。给定一个环或[[域]] <math>\mathbf{R}</math> 上的一个代数 <math>\mathcal{A}</math>，<math>\mathcal{A}</math> 上的一个<math>\mathbf{R}</math>-导子 <math>\delta</math> 是一个从 <math>\mathcal{A}</math> 射到自身的<math>\mathbf{R}</math>-[[线性映射]]（线性自同态），并满足导数的乘积法则：

:<math> \delta (ab) = (\delta a)b + a(\delta b)</math>

所有<math>\mathbf{R}</math>-导子构成了 <math>\mathcal{A}</math> 上线性自同态集 <math>\operatorname{End} \mathcal{A}</math> 的子空间<ref>{{cite book | title = ''Lie algebras'' | author = Nathan Jacobson | publisher = Dover Publications | year = 1979 | isbn = 978-0486638324}}p.7-8 </ref>。

== 导数的应用 ==
[[物理学]]、[[几何学]]、[[工程科学]]、[[经济学]]等学科中的一些重要概念都可以用导数来表示。如，导数可以表示运动物体的瞬时[[速度]]和[[加速度]]，也可以表示曲线在一点的[[斜率]]。
=== 边际和弹性 ===
经济学中，所谓[[边际]]和[[弹性 (经济学)|弹性]]的概念与导数紧密相关。比如边际成本就是产量增加一个单位所带来的成本的增加，若將其連續化，得到的便是成本函数的导数。又如[[需求]]的弹性是指价格变化一个单位时，需求量的变化，連續化後相應的也是需求函数关于价格的导数。<ref>{{cite web | url = http://episte.math.ntu.edu.tw/applications/ap_margin/index.html | title = 經濟學應用：邊際與彈性 | author = 翁秉仁 | publisher =EpisteMath，改寫自同作者的《微積分講義》| }}</ref>

== 参见 ==
* [[微积分]]
* [[微分]]
* [[積分]]
* [[光滑函数]]
* [[微分中值定理]]
* [[介值定理]]
* [[自動微分|自动微分]]
* [[第二次数学危机]]
* [[协变导数]]
* [[數值微分|数值微分]]

== 参考与注释 ==
{{reflist|2|refs=
<ref name="fdfx">{{cite book | title =《数学分析（上册）》 | author =欧阳光中 姚允龙 周渊 编 | year =2003 | publisher =复旦大学出版社 | isbn =7-309-03570-4|quote=O.305 }}</ref>
<ref name="qhfx">{{cite book | title =《数学分析(第一册)》| author =徐森林,薛春华 |publisher =清华大学出版社 | year =2005 | isbn =978-7-302-11746-9 }}</ref>
<ref name="qhfx2">{{cite book | title =《数学分析(第二册)》| author =徐森林,薛春华 |publisher =清华大学出版社 |year =2005 | isbn =978-7-302-13141-0}}</ref>
<ref name="ahmn">{{cite book | title =''A History of Mathematical Notations'', 第2卷 | author = Florian Cajori |publisher =Dover Publications |year =1993年12月 | isbn =978-0486677668}}</ref>

<ref name="klein2">{{zh}}{{cite book|author=[[莫里斯·克莱因]]著，张理京、张锦炎、[[江泽涵]]译|title=《古今数学思想》第二卷|publisher=上海科学技术出版社|year=2002|isbn=7-5323-6172-1}}</ref>
<ref name="klein4">{{zh}}{{cite book|author=[[莫里斯·克莱因]]著，张理京、张锦炎、[[江泽涵]]译|title=《古今数学思想》第四卷|publisher=上海科学技术出版社|year=2002|isbn=7-5323-6172-1}}</ref>
}}

== 外部链接 ==
* [http://zh.numberempire.com/derivatives.php 导数计算器]

{{Authority control}}
[[Category:数学分析]]
[[Category:微分学]]