在本章中,我们将介绍微分的概念。微分是微积分中的一种基本工具,你在学习早期数学时应该已经对此有所了解。然而,为什么这是真的,原因并不总是那么清晰。本章证明了微分的一个简单推论,你应该很熟悉 - 也就是说,我们将集中证明每个微分“运算”,它为我们提供了一种简单的方法来找到常见函数的导数。
让我们定义函数的导数。
设
。给定一个函数
,我们说ƒ(x) 在x=a处可微当且仅当
存在。
ƒ 在a处的导数记为 
如果在集合A中的每个a处都存在导数,则称该函数在集合A上可微。如果一个函数在其整个定义域上可微,则称该函数可微。
从我们对导数的定义可以看出,它使用了极限和函数。这个定理将微分与连续性联系起来,这对于证明本章将讨论的许多后续定理很有用。该定理的证明很简单;它需要一个有效的极限收敛于零来模拟连续性的定义。
该定理的证明如下
证明在a处可微的函数在a处连续
可微定义 |
|
假设我们用0乘以两边 |
代数运算 |
|
连续性定义  |
然而,反过来在这种情况下不成立。分析证明,很明显,一个在a处连续的函数并不一定意味着它在a处可微,仅仅是因为它会涉及去除乘以0的操作,而这根据我们的代数公理是不可能的。
根据这个定义,我们将创建新的导数性质。熟悉微积分的人应该注意到,我们正在证明某些函数和运算的导数是有效的。这些第一个定理直接从定义得出。
以下是仅出于完整性而提及的属性列表,以及关于导数公式如何工作的演示。
基本导数列表
常数函数 |
给定  |
恒等函数 |
给定  |
常数函数
假设一个常数函数 ƒ 使得
。这个函数对于任何实数的导数始终为 0。
根据导数定义,我们有
应用函数的定义,我们可以用 c 代替函数,如下所示
恒等函数
假设一个恒等函数 ƒ 使得
。这个函数对于任何实数的导数始终为 1。
根据导数定义,我们有
应用函数的定义,我们可以用它的输入代替函数,如下所示
假设两个函数 f 和 g 在 a 处可微,以下性质适用
代数运算的导数列表
加法 |
|
减法 |
|
乘法 |
|
函数的倍数 |
|
倒数 |
|
除法 |
|
我们将在下面分别证明每一个
加法
这个证明实质上是从构成整体函数的两个函数中创建了微分的定义。
减法
我们不会为减法写出一个严谨的证明,因为我们可以通过想象一个取反的
函数或用减法而不是加法来重新追踪加法的证明,在脑子里完成。
乘法
这个证明与之前的证明类似,只是这个证明需要添加额外的项,这些项在加在一起时会抵消。 这是一个在推导定理时常用的代数技巧,在本节后面的定理中还会继续使用。
常数的乘积
对于这个证明,我们将使用两种不同的方法来呈现它。
第一种方法只需要一个极限定理,即常数的倍数等价于极限乘以常数。
第二种证明需要应用乘积法则和常数函数的微分。
倒数
与之前其他证明一样,这个证明也会在某个点调用定义,将语句简化为简洁、易记的形式。
除法
此证明借鉴了倒数证明和乘积证明,形成一个易于理解的论证。
给定两个函数 f 和 g,使得 f 在
处可微,g 在 a 处可微,则 
证明第一部分
与之前的性质不同,链式法则很快就会变得很麻烦,并且绝对需要一个外部定理才能解决,而不是代数运算。为了说明为什么需要一个新的定理,我们将从代数运算开始证明链式法则,指出障碍,然后创建一个引理来指导我们绕过这个问题,从而找到一个证明。我们从以下陈述开始



问题是
可能在任意接近 x 的点处为零,因此
在这些点处不会连续。因此,我们应用以下一个巧妙的引理
令 
我们说
在
处可微当且仅当存在一个连续函数
使得
证明
(
) 令
在
处可导,并定义函数
使得
当
,并且
很容易看出
是连续的,并且满足所需的条件。
(
) 令
是一个满足
的连续函数。
对于所有
,我们有 
由于
是连续的,所以
,即
,这意味着
在
处可微。
证明第二部分
令
在
处可微。
令
在
处可微。
令函数 f 的定义域为函数 g 的值域的子集。
那么,
在
处可微。

Caratheodory 引理表明存在连续函数
,使得
且 
现在,考虑函数
。显然,
是连续的。
此外,它满足
。因此,根据 Caratheodory 引理,
在
可微,并且
以下是一些练习,可以帮助你扩展和巩固对材料的理解。
- 求以下函数的导数
- 形如ƒ(x) = xn 的函数
- 多项式
- 三角函数
- 指数函数
- 对数函数
- 在本节中,你学习了函数可微意味着该函数在该点连续。鉴于此,请阅读 高阶导数,然后再解决这些问题
- 证明在 a 处的二阶导数是否也在 a 处连续
- 证明在 a 处的 n 阶导数是否也在 a 处连续
- 一些最流行的反例用来说明连续性和可微性的性质,这些函数涉及

- 证明
在
不连续
- 证明函数
在
连续但不可微
- 证明
在
可微