13. 导数的定义与计算

函数和映射的微分学

定义 13.1. 假设 是定义在区间 上的实值函数, 是一个给定的点. 如果极限存在, 我们就称 可导或者可微 (可微分) 并用用 记这个极限. 如果 在任意 处都可微, 我们就说 上的可微函数. 进一步, 如果 , 我们就说 连续可微的并且将所有 上连续可微的函数记作 .

当导数存在时, 我们也用下面的极限来写导数:

注记. 我们注意到, 如果 处可微, 那么 处连续: 因为但是, 并不是连续的函数都可微分, 比如说函数 : 在 处, 当 时, 时, 我们有这说明 不存在. 直观上, 连续但是不可微的东西有 “尖儿”.

例子. 根据定义, 我们可以计算如下两个函数的导数:

1)

, 其中 为常数. 那么, .

2)

. 那么, .

练习. 标准的微积分教材都有左导数和右导数的概念, 请 “望文生义” 地定义它们. 进一步证明, 处的导数存在当且仅当 处的左右导数都存在并且相等.

注记 (多重导数与记号). 假设 是可微函数并且其 也可微, 我们就可以继续计算 的导数 . (如果可能的话) 我们可以重复这个过程来求 -次导数 . 习惯上, 人们用符号 表示 -次导数而两次或三次导数经常记作 .

另外, 如果 上可微分, 也用 来表示 . 这种写法的好处是我们可以用算子/映射的观点来写微分, 一如之前对函数所强调的. 比方说, 我们有如下的映射 (算子: 把函数映射为函数/数的映射) :

我们还用 来表示 , 即用算子 表示求了 -次导数. 如果要强调 在一个点 处的值, 更标准的记号是 . 比方说, . 如果 可以在区间 上求 次导数并且得到的 也是连续的, 我们就称 -次连续可微的并将这样函数的全体记作 . 记号 的意思很明显: 它代表 上无限次连续可微函数的全体.

我们注意到 , 比如说常数函数 .

注记 (无穷小量与导数). 假设 处可微, 我们令 , 其中 定义在某个区间 上面. 按照导数的定义, 当 时, 有 . 在分析学中, 我们通常说 ( 时的) 无穷小量, 记作 . 从而, 我们经常说 (记) . 在形式上, 人们还用如下的写法: 其中我们暂且认为 . 这都是数学分析中的黑话, 只是为了说话方便或者为了形式上便于记忆. 严格地讲, 我们有其中 .

导数的计算法则

我们首先要解决的问题是导数的计算法则. 由于导数是用极限来定义的, 极限的运算法则可以很容易地翻译成导数的运算法则:

命题 13.2 (四则运算). 假设函数 上有定义并且在 处可微, 那么

1)

处可微并且 .

2)

处可微并且 .

3)

如果 , 那么 处可微并且 . 特别地, 我们有 处可微并且 .

证明. 我们证明相对困难的第三条, 其余的留作作业来验证. 我们有如下的等式: 我们按照连续函数求极限的四则运算法则对 求极限即可.

现在再处理复合函数的导数:

命题 13.3 (链式法则). 上的区间, 是实值函数. 如果 处可微, 处可微, 那么复合函数 处可微, 并且

证明. 按照导数的定义, 我们有其中 . 我们按照导数的定义计算 的导数: 我们只要证明最后一项当 时, 极限为 即可:

根据 , 我们定义 (提醒一下同学们, 尽管函数 点处没有定义, 这并不影响我们研究它在 处的极限) , 那么 , 即 (我们也把 写成 ) . 应用这些记号, 我们有然而, 当 时, , 所以上式的极限是 .

例子: 一些初等函数的导数

根据上面的运算法则, 我们可以计算更多的函数的导 (函) 数. 我们需要熟练记忆如下几个例子的结论和计算技巧. 这些例子 (实质上) 是我们仅有的可以用解析表达式写下来的函数:

1)

, 那么, , 其中 为整数.

时, 根据乘积的导数的计算方法, 我们有据此, 利用归纳法立即得到结论. 当然, 我们也可以直接计算: 时, 我们利用倒数的导数计算即可.

2)

(实数值的函数) , 那么 (这表明指数函数是微分算子 的一个不动点) .

这个问题明显要复杂, 因为 本身就是通过极限/级数来定义的. 我们可以想象一个 “理想” 的计算: 这个计算 (目前) 是不对的, 因为我们不能够随便交换求导数运算和 (无限) 求和运算的顺序. 在导数的研究中, 我们将要想办法让上面的计算成立从而使得大部分直观上应该成立的运算都成立, 这样子我们就可以很舒服地做很多运算. 这是后话.

我们先计算 处的导数: 然而, 所以, . 这表明

函数 处的导数现在就完全由 的代数性质决定了: 这是非常有意义的计算, 因为我们可以借此看到代数结构是如何在计算中起作用的.

3)

的导数, .

为了计算 , 我们自然要研究反函数的可微性质, 因为 就是被定义成反函数, 除此之外, 我们没有关于 的其它信息 (事实上, 关于 的进一步性质也都是通过反函数得来的) . 关于复合函数求导的命题有下面的推论:

推论 13.4. 上的区间, 是实值函数并且它的逆 存在. 假设 是可微函数. 如果 , 那么 处可微分并且

注记. 这个推论事先假设了 存在. 从局部的观点来看, 这个条件可以去掉, 这是微分学中最重要的定理 (之一) : 反函数定理. 我们很快就会学习反函数定理.

另外, 关于复合函数的记法, 我们不推荐 或者 这样的记号 (尽管我们会经常这么写) . 这些记号都应该被理解为函数的复合.

根据命题, 我们显然有 .

我们也可以直接利用定义来计算 :根据 , 上面的式子就给出所要的结论.

4)

, 其中 , 此时 .

按照定义, 是如下函数的复合: 所以, 利用链式法则逐步计算:

5)

, .

根据之前的例子, 我们有三种方式来计算三角函数的导数:

由于 是用级数来定义的, 仿照 的导数计算的讨论, 我们希望能够逐项求导数, 这种做法现在并不严格;

注意到 是通过复数值的函数来定义的 () , 所以我们必须离开实数转而研究在复数 (或者向量空间) 中取值的函数的导数. 然而, 在证明函数的四则运算和复合函数时, 我们并没有用到 的具体性质, 所有的证明对于复数域仍然成立 (我们将会在作业中见到类似的证明) , 所以这些技术都是成立的, 从而:

用定义直接计算. 我们仿照 的情形 (利用三角函数的代数性质) 首先证明 , 然后对 利用和差化积公式来证明一般 的情形. 我们会在作业中按照这种方式来完成证明.