(Translated by https://www.hiragana.jp/)
导数 - 维基百科,自由的百科全书 とべ转到内容ないよう

导数

这是一篇优良条目,点击此处获取更多信息。
本页使用了标题或全文手工转换
维基百科ひゃっか自由じゆうてき百科ひゃっかぜん
重定しげさだこうしるべすう

一个实值函数的图像曲线。函数かんすうざい一点的导数等于它的图像上这一点处之きり线てきはすりつ

导数英語えいごderivativeこれほろ积分がくちゅうてきいち概念がいねん函数かんすうざいぼう一点的导数是指这个函数在这一点附近的变化率(そく函数かんすうざいいちてんてききり线斜りつ)。导数てきほん质是どおり极限てき概念がいねん对函すう进行局部きょくぶてき线性逼近。とう函数かんすうてき变量ざいいちてんうえ产生いち增量ぞうりょう时,函數かんすう输出值的增量ぞうりょうあずか變量へんりょう增量ぞうりょうまと值在趋于0时的極限きょくげん如果存在そんざいそくためざい处的导数,记作あるれい如在运动がくなか物体ぶったいてきうつり对于时间てき导数就是物体ぶったいてきまどか速度そくど[1]:153

导数函数かんすうてき局部きょくぶせい质。所有しょゆうてき函数かんすうゆう导数,一个函数也不一定在所有的点上都有导数。わかぼう函数かんすうざいぼういちてん导数存在そんざい,则称其在这いちてん导(微分びぶん),いや则称为不可ふか导(不可ふか微分びぶん)。如果函数かんすうてき变量值都实数てき话,么函すうざいぼう一点的导数就是该函数所代表的曲线在這一点上的きり线はすりつ

对于导的函数かんすう也是いち个函すうしょうさくてき导函すう。寻找やめ知的ちてき函数かんすうざいぼうてんてき导数ある其导函数かんすうてき过程しょうもとめ英語えいごdifferentiation)。はんこれやめ导函数也かずや以倒过来もとめばららいてき函数かんすうそく不定ふてい积分ほろ积分基本きほん定理ていり说明りょうもとめげん函数かんすうあずか积分とう价的[1]:372もとめ导和积分いち对互ぎゃくてき操作そうさ,它们ほろ积分がくちゅうさい为基础的概念がいねん

てい

[编辑]

一般いっぱんてい

[编辑]
いち動畫どうがきゅうりょういち直觀ちょっかんてきしるべすう概念がいねんいんためさんすう變化へんか函數かんすうてき“擺動”かい改變かいへん

直觀ちょっかんじょう 代表だいひょう函數かんすう值從 いた てき變化へんかりょう這樣,

代表だいひょうてきしたがえ いた てき平均へいきん變化へんかりつ,如果 趨近於 乎就以更のうきりてき描述函數かんすう值在 附近ふきんてき變化へんか

以此ため動機どうきわか实函すう 实数 ゆう定義ていぎ,且以極限きょくげん注意ちゅうい這個ひょうたちしきしょ定義ていぎてき函數かんすう定義ていぎいき

存在そんざいそくしょう ,并称这个极限为 处的导数[2]:117-118,记为也可记作 ある [1]:154

根據こんきょ函數かんすう極限きょくげんてき定義ていぎしるべすう定義ていぎ部分ぶぶんてき存在そんざい 使つかい所有しょゆうてき ただよう みやこゆう...." 以直かんてき理解りかいためとう 趨近於 みやこゆう....",ただしよう它寫なりげん謹的定義ていぎかい碰到 "存在そんざい たい所有しょゆうてき實數じっすう ただよう みやこゆう...."這段敘述無法むほう直接ちょくせつ套入極限きょくげん定義ていぎてき問題もんだいたい此必須把以下いかてきひょうたちしき

定義ていぎためしるべすう原始げんし極限きょくげんひょうたちしきてき簡記,而非另一種自動合法的導數定義。ただし如果存在そんざい 使つかい ざい うらゆう定義ていぎ定義ていぎ ため

ため定義ていぎいきしかこう

ため對應たいおう規則きそくてき函數かんすう以下いかてき極限きょくげんしき

就可以把以 ため變數へんすうてき偏差へんさ將之まさゆき趨近於零もとめしるべすうてきそうほう納入のうにゅう正式せいしきてき運算うんざんうら

几何

[编辑]

とう函数かんすうてい义域值都ざい实数いきちゅうてき时候,导数表示ひょうじ函数かんすうてききょく线上てききり线斜りつ。如右图所しめせ,设为曲线上てきいち个定てん为曲线上てきいち个动てんとう沿曲线逐渐趋こう于点时,并且わり线てき极限位置いち存在そんざい,则称为曲线在处的きり线。

わかきょく线为いち函数かんすうてき图像,么割线こな紅色こうしょくてきはすりつ为:

とう处的きり线たちばな紅色こうしょく),そくてき极限位置いち存在そんざい时,此时,则てきはすりつ为:

うえしきあずか一般定义中的导数定义完全相同,也就いん此,导数てき几何义即きょく线ざいてん处切线的はすりつ[2]:117[1]:153

