定积分的定义
(一)定积分的概念
设函数 f(x) 在区间 [a,b] 上有定义,在区间 [a,b] 内任意插入 n−1 个分点
a=x0<x1<x2<⋯<xn−1<xn=b.
将区间 [a,b] 分成 n 个小区间 [xi−1,xi],i=1,2,⋯,n,记
Δxi=xi−xi−1
表示第 i 个小区间的长度。在 [xi−1,xi] 上任取一点 ξi,作和式
i=1∑nf(ξi)Δxi,
记
λ=max(Δx1,Δx2,⋯,Δxn).
若极限
λ→0limi=1∑nf(ξi)Δxi
存在,且不依赖于区间 [a,b] 的分法,也不依赖于点 ξi 的取法,则称此极限值为 f(x) 在区间 [a,b] 上的定积分,记为
∫abf(x)dx=λ→0limi=1∑nf(ξi)Δxi.
注:
(1) 定积分表示一个数值,取决于积分区间 [a,b] 与被积函数 f(x),与积分变量无关:
∫abf(x)dx=∫abf(t)dt.
(2) 若 f(x) 在 [0,1] 上连续,则 ∫01f(x)dx 存在。将 [0,1] 区间 n 等分,取 Δxi=n1,ξi=ni,由定义得
∫01f(x)dx=n→∞limi=1∑nf(ξi)Δxi=n→∞limn1i=1∑nf(ni).
等式右端的极限可通过等式左端的积分来计算。右端点的划分为
0,n1,n2,⋯,ni−1,ni,⋯,nn=1.
例 3.36(2021 数一、数二真题)
选择题例 3.36
设函数 f(x) 在区间 [0,1] 上连续,则 ∫01f(x)dx=()
- A n→∞limk=1∑nf(2n2k−1)2n1=21∫01f(x)dx
- B n→∞limk=1∑nf(2n2k−1)n1=∫01f(x)dx
- C n→∞limk=1∑2nf(2nk−1)n1=2∫01f(x)dx
- D n→∞limk=1∑2nf(2nk)n2=4∫01f(x)dx
解答
分析 (A)(B): k=1,⋯,n,区间分成 n 份,Δxi=n1,各分点为
0,n1,n2,⋯,[nk−1,nk],⋯,nn−1,1.
注意到
2n2k−1=nk−21∈[nk−1,nk],
故 ξk=2n2k−1 是合法采样点,Δx=n1 时 (B) 符合定积分定义:
∴∫01f(x)dx=n→∞limk=1∑nf(2n2k−1)n1.
(A) 的系数为 2n1=21⋅n1,故结果为 21∫01f(x)dx。
分析 (C)(D): k=1,⋯,2n,区间分成 2n 份,Δxi=2n1,各分点为
0,2n1,2n2,⋯,[2nk−1,2nk],⋯,2n2n−1,1.
端点 2nk−1 和 2nk 均可作为 ξi,因此
∫01f(x)dx=n→∞limk=1∑2nf(2nk−1)2n1=n→∞limk=1∑2nf(2nk)2n1.
(C) 的系数为 n1=2⋅2n1,故结果为 2∫01f(x)dx;
(D) 的系数为 n2=4⋅2n1,故结果为 4∫01f(x)dx。
因此答案选 B。
定积分定义的三条等价规则
以 n 等分 [0,1] 为基准:
∫01f(x)dx=n→∞limn1i=1∑nf(ni).
① 步长的等价替换
n1∼n+1001∼n+n1(n→∞)
② 求和范围的有限缺失
i=1∑n∼i=1000∑n−999
相当于丢掉了前 999 个和后 999 个矩形的面积,但每个矩形面积趋于 0,有限个矩形对积分结果无影响。
③ 采样点的等价替换
ξi∈[ni−1,ni]⟹ni,ni−1,ni−32,ni−21,ni−22 均可
综合三条规则,下列极限均等于 ∫01f(x)dx:
n→∞limn+n1i=100∑n−999f(ni−54)=∫01f(x)dx
(n+n1=n+nn⋅n1,而 n+nn→1)
n→∞lim2n+5n+lnn1i=67∑2n+912f(2ni−443136)=∫01f(x)dx
(2n+5n+lnn1=2n+5n+lnn2n⋅2n1→2n1,且 ξi∈[2ni−1,2ni])
n→∞lim3n+6n+32n0.81i=9∑3n−88f(3ni−0.14)=∫01f(x)dx
(3n+6n+32n0.81=3n+6n+32n0.83n⋅3n1→3n1,且 ξi∈[3ni−1,3ni])
例 1.81
传统方法、次量级、想到夹逼——放缩后的 sin 如何处理?只能用定积分定义。
解答题例 1.81
求极限
n→∞limn+1sinnπ+n+21sinn2π+⋯+n+n1sinnnπ.
解答
由于 sinnkπ≥0(k=1,⋯,n),对每一项放缩分母,得夹逼不等式:
n+11k=1∑nsinnkπ≤In≤n+n11k=1∑nsinnkπ.
左端:
n+11k=1∑nsinnkπ=n+1n⋅n1k=1∑nsinnkπn→∞1⋅∫01sinπxdx=−π1cosπx01=π2.
右端:
n+n11k=1∑nsinnkπ=n+n1n⋅n1k=1∑nsinnkπn→∞1⋅∫01sinπxdx=π2.
由夹逼定理:
n→∞limIn=π2.
Discussion
Comments
Share questions, corrections, or extra notes about this post.