Skip to content

8.2.1 基本概念、法则和定理

8.2.1.1 定积分的定义与存在性

1. 定积分的定义

有界闭区间 [a,b] 上的有界函数 y=f(x) 的定积分是一个数,当 a<b (情形 A) 或 a>b (情形 B) 时,定积分为和的极限. 在后面定积分概念的推广中,也把它看成定义在实直线上任意连通区域, 如开区间或半开区间、半实轴或整个数轴以及分段连通 (除有限个点外处处连通) 区域上的函数, 这类积分属于广义积分 (参见第 673 页 8.2.3).

2. 作为和的极限的定积分

定积分可以定义为如下步骤的极限 (参见第 641 页图 8.1):

第 1 步 在区间 [a,b] 上任意选取 n1 个分点 x1,x2,,xn1 ,且满足下列情形之一:

(8.37a)a=x0<x1<x2<<xi<<xn1<xn=b (情形 A) 

(8.37b)a=x0>x1>x2>>xi>>xn1>xn=b (情形 B),

把区间分成 n 个子区间.

第 2 步 如图 8.4 所示,在每个子区间的内部或边界任取一点 ξi ,使得 xi1 ξixi (情形 A 中) 或 xi1ξixi (情形 B 中).(8.37c)

019363bd-b412-750b-94b0-31567f71bd42_17_498_847_644_222_0.jpg

第 3 步 用函数 f(x) 在所选点处的值 f(ξi) 乘以子区间的长度,即差 Δxi1= xixi1 ,若为情形 A ,则差取正号,若为情形 B ,则差取负号. 情形 A 中这一步如 641 页图 8.1 所示.

第 4 步 将所有这 n 个乘积 f(ξi)Δxi1 相加.

第 5 步 当每个子区间的长度都趋于 0,故 Δxi1 也可看作无穷小量,小区间的个数趋于 时,计算积分近似和或黎曼和

(8.38)i=1nf(ξi)Δxi1

的极限.

若无论 xiξi 的取法如何,极限都存在,则称该极限为函数在所给区间上的定黎曼积分, 记作

(8.39)abf(x)dx=limΔxi10ni=1nf(ξi)Δxi1.

称区间的端点为积分限, a 为积分下限, b 为积分上限,区间 [a,b] 为积分区间, x 为积分变量, f(x) 为被积函数.

3. 定积分的存在性

闭区间 [a,b] 上的连续函数定积分存在,即极限 (8.39) 总存在且与 xiξi 的取法无关. 若函数在区间 [a,b] 有界,且仅有有限个间断点,则其定积分也存在. 在某一给定区间上定积分存在的函数称为该区间上的可积函数.

8.2.1.2 定积分的性质

性质

公式

微积分基本定理 (f(x) 连续)

abf(x)dx=F(x)|ab=F(b)F(a), 其中 F(x)=f(x)dx+CF(x)=f(x)

交换法则

abf(x)dx=baf(x)dx

等积分限

aaf(x)dx=0

区间法则

abf(x)dx=acf(x)dx+cbf(x)dx

积分变量记号的独立性

abf(x)dx=abf(u)du=abf(t)dt

关于积分上限函数的可微性

ddxaxf(t)dt=f(x) ,其中 f(x) 为连续函数

积分中值定理

abf(x)dx=(ba)f(ξ)(a<ξ<b)

1. 微积分基本定理

若被积函数 f(x) 在区间 [a,b] 连续, F(x) 为其原函数,则

(8.40)abf(x)dx=abF(x)dx=F(x)|ab=F(b)F(a),

即定积分的计算可以化成相应的不定积分的计算, 也就是确定反导数:

(8.41)F(x)=f(x)dx+C.

注 可积函数不一定有原函数, 但连续函数一定有原函数.

2. 几何意义及符号法则

(1) 曲线下的面积 设对 x[a,b] ,都有 f(x)0 ,则和 (8.38) 可看作 641 页图 8.1 所有小矩形的总面积,即曲线 f(x) 下方面积的近似值. 因此和的极限,即函数 f(x) 的定积分等于曲线 y=f(x),x 轴以及平行线 x=a,x=b 所围成的区域 A 的面积:

(8.42)A=abf(x)dx(a<b,且当 axb 时 f(x)0).

(2)符号法则 若函数 y=f(x) 在积分区间上分段正负 (图 8.5),则相应子区间上的积分, 即各部分面积也有正有负, 故总区间上的积分等于各部分面积的代数和.

图 8.5(a) (d) 给出了面积符号可能出现的四种不同情况.

  • A:0πsinxdx (读作从 x=0x=π 上的积分) =cosx|0π=(cosπ+cos0)=2 .

B: 02πsinxdx (读作从 x=0x=2π 上的积分) =cosx|02π=(cos2π+ cos0)=0 .

