16. 空间填充曲线, L’Hôpital 法则, Taylor 展开

空间填充曲线

利用一致收敛的想法, 我们可以构造一个很有趣的 (很重要的反例) 例子: 令 , , 我们按照如下的图像来定义映射

MathAnalysis N17P1.svg
我们对每一个小的正方形根据箭头的方向构造同样的映射, 以中间这个灰色的为例子, 我们要把刚才第一个图中的格子转 , 这样得到下面的图像:
MathAnalysis N17P2.svg
其中, 我们把 这个线段映射为图中所画的 9 段折线, 折线走的方向如第二个图所示. 这样子, 我们把 分成了 个格子, 并且构造出一条 段的折线:
MathAnalysis N17P3.svg
上面这个图对应着映射: 重复上面的操作, 我们就得到了一串连续映射: 其中 , 并且这是一个 段的折线. 按照这些映射的构造方式, 我们知道, 对任意的 , 对任意的 , 都是对 的每个边长为 的方块里面进行修改, 特别地, 对任意的 , 我们就知道 都落在同一个边长为 的方块里, 所以这表明 中的 Cauchy 列, 从而存在连续映射使得 . 根据 的构造, 对任意的 , 一定落在 所对应的 个小方块中的某一个, 所以有 , 使得 的距离不超过 , 据此, 我们知道 的像 是稠密的. 由于 是紧集, 所以它在连续映射下的像是紧的, 从而是闭的, 再用稠密性, 我们就知道 . 最终, 我们得到连续的满射:

L’Hôpital 法则

我们回到导数的学习, 上次课证明了 Cauchy 中值定理: 实值函数 并且 均在 上可微, 若对任意的 , . 那么, 存在 , 使得

Cauchy 中值定理的重要应用是用来证明 L’Hôpital 法则:

命题 16.1 (L’Hôpital 法则). 假设 是区间 上的可微实值函数, 我们假设 , 即我们假设对任意的 , . 如果极限 存在 (可以是 ) , 那么

证明. 根据 , 我们知道对任意的 , 在区间 上连续并且在 上可微. 所以, 利用 Cauchy 中值定理, 存在 , 使得特别地, 当 时, 由于 , 所以 . 对上面的式子取极限, 我们就得到: 命题得证.

我们还有一个版本 L’Hôpital 法则:

推论 16.2 (L’Hôpital 法则). 实值函数 在区间 上可微并且假设对任意的 , . 如果极限 存在 (可以是 ) , 那么我们有

证明. 不妨假设 , 考虑坐标变换: 从而, 上的函数, 即 ; 类似地, 我们定义 上的函数 是. 由于 等价于 , 所以此时, 我们有所以, 根据前一版本的 L’Hôpital 法则, 我们有这就证明了命题.

推论 16.3. 是整数, 是区间 -次可微的实值函数. 假设对任意的 , 都有并且极限 存在 (可以是 ) . 如果对 , , 那么

证明. 我们 用归纳法就立即得到了证明, 但是每次都要检验导数不为零的条件: 由于 , 根据 Darboux 介值定理, 恒正或者恒负, 所以函数严格单调. 由于 , 所以 恒为正或者恒为负. 以此类推, 所有导数都非零.

我们还有其它两个类型的 L’Hôpital 法则:

推论 16.4 (L’Hôpital 法则). 假设 是区间 上的可微实值函数, 我们假设我们假设对任意的 , . 如果极限 存在 (可以是 ) , 那么

推论 16.5 (L’Hôpital 法则). 实值函数 在区间 上可微并且假设对任意的 , . 如果极限 存在 (可以是 ) , 那么我们有

这两个推论的证明我们留成本次作业.

L’Hôpital 法则可以用来计算极限:

例子. 我们举几个例子:

1)

计算 :

2)

计算 :

3)

证明 :

4)

计算 .

第一次运用 L’Hôpital 法则, 我们就会有再用一次就得到所以一直不会停止. 对于这个例子 L’Hôpital 法则并不好用.

5)

计算 . 如果我们不检验 处是否是零而直接运用 L’Hôpital 法则, 我们就会有这个结论自然是错误的!

Taylor 展开

