跳转到内容

实分析/微分

来自维基教科书,开放书籍,开放世界
实分析
微分

在本章中,我们将介绍微分的概念。微分是微积分中的一种基本工具,你在学习早期数学时应该已经对此有所了解。然而,为什么这是真的,原因并不总是那么清晰。本章证明了微分的一个简单推论,你应该很熟悉 - 也就是说,我们将集中证明每个微分“运算”,它为我们提供了一种简单的方法来找到常见函数的导数。

让我们定义函数的导数。


。给定一个函数 ,我们说ƒ(x) 在x=a可微当且仅当 存在。

ƒa处的导数记为

如果在集合A中的每个a处都存在导数,则称该函数在集合A上可微。如果一个函数在其整个定义域上可微,则称该函数可微。

定义推出的定理(可微性蕴含连续性)

[编辑 | 编辑源代码]

从我们对导数的定义可以看出,它使用了极限和函数。这个定理将微分与连续性联系起来,这对于证明本章将讨论的许多后续定理很有用。该定理的证明很简单;它需要一个有效的极限收敛于零来模拟连续性的定义。

定理

给定一个在a处可微的函数ƒ,它也在a处连续

该定理的证明如下

证明在a处可微的函数在a处连续
可微定义
假设我们用0乘以两边
代数运算
连续性定义

然而,反过来在这种情况下不成立。分析证明,很明显,一个在a处连续的函数并不一定意味着它在a处可微,仅仅是因为它会涉及去除乘以0的操作,而这根据我们的代数公理是不可能的。

微分的性质

[编辑 | 编辑源代码]

根据这个定义,我们将创建新的导数性质。熟悉微积分的人应该注意到,我们正在证明某些函数和运算的导数是有效的。这些第一个定理直接从定义得出。

基本性质

[编辑 | 编辑源代码]

以下是仅出于完整性而提及的属性列表,以及关于导数公式如何工作的演示。

基本导数列表
常数函数 给定
恒等函数 给定

常数函数

假设一个常数函数 ƒ 使得 。这个函数对于任何实数的导数始终为 0。

根据导数定义,我们有

应用函数的定义,我们可以用 c 代替函数,如下所示

恒等函数

假设一个恒等函数 ƒ 使得 。这个函数对于任何实数的导数始终为 1。

根据导数定义,我们有

应用函数的定义,我们可以用它的输入代替函数,如下所示

代数性质

[编辑 | 编辑源代码]

假设两个函数 f 和 g 在 a 处可微,以下性质适用

代数运算的导数列表
加法
减法
乘法
函数的倍数
倒数
除法

我们将在下面分别证明每一个

加法

这个证明实质上是从构成整体函数的两个函数中创建了微分的定义。

减法

我们不会为减法写出一个严谨的证明,因为我们可以通过想象一个取反的 函数或用减法而不是加法来重新追踪加法的证明,在脑子里完成。

乘法

这个证明与之前的证明类似,只是这个证明需要添加额外的项,这些项在加在一起时会抵消。 这是一个在推导定理时常用的代数技巧,在本节后面的定理中还会继续使用。

常数的乘积

对于这个证明,我们将使用两种不同的方法来呈现它。

第一种方法只需要一个极限定理,即常数的倍数等价于极限乘以常数。

第二种证明需要应用乘积法则和常数函数的微分。

倒数

与之前其他证明一样,这个证明也会在某个点调用定义,将语句简化为简洁、易记的形式。

除法

此证明借鉴了倒数证明和乘积证明,形成一个易于理解的论证。

链式法则(函数复合定理)

[编辑 | 编辑源代码]

给定两个函数 f 和 g,使得 f 在 处可微,g 在 a 处可微,则

证明第一部分

与之前的性质不同,链式法则很快就会变得很麻烦,并且绝对需要一个外部定理才能解决,而不是代数运算。为了说明为什么需要一个新的定理,我们将从代数运算开始证明链式法则,指出障碍,然后创建一个引理来指导我们绕过这个问题,从而找到一个证明。我们从以下陈述开始


问题是 可能在任意接近 x 的点处为零,因此 在这些点处不会连续。因此,我们应用以下一个巧妙的引理

Caratheodory 引理

[编辑 | 编辑源代码]

我们说 处可微当且仅当存在一个连续函数 使得

证明

() 令 处可导,并定义函数 使得

,并且

很容易看出 是连续的,并且满足所需的条件。

() 令 是一个满足 的连续函数。

对于所有 ,我们有

由于 是连续的,所以 ,即

,这意味着 处可微。

证明第二部分

处可微。

处可微。

令函数 f 的定义域为函数 g 的值域的子集。

那么,

  1. 处可微。

Caratheodory 引理表明存在连续函数 ,使得

现在,考虑函数 。显然, 是连续的。

此外,它满足。因此,根据 Caratheodory 引理, 可微,并且

以下是一些练习,可以帮助你扩展和巩固对材料的理解。

  1. 求以下函数的导数
    1. 形如ƒ(x) = xn 的函数
    2. 多项式
    3. 三角函数
    4. 指数函数
    5. 对数函数
  2. 在本节中,你学习了函数可微意味着该函数在该点连续。鉴于此,请阅读 高阶导数,然后再解决这些问题
    1. 证明在 a 处的二阶导数是否也在 a 处连续
    2. 证明在 a 处的 n 阶导数是否也在 a 处连续
  3. 一些最流行的反例用来说明连续性和可微性的性质,这些函数涉及
    1. 证明 不连续
    2. 证明函数 连续但不可微
    3. 证明 可微
华夏公益教科书