019363bd-b412-750b-94b0-31567f71bd42_19_380_827_880_252_0.jpg

3. 变上限

(1)特别积分 若积分上限为变量 (图 8.6,区域 ABCD ),则存在如下形式的面积函数:

(8.43)S(x)=axf(t)dt(a<b,且当 xa 时 f(x)0),

该积分称为特别积分.

为了避免变上限 x 与积分变量混淆,常常把积分变量记为 t ,如 (8.43) 那样不再使用 x .

(2) 变上限定积分的微分 若变上限定积分 0xf(t)dt 存在,则它为上限的连续函数 F(x) . 若 f(x) 连续,则 F(x) 关于 x 可微,即 F(x) 为被积函数的一个原函数. 因此,若 f(x) 在区间 [a,b] 上连续,则对任意 x(a,b) ,有

(8.44)F(x)=f(x) 或 ddxaxf(t)dt=f(x).

该定理的几何意义是变面积 S(x) 的导数等于线段 NM 的长度 (图 8.7). 正如线段的长度一样, 此处的面积也遵循符号法则 (图 8.5).

4. 积分区间的分解

积分区间 [a,b] 可以分解成子区间,整个区间上定积分的值

(8.45)abf(x)dx=acf(x)dx+cbf(x)dx,

上式称为区间法则. 若被积函数有有限多个跳跃点, 则可将原区间划分成一系列子区间, 使得被积函数在每个子区间上都连续, 于是利用上面的公式, 原积分等于各个子区间上的积分之和.

019363bd-b412-750b-94b0-31567f71bd42_20_457_627_293_260_0.jpg

019363bd-b412-750b-94b0-31567f71bd42_20_893_626_288_262_0.jpg

019363bd-b412-750b-94b0-31567f71bd42_20_636_961_369_254_0.jpg

若函数在子区间的端点左极限或右极限存在, 可以以其定义函数的值, 若极限不存在, 则积分为广义积分 (参见第 677 页 8.2.3.3, 1.).

注 若假设等号右侧积分存在,则当 c 位于区间 [a,b] 的外部时,上述积分公式仍成立.

8.2.1.3 关于积分限的其他定理

1. 积分变量记号的独立性

定积分的值与积分变量的符号无关:

(8.46)abf(x)dx=abf(u)du=abf(t)dt.

2. 等积分限

若积分上限和积分下限相等, 则积分值等于 0 :

(8.47)aaf(x)dx=0.

3. 交换积分限

交换积分的上下限后, 积分变号 (交换法则):

(8.48)abf(x)dx=baf(x)dx.

4. 中值定理与中值

(1)中值定理 若函数 f(x) 在区间 [a,b] 上连续,则在该区间至少存在一点 ξ ,满足对于情形 A 中的 a<ξ<b 以及情形 B 中的 a>ξ>b (参见第 657 页 8.2.1.1,2.), 有

(8.49)abf(x)dx=(ba)f(ξ).

该定理的几何意义为在点 a,b 之间至少存在一点 ξ ,使得图 8.8 中图形 ABCD 的面积等于矩形 ABCD 的面积.

(8.50)m=1baabf(x)dx

称为区间 [a,b] 上函数 f(x) 的中值或算术平均数.

(2) 中值定理的推广 若函数 f(x)φ(x) 均在区间 [a,b] 上连续,且 φ(x) 在该区间不变号,则至少存在一点 ξ ,使得

(8.51)abf(x)φ(x)dx=f(ξ)abφ(x)dx(a<ξ<b).

5. 定积分的估计

定积分的值介于区间 [a,b] 的长度分别与函数在该区间的下确界 m 和上确界 M 的乘积之间:

(8.52)m(ba)abf(x)dxM(ba)(a<b,f(x)0).

若函数 f 连续,则 mf 的最小值, Mf 的最大值. 由图 8.9,很容易看出该定理的几何意义.

019363bd-b412-750b-94b0-31567f71bd42_21_674_1566_293_299_0.jpg

8.2.1.4 定积分的计算

1. 主要方法

计算定积分的主要方法是微积分基本定理, 即转化成不定积分的计算 (参见第 659 页 8.2.1.2,1.), 比如, 可利用 1382 页的表 21.7. 作积分限的代换之前, 要事先检查原积分是否为广义积分.

当今, 常用计算机代数系统可解析地计算不定积分或定积分 (参见第 20 章).

2. 定积分的变换

在很多情况下, 借助代换或分部积分, 作适当变换可计算定积分.

A: 对 I=0aa2x2dx 作代换法.

首先作代换: x=φ(t)=asint ,有 t=ψ(x)=arcsinxa,ψ(0)=0,ψ(a)= π2 .

于是

I=0aa2x2dx=arcsin0arcsin1a21sin2tcostdt=a20π2cos2tdt=a20π212(1+cos2t)dt.

