设函数
y
=
f
(
x
)
y=f(x)
y=f(x)在某区间内有定义,
x
0
x_0
x0及
x
0
+
Δ
x
x_0+\Delta x
x0+Δx在这区间内
如果函数的增量
Δ
y
=
f
(
x
0
+
Δ
x
)
−
f
(
x
0
)
\Delta y=f(x_0+\Delta x)-f(x_0)
Δy=f(x0+Δx)−f(x0)可表示为
Δ
y
=
A
Δ
x
+
o
(
Δ
x
)
,
\Delta y=A\Delta x+o(\Delta x),
Δy=AΔx+o(Δx),其中
A
A
A是不依赖于
Δ
x
\Delta x
Δx的常数
那么称函数
y
=
f
(
x
)
y=f(x)
y=f(x)在点
x
0
x_0
x0是可微的,而
A
Δ
x
A\Delta x
AΔx叫做函数
y
=
f
(
x
)
y=f(x)
y=f(x)在点
x
0
x_0
x0相应于自变量增量
Δ
x
\Delta x
Δx的微分,记作
d
y
dy
dy,即
d
y
=
A
Δ
x
dy=A\Delta x
dy=AΔx
微分的几何意义是在局部范围内用线性函数近似代替非线性函数,在几何上就是用切线段近似代替曲线段,这在数学上称为非线性函数的局部线性化
由函数微分的表达式 d y = f ′ ( x ) d x dy=f'(x)dx dy=f′(x)dx可以看出,要计算函数的微分,只要计算函数的导数再乘上自变量的微分,因此基本初等函数的微分公式以及微分运算法则与导数相应内容类似