跳转到内容

微积分/定积分

来自维基教科书,开放的书籍,为开放的世界
← 积分/目录 微积分 微积分基本定理 →
定积分

假设我们给定一个函数,想要确定其图形在一个区间上的面积。我们可以猜想,但如何计算出确切的面积呢?下面,通过一些巧妙的思路,我们实际上 *定义* 这种面积,并表明通过使用所谓的 **定积分**,我们可以确切地确定曲线下的面积。

定积分的定义

[编辑 | 编辑源代码]
图 1: 下的曲线面积的近似值。
图 2: 从 下的曲线面积的近似矩形,采样点为

定义 图形下的面积的粗略思路是用有限个矩形来近似这个面积。由于我们可以很容易地计算出矩形的面积,因此我们得到了图形下面积的估计。如果我们使用更多更小的矩形,我们预计图形下曲线的面积会更精确,从而得到更好的近似值。在某种程度上,似乎我们可以使用我们从微分中熟悉的极限,并使用 “无限个” 矩形来得到确切的面积。让我们更详细地研究一下这样的想法。

假设我们有一个在区间 上为正的函数 ,我们想找到 之间的面积 。让我们选择一个整数 ,并将区间分成 个宽度相等的子区间(参见图 1)。由于区间 的宽度为 ,每个子区间的宽度为 。我们用 表示子区间的端点。这给了我们

图 3:黎曼和随着细分的增加,产生了更好的近似值。

现在,对于每个 ,选择区间 内的一个 *采样点* ,并考虑以 为高, 为宽的矩形(参见 图 2)。这个矩形的面积是 。通过将所有 的矩形面积加起来,我们得到面积 的近似值。

使用 求和符号 来表达会更加方便。

对于每个数 ,我们得到一个不同的近似值。当 越来越大时,矩形的宽度越来越小,从而产生更好的近似值(参见 图 3)。当 随着 趋于无穷大时,我们得到面积

定积分的定义
假设 上的连续函数,并且 。那么 之间的**定积分**是

其中 是区间 中的任意采样点,并且 对于

事实上,如果 上是连续的,那么这个极限总是存在的,并且不依赖于点 的选择。例如,它们可以均匀分布,也可以在区间内以任意方式分布。这个证明是技术性的,超出了本节的范围。

符号
在考虑表达式 (读作“从 关于 的积分 )时,函数 被称为被积函数,区间 为积分区间。同时 称为积分下限, 称为积分上限。

图 4:积分表示图形下的有符号面积。

这个定义的一个重要特征是,我们也允许函数取负值。如果对于所有 ,有 ,则 ,因此 。因此, 的定积分将是严格负数。更一般地,如果 同时取正值和负值,那么 将是 图形正部分下的面积 **减去** 图形负部分之上的面积(参见 图 4)。因此,我们称 是图形下的 **有符号面积**。

变量的独立性

[编辑 | 编辑源代码]

需要注意的是,变量 在积分定义中并没有扮演重要的角色。事实上,我们可以用任何其他字母来代替它,所以以下都是相等的

每一个都是 图像在 之间的有符号面积。这种变量通常被称为 哑变量约束变量

左和右黎曼和

[edit | edit source]
图 5:右黎曼和
图 6:左黎曼和

以下方法有时被称为 L-RAM 和 R-RAM,RAM 代表“矩形逼近法”。

我们本可以决定选择所有的样本点 在区间 的右侧(见 图 5)。然后 对于所有的 ,我们称之为 的面积逼近就变成了

这被称为 右黎曼和,而积分就是它的极限

或者,我们可以把每个样本点都放在区间的左侧。在这种情况下 (见 图 6),逼近就变成了

那么 的积分是

关键是,只要 是连续的,这两个定义得到的积分结果相同。

例子

[edit | edit source]

例子 1
在这个例子中,我们将计算由 图像所确定的曲线在 为 0 到 1 之间的曲线下的面积。首先,我们固定一个整数 ,并将区间 分成 个宽度相等的子区间。因此,每个子区间的宽度为

为了计算积分,我们将使用右端黎曼和。(我们也可以使用左端和,最终结果相同)。对于右端和,样本点为

