数学分析：函数的可积条件

函数的可积条件

函数可积的必要条件

\quad 在给出函数可积的充要条件之前，先来看函数可积的一个必要条件。

定理 1（可积的必要条件）：若函数 $f(x)$ 在 $[a,b]$ 上可积，则 $f(x)$ 在 $[a,b]$ 上必定有界。

证明：反证法。
\quad 假定函数 $f(x)$ 在 $[a,b]$ 上无界，则不论对 $[a,b]$ 作何种划分，总存在 $[a,b]$ 的某个小区间 $[x_{k-1},x_k]$（$1\le k\le n$） ，使得 $f(x)$ 在 $[x_{k-1},x_k]$ 上无界。
\quad 在 $i\ne k$ 的各个小区间 $[x_{i-1},x_i]$ 上，任取一点 ${\xi }_i$，并记
$$G=\left|\sum _{i\ne k}f({\xi }_i)\cdot \Delta x_i\right|,$$
由于 $f(x)$ 在 $[x_{k-1},x_k]$ 上无界，因此对于任意给定的 $M>0$，存在点 ${\xi }_k\in [x_{k-1},x_k]$，使得
$$\left|f({\xi }_k)\right|>\frac{G+M}{\Delta x_k}.$$
\quad 利用三角不等式，可得
$$\left|f({\xi }_k)\cdot \Delta x_k\right|-\left|\sum _{i\ne k}f({\xi }_i)\cdot \Delta x_i\right|\le \left|\sum _{i=1}^{n}f({\xi }_i)\Delta x_i\right|$$
从而
$$\left|\sum _{i=1}^{n}f({\xi }_i)\Delta x_i\right|\ge \frac{G+M}{\Delta x_k}\cdot \Delta x_k-G=M.$$
也就是说，无论 $M$ 取得有多大，总存在某个划分 $P$ 和 点集 { ξ i ∣ i = 1 , 2 , ⋯   , n } \{\xi_i|i=1,2,\cdots,n\} {ξi​∣i=1,2,⋯,n} 的某种取法，使得积分和大于 $M$，从而与 $f(x)$ 在 $[a,b]$ 上可积产生矛盾。因此，$f(x)$ 在 $[a,b]$ 上必定有界。

证毕

思考：既然区间 $[a,b]$ 上的可积函数一定有界，那么，有界函数一定在区间 $[a,b]$ 上可积吗？
答：不一定。

