数分速通 - 定积分

Riemann 积分

定义 Riemann 积分: 定义在 上, , 若 的分割 分点 , 只要 , , 就有

则 在 上可积, 和式

称为 Riemann 和, 极限值 为 在 上的定积分

不是严格的极限过程, 注意分割方式和分点选取都是任意的, 通过控制分割区间的最长长度来趋近无限细分

定理 在 有界

定义 Darboux 和: 在 有界, 的分割

为 在 上的振幅, 定义 Darboux 大和和 Darboux 小和:

易知

关于 有下界 (有界函数最小值 区间长度), 有下确界

关于 有上界 (有界函数最大值 区间长度), 有上确界 ;

引理 Darboux: 在 有界,

定理 在 有界, 下列条件等价

定理

定理 在闭区间单调

(也可推广到 ), 对于有界上凸连续函数 (如 ), 有

Newton-Leibniz 公式

定理 Newton-Leibniz: 在 上有原函数 , 若 , 则

定理 在 处连续, 变上限积分

在 处可导, , 端点处指左右导数. 若 , 则

可积 连续, 连续 可导

推论 , 在 可导,

在 可导,

Poincare 不等式

定理 , , (或者简单情形, )

这个不等式说明了一个函数的行为可以用这个函数的变化率的行为和它的定义域的几何性质来控制。也就是说，已知函数的变化率和定义域的情况下，可以对函数的上界作出估计。- Wikipedia

令 , 则 . 分部积分

Cauchy-Schwarz 不等式积分形式:

平方后利用 Cauchy-Schwarz 不等式积分形式

展开 使用 Cauchy-Schwarz 不等式积分形式

两侧对 积分

代入 得到

即

积分中值定理

定理 积分第一中值定理: , 在 上不变号, 使得

若 具有原函数, 则 使得

乘积的积分, 可将其中一项用积分区间内某一点代替. 注意 在闭区间可积, 但是 在开区间中

定理 积分第二中值定理: ,

1. 若 在 非负递减, 则
2. 若 在 非负递增, 则

单调区间上, 取较大的端点值, 然后缩减掉较小的部分区间

反常积分

无界区间反常积分

在 有定义, 在任意有限区间 上 Riemann 可积

定义 反常积分: 定义反常积分

即 有

类似可定义 . 规定

定理 收敛

在 有界.

如果能把 积出来就好了, 下面的判别法针对积不出来的情况

定理 比较判别法: 使得

1. 收敛 收敛
2. 发散 发散

大的比小的更发散. 常取

推论 比较判别法的极限形式: 非负,

1. , 则 收敛 收敛
2. , 则 发散 发散
3. , 二者敛散性相同

数项级数收敛 通项趋于零

收敛 , 甚至不能保证 存在

一种函数极限不存在的构造

定理 无界区间反常积分的 Cauchy 收敛原理: 收敛