卷二 · 数学之美7 分钟阅读

函数积分六:微积分基本定理

定义1:变上限积分

设ff在[a,b][a,b]上可积,从而对任何x∈[a,b]x \in [a,b],ff在[a,x][a,x]上也可积,因此定义函数

F(x)=∫axf(t)dt F(x) = \int_a^x f(t) \mathrm{d} t

其中xx可在[a,b][a,b]上变化,称F(x)F(x)为上限变动的积分。

定理1

设ff在[a,b][a,b]上可积,那么变上限积分F(x)=∫axf(t)dt\displaystyle F(x) = \int_a^x f(t) \mathrm{d} t在[a,b][a,b]上连续。

证:任取一点x0∈(a,b)x_0 \in (a,b),则

F(x0+h)−F(x0)=∫ax0+hf(t)dt−∫ax0f(t)dt=∫x0x0+hf(t)dt \begin{aligned} F(x_0 + h) - F(x_0) &= \int_a^{x_0+h} f(t) \mathrm{d} t - \int_a^{x_0} f(t) \mathrm{d} t \\ &= \int_{x_0}^{x_0 + h} f(t) \mathrm{d} t \end{aligned}

这里hh可正可负,但是x0+h∈[a,b]x_0 + h \in [a,b]。由于ff可知,从而由函数积分三的定理1可知,ff有界,设∣f(x)∣≤M|f(x)| \le M。当h>0h>0时,由函数积分五的定理3可知
∣F(x0+h)−F(x0)∣=∣∫x0x0+hf(t)dt∣≤∫x0x0+h∣f(t)∣dt≤Mh |F(x_0 + h) - F(x_0)| = \left| \int_{x_0}^{x_0 + h} f(t) \mathrm{d} t \right| \le \int_{x_0}^{x_0 + h} |f(t)| \mathrm{d} t \le Mh

当h<0h < 0时,
∣F(x0+h)−F(x0)∣=∣∫x0x0+hf(t)dt∣=∣∫x0+hx0f(t)dt∣≤∫x0+hx0∣f(t)∣dt≤M(−h)≤M∣h∣ |F(x_0 + h) - F(x_0)| = \left| \int_{x_0}^{x_0 + h} f(t) \mathrm{d} t \right| = \left| \int_{x_0+h}^{x_0} f(t) \mathrm{d} t \right| \le \int_{x_0+h}^{x_0} |f(t)| \mathrm{d} t \le M (-h) \le M|h|

所以
∣F(x0+h)−F(x0)∣≤∣Mh∣ |F(x_0 + h) - F(x_0)| \le |Mh|

令h→0h \to 0,可知FF在x0∈(a,b)x_0 \in (a,b)处连续。x0=ax_0 = a或x0=bx_0 = b时,利用上述方法容易证得。

Q.E.D.

定理2

设函数ff在[a,b][a,b]上可积,在点x0∈[a,b]x_0 \in [a,b]出连续,那么FF在x0x_0处可导,且

F′(x0)=f(x0) F^\prime(x_0) = f(x_0)

证:由定理1可得

F(x0+h)−F(x0)=∫x0x0+hf(t)dt F(x_0 + h) - F(x_0) = \int_{x_0}^{x_0 + h} f(t) \mathrm{d} t

从而
F(x0+h)−F(x0)h−f(x0)=1h∫x0x0+hf(t)dt−1h∫x0x0+hf(x0)dt=1h∫x0x0+h(f(t)−f(x0))dt \begin{aligned} \frac{F(x_0 + h) - F(x_0)}{h} - f(x_0) &= \frac{1}{h} \int_{x_0}^{x_0 + h} f(t) \mathrm{d} t - \frac{1}{h} \int_{x_0}^{x_0 + h} f(x_0) \mathrm{d} t \\ &= \frac{1}{h} \int_{x_0}^{x_0 + h} (f(t) - f(x_0)) \mathrm{d} t \end{aligned}

由于ff在x0x_0处连续,对任意给定的ε>0\varepsilon > 0,存在δ>0\delta > 0,使得当∣t−x0∣<δ|t - x_0| < \delta且t∈(a,b)t \in (a,b)时,有
∣f(t)−f(x0)∣<ε |f(t) - f(x_0)| < \varepsilon

现取0<∣h∣<δ0 < |h| < \delta,从而有
∣F(x0+h)−F(x0)h−f(x0)∣≤1∣h∣∣∫x0x0+h∣f(t)−f(x0)∣dt∣<1∣h∣ε∣h∣=ε \begin{aligned} \left| \frac{F(x_0 + h) - F(x_0)}{h} - f(x_0) \right| &\le \frac{1}{|h|} \left|\int_{x_0}^{x_0 + h} |f(t) - f(x_0)| \mathrm{d} t \right|\\ & < \frac{1}{|h|} \varepsilon |h| = \varepsilon \end{aligned}