导数、导函すうあずか微分びぶんさん

[编辑]

わか函数かんすう ざい其定义域包含ほうがんてきぼう うちごと一个点都可导,么也以说函数かんすう ざい うち导,这时对于 うちごといち个确じょうてき 值,对应 てき一个确定的导数值,如此一来就构成了一个新的函数,这个函数かんすうたたえ作原さくはららい函数かんすう てき导函すう[1]:155,记作: あるもの 。值得注意ちゅういてき,导数いち个数,ゆび函数かんすう ざいてん 处导函数かんすうてき函数かんすうただしざいいたり混淆こんこうてきじょう况下,通常つうじょう也可以说导函すう为导すう

よし于对ごと一个可导的函数 みやこゆう它的导函すう 存在そんざいわが们还以定义将函数かんすううついた其导函数かんすうてきさん。这个さんしょう为微ぶんさん一般いっぱん记作 ある [3]れい如:

よし于微ぶんさんてき输出值仍しか函数かんすう以继续求它在ぼう一点的取值。如说对于函数かんすう

所以ゆえん

导数あずか微分びぶん

[编辑]

微分びぶん也是一种线性描述函数在一点附近变化的方式。微分びぶん导数两个不同ふどうてき概念がいねんただし,对一もと函数かんすうらい说,ほろあずか导是完全かんぜんとう价的。ほろてき函数かんすう,其微分びぶんとう于导すうじょう以自变量てき微分びぶん,换句话说,函数かんすうてきほろ分与ぶんよ变量てき微分びぶんしょうとう于该函数かんすうてき导数。よし此,导数也叫做ほろしょう函数かんすうてき微分びぶんまた记作[4]

历史

[编辑]

导数积分てき发现ほろ积分发明てき关键いち。17せい以来いらい光学こうがくとおるてき设计以及炮弹弹道轨迹てき计算促使おうしゅうてき数学すうがく对曲线的きり线进ぎょう研究けんきゅう。1630年代ねんだいほうこく数学すうがくよし尔·とく·罗伯かわら作出さくしゅつりょう最初さいしょてき尝试[5]あずか此同时,どうほう国人くにびとてき费马ざい计算きり线时やめ经使ようりょう无穷小量しょうりょうてき概念がいねん[註 1][6]:52

如右图,费马こう虑曲线 ざい 处的きり线。こえたたえ,对于きり线,ゆう以下いかてき关系成立せいりつ

对上しき变形きさきいた

对于具体ぐたいてき函数かんすう ,费马计算 てき值,并将 设为0,就得いた ,从而确定きり线的はすりつ以看,费马てき方法ほうほう实质じょうやめ经是もとめ导。费马还给りょう 项式时切线的公式こうしき英国えいこくてきともえ兰的于德(Johnann Van Waveren Hudde)かわらたかしてき斯卢兹(René Francoiss Walther de Sluze)继续りょう费马てき工作こうさく[7]しか而,费马かずともみ罗等じん并没ゆうはたもとめ导归纳为いち独立どくりつてき工具こうぐただ给出りょう具体ぐたいてき计算技巧ぎこう[5]

1660年代ねんだい英国えいこくじん萨克·うし提出ていしゅつりょうりゅうすうてき概念がいねんうし顿在うつし于1671ねんてきながれすうほうあずか无穷级数》ちゅう对流すうてきかい释是:“时间さく连续てきりゅう动或ぞう长,而其てきりょう则随时间而连续增长。わが从时间流动性发,所有しょゆう其他量的りょうてきぞう速度そくどしょう为流すう。”也就说,りゅうすう就是导数。うし顿将无穷しょうてき时间间隔てい义为“まどか间”(moment),而一个量的增量则是流数与瞬间的乘积。もとめ导数时,うし顿将变量いん变量两边てん开,どう时除以瞬间,さいはたあましたてき项中含有がんゆうまどか间的项忽りゃく[6]:72。而在てきだい三篇微积分论文中,うし顿使ようりょうしんてき概念がいねん最初さいしょ比和ひわさいきさき说:

そう于牛顿,とくこく数学すうがく莱布あま使用しようりょうさらきよし晰的记号らい描述导数(见导数てき记法いち节)。利用りようりょうともえ罗的“微分びぶん三角形さんかっけい概念がいねんはた变量いん变量てき增量ぞうりょう记为 理解りかい为“にんなん给定てき长度かなめしょう”,而 则是 うつり动时 まどかこくてきぞう长”[6]:89。而导すう则是两者间的比例ひれい研究けんきゅうりょう函数かんすう、积、しょうてきもとめ导法则。

萨克·うし顿爵

うし顿和莱布あま兹的别在于,うし顿将无穷小量しょうりょうさく为求りゅうすうある导数てき工具こうぐ,而莱ぬのあま兹则よう无穷しょう量的りょうてき值来表示ひょうじ导数。这与二人的哲学思想差异有关[6]:92