进一步作代换: t=φ(z)=z2 ,有 z=ψ(t)=2t,ψ(0)=0,ψ(π2)=π ,于是

I=a22t|0π2+a240πcoszdz=πa24+a24sinz|0π=πa24.

B: 分部积分法: 01xexdx=[xex]0101exdx=e(e1)=1 .

3. 较难积分的计算方法

若不定积分的计算太过困难与复杂, 或者不能用初等函数来表示, 还可以借助其他方法分几种情况求解定积分的值,比如复变量函数的积分 (参见 984989 页的例子) 以及含一个参数的积分的微分定理 (参见第 679 页 8.2.4):

(8.53)ddtabf(x,t)dx=abf(x,t)tdx.

I=01x1lnxdx . 引入参数 t:F(t)=01xt1lnxdx;F(0)=0;F(1)=I .

F(t) 利用 (8.53),有

dFdt=01t[xt1lnx]dx=01xtlnxlnxdx=01xtdx=1t+1xt+1|01=1t+1.

积分: F(t)F(0)=0tdττ+1=ln(τ+1)|0t=ln(t+1) ,故 I=F(1)=ln2 .

4. 利用级数展开式积分

若被积函数 f(x) 可展成区间 [a,b] 上一致收敛的级数

(8.54)f(x)=φ1(x)+φ2(x)++φn(x)+,

则积分可写成如下形式

(8.55)f(x)dx=φ1(x)dx+φ2(x)dx++φn(x)dx+

按此方法可将定积分表示成收敛的数项级数:

(8.56)abf(x)dx=abφ1(x)dx+abφ2(x)dx++abφn(x)dx+.

若函数 φk(x) 易于积分,比如若 f(x) 能展开成在区间 [a,b] 上一致收敛的幂级数, 则分 abf(x)dx 可以计算到任意精度.

  • 计算积分 01/2ex2dx ,将其精确到 0.0001 . 由阿贝尔定理 (参见第 627 页 7.3.3.1),级数 ex2=1x21!+x42!x63!+x84! 在任何有限区间上一致收敛, 因此有 ex2dx=x(1x21!3+x42!5x63!7+x84!9) ,由此得到
I=01/2ex2dx=12(11221!3+1242!51263!7+1284!9)=12(1112+116012688+155296).

为了使积分的计算精度达到 0.0001 , 根据交错级数的莱布尼茨定理 (参见第 621 页 7.2.3.3,1.) ,只需考虑前四项:

$$12(10.08333+0.006250.00037)=120.92255=0.46127,01/2ex2dx=0.4613

5. 图形积分法

图形积分法是对由曲线 AB 给出的函数 y=f(x) (图 8.10) 进行积分的图解法,即利用图示计算积分 abf(x)dx ,亦即 M0ABN 的面积.

(1) 在区间 M0N 插入点 x1/2,x1,x3/2,x2,,xn1,xn1/2 ,将其划为 2n 个相等区间, 若插入更多分点, 结果将更精确.

(2) 在点 x1/2,x3/2,,xn1/2 处作垂线与曲线相交,其交点相应的纵坐标值记为 OA1,OA2,,OAn .

(3) 线段 OPx 轴负半轴上的任意长度,将 P 分别连接点 A1,A2,,An .

(4) 过点 M0 作一条直线与 PA1 平行且与直线 x=x1 相交,即得线段 M0M1 . 过点 M1 作一条直线与 PA2 平行且与直线 x=x2 相交,得线段 M1M2 ,等等,直到最后到达横坐标为 xn 的点 Mn .

该积分在数值上等于 OP 的长度与 NMn 的长度之积:

(8.57)abf(x)dxOPNMn.

通过适当地选取任意线段 OP ,图示的范围会受到影响; 要想图示越小,需要选取的线段 OP 越长. 若 OP=1 ,则 abf(x)dx=NMn ,折线 M0,M1,M2,,Mn 近似地表示 f(x) 的一个原函数,即由不定积分 f(x)dx 给出的一个函数的图像.

019363bd-b412-750b-94b0-31567f71bd42_24_619_1122_405_455_0.jpg

6. 面积仪与积分仪

面积仪是测量由封闭平面曲线所围图形面积的工具, 也可用来计算由曲线给定的函数 y=f(x) 的定积分. 特殊类型的面积仪不仅可以估计 ydx ,还可以估计 y2dxy3dx.

若函数 y=f(x) 的图示已知,积分仪是用来绘制它的一个原函数 Y=axf(t)dt 的工具 (参见 [19.27]).

7. 数值积分

若定积分的被积函数太过复杂, 或其相应的不定积分不能表示成初等函数, 再或仅在一些离散的点处知道函数的值, 比如值表, 则要用到所谓的求积公式或者计算数学中的其他方法 (参见第 1252 页 19.3.1).

version 1.24.0