**提示**：此条目页的主题不是**倒数**。 
一个实值函数的图像曲线。函数在一点的导数等于它的图像上这一点处之切线的斜率。

|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分 · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数 · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

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

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

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

定义
--

### 一般定义

一個動畫，給出了一個直觀的導數概念，因為參數變化時函數的"擺動"會改變。

直觀上 {\displaystyle f(x)-f(a)}代表函數值從 {\displaystyle a} 到 {\displaystyle x} 的變化量，那這樣，

{\displaystyle {\frac {f(x)-f(a)}{x-a}}}

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

以此為動機，若实函数 {\displaystyle f} 於实数 {\displaystyle a} 有定義，且以下極限（注意這個表達式所定義的函數定義域不含 {\displaystyle a} ）

{\displaystyle \lim \_{x\to a}{\frac {f(x)-f(a)}{x-a}}}

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

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

{\displaystyle \lim \_{h\to 0}{\frac {f(a+h)-f(a)}{h}}}

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

{\displaystyle \{h\in \mathbb {R} \,|\,(h\neq 0)\wedge (|h|<r)\}}

為定義域，然後以

{\displaystyle F(h)={\frac {f(a+h)-f(a)}{h}}}

為對應規則的函數，那以下的極限式

{\displaystyle \lim \_{h\to 0}F(h)=f^{\prime }(a)}

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

### 几何意义

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

若曲线为一函数{\displaystyle y=f(x)}的图像，那么割线{\displaystyle PP\_{0}}（粉紅色）的斜率为：

{\displaystyle \tan \varphi ={\frac {\Delta y}{\Delta x}}={\frac {f(x\_{0}+\Delta x)-f(x\_{0})}{\Delta x}}}

当{\displaystyle P\_{0}}处的切线{\displaystyle P\_{0}T}（橘紅色），即{\displaystyle PP\_{0}}的极限位置存在时，此时{\displaystyle \Delta x\to 0}，{\displaystyle \varphi \to \alpha }，则{\displaystyle P\_{0}T}的斜率{\displaystyle \tan \alpha }为：

{\displaystyle \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}}}

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

### 导数、导函数与微分算子

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