ほろ积分てき论面きさき,遭到りょうゆう关无穷小量定りょうてい义的おさむ击与质疑。导数てきてい自然しぜん包括ほうかつざいない。莱布あま兹和うし顿对无穷小量しょうりょうてき认识模糊もこてき仅如此,莱布あま兹甚いたり引入りょう しょう其为“消失しょうしつてきりょう”,よう以进ぎょうもとめ导前てき计算。ざい完成かんせい计算きさきさいもちい消失しょうしつてきりょう らい代替だいたい它们,并假定かていぜん两者とう于后两者,认为这是一个不容置疑的真理[6]:102

许多数学すうがく包括ほうかつはくつとむとぎ兄弟きょうだいたいむぎかつ劳林达朗贝尔ひしげかくろうおうひしげおもえよう对微积分てき严密せい辩护あるはたほろ积分严密ただし受限于对无穷小量しょうりょうてき认识,じゅう八世纪的数学家并没有做出太大的成果。ほろ积分てき强烈きょうれつ抨击しゃ英国えいこくてき乔治·贝克莱主教しゅきょうざいおさむ击无穷小りょう时认为,りゅうすう实际じょう消失しょうしつてき量的りょうてきおにたましい”,0あずか0これおうひしげうけたまわ认后しゃ,并认为0あずか0これ以是有限ゆうげん值。ひしげかくろう假定かてい函数かんすう以展开为幂级すう,并在此基础上てい义导すう[6]:154-156

じゅうきゅうせい纪后,ずい对函すう连续せい极限てきさら深刻しんこく认识,ほろ积分终于趋于严谨。なみ尔查诺これしゅさきはた导数てい义为函数かんすう值的あらため变量あずか变量增量ぞうりょう在自あらじ变量增量ぞうりょう无限接近せっきん0时趋むこうてきりょうなみ尔查诺强调导すう0あずか0これ,而是前面ぜんめんてき值趋むこうてきすう[8]:10柯西ざいてき著作ちょさく《无穷しょう分析ぶんせき教程きょうていがい论》中也ちゅうや使用しようりょうどう样的てい义,并定义 为导すうあずか てきじょう积。这样,导数微分びぶんてき概念がいねんいたりょう统一[8]:11

导数てき记法

[编辑]

从微积分发轫いたり如今,不同ふどうてき数学すうがく使用しよう不同ふどうてき记号らい表示ひょうじ函数かんすうてき导数。部分ぶぶん记号いたりこん仍然使用しようなり为现だいてき通用つうよう记法。

うし顿的记法

[编辑]

さく为微积分てき发明じんいちうしざい1704ねん著作ちょさく中将ちゅうじょう导数よう函数かんすう符号ふごう上方かみがたてきてんらい表示ひょうじれいてき导数就记さく,而二阶导数则记为[9]:193-196以后てき数学すうがく也会しょうもちいらい表示ひょうじ函数かんすうてき微分びぶんうし顿的记法ちゅうぼつ有明ありあけ确自变量,いん てき导数ざいうし顿的著作ちょさく中也ちゅうやかい记成いん为这理解りかい为两个函すう 对于另一个变りょう てき导数[9]:196。而这个导すう使用しよう莱布あま兹的记号):

うし顿的记号见于物理ぶつりがくあるあずかこれゆう关的方面ほうめん,如微分びぶんかたほどなか。以及ちょくいた现在,使用しよう函数かんすう符号ふごうじょう一点来表示某一变量的变化率(そく对时间的导数)依然いぜんつね见于かく类物理学りがく教材きょうざいちゅう(如使用しようらい表示ひょうじ加速度かそくどひとし)。注意ちゅういいた对于だか阶的导数,这种记法就无ほう表示ひょうじりょう

莱布あま兹的记法

[编辑]
ほことくどるさととく·かど·莱布あまいばら

莱布あまざいてき研究けんきゅう中分なかぶん使用しよう らい表示ひょうじ函数かんすう变量おう变量(输出值)てき有限ゆうげん变化りょう,而使用しよう らい表示ひょうじ“无限しょうてき变化りょうそくしょ谓的“无穷小量しょうりょう”)[10]。如果はた函数かんすう记为てき话,么在莱布あま兹的记法,其导すう记为:

ある

这个记法さい早出そうしゅつ现在莱布あま兹1684ねんてき论文ちゅう[9]:204,莱布あま兹在まえてき文章ぶんしょうちゅうかいはた 记成 记成 。莱布あま兹记法的ほうてきこう处是あきら确了变量おう变量[11]要注意ようちゅういてき记号いち整体せいたい也是,而以看なりいち整体せいたい,也可以不严谨なりまと[10]。此外, 表示ひょうじてき导函すうざいぼういちてん てき导数则记为: 对于さらだか阶的导数(如说n阶,见こう阶导すういち节),莱布あま兹的记法

ある

这种记法ざい1695ねん现的[9]:205。这里てき分子ぶんし分母ぶんぼさい具有ぐゆう单独てき义。莱布あま兹的记法ちゅう使用しよう らい表示ひょうじ微分びぶんさん如说阶的导数 就可以看なり

[11]

莱布あま兹记法的ほうてき另一个好处是便于记忆导数计算的法则。れい链式ほう(见导数てき计算いち节)应用莱布あま兹的记法就是:

