第七章 定积分

本章包含定积分相关的重要定理。

§1 定积分的概念与可积条件

定义7.1.1 定积分(Riemann积分)

设函数 在闭区间 上有定义。对 作分割

(分割的模),在每个小区间 上任取一点 ,作Riemann和

如果极限

存在且与分割及 的取法无关,则称 Riemann可积(简称可积),极限值 称为 上的定积分,记为

例子:定义7.1.1 定积分(Riemann积分) — 例子

定义7.1.2 Darboux上和与Darboux下和

上有界, 的一个分割。令

则称

Darboux上和,称

Darboux下和

例子:定义7.1.2 Darboux上和与Darboux下和 — 例子

定义7.1.3 上积分与下积分

上有界,称

上的上积分,称

上的下积分

例子:定义7.1.3 上积分与下积分 — 例子

定义7.3.1 变上限积分

上可积,则称

变上限积分(或变上限函数)。

例子:定义7.3.1 变上限积分 — 例子

定义7.4.1 弧长

设曲线的参数方程为 ),若 上连续且逐段光滑,则曲线的弧长定义为

例子:定义7.4.1 弧长 — 例子

定理7.1.1 Darboux和极限相等

定理陈述:有界函数 可积的充分必要条件是,对于任意划分 ,当 时,Darboux大和与Darboux小和的极限相等。

证明

核心想法:Darboux大和 是所有可能Riemann和的上确界,Darboux小和 是下确界。可积意味着Riemann和有唯一极限,这等价于上确界和下确界趋于同一个值。

第1步:回顾定义。对划分 ,记 。Darboux大和与小和分别为:

第2步:对同一划分 的任意Riemann和 (其中 ),因为 ,所以:

第3步(必要性):设 可积,积分值为 。则对任意 ,存在 ,当 时, 对一切 成立。

使 充分接近 (上确界的性质),可得 ,即 。同理

因此 ,即 ,两极限相等。

第4步(充分性):设

由第2步,,且两端都趋于 ,由夹逼定理,,即 可积。

证毕


定理7.1.2 振幅趋于零

定理陈述:有界函数 可积的充分必要条件是,对任意划分,当 时,

证明

核心想法 就是 ,所以这个条件与Darboux和极限相等完全等价。

第1步:记 上的振幅),则:

第2步:由定理7.1.1, 可积

证毕


定理7.1.3 可积的充要条件

定理陈述:有界函数 可积的充分必要条件是,对任意给定的 存在着一种划分,使得相应的振幅满足

证明

核心想法:这个条件只要求”存在一种划分”而非”对一切足够细的划分”,但利用加细性质可以证明两者等价。

第1步(必要性):设 可积。由定理7.1.2,)。所以对任意 ,存在 ,当 。取一个满足 的划分即可。

第2步(充分性):设对任意 ,存在划分 使

关键事实:对任意划分 ,若 的加细(即 的分点都是 的分点),则 (加细不会增大振幅和)。

第3步:对任意 足够小的划分 ,将 的分点合并得到公共加细 。则:

第4步:需要比较 。设 个分点,则 至多多 个分点。每个多出的分点将某个小区间一分为二,振幅和的变化量不超过 (其中 )。所以:

时,。由 的任意性, 可积。

证毕


§3 定积分的计算

定理7.3.1 变上限积分函数

定理陈述:设 上可积,作函数 ,则 上连续;若 在点 连续,则 在点 可导,且

证明

核心想法。当 连续时, 附近接近 ,所以积分近似于

第1步(连续性):因为 上可积,所以 有界,设 。对任意

时,,所以 处连续。

第2步(可导性):设 处连续。对 ):

第3步:因为 连续,对任意 ,存在 ,当

第4步:当 时,对 (或 ),,所以

第5步:积分得:

时不等号方向反转,但最终结果相同。)

第6步:除以

第7步:由 的任意性,

证毕

意义:这个定理建立了积分与微分的桥梁——变上限积分函数的导数就是被积函数。它是Newton-Leibniz公式的基础。


例子:定理7.3.1 变上限积分函数 — 例子

定理7.3.2 微积分基本定理(Newton-Leibniz公式)