由于对每一个可导的函数 {\displaystyle \;f(x)\;}，都有它的导函数 {\displaystyle f'(x)\;} 存在，我们还可以定义将函数映射到其导函数的算子。这个算子称为微分算子，一般记作 {\displaystyle D} 或 {\displaystyle {\tfrac {\mathrm {d} }{\mathrm {d} x}}}。例如：

{\displaystyle {\begin{aligned}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{aligned}}}
由于微分算子的输出值仍然是函数，可以继续求出它在某一点的取值。比如说对于函数 {\displaystyle \;f(x)=x^{2}\;}，

{\displaystyle D(f)=(x\mapsto 2\cdot x)}
所以{\displaystyle D(f)(x)=2x}，{\displaystyle D(f)(1.4)=2\times 1.4=2.8}。

### 导数与微分

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

历史
--

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

如右图，费马考虑曲线 {\displaystyle f(x)} 在 {\displaystyle x} 处的切线。他声称，对于切线，有以下的关系成立：

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

{\displaystyle s={\frac {f(x)}{\frac {f(x+h)-f(x)}{h}}}}
对于具体的函数 {\displaystyle f(x)}，比如 {\displaystyle f(x)=x^{3}}，费马计算 {\displaystyle {\frac {f(x+h)-f(x)}{h}}} 的值，并将 {\displaystyle h}设为0，就得到 {\displaystyle s}，从而确定切线的斜率。可以看出，费马的方法实质上已经是求导。费马还给出了 {\displaystyle f(x)} 为多项式时切线的公式。英国的巴罗、荷兰的于德（Johnann Van Waveren Hudde）和瓦隆的斯卢兹（René Francoiss Walther de Sluze）继续了费马的工作。然而，费马和巴罗等人并没有将求导归纳为一种独立的工具，只是给出了具体的计算技巧。

1660年代，英国人伊萨克·牛顿提出了"流数"的概念。牛顿在写于1671年的《流数法与无穷级数》中对流数的解释是："我把时间看作是连续的流动或增长，而其他的量则随着时间而连续增长。我从时间流动性出发，把所有其他量的增长速度称为流数。"也就是说，流数就是导数。牛顿将无穷小的时间间隔定义为"瞬间"（moment），而一个量的增量则是流数与瞬间的乘积。求导数时，牛顿将自变量和因变量两边展开，同时除以瞬间，再将剩下的项中含有瞬间的项忽略掉。而在他的第三篇微积分论文中，牛顿使用了新的概念：最初比和最后比。他说：

|  |  |  |
| --- | --- | --- |
|  | 随我们的意愿，流数可以任意地接近于在尽可能小的等间隔时段中产生的增量，精确地说，它们是最初增量的最初的比，它们也能用和它们成比例的任何线段来表示。 |  |

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

伊萨克·牛顿爵士
牛顿和莱布尼兹的差别在于，牛顿将无穷小量作为求流数或导数的工具，而莱布尼兹则用无穷小量的比值来表示导数。这与二人的哲学思想差异有关。

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

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

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

导数的记法
-----

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

### 牛顿的记法

作为微积分的发明人之一，牛顿在1704年著作中将导数用函数符号上方的点来表示。例如 {\displaystyle y=f(x)}的导数就记作{\displaystyle {\dot {y}}}，而二阶导数则记为{\displaystyle {\ddot {y}}}。他以后的数学家也会将{\displaystyle {\dot {y}}}用来表示函数的微分。牛顿的记法中没有明确自变量，因此 {\displaystyle y} 对 {\displaystyle x} 的导数在牛顿的著作中也会被记成{\displaystyle y':x'}，因为这可以理解为两个函数{\displaystyle y} 和 {\displaystyle x} 对于另一个变量{\displaystyle t} 的导数比。而这个导数比（使用莱布尼兹的记号）：

{\displaystyle y':x'={\frac {dy}{dt}}:{\frac {dx}{dt}}={\frac {dy}{dx}}}
牛顿的记号多见于物理学或与之有关的方面，如微分方程中。以及直到现在，使用函数符号上加一点来表示某一变量的变化率（即对时间的导数）依然常见于各类物理学教材中（如使用{\displaystyle {\dot {v}}}来表示加速度等）。注意到对于高阶的导数，这种记法就无法表示了。

### 莱布尼兹的记法

戈特弗里德·威廉·莱布尼茨
莱布尼兹在他的研究中分别使用 {\displaystyle \Delta x} 和 {\displaystyle \Delta y} 来表示函数自变量和應变量（输出值）的有限变化量，而使用 {\displaystyle dx} 和 {\displaystyle dy} 来表示"无限小"的变化量（即所谓的"无穷小量"）。如果将函数记为{\displaystyle y=f(x)}的话，那么在莱布尼兹的记法下，其导数记为：

{\displaystyle {\frac {dy}{dx}}}、{\displaystyle {\frac {df}{dx}}(x)}、{\displaystyle {\frac {d}{dx}}f(x)} 或 {\displaystyle {\frac {d\left(f(x)\right)}{dx}},}
这个记法最早出现在莱布尼兹1684年的论文中，莱布尼兹在之前的文章中会将 {\displaystyle dx} 记成 {\displaystyle {\tfrac {x}{d}}}，把 {\displaystyle {\tfrac {dy}{dx}}} 记成 {\displaystyle d{\tfrac {y}{x}}}。莱布尼兹记法的好处是明确了自变量和應变量。要注意的是记号{\displaystyle dx}是一个整体，{\displaystyle dy}也是，而{\displaystyle {\frac {dy}{dx}}}可以看成一个整体，也可以不严谨地看成{\displaystyle dy}和{\displaystyle dx}的比值。此外，{\displaystyle {\frac {dy}{dx}}} 表示的是导函数，在某一点 {\displaystyle x=a} 的导数则记为：{\displaystyle \left.{\frac {dy}{dx}}\right|\_{x=a}} 
对于更高阶的导数（比如说**n**阶，见高阶导数一节），莱布尼兹的记法是：

{\displaystyle {\frac {d^{n}y}{dx^{n}}}}、{\displaystyle {\frac {d^{n}f}{dx^{n}}}(x)} 或 {\displaystyle {\frac {d^{n}\left[f(x)\right]}{dx^{n}}},}
这种记法是在1695年出现的。这里的分子和分母不再具有单独的意义。莱布尼兹的记法中使用 {\displaystyle {\frac {d}{dx}}} 来表示微分算子，比如说二阶的导数 {\displaystyle {\frac {d^{2}y}{dx^{2}}}} 就可以看成：

{\displaystyle {\frac {d^{2}y}{dx^{2}}}={\frac {d}{dx}}\left({\frac {dy}{dx}}\right)}
莱布尼兹记法的另一个好处是便于记忆导数计算的法则。例如链式法则（见导数的计算一节）应用莱布尼兹的记法就是：

{\displaystyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}}
可以想象为右边是两个分式的乘积，消去{\displaystyle du}之后就变成左边。

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