以想ぞう为右边是两个ぶんしきてきじょう积,消去しょうきょこれきさき就变なりひだり[11]

よし于牛顿和莱布あま兹之间关于微积分创始人称にんしょうごうてき持久じきゅう纠纷,ざいじゅう八世纪早期的很长时间里,英国えいこくすう学界がっかいあずかおうしゅうだい陆的すう学界がっかいぶん别采よううし顿和莱布あま兹的记号,泾渭分明ふんみょう。这种じょう况直いたじゅう八世纪后期才开始改变,ずいひしげかくろう记法てき现而变得样化おこりらい[9]:197-200

ひしげかくろうてき记法

[编辑]

另一种现今常见的记法是十八世纪ひしげかくろう于1797ねん率先そっせん使用しようてき,以在函数かんすうてきみぎ上角うえすみじょう一短撇作为导数的记号。函数かんすう てき导数就记さく ある [12]。二阶和三阶导数记为 [9]:207。如果需要じゅよう处理さらだか阶的导数,则用くくごう内的ないてきもとめ导阶すうnらい代替だいたいたん撇,记为:とうじゅうきゅうせい纪的数学すうがく柯西处理微分びぶんがく时,认为莱布あま兹的记法“模糊もこ不便ふべん”,而采ようさら为“紧凑”てき记法,はた 记为。这种记法说是ひしげかくろう记法てき变种[9]:218きさきらい这种记法曾继续被せい简为[13]

其它记法

[编辑]

じゅうきゅうせい纪以まえつきかんだい部分ぶぶん数学すうがくかい选择さいよううし顿、莱布あま兹或ひしげかくろうてき记号らい表示ひょうじ导数,ただし也有やゆう很多てき数学すうがく希望きぼう使用しよう自己じこてき方法ほうほうらい记录。ざい不同ふどう数学すうがくてき著作ちょさくちゅう以看いたかく种主りゅう记法てき混合こんごうある变体。数学すうがく间关于什么样てき记法さい为简便びん严谨也是かく执一词。どう时,ゆかり于函すうてき微分びぶん、导数、へん导数以及无穷小量しょうりょうとう概念がいねんひさし成熟せいじゅく,记号てき统一更增加了数学家之间相互理解的难度[9]:214-234じゅう九世纪初期的德国数学家马尔·おうさいようらい表示ひょうじ导数,而同时期てきみやび则采ようらい表示ひょうじへん导数。どう时许多数たすうがくさいよう[14][15]ある [16]表示ひょうじへん导数。

もちいだい写字しゃじはは表示ひょうじ导数从じゅう八世纪末就开始。1800ねんほうこく数学すうがくみちえき斯·どるろうさくかわら·やすたくない·おもねはく斯特Louis François Antoine Arbogast使用しよう表示ひょうじ函数かんすう てきm阶导すうあるぜん微分びぶん[17]。而其きさきほん杰明·佩尔斯使用しよう表示ひょうじ てき导数[18]。而柯西にし也采よう类似てき记号,よう表示ひょうじ函数かんすう てきm阶へん导数[19]

函数かんすう导的条件じょうけん

[编辑]

如果いち函数かんすうてきてい义域全体ぜんたい实数そく函数かんすうざいうえ有定ありさだ义,么该函数かんすうざいてい义域じょう处处导呢?答案とうあん否定ひていてき函数かんすうざいてい义域ちゅう一点可导需要一定的条件。くびさきよう使つかい函数かんすうざいいちてん导,么函すう一定要在这一点处连续。换言函数かんすうわかざいぼうてん导,则必しかざい该点处连续。这个结论于连续性てきてい义。

证明

设函すううえいちてん函数かんすうざいいちてん导,そく存在そんざい,其中

所以ゆえん そく函数かんすうざい处连续。[2]:118

