一个实值函数的图像曲线。函数 かんすう 在 ざい 一点的导数等于它的图像上这一点处之切 きり 线的 てき 斜 はす 率 りつ 。
导数 (英語 えいご :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 。求 もとめ 导和积分是 ぜ 一 いち 对互逆 ぎゃく 的 てき 操作 そうさ ,它们都 と 是 ぜ 微 ほろ 积分学 がく 中 ちゅう 最 さい 为基础的概念 がいねん 。
一 いち 個 こ 動畫 どうが ,給 きゅう 出 で 了 りょう 一 いち 個 こ 直觀 ちょっかん 的 てき 導 しるべ 數 すう 概念 がいねん ,因 いん 為 ため 參 さん 數 すう 變化 へんか 時 じ 函數 かんすう 的 てき “擺動”會 かい 改變 かいへん 。
直觀 ちょっかん 上 じょう
f
(
x
)
−
f
(
a
)
{\displaystyle f(x)-f(a)}
代表 だいひょう 函數 かんすう 值從
a
{\displaystyle a}
到 いた
x
{\displaystyle x}
的 てき 變化 へんか 量 りょう ,那 な 這樣,
f
(
x
)
−
f
(
a
)
x
−
a
{\displaystyle {\frac {f(x)-f(a)}{x-a}}}
代表 だいひょう 的 てき 是 ぜ 從 したがえ
a
{\displaystyle a}
到 いた
x
{\displaystyle x}
的 てき 平均 へいきん 變化 へんか 率 りつ ,如果把 わ
x
{\displaystyle x}
趨近於
a
{\displaystyle a}
,似 に 乎就可 か 以更能 のう 貼 は 切 きり 的 てき 描述函數 かんすう 值在
a
{\displaystyle a}
附近 ふきん 的 てき 變化 へんか 。
以此為 ため 動機 どうき ,若 わか 实函数 すう
f
{\displaystyle f}
於实数
a
{\displaystyle a}
有 ゆう 定義 ていぎ ,且以下 か 極限 きょくげん (注意 ちゅうい 這個表 ひょう 達 たち 式 しき 所 しょ 定義 ていぎ 的 てき 函數 かんすう 定義 ていぎ 域 いき 不 ふ 含
a
{\displaystyle a}
)
lim
x
→
a
f
(
x
)
−
f
(
a
)
x
−
a
{\displaystyle \lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}}
存在 そんざい 則 そく 称 しょう
f
{\displaystyle f}
於
a
{\displaystyle a}
处可 か 导 ,并称这个极限为
f
{\displaystyle f}
於
a
{\displaystyle a}
处的导数[ 2] :117-118 ,记为
f
′
(
a
)
{\displaystyle f^{\prime }(a)}
也可记作
d
f
d
x
|
x
=
a
{\displaystyle \left.{\frac {\mathrm {d} f}{\mathrm {d} x}}\right|_{x=a}}
或 ある
d
f
d
x
(
a
)
{\displaystyle {\frac {\mathrm {d} f}{\mathrm {d} x}}(a)}
[ 1] :154 。
根據 こんきょ 函數 かんすう 極限 きょくげん 的 てき 定義 ていぎ ,導 しるべ 數 すう 定義 ていぎ 部分 ぶぶん 的 てき "存在 そんざい
δ でるた
>
0
{\displaystyle \delta >0}
使 つかい 所有 しょゆう 的 てき
x
∈
D
f
{\displaystyle x\in D_{f}}
,只 ただ 要 よう
0
<
|
x
−
a
|
<
δ でるた
{\displaystyle 0<|x-a|<\delta }
都 みやこ 有 ゆう ...." 可 か 以直觀 かん 的 てき 理解 りかい 為 ため "當 とう
h
=
x
−
a
{\displaystyle h=x-a}
趨近於
0
{\displaystyle 0}
都 みやこ 有 ゆう ....",但 ただし 要 よう 把 わ 它寫成 なり 嚴 げん 謹的定義 ていぎ ,會 かい 碰到 "存在 そんざい
δ でるた
>
0
{\displaystyle \delta >0}
對 たい 所有 しょゆう 的 てき 實數 じっすう
h
{\displaystyle h}
,只 ただ 要 よう
a
+
h
∈
D
f
{\displaystyle a+h\in D_{f}}
且
0
<
|
h
|
<
δ でるた
{\displaystyle 0<|h|<\delta }
都 みやこ 有 ゆう ...."這段敘述無法 むほう 直接 ちょくせつ 套入極限 きょくげん 定義 ていぎ 的 てき 問題 もんだい ,對 たい 此必須把以下 いか 的 てき 表 ひょう 達 たち 式 しき
lim
h
→
0
f
(
a
+
h
)
−
f
(
a
)
h
{\displaystyle \lim _{h\to 0}{\frac {f(a+h)-f(a)}{h}}}
定義 ていぎ 為 ため 導 しるべ 數 すう 原始 げんし 極限 きょくげん 表 ひょう 達 たち 式 しき 的 てき 簡記 ,而非另一種自動合法的導數定義。但 ただし 如果存在 そんざい
r
>
0
{\displaystyle r>0}
,使 つかい
f
{\displaystyle f}
在 ざい
(
a
−
r
,
a
+
r
)
{\displaystyle (a-r,\,a+r)}
裡 うら 都 と 有 ゆう 定義 ていぎ ,那 な 定義 ていぎ
F
{\displaystyle F}
為 ため 以
{
h
∈
R
|
(
h
≠
0
)
∧
(
|
h
|
<
r
)
}
{\displaystyle \{h\in \mathbb {R} \,|\,(h\neq 0)\wedge (|h|<r)\}}
為 ため 定義 ていぎ 域 いき ,然 しか 後 こう 以
F
(
h
)
=
f
(
a
+
h
)
−
f
(
a
)
h
{\displaystyle F(h)={\frac {f(a+h)-f(a)}{h}}}
為 ため 對應 たいおう 規則 きそく 的 てき 函數 かんすう ,那 な 以下 いか 的 てき 極限 きょくげん 式 しき
lim
h
→
0
F
(
h
)
=
f
′
(
a
)
{\displaystyle \lim _{h\to 0}F(h)=f^{\prime }(a)}
就可以把以
h
{\displaystyle h}
為 ため 自 じ 變數 へんすう 的 てき 偏差 へんさ ,將之 まさゆき 趨近於零求 もとめ 導 しるべ 數 すう 的 てき 想 そう 法 ほう 納入 のうにゅう 正式 せいしき 的 てき 運算 うんざん 裡 うら 。
当 とう 函数 かんすう 定 てい 义域和 わ 取 と 值都在 ざい 实数 域 いき 中 ちゅう 的 てき 时候,导数可 か 以表示 ひょうじ 函数 かんすう 的 てき 曲 きょく 线上的 てき 切 きり 线斜率 りつ 。如右图所示 しめせ ,设
P
0
{\displaystyle P_{0}}
为曲线上的 てき 一 いち 个定点 てん ,
P
{\displaystyle P}
为曲线上的 てき 一 いち 个动点 てん 。当 とう
P
{\displaystyle P}
沿曲线逐渐趋向 こう 于点
P
0
{\displaystyle P_{0}}
时,并且割 わり 线
P
P
0
{\displaystyle PP_{0}}
的 てき 极限位置 いち
P
0
T
{\displaystyle P_{0}T}
存在 そんざい ,则称
P
0
T
{\displaystyle P_{0}T}
为曲线在
P
0
{\displaystyle P_{0}}
处的切 きり 线。
若 わか 曲 きょく 线为一 いち 函数 かんすう
y
=
f
(
x
)
{\displaystyle y=f(x)}
的 てき 图像,那 な 么割线
P
P
0
{\displaystyle PP_{0}}
(粉 こな 紅色 こうしょく )的 てき 斜 はす 率 りつ 为:
tan
φ ふぁい
=
Δ でるた
y
Δ でるた
x
=
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
x
{\displaystyle \tan \varphi ={\frac {\Delta y}{\Delta x}}={\frac {f(x_{0}+\Delta x)-f(x_{0})}{\Delta x}}}
当 とう
P
0
{\displaystyle P_{0}}
处的切 きり 线
P
0
T
{\displaystyle P_{0}T}
(橘 たちばな 紅色 こうしょく ),即 そく
P
P
0
{\displaystyle PP_{0}}
的 てき 极限位置 いち 存在 そんざい 时,此时
Δ でるた
x
→
0
{\displaystyle \Delta x\to 0}
,
φ ふぁい
→
α あるふぁ
{\displaystyle \varphi \to \alpha }
,则
P
0
T
{\displaystyle P_{0}T}
的 てき 斜 はす 率 りつ
tan
α あるふぁ
{\displaystyle \tan \alpha }
为:
tan
α あるふぁ
=
lim
Δ でるた
x
→
0
tan
φ ふぁい
=
lim
Δ でるた
x
→
0
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
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}}}
上 うえ 式 しき 与 あずか 一般定义中的导数定义完全相同,也就是 ぜ 说
f
′
(
x
0
)
=
tan
α あるふぁ
{\displaystyle f'(x_{0})=\tan \alpha }
,因 いん 此,导数的 てき 几何意 い 义即曲 きょく 线
y
=
f
(
x
)
{\displaystyle y=f(x)}
在 ざい 点 てん
P
0
(
x
0
,
f
(
x
0
)
)
{\displaystyle P_{0}(x_{0},f(x_{0}))}
处切线的斜 はす 率 りつ 。[ 2] :117 [ 1] :153
导数、导函数 すう 与 あずか 微分 びぶん 算 さん 子 こ [ 编辑 ]
若 わか 函数 かんすう
f
(
x
)
{\displaystyle \;f(x)\;}
在 ざい 其定义域包含 ほうがん 的 てき 某 ぼう 区 く 间
I
{\displaystyle \;I\;}
内 うち 每 ごと 一个点都可导,那 な 么也可 か 以说函数 かんすう
f
(
x
)
{\displaystyle \;f(x)\;}
在 ざい 区 く 间
I
{\displaystyle \;I\;}
内 うち 可 か 导,这时对于
I
{\displaystyle \;I\;}
内 うち 每 ごと 一 いち 个确定 じょう 的 てき
x
{\displaystyle \;x\;}
值,都 と 对应着 ぎ
f
{\displaystyle \;f\;}
的 てき 一个确定的导数值,如此一来就构成了一个新的函数
x
↦
f
′
(
x
)
{\displaystyle x\mapsto f'(x)}
,这个函数 かんすう 称 たたえ 作原 さくはら 来 らい 函数 かんすう
f
(
x
)
{\displaystyle \;f(x)\;}
的 てき 导函数 すう [ 1] :155 ,记作:
y
′
{\displaystyle \;y'\;}
、
f
′
(
x
)
{\displaystyle f'(x)\;}
或 ある 者 もの
d
f
d
x
(
x
)
{\displaystyle {\tfrac {\mathrm {d} f}{\mathrm {d} x}}(x)}
。值得注意 ちゅうい 的 てき 是 ぜ ,导数是 ぜ 一 いち 个数,是 ぜ 指 ゆび 函数 かんすう
f
(
x
)
{\displaystyle f(x)\;}
在 ざい 点 てん
x
0
{\displaystyle x_{0}\;}
处导函数 かんすう 的 てき 函数 かんすう 值 。但 ただし 在 ざい 不 ふ 至 いたり 于混淆 こんこう 的 てき 情 じょう 况下,通常 つうじょう 也可以说导函数 すう 为导数 すう 。
由 よし 于对每 ごと 一个可导的函数
f
(
x
)
{\displaystyle \;f(x)\;}
,都 みやこ 有 ゆう 它的导函数 すう
f
′
(
x
)
{\displaystyle f'(x)\;}
存在 そんざい ,我 わが 们还可 か 以定义将函数 かんすう 映 うつ 射 い 到 いた 其导函数 かんすう 的 てき 算 さん 子 こ 。这个算 さん 子 こ 称 しょう 为微分 ぶん 算 さん 子 こ ,一般 いっぱん 记作
D
{\displaystyle D}
或 ある
d
d
x
{\displaystyle {\tfrac {\mathrm {d} }{\mathrm {d} x}}}
[ 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)&=(x\mapsto 0)\\D(x\mapsto x)&=(x\mapsto 1)\\D(x\mapsto x^{2})&=(x\mapsto 2\cdot x)\end{aligned}}}
由 よし 于微分 ぶん 算 さん 子 こ 的 てき 输出值仍然 しか 是 ぜ 函数 かんすう ,可 か 以继续求出 で 它在某 ぼう 一点的取值。比 ひ 如说对于函数 かんすう
f
(
x
)
=
x
2
{\displaystyle \;f(x)=x^{2}\;}
,
D
(
f
)
=
(
x
↦
2
⋅
x
)
{\displaystyle D(f)=(x\mapsto 2\cdot x)}
所以 ゆえん
D
(
f
)
(
x
)
=
2
x
{\displaystyle D(f)(x)=2x}
,
D
(
f
)
(
1.4
)
=
2
×
1.4
=
2.8
{\displaystyle D(f)(1.4)=2\times 1.4=2.8}
。
微分 びぶん 也是一种线性描述函数在一点附近变化的方式。微分 びぶん 和 わ 导数是 ぜ 两个不同 ふどう 的 てき 概念 がいねん 。但 ただし 是 ぜ ,对一元 もと 函数 かんすう 来 らい 说,可 か 微 ほろ 与 あずか 可 か 导是完全 かんぜん 等 とう 价的。可 か 微 ほろ 的 てき 函数 かんすう ,其微分 びぶん 等 とう 于导数 すう 乘 じょう 以自变量的 てき 微分 びぶん
d
x
{\displaystyle \mathrm {d} x}
,换句话说,函数 かんすう 的 てき 微 ほろ 分与 ぶんよ 自 じ 变量的 てき 微分 びぶん 之 の 商 しょう 等 とう 于该函数 かんすう 的 てき 导数。因 よし 此,导数也叫做微 ほろ 商 しょう 。函数 かんすう
y
=
f
(
x
)
{\displaystyle y=f(x)}
的 てき 微分 びぶん 又 また 可 か 记作
d
y
=
f
′
(
x
)
d
x
{\displaystyle \mathrm {d} y=f'(x)\mathrm {d} x}
[ 4] 。
导数和 わ 积分 的 てき 发现是 ぜ 微 ほろ 积分 发明的 てき 关键一 いち 步 ほ 。17世 せい 纪以来 いらい ,光学 こうがく 透 とおる 镜的 てき 设计以及炮弹弹道 轨迹的 てき 计算促使欧 おう 洲 しゅう 的 てき 数学 すうがく 家 か 对曲线的切 きり 线进行 ぎょう 研究 けんきゅう 。1630年代 ねんだい ,法 ほう 国 こく 数学 すうがく 家 か 吉 よし 尔·德 とく ·罗伯瓦 かわら 尔作出 さくしゅつ 了 りょう 最初 さいしょ 的 てき 尝试[ 5] 。与 あずか 此同时,同 どう 是 ぜ 法 ほう 国人 くにびと 的 てき 费马 在 ざい 计算切 きり 线时已 やめ 经使用 よう 了 りょう 无穷小量 しょうりょう 的 てき 概念 がいねん [ 註 1] [ 6] :52 。
如右图,费马考 こう 虑曲线
f
(
x
)
{\displaystyle f(x)}
在 ざい
x
{\displaystyle x}
处的切 きり 线。他 た 声 こえ 称 たたえ ,对于切 きり 线,有 ゆう 以下 いか 的 てき 关系成立 せいりつ :
s
s
+
h
=
f
(
x
)
f
(
x
+
h
)
{\displaystyle {\frac {s}{s+h}}={\frac {f(x)}{f(x+h)}}}
对上式 しき 变形后 きさき 得 え 到 いた :
s
=
f
(
x
)
f
(
x
+
h
)
−
f
(
x
)
h
{\displaystyle s={\frac {f(x)}{\frac {f(x+h)-f(x)}{h}}}}
对于具体 ぐたい 的 てき 函数 かんすう
f
(
x
)
{\displaystyle f(x)}
,比 ひ 如
f
(
x
)
=
x
3
{\displaystyle f(x)=x^{3}}
,费马计算
f
(
x
+
h
)
−
f
(
x
)
h
{\displaystyle {\frac {f(x+h)-f(x)}{h}}}
的 てき 值,并将
h
{\displaystyle h}
设为0,就得到 いた
s
{\displaystyle s}
,从而确定切 きり 线的斜 はす 率 りつ 。可 か 以看出 で ,费马的 てき 方法 ほうほう 实质上 じょう 已 やめ 经是求 もとめ 导。费马还给出 で 了 りょう
f
(
x
)
{\displaystyle f(x)}
为多 た 项式 时切线的公式 こうしき 。英国 えいこく 的 てき 巴 ともえ 罗 、荷 に 兰的于德 (Johnann Van Waveren Hudde)和 わ 瓦 かわら 隆 たかし 的 てき 斯卢兹 (René Francoiss Walther de Sluze)继续了 りょう 费马的 てき 工作 こうさく [ 7] 。然 しか 而,费马和 かず 巴 ともみ 罗等人 じん 并没有 ゆう 将 はた 求 もとめ 导归纳为一 いち 种独立 どくりつ 的 てき 工具 こうぐ ,只 ただ 是 ぜ 给出了 りょう 具体 ぐたい 的 てき 计算技巧 ぎこう [ 5] 。
1660年代 ねんだい ,英国 えいこく 人 じん 伊 い 萨克·牛 うし 顿提出 ていしゅつ 了 りょう “流 りゅう 数 すう ”的 てき 概念 がいねん 。牛 うし 顿在写 うつし 于1671年 ねん 的 てき 《流 ながれ 数 すう 法 ほう 与 あずか 无穷级数》中 ちゅう 对流数 すう 的 てき 解 かい 释是:“我 が 把 わ 时间看 み 作 さく 是 ぜ 连续的 てき 流 りゅう 动或增 ぞう 长,而其他 た 的 てき 量 りょう 则随着 ぎ 时间而连续增长。我 わが 从时间流动性出 で 发,把 わ 所有 しょゆう 其他量的 りょうてき 增 ぞう 长速度 そくど 称 しょう 为流数 すう 。”也就是 ぜ 说,流 りゅう 数 すう 就是导数。牛 うし 顿将无穷小 しょう 的 てき 时间间隔定 てい 义为“瞬 まどか 间”(moment),而一个量的增量则是流数与瞬间的乘积。求 もとめ 导数时,牛 うし 顿将自 じ 变量和 わ 因 いん 变量两边展 てん 开,同 どう 时除以瞬间,再 さい 将 はた 剩 あま 下 した 的 てき 项中含有 がんゆう 瞬 まどか 间的项忽略 りゃく 掉[ 6] :72 。而在他 た 的 てき 第 だい 三篇微积分论文中,牛 うし 顿使用 よう 了 りょう 新 しん 的 てき 概念 がいねん :最初 さいしょ 比和 ひわ 最 さい 后 きさき 比 ひ 。他 た 说:
“
随 したがえ 我 わが 们的意 い 愿 すなお ,流 ながれ 数 すう 可 か 以任意地 いじ 接近 せっきん 于在尽 つき 可能 かのう 小 しょう 的 てき 等 とう 间隔时段中 ちゅう 产生的 てき 增量 ぞうりょう ,精 せい 确地说,它们是 ぜ 最初 さいしょ 增量 ぞうりょう 的 てき 最初 さいしょ 的 てき 比 ひ ,它们也能用 よう 和 わ 它们成 なり 比例 ひれい 的 てき 任 にん 何 なん 线段来 らい 表示 ひょうじ 。[ 6] :74
”
相 そう 比 ひ 于牛顿,德 とく 国 こく 数学 すうがく 家 か 莱布尼 あま 兹 使用 しよう 了 りょう 更 さら 清 きよし 晰的记号来 らい 描述导数(见导数的 てき 记法 一 いち 节)。他 た 利用 りよう 了 りょう 巴 ともえ 罗的“微分 びぶん 三角形 さんかっけい ”概念 がいねん ,将 はた 自 じ 变量和 わ 因 いん 变量的 てき 增量 ぞうりょう 记为
d
x
{\displaystyle dx}
和 わ
d
y
{\displaystyle dy}
。他 た 把 わ
d
x
{\displaystyle dx}
理解 りかい 为“比 ひ 任 にん 何 なん 给定的 てき 长度都 と 要 かなめ 小 しょう ”,而
d
y
{\displaystyle dy}
则是
x
{\displaystyle x}
移 うつり 动时
y
{\displaystyle y}
“瞬 まどか 刻 こく 的 てき 增 ぞう 长”[ 6] :89 。而导数 すう 则是两者之 の 间的比例 ひれい 。他 た 还研究 けんきゅう 了 りょう 函数 かんすう 之 の 和 わ 、差 さ 、积、商 しょう 的 てき 求 もとめ 导法则。
伊 い 萨克·牛 うし 顿爵士 し
牛 うし 顿和莱布尼 あま 兹的差 さ 别在于,牛 うし 顿将无穷小量 しょうりょう 作 さく 为求流 りゅう 数 すう 或 ある 导数的 てき 工具 こうぐ ,而莱布 ぬの 尼 あま 兹则用 よう 无穷小 しょう 量的 りょうてき 比 ひ 值来表示 ひょうじ 导数。这与二人的哲学思想差异有关[ 6] :92 。
微 ほろ 积分的 てき 理 り 论面世 よ 后 きさき ,遭到了 りょう 有 ゆう 关无穷小量定 りょうてい 义的攻 おさむ 击与质疑。导数的 てき 定 てい 义自然 しぜん 也包括 ほうかつ 在 ざい 内 ない 。莱布尼 あま 兹和牛 うし 顿对无穷小量 しょうりょう 的 てき 认识都 と 是 ぜ 模糊 もこ 的 てき 。不 ふ 仅如此,莱布尼 あま 兹甚至 いたり 引入了 りょう
(
d
)
x
{\displaystyle (d)x}
和 わ
(
d
)
y
{\displaystyle (d)y}
,称 しょう 其为“未 み 消失 しょうしつ 的 てき 量 りょう ”,用 よう 以进行 ぎょう 求 もとめ 导前部 ぶ 的 てき 计算。在 ざい 完成 かんせい 计算后 きさき 再 さい 用 もちい “消失 しょうしつ 的 てき 量 りょう ”
d
x
{\displaystyle dx}
和 わ
d
y
{\displaystyle dy}
来 らい 代替 だいたい 它们,并假定 かてい 前 ぜん 两者之 の 比 ひ 等 とう 于后两者之 の 比 ひ ,认为这是一个不容置疑的真理[ 6] :102 。
许多数学 すうがく 家 か ,包括 ほうかつ 伯 はく 努 つとむ 利 とぎ 兄弟 きょうだい 、泰 たい 勒 、麦 むぎ 克 かつ 劳林 、达朗贝尔 、拉 ひしげ 格 かく 朗 ろう 日 び 和 わ 欧 おう 拉 ひしげ 都 と 想 おもえ 要 よう 对微积分的 てき 严密性 せい 辩护或 ある 将 はた 微 ほろ 积分严密化 か 。但 ただし 受限于对无穷小量 しょうりょう 的 てき 认识,十 じゅう 八世纪的数学家并没有做出太大的成果。微 ほろ 积分的 てき 强烈 きょうれつ 抨击者 しゃ ,英国 えいこく 的 てき 乔治·贝克莱 主教 しゅきょう 在 ざい 攻 おさむ 击无穷小量 りょう 时认为,流 りゅう 数 すう 实际上 じょう 是 ぜ “消失 しょうしつ 的 てき 量的 りょうてき 鬼 おに 魂 たましい ”,是 ぜ 0与 あずか 0之 これ 比 ひ 。欧 おう 拉 ひしげ 承 うけたまわ 认后者 しゃ ,并认为0与 あずか 0之 これ 比 ひ 可 か 以是有限 ゆうげん 值。拉 ひしげ 格 かく 朗 ろう 日 び 则假定 かてい 函数 かんすう 都 と 可 か 以展开为幂级数 すう ,并在此基础上定 てい 义导数 すう [ 6] :154-156 。
十 じゅう 九 きゅう 世 せい 纪后,随 ずい 着 ぎ 对函数 すう 连续性 せい 和 わ 极限的 てき 更 さら 深刻 しんこく 认识,微 ほろ 积分终于趋于严谨。波 なみ 尔查诺是 これ 首 しゅ 先 さき 将 はた 导数定 てい 义为函数 かんすう 值的改 あらため 变量与 あずか 自 じ 变量增量 ぞうりょう 之 の 比 ひ 在自 あらじ 变量增量 ぞうりょう 无限接近 せっきん 0时趋向 むこう 的 てき 量 りょう 。波 なみ 尔查诺强调导数 すう 不 ふ 是 ぜ 0与 あずか 0之 これ 比 ひ ,而是前面 ぜんめん 的 てき 比 ひ 值趋向 むこう 的 てき 数 すう [ 8] :10 。柯西 在 ざい 他 た 的 てき 著作 ちょさく 《无穷小 しょう 分析 ぶんせき 教程 きょうてい 概 がい 论》中也 ちゅうや 使用 しよう 了 りょう 同 どう 样的定 てい 义,并定义
d
y
{\displaystyle dy}
为导数 すう 与 あずか
d
x
{\displaystyle dx}
的 てき 乘 じょう 积。这样,导数和 わ 微分 びぶん 的 てき 概念 がいねん 得 え 到 いた 了 りょう 统一[ 8] :11 。
从微积分发轫至 いたり 如今,不同 ふどう 的 てき 数学 すうがく 家 か 都 と 曾使用 しよう 过不同 ふどう 的 てき 记号来 らい 表示 ひょうじ 函数 かんすう 的 てき 导数。部分 ぶぶん 记号至 いたり 今 こん 仍然使用 しよう ,成 なり 为现代 だい 的 てき 通用 つうよう 记法。
作 さく 为微积分的 てき 发明人 じん 之 の 一 いち ,牛 うし 顿在 ざい 1704年 ねん 著作 ちょさく 中将 ちゅうじょう 导数用 よう 函数 かんすう 符号 ふごう 上方 かみがた 的 てき 点 てん 来 らい 表示 ひょうじ 。例 れい 如
y
=
f
(
x
)
{\displaystyle y=f(x)}
的 てき 导数就记作 さく
y
˙
{\displaystyle {\dot {y}}}
,而二阶导数则记为
y
¨
{\displaystyle {\ddot {y}}}
[ 9] :193-196 。他 た 以后的 てき 数学 すうがく 家 か 也会将 しょう
y
˙
{\displaystyle {\dot {y}}}
用 もちい 来 らい 表示 ひょうじ 函数 かんすう 的 てき 微分 びぶん 。牛 うし 顿的记法中 ちゅう 没 ぼつ 有明 ありあけ 确自变量,因 いん 此
y
{\displaystyle y}
对
x
{\displaystyle x}
的 てき 导数在 ざい 牛 うし 顿的著作 ちょさく 中也 ちゅうや 会 かい 被 ひ 记成
y
′
:
x
′
{\displaystyle y':x'}
,因 いん 为这可 か 以理解 りかい 为两个函数 すう
y
{\displaystyle y}
和 わ
x
{\displaystyle x}
对于另一个变量 りょう
t
{\displaystyle t}
的 てき 导数比 ひ [ 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}}}
牛 うし 顿的记号多 た 见于物理 ぶつり 学 がく 或 ある 与 あずか 之 これ 有 ゆう 关的方面 ほうめん ,如微分 びぶん 方 かた 程 ほど 中 なか 。以及直 ちょく 到 いた 现在,使用 しよう 函数 かんすう 符号 ふごう 上 じょう 加 か 一点来表示某一变量的变化率(即 そく 对时间的导数)依然 いぜん 常 つね 见于各 かく 类物理学 りがく 教材 きょうざい 中 ちゅう (如使用 しよう
v
˙
{\displaystyle {\dot {v}}}
来 らい 表示 ひょうじ 加速度 かそくど 等 ひとし )。注意 ちゅうい 到 いた 对于高 だか 阶的导数,这种记法就无法 ほう 表示 ひょうじ 了 りょう 。
戈 ほこ 特 とく 弗 どる 里 さと 德 とく ·威 い 廉 かど ·莱布尼 あま 茨 いばら
莱布尼 あま 兹 在 ざい 他 た 的 てき 研究 けんきゅう 中分 なかぶん 别使用 しよう
Δ でるた
x
{\displaystyle \Delta x}
和 わ
Δ でるた
y
{\displaystyle \Delta y}
来 らい 表示 ひょうじ 函数 かんすう 自 じ 变量和 わ 應 おう 变量(输出值)的 てき 有限 ゆうげん 变化量 りょう ,而使用 しよう
d
x
{\displaystyle dx}
和 わ
d
y
{\displaystyle dy}
来 らい 表示 ひょうじ “无限小 しょう ”的 てき 变化量 りょう (即 そく 所 しょ 谓的“无穷小量 しょうりょう ”)[ 10] 。如果将 はた 函数 かんすう 记为
y
=
f
(
x
)
{\displaystyle y=f(x)}
的 てき 话,那 な 么在莱布尼 あま 兹的记法下 か ,其导数 すう 记为:
d
y
d
x
{\displaystyle {\frac {dy}{dx}}}
、
d
f
d
x
(
x
)
{\displaystyle {\frac {df}{dx}}(x)}
、
d
d
x
f
(
x
)
{\displaystyle {\frac {d}{dx}}f(x)}
或 ある
d
(
f
(
x
)
)
d
x
,
{\displaystyle {\frac {d\left(f(x)\right)}{dx}},}
这个记法最 さい 早出 そうしゅつ 现在莱布尼 あま 兹1684年 ねん 的 てき 论文中 ちゅう [ 9] :204 ,莱布尼 あま 兹在之 の 前 まえ 的 てき 文章 ぶんしょう 中 ちゅう 会 かい 将 はた
d
x
{\displaystyle dx}
记成
x
d
{\displaystyle {\tfrac {x}{d}}}
,把 わ
d
y
d
x
{\displaystyle {\tfrac {dy}{dx}}}
记成
d
y
x
{\displaystyle d{\tfrac {y}{x}}}
。莱布尼 あま 兹记法的 ほうてき 好 こう 处是明 あきら 确了自 じ 变量和 わ 應 おう 变量[ 11] 。要注意 ようちゅうい 的 てき 是 ぜ 记号
d
x
{\displaystyle dx}
是 ぜ 一 いち 个整体 せいたい ,
d
y
{\displaystyle dy}
也是,而
d
y
d
x
{\displaystyle {\frac {dy}{dx}}}
可 か 以看成 なり 一 いち 个整体 せいたい ,也可以不严谨地 ち 看 み 成 なり
d
y
{\displaystyle dy}
和 わ
d
x
{\displaystyle dx}
的 まと 比 ひ 值[ 10] 。此外,
d
y
d
x
{\displaystyle {\frac {dy}{dx}}}
表示 ひょうじ 的 てき 是 ぜ 导函数 すう ,在 ざい 某 ぼう 一 いち 点 てん
x
=
a
{\displaystyle x=a}
的 てき 导数则记为:
d
y
d
x
|
x
=
a
{\displaystyle \left.{\frac {dy}{dx}}\right|_{x=a}}
对于更 さら 高 だか 阶的导数(比 ひ 如说n 阶,见高 こう 阶导数 すう 一 いち 节),莱布尼 あま 兹的记法是 ぜ :
d
n
y
d
x
n
{\displaystyle {\frac {d^{n}y}{dx^{n}}}}
、
d
n
f
d
x
n
(
x
)
{\displaystyle {\frac {d^{n}f}{dx^{n}}}(x)}
或 ある
d
n
[
f
(
x
)
]
d
x
n
,
{\displaystyle {\frac {d^{n}\left[f(x)\right]}{dx^{n}}},}
这种记法是 ぜ 在 ざい 1695年 ねん 出 で 现的[ 9] :205 。这里的 てき 分子 ぶんし 和 わ 分母 ぶんぼ 不 ふ 再 さい 具有 ぐゆう 单独的 てき 意 い 义。莱布尼 あま 兹的记法中 ちゅう 使用 しよう
d
d
x
{\displaystyle {\frac {d}{dx}}}
来 らい 表示 ひょうじ 微分 びぶん 算 さん 子 こ ,比 ひ 如说二 に 阶的导数
d
2
y
d
x
2
{\displaystyle {\frac {d^{2}y}{dx^{2}}}}
就可以看成 なり :
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)}
[ 11]
莱布尼 あま 兹记法的 ほうてき 另一个好处是便于记忆导数计算的法则。例 れい 如链式法 ほう 则 (见导数的 てき 计算 一 いち 节)应用莱布尼 あま 兹的记法就是:
d
y
d
x
=
d
y
d
u
⋅
d
u
d
x
{\displaystyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}}
可 か 以想象 ぞう 为右边是两个分 ぶん 式 しき 的 てき 乘 じょう 积,消去 しょうきょ
d
u
{\displaystyle du}
之 これ 后 きさき 就变成 なり 左 ひだり 边[ 11] 。
由 よし 于牛顿和莱布尼 あま 兹之间关于微积分创始人称 にんしょう 号 ごう 的 てき 持久 じきゅう 纠纷,在 ざい 十 じゅう 八世纪早期的很长时间里,英国 えいこく 数 すう 学界 がっかい 与 あずか 欧 おう 洲 しゅう 大 だい 陆的数 すう 学界 がっかい 分 ぶん 别采用 よう 牛 うし 顿和莱布尼 あま 兹的记号,泾渭分明 ふんみょう 。这种情 じょう 况直到 いた 十 じゅう 八世纪后期才开始改变,随 ずい 着 ぎ 拉 ひしげ 格 かく 朗 ろう 日 び 记法的 てき 出 で 现而变得多 た 样化起 おこり 来 らい [ 9] :197-200 。
另一种现今常见的记法是十八世纪拉 ひしげ 格 かく 朗 ろう 日 び 于1797年 ねん 率先 そっせん 使用 しよう 的 てき ,以在函数 かんすう 的 てき 右 みぎ 上角 うえすみ 加 か 上 じょう 一短撇作为导数的记号。函数 かんすう
y
=
f
(
x
)
{\displaystyle y=f(x)}
的 てき 导数就记作 さく
f
′
(
x
)
{\displaystyle f'(x)}
或 ある
y
′
{\displaystyle y'}
[ 12] 。二阶和三阶导数记为
f
″
(
x
)
{\displaystyle f''(x)}
、
y
″
{\displaystyle y''}
和 わ
f
‴
(
x
)
{\displaystyle f'''(x)}
、
y
‴
{\displaystyle y'''}
[ 9] :207 。如果需要 じゅよう 处理更 さら 高 だか 阶的导数,则用括 くく 号 ごう 内的 ないてき 求 もとめ 导阶数 すう n 来 らい 代替 だいたい 短 たん 撇,记为:
f
(
n
)
(
x
)
{\displaystyle f^{(n)}(x)}
、
y
(
n
)
{\displaystyle y^{(n)}}
。当 とう 十 じゅう 九 きゅう 世 せい 纪的数学 すうがく 家 か 柯西 处理微分 びぶん 学 がく 时,他 た 认为莱布尼 あま 兹的记法“模糊 もこ 不便 ふべん ”,而采用 よう 更 さら 为“紧凑”的 てき 记法,将 はた
d
y
d
x
{\displaystyle {\frac {dy}{dx}}}
记为
y
x
′
{\displaystyle y'_{x}}
。这种记法可 か 说是拉 ひしげ 格 かく 朗 ろう 日 び 记法的 てき 变种[ 9] :218 。后 きさき 来 らい 这种记法曾继续被精 せい 简为
y
x
{\displaystyle y_{x}}
[ 13] 。
十 じゅう 九 きゅう 世 せい 纪以前 まえ ,尽 つき 管 かん 大 だい 部分 ぶぶん 数学 すうがく 家 か 会 かい 选择采 さい 用 よう 牛 うし 顿、莱布尼 あま 兹或拉 ひしげ 格 かく 朗 ろう 日 び 的 てき 记号来 らい 表示 ひょうじ 导数,但 ただし 也有 やゆう 很多的 てき 数学 すうがく 家 か 希望 きぼう 使用 しよう 自己 じこ 的 てき 方法 ほうほう 来 らい 记录。在 ざい 不同 ふどう 数学 すうがく 家 か 的 てき 著作 ちょさく 中 ちゅう 可 か 以看到 いた 各 かく 种主流 りゅう 记法的 てき 混合 こんごう 或 ある 变体。数学 すうがく 家 か 之 の 间关于什么样的 てき 记法最 さい 为简便 びん 和 わ 严谨也是各 かく 执一词。同 どう 时,由 ゆかり 于函数 すう 的 てき 微分 びぶん 、导数、偏 へん 导数以及无穷小量 しょうりょう 等 とう 概念 がいねん 尚 ひさし 未 み 成熟 せいじゅく ,记号的 てき 不 ふ 统一更增加了数学家之间相互理解的难度[ 9] :214-234 。十 じゅう 九世纪初期的德国数学家马尔丹 に ·欧 おう 姆 采 さい 用 よう
∂
f
(
x
)
{\displaystyle \partial f(x)}
来 らい 表示 ひょうじ 导数,而同时期的 てき 雅 みやび 可 か 比 ひ 则采用 よう
∂
f
∂
x
{\displaystyle {\frac {\partial f}{\partial x}}}
来 らい 表示 ひょうじ 偏 へん 导数。同 どう 时许多数 たすう 学 がく 家 か 采 さい 用 よう
d
f
d
x
{\displaystyle {\frac {df}{dx}}}
[ 14] 、
d
x
f
{\displaystyle {\frac {d}{x}}f}
[ 15] 或 ある
δ でるた
f
δ でるた
x
{\displaystyle {\frac {\delta f}{\delta x}}}
[ 16] 表示 ひょうじ 偏 へん 导数。
用 もちい 大 だい 写字 しゃじ 母 はは
D
{\displaystyle D}
表示 ひょうじ 导数从十 じゅう 八世纪末就开始。1800年 ねん ,法 ほう 国 こく 数学 すうがく 家 か 路 みち 易 えき 斯·弗 どる 朗 ろう 索 さく 瓦 かわら ·安 やす 托 たく 内 ない ·阿 おもね 伯 はく 加 か 斯特 (Louis François Antoine Arbogast )使用 しよう
D
m
f
{\displaystyle D^{m}f}
表示 ひょうじ 函数 かんすう
f
{\displaystyle f}
的 てき m阶导数 すう 或 ある 全 ぜん 微分 びぶん [ 17] 。而其后 きさき 本 ほん 杰明·佩尔斯 也使用 しよう
D
f
⋅
x
{\displaystyle Df\cdot x}
表示 ひょうじ
f
{\displaystyle f}
对
x
{\displaystyle x}
的 てき 导数[ 18] 。而柯西 にし 也采用 よう 类似的 てき 记号,用 よう
D
x
m
f
{\displaystyle D_{x}^{m}f}
表示 ひょうじ 函数 かんすう
f
{\displaystyle f}
对
x
{\displaystyle x}
的 てき m阶偏 へん 导数[ 19] 。
如果一 いち 个函数 かんすう 的 てき 定 てい 义域 为全体 ぜんたい 实数 ,即 そく 函数 かんすう 在 ざい
(
−
∞
,
+
∞
)
{\displaystyle (-\infty ,+\infty )}
上 うえ 都 と 有定 ありさだ 义,那 な 么该函数 かんすう 是 ぜ 不 ふ 是 ぜ 在 ざい 定 てい 义域上 じょう 处处可 か 导呢?答案 とうあん 是 ぜ 否定 ひてい 的 てき 。函数 かんすう 在 ざい 定 てい 义域中 ちゅう 一点可导需要一定的条件。首 くび 先 さき ,要 よう 使 つかい 函数 かんすう
f
{\displaystyle f}
在 ざい 一 いち 点 てん 可 か 导,那 な 么函数 すう 一定要在这一点处连续。换言之 の ,函数 かんすう 若 わか 在 ざい 某 ぼう 点 てん 可 か 导,则必然 しか 在 ざい 该点处连续。这个结论来 き 自 じ 于连续性的 てき 定 てい 义。
符号 ふごう 函数 かんすう (sgn函数 かんすう )是 ぜ 一个不连续的函数在断点处不可导的例子:
符号 ふごう 函数 かんすう
首 くび 先 さき 注意 ちゅうい 到 いた 这个函数 かんすう 在 ざい
x
0
=
0
{\displaystyle x_{0}=0}
处不连续。作 さく 为验证,可 か 以求出 で 函数 かんすう 在 ざい
x
=
0
{\displaystyle x=0}
处附近 ふきん 的 てき 变化率 りつ ,根 ね 据 すえ 函数 かんすう 可 か 导的条件 じょうけん 再 さい 进行判断 はんだん :
该函数 すう 在 ざい
x
0
=
0
{\displaystyle x_{0}=0}
左 ひだり 侧附近 ふきん 的 てき 变化率 りつ 为:
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}}}
当 とう
x
→
0
−
{\displaystyle x\to 0^{-}}
时,上面 うわつら 的 てき 比 ひ 值趋于正无穷大 だい 发散,不 ふ 存在 そんざい ,故 こ 这个符号 ふごう 函数 かんすう 在 ざい
x
0
=
0
{\displaystyle x_{0}=0}
处不可 ふか 导。
然 しか 而,连续性 せい 并不能 ふのう 保 ほ 证可导性。即 そく 使 つかい 函数 かんすう 在 ざい 一 いち 点 てん 上 じょう 连续,也不一定就在这一点可导。事 こと 实上,存在 そんざい 着 ぎ 在 ざい 每 まい 一 いち 点 てん 都 と 连续,但 ただし 又 また 在 ざい 每 まい 一 いち 点 てん 都 と 不可 ふか 导的“病 やまい 态函数 すう ”。1931年 ねん ,斯特凡·巴 ともえ 拿赫 甚至证明,事 こと 实上“绝大多数 たすう ”的 てき 连续函数 かんすう 都 と 属 ぞく 于这种病态函数 すう (至 いたり 少 しょう 在 ざい 一点可导的连续函数在所有连续函数中是贫集 )[ 20] 。在 ざい 连续而不可 ふか 导的函数 かんすう 里 さと ,一种常见的情况是,函数 かんすう 在 ざい 某 ぼう 一 いち 点 てん 连续,并且可 か 以定义它的 てき 左 ひだり 导数和 わ 右 みぎ 导数:
左 ひだり 导数:
f
−
′
(
x
0
)
=
lim
Δ でるた
x
→
0
−
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
x
{\displaystyle f'_{-}(x_{0})=\lim _{\Delta x\to 0^{-}}{\frac {f(x_{0}+\Delta x)-f(x_{0})}{\Delta x}}}
[ 2] :118 [ 1] :155
右 みぎ 导数:
f
+
′
(
x
0
)
=
lim
Δ でるた
x
→
0
+
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
x
{\displaystyle f'_{+}(x_{0})=\lim _{\Delta x\to 0^{+}}{\frac {f(x_{0}+\Delta x)-f(x_{0})}{\Delta x}}}
[ 2] :118 [ 1] :155
然 しか 而左导数和 わ 右 みぎ 导数并不相等 そうとう ,因 いん 而函数 すう 在 ざい 该处不可 ふか 导。实际上 じょう ,若 わか 函数 かんすう 导数存在 そんざい ,则必然 しか 可 か 以推出 で 左右 さゆう 导数相等 そうとう ,这是由 よし 极限的 てき 性 せい 质(极限存在 そんざい 则左右 さゆう 极限相等 そうとう )得 とく 来 らい :
lim
Δ でるた
x
→
0
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
x
=
lim
Δ でるた
x
→
0
−
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
x
=
lim
Δ でるた
x
→
0
+
f
(
x
0
+
Δ でるた
x
)
−
f
(
x
0
)
Δ でるた
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}}}
下面 かめん 以绝对值函数 かんすう 作 さく 为例子 こ :
绝对值函数 すう
该函数 すう 在 ざい
x
=
0
{\displaystyle x=0}
处的左 ひだり 导数为:
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}
该函数 すう 在 ざい
x
=
0
{\displaystyle x=0}
处的右 みぎ 导数为:
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}
绝对值函数 すう 在 ざい
x
=
0
{\displaystyle x=0}
处的左右 さゆう 导数皆 みな 存在 そんざい ,但 ただし 由 よし 于左右 さゆう 导数不 ふ 相等 そうとう ,故 こ 绝对值函数 すう 在 ざい
x
=
0
{\displaystyle x=0}
处不可 ふか 导。[ 2] :118-119
如果函数 かんすう 在 ざい 一点的左右导数都存在并且相等,那 な 么函数 すう 在 ざい 该处可 か 导。[ 1] :155
通 つう 过认识可导函数 すう 的 てき 导数,可 か 以推断 すいだん 出 で 不 ふ 少 しょう 函数 かんすう 本身 ほんみ 的 てき 性 せい 质。
x变化时函数 すう
f
(
x
)
=
1
+
x
sin
(
x
2
)
{\displaystyle \scriptstyle f(x)=1+x\sin(x^{2})}
(蓝色曲 きょく 线)的 てき 切 きり 线变化 か 。函数 かんすう 的 てき 导数值就是 ぜ 切 きり 线的斜 はす 率 りつ ,绿色代表 だいひょう 其值为正,红色代表 だいひょう 其值为负,黑色 こくしょく 代表 だいひょう 值为零 れい 。
根 ね 据 すえ 微 ほろ 积分基本 きほん 定理 ていり ,对于可 か 导的函数 かんすう
f
{\displaystyle f}
,有 ゆう :
f
(
b
)
−
f
(
a
)
=
∫
a
b
f
′
(
t
)
d
t
{\displaystyle f(b)-f(a)=\int _{a}^{b}f'(t)\mathrm {d} t}
如果函数 かんすう 的 てき 导函数 すう 在 ざい 某 ぼう 一区间内恒大于零(或 ある 恒 つね 小 しょう 于零),那 な 么函数 すう 在 ざい 这一区间内单调递增(或 ある 单调递减),这种区 く 间也称 しょう 为函数 すう 的 てき 单调区 く 间。导函数 すう 等 とう 于零的 てき 点 てん 称 しょう 为函数 すう 的 てき 驻点 (或 ある 极值可 か 疑点 ぎてん ),在 ざい 这类点 てん 上 じょう 函数 かんすう 可能 かのう 会 かい 取得 しゅとく 极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足
f
′
(
x
0
)
=
0
{\displaystyle f'(x_{0})=0}
的 てき 一 いち 点 てん
x
0
{\displaystyle x_{0}}
,如果存在 そんざい
δ でるた
>
0
{\displaystyle \delta >0}
使 つかい 得 とく
f
′
{\displaystyle f'}
在 ざい 区 く 间
(
x
0
−
δ でるた
,
x
0
]
{\displaystyle (x_{0}-\delta ,x_{0}]}
上 うえ 都 と 大 だい 于等于零,而在区 く 间
[
x
0
,
x
0
+
δ でるた
)
{\displaystyle [x_{0},x_{0}+\delta )}
上 うえ 都 と 小 しょう 于等于零,那 な 么
x
0
{\displaystyle x_{0}}
是 ぜ 一个极大值点,反 たん 之 の 则为极小值点[ 2] :170 。如果
f
″
(
x
0
)
=
0
{\displaystyle f''(x_{0})=0}
並 なみ 且
f
″
(
x
)
{\displaystyle f''(x)}
在 ざい
x
0
{\displaystyle x_{0}}
改變 かいへん 加減 かげん 號 ごう ,則 のり 称 しょう 这个点 てん 是 ぜ 拐点 ;否 ひ 則 そく 这个点 てん 不 ふ 是 ぜ 拐点 。[ 21] :200
如果函数 かんすう 在 ざい
x
0
{\displaystyle x_{0}}
处的二 に 阶导数 すう
f
″
(
x
0
)
{\displaystyle f''(x_{0})}
存在 そんざい ,极值点 てん 也可以用它的正 せい 负性判断 はんだん (已 やめ 确定
f
′
(
x
0
)
=
0
{\displaystyle f'(x_{0})=0}
)。如果
f
″
(
x
0
)
>
0
{\displaystyle f''(x_{0})>0}
,那 な 么
x
0
{\displaystyle x_{0}}
是 ぜ 一个极小值点,反 たん 之 の 为极大 だい 值点[ 2] :170-171 。
可 か 导函数 すう 的 てき 凹凸 おうとつ 性 せい 与 あずか 其导数 すう 的 てき 单调性 せい 有 ゆう 关。如果函数 かんすう 的 てき 导函数 すう 在 ざい 某 ぼう 个区间上单调递增,那 な 么这个区间上函数 かんすう 是 ぜ 向 こう 下 した 凸 とつ 的 てき ,反 たん 之 の 则是向上 こうじょう 凸 とつ 的 てき 。如果二 に 阶导函数 かんすう 存在 そんざい ,也可以用它的正 せい 负性判断 はんだん ,如果在 ざい 某 ぼう 个区间上
f
″
{\displaystyle f''}
恒 つね 大 だい 于零,则这个区间上函数 かんすう 是 ぜ 向 こう 下 した 凸 とつ 的 てき ,反 たん 之 の 这个区 く 间上函数 かんすう 是 ぜ 向上 こうじょう 凸 とつ 的 てき [ 2] :176-178 。
原 はら 则上,函数 かんすう 的 てき 导数可 か 以通过考虑差 さ 商 しょう 和 かず 计算其极限 来 らい 从定义计算 さん 。在 ざい 实践中 ちゅう ,一旦知道了一些简单函数的导数,就可以使用 しよう 从更简单的 てき 函数 かんすう 获得更 さら 复杂函数 かんすう 的 てき 导数的 てき 规则,来 らい 更 さら 容易 ようい 地 ち 计算其他函数 かんすう 的 てき 导数。
所 ところ 谓基本 きほん 函数 かんすう 是 ぜ 指 ゆび 一些形式简单并且容易求出导数的函数。这些基本 きほん 函数 かんすう 的 てき 导函数 すう 可 か 以通过定义直接 ちょくせつ 求 もとめ 出 で 。
f
(
x
)
=
x
r
,
{\displaystyle f(x)=x^{r},}
其中
r
{\displaystyle r}
是 ぜ 任意 にんい 实数,那 な 么
f
′
(
x
)
=
r
x
r
−
1
,
{\displaystyle f'(x)=rx^{r-1},}
函数 かんすう
f
{\displaystyle f}
的 てき 定 てい 义域可 か 以是整 せい 个实数 域 いき ,但 ただし 导函数 すう 的 てき 定 てい 义域 则不一定与之相同。例 れい 如当
r
=
1
2
{\displaystyle r={\frac {1}{2}}}
时:
f
′
(
x
)
=
1
2
x
−
1
2
{\displaystyle f'(x)={\frac {1}{2}}x^{-{\tfrac {1}{2}}}\,}
[ 2] :119
导函数 すう 的 てき 定 てい 义域只 ただ 限 げん 所有 しょゆう 正 せい 实数而不包括 ほうかつ 0。需要 じゅよう 注意 ちゅうい 的 てき 是 ぜ ,不 ふ 会 かい 有 ゆう 多 た 项式函数 かんすう 的 てき 导数为
x
−
1
{\displaystyle \scriptstyle x^{-1}}
。当 とう
r
=
0
{\displaystyle r=0}
时,常 つね 函数 かんすう 的 てき 导数是 ぜ 0。
底 そこ 数 すう 为
e
{\displaystyle e}
的 てき 指数 しすう 函数 かんすう
y
=
e
x
{\displaystyle \scriptstyle y=e^{x}}
的 てき 导数还是自身 じしん :
d
d
x
e
x
=
e
x
.
{\displaystyle \scriptstyle {\frac {\mathrm {d} }{\mathrm {d} x}}e^{x}=e^{x}.}
而一般 いっぱん 的 てき 指数 しすう 函数 かんすう
y
=
a
x
{\displaystyle y=a^{x}}
的 てき 导数还需要 じゅよう 乘 じょう 以一个系数 すう :
d
d
x
a
x
=
ln
(
a
)
a
x
.
{\displaystyle \scriptstyle {\frac {\mathrm {d} }{\mathrm {d} x}}a^{x}=\ln(a)a^{x}.}
[ 2] :122
自然 しぜん 对数函数 かんすう 的 てき 导数则是
x
−
1
{\displaystyle x^{-1}}
:
d
d
x
ln
(
x
)
=
1
x
,
x
>
0.
{\displaystyle \scriptstyle {\frac {\mathrm {d} }{\mathrm {d} x}}\ln(x)={\frac {1}{x}},\qquad x>0.}
[ 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)}}}
d
d
x
sin
(
x
)
=
cos
(
x
)
.
{\displaystyle {\frac {d}{dx}}\sin(x)=\cos(x).}
d
d
x
cos
(
x
)
=
−
sin
(
x
)
.
{\displaystyle {\frac {d}{dx}}\cos(x)=-\sin(x).}
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).}
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)}}.}
d
d
x
arcsin
(
x
)
=
1
1
−
x
2
,
−
1
<
x
<
1.
{\displaystyle {\frac {d}{dx}}\arcsin(x)={\frac {1}{\sqrt {1-x^{2}}}},\qquad -1<x<1.}
d
d
x
arccos
(
x
)
=
−
1
1
−
x
2
,
−
1
<
x
<
1.
{\displaystyle {\frac {d}{dx}}\arccos(x)=-{\frac {1}{\sqrt {1-x^{2}}}},\qquad -1<x<1.}
d
d
x
arctan
(
x
)
=
1
1
+
x
2
{\displaystyle {\frac {d}{dx}}\arctan(x)={\frac {1}{1+x^{2}}}}
由 よし 基本 きほん 函数 かんすう 的 てき 和 わ 、差 さ 、积、商 しょう 或 ある 相互 そうご 复合构成的 てき 函数 かんすう 的 てき 导函数 すう 则可以通过函数 すう 的 てき 求 もとめ 导法则来推导。基本 きほん 的 てき 求 もとめ 导法则如下 か :
求 もとめ 导的线性性 せい :对函数 すう 的 てき 线性组合求 もとめ 导,等 とう 于先对其中 ちゅう 每 まい 个部分 ぶぶん 求 もとめ 导后再 さい 取 と 线性组合。
(
a
f
+
b
g
)
′
=
a
f
′
+
b
g
′
{\displaystyle (af+bg)'=af'+bg'\,}
(其中
a
,
b
{\displaystyle a,b}
为常数 すう )[ 2] :121
两个函数 かんすう 的 てき 乘 じょう 积的导函数 すう ,等 とう 于其中 ちゅう 一个的导函数乘以另一者,加 か 上 じょう 另一者的导函数与其的乘积
(
f
g
)
′
=
f
′
g
+
f
g
′
{\displaystyle (fg)'=f'g+fg'\,}
[ 2] :125
两个函数 かんすう 的 てき 商 しょう 的 てき 导函数 すう 也是一 いち 个分式 しき 。其中分子 ぶんし 是 ぜ 分子 ぶんし 函数 かんすう 的 てき 导函数 すう 乘 じょう 以分母 はは 函数 かんすう 减去分母 ぶんぼ 函数 かんすう 的 てき 导函数 すう 乘 じょう 以分子 ぶんし 函数 かんすう 后 きさき 的 てき 差 さ ,而其分母 ぶんぼ 是 ぜ 分母 ぶんぼ 函数 かんすう 的 てき 平方 へいほう 。
(
f
g
)
′
=
f
′
g
−
f
g
′
g
2
{\displaystyle \left({\frac {f}{g}}\right)'={\frac {f'g-fg'}{g^{2}}}}
(在 ざい
g
(
x
)
≠
0
{\displaystyle 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
)
=
x
4
+
sin
(
x
2
)
−
ln
(
x
)
e
x
+
7
{\displaystyle f(x)=x^{4}+\sin(x^{2})-\ln(x)e^{x}+7\,}
在 ざい
x
=
3
{\displaystyle x=3}
处的导数。可 か 以先求 もとめ 出 で 其导函数 かんすう :
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)&=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}}}
其中第 だい 二项使用了复合函数的求导法则,而第三项则使用了乘积的求导法则。求 もとめ 出 で 导函数 すう 后 きさき ,再 さい 将 しょう
x
=
3
{\displaystyle x=3}
代入 だいにゅう ,得 とく 到 いた 导数为:
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}\,}
如果函数 かんすう 的 てき 导数
f
′
(
x
)
{\displaystyle f'(x)\,}
在 ざい
x
{\displaystyle x\,}
处可导,则称
[
f
′
(
x
)
]
′
{\displaystyle [f'(x)]'\,}
为
x
{\displaystyle x\,}
的 てき 二 に 阶导数 すう 。记做:
f
″
(
x
)
{\displaystyle f''(x)\,}
,
y
″
{\displaystyle y''\,}
,
d
2
y
d
x
2
{\displaystyle {\frac {{\rm {d}}^{2}y}{{\rm {d}}x^{2}}}}
或 ある
d
2
f
(
x
)
d
x
2
{\displaystyle {\frac {{\rm {d}}^{2}f(x)}{{\rm {d}}x^{2}}}}
[ 2] :132 、
二阶导数可用于求解函数凹凸性问题。
f
″
(
x
)
>
0
{\displaystyle f''(x)>0}
函数 かんすう 在 ざい x上 うえ 凹。
f
″
(
x
)
<
0
{\displaystyle f''(x)<0}
函数 かんすう 在 ざい x下 しも 凹。
二阶导数的导数称为三阶导数,记做
f
‴
(
x
)
{\displaystyle f'''(x)\,}
,
y
‴
{\displaystyle y'''\,}
,
d
3
y
d
x
3
{\displaystyle {\frac {{\rm {d}}^{3}y}{{\rm {d}}x^{3}}}}
或 ある
d
3
f
(
x
)
d
x
3
{\displaystyle {\frac {{\rm {d}}^{3}f(x)}{{\rm {d}}x^{3}}}}
三阶导数的导数称为四阶导数,记做
f
(
4
)
(
x
)
{\displaystyle f^{(4)}(x)\,}
,
y
(
4
)
{\displaystyle y^{(4)}\,}
,
d
4
y
d
x
4
{\displaystyle {\frac {{\rm {d}}^{4}y}{{\rm {d}}x^{4}}}}
或 ある
d
4
f
(
x
)
d
x
4
{\displaystyle {\frac {{\rm {d}}^{4}f(x)}{{\rm {d}}x^{4}}}}
一般 いっぱん 的 てき
f
(
x
)
{\displaystyle f(x)\,}
的 てき
n
−
1
{\displaystyle n-1\,}
阶导数 すう 的 てき 导数称 しょう 为
f
(
x
)
{\displaystyle f(x)\,}
的 てき
n
{\displaystyle n\,}
阶导数 すう ,记为
f
(
n
)
(
x
)
{\displaystyle f^{(n)}(x)\,}
,
y
(
n
)
{\displaystyle y^{(n)}\,}
,
d
n
y
d
x
n
{\displaystyle {\frac {{\rm {d}}^{n}y}{{\rm {d}}x^{n}}}}
或 ある
d
n
f
(
x
)
d
x
n
{\displaystyle {\frac {{\rm {d}}^{n}f(x)}{{\rm {d}}x^{n}}}}
[ 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}
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\ }
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}
(莱布尼 あま 兹公式 しき )[ 2] :134
因 いん 此,可 か 以利用 りよう 已 やめ 知的 ちてき 高 だか 阶导数 すう 求 もとめ 导法则,通 つう 过四则运算 さん , 变量代 だい 换等方法 ほうほう ,求 もとめ 出 で
n
{\displaystyle n\ }
阶导数 すう 。一些常见的有规律的高阶导数的公式如下[ 2] :133 :
d
n
d
x
n
x
α あるふぁ
=
x
α あるふぁ
−
n
∏
k
=
0
n
−
1
(
α あるふぁ
−
k
)
{\displaystyle {\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}x^{\alpha }=x^{\alpha -n}\prod _{k=0}^{n-1}(\alpha -k)}
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}}}}
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}}}}
{\displaystyle \!}
d
n
d
x
n
e
x
=
e
x
{\displaystyle {\frac {{\rm {d}}^{n}}{{\rm {d}}x^{n}}}e^{x}=e^{x}\ }
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}
(
a
>
0
)
{\displaystyle (a>0)\ }
{\displaystyle \!}
d
n
d
x
n
sin
(
k
x
+
b
)
=
k
n
sin
(
k
x
+
b
+
n
π ぱい
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)}
d
n
d
x
n
cos
(
k
x
+
b
)
=
k
n
cos
(
k
x
+
b
+
n
π ぱい
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)}
当 とう 函数 かんすう
y
{\displaystyle y}
的 てき 取 と 值不再 さい 是 ぜ 实数,而是一般 いっぱん 的 てき
R
n
{\displaystyle \mathbf {R} ^{n}}
中 なか 的 てき 向 むかい 量 りょう 时,仍然可能 かのう 对其求 もとめ 导。这时的 てき 函数 かんすう 值是:
y
=
(
y
1
(
x
)
,
y
2
(
x
)
,
⋯
,
y
n
(
x
)
)
{\displaystyle y=\left(y_{1}(x),y_{2}(x),\cdots ,y_{n}(x)\right)}
。每 まい 个
y
i
(
x
)
,
1
⩽
i
⩽
n
{\displaystyle y_{i}(x),\;\;1\leqslant i\leqslant n}
都 と 是 ぜ 一个实数值的函数。具体 ぐたい 的 てき 例 れい 子 こ 如二维或者三维空间里的参 まいり 数 すう 方 ぽう 程 ほど 。因 よし 此,对
y
=
f
(
x
)
{\displaystyle y=f(x)}
求 もとめ 导实际上是 ぜ 对每个分量 りょう 函数 かんすう
y
i
(
x
)
{\displaystyle y_{i}(x)}
求 もとめ 导。
y
′
(
t
)
=
(
y
1
′
(
t
)
,
⋯
,
y
n
′
(
t
)
)
.
{\displaystyle \mathbf {y} '(t)=(y'_{1}(t),\cdots ,y'_{n}(t)).}
[ 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}},}
设
(
e
1
,
e
2
,
⋯
e
n
)
{\displaystyle \left(e_{1},e_{2},\cdots e_{n}\right)}
为
R
n
{\displaystyle \mathbf {R} ^{n}}
的 てき 一 いち 组基 もと ,那 な 么对函数 かんすう :
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},}
其导函数 かんすう 为:
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}}
如果有 ゆう 函数 かんすう
f
{\displaystyle f}
其自变量不 ふ 是 ぜ 单个实数,而是多 た 于一个元素 げんそ ,例 れい 如:
f
(
x
,
y
)
=
x
2
+
x
y
+
y
2
.
{\displaystyle f(x,y)=x^{2}+xy+y^{2}.\,}
这时可 か 以把其中一 いち 个元素 げんそ (比 ひ 如
x
{\displaystyle x}
)看 み 做参数 すう ,那 な 么
f
{\displaystyle f}
可 か 以看做是关于另一个元素的参数函数:
f
(
x
,
y
)
=
f
x
(
y
)
=
x
2
+
x
y
+
y
2
.
{\displaystyle f(x,y)=f_{x}(y)=x^{2}+xy+y^{2}.\,}
也就是 ぜ 说,对于某 ぼう 个确定 じょう 的 てき
x
{\displaystyle x}
,函数 かんすう
f
x
{\displaystyle f_{x}}
就是一 いち 个关于
y
{\displaystyle y}
的 てき 函数 かんすう 。在 ざい
x
=
a
{\displaystyle x=a}
固定 こてい 的 てき 情 じょう 况下,可 か 以计算 さん 这个函数 かんすう
f
x
{\displaystyle f_{x}}
关于
y
{\displaystyle y}
的 てき 导数。
f
a
′
(
y
)
=
a
+
2
y
{\displaystyle f_{a}'(y)=a+2y\,}
这个表 ひょう 达式对于所有 しょゆう 的 てき
a
{\displaystyle a}
都 と 对。这种导数称 しょう 为偏导数,一般 いっぱん 记作:
∂
f
∂
y
(
x
,
y
)
=
x
+
2
y
{\displaystyle {\frac {\partial f}{\partial y}}(x,y)=x+2y}
这里的 てき 符号 ふごう ∂ 是 ぜ 字母 じぼ
d
{\displaystyle d}
的 てき 圆体变体,一般 いっぱん 读作
δ でるた
{\displaystyle \delta }
的 てき 首 くび 音 おん 节或读“偏 へん ”,以便与 あずか
d
{\displaystyle d}
区 く 别。
更 さら 一般地来说,一 いち 个多元 もと 函数 かんすう
f
(
x
1
,
x
2
,
⋯
,
x
n
)
{\displaystyle f\left(x_{1},x_{2},\cdots ,x_{n}\right)}
在 ざい 点 てん
(
a
1
,
a
2
,
⋯
,
a
n
)
{\displaystyle \left(a_{1},a_{2},\cdots ,a_{n}\right)}
处对
x
i
{\displaystyle x_{i}}
的 てき 偏 へん 导数定 てい 义为:
∂
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}}.}
上面 うわつら 的 てき 极限中 ちゅう ,除 じょ 了 りょう
x
i
{\displaystyle x_{i}}
外 そと 所有 しょゆう 的 てき 自 じ 变元都 と 是 ぜ 固定 こてい 的 てき ,这就确定了 りょう 一 いち 个一 いち 元 げん 函数 かんすう :
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})}
因 いん 此,按定义有:
d
f
a
1
,
…
,
a
i
−
1
,
a
i
+
1
,
…
,
a
n
d
x
i
(
a
i
)
=
∂
f
∂
x
i
(
a
1
,
…
,
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}).}
偏 へん 导数的 てき 实质仍然是 ぜ 一 いち 元 げん 函数 かんすう 的 てき 导数。[ 22] :56
多 た 变量函数 かんすう 的 てき 一个重要的例子,是 ぜ 从
R
n
{\displaystyle \mathbf {R} ^{n}}
(例 れい 如
R
2
{\displaystyle \mathbf {R} ^{2}}
或 ある
R
3
{\displaystyle \mathbf {R} ^{3}}
)映 うつ 射 い 到 いた
R
{\displaystyle \mathbf {R} }
上 うえ 的 てき 标量值函数 すう
f
(
x
1
,
x
2
,
⋯
,
x
n
)
{\displaystyle f\left(x_{1},x_{2},\cdots ,x_{n}\right)}
。在 ざい 这种情 じょう 况下,
f
{\displaystyle f}
关于每 ごと 一 いち 个变量 りょう
x
i
{\displaystyle x_{i}}
都 みやこ 有 ゆう 偏 へん 导数
∂
f
∂
x
i
{\displaystyle {\frac {\partial f}{\partial x_{i}}}}
。在 ざい 点 てん
x
=
a
{\displaystyle x={\boldsymbol {a}}}
,这些偏 へん 导数定 てい 义了一 いち 个向量 りょう :
∇
f
(
a
)
=
[
∂
f
∂
x
1
(
a
)
,
…
,
∂
f
∂
x
n
(
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]}
。
这个向 むこう 量 りょう 称 しょう 为
f
{\displaystyle f}
在 ざい 点 てん
a
{\displaystyle {\boldsymbol {a}}}
的 てき 梯 はしご 度 ど 。如果
f
{\displaystyle f}
在 ざい 定 てい 义域中 ちゅう 的 てき 每 ごと 一个点都是可微的,那 な 么梯度 ど 便 びん 是 ぜ 一个向量值函数
∇
f
{\displaystyle \nabla f}
,它把点 てん
a
{\displaystyle a}
映 うつ 射 い 到 いた 向 こう 量 りょう
∇
f
(
a
)
{\displaystyle \nabla f(a)}
。这样,梯 はしご 度 ど 便 びん 决定了 りょう 一 いち 个向 むかい 量 りょう 场 。
方向 ほうこう 导数是 ぜ 比 ひ 偏 へん 导数更 さら 加 か 广泛的 てき 概念 がいねん 。导数的 てき 本 ほん 质是函数 かんすう 值增量 ぞうりょう 与 あずか 自 じ 变量增量 ぞうりょう 之 の 比 ひ 的 てき 极限。在 ざい 多元 たげん 函数 かんすう
f
{\displaystyle f}
中 なか ,可 か 以选定 じょう 一 いち 个确定 じょう 的 てき 方向 ほうこう (以这个方向上 こうじょう 的 てき 单位向 むこう 量 りょう
δ でるた
{\displaystyle {\boldsymbol {\delta }}}
表示 ひょうじ ),并考虑函数 すう 在 ざい 这个方 かた 向上 こうじょう 的 てき 增量 ぞうりょう :
f
(
x
0
+
t
δ でるた
)
−
f
(
x
0
)
{\displaystyle f({\boldsymbol {x}}_{0}+t{\boldsymbol {\delta }})-f({\boldsymbol {x}}_{0})}
这个增量 ぞうりょう 为关于
t
{\displaystyle t}
的 てき 一 いち 元 げん 函数 かんすう 。函数 かんすう
f
{\displaystyle f}
的 てき 方向 ほうこう 导数定 てい 义为这个增量 ぞうりょう 与 あずか
t
{\displaystyle t}
的 まと 比 ひ 值在
t
{\displaystyle t}
趋于0时的极限,记为
∂
f
∂
δ でるた
(
x
0
)
{\displaystyle {\frac {\partial f}{\partial {\boldsymbol {\delta }}}}({\boldsymbol {x}}_{0})}
。
∂
f
∂
δ でるた
(
x
0
)
=
lim
t
→
0
f
(
x
0
+
t
δ でるた
)
−
f
(
x
0
)
t
{\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}}}
方向 ほうこう 导数表示 ひょうじ 了 りょう 函数 かんすう 从某点 てん 开始在 ざい 某 ぼう 个方向上 こうじょう 的 てき 变化率 りつ 。[ 22] :55-56
在 ざい
R
n
{\displaystyle \mathbf {R} ^{n}}
中 なか ,如果将 はた 向 こう 量 りょう
δ でるた
{\displaystyle {\boldsymbol {\delta }}}
选为正 せい 规基
(
e
1
,
e
2
,
⋯
,
e
n
)
{\displaystyle \left({\boldsymbol {e}}_{1},{\boldsymbol {e}}_{2},\cdots ,{\boldsymbol {e}}_{n}\right)}
之 これ 中 ちゅう 的 てき 一 いち 个,如
e
i
{\displaystyle {\boldsymbol {e}}_{i}}
,那 な 么方向 ほうこう 导数就是关于
x
i
{\displaystyle {\boldsymbol {x}}_{i}}
的 てき 偏 へん 导数。[ 22] :55-56
导数的 てき 概念 がいねん 建立 こんりゅう 在 ざい 变量为实数 すう 之 の 上 うえ ,但 ただし 也可以推广到更 さら 加 か 广泛的 てき 意 い 义上。推广的 てき 导数 すう 本 ほん 质上仍旧是 ぜ 函数 かんすう 在 ざい 局部 きょくぶ 一点上的线性逼近。
对于变量为复数 すう 的 てき 函数 かんすう ,也可以定义导数 すう 的 てき 概念 がいねん 。假 かり 设有复变函数 かんすう
f
:
Ω おめが
∈
C
→
C
{\displaystyle f:\Omega \in \mathbb {C} \to \mathbb {C} }
。如果
f
{\displaystyle f}
在 ざい 某 ぼう 一 いち 点 てん
z
0
{\displaystyle z_{0}}
及附近 ふきん 有定 ありさだ 义,并且极限:
lim
z
→
z
0
f
(
z
)
−
f
(
z
0
)
z
−
z
0
{\displaystyle \lim _{z\to z_{0}}{\frac {f(z)-f(z_{0})}{z-z_{0}}}}
存在 そんざい ,那 な 么就说函数 すう
f
{\displaystyle f}
在 ざい
z
0
{\displaystyle z_{0}}
可 か 导。其中
z
→
z
0
{\displaystyle z\to z_{0}}
表示 ひょうじ
z
−
z
0
{\displaystyle z-z_{0}}
的 てき 模 かたぎ 长 趋向于0。如果将 はた 复变量 りょう
z
{\displaystyle z}
视作
x
+
i
y
{\displaystyle x+iy}
,那 な 么
f
{\displaystyle f}
可 か 以视作 さく 一 いち 个
R
2
{\displaystyle \mathbb {R} ^{2}}
上 うえ 的 てき 函数 かんすう 。如果作 さく 为复变函数 すう 的 てき
f
{\displaystyle f}
可 か 导,那 な 么作为
R
2
{\displaystyle \mathbb {R} ^{2}}
上 うえ 函数 かんすう 的 てき
f
{\displaystyle f}
的 てき 偏 へん 导数也 かずや 存在 そんざい ,但 ただし 反 はん 之 これ 则不然 しか 。只 ただ 有 ゆう 当 とう 柯西-黎 はじむ 曼条件 じょうけん 满足的 てき 时候才能 さいのう 保 ほ 证复变函数 すう 的 てき 复可导性[ 23] 。
在 ざい 分布 ぶんぷ 理 り 论里 さと ,弱 じゃく 微分 びぶん 的 てき 概念 がいねん 使 し 得 とく 对更多 た 严格意 い 义上无法求 もとめ 导的函数 かんすう 也可以定义导函数 かんすう 。设
u
{\displaystyle u}
是 ぜ 一个局部勒贝格可积(比 ひ 如说在 ざい
L
l
o
c
1
(
R
)
{\displaystyle L_{loc}^{1}(\mathbb {R} )\ }
中 なか )的 てき 函数 かんすう ,称 しょう
v
∈
L
l
o
c
1
(
R
)
{\displaystyle v\in L_{loc}^{1}(\mathbb {R} )}
是 これ
u
{\displaystyle u}
的 てき 一 いち 个弱微分 びぶん ,如果对所有 しょゆう 的 てき 测试函数 かんすう
φ ふぁい
{\displaystyle \varphi }
,都 みやこ 有 ゆう :
∫
R
u
(
t
)
φ ふぁい
′
(
t
)
d
t
=
−
∫
R
v
(
t
)
φ ふぁい
(
t
)
d
t
{\displaystyle \int _{\mathbb {R} }u(t)\varphi '(t)dt=-\int _{\mathbb {R} }v(t)\varphi (t)dt}
成立 せいりつ 。其中测试函数 かんすう 是 ぜ 指 ゆび 紧支撑 的 てき 光 ひかり 滑 すべり 函数 かんすう [ 24] 。弱 じゃく 微分 びぶん 包括 ほうかつ 了 りょう 强 きょう 微分 びぶん ,也就是 ぜ 通常 つうじょう 意 い 义上的 てき 导数。
过
x
0
{\displaystyle x_{0}}
的 てき 直 ちょく 线(红)在 ざい 函数 かんすう (蓝)下方 かほう ,它的斜 はす 率 りつ 是 ぜ 函数 かんすう 的 てき 次 つぎ 导数
在 ざい 凸 とつ 分析 ぶんせき ,也就是 ぜ 对凸 とつ 函数 かんすう 的 てき 研究 けんきゅう 中 ちゅう ,可 か 以定义凸函数 かんすう 的 てき 次 つぎ 导数。次 つぎ 导数的 てき 概念 がいねん 是 ぜ 导数的 てき 几何意 い 义的推广。由 よし 于函数 すう 是 ぜ 凸 とつ 的 てき ,过它的 てき 图像上 うえ 每 ごと 一点总可以作一条直线,使 つかい 得 とく 函数 かんすう 的 てき 图像在 ざい 直 ちょく 线上方 かた 。这种直線 ちょくせん 的 てき 斜 はす 率 りつ 称 しょう 为函数 すう 在 ざい 这点的 てき 次 つぎ 导数。如果函数 かんすう 在 ざい 某 ぼう 点 てん 可 か 导,那 な 么次导数只 ただ 有 ゆう 一 いち 个,等 とう 于其导数。如果函数 かんすう 像 ぞう 绝对值函数 すう 一样在零点有突然的转折,那 な 么次导数可能 かのう 不 ふ 止 とめ 一 いち 个。比 ひ 如过零 れい 点 てん 而斜率 りつ 在 ざい
(
−
1
,
1
)
{\displaystyle (-1,1)}
之 これ 间的直 ちょく 线都在 ざい 绝对值函数 すう 下方 かほう ,因 いん 此
(
−
1
,
1
)
{\displaystyle (-1,1)}
之 これ 间的每 ごと 个数都 と 是 ぜ 绝对值函数 すう 在 ざい 零 れい 点 てん 的 てき 次 つぎ 导数。[ 25]
早 はや 在 ざい 十 じゅう 九 きゅう 世 せい 纪,在 ざい 数学 すうがく 家 か 明 あきら 确了求 もとめ 导与积分的 てき 互逆关系以后,就出现了负阶次 じ 导数的 てき 记号:
D
−
n
=
∫
n
{\displaystyle D^{-n}=\int ^{n}}
(表示 ひょうじ 求 もとめ n次 じ 积分)[ 9] :208 。而非整数 せいすう 阶导数 すう 的 てき 概念 がいねん 则进一步将其推广。比 ひ 如,半 はん 微分 びぶん 算 さん 子 こ
H
=
D
1
2
{\displaystyle H=D^{\frac {1}{2}}}
表示 ひょうじ 其作用 よう 于函数 すう 上 じょう 两次以后的 てき 效果 こうか 将 しょう 等 とう 于一 いち 次 じ 求 もとめ 导:
H
2
(
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
<
1
{\displaystyle 0<s<1}
,函数 かんすう
f
{\displaystyle f}
的 てき s阶积分 ぶん 为:
D
t
−
s
f
(
t
)
=
1
Γ がんま
(
s
)
∫
a
t
(
t
−
u
)
s
−
1
f
(
u
)
d
(
u
)
{\displaystyle D_{t}^{-s}f(t)={\frac {1}{\Gamma (s)}}\int _{a}^{t}(t-u)^{s-1}f(u)d(u)}
而对
n
−
1
<
β べーた
<
n
{\displaystyle n-1<\beta <n}
,函数 かんすう
f
{\displaystyle f}
的 てき
β べーた
{\displaystyle \beta }
阶导数 すう 为:
D
t
β べーた
f
(
t
)
=
d
n
d
t
n
[
D
t
−
n
−
β べーた
f
(
t
)
]
{\displaystyle D_{t}^{\beta }f(t)={\frac {d^{n}}{dt^{n}}}\left[D_{t}^{-n-\beta }f(t)\right]}
[ 26] [ 27]
加 か 托 たく 导数和 わ 弗 どる 雷 かみなり 歇导数 すう [ 编辑 ]
方向 ほうこう 导数在 ざい 无穷维向量 りょう 空 そら 间如巴 ともえ 拿赫空 そら 间和 わ 弗 どる 雷 かみなり 歇空间上 うえ 可 か 以推广为加 か 托 たく 导数和 わ 弗 どる 雷 かみなり 歇导数 すう 。二者都经常用于形式化泛函导数 的 てき 概念 がいねん ,常 つね 见于物理 ぶつり 学 がく ,特 とく 别是量子 りょうし 场论[ 28] 。
微分 びぶん 代数 だいすう 中有 ちゅうう 导子的 てき 概念 がいねん 。导子是 ぜ 具 ぐ 备了微分 びぶん 算 さん 子 こ 的 てき 某 ぼう 些特征 せい 的 てき 运算子 こ ,例 れい 如向量 りょう 场的李 り 导数 ,或 ある 非 ひ 交换代数 だいすう 中 ちゅう 的 てき 交换子 こ [ 29] 。给定一 いち 个环或 ある 域 いき
R
{\displaystyle \mathbf {R} }
上 うえ 的 てき 一 いち 个代数 すう
A
{\displaystyle {\mathcal {A}}}
,
A
{\displaystyle {\mathcal {A}}}
上 うえ 的 てき 一 いち 个
R
{\displaystyle \mathbf {R} }
-导子
δ でるた
{\displaystyle \delta }
是 ぜ 一 いち 个从
A
{\displaystyle {\mathcal {A}}}
射 い 到 いた 自身 じしん 的 てき
R
{\displaystyle \mathbf {R} }
-线性映 うつ 射 い (线性自 じ 同 どう 态),并满足 あし 导数的 てき 乘 じょう 积法则:
δ でるた
(
a
b
)
=
(
δ でるた
a
)
b
+
a
(
δ でるた
b
)
{\displaystyle \delta (ab)=(\delta a)b+a(\delta b)}
所有 しょゆう
R
{\displaystyle \mathbf {R} }
-导子构成了 りょう
A
{\displaystyle {\mathcal {A}}}
上 うえ 线性自 じ 同 どう 态集
End
A
{\displaystyle \operatorname {End} {\mathcal {A}}}
的 てき 子 こ 空 そら 间[ 30] 。
物理 ぶつり 学 がく 、几何学 がく 、工程 こうてい 科学 かがく 、经济学 がく 等 とう 学科 がっか 中 ちゅう 的 てき 一些重要概念都可以用导数来表示。如,导数可 か 以表示 ひょうじ 运动物体 ぶったい 的 てき 瞬 まどか 时速度 そくど 和 わ 加速度 かそくど ,也可以表示 ひょうじ 曲 きょく 线在一 いち 点 てん 的 てき 斜 はす 率 りつ 。
经济学 がく 中 ちゅう ,所 しょ 谓边际 和 わ 弹性 的 てき 概念 がいねん 与 あずか 导数紧密相 しょう 关。比 ひ 如边际成本 ほん 就是产量增加 ぞうか 一个单位所带来的成本的增加,若 わか 將 しょう 其連續 れんぞく 化 か ,得 え 到 いた 的 てき 便 びん 是 ぜ 成本 なりもと 函数 かんすう 的 てき 导数。又 また 如需求 的 てき 弹性是 ぜ 指 ゆび 价格变化一 いち 个单位 い 时,需求量的 りょうてき 变化,連續 れんぞく 化 か 後 ご 相應 そうおう 的 てき 也是需求函数 かんすう 关于价格的 てき 导数。[ 31]
^ 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.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 .
^ 朝 あさ 嵩 かさ 金 きん , 正敏 まさとし 段 だん , 汉明王 おう . 《线性代数 だいすう 》. 清 きよし 华大学 がく 出版 しゅっぱん 社 しゃ . 2006. ISBN 7-302-12350-0 .
^ 梁 はり 子 こ 杰. 「可 か 微 ほろ 」還 かえ 是 ぜ 「可 か 導 しるべ 」? (PDF) . 數學 すうがく 教育 きょういく . [永久 えいきゅう 失效 しっこう 連結 れんけつ ]
^ 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.0 6.1 6.2 6.3 6.4 6.5 6.6 (中 ちゅう 文 ぶん ) 莫里斯·克 かつ 莱因 . 《古今 ここん 数学 すうがく 思想 しそう 》第 だい 二 に 卷 かん . 由 よし 张理京 きょう 、张锦炎 えん 、江 こう 泽涵翻 こぼし 译. 上海 しゃんはい 科学 かがく 技 わざ 术出版 しゅっぱん 社 しゃ . 2002. ISBN 7-5323-6172-1 .
^ (英文 えいぶん ) W. W. Rouse Ball. Isaac Barrow . [2011-02-10 ] . (原始 げんし 内容 ないよう 存 そん 档 于2012-05-03).
^ 8.0 8.1 (中 ちゅう 文 ぶん ) 莫里斯·克 かつ 莱因 . 《古今 ここん 数学 すうがく 思想 しそう 》第 だい 四 よん 卷 かん . 由 よし 张理京 きょう 、张锦炎 えん 、江 こう 泽涵翻 こぼし 译. 上海 しゃんはい 科学 かがく 技 わざ 术出版 しゅっぱん 社 しゃ . 2002. ISBN 7-5323-6172-1 .
^ 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.0 10.1 Stewart, James. Calculus: Early Transcendentals 6th. Brooks/Cole . 2008. ISBN 0-495-01166-5 .
^ 11.0 11.1 11.2 Mary Barnes. More about Functions and Differentiation. Curriculum Press. 1993. 第 だい 40-43页
^ (英文 えいぶん ) The Notation of Differentiation . 1998-08-24 [2011-02-10 ] . (原始 げんし 内容 ないよう 存 そん 档 于2017-12-05).
^ 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 .
^ 22.0 22.1 22.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 ] . (原始 げんし 内容 ないよう 存 そん 档 (PDF) 于2013-10-20).
^ 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,改 あらため 寫 うつし 自 じ 同 どう 作者 さくしゃ 的 てき 《微積分 びせきぶん 講義 こうぎ 》. [2011-02-10 ] . (原始 げんし 内容 ないよう 存 そん 档 于2020-12-21).