导数
一个实值函数的图像曲线。函数在一点的导数等于它的图像上这一点处之切线的斜率。
| 系列條目 | |
| 微积分学 | |
|---|---|
| |
基础概念(含极限论和级数论)
| |
一元微分
| |
一元积分
| |
多元微积分
| |
微分方程
| |
相关数学家 牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯 · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 约翰·伯努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦 · 婆什迦罗第二 · 阿涅西 · 阿基米德 | |
历史名作 从无穷小量分析来理解曲线 · 分析学教程 · 无穷小分析引论 · 用无穷级数做数学分析 · 流形上的微积分 · 微积分学教程 · 纯数学教程 · 机械原理方法论 | |
分支学科
| |
导数(英语:Derivative)是微积分学中重要的基礎概念。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数fdisplaystyle f的自变量在一点x0displaystyle x_0
上产生一个增量hdisplaystyle h
时,函數输出值的增量與自變量增量hdisplaystyle h
的比值在hdisplaystyle h
趋于0时的極限如果存在,即為fdisplaystyle f
在x0displaystyle x_0
处的导数,记作f′(x0)displaystyle f'(x_0)
、dfdx(x0)displaystyle frac mathrm d fmathrm d x(x_0)
或dfdx|x=x0_x=x_0
。例如在运动学中,物体的位移对于时间的导数就是物体的瞬时速度[1]:153。
导数是函数的局部性质。不是所有的函数都有导数,一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在,则称其在这一点可导,否则称为不可导。如果函数的自变量和取值都是实数的话,那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。
对于可导的函数fdisplaystyle f,x↦f′(x)displaystyle xmapsto f'(x)
也是一个函数,称作fdisplaystyle f
的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之,已知导函数也可以倒过来求原来的函数,即不定积分。微积分基本定理说明了求原函数与积分是等价的[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 外部链接
定义
一般定义
一個動畫,給出了一個直觀的導數概念,因為參數變化時函數的“擺動”會改變。
设有定义域和取值都在实数域中的函数 y=f(x)displaystyle y=f(x);。若 f(x)displaystyle f(x);
在点 x0displaystyle ;x_0;
的某个邻域内有定义,则当自变量 xdisplaystyle ;x;
在 x0displaystyle ;x_0;
处取得增量 Δxdisplaystyle Delta x;
(点 x0+Δxdisplaystyle ;x_0+Delta x;
仍在该邻域内)时,相应地 ydisplaystyle ;y;
取得增量 Δy=f(x0+Δx)−f(x0)displaystyle Delta y=f(x_0+Delta x)-f(x_0),!
;如果 Δydisplaystyle Delta ;y;
与 Δxdisplaystyle Delta ;x;
之比当 Δx→0displaystyle Delta xto 0
时的极限存在,则称函数 y=f(x)displaystyle y=f(x),!
在点 x0displaystyle ;x_0;
处可导,并称这个极限为函数 y=f(x)displaystyle y=f(x),!
在点 x0displaystyle ;x_0;
处的导数,记为 f′(x0)displaystyle f'(x_0);
,即:[2]:117-118
| f′(x0)=limΔx→0ΔyΔx=limΔx→0f(x0+Δx)−f(x0)Δxdisplaystyle f'(x_0)=lim _Delta xto 0frac Delta yDelta x=lim _Delta xto 0frac f(x_0+Delta x)-f(x_0)Delta x |
也可记作 y′(x0)displaystyle y^prime (x_0)、 dydx|x=x0_x=x_0
、 dfdx(x0)displaystyle frac mathrm d fmathrm d x(x_0)
或 dfdx|x=x0_x=x_0
[1]:154。
对于一般的函数,如果不使用增量的概念,函数 f(x)displaystyle f(x); 在点 x0displaystyle x_0;
处的导数也可以定义为:当定义域内的变量 xdisplaystyle x;
趋近于 x0displaystyle x_0;
时,
- f(x)−f(x0)x−x0displaystyle frac f(x)-f(x_0)x-x_0
的极限。也就是说,
f′(x0)=limx→x0f(x)−f(x0)x−x0displaystyle f'(x_0)=lim _xto x_0frac f(x)-f(x_0)x-x_0[1]:154
几何意义
当函数定义域和取值都在实数域中的时候,导数可以表示函数的曲线上的切线斜率。如右图所示,设P0displaystyle P_0为曲线上的一个定点,Pdisplaystyle P
为曲线上的一个动点。当Pdisplaystyle P
沿曲线逐渐趋向于点P0displaystyle P_0
时,并且割线PP0displaystyle PP_0
的极限位置P0Tdisplaystyle P_0T
存在,则称P0Tdisplaystyle P_0T
为曲线在P0displaystyle P_0
处的切线。
若曲线为一函数y=f(x)displaystyle y=f(x)的图像,那么割线PP0displaystyle PP_0
(粉紅色)的斜率为:
tanφ=ΔyΔx=f(x0+Δx)−f(x0)Δxdisplaystyle tan varphi =frac Delta yDelta x=frac f(x_0+Delta x)-f(x_0)Delta x
当P0displaystyle P_0处的切线P0Tdisplaystyle P_0T
(橘紅色),即PP0displaystyle PP_0
的极限位置存在时,此时Δx→0displaystyle Delta xto 0
,φ→αdisplaystyle varphi to alpha
,则P0Tdisplaystyle P_0T
的斜率tanαdisplaystyle tan alpha
为:
tanα=limΔx→0tanφ=limΔx→0f(x0+Δx)−f(x0)Δxdisplaystyle tan alpha =lim _Delta xto 0tan varphi =lim _Delta xto 0frac f(x_0+Delta x)-f(x_0)Delta x
上式与一般定义中的导数定义完全相同,也就是说f′(x0)=tanαdisplaystyle f'(x_0)=tan alpha ,因此,导数的几何意义即曲线y=f(x)displaystyle y=f(x)
在点P0(x0,f(x0))displaystyle P_0(x_0,f(x_0))
处切线的斜率。[2]:117[1]:153
导数、导函数与微分算子
若函数 f(x)displaystyle ;f(x); 在其定义域包含的某区间 Idisplaystyle ;I;
内每一个点都可导,那么也可以说函数f(x)displaystyle ;f(x);
在区间 Idisplaystyle ;I;
内可导,这时对于 Idisplaystyle ;I;
内每一个确定的xdisplaystyle ;x;
值,都对应着 fdisplaystyle ;f;
的一个确定的导数值,如此一来就构成了一个新的函数x↦f′(x)displaystyle xmapsto f'(x)
,这个函数称作原来函数 f(x)displaystyle ;f(x);
的导函数[1]:155,记作:y′displaystyle ;y';
、f′(x)displaystyle f'(x);
或者 dfdx(x)displaystyle tfrac mathrm d fmathrm d x(x)
。值得注意的是,导数是一个数,是指函数 f(x)displaystyle f(x);
在点 x0displaystyle x_0;
处导函数的函数值。但在不至于混淆的情况下,通常也可以说导函数为导数。
由于对每一个可导的函数 f(x)displaystyle ;f(x);,都有它的导函数 f′(x)displaystyle f'(x);
存在,我们还可以定义将函数映射到其导函数的算子。这个算子称为微分算子,一般记作 Ddisplaystyle D
或 ddxdisplaystyle tfrac mathrm d mathrm d x
[3]。例如:
- D(x↦1)=(x↦0)D(x↦x)=(x↦1)D(x↦x2)=(x↦2⋅x)displaystyle beginalignedD(xmapsto 1)&=(xmapsto 0)\D(xmapsto x)&=(xmapsto 1)\D(xmapsto x^2)&=(xmapsto 2cdot x)endaligned
D(x mapsto 1) &= "(x mapsto 0)\"
D(x mapsto x) &= "(x mapsto 1)\"
D(x mapsto x^2) &= "(x mapsto 2cdot x)"
endalign"/>
由于微分算子的输出值仍然是函数,可以继续求出它在某一点的取值。比如说对于函数 f(x)=x2displaystyle ;f(x)=x^2;,
- D(f)=(x↦2⋅x)displaystyle D(f)=(xmapsto 2cdot x)
所以D(f)(x)=2xdisplaystyle D(f)(x)=2x,D(f)(1.4)=2×1.4=2.8displaystyle D(f)(1.4)=2times 1.4=2.8
。
导数与微分
微分也是一种线性描述函数在一点附近变化的方式。微分和导数是两个不同的概念。但是,对一元函数来说,可微与可导是完全等价的。可微的函数,其微分等于导数乘以自变量的微分dxdisplaystyle mathrm d x,换句话说,函数的微分与自变量的微分之商等于该函数的导数。因此,导数也叫做微商。函数y=f(x)displaystyle y=f(x)
的微分又可记作dy=f′(x)dxdisplaystyle mathrm d y=f'(x)mathrm d x
[4]。
历史
导数和积分的发现是微积分发明的关键一步。十七世纪以来,光学透镜的设计以及炮弹弹道轨迹的计算促使欧洲的数学家对曲线的切线进行研究。1630年代,法国数学家吉尔·德·罗伯瓦尔作出了最初的尝试[5]。与此同时,同是法国人的费马在计算切线时已经使用了无穷小量的概念[6][7]:52。
如右图,费马考虑曲线 f(x)displaystyle f(x) 在 xdisplaystyle x
处的切线。他声称,对于切线,有以下的关系成立:
- ss+h=f(x)f(x+h)displaystyle frac ss+h=frac f(x)f(x+h)
对上式变形后得到:
- s=f(x)f(x+h)−f(x)hdisplaystyle s=frac f(x)frac f(x+h)-f(x)h
对于具体的函数 f(x)displaystyle f(x),比如 f(x)=x3displaystyle f(x)=x^3
,费马计算 f(x+h)−f(x)hdisplaystyle frac f(x+h)-f(x)h
的值,并将 hdisplaystyle h
设为0,就得到 sdisplaystyle s
,从而确定切线的斜率。可以看出,费马的方法实质上已经是求导。费马还给出了 f(x)displaystyle f(x)
为多项式时切线的公式。英国的巴罗、荷兰的于德(Johnann Van Waveren Hudde)和瓦隆的斯卢兹(René Francoiss Walther de Sluze)继续了费马的工作[8]。然而,费马和巴罗等人并没有将求导归纳为一种独立的工具,只是给出了具体的计算技巧[5]。
十七世纪六十年代,英国人伊萨克·牛顿提出了“流数”的概念。牛顿在写于1671年的《流数法与无穷级数》中对流数的解释是:“我把时间看作是连续的流动或增长,而其他的量则随着时间而连续增长。我从时间流动性出发,把所有其他量的增长速度称为流数。”也就是说,流数就是导数。牛顿将无穷小的时间间隔定义为“瞬间”(moment),而一个量的增量则是流数与瞬间的乘积。求导数时,牛顿将自变量和因变量两边展开,同时除以瞬间,再将剩下的项中含有瞬间的项忽略掉[7]:72。而在他的第三篇微积分论文中,牛顿使用了新的概念:最初比和最后比。他说:
| “ | 随我们的意愿,流数可以任意地接近于在尽可能小的等间隔时段中产生的增量,精确地说,它们是最初增量的最初的比,它们也能用和它们成比例的任何线段来表示。[7]:74 | ” |
相比于牛顿,德国数学家莱布尼兹使用了更清晰的记号来描述导数(见导数的记法一节)。他利用了巴罗的“微分三角形”概念,将自变量和因变量的增量记为 dxdisplaystyle dx 和 dydisplaystyle dy
。他把 dxdisplaystyle dx
理解为“比任何给定的长度都要小”,而 dydisplaystyle dy
则是 xdisplaystyle x
移动时 ydisplaystyle y
“瞬刻的增长”[7]:89。而导数则是两者之间的比例。他还研究了函数之和、差、积、商的求导法则。
伊萨克·牛顿爵士
牛顿和莱布尼兹的差别在于,牛顿将无穷小量作为求流数或导数的工具,而莱布尼兹则用无穷小量的比值来表示导数。这与二人的哲学思想差异有关[7]:92。
微积分的理论面世后,遭到了有关无穷小量定义的攻击与质疑。导数的定义自然也包括在内。莱布尼兹和牛顿对无穷小量的认识都是模糊的。不仅如此,莱布尼兹甚至引入了(d)xdisplaystyle (d)x 和 (d)ydisplaystyle (d)y
,称其为“未消失的量”,用以进行求导前部的计算。在完成计算后再用“消失的量”dxdisplaystyle dx
和 dydisplaystyle dy
来代替它们,并假定前两者之比等于后两者之比,认为这是一个不容置疑的真理[7]:102。
许多数学家,包括伯努利兄弟、泰勒、麦克劳林、达朗贝尔、拉格朗日和欧拉都想要对微积分的严密性辩护或将微积分严密化。但受限于对无穷小量的认识,十八世纪的数学家并没有做出太大的成果。微积分的强烈抨击者,英国的乔治·贝克莱主教在攻击无穷小量时认为,流数实际上是“消失的量的鬼魂”,是0与0之比。欧拉承认后者,并认为0与0之比可以是有限值。拉格朗日则假定函数都可以展开为幂级数,并在此基础上定义导数[7]:154-156。
十九世纪后,随着对函数连续性和极限的更深刻认识,微积分终于趋于严谨。波尔查诺是首先将导数定义为函数值的改变量与自变量增量之比在自变量增量无限接近0时趋向的量。波尔查诺强调导数不是0与0之比,而是前面的比值趋向的数[9]:10。柯西在他的著作《无穷小分析教程概论》中也使用了同样的定义,并定义dydisplaystyle dy 为导数与 dxdisplaystyle dx
的乘积。这样,导数和微分的概念得到了统一[9]:11。
导数的记法
从微积分发轫至如今,不同的数学家都曾使用过不同的记号来表示函数的导数。部分记号至今仍然使用,成为现代的通用记法。
牛顿的记法
作为微积分的发明人之一,牛顿在1704年著作中将导数用函数符号上方的点来表示。例如 y=f(x)displaystyle y=f(x)的导数就记作y˙displaystyle dot y
,而二阶导数则记为y¨displaystyle ddot y
[10]:193-196。他以后的数学家也会将y˙displaystyle dot y
用来表示函数的微分。牛顿的记法中没有明确自变量,因此 ydisplaystyle y
对 xdisplaystyle x
的导数在牛顿的著作中也会被记成y′:x′displaystyle y':x'
,因为这可以理解为两个函数ydisplaystyle y
和 xdisplaystyle x
对于另一个变量tdisplaystyle t
的导数比[10]:196。而这个导数比(使用莱布尼兹的记号):
- y′:x′=dydt:dxdt=dydxdisplaystyle y':x'=frac dydt:frac dxdt=frac dydx
牛顿的记号多见于物理学或与之有关的方面,如微分方程中。以及直到现在,使用函数符号上加一点来表示某一变量的变化率(即对时间的导数)依然常见于各类物理学教材中(如使用v˙displaystyle dot v来表示加速度等)。注意到对于高阶的导数,这种记法就无法表示了。
莱布尼兹的记法
戈特弗里德·威廉·莱布尼茨
莱布尼兹在他的研究中分别使用 Δxdisplaystyle Delta x 和 Δydisplaystyle Delta y
来表示函数自变量和應变量(输出值)的有限变化量,而使用 dxdisplaystyle dx
和 dydisplaystyle dy
来表示“无限小”的变化量(即所谓的“无穷小量”)[11]。如果将函数记为y=f(x)displaystyle y=f(x)
的话,那么在莱布尼兹的记法下,其导数记为:
dydxdisplaystyle frac dydx、dfdx(x)displaystyle frac dfdx(x)
、ddxf(x)displaystyle frac ddxf(x)
或 d(f(x))dx,displaystyle frac dleft(f(x)right)dx,
这个记法最早出现在莱布尼兹1684年的论文中[10]:204,莱布尼兹在之前的文章中会将 dxdisplaystyle dx 记成 xddisplaystyle tfrac xd
,把 dydxdisplaystyle tfrac dydx
记成 dyxdisplaystyle dtfrac yx
。莱布尼兹记法的好处是明确了自变量和應变量[12]。要注意的是记号dxdisplaystyle dx
是一个整体,dydisplaystyle dy
也是,而dydxdisplaystyle frac dydx
可以看成一个整体,也可以不严谨地看成dydisplaystyle dy
和dxdisplaystyle dx
的比值[11]。此外,dydxdisplaystyle frac dydx
表示的是导函数,在某一点 x=adisplaystyle x=a
的导数则记为:dydx|x=adisplaystyle left.frac dydxright
对于更高阶的导数(比如说n阶,见高阶导数一节),莱布尼兹的记法是:
dnydxndisplaystyle frac d^nydx^n、dnfdxn(x)displaystyle frac d^nfdx^n(x)
或 dn[f(x)]dxn,displaystyle frac d^nleft[f(x)right]dx^n,
这种记法是在1695年出现的[10]:205。这里的分子和分母不再具有单独的意义。莱布尼兹的记法中使用 ddxdisplaystyle frac ddx 来表示微分算子,比如说二阶的导数 d2ydx2displaystyle frac d^2ydx^2
就可以看成:
d2ydx2=ddx(dydx)displaystyle frac d^2ydx^2=frac ddxleft(frac dydxright)[12]
莱布尼兹记法的另一个好处是便于记忆导数计算的法则。例如链式法则(见导数的计算一节)应用莱布尼兹的记法就是:
- dydx=dydu⋅dudxdisplaystyle frac dydx=frac dyducdot frac dudx
可以想象为右边是两个分式的乘积,消去dudisplaystyle du之后就变成左边[12]。
由于牛顿和莱布尼兹之间关于微积分创始人称号的持久纠纷,在十八世纪早期的很长时间里,英国数学界与欧洲大陆的数学界分别采用牛顿和莱布尼兹的记号,泾渭分明。这种情况直到十八世纪后期才开始改变,随着拉格朗日记法的出现而变得多样化起来[10]:197-200。
拉格朗日的记法
另一种现今常见的记法是十八世纪拉格朗日于1797年率先使用的,以在函数的右上角加上一短撇作为导数的记号。函数 y=f(x)displaystyle y=f(x) 的导数就记作 f′(x)displaystyle f'(x)
或 y′displaystyle y'
[13]。二阶和三阶导数记为f″(x)displaystyle f''(x)
、y″displaystyle y''
和 f‴(x)displaystyle f'''(x)
、y‴displaystyle y'''
[10]:207。如果需要处理更高阶的导数,则用括号内的求导阶数n来代替短撇,记为:f(n)(x)displaystyle f^(n)(x)
、y(n)displaystyle y^(n)
。当十九世纪的数学家柯西处理微分学时,他认为莱布尼兹的记法“模糊不便”,而采用更为“紧凑”的记法,将 dydxdisplaystyle frac dydx
记为yx′displaystyle y'_x
。这种记法可说是拉格朗日记法的变种[10]:218。后来这种记法曾继续被精简为yxdisplaystyle y_x
[14]。
其它记法
十九世纪以前,尽管大部分数学家会选择采用牛顿、莱布尼兹或拉格朗日的记号来表示导数,但也有很多的数学家希望使用自己的方法来记录。在不同数学家的著作中可以看到各种主流记法的混合或变体。数学家之间关于什么样的记法最为简便和严谨也是各执一词。同时,由于函数的微分、导数、偏导数以及无穷小量等概念尚未成熟,记号的不统一更增加了数学家之间相互理解的难度[10]:214-234。十九世纪初期的德国数学家马尔丹·欧姆采用∂f(x)displaystyle partial f(x)来表示导数,而同时期的雅可比则采用∂f∂xdisplaystyle frac partial fpartial x
来表示偏导数。同时许多数学家采用dfdxdisplaystyle frac dfdx
[15]、dxfdisplaystyle frac dxf
[16]或 δfδxdisplaystyle frac delta fdelta x
[17]表示偏导数。
用大写字母Ddisplaystyle D表示导数从十八世纪末就开始。1800年,法国数学家路易斯·弗朗索瓦·安托内·阿伯加斯特(Louis François Antoine Arbogast)使用Dmfdisplaystyle D^mf
表示函数 fdisplaystyle f
的m阶导数或全微分[18]。而其后本杰明·佩尔斯(Benjamin Peirce)也使用Df⋅xdisplaystyle Dfcdot x
表示 fdisplaystyle f
对 xdisplaystyle x
的导数[19]。而柯西也采用类似的记号,用Dxmfdisplaystyle D_x^mf
表示函数 fdisplaystyle f
对 xdisplaystyle x
的m阶偏导数[20]。
函数可导的条件
如果一个函数的定义域为全体实数,即函数在(−∞,+∞)displaystyle (-infty ,+infty )上都有定义,那么该函数是不是在定义域上处处可导呢?答案是否定的。函数在定义域中一点可导需要一定的条件。首先,要使函数fdisplaystyle f
在一点可导,那么函数一定要在这一点处连续。换言之,函数若在某点可导,则必然在该点处连续。这个结论来自于连续性的定义。
证明:
设函数y=f(x)displaystyle y=f(x)上一点x0displaystyle x_0
,函数在这一点可导,即f′(x0)=limΔx→0ΔyΔxdisplaystyle f'(x_0)=lim _Delta xto 0frac Delta yDelta x
存在,其中
- Δy=f(x0+Δx)−f(x0)displaystyle Delta y=f(x_0+Delta x)-f(x_0)
所以:limΔx→0Δy=limΔx→0(ΔyΔx⋅Δx)=limΔx→0ΔyΔx⋅limΔx→0Δx=f′(x0)⋅0=0displaystyle lim _Delta xto 0Delta y=lim _Delta xto 0left(frac Delta yDelta xcdot Delta xright)=lim _Delta xto 0frac Delta yDelta xcdot lim _Delta xto 0Delta x=f'(x_0)cdot 0=0
即函数f(x)displaystyle f(x)在x0displaystyle x_0
处连续。[2]:118
符号函数(sgn函数)是一个不连续的函数在断点处不可导的例子:
首先注意到这个函数在x0=0displaystyle x_0=0处不连续。作为验证,可以求出函数在x=0displaystyle x=0
处附近的变化率,根据函数可导的条件再进行判断:
- 该函数在x0=0displaystyle x_0=0
左侧附近的变化率为:f(x)−f(x0)x−x0=−1−0x−0=−1xdisplaystyle frac f(x)-f(x_0)x-x_0=frac -1-0x-0=-frac 1x
- 当x→0−displaystyle xto 0^-
时,上面的比值趋于正无穷大发散,不存在,故这个符号函数在x0=0displaystyle x_0=0
处不可导。
然而,连续性并不能保证可导性。即使函数在一点上连续,也不一定就在这一点可导。事实上,存在着在每一点都连续,但又在每一点都不可导的“病态函数”。1931年,斯特凡·巴拿赫甚至证明,事实上“绝大多数”的连续函数都属于这种病态函数(至少在一点可导的连续函数在所有连续函数中是贫集)[21]。在连续而不可导的函数里,一种常见的情况是,函数在某一点连续,并且可以定义它的左导数和右导数:
左导数:f−′(x0)=limΔx→0−f(x0+Δx)−f(x0)Δxdisplaystyle f'_-(x_0)=lim _Delta xto 0^-frac f(x_0+Delta x)-f(x_0)Delta x 右导数:f+′(x0)=limΔx→0+f(x0+Δx)−f(x0)Δxdisplaystyle f'_+(x_0)=lim _Delta xto 0^+frac f(x_0+Delta x)-f(x_0)Delta x |
然而左导数和右导数并不相等,因而函数在该处不可导。实际上,若函数导数存在,则必然可以推出左右导数相等,这是由极限的性质(极限存在则左右极限相等)得来:
limΔx→0f(x0+Δx)−f(x0)Δx=limΔx→0−f(x0+Δx)−f(x0)Δx=limΔx→0+f(x0+Δx)−f(x0)Δxdisplaystyle lim _Delta xto 0frac f(x_0+Delta x)-f(x_0)Delta x=lim _Delta xto 0^-frac f(x_0+Delta x)-f(x_0)Delta x=lim _Delta xto 0^+frac f(x_0+Delta x)-f(x_0)Delta x
下面以绝对值函数作为例子:
该函数在x=0displaystyle x=0处的左导数为:f−′(0)=limx→0−f(x)−f(0)x−0=limx→0−−x−0x−0=−1displaystyle f'_-(0)=lim _xto 0^-frac f(x)-f(0)x-0=lim _xto 0^-frac -x-0x-0=-1
该函数在x=0displaystyle x=0处的右导数为:f+′(0)=limx→0+f(x)−f(0)x−0=limx→0+x−0x−0=1displaystyle f'_+(0)=lim _xto 0^+frac f(x)-f(0)x-0=lim _xto 0^+frac x-0x-0=1
绝对值函数在x=0displaystyle x=0处的左右导数皆存在,但由于左右导数不相等,故绝对值函数在x=0displaystyle x=0
处不可导。[2]:118-119
如果函数在一点的左右导数都存在并且相等,那么函数在该处可导。[1]:155
导数与函数的性质
通过认识可导函数的导数,可以推断出不少函数本身的性质。
单调性

x变化时函数f(x)=1+xsin(x2)displaystyle scriptstyle f(x)=1+xsin(x^2)
根据微积分基本定理,对于可导的函数fdisplaystyle f,有:
- f(b)−f(a)=∫abf′(t)dtdisplaystyle f(b)-f(a)=int _a^bf'(t)mathrm d t
如果函数的导函数在某一区间内恒大于零(或恒小于零),那么函数在这一区间内单调递增(或单调递减),这种区间也称为函数的单调区间。导函数等于零的点称为函数的驻点(或极值可疑点),在这类点上函数可能会取得极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 f′(x0)=0displaystyle f'(x_0)=0 的一点 x0displaystyle x_0
,如果存在 δ>0displaystyle delta >0
使得 f′displaystyle f'
在区间(x0−δ,x0]displaystyle (x_0-delta ,x_0]
上都大于等于零,而在区间 [x0,x0+δ)displaystyle [x_0,x_0+delta )
上都小于等于零,那么 x0displaystyle x_0
是一个极大值点,反之则为极小值点[2]:170。如果f″(x0)=0displaystyle f''(x_0)=0
並且 f″(x)displaystyle f''(x)
在 x0displaystyle x_0
改變加減號,則称这个点是拐点;否則这个点不是拐点。[22]:200
如果函数在 x0displaystyle x_0 处的二阶导数 f″(x0)displaystyle f''(x_0)
存在,极值点也可以用它的正负性判断(已确定f′(x0)=0displaystyle f'(x_0)=0
)。如果f″(x0)>0displaystyle f''(x_0)>0
,那么 x0displaystyle x_0
是一个极小值点,反之为极大值点[2]:170-171。
凹凸性
可导函数的凹凸性与其导数的单调性有关。如果函数的导函数在某个区间上单调递增,那么这个区间上函数是向下凸的,反之则是向上凸的。如果二阶导函数存在,也可以用它的正负性判断,如果在某个区间上 f″displaystyle f'' 恒大于零,则这个区间上函数是向下凸的,反之这个区间上函数是向上凸的[2]:176-178。
导数的计算
计算已知函数的导函数可以按照导数的定义运用变化比值的极限来计算。在实际计算中,大部分常见的解析函数都可以看作是一些简单的函数的和、差、积、商或相互复合的结果。只要知道了这些简单函数的导函数,那么根据导数的求导法则,就可以推算出较为复杂的函数的导函数。
基本函数的导数
所谓基本函数是指一些形式简单并且容易求出导数的函数。这些基本函数的导函数可以通过定义直接求出。
- 常见的多项式函数就是基本函数之一。如果f(x)=xrdisplaystyle scriptstyle f(x)=x^r,
,其中rdisplaystyle r
是非零实数,那么导函数f′(x)=rxr−1displaystyle scriptstyle f'(x)=rx^r-1,
。函数fdisplaystyle f
的定义域可以是整个实数域,但导函数的定义域则不一定与之相同[2]:119。例如当 r=12displaystyle r=frac 12
时:
f′(x)=12x−12displaystyle f'(x)=frac 12x^-tfrac 12,[2]:119
导函数的定义域只限所有正实数而不包括0。需要注意的是,不会有多项式函数的导数为x−1displaystyle scriptstyle x^-1。当 r=0displaystyle r=0
时,常函数的导数是0。
- 底数为edisplaystyle e
的指数函数 y=exdisplaystyle scriptstyle y=e^x
的导数还是自身:ddxex=ex.displaystyle scriptstyle frac mathrm d mathrm d xe^x=e^x.
而一般的指数函数 y=axdisplaystyle y=a^x
的导数还需要乘以一个系数:ddxax=ln(a)ax.displaystyle scriptstyle frac mathrm d mathrm d xa^x=ln(a)a^x.
[2]:122
自然对数函数的导数则是 x−1displaystyle x^-1:ddxln(x)=1x,x>0.displaystyle scriptstyle frac mathrm d mathrm d xln(x)=frac 1x,qquad x>0.
[2]:123 同样的,一般的对数函数导数则还需要乘以一个系数:ddxloga(x)=1xln(a)displaystyle scriptstyle frac mathrm d mathrm d xlog _a(x)=frac 1xln(a)
三角函数的导数仍然是三角函数,或者由三角函数构成[2]:122:
- ddxsin(x)=cos(x)ddxtan(x)=sec2(x)=1cos2(x).displaystyle frac mathrm d mathrm d xsin(x)=cos(x);qquad qquad qquad frac mathrm d mathrm d xtan(x)=sec ^2(x)=frac 1cos ^2(x).
- ddxcos(x)=−sin(x)ddxcot(x)=−csc2(x)=−1sin2(x).displaystyle frac mathrm d mathrm d xcos(x)=-sin(x)qquad qquad qquad frac mathrm d mathrm d xcot(x)=-csc ^2(x)=-frac 1sin ^2(x).
反三角函数的导数则是无理分式[1]:160:
- ddxarcsin(x)=11−x2,ddxarccos(x)=−11−x2,ddxarctan(x)=11+x2.displaystyle frac mathrm d mathrm d xarcsin(x)=frac 1sqrt 1-x^2,qquad frac mathrm d mathrm d xarccos(x)=-frac 1sqrt 1-x^2,qquad frac mathrm d mathrm d xarctan(x)=frac 11+x^2.
导数的求导法则
由基本函数的和、差、积、商或相互复合构成的函数的导函数则可以通过函数的求导法则来推导。基本的求导法则如下:
- 求导的线性性:对函数的线性组合求导,等于先对其中每个部分求导后再取线性组合。
(af+bg)′=af′+bg′displaystyle (af+bg)'=af'+bg',(其中a,bdisplaystyle a,b
为常数)[2]:121
- 两个函数的乘积的导函数,等于其中一个的导函数乘以另一者,加上另一者的导函数与其的乘积
(fg)′=f′g+fg′displaystyle (fg)'=f'g+fg',[2]:125
- 两个函数的商的导函数也是一个分式。其中分子是分子函数的导函数乘以分母函数减去分母函数的导函数乘以分子函数后的差,而其分母是分母函数的平方。
(fg)′=f′g−fg′g2displaystyle left(frac fgright)'=frac f'g-fg'g^2(在g(x)≠0displaystyle g(x)neq 0
处方有意义)[2]:126
复合函数的求导法则:如果有复合函数 f(x)=h[g(x)]displaystyle f(x)=h[g(x)],那么
f′(x)=h′[g(x)]⋅g′(x).displaystyle f'(x)=h'[g(x)]cdot g'(x).,[2]:128
若要求某个函数在某一点的导数,可以先运用以上方法求出这个函数的导函数,再看导函数在这一点的值。
例子
欲求函数
- f(x)=x4+sin(x2)−ln(x)ex+7displaystyle f(x)=x^4+sin(x^2)-ln(x)e^x+7,
在x=3displaystyle x=3处的导数。可以先求出其导函数:
- f′(x)=4x(4−1)+d(x2)dxcos(x2)−[d(lnx)dxex+lnxd(ex)dx]+0=4x3+2xcos(x2)−1xex−ln(x)ex.displaystyle beginalignedf'(x)&=4x^(4-1)+frac mathrm d left(x^2right)mathrm d xcos(x^2)-left[frac mathrm d left(ln xright)mathrm d xe^x+ln xfrac mathrm d left(e^xright)mathrm d xright]+0\&=4x^3+2xcos(x^2)-frac 1xe^x-ln(x)e^x.endaligned
其中第二项使用了复合函数的求导法则,而第三项则使用了乘积的求导法则。求出导函数后,再将x=3displaystyle x=3代入,得到导数为:
- f′(3)=108+6cos(9)−e33−ln(3)e3displaystyle f'(3)=108+6cos(9)-frac e^33-ln(3)e^3,
高阶导数
二阶导数
如果函数的导数f′(x)displaystyle f'(x),在xdisplaystyle x,
处可导,则称[f′(x)]′displaystyle [f'(x)]',
为xdisplaystyle x,
的二阶导数。记做:f″(x)displaystyle f''(x),
,y″displaystyle y'',
,d2ydx2displaystyle frac rm d^2yrm dx^2
或d2f(x)dx2displaystyle frac rm d^2f(x)rm dx^2
[2]:132
高阶导数
二阶导数的导数称为三阶导数,记做f‴(x)displaystyle f'''(x),,y‴displaystyle y''',
,d3ydx3displaystyle frac rm d^3yrm dx^3
或d3f(x)dx3displaystyle frac rm d^3f(x)rm dx^3
三阶导数的导数称为四阶导数,记做f(4)(x)displaystyle f^(4)(x),,y(4)displaystyle y^(4),
,d4ydx4displaystyle frac rm d^4yrm dx^4
或d4f(x)dx4displaystyle frac rm d^4f(x)rm dx^4
一般的f(x)displaystyle f(x),的n−1displaystyle n-1,
阶导数的导数称为f(x)displaystyle f(x),
的ndisplaystyle n,
阶导数,记为f(n)(x)displaystyle f^(n)(x),
,y(n)displaystyle y^(n),
,dnydxndisplaystyle frac rm d^nyrm dx^n
或dnf(x)dxndisplaystyle frac rm d^nf(x)rm dx^n
[2]:133
高阶导数的求法
一般来说,高阶导数的计算和导数一样,可以按照定义逐步求出。同时,高阶导数也有求导法则:
- dndxn(u±v)=dndxnu±dndxnvdisplaystyle frac rm d^nrm dx^n(upm v)=frac rm d^nrm dx^nupm frac rm d^nrm dx^nv
- dndxn(Cu)=Cdndxnu displaystyle frac rm d^nrm dx^n(Cu)=Cfrac rm d^nrm dx^nu
dndxn(u⋅v)=∑k=0nCkndn−kdxn−kudkdxkvdisplaystyle frac rm d^nrm dx^n(ucdot v)=sum _k=0^nC_k^nfrac rm d^n-krm dx^n-kufrac rm d^krm dx^kv(莱布尼兹公式)[2]:134
因此,可以利用已知的高阶导数求导法则,通过四则运算, 变量代换等方法,求出n displaystyle n 阶导数。一些常见的有规律的高阶导数的公式如下[2]:133:
- dndxnxα=xα−n∏k=0n−1(α−k)displaystyle frac rm d^nrm dx^nx^alpha =x^alpha -nprod _k=0^n-1(alpha -k)
- dndxn1x=(−1)nn!xn+1displaystyle frac rm d^nrm dx^nfrac 1x=(-1)^nfrac n!x^n+1
- dndxnlnx=(−1)n−1(n−1)!xndisplaystyle frac rm d^nrm dx^nln x=(-1)^n-1frac (n-1)!x^n
displaystyle !
- dndxnex=ex displaystyle frac rm d^nrm dx^ne^x=e^x
dndxnax=ax⋅lnnadisplaystyle frac rm d^nrm dx^na^x=a^xcdot ln ^na(a>0) displaystyle (a>0)
displaystyle !
- dndxnsin(kx+b)=knsin(kx+b+nπ2)displaystyle frac rm d^nrm dx^nsin left(kx+bright)=k^nsin left(kx+b+frac npi 2right)
- dndxncos(kx+b)=kncos(kx+b+nπ2)displaystyle frac rm d^nrm dx^ncos left(kx+bright)=k^ncos left(kx+b+frac npi 2right)
多元函数的导数
向量值函数的导数
当函数 ydisplaystyle y 的取值不再是实数,而是一般的Rndisplaystyle mathbf R ^n
中的向量时,仍然可能对其求导。这时的函数值是:y=(y1(x),y2(x),⋯,yn(x))displaystyle y=left(y_1(x),y_2(x),cdots ,y_n(x)right)
。每个 yi(x),1⩽i⩽ndisplaystyle y_i(x),;;1leqslant ileqslant n
都是一个实数值的函数。具体的例子如二维或者三维空间里的参数方程。因此,对 y=f(x)displaystyle y=f(x)
求导实际上是对每个分量函数 yi(x)displaystyle y_i(x)
求导。
y′(t)=(y1′(t),⋯,yn′(t)).displaystyle mathbf y '(t)=(y'_1(t),cdots ,y'_n(t)).[2]:191
这也符合定义
- y′(t)=limh→0y(t+h)−y(t)h,displaystyle mathbf y '(t)=lim _hto 0frac mathbf y (t+h)-mathbf y (t)h,
设(e1,e2,⋯en)displaystyle left(e_1,e_2,cdots e_nright)为Rndisplaystyle mathbf R ^n
的一组基,那么对函数:y:t↦y1(t)e1+y2(t)e2+⋯yn(t)en,displaystyle y,:t,mapsto ,y_1(t)e_1+y_2(t)e_2+cdots y_n(t)e_n,
其导函数为:y′(t)=y1′(t)e1+y2′(t)e2+⋯yn′(t)endisplaystyle y'(t)=y'_1(t)e_1+y'_2(t)e_2+cdots y'_n(t)e_n
偏导数
如果有函数 fdisplaystyle f 其自变量不是单个实数,而是多于一个元素,例如:
- f(x,y)=x2+xy+y2.displaystyle f(x,y)=x^2+xy+y^2.,
这时可以把其中一个元素(比如 xdisplaystyle x )看做参数,那么 fdisplaystyle f
可以看做是关于另一个元素的参数函数:
- f(x,y)=fx(y)=x2+xy+y2.displaystyle f(x,y)=f_x(y)=x^2+xy+y^2.,
也就是说,对于某个确定的 xdisplaystyle x,函数 fxdisplaystyle f_x
就是一个关于 ydisplaystyle y
的函数。在 x=adisplaystyle x=a
固定的情况下,可以计算这个函数 fxdisplaystyle f_x
关于 ydisplaystyle y
的导数。
- fa′(y)=a+2ydisplaystyle f_a'(y)=a+2y,
这个表达式对于所有的 adisplaystyle a 都对。这种导数称为偏导数,一般记作:
- ∂f∂y(x,y)=x+2ydisplaystyle frac partial fpartial y(x,y)=x+2y
这里的符号 ∂ 是字母 ddisplaystyle d 的圆体变体,一般读作 δdisplaystyle delta
的首音节或读“偏”,以便与 ddisplaystyle d
区别。
更一般地来说,一个多元函数 f(x1,x2,⋯,xn)displaystyle fleft(x_1,x_2,cdots ,x_nright) 在点 (a1,a2,⋯,an)displaystyle left(a_1,a_2,cdots ,a_nright)
处对 xidisplaystyle x_i
的偏导数定义为:
- ∂f∂xi(a1,…,an)=limh→0f(a1,…,ai+h,…,an)−f(a1,…,an)h.displaystyle frac partial fpartial x_i(a_1,ldots ,a_n)=lim _hto 0frac f(a_1,ldots ,a_i+h,ldots ,a_n)-f(a_1,ldots ,a_n)h.
上面的极限中,除了 xidisplaystyle x_i 外所有的自变元都是固定的,这就确定了一个一元函数:
- fa1,…,ai−1,ai+1,…,an(xi)=f(a1,…,ai−1,xi,ai+1,…,an)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)
因此,按定义有:
- dfa1,…,ai−1,ai+1,…,andxi(ai)=∂f∂xi(a1,…,an).displaystyle frac df_a_1,ldots ,a_i-1,a_i+1,ldots ,a_ndx_i(a_i)=frac partial fpartial x_i(a_1,ldots ,a_n).
偏导数的实质仍然是一元函数的导数。[23]:56
多变量函数的一个重要的例子,是从Rndisplaystyle mathbf R ^n(例如 R2displaystyle mathbf R ^2
或 R3displaystyle mathbf R ^3
)映射到Rdisplaystyle mathbf R
上的标量值函数 f(x1,x2,⋯,xn)displaystyle fleft(x_1,x_2,cdots ,x_nright)
。在这种情况下,fdisplaystyle f
关于每一个变量 xidisplaystyle x_i
都有偏导数∂f∂xidisplaystyle frac partial fpartial x_i
。在点 x=adisplaystyle x=boldsymbol a
,这些偏导数定义了一个向量:
∇f(a)=[∂f∂x1(a),…,∂f∂xn(a)]displaystyle nabla f(boldsymbol a)=left[frac partial fpartial x_1(boldsymbol a),ldots ,frac partial fpartial x_n(boldsymbol a)right]。
这个向量称为 fdisplaystyle f 在点 adisplaystyle boldsymbol a
的梯度。如果 fdisplaystyle f
在定义域中的每一个点都是可微的,那么梯度便是一个向量值函数 ∇fdisplaystyle nabla f
,它把点 adisplaystyle a
映射到向量 ∇f(a)displaystyle nabla f(a)
。这样,梯度便决定了一个向量场。
方向导数
方向导数是比偏导数更加广泛的概念。导数的本质是函数值增量与自变量增量之比的极限。在多元函数 fdisplaystyle f 中,可以选定一个确定的方向(以这个方向上的单位向量 δdisplaystyle boldsymbol delta
表示),并考虑函数在这个方向上的增量:
f(x0+tδ)−f(x0)displaystyle f(boldsymbol x_0+tboldsymbol delta )-f(boldsymbol x_0)
这个增量为关于 tdisplaystyle t 的一元函数。函数 fdisplaystyle f
的方向导数定义为这个增量与 tdisplaystyle t
的比值在 tdisplaystyle t
趋于0时的极限,记为∂f∂δ(x0)displaystyle frac partial fpartial boldsymbol delta (boldsymbol x_0)
。
∂f∂δ(x0)=limt→0f(x0+tδ)−f(x0)tdisplaystyle frac partial fpartial boldsymbol delta (boldsymbol x_0)=lim _tto 0frac f(boldsymbol x_0+tboldsymbol delta )-f(boldsymbol x_0)t
方向导数表示了函数从某点开始在某个方向上的变化率。[23]:55-56
在Rndisplaystyle mathbf R ^n中,如果将向量 δdisplaystyle boldsymbol delta
选为正规基 (e1,e2,⋯,en)displaystyle left(boldsymbol e_1,boldsymbol e_2,cdots ,boldsymbol e_nright)
之中的一个,如eidisplaystyle boldsymbol e_i
,那么方向导数就是关于 xidisplaystyle boldsymbol x_i
的偏导数。[23]:55-56
推广
导数的概念建立在变量为实数之上,但也可以推广到更加广泛的意义上。推广的导数本质上仍旧是函数在局部一点上的线性逼近。
复变量导数
对于变量为复数的函数,也可以定义导数的概念。假设有复变函数f:Ω∈C→Cdisplaystyle f:Omega in mathbb C to mathbb C 。如果 fdisplaystyle f
在某一点 z0displaystyle z_0
及附近有定义,并且极限:
- limz→z0f(z)−f(z0)z−z0displaystyle lim _zto z_0frac f(z)-f(z_0)z-z_0
存在,那么就说函数 fdisplaystyle f 在 z0displaystyle z_0
可导。其中 z→z0displaystyle zto z_0
表示 z−z0displaystyle z-z_0
的模长趋向于0。如果将复变量 zdisplaystyle z
视作 x+iydisplaystyle x+iy
,那么 fdisplaystyle f
可以视作一个R2displaystyle mathbb R ^2
上的函数。如果作为复变函数的 fdisplaystyle f
可导,那么作为R2displaystyle mathbb R ^2
上函数的 fdisplaystyle f
的偏导数也存在,但反之则不然。只有当柯西-黎曼条件满足的时候才能保证复变函数的复可导性[24]。
弱微分
在分布理论里,弱微分的概念使得对更多严格意义上无法求导的函数也可以定义导函数。设udisplaystyle u是一个局部勒贝格可积(比如说在Lloc1(R) displaystyle L_loc^1(mathbb R )
中)的函数,称v∈Lloc1(R)displaystyle vin L_loc^1(mathbb R )
是udisplaystyle u
的一个弱微分,如果对所有的测试函数φdisplaystyle varphi
,都有:
- ∫Ru(t)φ′(t)dt=−∫Rv(t)φ(t)dtdisplaystyle int _mathbb R u(t)varphi '(t)dt=-int _mathbb R v(t)varphi (t)dt
成立。其中测试函数是指紧支撑的光滑函数[25]。弱微分包括了强微分,也就是通常意义上的导数。
次导数
过x0displaystyle x_0
在凸分析,也就是对凸函数的研究中,可以定义凸函数的次导数。次导数的概念是导数的几何意义的推广。由于函数是凸的,过它的图像上每一点总可以作一条直线,使得函数的图像在直线上方。这种直線的斜率称为函数在这点的次导数。如果函数在某点可导,那么次导数只有一个,等于其导数。如果函数像绝对值函数一样在零点有突然的转折,那么次导数可能不止一个。比如过零点而斜率在(−1,1)displaystyle (-1,1)之间的直线都在绝对值函数下方,因此(−1,1)displaystyle (-1,1)
之间的每个数都是绝对值函数在零点的次导数。[26]
非整数阶导数
早在十九世纪,在数学家明确了求导与积分的互逆关系以后,就出现了负阶次导数的记号:D−n=∫ndisplaystyle D^-n=int ^n(表示求n次积分)[10]:208。而非整数阶导数的概念则进一步将其推广。比如,半微分算子H=D12displaystyle H=D^frac 12
表示其作用于函数上两次以后的效果将等于一次求导:
- H2(f)(x)=H[H(f)](x)=D(f)(x)=f′(x)displaystyle H^2(f)(x)=H[H(f)](x)=D(f)(x)=f'(x)
定义非整数阶导数的方法不止一种,最常用的非整数阶导数定义为黎曼-刘维尔定义:
- 设0<s<1displaystyle 0<s<1
,函数 fdisplaystyle f
的s阶积分为:Dt−sf(t)=1Γ(s)∫at(t−u)s−1f(u)d(u)displaystyle D_t^-sf(t)=frac 1Gamma (s)int _a^t(t-u)^s-1f(u)d(u)
- 而对n−1<β<ndisplaystyle n-1<beta <n
,函数 fdisplaystyle f
的βdisplaystyle beta
阶导数为:Dtβf(t)=dndtn[Dt−n−βf(t)]displaystyle D_t^beta f(t)=frac d^ndt^nleft[D_t^-n-beta f(t)right]
[27][28]
加托导数和弗雷歇导数
方向导数在无穷维向量空间如巴拿赫空间和弗雷歇空间上可以推广为加托导数和弗雷歇导数。二者都经常用于形式化泛函导数的概念,常见于物理学,特别是量子场论[29]。
导子
微分代数中有导子的概念。导子是具备了微分算子的某些特征的运算子,例如向量场的李导数,或非交换代数中的交换子[30]。给定一个环或域 Rdisplaystyle mathbf R 上的一个代数 Adisplaystyle mathcal A
,Adisplaystyle mathcal A
上的一个Rdisplaystyle mathbf R
-导子 δdisplaystyle delta
是一个从 Adisplaystyle mathcal A
射到自身的Rdisplaystyle mathbf R
-线性映射(线性自同态),并满足导数的乘积法则:
- δ(ab)=(δa)b+a(δb)displaystyle delta (ab)=(delta a)b+a(delta b)
所有Rdisplaystyle mathbf R -导子构成了 Adisplaystyle mathcal A
上线性自同态集 EndAdisplaystyle operatorname End mathcal A
的子空间[31]。
导数的应用
物理学、几何学、工程科学、经济学等学科中的一些重要概念都可以用导数来表示。如,导数可以表示运动物体的瞬时速度和加速度,也可以表示曲线在一点的斜率。
边际和弹性
经济学中,所谓边际和弹性的概念与导数紧密相关。比如边际成本就是产量增加一个单位所带来的成本的增加,若將其連續化,得到的便是成本函数的导数。又如需求的弹性是指价格变化一个单位时,需求量的变化,連續化後相應的也是需求函数关于价格的导数。[32]
参见
- 微积分
- 微分
- 積分
- 光滑函数
- 微分中值定理
- 介值定理
- 自动微分
- 第二次数学危机
- 协变导数
- 数值微分
参考与注释
^ 1.01.11.21.31.41.51.61.71.81.9 徐森林,薛春华. 《数学分析(第一册)》. 清华大学出版社. 2005. ISBN 978-7-302-11746-9.
^ 2.002.012.022.032.042.052.062.072.082.092.102.112.122.132.142.152.162.172.182.192.202.212.22 欧阳光中 姚允龙 周渊 编. 《数学分析(上册)》. 复旦大学出版社. 2003. ISBN 7-309-03570-4.O.305
^ 朝嵩金, 正敏段, 汉明王. 《线性代数》. 清华大学出版社. 2006. ISBN 7-302-12350-0.
^ 梁子杰. 「可微」還是「可導」? (PDF). 數學教育. [永久失效連結]
^ 5.05.1 (英文)Dan Ginsburg, Brian Groose, Josh Taylor, Bogdan Vernescu. History of the Differential from the 17th Century. [2011-02-10].
^ 发现于费马1637年的手稿《求最大值和最小值的方法》
^ 7.07.17.27.37.47.57.6 (中文)莫里斯·克莱因著,张理京、张锦炎、江泽涵译. 《古今数学思想》第二卷. 上海科学技术出版社. 2002. ISBN 7-5323-6172-1.
^ (英文)W. W. Rouse Ball. Isaac Barrow. [2011-02-10].
^ 9.09.1 (中文)莫里斯·克莱因著,张理京、张锦炎、江泽涵译. 《古今数学思想》第四卷. 上海科学技术出版社. 2002. ISBN 7-5323-6172-1.
^ 10.010.110.210.310.410.510.610.710.8 Florian Cajori. A History of Mathematical Notations, 第2卷. Dover Publications. 1993年12月. ISBN 978-0486677668.
^ 11.011.1 Stewart, James. Calculus: Early Transcendentals 6th. Brooks/Cole. 2008. ISBN 0-495-01166-5.
^ 12.012.112.2 Mary Barnes. More about Functions and Differentiation. Curriculum Press. 1993. 第40-43页
^ (英文)The Notation of Differentiation. 1998-08-24 [2011-02-10].
^ George Shoobridge Carr. A Synopsis of Elementary Results in Pure and Applied Mathematics. C. F. Hodgson. 1880. 第258页.
^ M.Fontaine, Mémoires donnés à l'académie royale des sciences, non imprimés dans leur temps,1764.
^ A. L. Crelle, Rechnungmit veranderlichcn GriJsscn, Vol. I (Gottingen, 1813).
^ Hamilton, Philosophical Transactions of the Royal Society,(London, 1834), p.249
^ Louis François Antoine Arbogast, Calcul des Derivations, (1800), p.89
^ Benjamin Peirce, Elementary Treatise on Curves, Functions, and Forces(new ed. Boston and Cambridge), Vol I (1852)
^ (法文)A.L.Cauchy, Exercices d'analyse et de physique mathematique, (1844), p.12-17.
^ Banach, S., Uber die Baire'sche Kategorie gewisser Funktionenmengen, Studia. Math., 1931, (3): 174–179.
^ Jon Rogawski. Single Variable Calculus. W. H. Freeman. 11 June 2007. ISBN 978-1-4292-1071-3.
^ 23.023.123.2 徐森林,薛春华. 《数学分析(第二册)》. 清华大学出版社. 2005. ISBN 978-7-302-13141-0.
^ 郑建华. 《复变函数》. 清华大学出版社. 2005. ISBN 978-7302096931. 第17-19页.
^ Evans, Lawrence C. Partial differential equations. Providence, R.I.: American Mathematical Society. 1998: 242. ISBN 0-8218-0772-2.
^ (英文)Jean-Baptiste Hiriart-Urruty, Claude Lemaréchal. Fundamentals of Convex Analysis. Springer. 2001. ISBN 3-540-42205-6. p.163-166
^ (中文)薛定宇,陈阳泉. 《高等应用数学问题的MATLAB求解》. 清华大学出版社. 2004. ISBN 978-7302186182. 第384-385页.
^
Igor Podlubny. 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). Academic Press. 1998年10月. ISBN 0-12-558840-2.
^ (法文)R Gâteaux. Sur les fonctionnelles continues et les fonctionnelles analytiques (PDF). Bulletin de la S.M.F, tome 50 (1922). [2011-02-11].
^ Nicolas Bourbaki. Algebra I. Springer-Verlag. 1989. ISBN 3-540-64243-9.
^ Nathan Jacobson. Lie algebras. Dover Publications. 1979. ISBN 978-0486638324. p.7-8
^ 翁秉仁. 經濟學應用:邊際與彈性. EpisteMath,改寫自同作者的《微積分講義》.
外部链接
- 导数计算器
|