符号ふごう函数かんすう(sgn函数かんすう一个不连续的函数在断点处不可导的例子:

符号ふごう函数かんすう

くびさき注意ちゅういいた这个函数かんすうざい处不连续。さく为验证,以求函数かんすうざい附近ふきんてき变化りつすえ函数かんすう导的条件じょうけんさい进行判断はんだん

该函すうざいひだり附近ふきんてき变化りつ为:
とう时,上面うわつらてき值趋于正无穷だい发散,存在そんざい这个符号ふごう函数かんすうざい不可ふか导。

しか而,连续せい不能ふのう证可导性。そく使つかい函数かんすうざいいちてんじょう连续,也不一定就在这一点可导。こと实上,存在そんざいざいまいいちてん连续,ただしまたざいまいいちてん不可ふか导的“やまい态函すう”。1931ねん斯特凡·ともえ拿赫甚至证明,こと实上“绝大多数たすうてき连续函数かんすうぞく于这种病态函すういたりしょうざい一点可导的连续函数在所有连续函数中是贫集[20]ざい连续而不可ふか导的函数かんすうさと,一种常见的情况是,函数かんすうざいぼういちてん连续,并且以定义它てきひだり导数みぎ导数:

ひだり导数:[2]:118[1]:155
みぎ导数:[2]:118[1]:155

しか而左导数みぎ导数并不相等そうとういん而函すうざい该处不可ふか导。实际じょうわか函数かんすう导数存在そんざい,则必しか以推左右さゆう导数相等そうとう,这是よし极限てきせい质(极限存在そんざい左右さゆう极限相等そうとうとくらい

下面かめん以绝对值函数かんすうさく为例

绝对值函すう

该函すうざい处的ひだり导数为:

该函すうざい处的みぎ导数为:

绝对值函すうざい处的左右さゆう导数みな存在そんざいただしよし左右さゆう导数相等そうとう绝对值函すうざい不可ふか导。[2]:118-119

如果函数かんすうざい一点的左右导数都存在并且相等,么函すうざい该处导。[1]:155

导数あずか函数かんすうてきせい

[编辑]

つう过认识可导函すうてき导数,推断すいだんしょう函数かんすう本身ほんみてきせい质。

单调せい

[编辑]
x变化时函すう(蓝色きょく线)てききり线变函数かんすうてき导数值就きり线的はすりつ,绿色代表だいひょう其值为正,红色代表だいひょう其值为负,黑色こくしょく代表だいひょう值为れい

すえほろ积分基本きほん定理ていり,对于导的函数かんすうゆう

如果函数かんすうてき导函すうざいぼう一区间内恒大于零(あるつねしょう于零),么函すうざい这一区间内单调递增(ある单调递减),这种间也しょう为函すうてき单调间。导函すうとう于零てきてんしょう为函すうてき驻点ある极值疑点ぎてん),ざい这类てんじょう函数かんすう可能かのうかい取得しゅとく极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 てきいちてん ,如果存在そんざい 使つかいとく ざい うえだい于等于零,而在 うえしょう于等于零, 一个极大值点,たん则为极小值点[2]:170。如果 なみ ざい 改變かいへん加減かげんごうのりしょう这个てん拐点そく这个てん拐点[21]:200

如果函数かんすうざい 处的阶导すう 存在そんざい,极值てん也可以用它的せい负性判断はんだんやめ确定)。如果 一个极小值点,たん为极だい值点[2]:170-171

凹凸おうとつせい

[编辑]

导函すうてき凹凸おうとつせいあずか其导すうてき单调せいゆう关。如果函数かんすうてき导函すうざいぼう个区间上单调递增,么这个区间上函数かんすうこうしたとつてきたん则是向上こうじょうとつてき。如果阶导函数かんすう存在そんざい,也可以用它的せい负性判断はんだん,如果ざいぼう个区间上 つねだい于零,则这个区间上函数かんすうこうしたとつてきたん这个间上函数かんすう向上こうじょうとつてき[2]:176-178

导数てき计算

[编辑]

はら则上,函数かんすうてき导数以通过考虑しょうかず计算其极限らい从定义计さんざい实践ちゅう,一旦知道了一些简单函数的导数,就可以使用しよう从更简单てき函数かんすう获得さら复杂函数かんすうてき导数てき规则,らいさら容易ようい计算其他函数かんすうてき导数。

基本きほん函数かんすうてき导数

[编辑]

ところ基本きほん函数かんすうゆび一些形式简单并且容易求出导数的函数。这些基本きほん函数かんすうてき导函すう以通过定义直接ちょくせつもとめ

其中任意にんい实数,

函数かんすうてきてい义域以是せい实数いきただし导函すうてきてい义域则不一定与之相同。れい如当 时:

[2]:119

导函すうてきてい义域ただげん所有しょゆうせい实数而不包括ほうかつ0。需要じゅよう注意ちゅういてきかいゆう项式函数かんすうてき导数为とう 时,つね函数かんすうてき导数0。

  • そこすうてき指数しすう函数かんすう てき导数还是自身じしん一般いっぱんてき指数しすう函数かんすう てき导数还需要じゅようじょう以一个系すう[2]:122

自然しぜん对数函数かんすうてき导数则是 [2]:123 どう样的,一般的对数函数导数则还需要乘以一个系数:

导数てきもとめ导法则

[编辑]

よし基本きほん函数かんすうてき、积、しょうある相互そうご复合构成てき函数かんすうてき导函すう则可以通过函すうてきもとめ导法则来推导。基本きほんてきもとめ导法则如

  • もとめ导的线性せい:对函すうてき线性组合もとめ导,とう于先对其ちゅうまい部分ぶぶんもとめ导后さい线性组合。
(其中为常すう[2]:121
  • 两个函数かんすうてきじょう积的导函すうとう于其ちゅう一个的导函数乘以另一者,じょう另一者的导函数与其的乘积
[2]:125
  • 两个函数かんすうてきしょうてき导函すう也是いち个分しき。其中分子ぶんし分子ぶんし函数かんすうてき导函すうじょう以分はは函数かんすう减去分母ぶんぼ函数かんすうてき导函すうじょう分子ぶんし函数かんすうきさきてき,而其分母ぶんぼ分母ぶんぼ函数かんすうてき平方へいほう
ざい处方有意ゆうい义)[2]:126
[2]:128

