Post

定积分的定义与黎曼和极限的互化

定积分的严格定义、黎曼和极限转化为定积分的三条等价规则,以及两道例题的完整求解——含 2021 数一二真题选项辨析与夹逼定理应用。

定积分的定义

(一)定积分的概念

设函数 f(x)f(x) 在区间 [a,b][a,b] 上有定义,在区间 [a,b][a,b] 内任意插入 n1n-1 个分点

a=x0<x1<x2<<xn1<xn=b.a=x_0<x_1<x_2<\cdots<x_{n-1}<x_n=b.

将区间 [a,b][a,b] 分成 nn 个小区间 [xi1,xi][x_{i-1},x_i]i=1,2,,ni=1,2,\cdots,n,记

Δxi=xixi1\Delta x_i=x_i-x_{i-1}

表示第 ii 个小区间的长度。在 [xi1,xi][x_{i-1},x_i] 上任取一点 ξi\xi_i,作和式

i=1nf(ξi)Δxi,\sum_{i=1}^{n} f(\xi_i)\Delta x_i,

λ=max(Δx1,Δx2,,Δxn).\lambda=\max(\Delta x_1,\Delta x_2,\cdots,\Delta x_n).

若极限

limλ0i=1nf(ξi)Δxi\lim_{\lambda\to 0}\sum_{i=1}^{n} f(\xi_i)\Delta x_i

存在,且不依赖于区间 [a,b][a,b] 的分法,也不依赖于点 ξi\xi_i 的取法,则称此极限值为 f(x)f(x) 在区间 [a,b][a,b] 上的定积分,记为

abf(x)dx=limλ0i=1nf(ξi)Δxi.\int_a^b f(x)\,dx = \lim_{\lambda\to0} \sum_{i=1}^{n}f(\xi_i)\Delta x_i.

注:

(1) 定积分表示一个数值,取决于积分区间 [a,b][a,b] 与被积函数 f(x)f(x),与积分变量无关:

abf(x)dx=abf(t)dt.\int_a^b f(x)\,dx=\int_a^b f(t)\,dt.

(2)f(x)f(x)[0,1][0,1] 上连续,则 01f(x)dx\displaystyle\int_0^1 f(x)\,dx 存在。将 [0,1][0,1] 区间 nn 等分,取 Δxi=1n\Delta x_i=\dfrac{1}{n}ξi=in\xi_i=\dfrac{i}{n},由定义得

01f(x)dx=limni=1nf(ξi)Δxi=limn1ni=1nf ⁣(in).\int_0^1 f(x)\,dx = \lim_{n\to\infty}\sum_{i=1}^{n}f(\xi_i)\Delta x_i = \lim_{n\to\infty}\frac1n\sum_{i=1}^{n}f\!\left(\frac{i}{n}\right).

等式右端的极限可通过等式左端的积分来计算。右端点的划分为

0,  1n,  2n,  ,  i1n,  in,  ,  nn=1.0,\;\frac1n,\;\frac2n,\;\cdots,\;\frac{i-1}{n},\;\frac{i}{n},\;\cdots,\;\frac{n}{n}=1.

例 3.36(2021 数一、数二真题)

选择题例 3.36

设函数 f(x)f(x) 在区间 [0,1][0,1] 上连续,则 01f(x)dx=()\displaystyle\int_0^1 f(x)\,dx=(\quad)

  • A limnk=1nf ⁣(2k12n)12n=1201f(x)dx\displaystyle \lim_{n\to\infty}\sum_{k=1}^{n} f\!\left(\frac{2k-1}{2n}\right)\frac{1}{2n}=\frac12\int_0^1 f(x)\,dx
  • B limnk=1nf ⁣(2k12n)1n=01f(x)dx\displaystyle \lim_{n\to\infty}\sum_{k=1}^{n} f\!\left(\frac{2k-1}{2n}\right)\frac1n=\int_0^1 f(x)\,dx
  • C limnk=12nf ⁣(k12n)1n=201f(x)dx\displaystyle \lim_{n\to\infty}\sum_{k=1}^{2n} f\!\left(\frac{k-1}{2n}\right)\frac1n=2\int_0^1 f(x)\,dx
  • D limnk=12nf ⁣(k2n)2n=401f(x)dx\displaystyle \lim_{n\to\infty}\sum_{k=1}^{2n} f\!\left(\frac{k}{2n}\right)\frac2n=4\int_0^1 f(x)\,dx