L’Hôpital 法则只是一种计算极限的方法, 它之所以有用 (更多是做习题的时候) 主要因为它可以把求极限这种分析上的操作转化为求导数的问题, 而求导数的操作一般而言都是代数操作 (因为我们可以背过很多导数) . 然而, 对于微积分的学习, 这个法则似乎无关主旨, 我们应该尽量早的学习 Taylor 展开的技术, 这才是真正要紧的东西:

定理 16.6 (Taylor 展开公式: 用多项式逼近). 我们给出 Taylor 展开的三种不同余项的叙述:

1)

Peano 余项. 假设函数 (或者 ) 在 处的一直到 -次导数 都存在. 那么, 当 时, 我们有

2)

Lagrange 余项. 假设函数 (在 中取值) , 特别地, 处的 -次导数 , , 都存在. 如果 次可导. 那么, 我们有其中 , 决定 (未必唯一) .

2)

Cauchy 余项. 假设函数 (在 中取值) , 特别地, 处的 -次导数 , , 都存在. 如果 次可导. 那么, 我们有其中 , 决定 (未必唯一) .

注记. Peano 余项的公式只在 的附近成立, 而 Lagrange 和 Taylor 的情况是整体的公式.

我们注意到当 时, Peano 余项的公式就是导数的定义.

时, Lagrange 余项的公式就是 Lagrange 中值定理.

另外, 如果要求 -次连续可微的并且 次导数存在, 那么 Lagrange 余项 (或者 Taylor 余项) 的公式成立, 此时, 根据连续性, Peano 余项的公式明显成立.

证明.

1)

Peano 余项公式等价于证明我们利用 L’Hôpital 法则逐次求导数 (容易验证该法则所要求的条件) : 最后一步是利用导数的定义.

2)

视作是固定的, 我们定义我们对 求导数得到: 所以,现在考虑另一个关于 的函数 (定义在 上) : 很明显, 上不是零. 根据 Cauchy 中值定理, 存在 , 使得整理即得 Lagrange 余项的公式.

3)

为了证明 Cauchy 余项的公式, 我们同样考虑上述的 , 但是我们将选取一个不同的 : 很明显, 上不是零. 根据 Cauchy 中值定理, 存在 , 使得整理即得 Cauchy 余项的公式.

上面 Lagrange 余项的证明很有技巧性, (我) 很难理解. 如果有了积分作工具, 我们可以给出一个最自然的证明. 我们现在给出另一个证明: 我们知道, 当 时 Lagrange 余项的公式是 Lagrange 中值定理, 我们下面利用中值定理证明的方法, 来给出一个相对自然的 (容易记住) 证明. 为此, 首先推广 Rolle 定理到高阶导数的情形:

引理 16.7. 假设 并且在 次可导. 如果 处的 -次导数全为零, 即 并且 , 那么存在 , 使得 .

证明. 我们只要不停地用 Rolle 中值定理即可: 由于 , 根据 Rolle 中值定理, 存在 , 使得 ; 由于 , 再用 Rolle 中值定理, 我们就找到 , 使得 ; 如此下去, 我们得到 . 最后一步, 就得到了 . 选取 即可.

我们仿照 Lagrange 中值定理的证明: 先构造多项式 , 使得 , , , , 比如, 我们取

练习. 证明, 如果多项式 的次数 , 那么满足上面条件的多项式是唯一的.

为了应用高阶导数的 Rolle 定理, 我们对 略加改造: 选取 (存在且唯一) , 使得 , 其中 , . 我们现在考虑函数 , 它满足高阶导数 Rolle 定理的条件, 所以存在 , 使得利用 的表达式, 我们得到如果改写为 , , 这就是 Lagrange 余项的 Taylor 公式.

注记. 满足 Peano 余项的 Taylor 展开公式是唯一的, 即若假设函数 (或者 ) 在 处的一直到 -次导数 都存在. 那么, 如果存在次数不超过 的多项式 , 使得当 时, 我们有那么, , 实际上按照 Peano 余项的 Taylor 展开公式, 我们必然有由于 , 所以 .

由此可见, 如果限定的多项式的次数 , 那么 是在 附近对 最佳的逼近.

例子. 我们有两个比较极端的例子:

1)

正弦函数 : 我们可以在 处计算其导数 (偶数次的导数都是零) , 从而得到它的 Peano 展开为: 这和 的解析表达式之间似乎是一致的 (我们暂时不研究这一点) .

2)

我们考虑如下的函数那么函数在 点处的所有导数都是 , 从而对任意的 , 当然, 不是零.