定积分及其基本性质

引入

1. 速度的例子
   定义速度为时间的函数$v(t)$。对于任意的时间间隔$\Delta t$，对应的路程变化量为$\Delta s=v(t)\ast \Delta t$。

对于任意有限长的时间间隔，我们都可以将其细分成更多的时间间隔，这样总的路程就是$\sum s={\sum }_i{v}_i(t)\ast \Delta t$。

问题是，如果每段速度的对于时间的常量，以上的计算公式是正确的。那么如何使得任意的速度对时间的函数都满足以上的条件呢？

我们可以引入极限。

定义

Def. 1 定积分

对于函数$f(x)$，若其在$[a,b]$区间上有定义，对其进行如下操作：

在区间内选定$n+1$个点，其中$a<x_0<x_1<...<x_n=b$。

记$\Delta x_i=x_i-x_{i-1},i\in (1,n]$. 在每个$\Delta$内取任一${\xi }_i\in [x_i,x_{i-1}]$。

记和式 $I={\sum }_{i}f({\xi }_i)\ast \Delta x_i$。

设$\lambda =max\Delta x_i$.

若$\underset{\lambda \to 0}{\lim }I$存在，记$\underset{\lambda \to 0}{\lim }I={\int }_a^{b}f(x)dx$.

Notes on Def. 1

1. $\lambda \to 0$ 不等价于 $n\to \infty$。
2. 极限的存在与区间分割的方法无关，即，任意的分割都应该得到极限存在，但任意的分割必须保证$\lambda \to 0$.
3. ${\int }_a^{b}f(x)dx=\underset{x\to \infty }{\lim }{\sum }_{i}f(a+\frac{i\ast (b-a)}{a})\ast \frac{b-a}{n}$

定积分的基本性质

1. ${\int }_a^{b}1dx=(b-a)$

2. ${\int }_a^b{k}_{1}f(x)+k_{2}g(x)=k_1{\int }_a^{b}f(x)+k_2{\int }_a^{b}g(x)$
   Proof:
   实际上这部分可以分解成两个性质，加法性质和乘积性质。

3. ${\int }_a^{b}f(x)dx=-{\int }_b^{a}f(x)dx$
   Proof:由2即得。

4. ${\int }_a^{a}f(x)dx=0$

   Proof:由2即得。

5. 可积的必要条件：函数有界。

   Proof:极限的加法性质

6. 可积的充分条件：有界函数在区间上至多有有限个间断点或单调。

   证明超出教材范围。 立即得到推论： 连续有界函数必可积。即，有限区间内的连续函数必可积。

7. ${\int }_a^{b}f(x)dx+{\int }_b^{c}f(x)dc={\int }_a^{c}f(x)dx$

   展开极限式处理连接处进行讨论即可。

8. 保号性 设$f(x)$在$[a,b]$上可积非负。于是有${\int }_a^{b}f(x)dx\ge 0$。

   Proof:

基本定理及其证明

Th1. 牛顿-莱布尼兹公式

设$F(x)$是$f(x)$的一个原函数。有${\int }_a^{b}f(x)dx=F(b)-F(a)$.

Proof:

${\int }_a^{b}f(x)dx=\underset{\lambda \to \infty }{\lim }\sum f({\xi }_i)\Delta x_i=\sum F^{\prime }({\xi }_i)\Delta x_i=\sum F(x_i)-F(x_{i-1})=F(b)-F(a)$

Th2. 积分中值定理

设$f(x)\in [a,b]$，可积。则存在$\xi \in (a,b)$，使得${\int }_a^{b}f(x)dx=f(\xi )(b-a)$。

Proof:

​ 设$\frac{1}{b-a}{\int }_a^{b}f(x)dx=\mu$,即得${\int }_a^b[f(x)-\mu ]dx=0$。

​ 假设不存在$\xi$使得$f(\xi )=\mu$，那么由于函数连续以及极限的保号性，上述积分值必然不为0.

Th3. 广义积分中值定理

设$f(x),g(x)\in C[a,b]$，且$g(x)$不变号。则存在$\xi \in (a,b)$，使得${\int }_a^{b}f(x)g(x)dx=f(\xi ){\int }_a^{b}g(x)dx$。

可以类似Th2进行证明。对于闭区间上也有类似结论，其证明使用的是介值定理。

Th4. 微积分基本定理

设$f(x)\in [a,b]$，可积。设$\Phi (x)={\int }_a^{x}f(x)dx$,于是有${\Phi }^{\prime }(x)=f(x)$

Proof:

$\Delta \Phi =\varphi (x+\Delta x)-\Phi (x)={\int }_a^{x+\Delta x}f(x)dx-{\int }_a^{x}f(x)dx={\int }_x^{x+\Delta x}f(x)dx=f(\xi )\Delta x$

当$\Delta x\to 0$，上式变为$\underset{\Delta x\to 0}{\lim }\frac{\Delta \Phi }{\Delta x}=f(x)$. 得证。

Th5. 莱布尼兹公式

$\frac{d}{dx}{\int }_{\alpha (x)}^{\beta (x)}f(t)dt=f(\beta (x)){\beta }^{\prime }(x)-f(\alpha (x)){\alpha }^{\prime }(x)$

该公式的证明利用换元法是显然的。目前还没有证明换元法。

常见性质

分部积分法

${\int }_a^{b}udv=uv{|}_a^b-{\int }_a^{b}vdu$

换元积分法

${\int }_a^{b}f(x)dx={\int }_{\alpha }^{\beta }f(\varphi (t)){\varphi }^{\prime }(t)dt$

Proof: $rhs=F(\varphi (\beta ))-F(\varphi (\alpha ))=F(b)-F(a)=lhs$

sin(x) 和 cos(x)的性质

${\int }_0^{\frac{\pi }{2}}f(sin(x))dx={\int }_0^{\frac{\pi }{2}}f(cos(x))dx$

Proof: 令$t=x-\frac{\pi }{2}$

${\int }_0^{\pi }xf(sin(x))dx=\frac{\pi }{2}{\int }_0^{\pi }xf(sin(x))dx$

Proof: 令$t=x-\pi$.

${\int }_0^{\frac{\pi }{2}}co{s}^m(x)dx$(Wallis公式)

Proof:

由等价性即得对于$sin(x)$有同样的结果