解答

分析 (A)(B): k=1,,nk=1,\cdots,n,区间分成 nn 份,Δxi=1n\Delta x_i=\dfrac{1}{n},各分点为

0,  1n,  2n,  ,  [k1n,kn],  ,  n1n,  1.0,\;\frac1n,\;\frac2n,\;\cdots,\; \left[\frac{k-1}{n},\,\frac{k}{n}\right],\; \cdots,\;\frac{n-1}{n},\;1.

注意到

2k12n=k12n[k1n,kn],\frac{2k-1}{2n}=\frac{k-\frac12}{n}\in\left[\frac{k-1}{n},\frac{k}{n}\right],

ξk=2k12n\xi_k=\dfrac{2k-1}{2n} 是合法采样点,Δx=1n\Delta x=\dfrac{1}{n} 时 (B) 符合定积分定义:

01f(x)dx=limnk=1nf ⁣(2k12n)1n.\therefore\quad \int_0^1 f(x)\,dx = \lim_{n\to\infty} \sum_{k=1}^{n} f\!\left(\frac{2k-1}{2n}\right)\frac1n.

(A) 的系数为 12n=121n\dfrac{1}{2n}=\dfrac{1}{2}\cdot\dfrac{1}{n},故结果为 1201f(x)dx\dfrac{1}{2}\displaystyle\int_0^1 f(x)\,dx

分析 (C)(D): k=1,,2nk=1,\cdots,2n,区间分成 2n2n 份,Δxi=12n\Delta x_i=\dfrac{1}{2n},各分点为

0,  12n,  22n,  ,  [k12n,k2n],  ,  2n12n,  1.0,\;\frac{1}{2n},\;\frac{2}{2n},\;\cdots,\; \left[\frac{k-1}{2n},\,\frac{k}{2n}\right],\; \cdots,\;\frac{2n-1}{2n},\;1.

端点 k12n\dfrac{k-1}{2n}k2n\dfrac{k}{2n} 均可作为 ξi\xi_i,因此

01f(x)dx=limnk=12nf ⁣(k12n)12n=limnk=12nf ⁣(k2n)12n.\int_0^1 f(x)\,dx = \lim_{n\to\infty} \sum_{k=1}^{2n} f\!\left(\frac{k-1}{2n}\right)\frac{1}{2n} = \lim_{n\to\infty} \sum_{k=1}^{2n} f\!\left(\frac{k}{2n}\right)\frac{1}{2n}.

(C) 的系数为 1n=212n\dfrac{1}{n}=2\cdot\dfrac{1}{2n},故结果为 201f(x)dx2\displaystyle\int_0^1 f(x)\,dx; (D) 的系数为 2n=412n\dfrac{2}{n}=4\cdot\dfrac{1}{2n},故结果为 401f(x)dx4\displaystyle\int_0^1 f(x)\,dx

因此答案选 B


定积分定义的三条等价规则

nn 等分 [0,1][0,1] 为基准:

01f(x)dx=limn1ni=1nf ⁣(in).\int_0^1 f(x)\,dx = \lim_{n\to\infty} \frac1n\sum_{i=1}^{n}f\!\left(\frac{i}{n}\right).

① 步长的等价替换

1n1n+1001n+n(n)\frac1n\sim\frac1{n+100}\sim\frac1{n+\sqrt{n}}\quad(n\to\infty)

② 求和范围的有限缺失

i=1ni=1000n999\sum_{i=1}^{n}\sim\sum_{i=1000}^{n-999}

相当于丢掉了前 999 个和后 999 个矩形的面积,但每个矩形面积趋于 0,有限个矩形对积分结果无影响。

③ 采样点的等价替换

ξi[i1n,in]in,  i1n,  i23n,  i12n,  i22n   均可\xi_i\in\left[\frac{i-1}{n},\frac{i}{n}\right] \quad\Longrightarrow\quad \frac{i}{n},\;\frac{i-1}{n},\;\frac{i-\frac23}{n},\;\frac{i-\frac12}{n},\;\frac{i-\frac{\sqrt2}{2}}{n}\;\text{ 均可}

综合三条规则,下列极限均等于 01f(x)dx\displaystyle\int_0^1 f(x)\,dx

