对于一类函数Riemann可积性的讨论

前言

对于函数而言，当函数在一个小区间上的振幅的最大值$max({\omega }_i)=M_i-m_i$随着划分区间最大值$\lambda =max(\Delta x_i)\to 0$而逐渐趋于零，那么它显然是黎曼可积的。然而很多函数并不具备这样的性质，它们的最大振幅在区间趋于零时并不趋于零。但如果这些振幅不趋于零的小区间之和可以任意小，这个函数仍然是黎曼可积的。下面会讨论几个具备类似性质的函数，并证明其可积性。

两个典型函数的例子

函数1：

$$f(x)=\{\begin{array}{rlr}& \frac{1}{x}-\left[\frac{1}{x}\right],& 0<x\le 1\\ & 0,& x=0\end{array}$$

可以验证，函数在点$x=\frac{1}{k},k\in N^{+}$的左右极限不相等但有定义，因此，这些点是函数的第一类间断点，即跳跃点。现取这些跳跃点构造区间$[0,1]$上的一个划分$P^{{}^{\prime }}:0<p_1^{{}^{\prime }}<...<p_k^{{}^{\prime }}<1$，其中$p_1^{{}^{\prime }}=\frac{1}{2},p_2^{{}^{\prime }}=\frac{1}{3},...,p_j^{{}^{\prime }}=\frac{1}{j+1},...,p_k^{{}^{\prime }}=\frac{1}{k+1}$.

对于任意给定的$\epsilon >0$，取 δ = m i n 1 ≤ j ≤ k { p 1 ′ 2 , 1 − p k ′ 2 , p j ′ − p j − 1 ′ 3 , ε 4 k ( M − m ) } > 0 \delta=\mathop{min}\limits_{1\leq j \leq k}\{ \frac{p_1^{'}}{2},\frac{1-p_k^{'}}{2},\frac{p_j^{'}-p_{j-1}^{'}}{3}, \frac{\varepsilon}{4k(M-m)} \}>0 δ=1≤j≤kmin​{2p1′​​,21−pk′​​,3pj′​−pj−1′​​,4k(M−m)ε​}>0，同时取 O { p j ′ , δ } \Omicron\{p_j^{'},\delta\} O{pj′​,δ}的两个端点$p_j^{{}^{\prime }}-\delta ,p_j^{{}^{\prime }}+\delta$作为分点，构成一个新的划分$$P:0<p_1^{{}^{\prime }}-\delta <p_1^{{}^{\prime }}+\delta <...<p_j^{{}^{\prime }}-\delta <p_j^{{}^{\prime }}+\delta <...<p_k^{{}^{\prime }}-\delta <p_k^{{}^{\prime }}+\delta <1$$
划分$P$构成了$2k+1$个子区间，其中$f(x)$在$k$个子区间$D^{(j)}=[p_j^{{}^{\prime }}-\delta ,p_j^{{}^{\prime }}+\delta ]$上有跳跃点；在$k+1$个子区间$E^{(2\le j\le k)}=[p_{j-1}^{{}^{\prime }}+\delta ,p_j^{{}^{\prime }}-\delta ]，E^{(1)}=[0,p_1^{{}^{\prime }}-\delta ],E^{(k+1)}=[p_k^{{}^{\prime }}+\delta ,1]$上连续，进而黎曼可积。

先考察子区间$D^{(j)}$。记$f(x)$在子区间$D^{(j)}$上的振幅为${\omega }_j$，则有
$$\sum _{j=1}^k{\omega }_j[(p_j^{{}^{\prime }}-\delta )-(p_j^{{}^{\prime }}+\delta )]\le 2k(M-m)\delta \le \frac{\epsilon }{2}$$

再考察子区间$E^{(j)}$, 因为$f(x)$在这些子区间上都黎曼可积，根据定义，在每个子区间$E^{(j)}$上必然存在分点
$p_{j-1}^{{}^{\prime }}+\delta =x_0^{(j)}<x_1^{(j)}<...<x_{tj}^{(j)}=p_j^{{}^{\prime }}-\delta$，使得
$$\sum _{i=1}^{tj}{w}_i^{(j)}\Delta x_i^{(j)}<\frac{\epsilon }{2(k+1)}$$

现在将$P$和$P^{{}^{\prime }}$的划分点合并，将其看做$[0,1]$上的一个划分，记其每个区间的振幅为${\omega }_i$，则有
$$\begin{array}{rl}\sum _{i=1}^{n=[k+(k+1)tj]}{\omega }_i\Delta x_i& =\sum _{j=1}^{k+1}\sum _{i=1}^{tj}{w}_i^{(j)}\Delta x_i^{(j)}+\sum _{j=1}^k{\omega }_j[(p_j^{{}^{\prime }}-\delta )-(p_j^{{}^{\prime }}+\delta )]\\ & <\frac{\epsilon }{2(k+1)}\cdot (k+1)+\frac{\epsilon }{2}=\epsilon \end{array}$$
综上已经证明了对于任意给定的$\epsilon >0$，都存在一种划分，使的相应的振幅满足
$$\sum _{i=1}^n{w}_i\Delta x_i<\epsilon$$
因此$f(x)$在$[0,1]$黎曼可积。

函数2

$$f(x)=\{\begin{array}{rlr}& sgn(sin\frac{\pi }{x}),& 0<x\le 1\\ & 0,& x=0\end{array}$$

易得点$x=\frac{1}{k},k\in N^{+}$同样是函数在$[0,1]$的跳跃点。用同样的方式可以证明该函数在$[0,1]$黎曼可积。