从而
F′(x0)=lim⁡h→0F(x0+h)−F(x0)h=f(x0) F^\prime(x_0) = \lim \limits_{h \to 0} \frac{F(x_0 + h) - F(x_0)}{h} = f(x_0)

Q.E.D.

定理3:微积分基本定理

设函数ff在[a,b][a,b]上连续,那么

ddx∫axf(t)dt=f(x)(a≤x≤b) \frac{\mathrm{d}}{\mathrm{d}x} \int_a^x f(t) \mathrm{d} t = f(x) \quad (a \le x \le b)

证:利用定理2可直接推出。

Q.E.D.

定理4

[a,b]上的连续函数一定有原函数。

证:利用定理3可直接推出。

Q.E.D.

定理5:Newton-Leibniz

设ff在[a,b][a,b]上连续,GG是ff在[a,b][a,b]上的任一原函数,那么

∫abf(x)dx=G(b)−G(a) \int_a^b f(x) \mathrm{d} x = G(b) - G(a)

证:由定理3可知F(x)=∫axf(t)dt\displaystyle F(x) = \int_a^x f(t) \mathrm{d} t是ff的一个原函数,所以

∫axf(t)dt=G(x)+c \int_a^x f(t) \mathrm{d} t = G(x) + c

在上式中令x=ax = a,得c=−G(a)c = -G(a),将cc代入上式,再令x=bx=b即证得。

Q.E.D.

定理6

如果函数GG在[a,b][a,b]上有连续的导函数,那么

∫axG′(t)dt=G(x)−G(a)(a≤x≤b) \int_a^x G^\prime(t) \mathrm{d} t = G(x) - G(a) \quad (a \le x \le b)

证:从定理5的证明过程可以立即得出。

Q.E.D.

定理7:Taylor公式的积分余项

设函数ff在(a,b)(a,b)上有直到n+1n+1阶的连续导函数,那么对任意固定的x0∈(a,b)x_0 \in (a,b),有

f(x)=f(x0)+11!f′(x0)(x−x0)+⋯+1n!f(n)(x0)(x−x0)n+Rn(x) f(x) = f(x_0) + \frac{1}{1!}f^\prime(x_0) (x - x_0) + \cdots + \frac{1}{n!}f^{(n)} (x_0) (x - x_0)^n + R_n(x)

其中
Rn(x)=1n!∫x0x(x−t)nf(n+1)(t)dt(a<x<b) R_n (x) = \frac{1}{n!}\int_{x_0}^x (x - t)^n f^{(n+1)}(t) \mathrm{d} t \quad (a < x < b)

证:记

Tn(f,x0;x)=∑k=0nf(k)(x0)k!(x−x0)k T_n(f, x_0;x) = \sum_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x - x_0)^k

则
Rn(x)=f(x)−Tn(f,x0;x) R_n(x) = f(x) - T_n(f, x_0;x)

可知
Rn(k)(x0)=0(k=0,1,⋯ ,n),Rn(n+1)(x)=f(n+1)(x) R_n^{(k)}(x_0) = 0 (k=0,1,\cdots,n), \quad R_n^{(n+1)}(x) = f^{(n+1)}(x)

连续使用分部积分公式可得
Rn(x)=∫x0xRn′(t)dt=∫x0xRn′(t)d(t−x)=(t−x)Rn′(t)∣x0x−∫x0x(t−x)Rn′′dt=−12∫x0xRn′′(t)d(t−x)2=−12(t−x)2Rn′′(t)∣x0x+12∫x0x(t−x)2Rn′′′(t)dt=12∫x0x(t−x)2R′′′(t)dt=⋯=(−1)n1n!∫x0x(t−x)nRn(n+1)(t)dt=1n!∫x0x(x−t)nf(n+1)(t)dt \begin{aligned} R_n(x) &= \int_{x_0}^x R^\prime_n(t) \mathrm{d} t = \int_{x_0}^x R^\prime_n(t) \mathrm{d} (t-x) \\ &= (t-x)R^\prime_n(t) \Big|_{x_0}^x - \int_{x_0}^x (t-x)R_n^{\prime\prime} \mathrm{d}t \\ &= -\frac{1}{2} \int_{x_0}^x R_n^{\prime\prime}(t) \mathrm{d} (t - x)^2 \\ &= -\frac{1}{2} (t-x)^2 R_n^{\prime\prime}(t) \Big|_{x_0}^x + \frac{1}{2}\int_{x_0}^x (t - x)^2 R_n^{\prime\prime\prime}(t) \mathrm{d} t \\ &= \frac{1}{2} \int_{x_0}^x (t - x)^2 R^{\prime\prime\prime}(t) \mathrm{d} t \\ &= \cdots \\ &= (-1)^n \frac{1}{n!}\int_{x_0}^x (t - x)^n R_n^{(n+1)} (t) \mathrm{d} t \\ &= \frac{1}{n!} \int_{x_0}^x (x - t)^n f^{(n+1)}(t) \mathrm{d} t \end{aligned}

Q.E.D.

继续这个系列