用大写字母表示导数从十八世纪末就开始。1800年,法国数学家路易斯·弗朗索瓦·安托内·阿伯加斯特(Louis François Antoine Arbogast)使用表示函数 的m阶导数或全微分[17]。而其后本杰明·佩尔斯也使用表示 对 的导数[18]。而柯西也采用类似的记号,用表示函数 对 的m阶偏导数[19]。
导数, 提示, 此条目的主题不是倒数, 英語, derivative, 是微积分学中的一個概念, 函数在某一点的是指这个函数在这一点附近的变化率, 的本质是通过极限的概念对函数进行局部的线性逼近, 当函数f, displaystyle, 的自变量在一点x, displaystyle, 上产生一个增量h, displaystyle, 函數输出值的增量與自變量增量h, displaystyle, 的比值在h, displaystyle, 趋于0时的極限如果存在, 即為f, displaystyle, 在x, displ. 提示 此条目的主题不是倒数 导数 英語 derivative 是微积分学中的一個概念 函数在某一点的导数是指这个函数在这一点附近的变化率 导数的本质是通过极限的概念对函数进行局部的线性逼近 当函数f displaystyle f 的自变量在一点x 0 displaystyle x 0 上产生一个增量h displaystyle h 时 函數输出值的增量與自變量增量h displaystyle h 的比值在h displaystyle h 趋于0时的極限如果存在 即為f displaystyle f 在x 0 displaystyle x 0 处的导数 记作f x 0 displaystyle f x 0 d f d x x 0 displaystyle frac mathrm d f mathrm d x x 0 或d f d x x x 0 displaystyle left frac mathrm d f mathrm d x right x x 0 例如在运动学中 物体的位移对于时间的导数就是物体的瞬时速度 1 153 一个实值函数的图像曲线 函数在一点的导数等于它的图像上这一点处之切线的斜率 导数是函数的局部性质 不是所有的函数都有导数 一个函数也不一定在所有的点上都有导数 若某函数在某一点导数存在 则称其在这一点可导 可微分 否则称为不可导 不可微分 如果函数的自变量和取值都是实数的话 那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率 对于可导的函数f displaystyle f x f x displaystyle x mapsto f x 也是一个函数 称作f displaystyle f 的导函数 寻找已知的函数在某点的导数或其导函数的过程称为求导 英語 differentiation 反之 已知导函数也可以倒过来求原来的函数 即不定积分 微积分基本定理说明了求原函数与积分是等价的 1 372 求导和积分是一对互逆的操作 它们都是微积分学中最为基础的概念 目录 1 定义 1 1 一般定义 1 2 几何意义 1 3 导数 导函数与微分算子 1 4 导数与微分 2 历史 3 导数的记法 3 1 牛顿的记法 3 2 莱布尼兹的记法 3 3 拉格朗日的记法 3 4 其它记法 4 函数可导的条件 5 导数与函数的性质 5 1 单调性 5 2 凹凸性 6 导数的计算 6 1 基本函数的导数 6 2 导数的求导法则 6 3 例子 7 高阶导数 7 1 二阶导数 7 2 高阶导数 7 3 高阶导数的求法 8 多元函数的导数 8 1 向量值函数的导数 8 2 偏导数 8 3 方向导数 9 推广 9 1 复变量导数 9 2 弱微分 9 3 次导数 9 4 非整数阶导数 9 5 加托导数和弗雷歇导数 9 6 导子 10 导数的应用 10 1 边际和弹性 11 参见 12 注释 13 参考文献 14 外部链接定义 编辑一般定义 编辑 nbsp 一個動畫 給出了一個直觀的導數概念 因為參數變化時函數的 擺動 會改變 直觀上 f x f a displaystyle f x f a nbsp 代表函數值從 a displaystyle a nbsp 到 x displaystyle x nbsp 的變化量 那這樣 f x f a x a displaystyle frac f x f a x a nbsp 代表的是從 a displaystyle a nbsp 到 x displaystyle x nbsp 的平均變化率 如果把 x displaystyle x nbsp 趨近於 a displaystyle a nbsp 似乎就可以更能貼切的描述函數值在 a displaystyle a nbsp 附近的變化 以此為動機 若实函数 f displaystyle f nbsp 於实数 a displaystyle a nbsp 有定義 且以下極限 注意這個表達式所定義的函數定義域不含 a displaystyle a nbsp lim x a f x f a x a displaystyle lim x to a frac f x f a x a nbsp 存在則称 f displaystyle f nbsp 於 a displaystyle a nbsp 处可导 并称这个极限为 f displaystyle f nbsp 於 a displaystyle a nbsp 处的导数 2 117 118 记为f a displaystyle f prime a nbsp 也可记作 d f d x x a displaystyle left frac mathrm d f mathrm d x right x a nbsp 或 d f d x a displaystyle frac mathrm d f mathrm d x a nbsp 1 154 根據函數極限的定義 導數定義部分的 存在 d gt 0 displaystyle delta gt 0 nbsp 使所有的 x D f displaystyle x in D f nbsp 只要 0 lt x a lt d displaystyle 0 lt x a lt delta nbsp 都有 可以直觀的理解為 當 h x a displaystyle h x a nbsp 趨近於 0 displaystyle 0 nbsp 都有 但要把它寫成嚴謹的定義 會碰到 存在 d gt 0 displaystyle delta gt 0 nbsp 對所有的實數 h displaystyle h nbsp 只要 a h D f displaystyle a h in D f nbsp 且 0 lt h lt d displaystyle 0 lt h lt delta nbsp 都有 這段敘述無法直接套入極限定義的問題 對此必須把以下的表達式 lim h 0 f a h f a h displaystyle lim h to 0 frac f a h f a h nbsp 定義為導數原始極限表達式的簡記 而非另一種自動合法的導數定義 但如果存在 r gt 0 displaystyle r gt 0 nbsp 使 f displaystyle f nbsp 在 a r a r displaystyle a r a r nbsp 裡都有定義 那定義 F displaystyle F nbsp 為以 h R h 0 h lt r displaystyle h in mathbb R h neq 0 wedge h lt r nbsp 為定義域 然後以F h f a h f a h displaystyle F h frac f a h f a h nbsp 為對應規則的函數 那以下的極限式lim h 0 F h f a displaystyle lim h to 0 F h f prime a nbsp 就可以把以 h displaystyle h nbsp 為自變數的偏差 將之趨近於零求導數的想法納入正式的運算裡 几何意义 编辑 nbsp 当函数定义域和取值都在实数域中的时候 导数可以表示函数的曲线上的切线斜率 如右图所示 设P 0 displaystyle P 0 nbsp 为曲线上的一个定点 P displaystyle P nbsp 为曲线上的一个动点 当P displaystyle P nbsp 沿曲线逐渐趋向于点P 0 displaystyle P 0 nbsp 时 并且割线P P 0 displaystyle PP 0 nbsp 的极限位置P 0 T displaystyle P 0 T nbsp 存在 则称P 0 T displaystyle P 0 T nbsp 为曲线在P 0 displaystyle P 0 nbsp 处的切线 若曲线为一函数y f x displaystyle y f x nbsp 的图像 那么割线P P 0 displaystyle PP 0 nbsp 粉紅色 的斜率为 tan f D y D x f x 0 D x f x 0 D x displaystyle tan varphi frac Delta y Delta x frac f x 0 Delta x f x 0 Delta x nbsp 当P 0 displaystyle P 0 nbsp 处的切线P 0 T displaystyle P 0 T nbsp 橘紅色 即P P 0 displaystyle PP 0 nbsp 的极限位置存在时 此时D x 0 displaystyle Delta x to 0 nbsp f a displaystyle varphi to alpha nbsp 则P 0 T displaystyle P 0 T nbsp 的斜率tan a displaystyle tan alpha nbsp 为 tan a lim D x 0 tan f lim D x 0 f x 0 D x f x 0 D x 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 nbsp 上式与一般定义中的导数定义完全相同 也就是说f x 0 tan a displaystyle f x 0 tan alpha nbsp 因此 导数的几何意义即曲线y f x displaystyle y f x nbsp 在点P 0 x 0 f x 0 displaystyle P 0 x 0 f x 0 nbsp 处切线的斜率 2 117 1 153 导数 导函数与微分算子 编辑 主条目 微分算子 若函数 f x displaystyle f x nbsp 在其定义域包含的某区间 I displaystyle I nbsp 内每一个点都可导 那么也可以说函数f x displaystyle f x nbsp 在区间 I displaystyle I nbsp 内可导 这时对于 I displaystyle I nbsp 内每一个确定的x displaystyle x nbsp 值 都对应着 f displaystyle f nbsp 的一个确定的导数值 如此一来就构成了一个新的函数x f x displaystyle x mapsto f x nbsp 这个函数称作原来函数 f x displaystyle f x nbsp 的导函数 1 155 记作 y displaystyle y nbsp f x displaystyle f x nbsp 或者 d f d x x displaystyle tfrac mathrm d f mathrm d x x nbsp 值得注意的是 导数是一个数 是指函数 f x displaystyle f x nbsp 在点 x 0 displaystyle x 0 nbsp 处导函数的函数值 但在不至于混淆的情况下 通常也可以说导函数为导数 由于对每一个可导的函数 f x displaystyle f x nbsp 都有它的导函数 f x displaystyle f x nbsp 存在 我们还可以定义将函数映射到其导函数的算子 这个算子称为微分算子 一般记作 D displaystyle D nbsp 或 d d x displaystyle tfrac mathrm d mathrm d x nbsp 3 例如 D x 1 x 0 D x x x 1 D x x 2 x 2 x displaystyle begin aligned D x mapsto 1 amp x mapsto 0 D x mapsto x amp x mapsto 1 D x mapsto x 2 amp x mapsto 2 cdot x end aligned nbsp 由于微分算子的输出值仍然是函数 可以继续求出它在某一点的取值 比如说对于函数 f x x 2 displaystyle f x x 2 nbsp D f x 2 x displaystyle D f x mapsto 2 cdot x nbsp 所以D f x 2 x displaystyle D f x 2x nbsp D f 1 4 2 1 4 2 8 displaystyle D f 1 4 2 times 1 4 2 8 nbsp 导数与微分 编辑 微分也是一种线性描述函数在一点附近变化的方式 微分和导数是两个不同的概念 但是 对一元函数来说 可微与可导是完全等价的 可微的函数 其微分等于导数乘以自变量的微分d x displaystyle mathrm d x nbsp 换句话说 函数的微分与自变量的微分之商等于该函数的导数 因此 导数也叫做微商 函数y f x displaystyle y f x nbsp 的微分又可记作d y f x d x displaystyle mathrm d y f x mathrm d x nbsp 4 历史 编辑主条目 微积分学 历史 导数和积分的发现是微积分发明的关键一步 17世纪以来 光学透镜的设计以及炮弹弹道轨迹的计算促使欧洲的数学家对曲线的切线进行研究 1630年代 法国数学家吉尔 德 罗伯瓦尔作出了最初的尝试 5 与此同时 同是法国人的费马在计算切线时已经使用了无穷小量的概念 註 1 6 52 nbsp 如右图 费马考虑曲线 f x displaystyle f x nbsp 在 x displaystyle x nbsp 处的切线 他声称 对于切线 有以下的关系成立 s s h f x f x h displaystyle frac s s h frac f x f x h nbsp 对上式变形后得到 s f x f x h f x h displaystyle s frac f x frac f x h f x h nbsp 对于具体的函数 f x displaystyle f x nbsp 比如 f x x 3 displaystyle f x x 3 nbsp 费马计算 f x h f x h displaystyle frac f x h f x h nbsp 的值 并将 h displaystyle h nbsp 设为0 就得到 s displaystyle s nbsp 从而确定切线的斜率 可以看出 费马的方法实质上已经是求导 费马还给出了 f x displaystyle f x nbsp 为多项式时切线的公式 英国的巴罗 荷兰的于德 Johnann Van Waveren Hudde 和瓦隆的斯卢兹 Rene Francoiss Walther de Sluze 继续了费马的工作 7 然而 费马和巴罗等人并没有将求导归纳为一种独立的工具 只是给出了具体的计算技巧 5 1660年代 英国人伊萨克 牛顿提出了 流数 的概念 牛顿在写于1671年的 流数法与无穷级数 中对流数的解释是 我把时间看作是连续的流动或增长 而其他的量则随着时间而连续增长 我从时间流动性出发 把所有其他量的增长速度称为流数 也就是说 流数就是导数 牛顿将无穷小的时间间隔定义为 瞬间 moment 而一个量的增量则是流数与瞬间的乘积 求导数时 牛顿将自变量和因变量两边展开 同时除以瞬间 再将剩下的项中含有瞬间的项忽略掉 6 72 而在他的第三篇微积分论文中 牛顿使用了新的概念 最初比和最后比 他说 随我们的意愿 流数可以任意地接近于在尽可能小的等间隔时段中产生的增量 精确地说 它们是最初增量的最初的比 它们也能用和它们成比例的任何线段来表示 6 74 相比于牛顿 德国数学家莱布尼兹使用了更清晰的记号来描述导数 见导数的记法一节 他利用了巴罗的 微分三角形 概念 将自变量和因变量的增量记为 d x displaystyle dx nbsp 和 d y displaystyle dy nbsp 他把 d x displaystyle dx nbsp 理解为 比任何给定的长度都要小 而 d y displaystyle dy nbsp 则是 x displaystyle x nbsp 移动时 y displaystyle y nbsp 瞬刻的增长 6 89 而导数则是两者之间的比例 他还研究了函数之和 差 积 商的求导法则 nbsp 伊萨克 牛顿爵士牛顿和莱布尼兹的差别在于 牛顿将无穷小量作为求流数或导数的工具 而莱布尼兹则用无穷小量的比值来表示导数 这与二人的哲学思想差异有关 6 92 微积分的理论面世后 遭到了有关无穷小量定义的攻击与质疑 导数的定义自然也包括在内 莱布尼兹和牛顿对无穷小量的认识都是模糊的 不仅如此 莱布尼兹甚至引入了 d x displaystyle d x nbsp 和 d y displaystyle d y nbsp 称其为 未消失的量 用以进行求导前部的计算 在完成计算后再用 消失的量 d x displaystyle dx nbsp 和 d y displaystyle dy nbsp 来代替它们 并假定前两者之比等于后两者之比 认为这是一个不容置疑的真理 6 102 许多数学家 包括伯努利兄弟 泰勒 麦克劳林 达朗贝尔 拉格朗日和欧拉都想要对微积分的严密性辩护或将微积分严密化 但受限于对无穷小量的认识 十八世纪的数学家并没有做出太大的成果 微积分的强烈抨击者 英国的乔治 贝克莱主教在攻击无穷小量时认为 流数实际上是 消失的量的鬼魂 是0与0之比 欧拉承认后者 并认为0与0之比可以是有限值 拉格朗日则假定函数都可以展开为幂级数 并在此基础上定义导数 6 154 156 十九世纪后 随着对函数连续性和极限的更深刻认识 微积分终于趋于严谨 波尔查诺是首先将导数定义为函数值的改变量与自变量增量之比在自变量增量无限接近0时趋向的量 波尔查诺强调导数不是0与0之比 而是前面的比值趋向的数 8 10 柯西在他的著作 无穷小分析教程概论 中也使用了同样的定义 并定义d y displaystyle dy nbsp 为导数与 d x displaystyle dx nbsp 的乘积 这样 导数和微分的概念得到了统一 8 11 导数的记法 编辑从微积分发轫至如今 不同的数学家都曾使用过不同的记号来表示函数的导数 部分记号至今仍然使用 成为现代的通用记法 牛顿的记法 编辑 作为微积分的发明人之一 牛顿在1704年著作中将导数用函数符号上方的点来表示 例如 y f x displaystyle y f x nbsp 的导数就记作y displaystyle dot y nbsp 而二阶导数则记为y displaystyle ddot y nbsp 9 193 196 他以后的数学家也会将y displaystyle dot y nbsp 用来表示函数的微分 牛顿的记法中没有明确自变量 因此 y displaystyle y nbsp 对 x displaystyle x nbsp 的导数在牛顿的著作中也会被记成y x displaystyle y x nbsp 因为这可以理解为两个函数y displaystyle y nbsp 和 x displaystyle x nbsp 对于另一个变量t displaystyle t nbsp 的导数比 9 196 而这个导数比 使用莱布尼兹的记号 y x d y d t d x d t d y d x displaystyle y x frac dy dt frac dx dt frac dy dx nbsp 牛顿的记号多见于物理学或与之有关的方面 如微分方程中 以及直到现在 使用函数符号上加一点来表示某一变量的变化率 即对时间的导数 依然常见于各类物理学教材中 如使用v displaystyle dot v nbsp 来表示加速度等 注意到对于高阶的导数 这种记法就无法表示了 莱布尼兹的记法 编辑 nbsp 戈特弗里德 威廉 莱布尼茨莱布尼兹在他的研究中分别使用 D x displaystyle Delta x nbsp 和 D y displaystyle Delta y nbsp 来表示函数自变量和應变量 输出值 的有限变化量 而使用 d x displaystyle dx nbsp 和 d y displaystyle dy nbsp 来表示 无限小 的变化量 即所谓的 无穷小量 10 如果将函数记为y f x displaystyle y f x nbsp 的话 那么在莱布尼兹的记法下 其导数记为 d y d x displaystyle frac dy dx nbsp d f d x x displaystyle frac df dx x nbsp d d x f x displaystyle frac d dx f x nbsp 或 d f x d x displaystyle frac d left f x right dx nbsp 这个记法最早出现在莱布尼兹1684年的论文中 9 204 莱布尼兹在之前的文章中会将 d x displaystyle dx nbsp 记成 x d displaystyle tfrac x d nbsp 把 d y d x displaystyle tfrac dy dx nbsp 记成 d y x displaystyle d tfrac y x nbsp 莱布尼兹记法的好处是明确了自变量和應变量 11 要注意的是记号d x displaystyle dx nbsp 是一个整体 d y displaystyle dy nbsp 也是 而d y d x displaystyle frac dy dx nbsp 可以看成一个整体 也可以不严谨地看成d y displaystyle dy nbsp 和d x displaystyle dx nbsp 的比值 10 此外 d y d x displaystyle frac dy dx nbsp 表示的是导函数 在某一点 x a displaystyle x a nbsp 的导数则记为 d y d x x a displaystyle left frac dy dx right x a nbsp 对于更高阶的导数 比如说n阶 见高阶导数一节 莱布尼兹的记法是 d n y d x n displaystyle frac d n y dx n nbsp d n f d x n x displaystyle frac d n f dx n x nbsp 或 d n f x d x n displaystyle frac d n left f x right dx n nbsp 这种记法是在1695年出现的 9 205 这里的分子和分母不再具有单独的意义 莱布尼兹的记法中使用 d d x displaystyle frac d dx nbsp 来表示微分算子 比如说二阶的导数 d 2 y d x 2 displaystyle frac d 2 y dx 2 nbsp 就可以看成 d 2 y d x 2 d d x d y d x displaystyle frac d 2 y dx 2 frac d dx left frac dy dx right nbsp 11 莱布尼兹记法的另一个好处是便于记忆导数计算的法则 例如链式法则 见导数的计算一节 应用莱布尼兹的记法就是 d y d x d y d u d u d x displaystyle frac dy dx frac dy du cdot frac du dx nbsp 可以想象为右边是两个分式的乘积 消去d u displaystyle du nbsp 之后就变成左边 11 由于牛顿和莱布尼兹之间关于微积分创始人称号的持久纠纷 在十八世纪早期的很长时间里 英国数学界与欧洲大陆的数学界分别采用牛顿和莱布尼兹的记号 泾渭分明 这种情况直到十八世纪后期才开始改变 随着拉格朗日记法的出现而变得多样化起来 9 197 200 拉格朗日的记法 编辑 另一种现今常见的记法是十八世纪拉格朗日于1797年率先使用的 以在函数的右上角加上一短撇作为导数的记号 函数 y f x displaystyle y f x nbsp 的导数就记作 f x displaystyle f x nbsp 或 y displaystyle y nbsp 12 二阶和三阶导数记为f x displaystyle f x nbsp y displaystyle y nbsp 和 f x displaystyle f x nbsp y displaystyle y nbsp 9 207 如果需要处理更高阶的导数 则用括号内的求导阶数n来代替短撇 记为 f n x displaystyle f n x nbsp y n displaystyle y n nbsp 当十九世纪的数学家柯西处理微分学时 他认为莱布尼兹的记法 模糊不便 而采用更为 紧凑 的记法 将 d y d x displaystyle frac dy dx nbsp 记为y x displaystyle y x nbsp 这种记法可说是拉格朗日记法的变种 9 218 后来这种记法曾继续被精简为y x displaystyle y x nbsp 13 其它记法 编辑 十九世纪以前 尽管大部分数学家会选择采用牛顿 莱布尼兹或拉格朗日的记号来表示导数 但也有很多的数学家希望使用自己的方法来记录 在不同数学家的著作中可以看到各种主流记法的混合或变体 数学家之间关于什么样的记法最为简便和严谨也是各执一词 同时 由于函数的微分 导数 偏导数以及无穷小量等概念尚未成熟 记号的不统一更增加了数学家之间相互理解的难度 9 214 234 十九世纪初期的德国数学家马尔丹 欧姆采用 f x displaystyle partial f x nbsp 来表示导数 而同时期的雅可比则采用 f x displaystyle frac partial f partial x nbsp 来表示偏导数 同时许多数学家采用d f d x displaystyle frac df dx nbsp 14 d x f displaystyle frac d x f nbsp 15 或 d f d x displaystyle frac delta f delta x nbsp 16 表示偏导数 用大写字母D displaystyle D nbsp 表示导数从十八世纪末就开始 1800年 法国数学家路易斯 弗朗索瓦 安托内 阿伯加斯特 Louis Francois Antoine Arbogast 使用D m f displaystyle D m f nbsp 表示函数 f displaystyle f nbsp 的m阶导数或全微分 17 而其后本杰明 佩尔斯也使用D f x displaystyle Df cdot x nbsp 表示 f displaystyle f nbsp 对 x displaystyle x nbsp 的导数 18 而柯西也采用类似的记号 用D x m f displaystyle D x m f nbsp 表示函数 f displaystyle f nbsp 对 x displaystyle x nbsp 的m阶偏导数 19 函数可导的条件 编辑如果一个函数的定义域为全体实数 即函数在 displaystyle infty infty nbsp 上都有定义 那么该函数是不是在定义域上处处可导呢 答案是否定的 函数在定义域中一点可导需要一定的条件 首先 要使函数f displaystyle f nbsp 在一点可导 那么函数一定要在这一点处连续 换言之 函数若在某点可导 则必然在该点处连续 这个结论来自于连续性的定义 证明 设函数y f x displaystyle y f x nbsp 上一点x 0 displaystyle x 0 nbsp 函数在这一点可导 即f x 0 lim D x 0 D y D x displaystyle f x 0 lim Delta x to 0 frac Delta y Delta x nbsp 存在 其中 D y f x 0 D x f x 0 displaystyle Delta y f x 0 Delta x f x 0 nbsp 所以 lim D x 0 D y lim D x 0 D y D x D x lim D x 0 D y D x lim D x 0 D x f x 0 0 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 nbsp 即函数f x displaystyle f x nbsp 在x 0 displaystyle x 0 nbsp 处连续 2 118 符号函数 sgn函数 是一个不连续的函数在断点处不可导的例子 nbsp 符号函数首先注意到这个函数在x 0 0 displaystyle x 0 0 nbsp 处不连续 作为验证 可以求出函数在x 0 displaystyle x 0 nbsp 处附近的变化率 根据函数可导的条件再进行判断 该函数在x 0 0 displaystyle x 0 0 nbsp 左侧附近的变化率为 f x f x 0 x x 0 1 0 x 0 1 x displaystyle frac f x f x 0 x x 0 frac 1 0 x 0 frac 1 x nbsp 当x 0 displaystyle x to 0 nbsp 时 上面的比值趋于正无穷大发散 不存在 故这个符号函数在x 0 0 displaystyle x 0 0 nbsp 处不可导 然而 连续性并不能保证可导性 即使函数在一点上连续 也不一定就在这一点可导 事实上 存在着在每一点都连续 但又在每一点都不可导的 病态函数 1931年 斯特凡 巴拿赫甚至证明 事实上 绝大多数 的连续函数都属于这种病态函数 至少在一点可导的连续函数在所有连续函数中是贫集 20 在连续而不可导的函数里 一种常见的情况是 函数在某一点连续 并且可以定义它的左导数和右导数 左导数 f x 0 lim D x 0 f x 0 D x f x 0 D x displaystyle f x 0 lim Delta x to 0 frac f x 0 Delta x f x 0 Delta x nbsp 2 118 1 155 右导数 f x 0 lim D x 0 f x 0 D x f x 0 D x displaystyle f x 0 lim Delta x to 0 frac f x 0 Delta x f x 0 Delta x nbsp 2 118 1 155 然而左导数和右导数并不相等 因而函数在该处不可导 实际上 若函数导数存在 则必然可以推出左右导数相等 这是由极限的性质 极限存在则左右极限相等 得来 lim D x 0 f x 0 D x f x 0 D x lim D x 0 f x 0 D x f x 0 D x lim D x 0 f x 0 D x f x 0 D 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 nbsp 下面以绝对值函数作为例子 nbsp 绝对值函数该函数在x 0 displaystyle x 0 nbsp 处的左导数为 f 0 lim x 0 f x f 0 x 0 lim x 0 x 0 x 0 1 displaystyle f 0 lim x to 0 frac f x f 0 x 0 lim x to 0 frac x 0 x 0 1 nbsp 该函数在x 0 displaystyle x 0 nbsp 处的右导数为 f 0 lim x 0 f x f 0 x 0 lim x 0 x 0 x 0 1 displaystyle f 0 lim x to 0 frac f x f 0 x 0 lim x to 0 frac x 0 x 0 1 nbsp 绝对值函数在x 0 displaystyle x 0 nbsp 处的左右导数皆存在 但由于左右导数不相等 故绝对值函数在x 0 displaystyle x 0 nbsp 处不可导 2 118 119如果函数在一点的左右导数都存在并且相等 那么函数在该处可导 1 155导数与函数的性质 编辑通过认识可导函数的导数 可以推断出不少函数本身的性质 单调性 编辑 nbsp x变化时函数f x 1 x sin x 2 displaystyle scriptstyle f x 1 x sin x 2 nbsp 蓝色曲线 的切线变化 函数的导数值就是切线的斜率 绿色代表其值为正 红色代表其值为负 黑色代表值为零 根据微积分基本定理 对于可导的函数f displaystyle f nbsp 有 f b f a a b f t d t displaystyle f b f a int a b f t mathrm d t nbsp 如果函数的导函数在某一区间内恒大于零 或恒小于零 那么函数在这一区间内单调递增 或单调递减 这种区间也称为函数的单调区间 导函数等于零的点称为函数的驻点 或极值可疑点 在这类点上函数可能会取得极大值或极小值 进一步判断则需要知道导函数在附近的符号 对于满足 f x 0 0 displaystyle f x 0 0 nbsp 的一点 x 0 displaystyle x 0 nbsp 如果存在 d gt 0 displaystyle delta gt 0 nbsp 使得 f displaystyle f nbsp 在区间 x 0 d x 0 displaystyle x 0 delta x 0 nbsp 上都大于等于零 而在区间 x 0 x 0 d displaystyle x 0 x 0 delta nbsp 上都小于等于零 那么 x 0 displaystyle x 0 nbsp 是一个极大值点 反之则为极小值点 2 170 如果f x 0 0 displaystyle f x 0 0 nbsp 並且 f x displaystyle f x nbsp 在 x 0 displaystyle x 0 nbsp 改變加減號 則称这个点是拐点 否則这个点不是拐点 21 200如果函数在 x 0 displaystyle x 0 nbsp 处的二阶导数 f x 0 displaystyle f x 0 nbsp 存在 极值点也可以用它的正负性判断 已确定f x 0 0 displaystyle f x 0 0 nbsp 如果f x 0 gt 0 displaystyle f x 0 gt 0 nbsp 那么 x 0 displaystyle x 0 nbsp 是一个极小值点 反之为极大值点 2 170 171 凹凸性 编辑 主条目 凸函數和凹函數 可导函数的凹凸性与其导数的单调性有关 如果函数的导函数在某个区间上单调递增 那么这个区间上函数是向下凸的 反之则是向上凸的 如果二阶导函数存在 也可以用它的正负性判断 如果在某个区间上 f displaystyle f nbsp 恒大于零 则这个区间上函数是向下凸的 反之这个区间上函数是向上凸的 2 176 178 导数的计算 编辑原则上 函数的导数可以通过考虑差商和计算其极限来从定义计算 在实践中 一旦知道了一些简单函数的导数 就可以使用从更简单的函数获得更复杂函数的导数的规则 来更容易地计算其他函数的导数 基本函数的导数 编辑 主条目 导数列表 所谓基本函数是指一些形式简单并且容易求出导数的函数 这些基本函数的导函数可以通过定义直接求出 幂函数的导数 如果f x x r displaystyle f x x r nbsp 其中r displaystyle r nbsp 是任意实数 那么f x r x r 1 displaystyle f x rx r 1 nbsp 函数f displaystyle f nbsp 的定义域可以是整个实数域 但导函数的定义域则不一定与之相同 例如当 r 1 2 displaystyle r frac 1 2 nbsp 时 f x 1 2 x 1 2 displaystyle f x frac 1 2 x tfrac 1 2 nbsp 2 119导函数的定义域只限所有正实数而不包括0 需要注意的是 不会有多项式函数的导数为x 1 displaystyle scriptstyle x 1 nbsp 当 r 0 displaystyle r 0 nbsp 时 常函数的导数是0 底数为e displaystyle e nbsp 的指数函数 y e x displaystyle scriptstyle y e x nbsp 的导数还是自身 d d x e x e x displaystyle scriptstyle frac mathrm d mathrm d x e x e x nbsp 而一般的指数函数 y a x displaystyle y a x nbsp 的导数还需要乘以一个系数 d d x a x ln a a x displaystyle scriptstyle frac mathrm d mathrm d x a x ln a a x nbsp 2 122自然对数函数的导数则是 x 1 displaystyle x 1 nbsp d d x ln x 1 x x gt 0 displaystyle scriptstyle frac mathrm d mathrm d x ln x frac 1 x qquad x gt 0 nbsp 2 123 同样的 一般的对数函数导数则还需要乘以一个系数 d d x log a x 1 x ln a displaystyle scriptstyle frac mathrm d mathrm d x log a x frac 1 x ln a nbsp 三角函数的导数仍然是三角函数 或者由三角函数构成 2 122 d d x sin x cos x displaystyle frac d dx sin x cos x nbsp d d x cos x sin x displaystyle frac d dx cos x sin x nbsp d d x tan x sec 2 x 1 cos 2 x 1 tan 2 x displaystyle frac d dx tan x sec 2 x frac 1 cos 2 x 1 tan 2 x nbsp d d x cot x csc 2 x 1 sin 2 x displaystyle frac mathrm d mathrm d x cot x csc 2 x frac 1 sin 2 x nbsp 反三角函数的导数则是无理分式 1 160 d d x arcsin x 1 1 x 2 1 lt x lt 1 displaystyle frac d dx arcsin x frac 1 sqrt 1 x 2 qquad 1 lt x lt 1 nbsp d d x arccos x 1 1 x 2 1 lt x lt 1 displaystyle frac d dx arccos x frac 1 sqrt 1 x 2 qquad 1 lt x lt 1 nbsp d d x arctan x 1 1 x 2 displaystyle frac d dx arctan x frac 1 1 x 2 nbsp 导数的求导法则 编辑 主条目 求导法则 由基本函数的和 差 积 商或相互复合构成的函数的导函数则可以通过函数的求导法则来推导 基本的求导法则如下 求导的线性性 对函数的线性组合求导 等于先对其中每个部分求导后再取线性组合 a f b g a f b g displaystyle af bg af bg nbsp 其中a b displaystyle a b nbsp 为常数 2 121两个函数的乘积的导函数 等于其中一个的导函数乘以另一者 加上另一者的导函数与其的乘积 f g f g f g displaystyle fg f g fg nbsp 2 125两个函数的商的导函数也是一个分式 其中分子是分子函数的导函数乘以分母函数减去分母函数的导函数乘以分子函数后的差 而其分母是分母函数的平方 f g f g f g g 2 displaystyle left frac f g right frac f g fg g 2 nbsp 在g x 0 displaystyle g x neq 0 nbsp 处方有意义 2 126复合函数的求导法则 如果有复合函数 f x h g x displaystyle f x h g x nbsp 那么f x h g x g x displaystyle f x h g x cdot g x nbsp 2 128若要求某个函数在某一点的导数 可以先运用以上方法求出这个函数的导函数 再看导函数在这一点的值 例子 编辑 欲求函数 f x x 4 sin x 2 ln x e x 7 displaystyle f x x 4 sin x 2 ln x e x 7 nbsp 在x 3 displaystyle x 3 nbsp 处的导数 可以先求出其导函数 f x 4 x 4 1 d x 2 d x cos x 2 d ln x d x e x ln x d e x d x 0 4 x 3 2 x cos x 2 1 x e x ln x e x displaystyle begin aligned f x amp 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 amp 4x 3 2x cos x 2 frac 1 x e x ln x e x end aligned nbsp 其中第二项使用了复合函数的求导法则 而第三项则使用了乘积的求导法则 求出导函数后 再将x 3 displaystyle x 3 nbsp 代入 得到导数为 f 3 108 6 cos 9 e 3 3 ln 3 e 3 displaystyle f 3 108 6 cos 9 frac e 3 3 ln 3 e 3 nbsp 高阶导数 编辑二阶导数 编辑 主条目 二階導數 如果函数的导数f x displaystyle f x nbsp 在x displaystyle x nbsp 处可导 则称 f x displaystyle f x nbsp 为x displaystyle x nbsp 的二阶导数 记做 f x displaystyle f x nbsp y displaystyle y nbsp d 2 y d x 2 displaystyle frac rm d 2 y rm d x 2 nbsp 或d 2 f x d x 2 displaystyle frac rm d 2 f x rm d x 2 nbsp 2 132 二阶导数可用于求解函数凹凸性问题 f x gt 0 displaystyle f x gt 0 nbsp 函数在x上凹 f x lt 0 displaystyle f x lt 0 nbsp 函数在x下凹 高阶导数 编辑 二阶导数的导数称为三阶导数 记做f x displaystyle f x nbsp y displaystyle y nbsp d 3 y d x 3 displaystyle frac rm d 3 y rm d x 3 nbsp 或d 3 f x d x 3 displaystyle frac rm d 3 f x rm d x 3 nbsp 三阶导数的导数称为四阶导数 记做f 4 x displaystyle f 4 x nbsp y 4 displaystyle y 4 nbsp d 4 y d x 4 displaystyle frac rm d 4 y rm d x 4 nbsp 或d 4 f x d x 4 displaystyle frac rm d 4 f x rm d x 4 nbsp 一般的f x displaystyle f x nbsp 的n 1 displaystyle n 1 nbsp 阶导数的导数称为f x displaystyle f x nbsp 的n displaystyle n nbsp 阶导数 记为f n x displaystyle f n x nbsp y n displaystyle y n nbsp d n y d x n displaystyle frac rm d n y rm d x n nbsp 或d n f x d x n displaystyle frac rm d n f x rm d x n nbsp 2 133 高阶导数的求法 编辑 一般来说 高阶导数的计算和导数一样 可以按照定义逐步求出 同时 高阶导数也有求导法则 d n d x n u v d n d x n u d n d x n v 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 nbsp d n d x n C u C d n d x n u displaystyle frac rm d n rm d x n Cu C frac rm d n rm d x n u nbsp d n d x n u v k 0 n C k n d n k d x n k u d k d x k v 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 nbsp 莱布尼兹公式 2 134因此 可以利用已知的高阶导数求导法则 通过四则运算 变量代换等方法 求出n displaystyle n nbsp 阶导数 一些常见的有规律的高阶导数的公式如下 2 133 d n d x n x a x a n k 0 n 1 a k displaystyle frac rm d n rm d x n x alpha x alpha n prod k 0 n 1 alpha k nbsp d n d x n 1 x 1 n n x n 1 displaystyle frac rm d n rm d x n frac 1 x 1 n frac n x n 1 nbsp d n d x n ln x 1 n 1 n 1 x n displaystyle frac rm d n rm d x n ln x 1 n 1 frac n 1 x n nbsp displaystyle nbsp d n d x n e x e x displaystyle frac rm d n rm d x n e x e x nbsp d n d x n a x a x ln n a displaystyle frac rm d n rm d x n a x a x cdot ln n a nbsp a gt 0 displaystyle a gt 0 nbsp displaystyle nbsp d n d x n sin k x b k n sin k x b n p 2 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 nbsp d n d x n cos k x b k n cos k x b n p 2 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 nbsp 多元函数的导数 编辑主条目 向量分析 向量值函数的导数 编辑 当函数 y displaystyle y nbsp 的取值不再是实数 而是一般的R n displaystyle mathbf R n nbsp 中的向量时 仍然可能对其求导 这时的函数值是 y y 1 x y 2 x y n x displaystyle y left y 1 x y 2 x cdots y n x right nbsp 每个 y i x 1 i n displaystyle y i x 1 leqslant i leqslant n nbsp 都是一个实数值的函数 具体的例子如二维或者三维空间里的参数方程 因此 对 y f x displaystyle y f x nbsp 求导实际上是对每个分量函数 y i x displaystyle y i x nbsp 求导 y t y 1 t y n t displaystyle mathbf y t y 1 t cdots y n t nbsp 2 191这也符合定义 y t lim h 0 y t h y t h displaystyle mathbf y t lim h to 0 frac mathbf y t h mathbf y t h nbsp 设 e 1 e 2 e n displaystyle left e 1 e 2 cdots e n right nbsp 为R n displaystyle mathbf R n nbsp 的一组基 那么对函数 y t y 1 t e 1 y 2 t e 2 y n t e n displaystyle y t mapsto y 1 t e 1 y 2 t e 2 cdots y n t e n nbsp 其导函数为 y t y 1 t e 1 y 2 t e 2 y n t e n displaystyle y t y 1 t e 1 y 2 t e 2 cdots y n t e n nbsp 偏导数 编辑 主条目 偏导数 如果有函数 f displaystyle f nbsp 其自变量不是单个实数 而是多于一个元素 例如 f x y x 2 x y y 2 displaystyle f x y x 2 xy y 2 nbsp 这时可以把其中一个元素 比如 x displaystyle x nbsp 看做参数 那么 f displaystyle f nbsp 可以看做是关于另一个元素的参数函数 f x y f x y x 2 x y y 2 displaystyle f x y f x y x 2 xy y 2 nbsp 也就是说 对于某个确定的 x displaystyle x nbsp 函数 f x displaystyle f x nbsp 就是一个关于 y displaystyle y nbsp 的函数 在 x a displaystyle x a nbsp 固定的情况下 可以计算这个函数 f x displaystyle f x nbsp 关于 y displaystyle y nbsp 的导数 f a y a 2 y displaystyle f a y a 2y nbsp 这个表达式对于所有的 a displaystyle a nbsp 都对 这种导数称为偏导数 一般记作 f y x y x 2 y displaystyle frac partial f partial y x y x 2y nbsp 这里的符号 是字母 d displaystyle d nbsp 的圆体变体 一般读作 d displaystyle delta nbsp 的首音节或读 偏 以便与 d displaystyle d nbsp 区别 更一般地来说 一个多元函数 f x 1 x 2 x n displaystyle f left x 1 x 2 cdots x n right nbsp 在点 a 1 a 2 a n displaystyle left a 1 a 2 cdots a n right nbsp 处对 x i displaystyle x i nbsp 的偏导数定义为 f x i a 1 a n lim h 0 f a 1 a i h a n f a 1 a n h 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 nbsp 上面的极限中 除了 x i displaystyle x i nbsp 外所有的自变元都是固定的 这就确定了一个一元函数 f a 1 a i 1 a i 1 a n x i f a 1 a i 1 x i a i 1 a n 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 span, 维基百科,wiki,书籍,书籍,图书馆,