请注意 。将此代入近似公式,得到

现在我们使用 公式

得到

为了计算 之间的积分,我们取 趋于无穷大的极限,

例2
接下来我们将展示如何找到函数 之间的积分。这次区间 的宽度为,所以

我们再次使用右黎曼和。所以我们选择的样本点是

因此

我们需要计算这个等式右边每一部分的值。对于前两部分,

对于第三个求和,我们需要使用一个公式

得到

将它们组合起来

趋于无穷大时,极限为

1. 使用 5 个子区间上的左、右手黎曼和,求函数 区域的上下界。
下界:
上界:
下界:
上界:
2. 使用 5 个子区间上的左、右手黎曼和,求函数 区域的上下界。
下界:
上界:
下界:
上界:

解答

积分的基本性质

[编辑 | 编辑源代码]

从积分的定义中,我们可以推导出一些基本性质。对于所有以下规则,假设 上是连续的。

常数规则

[编辑 | 编辑源代码]

常数规则

为正数时,函数 在点 处的函数高度是函数 处的函数高度的 倍。因此, 之间的面积是 之间面积的 倍。我们也可以使用积分的定义,利用极限的常数规则来证明,

示例

我们在上一节中看到了

使用常数规则,我们可以用它来计算

,
.

示例

我们在上一节中看到了

我们可以使用这个和常数规则来计算

该规则有一个用于积分常数的特殊情况。

积分常数
如果 是常数,则

时,该积分是一个高度为 ,宽度为 的矩形的面积,等于

示例

加减法规则

[edit | edit source]

积分的加减法规则

与常数规则一样,加法规则遵循极限的加法规则。

减法规则可以用类似的方法证明。

示例

从上面的例子中可以看出, 以及 所以

示例

3. 利用减法规则求出 之间的图形面积。

解答

比较规则

[编辑 | 编辑源代码]
图 7: 对 上的面积进行边界划分

比较规则

  • 假设对所有 。那么
  • 假设对所有 。那么
  • 假设对所有 。那么

如果 ,则计算 积分的黎曼和中的每个矩形都将在 轴上方,因此面积将是非负的。如果 ,则 ,根据第一个性质,我们得到第二个性质。最后,如果 ,则 图像下的面积将大于高度为 的矩形的面积,小于高度为 的矩形的面积(参见 图 7)。所以

关于端点的线性

[编辑 | 编辑源代码]

关于端点的可加性 假设 。则

再次假设 为正。那么这个性质应该被理解为: 图像在 之间的面积等于 之间的面积加上 之间的面积(参见 图 8)。

图 8:关于端点的可加性性质的说明

关于积分限的可加性的扩展
时,我们有 所以

此外,在定义积分时,我们假设了 。但是,这个定义在 时也有意义,在这种情况下, 的符号发生了变化。这使得

有了这些定义,

无论 的顺序如何。

4. 使用练习 1 和 2 的结果以及关于端点的线性性质来确定 的上限和下限。
下限:
上限:
下限:
上限:

解答

偶函数和奇函数

[编辑 | 编辑源代码]

回想一下,如果函数 满足 ,则称其为奇函数;如果满足 ,则称其为偶函数。

假设 是一个连续的奇函数,那么对于任意

如果 是一个连续的偶函数,那么对于任意

假设 是一个奇函数,首先考虑从 的积分。我们进行替换 ,因此 。请注意,如果 ,那么 ;如果 ,那么 。因此

.

由于 是奇函数,,因此积分变为

.

现在我们可以用任何其他变量替换哑变量 。因此,我们可以用字母 替换它,得到

.

现在我们将积分分成两部分

.

偶函数公式的证明类似。

5. 证明如果 是一个连续的偶函数,那么对于任何
.
根据端点的线性性质,我们有

进行替换 。当 时,,而当 时,。然后

其中最后一步利用了 的偶函数性质。由于 只是一个哑元,我们可以用 来替换它。然后

根据端点的线性性质,我们有

进行替换 。当 时,,而当 时,。然后

其中最后一步利用了 的偶函数性质。由于 只是一个哑元,我们可以用 来替换它。然后

← 积分/目录 微积分 微积分基本定理 →
定积分
华夏公益教科书