わか要求ようきゅうぼう个函すうざいぼういちてんてき导数,以先运用以上いじょう方法ほうほうもとめ这个函数かんすうてき导函すうさい导函すうざいいちてんてき值。

れい

[编辑]

欲求よっきゅう函数かんすう

ざい处的导数。以先もとめ其导函数かんすう

其中だい二项使用了复合函数的求导法则,而第三项则使用了乘积的求导法则。もとめ导函すうきさきさいしょう代入だいにゅうとくいた导数为:

こう阶导すう

[编辑]

阶导すう

[编辑]

如果函数かんすうてき导数ざい处可导,则称てき阶导すう。记做:ある[2]:132

二阶导数可用于求解函数凹凸性问题。 函数かんすうざいxうえ凹。 函数かんすうざいxしも凹。

こう阶导すう

[编辑]

二阶导数的导数称为三阶导数,记做ある

三阶导数的导数称为四阶导数,记做ある

一般いっぱんてきてき阶导すうてき导数しょうてき阶导すう,记为ある[2]:133

こう阶导すうてき求法ぐほう

[编辑]

一般いっぱんらい说,こう阶导すうてき计算导数いち样,以按あきらてい义逐もとめどう时,こう阶导すう也有やゆうもとめ导法则:

  • 莱布あま兹公しき[2]:134

いん此,利用りようやめ知的ちてきだか阶导すうもとめ导法则,つう过四则运さん, 变量だい换等方法ほうほうもとめ阶导すう。一些常见的有规律的高阶导数的公式如下[2]:133

多元たげん函数かんすうてき导数

[编辑]

むかいりょう值函すうてき导数

[编辑]

とう函数かんすう てき值不さい实数,而是一般いっぱんてきなかてきむかいりょう时,仍然可能かのう对其もとめ导。这时てき函数かんすう值是:まい 一个实数值的函数。具体ぐたいてきれい如二维或者三维空间里的まいりすうぽうほどよし此,对 もとめ导实际上对每个分りょう函数かんすう もとめ导。

[2]:191

这也符合ふごうてい

てきいちもと么对函数かんすう

其导函数かんすう为:

へん导数

[编辑]

如果ゆう函数かんすう 其自变量单个实数,而是于一个元素げんそれい如:

这时以把其中いち元素げんそ做参すう 以看做是关于另一个元素的参数函数:

也就说,对于ぼう个确じょうてき 函数かんすう 就是いち个关于 てき函数かんすうざい 固定こていてきじょう况下,以计さん这个函数かんすう 关于 てき导数。

这个ひょう达式对于所有しょゆうてき 对。这种导数しょう为偏导数,一般いっぱん记作:

这里てき符号ふごう字母じぼ てき圆体变体,一般いっぱん读作 てきくびおん节或读“へん”,以便あずか 别。

さら一般地来说,いち个多もと函数かんすう ざいてん 处对 てきへん导数てい义为:

上面うわつらてき极限ちゅうじょりょう そと所有しょゆうてき变元固定こていてき,这就确定りょういちいちげん函数かんすう

いん此,按定义有:

へん导数てき实质仍然いちげん函数かんすうてき导数。[22]:56

变量函数かんすうてき一个重要的例子,れい ある うついたうえてき标量值函すう ざい这种じょう况下, 关于ごといち个变りょう みやこゆうへん导数ざいてん ,这些へん导数てい义了いち个向りょう

这个むこうりょうしょう ざいてん てきはしご。如果 ざいてい义域ちゅうてきごと一个点都是可微的,么梯便びん一个向量值函数 ,它把てん うついたこうりょう 。这样,はしご便びん决定りょういちむかいりょう

方向ほうこう导数

[编辑]

方向ほうこう导数へん导数さら广泛てき概念がいねん。导数てきほん质是函数かんすう增量ぞうりょうあずか变量增量ぞうりょうてき极限。ざい多元たげん函数かんすう なか以选じょういち个确じょうてき方向ほうこう(以这个方向上こうじょうてき单位むこうりょう 表示ひょうじ),并考虑函すうざい这个かた向上こうじょうてき增量ぞうりょう

这个增量ぞうりょう为关于 てきいちげん函数かんすう函数かんすう てき方向ほうこう导数てい义为这个增量ぞうりょうあずか まと值在 趋于0时的极限,记为

方向ほうこう导数表示ひょうじりょう函数かんすう从某てん开始ざいぼう个方向上こうじょうてき变化りつ[22]:55-56

ざいなか,如果はたこうりょう 选为せい规基 これちゅうてきいち个,如方向ほうこう导数就是关于 てきへん导数。[22]:55-56


推广

[编辑]

导数てき概念がいねん建立こんりゅうざい变量为实すううえただし也可以推广到さら广泛てき义上。推广てきすうほん质上仍旧函数かんすうざい局部きょくぶ一点上的线性逼近。

复变りょう导数

[编辑]

对于变量为复すうてき函数かんすう,也可以定义导すうてき概念がいねんかり设有复变函数かんすう。如果 ざいぼういちてん 附近ふきん有定ありさだ义,并且极限:

存在そんざい么就说函すう ざい 导。其中 表示ひょうじ てきかたぎ趋向于0。如果はた复变りょう 视作 以视さくいちうえてき函数かんすう。如果さく为复变函すうてき 导,么作为うえ函数かんすうてき てきへん数也かずや存在そんざいただしはんこれ则不しかただゆうとう柯西-はじむ条件じょうけん满足てき时候才能さいのう证复变函すうてき复可导性[23]

じゃく微分びぶん

[编辑]

ざい分布ぶんぷさとじゃく微分びぶんてき概念がいねん使とく对更严格义上无法もとめ导的函数かんすう也可以定义导函数かんすう。设一个局部勒贝格可积(如说ざいなかてき函数かんすうしょうこれてきいち个弱微分びぶん,如果对所有しょゆうてき测试函数かんすうみやこゆう

成立せいりつ。其中测试函数かんすうゆび紧支撑てきひかりすべり函数かんすう[24]じゃく微分びぶん包括ほうかつりょうきょう微分びぶん,也就通常つうじょう义上てき导数。

导数

[编辑]
てきちょく线(红)ざい函数かんすう(蓝)下方かほう,它的はすりつ函数かんすうてきつぎ导数

ざいとつ分析ぶんせき,也就とつ函数かんすうてき研究けんきゅうちゅう以定义凸函数かんすうてきつぎ导数。つぎ导数てき概念がいねん导数てき几何义的推广。よし于函すうとつてき,过它てき图像うえごと一点总可以作一条直线,使つかいとく函数かんすうてき图像ざいちょく线上かた。这种直線ちょくせんてきはすりつしょう为函すうざい这点てきつぎ导数。如果函数かんすうざいぼうてん导,么次导数ただゆういち个,とう于其导数。如果函数かんすうぞう绝对值函すう一样在零点有突然的转折,么次导数可能かのうとめいち个。如过れいてん而斜りつざいこれ间的ちょく线都ざい绝对值函すう下方かほういんこれ间的ごと个数绝对值函すうざいれいてんてきつぎ导数。[25]

整数せいすう阶导すう

[编辑]

はやざいじゅうきゅうせい纪,ざい数学すうがくあきら确了もとめ导与积分てき互逆关系以后,就出现了负阶导数てき记号:表示ひょうじもとめn积分)[9]:208。而非整数せいすう阶导すうてき概念がいねん则进一步将其推广。如,はん微分びぶんさん表示ひょうじ其作よう于函すうじょう两次以后てき效果こうかしょうとういちもとめ导:

てい义非整数せいすう阶导すうてき方法ほうほうとめいち种,さい常用じょうようてき整数せいすう阶导すうてい义为はじむ曼-刘维尔定义:

函数かんすう てきs阶积ぶん为:
而对函数かんすう てき阶导すう为:[26][27]

たく导数どるかみなり歇导すう

[编辑]

方向ほうこう导数ざい无穷维向りょうそら间如ともえ拿赫そらどるかみなり歇空间うえ以推广为たく导数どるかみなり歇导すう。二者都经常用于形式化泛函导数てき概念がいねんつね见于物理ぶつりがくとく别是量子りょうし场论[28]

导子

[编辑]

微分びぶん代数だいすう中有ちゅうう导子てき概念がいねん。导子备了微分びぶんさんてきぼう些特せいてき运算れい如向りょう场的导数ある交换代数だいすうちゅうてき交换[29]。给定いち个环あるいき うえてきいち个代すう うえてきいち-导子 いち个从 いた自身じしんてき-线性うつ(线性どう态),并满あし导数てきじょう积法则:

所有しょゆう-导子构成りょう うえ线性どう态集 てきそら[30]

导数てき应用

[编辑]

物理ぶつりがく几何がく工程こうてい科学かがく经济がくとう学科がっかちゅうてき一些重要概念都可以用导数来表示。如,导数表示ひょうじ运动物体ぶったいてきまどか速度そくど加速度かそくど,也可以表示ひょうじきょく线在いちてんてきはすりつ

边际弹性

[编辑]

经济がくちゅうしょ边际弹性てき概念がいねんあずか导数紧密しょう关。如边际成ほん就是产量增加ぞうか一个单位所带来的成本的增加,わかしょう連續れんぞくいたてき便びん成本なりもと函数かんすうてき导数。また需求てき弹性ゆび价格变化いち个单时,需求量的りょうてき变化,連續れんぞく相應そうおうてき也是需求函数かんすう关于价格てき导数。[31]


まいり

[编辑]

ちゅう

[编辑]
  1. ^ 发现于费马1637ねんてき稿こうもとめ最大さいだい值和最小さいしょう值的方法ほうほう

参考さんこう文献ぶんけん