### 拉格朗日的记法

另一种现今常见的记法是十八世纪拉格朗日于1797年率先使用的，以在函数的右上角加上一短撇作为导数的记号。函数 {\displaystyle y=f(x)} 的导数就记作 {\displaystyle f'(x)} 或 {\displaystyle y'}。二阶和三阶导数记为{\displaystyle f''(x)}、{\displaystyle y''} 和 {\displaystyle f'''(x)}、{\displaystyle y'''}。如果需要处理更高阶的导数，则用括号内的求导阶数**n**来代替短撇，记为：{\displaystyle f^{(n)}(x)}、{\displaystyle y^{(n)}}。当十九世纪的数学家柯西处理微分学时，他认为莱布尼兹的记法"模糊不便"，而采用更为"紧凑"的记法，将 {\displaystyle {\frac {dy}{dx}}} 记为{\displaystyle y'\_{x}}。这种记法可说是拉格朗日记法的变种。后来这种记法曾继续被精简为{\displaystyle y\_{x}}。

### 其它记法

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

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

函数可导的条件
-------

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

**证明**：

设函数{\displaystyle y=f(x)}上一点{\displaystyle x\_{0}}，函数在这一点可导，即{\displaystyle f'(x\_{0})=\lim \_{\Delta x\to 0}{\frac {\Delta y}{\Delta x}}}存在，其中

{\displaystyle \Delta y=f(x\_{0}+\Delta x)-f(x\_{0})}
所以：{\displaystyle \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}
即函数{\displaystyle f(x)}在{\displaystyle x\_{0}}处连续。

符号函数（sgn函数）是一个不连续的函数在断点处不可导的例子：

符号函数
首先注意到这个函数在{\displaystyle x\_{0}=0}处不连续。作为验证，可以求出函数在{\displaystyle x=0}处附近的变化率，根据函数可导的条件再进行判断：

该函数在{\displaystyle x\_{0}=0}左侧附近的变化率为：{\displaystyle {\frac {f(x)-f(x\_{0})}{x-x\_{0}}}={\frac {-1-0}{x-0}}=-{\frac {1}{x}}}
当{\displaystyle x\to 0^{-}}时，上面的比值趋于正无穷大发散，不存在，故这个符号函数在{\displaystyle x\_{0}=0}处不可导。
然而，连续性并不能保证可导性。即使函数在一点上连续，也不一定就在这一点可导。事实上，存在着在每一点都连续，但又在每一点都不可导的"病态函数"。1931年，斯特凡·巴拿赫甚至证明，事实上"绝大多数"的连续函数都属于这种病态函数（至少在一点可导的连续函数在所有连续函数中是贫集）。在连续而不可导的函数里，一种常见的情况是，函数在某一点连续，并且可以定义它的左导数和右导数：



|  |
| --- |
| 左导数：{\displaystyle f'\_{-}(x\_{0})=\lim \_{\Delta x\to 0^{-}}{\frac {f(x\_{0}+\Delta x)-f(x\_{0})}{\Delta x}}}
右导数：{\displaystyle f'\_{+}(x\_{0})=\lim \_{\Delta x\to 0^{+}}{\frac {f(x\_{0}+\Delta x)-f(x\_{0})}{\Delta x}}} |

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

{\displaystyle \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}}}

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

绝对值函数
该函数在{\displaystyle x=0}处的左导数为：{\displaystyle f'\_{-}(0)=\lim \_{x\to 0^{-}}{\frac {f(x)-f(0)}{x-0}}=\lim \_{x\to 0^{-}}{\frac {-x-0}{x-0}}=-1}

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

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

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

导数与函数的性质
--------

通过认识可导函数的导数，可以推断出不少函数本身的性质。

### 单调性

x变化时函数{\displaystyle \scriptstyle f(x)=1+x\sin(x^{2})}（蓝色曲线）的切线变化。函数的导数值就是切线的斜率，绿色代表其值为正，红色代表其值为负，黑色代表值为零。
根据微积分基本定理，对于可导的函数{\displaystyle f}，有：

{\displaystyle f(b)-f(a)=\int \_{a}^{b}f'(t)\mathrm {d} t}
如果函数的导函数在某一区间内恒大于零（或恒小于零），那么函数在这一区间内单调递增（或单调递减），这种区间也称为函数的单调区间。导函数等于零的点称为函数的驻点（或极值可疑点），在这类点上函数可能会取得极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 {\displaystyle f'(x\_{0})=0} 的一点 {\displaystyle x\_{0}}，如果存在 {\displaystyle \delta >0} 使得 {\displaystyle f'} 在区间{\displaystyle (x\_{0}-\delta ,x\_{0}]} 上都大于等于零，而在区间 {\displaystyle [x\_{0},x\_{0}+\delta )} 上都小于等于零，那么 {\displaystyle x\_{0}} 是一个极大值点，反之则为极小值点。如果{\displaystyle f''(x\_{0})=0} 並且 {\displaystyle f''(x)} 在 {\displaystyle x\_{0}} 改變加減號，則称这个点是拐点；否則这个点不是拐点。

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

### 凹凸性

条目：凸函數和凹函數
可导函数的凹凸性与其导数的单调性有关。如果函数的导函数在某个区间上单调递增，那么这个区间上函数是向下凸的，反之则是向上凸的。如果二阶导函数存在，也可以用它的正负性判断，如果在某个区间上 {\displaystyle f''} 恒大于零，则这个区间上函数是向下凸的，反之这个区间上函数是向上凸的。

导数的计算
-----

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

### 基本函数的导数

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

* 幂函数的导数：如果

{\displaystyle f(x)=x^{r},}

其中{\displaystyle r}是任意实数，那么

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

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

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

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

* 三角函数的导数仍然是三角函数，或者由三角函数构成:

{\displaystyle {\frac {d}{dx}}\sin(x)=\cos(x).}
{\displaystyle {\frac {d}{dx}}\cos(x)=-\sin(x).}
{\displaystyle {\frac {d}{dx}}\tan(x)=\sec ^{2}(x)={\frac {1}{\cos ^{2}(x)}}=1+\tan ^{2}(x).}
{\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\cot(x)=-\csc ^{2}(x)=-{\frac {1}{\sin ^{2}(x)}}.}
* 反三角函数的导数则是无理分式:

{\displaystyle {\frac {d}{dx}}\arcsin(x)={\frac {1}{\sqrt {1-x^{2}}}},\qquad -1<x<1.}
{\displaystyle {\frac {d}{dx}}\arccos(x)=-{\frac {1}{\sqrt {1-x^{2}}}},\qquad -1<x<1.}
{\displaystyle {\frac {d}{dx}}\arctan(x)={\frac {1}{1+x^{2}}}}
### 导数的求导法则

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

* 求导的线性性：对函数的线性组合求导，等于先对其中每个部分求导后再取线性组合。

{\displaystyle (af+bg)'=af'+bg'\,} （其中{\displaystyle a,b}为常数）
* 两个函数的乘积的导函数，等于其中一个的导函数乘以另一者，加上另一者的导函数与其的乘积

{\displaystyle (fg)'=f'g+fg'\,} 
* 两个函数的商的导函数也是一个分式。其中分子是分子函数的导函数乘以分母函数减去分母函数的导函数乘以分子函数后的差，而其分母是分母函数的平方。

{\displaystyle \left({\frac {f}{g}}\right)'={\frac {f'g-fg'}{g^{2}}}} （在{\displaystyle g(x)\neq 0}处方有意义）
* 复合函数的求导法则：如果有复合函数 {\displaystyle f(x)=h[g(x)]}，那么

{\displaystyle f'(x)=h'[g(x)]\cdot g'(x).\,}
若要求某个函数在某一点的导数，可以先运用以上方法求出这个函数的导函数，再看导函数在这一点的值。

### 例子

欲求函数

{\displaystyle f(x)=x^{4}+\sin(x^{2})-\ln(x)e^{x}+7\,}
在{\displaystyle x=3}处的导数。可以先求出其导函数：

{\displaystyle {\begin{aligned}f'(x)&=4x^{(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{aligned}}}
其中第二项使用了复合函数的求导法则，而第三项则使用了乘积的求导法则。求出导函数后，再将{\displaystyle x=3}代入，得到导数为：

{\displaystyle f'(3)=108+6\cos(9)-{\frac {e^{3}}{3}}-\ln(3)e^{3}\,}

高阶导数
----

### 二阶导数

条目：二階導數
如果函数的导数{\displaystyle f'(x)\,}在{\displaystyle x\,}处可导，则称{\displaystyle [f'(x)]'\,}为{\displaystyle x\,}的二阶导数。记做：{\displaystyle f''(x)\,}，{\displaystyle y''\,}，{\displaystyle {\frac {{\rm {d}}^{2}y}{{\rm {d}}x^{2}}}}或{\displaystyle {\frac {{\rm {d}}^{2}f(x)}{{\rm {d}}x^{2}}}}、

二阶导数可用于求解函数凹凸性问题。
{\displaystyle f''(x)>0}函数在x上凹。
{\displaystyle f''(x)<0}函数在x下凹。

### 高阶导数

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

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

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

### 高阶导数的求法

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

* {\displaystyle {\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}
* {\displaystyle {\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}(Cu)=C{\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}u\ }
* {\displaystyle {\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}（莱布尼兹公式）

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

* {\displaystyle {\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}x^{\alpha }=x^{\alpha -n}\prod \_{k=0}^{n-1}(\alpha -k)}
* {\displaystyle {\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}{\frac {1}{x}}=(-1)^{n}{\frac {n!}{x^{n+1}}}}
* {\displaystyle {\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}\ln x=(-1)^{n-1}{\frac {(n-1)!}{x^{n}}}}

{\displaystyle \!}

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

{\displaystyle \!}

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

多元函数的导数
-------

条目：向量分析
### 向量值函数的导数

当函数 {\displaystyle y} 的取值不再是实数，而是一般的{\displaystyle \mathbf {R} ^{n}}中的向量时，仍然可能对其求导。这时的函数值是：{\displaystyle y=\left(y\_{1}(x),y\_{2}(x),\cdots ,y\_{n}(x)\right)}。每个 {\displaystyle y\_{i}(x),\;\;1\leqslant i\leqslant n} 都是一个实数值的函数。具体的例子如二维或者三维空间里的参数方程。因此，对 {\displaystyle y=f(x)} 求导实际上是对每个分量函数 {\displaystyle y\_{i}(x)} 求导。

{\displaystyle \mathbf {y} '(t)=(y'\_{1}(t),\cdots ,y'\_{n}(t)).}
这也符合定义

{\displaystyle \mathbf {y} '(t)=\lim \_{h\to 0}{\frac {\mathbf {y} (t+h)-\mathbf {y} (t)}{h}},}
设{\displaystyle \left(e\_{1},e\_{2},\cdots e\_{n}\right)}为{\displaystyle \mathbf {R} ^{n}}的一组基，那么对函数：{\displaystyle y\,:t\,\mapsto \,y\_{1}(t)e\_{1}+y\_{2}(t)e\_{2}+\cdots y\_{n}(t)e\_{n},}

其导函数为：{\displaystyle y'(t)=y'\_{1}(t)e\_{1}+y'\_{2}(t)e\_{2}+\cdots y'\_{n}(t)e\_{n}}

### 偏导数

条目：偏导数
如果有函数 {\displaystyle f} 其自变量不是单个实数，而是多于一个元素，例如：

{\displaystyle f(x,y)=x^{2}+xy+y^{2}.\,}
这时可以把其中一个元素（比如 {\displaystyle x} ）看做参数，那么 {\displaystyle f} 可以看做是关于另一个元素的参数函数：

{\displaystyle f(x,y)=f\_{x}(y)=x^{2}+xy+y^{2}.\,}
也就是说，对于某个确定的 {\displaystyle x}，函数 {\displaystyle f\_{x}} 就是一个关于 {\displaystyle y} 的函数。在 {\displaystyle x=a} 固定的情况下，可以计算这个函数 {\displaystyle f\_{x}} 关于 {\displaystyle y} 的导数。

{\displaystyle f\_{a}'(y)=a+2y\,}
这个表达式对于所有的 {\displaystyle a} 都对。这种导数称为偏导数，一般记作：

{\displaystyle {\frac {\partial f}{\partial y}}(x,y)=x+2y}
这里的符号 ∂ 是字母 {\displaystyle d} 的圆体变体，一般读作 {\displaystyle \delta } 的首音节或读"偏"，以便与 {\displaystyle d} 区别。

更一般地来说，一个多元函数 {\displaystyle f\left(x\_{1},x\_{2},\cdots ,x\_{n}\right)} 在点 {\displaystyle \left(a\_{1},a\_{2},\cdots ,a\_{n}\right)} 处对 {\displaystyle x\_{i}} 的偏导数定义为：

{\displaystyle {\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}}.}
上面的极限中，除了 {\displaystyle x\_{i}} 外所有的自变元都是固定的，这就确定了一个一元函数：

{\displaystyle 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})}
因此，按定义有：

{\displaystyle {\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}).}
偏导数的实质仍然是一元函数的导数。

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

{\displaystyle \nabla f({\boldsymbol {a}})=\left[{\frac {\partial f}{\partial x\_{1}}}({\boldsymbol {a}}),\ldots ,{\frac {\partial f}{\partial x\_{n}}}({\boldsymbol {a}})\right]}。
这个向量称为 {\displaystyle f} 在点 {\displaystyle {\boldsymbol {a}}} 的**梯度**。如果 {\displaystyle f} 在定义域中的每一个点都是可微的，那么梯度便是一个向量值函数 {\displaystyle \nabla f}，它把点 {\displaystyle a} 映射到向量 {\displaystyle \nabla f(a)}。这样，梯度便决定了一个向量场。

### 方向导数

条目：方向导数
方向导数是比偏导数更加广泛的概念。导数的本质是函数值增量与自变量增量之比的极限。在多元函数 {\displaystyle f} 中，可以选定一个确定的方向（以这个方向上的单位向量 {\displaystyle {\boldsymbol {\delta }}} 表示），并考虑函数在这个方向上的增量：

{\displaystyle f({\boldsymbol {x}}\_{0}+t{\boldsymbol {\delta }})-f({\boldsymbol {x}}\_{0})}
这个增量为关于 {\displaystyle t} 的一元函数。函数 {\displaystyle f} 的方向导数定义为这个增量与 {\displaystyle t} 的比值在 {\displaystyle t} 趋于0时的极限，记为{\displaystyle {\frac {\partial f}{\partial {\boldsymbol {\delta }}}}({\boldsymbol {x}}\_{0})}。

{\displaystyle {\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}}}
方向导数表示了函数从某点开始在某个方向上的变化率。

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

推广
--

导数的概念建立在变量为实数之上，但也可以推广到更加广泛的意义上。推广的导数本质上仍旧是函数在局部一点上的线性逼近。

### 复变量导数

条目：全纯函数
对于变量为复数的函数，也可以定义导数的概念。假设有复变函数{\displaystyle f:\Omega \in \mathbb {C} \to \mathbb {C} }。如果 {\displaystyle f} 在某一点 {\displaystyle z\_{0}} 及附近有定义，并且极限：

{\displaystyle \lim \_{z\to z\_{0}}{\frac {f(z)-f(z\_{0})}{z-z\_{0}}}}
存在，那么就说函数 {\displaystyle f} 在 {\displaystyle z\_{0}} 可导。其中 {\displaystyle z\to z\_{0}} 表示 {\displaystyle z-z\_{0}} 的模长趋向于0。如果将复变量 {\displaystyle z} 视作 {\displaystyle x+iy}，那么 {\displaystyle f} 可以视作一个{\displaystyle \mathbb {R} ^{2}}上的函数。如果作为复变函数的 {\displaystyle f} 可导，那么作为{\displaystyle \mathbb {R} ^{2}}上函数的 {\displaystyle f} 的偏导数也存在，但反之则不然。只有当柯西-黎曼条件满足的时候才能保证复变函数的复可导性。

### 弱微分

条目：弱微分
在分布理论里，弱微分的概念使得对更多严格意义上无法求导的函数也可以定义导函数。设{\displaystyle u}是一个局部勒贝格可积（比如说在{\displaystyle L\_{loc}^{1}(\mathbb {R} )\ }中）的函数，称{\displaystyle v\in L\_{loc}^{1}(\mathbb {R} )}是{\displaystyle u}的一个弱微分，如果对所有的测试函数{\displaystyle \varphi }，都有：

{\displaystyle \int \_{\mathbb {R} }u(t)\varphi '(t)dt=-\int \_{\mathbb {R} }v(t)\varphi (t)dt}
成立。其中测试函数是指紧支撑的光滑函数。弱微分包括了强微分，也就是通常意义上的导数。

### 次导数

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

### 非整数阶导数

条目：分数微积分
早在十九世纪，在数学家明确了求导与积分的互逆关系以后，就出现了负阶次导数的记号：{\displaystyle D^{-n}=\int ^{n}}（表示求n次积分）。而非整数阶导数的概念则进一步将其推广。比如，半微分算子{\displaystyle H=D^{\frac {1}{2}}}表示其作用于函数上两次以后的效果将等于一次求导：

{\displaystyle H^{2}(f)(x)=H[H(f)](x)=D(f)(x)=f'(x)}
定义非整数阶导数的方法不止一种，最常用的非整数阶导数定义为黎曼-刘维尔定义：

设{\displaystyle 0<s<1}，函数 {\displaystyle f} 的s阶积分为：{\displaystyle D\_{t}^{-s}f(t)={\frac {1}{\Gamma (s)}}\int \_{a}^{t}(t-u)^{s-1}f(u)d(u)}
而对{\displaystyle n-1<\beta <n}，函数 {\displaystyle f} 的{\displaystyle \beta }阶导数为：{\displaystyle D\_{t}^{\beta }f(t)={\frac {d^{n}}{dt^{n}}}\left[D\_{t}^{-n-\beta }f(t)\right]}
### 加托导数和弗雷歇导数

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

### 导子

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

{\displaystyle \delta (ab)=(\delta a)b+a(\delta b)}
所有{\displaystyle \mathbf {R} }-导子构成了 {\displaystyle {\mathcal {A}}} 上线性自同态集 {\displaystyle \operatorname {End} {\mathcal {A}}} 的子空间。

导数的应用
-----

物理学、几何学、工程科学、经济学等学科中的一些重要概念都可以用导数来表示。如，导数可以表示运动物体的瞬时速度和加速度，也可以表示曲线在一点的斜率。

### 边际和弹性

经济学中，所谓边际和弹性的概念与导数紧密相关。比如边际成本就是产量增加一个单位所带来的成本的增加，若將其連續化，得到的便是成本函数的导数。又如需求的弹性是指价格变化一个单位时，需求量的变化，連續化後相應的也是需求函数关于价格的导数。

参见
--

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

参考文献
----

1. 1 2 3 4 5 6 7 8 9  徐森林; 薛春华.. 清华大学出版社. 2005. ISBN 978-7-302-11746-9.
2. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22  欧阳光中; 姚允龙; 周渊 (编).. . 复旦大学出版社. 2003. ISBN 7-309-03570-4.
3. ↑  朝嵩金, 正敏段, 汉明王.. 清华大学出版社. 2006. ISBN 7-302-12350-0.
4. ↑  梁子杰.  (PDF). 數學教育. [永久]
5. 1 2  （英文）Dan Ginsburg, Brian Groose, Josh Taylor, Bogdan Vernescu..  [2011-02-10]. （原始内容存档于2021-02-18）.
6. 1 2 3 4 5 6 7  （中文）莫里斯·克莱因.. 由张理京、张锦炎、江泽涵翻译. 上海科学技术出版社. 2002. ISBN 7-5323-6172-1.
7. ↑  （英文）W. W. Rouse Ball..  [2011-02-10]. （原始内容存档于2012-05-03）.
8. 1 2  （中文）莫里斯·克莱因.. 由张理京、张锦炎、江泽涵翻译. 上海科学技术出版社. 2002. ISBN 7-5323-6172-1.
9. 1 2 3 4 5 6 7 8 9  Florian Cajori.  **第2卷**. Dover Publications. 1993年12月. ISBN 978-0486677668.
10. 1 2  Stewart, James.  6th. Brooks/Cole. 2008. ISBN 0-495-01166-5.
11. 1 2 3  Mary Barnes.. Curriculum Press. 1993. 第40-43页
12. ↑  （英文）. 1998-08-24  [2011-02-10]. （原始内容存档于2017-12-05）.
13. ↑  George Shoobridge Carr.. C. F. Hodgson. 1880. 第258页.
14. ↑  M.Fontaine, *Mémoires donnés à l'académie royale des sciences, non imprimés dans leur temps*,1764.
15. ↑  A. L. Crelle, *Rechnungmit veranderlichcn GriJsscn*, Vol. I (Gottingen, 1813).
16. ↑  Hamilton, *Philosophical Transactions of the Royal Society*，(London, 1834), p.249
17. ↑  Louis François Antoine Arbogast, *Calcul des Derivations*, (1800)， p.89
18. ↑  Benjamin Peirce, *Elementary Treatise on Curves, Functions, and Forces*(new ed. Boston and Cambridge), Vol I (1852)
19. ↑  （法文）A.L.Cauchy, *Exercices d'analyse et de physique mathematique*, (1844), p.12-17.
20. ↑  Banach, S. Studia. Math. 1931, (3): 174–179.
21. ↑  Jon Rogawski.. W. H. Freeman. 11 June 2007. ISBN 978-1-4292-1071-3.
22. 1 2 3  徐森林; 薛春华.. 清华大学出版社. 2005. ISBN 978-7-302-13141-0.
23. ↑  郑建华.. 清华大学出版社. 2005. ISBN 978-7302096931. 第17-19页.
24. ↑  Evans, Lawrence C.. Providence, R.I.: American Mathematical Society. 1998: 242. ISBN 0-8218-0772-2.
25. ↑  （英文）Jean-Baptiste Hiriart-Urruty, Claude Lemaréchal.. Springer. 2001. ISBN 3-540-42205-6. p.163-166
26. ↑  （中文）薛定宇,陈阳泉.. 清华大学出版社. 2004. ISBN 978-7302186182. 第384-385页.
27. ↑  
Igor Podlubny.. Academic Press. 1998年10月. ISBN 0-12-558840-2.
28. ↑  （法文）R Gâteaux.  (PDF). Bulletin de la S.M.F, tome 50 (1922).  [2011-02-11]. （原始内容存档 (PDF)于2013-10-20）.
29. ↑  Nicolas Bourbaki.. Springer-Verlag. 1989. ISBN 3-540-64243-9.
30. ↑  Nathan Jacobson.. Dover Publications. 1979. ISBN 978-0486638324. p.7-8
31. ↑  翁秉仁.. EpisteMath，改寫自同作者的《微積分講義》.  [2011-02-10]. （原始内容存档于2020-12-21）.

外部链接
----

* 导数计算器 （页面存档备份，存于）
* Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4
* 埃里克·韦斯坦因.. MathWorld.

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| : 各地 編輯維基數據鏈接 | 
* 德国
* 以色列
* 美国
* 日本
* 捷克

 |

 |