积分学＜3＞——定积分与可积条件

Z from A

已于 2024-06-09 18:18:40 修改

阅读量1.6k

点赞数 22

分类专栏：数学分析之单变量微积分文章标签：算法学习

于 2024-04-11 21:31:59 首次发布

本文链接：https://blog.csdn.net/qq_45491237/article/details/137606008

版权

定积分与可积条件

Riemann可积

定义3.1 Riemann和

若函数 $f\left ( x \right )$ 是闭区间 $\left [ a,b \right ]$ 上的有界函数,对闭区间 $\left [ a,b \right ]$ 作划分 $=\left \{ \left [ x_{i-1},x_{i} \right ]\mid x_{0}=a\le x_{i-1}<x_{i} \le x_{n}=b,1\le i \le n,i\in \mathbb{N}\right \}$ ,也就是选取包含闭区间 $\left [ a,b \right ]$ 左端点a和右端点b在内的 $n + 1$ 个点 $x_{i}$ 将闭区间 $\left [ a,b \right ]$ 分为 $n - 1$ 段,划分后每个闭区间 $\left [ x_{i-1},x_{i} \right ]$ 的长度为 $\Delta x_{i}=x_{i}-x_{i-1}$ , $\sum_{i=1}^{n} \left ( f\left ( \xi _{i} \right ) \Delta x_{i} \right )$ 称为Riemann和。

定义3.2 Riemann可积

记 $\lambda =\underset{1\le i\le n}{\max} \left \{ \Delta x_{i} \right \}$ , $\lambda \to 0$ 代表 $\forall i \in \left [ 1,n \right ]$ , $\Delta x_{i} \to 0$ ,在每个闭区间 $\left [ x_{i},x_{i+1} \right ]$ 任意选取点 $\xi _{i}$ ,若Riemann和的极限 $\lim _{\lambda \to 0} \sum_{i=1}^{n} \left ( f\left ( \xi _{i} \right ) \Delta x_{i} \right )=I \in \mathbb{R}$ 存在且有限,并且与划分 $P$ 和取点 $\xi _{i}$ 无关,则称函数 $f\left ( x \right )$ Riemann可积。

定积分的定义

定义3.3 定积分

若函数 $f\left ( x \right )$ 满足Riemann可积的条件,且Riemann和的极限 $\lim _{\lambda \to 0} \sum_{i=1}^{n} \left ( f\left ( \xi _{i} \right ) \Delta x_{i} \right )=I$ , $\in \mathbb{R}$ ,则称 $I$ 为闭区间 $\left [ x_{i},x_{i+1} \right ]$ 上的定积分,记为 $\lim _{\lambda \to 0} \sum_{i=1}^{n} \left ( f\left ( \xi _{i} \right ) \Delta x_{i} \right )=I=\int_{a}^{b} f\left ( x \right ) dx$ 。
另有 $\varepsilon -\delta$ 语言表述如下:
$\forall \varepsilon >0$ , $\exists \delta >0$ : $\forall P=\left \{ \left [ x_{i-1},x_{i} \right ]\mid x_{0}=a\le x_{i-1}<x_{i} \le x_{n}=b,1\le i \le n\right \}$ , $\forall \xi_{i} \in \left [ x_{i-1},x_{i}\right ]$ , $\forall \lambda \in \left ( 0,\delta \right )$ , $\left | \sum_{i=1}^{n} \left ( f\left ( \xi _{i} \right ) \Delta x_{i} \right ) -I\right |< \varepsilon$ 。

定积分定义的扩展

定义3.4 Darboux上(下)和

若函数 $f\left ( x \right )$ 是闭区间 $\left [ a,b \right ]$ 上的有界函数, $M=\underset{a\le x \le b}{\sup} f\left ( x \right )$ , $m=\underset{a\le x \le b}{\inf} f\left ( x \right )$ ,对闭区间 $\left [ a,b \right ]$ 作划分 $=\left \{ \left [ x_{i-1},x_{i} \right ]\mid x_{0}=a\le x_{i-1}<x_{i} \le x_{n}=b,1\le i \le n,i\in \mathbb{N}\right \}$ ,划分后每个闭区间 $\left [ x_{i-1},x_{i} \right ]$ 又有对应的 $M_{i} =\underset{x_{i-1} \le x \le x_{i} }{\sup} f\left ( x_{i} \right )$ , $m_{i} =\underset{x_{i-1} \le x \le x_{i}}{\inf} f\left ( x_{i} \right )$ ,
定义Darboux上和 $\overline{S}\left ( P \right ) = \sum_{i=1}^{n}\left ( M_{i} \Delta x_{i} \right )$ ,Darboux下和 $\underline{S}\left (P \right ) = \sum_{i=1}^{n}\left ( m_{i} \Delta x_{i} \right )$ 。

引理3.1

在划分 $P$ 中增加新分点,则新的Darboux上和不增加,新的Darboux下和不减少。

不妨设只在其中一个闭区间增加一个分点,增加多个分点可以分解为每次只增加一个分点的递归问题。
以Darboux上和为例,设在闭区间 $\left [ x_{i-1} ,x_{i} \right ]$ 内增加新分点 $x_{k}$ ,旧划分记为 $P_{0}$ ,新划分记为 $P_{1}$ 。
比较 $\overline{S}\left ( P_{0} \right )$ 与 $\overline{S}\left ( P_{1} \right )$ ,除闭区间 $\left [ x_{i-1} ,x_{i} \right ]$ 外的其余闭区间不受影响,
而对于原来的 $\left [ x_{i-1} ,x_{i} \right ]$ ,重新划分后,闭区间 $\left [ x_{i-1},x_{k} \right ]$ 的上确界为 $\underset{x_{i-1}\le x \le x_{k} }{\sup} \left [ x_{i-1},x_{k} \right ]=c_{1}$