[编辑]
  1. ^ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 じょ森林しんりん; 薛春华. 《数学すうがく分析ぶんせきだいいちさつ)》. きよし华大がく出版しゅっぱんしゃ. 2005. ISBN 978-7-302-11746-9. 
  2. ^ 2.00 2.01 2.02 2.03 2.04 2.05 2.06 2.07 2.08 2.09 2.10 2.11 2.12 2.13 2.14 2.15 2.16 2.17 2.18 2.19 2.20 2.21 おう阳光ちゅう; 姚允龙; しゅう渊 (编). O.305. 《数学すうがく分析ぶんせきうえさつ)》. 复旦大学だいがく出版しゅっぱんしゃ. 2003. ISBN 7-309-03570-4. 
  3. ^ あさかさきん, 正敏まさとしだん, 汉明おう. 《线性代数だいすう》. きよし华大がく出版しゅっぱんしゃ. 2006. ISBN 7-302-12350-0. 
  4. ^ はり杰. ほろかえしるべ」? (PDF). 數學すうがく教育きょういく. [永久えいきゅう失效しっこう連結れんけつ]
  5. ^ 5.0 5.1 英文えいぶんDan Ginsburg, Brian Groose, Josh Taylor, Bogdan Vernescu. History of the Differential from the 17th Century. [2011-02-10]. (原始げんし内容ないようそん于2021-02-18). 
  6. ^ 6.0 6.1 6.2 6.3 6.4 6.5 6.6 ちゅうぶん莫里斯·かつ莱因. 古今ここん数学すうがく思想しそうだいかん. よし张理きょう、张锦えんこう泽涵こぼし译. 上海しゃんはい科学かがくわざ出版しゅっぱんしゃ. 2002. ISBN 7-5323-6172-1. 
  7. ^ 英文えいぶんW. W. Rouse Ball. Isaac Barrow. [2011-02-10]. (原始げんし内容ないようそん于2012-05-03). 
  8. ^ 8.0 8.1 ちゅうぶん莫里斯·かつ莱因. 古今ここん数学すうがく思想しそうだいよんかん. よし张理きょう、张锦えんこう泽涵こぼし译. 上海しゃんはい科学かがくわざ出版しゅっぱんしゃ. 2002. ISBN 7-5323-6172-1. 
  9. ^ 9.0 9.1 9.2 9.3 9.4 9.5 9.6 9.7 9.8 Florian Cajori. A History of Mathematical Notations だい2かん. Dover Publications. 1993ねん12月. ISBN 978-0486677668. 
  10. ^ 10.0 10.1 Stewart, James. Calculus: Early Transcendentals 6th. Brooks/Cole. 2008. ISBN 0-495-01166-5. 
  11. ^ 11.0 11.1 11.2 Mary Barnes. More about Functions and Differentiation. Curriculum Press. 1993. だい40-43页
  12. ^ 英文えいぶんThe Notation of Differentiation. 1998-08-24 [2011-02-10]. (原始げんし内容ないようそん于2017-12-05). 
  13. ^ George Shoobridge Carr. A Synopsis of Elementary Results in Pure and Applied Mathematics. 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., Uber die Baire'sche Kategorie gewisser Funktionenmengen, Studia. Math., 1931, (3): 174–179. 
  21. ^ Jon Rogawski. Single Variable Calculus. W. H. Freeman. 11 June 2007. ISBN 978-1-4292-1071-3. 
  22. ^ 22.0 22.1 22.2 じょ森林しんりん; 薛春华. 《数学すうがく分析ぶんせきだいさつ)》. きよし华大がく出版しゅっぱんしゃ. 2005. ISBN 978-7-302-13141-0. 
  23. ^ 郑建华. 《复变函数かんすう》. きよし华大がく出版しゅっぱんしゃ. 2005. ISBN 978-7302096931. だい17-19页.
  24. ^ Evans, Lawrence C. Partial differential equations. Providence, R.I.: American Mathematical Society. 1998: 242. ISBN 0-8218-0772-2. 
  25. ^ 英文えいぶんJean-Baptiste Hiriart-Urruty, Claude Lemaréchal. Fundamentals of Convex Analysis. Springer. 2001. ISBN 3-540-42205-6. p.163-166
  26. ^ ちゅうぶん薛定宇,陈阳いずみ. 《高等こうとう应用数学すうがく问题てきMATLABもとめかい》. きよし华大がく出版しゅっぱんしゃ. 2004. ISBN 978-7302186182. だい384-385页.
  27. ^ 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. 
  28. ^ 法文ほうぶんR Gâteaux. Sur les fonctionnelles continues et les fonctionnelles analytiques (PDF). Bulletin de la S.M.F, tome 50 (1922). [2011-02-11]. (原始げんし内容ないようそん (PDF)于2013-10-20). 
  29. ^ Nicolas Bourbaki. Algebra I. Springer-Verlag. 1989. ISBN 3-540-64243-9. 
  30. ^ Nathan Jacobson. Lie algebras. Dover Publications. 1979. ISBN 978-0486638324. p.7-8
  31. ^ おう秉仁. 經濟けいざいがく應用おうようあたりぎわあずか彈性だんせい. EpisteMath,あらためうつしどう作者さくしゃてき微積分びせきぶん講義こうぎ》. [2011-02-10]. (原始げんし内容ないようそん于2020-12-21). 

外部がいぶ链接

[编辑]