微积分-积分4.2（定积分）

我们在4.1节中看到，以下形式的极限

$$\underset{n\to \infty }{\lim }\sum _{i=1}^{n}f(x_i^{\ast })\Delta x=\underset{n\to \infty }{\lim }[f(x_1^{\ast })\Delta x+f(x_2^{\ast })\Delta x+\cdots +f(x_n^{\ast })\Delta x]$$

在计算面积时会出现。我们还看到，当我们尝试寻找物体所走距离时，这种形式的极限也会出现。事实证明，即使 $f$ 不是一个正函数，这种类型的极限也会在各种情况下出现。在第5章和第8章中，我们将看到，这种形式的极限还会在计算曲线长度、固体体积、质心、由于水压导致的力、功等物理量时出现。因此，我们给这种极限形式一个特殊的名称和符号。

定积分的定义

如果 $f$ 是在 $a\le x\le b$ 上定义的函数，我们将区间 $[a,b]$ 分成 $n$ 个子区间，每个子区间的宽度为 $\Delta x=(b-a)/n$。我们令 $x_0=a,x_1,x_2,\dots ,x_n=b$ 为这些子区间的端点，并且令 $x_1^{\ast },x_2^{\ast },\dots ,x_n^{\ast }$ 为这些子区间内的任意样本点，因此 $x_i^{\ast }$ 位于第 $i$ 个子区间 $[x_{i-1},x_i]$ 内。那么，$f$ 从 $a$ 到 $b$ 的定积分定义为
$${\int }_a^{b}f(x)dx=\underset{n\to \infty }{\lim }\sum _{i=1}^{n}f(x_i^{\ast })\Delta x$$
前提是这个极限存在，并且对所有样本点的选择都给出相同的值。如果它确实存在，我们说 $f$ 在 $[a,b]$ 上是可积的。

定义定积分的极限的确切含义如下：

对于每一个 $ϵ>0$，存在一个整数 $N$，使得

$$\left|{\int }_a^{b}f(x)dx-\sum _{i=1}^{n}f(x_i^{\ast })\Delta x\right|<ϵ$$

对于每一个大于 $N$ 的整数 $n$ 和对 $[x_{i-1},x_i]$ 内的 $x_i^{\ast }$ 的任意选择都成立。

注1 符号 $\int$ 由莱布尼茨引入，称为积分符号。它是一个拉长的 $S$，之所以选择这个符号，是因为积分是求和的极限。在符号 ${\int }_a^{b}f(x)dx$ 中，$f(x)$ 被称为被积函数，a 和 b 被称为积分限；a 是下限，b 是上限。目前，符号 dx 本身没有任何意义；${\int }_a^{b}f(x)dx$ 是一个完整的符号。$dx$ 仅表示独立变量是 $x$。计算积分的过程称为积分运算。

注2 定积分 ${\int }_a^{b}f(x)dx$ 是一个数字，它不依赖于 $x$。事实上，我们可以用任何字母代替 $x$，而不会改变积分的值：

$${\int }_a^{b}f(x)dx={\int }_a^{b}f(t)dt={\int }_a^{b}f(r)dr$$

注3 和定义 中的和称为黎曼和，是以德国数学家伯恩哈德·黎曼（Bernhard Riemann，1826-1866）命名的。因此，定义 表明，任意可积函数的定积分可以通过黎曼和在任意所需的精度下进行近似。

我们知道，如果 $f$ 为正数，则黎曼和可以解释为近似矩形面积的总和（见图 1）。通过将定义 与 4.1 节中的面积定义进行比较，我们看到定积分 ${\int }_a^{b}f(x)dx$ 可以解释为曲线 $y=f(x)$ 在 $a$ 到 $b$ 之间的面积（见图 2）。

如果 $f$ 取正值和负值，如图 3 所示，那么黎曼和是位于 $x$ 轴上方的矩形面积与位于 $x$ 轴下方的矩形面积之差（蓝色矩形面积减去金色矩形面积）。当我们取这些黎曼和的极限时，我们得到图 4 中所示的情况。定积分可以解释为净面积，即面积之差：

$${\int }_a^{b}f(x)dx=A_1-A_2$$

其中 $A_1$ 是位于 $x$ 轴上方且在 $f$ 图形下方的区域面积，$A_2$ 是位于 $x$ 轴下方且在 $f$ 图形上方的区域面积。

注4 尽管我们通过将 $[a,b]$ 分成等宽的小区间来定义定积分 ${\int }_a^{b}f(x)dx$，但在某些情况下，使用不等宽的小区间是有利的。例如，在练习 4.1.16 中，NASA 提供了速度数据，这些数据的时间间隔并不均等，但我们仍然能够估算出行驶的距离。而且，有一些数值积分的方法可以利用不等宽的小区间。

如果小区间的宽度分别为 $\Delta x_1$、$\Delta x_2$、……、$\Delta x_n$，我们必须确保在极限过程中所有这些宽度都趋于 $0$。只有当最大宽度 $\max \Delta x_i$ 趋于 $0$ 时，这种情况才会发生。因此，在这种情况下，定积分的定义变为：

$${\int }_a^{b}f(x)dx=\underset{\max \Delta x_i\to 0}{\lim }\sum _{i=1}^{n}f(x_i^{\ast })\Delta x_i$$

注5 我们已经为可积函数定义了定积分，但并非所有函数都是可积的（见练习 71-72）。以下定理表明，绝大多数常见的函数实际上是可积的。该定理在更高阶课程中会得到证明。

定理 3

如果函数 $f$ 在区间 $[a,b]$ 上是连续的，或者如果 $f$ 只有有限数量的跳跃不连续性，那么 $f$ 在 $[a,b]$ 上是可积的；也就是说，定积分 ${\int }_a^{b}f(x)dx$ 存在。

如果 $f$ 在 $[a,b]$ 上可积，那么定义 中的极限存在，并且无论我们如何选择采样点 $x_i^{\ast }$，都给出相同的值。为了简化积分的计算，我们通常将采样点选择为右端点。这时 $x_i^{\ast }=x_i$ ，积分的定义如下简化。

定理 4

如果 $f$ 在 $[a,b]$ 上可积，则
$${\int }_a^{b}f(x)dx=\underset{n\to \infty }{\lim }\sum _{i=1}^{n}f(x_i)\Delta x$$
其中
$$\Delta x=\frac{b-a}{n}\text{和}{x}_i=a+i\Delta x$$

例1 将以下极限表达式

$$\underset{n\to \infty }{\lim }\sum _{i=1}^n\left(x_i^3+x_i\sin x_i\right)\Delta x$$

在区间 $[0,\pi ]$ 上写成积分形式。

解

通过将给定的极限与定理4中的极限进行比较，我们发现当我们选择 $f(x)=x^3+x\sin x$ 时，它们是相同的。已知 $a=0$ 和 $b=\pi$。因此，根据定理4，我们有：

$$\underset{n\to \infty }{\lim }$$