limn1n+ni=100n999f ⁣(i45n)=01f(x)dx\lim_{n\to\infty} \frac1{n+\sqrt{n}} \sum_{i=100}^{n-999} f\!\left(\frac{i-\frac45}{n}\right) =\int_0^1 f(x)\,dx

1n+n=nn+n1n\dfrac{1}{n+\sqrt{n}}=\dfrac{n}{n+\sqrt{n}}\cdot\dfrac{1}{n},而 nn+n1\dfrac{n}{n+\sqrt{n}}\to1

limn12n+5n+lnni=672n+912f ⁣(i1364432n)=01f(x)dx\lim_{n\to\infty} \frac1{2n+\sqrt{5n}+\ln n} \sum_{i=67}^{2n+912} f\!\left(\frac{i-\frac{136}{443}}{2n}\right) =\int_0^1 f(x)\,dx

12n+5n+lnn=2n2n+5n+lnn12n12n\dfrac{1}{2n+\sqrt{5n}+\ln n}=\dfrac{2n}{2n+\sqrt{5n}+\ln n}\cdot\dfrac{1}{2n}\to\dfrac{1}{2n},且 ξi[i12n,i2n]\xi_i\in\left[\dfrac{i-1}{2n},\dfrac{i}{2n}\right]

limn13n+6n+32n0.8i=93n88f ⁣(i0.143n)=01f(x)dx\lim_{n\to\infty} \frac1{3n+6\sqrt{n}+32n^{0.8}} \sum_{i=9}^{3n-88} f\!\left(\frac{i-0.14}{3n}\right) =\int_0^1 f(x)\,dx

13n+6n+32n0.8=3n3n+6n+32n0.813n13n\dfrac{1}{3n+6\sqrt{n}+32n^{0.8}}=\dfrac{3n}{3n+6\sqrt{n}+32n^{0.8}}\cdot\dfrac{1}{3n}\to\dfrac{1}{3n},且 ξi[i13n,i3n]\xi_i\in\left[\dfrac{i-1}{3n},\dfrac{i}{3n}\right]


例 1.81

传统方法、次量级、想到夹逼——放缩后的 sin\sin 如何处理?只能用定积分定义。

解答题例 1.81

求极限

limn(sinπnn+1+sin2πnn+12++sinnπnn+1n).\lim_{n\to\infty} \left( \frac{\sin\dfrac{\pi}{n}}{n+1} +\frac{\sin\dfrac{2\pi}{n}}{n+\dfrac12} +\cdots +\frac{\sin\dfrac{n\pi}{n}}{n+\dfrac1n} \right).
解答

由于 sinkπn0\sin\dfrac{k\pi}{n}\ge0k=1,,nk=1,\cdots,n),对每一项放缩分母,得夹逼不等式:

1n+1k=1nsinkπn    In    1n+1nk=1nsinkπn.\frac{1}{n+1}\sum_{k=1}^{n}\sin\frac{k\pi}{n} \;\le\; I_n \;\le\; \frac{1}{n+\dfrac1n}\sum_{k=1}^{n}\sin\frac{k\pi}{n}.

左端:

1n+1k=1nsinkπn=nn+11nk=1nsinkπnn101sinπxdx=1πcosπx01=2π.\frac{1}{n+1}\sum_{k=1}^{n}\sin\frac{k\pi}{n} =\frac{n}{n+1}\cdot\frac1n\sum_{k=1}^{n}\sin\frac{k\pi}{n} \xrightarrow{n\to\infty} 1\cdot\int_0^1\sin\pi x\,dx = -\frac1\pi\cos\pi x\,\Big|_0^1 =\frac2\pi.

右端:

1n+1nk=1nsinkπn=nn+1n1nk=1nsinkπnn101sinπxdx=2π.\frac{1}{n+\dfrac1n}\sum_{k=1}^{n}\sin\frac{k\pi}{n} =\frac{n}{n+\dfrac1n}\cdot\frac1n\sum_{k=1}^{n}\sin\frac{k\pi}{n} \xrightarrow{n\to\infty} 1\cdot\int_0^1\sin\pi x\,dx =\frac2\pi.

由夹逼定理:

limnIn=2π.\lim_{n\to\infty} I_n=\frac2\pi.
Back to archive

Discussion

Comments

Post

Share questions, corrections, or extra notes about this post.