定理陈述:设 上连续, 上的一个原函数,则成立:

证明

核心想法:变上限积分 也是一个原函数(定理7.3.1),两个原函数只差一个常数,用端点条件确定常数即可。

第1步:因为 上连续,由定理7.3.1, 上可导,且 。所以 的一个原函数。

第2步:设 的另一个原函数,则 。由定理5.1.4(导数为零的函数是常数),(常数)。

第3步:确定常数 。令

所以 ,即

第4步:令

移项得

证毕

意义:Newton-Leibniz公式将定积分的计算转化为求原函数,是微积分学最重要的定理之一。


定理7.3.3 分部积分公式

定理陈述:设 在区间 上有连续导数,则:

证明

核心想法:对乘积的求导法则 两边积分。

第1步:因为 有连续导数,所以 上连续。

第2步:对等式两边从 积分,由Newton-Leibniz公式:

第3步:左端由Newton-Leibniz公式:

第4步:代入移项:

证毕


例子:定理7.3.3 分部积分公式 — 例子

定理7.3.4 换元积分公式

定理陈述:设 在区间 上连续, 在区间 上有连续导数,其值域包含于 ,且满足 ,则:

证明

核心想法:设 的原函数,则 的原函数(链式法则),两端都用Newton-Leibniz公式即可。

第1步:因为 上连续, 的原函数,

第2步:考虑复合函数 。由链式法则(定理4.4.1):

所以 的原函数。

第3步:对左端用Newton-Leibniz公式:

第4步:对右端用Newton-Leibniz公式:

第5步:两端相等。

证毕


定理7.3.5 奇偶函数积分

定理陈述:设 在对称区间 上可积,若 是奇函数,则 ;若 是偶函数,则

证明

核心想法:将积分拆成 两段,对第一段作换元 ,利用奇偶性化简。

第1步:拆分积分:

第2步:对第一项作换元 ,当 ,当

第3步(奇函数情形):,所以:

第4步(偶函数情形):,所以:

证毕


例子:定理7.3.5 奇偶函数积分 — 例子

定理7.3.6 周期函数积分

定理陈述:设 是以 为周期的可积函数,则对任意

证明

核心想法:将积分拆成三段,利用换元和周期性消去 的依赖。

第1步:拆分积分:

(这里设 ;若 不在此范围,可先取模调整,证明思路相同。)

第2步:对第二项作换元 ,当 ,当

最后一步用了 (周期性)。

第3步:合并:

证毕

意义:周期函数在一个完整周期上的积分值与起点无关。


例子:定理7.3.6 周期函数积分 — 例子

§4 定积分的应用

定理7.4.1 弧长公式

定理陈述:若曲线由参数方程 )给出,且 有连续导数,则弧长为:

证明

核心想法:将曲线分成许多小段,每段近似为直线段,求和后取极限。

第1步:对 作划分 ,曲线上对应点为

第2步:折线长为:

第3步:由微分中值定理,存在 使得:

第4步:因为 连续,在小区间上变化很小。当 时, 都在 中,可以证明:

具体地,记 。由 的连续性,,所以 。而 是连续函数 的Riemann和,趋于积分值。因此 也趋于同一积分值。

第5步:弧长定义为折线长的极限,即:

证毕


例子:定理7.4.1 弧长公式 — 例子

§6 定积分的近似计算

定理7.6.1 Newton-Cotes公式误差估计

定理陈述:设 连续,则用Newton-Cotes公式计算 的误差 满足相应的估计式。

证明

核心想法:Newton-Cotes公式用 次插值多项式近似 ,误差来自插值余项的积分。

第1步:Newton-Cotes公式用等距节点 )上的Lagrange插值多项式 近似

第2步:误差为:

其中

第3步:当 为偶数时, 上不变号,由积分中值定理:

第4步:计算 即得具体的误差系数。例如 (梯形公式)时,,所以:

第5步:当 为奇数时,误差阶可以提高到 (利用对称性),具体分析类似但更复杂。

证毕


例子:定理7.6.1 Newton-Cotes公式误差估计 — 例子

相关链接

来源引用

  • [数学分析 陈纪修 第三版 上](raw/数学分析 陈纪修 第三版 上/full.md)