【例题】：Dirichlet 函数
$$D(x)=\{\begin{array}{l}1,x\text{为有理数},\\ 0,x\text{为无理数}\end{array}$$
在区间 $[0,1]$ 上有界，但不可积。

函数可积的充要条件

\quad 既然，区间 $[a,b]$ 上的可积函数都是有界的，而有界的函数又不一定可积，那么什么情况下，区间 $[a,b]$ 上的有界函数可积呢？

\quad 下面来讨论函数可积的充要条件。

Darboux 和：

\quad 设函数 $f(x)$ 是区间 $[a,b]$ 上的有界函数。由确界存在定理知，$f(x)$ 在 $[a,b]$ 上必有上、下确界。记：
$$M=\underset{x\in [a,b]}{\sup }f(x),m=\underset{x\in [a,b]}{\sup }f(x)，$$
则
$$m\le f(x)\le M,x\in [a,b].$$

\quad 在 $[a,b]$ 上任意取分点 { x i } i = 0 n \{x_i\}_{i=0}^{n} {xi​}i=0n​，作成一种划分
$$P:a=x_0<x_1<x_2<\cdots <x_n=b,$$
并任意取点 $\xi \in [x_{i-1},x_i]$，$i=1,2,\cdots ,n$。由于 $f(x)$ 在 $[a,b]$ 上有界，因此 $f(x)$ 在任意一个小区间 $[x_{i-1},x_i]$（$i=0,1,\cdots ,n$） 上也是有界的。由确界存在定理，$f(x)$ 在每个小区间上均有上、下确界。

\quad 记 $f(x)$ 在小区间 $[x_{i-1},x_i]$ 上的上、下确界分别为
$$M_i=\underset{x\in [x_{i-1},x_i]}{\sup }f(x),m_i=\underset{x\in [x_{i-1},x_i]}{\inf }f(x),$$
显然，它们与点集 { ξ i ∣ i = 1 , 2 , ⋯   , n } \{\xi_i\mid i=1,2,\cdots,n\} {ξi​∣i=1,2,⋯,n} 的取法无关，但与划分 $P$ 有关。

\quad 对于确定的划分 $P$，定义和式
$$\bar{S}(P)=\sum _{i=1}^n{M}_i\cdot \Delta x_i,\underline{S}(P)=\sum _{i=1}^n{m}_i\cdot \Delta x_i,$$
则分别称 $\bar{S}(P)$ 与 $\underline{S}(P)$ 为相应于划分 $P$ 的 Darboux 大和（或 Darboux 上和）与 Darboux 小和（或 Darboux 下和）。

\quad Darboux 大和 与 Darboux 小和 统称为 Darboux 和。

\quad 显然，对于同一个划分 $P$，成立
$$\underline{S}(P)\le \sum _{i=1}^{n}f({\xi }_i)\Delta x_i\le \bar{S}(P).$$

\quad 为方便讨论，记 $\bar{S}$ 是一切可能的划分所得到的 Darboux 大和 的集合，$\underline{S}$ 是一切可能的划分得到的 Darboux 小和 的集合。

\quad 下面，来分析 Darboux 和 的性质，进而引出函数可积的充分必要条件。

引理 1（性质一）：设 $P$ 是 $[a,b]$ 上给定的一个划分，对于任意的点集 { ξ i ∣ i = 1 , 2 , ⋯   , n } \{\xi_i\mid i=1,2,\cdots,n\} {ξi​∣i=1,2,⋯,n}，Darboux 大和是所有积分和的上确界，Darboux 小和是所有积分和的下确界。
证明：

引理 2（性质二）：若在原有划分 $P$ 中加入分点形成新的划分，则 Darboux 大和不增，Darboux 小和不减。

引理 3（性质三）：设 $P_1$、$P_2$ 是 $[a,b]$ 的任意两个划分，若将 $P_1$、$P_2$ 的对应分点合并，形成一个新的划分 $P$，则
$$\bar{S}(P)\le \bar{S}(P_1),\bar{S}(P)\le \bar{S}(P_2)，\underline{S}(P)\ge \underline{S}(P_1),\underline{S}(P)\ge \underline{S}(P_2).$$

引理 4（性质四）：设 $P_1$、$P_2$ 是 $[a,b]$ 的任意两个划分，则恒有
$$m(b-a)<\underline{S}(P_1)\le \bar{S}(P_2)\le M(b-a).$$

---

\quad 由上述讨论知，$\bar{S}$ 与 $\underline{S}$ 都是有界集合，由确界定理，均有上、下确界。记
L = inf ⁡ { S ˉ ( P ) ∣ S ˉ ( P ) ∈ S ˉ } , l = sup ⁡ { S ‾ ( P ) ∣ S ‾ ( P ) ∈ S ‾ } . L=\inf\{\bar S(P)\mid \bar S(P) \in \bar S\},\quad l=\sup \{\underline {S}(P)\mid \underline {S}(P) \in \underline S\}. L=inf{Sˉ(P)∣Sˉ(P)∈Sˉ},l=sup{S​(P)∣S​(P)∈S​}.
通常，称 $L$ 为 $f(x)$ 在 $[a,b]$ 上的 上积分，称 $l$ 为 $f(x)$ 在 $[a,b]$ 上的 下积分。

---

参考文献

[1] 陈纪修，于崇华，金路著. 数学分析 上册. 第2版. 北京：高等教育出版社, 2004.06.
[2] 华东师范大学数学系编. 数学分析 上册. 第4版. 北京：高等教育出版社, 2010.07.
[3] 谢惠民，恢自求，易法槐等. 数学分析习题课讲义 上册. 北京：高等教育出版社. 2003.7.10.
[4] 常庚哲，史济怀. 数学分析教程 上册. 第3版. 合肥：中国科学技术大学出版社. 2012.8.
[5] B. A. 卓里奇. 数学分析 第一卷. 第7版. 北京：高等教育出版社.2019.2.