【考研数学】高等数学第三模块——积分学 | Part I 不定积分与Part II 定积分（产生背景及定义）

一、不定积分

1.1 基本概念

原函数—— 设 $f(x),F(x)$ 为定义于 $I$ 上的函数，若对一切的 $x\in I$ ，有 $F(x{)}^{\prime }=f(x)$ ，称 $F(x)$ 为 $f(x)$ 的原函数。

1，连续函数是一定存在原函数的，但反之不对。同时我们也要记住，既然原函数可导，那原函数肯定也是连续的。
2，有第一类间断点的函数一定不存在原函数，但有第二类间断点的函数可能有原函数。
3，若 $f(x)$ 有原函数，则它一定有无数个原函数，且任意两个原函数相差常数。可以说，不定积分就是将一个函数映射到它的原函数群。

不定积分—— 设 $F(x)$ 为 $f(x)$ 的一个原函数，则 $f(x)$ 的所有原函数 $F(x)+C$ 称为 $f(x)$ 的不定积分，记为 $\int f(x)dx=F(x)+C.$

不定积分如如下性质：

1.2 不定积分基本公式与积分法

这是基本功了，不多赘述。$$\int secxdx=ln|secx+tanx|+C，\int cscxdx=ln|cscx-cotx|+C$$

我发现可能有些老师会让我们记住那些根号下变形的不定积分，如：$$\int \frac{dx}{x^2+a^2}=\frac{1}{a}arctan\frac{x}{a}+C$$
有很多这样积分变成反三角的，但是这些反三角又没啥规律，就算记住了，考试也不敢用。最后还是现场推，所以只要掌握了这样的一个推法，考试多花点时间推一推就好，省的纠结背的对不对。

积分法有凑微分和换元积分法，还有分部积分法。

1.3 两类重要函数的不定积分

1.3.1 有理函数

有理函数就是指两个多项式相除，比如：$$\int \frac{5x-1}{x^2-x-2}dx$$ 当分子的次数小于分母的次数时，称该多项式为真分式，否则称为假分式。如上面的积分就是真分式。

1. 对于真分式，一般分子不变，分母进行因式分解，最后拆成部分和形式。
2. 对于假分式，一般将假分式拆成多项式加上真分式，再按照 1. 进行处理。

举个例子：$$\int \frac{5x-1}{x^2-x-2}dx=\int \frac{5x-1}{(x+1)(x-2)}dx=2\int \frac{dx}{x+1}dx+3\int \frac{dx}{x-2}dx$$ $$=2ln|x+1|+3ln|x-1|$$$$\int \frac{x^3+3}{x^2(1+x)}dx=\int 1+\frac{3-x^2}{x^2(1+x)}dx=\int (1+\frac{A}{x}+\frac{B}{x+1}+\frac{C}{x^2})dx$$用待定系数法求出 $A,B,C$ 即可。最后的结果为 $x-3ln|x|-\frac{3}{x}+2ln|x+1|+C.$

1.3.2 三角有理函数

有一个万能公式，一般不采用。$$令tan\frac{x}{2}=u,sinx=\frac{2u}{1+u^2},cosx=\frac{1-u^2}{1+u^2}.$$

二、定积分及其应用

2.1 定积分产生背景

2.1.1 运动问题的路程计算

设运动物体速度 $v=v(t)(t\in [T_1,T_2]$ ，求物体经过的路程。

（1）取 $T_1=t_0<t_1<\cdots <t_n=T_2$ ，则 $[T_1,T_2]=[t_0,t_1]\bigcup [t_1,t_2]\bigcup \cdots \bigcup [t_{n-1},t_n]$ ，其中 $\Delta t_i=t_i-t_{i-1}.$

将 $T_1$ 到 $T_2$ 这段时间，分为 $n$ 个小段，每一小段的时长为 $\Delta t_i.$

（2）任取 ${\tau }_i\in [t_i,t_{i-1}]$ ，$\Delta s_i\approx v({\tau }_i)\Delta t_i$ ，则 $s\approx {\sum }_{i-1}^{n}v({\tau }_i)\Delta t_i.$

任取一小段时长中的某一个时刻，可近似计算出该小段物体运动的距离，则总距离可近似为每一个小段运动距离之和。

（3）取 $\lambda =max(\Delta t_i)$ ，则路程精确值为： $$s=\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}v({\tau }_i)\Delta t_i.$$

用 $\lambda$ 来表征分成这些小区间的大小，当最大的小区间都趋于 0 时，说明已经分的足够细了，用极限来精确。此时物体运动距离可求得精确值为各小段运动距离之和。

2.1.2 曲边梯形的面积

这个也是利用这样的分成无数个小段的思想，当每一个小段无穷小时，取极限可以得到总面积的精确值。

2.2 定积分的定义

将上述实际问题抽象为一个通用函数模型，可得到定积分的定义如下。

设 $y=f(x)(x\in [a,b])$ 有界，
（1）取 $a=x_0<x_1<\cdots <x_n=b$ ，则 $[a,b]=[x_0,x_1]\bigcup [x_1,x_2]\bigcup \cdots \bigcup [x_{n-1},x_n]$ ，其中 $\Delta x_i=x_i-x_{i-1};$
（2）任取 ${\xi }_i\in [x_i,x_{i-1}]$ ，$\Delta s_i\approx v({\xi }_i)\Delta x_i$ ，则 $s\approx {\sum }_{i-1}^{n}v({\xi }_i)\Delta x_i;$
（3）取 $\lambda =max(\Delta x_i)$ ，若极限 $$\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i)\Delta x_i.$$ 存在，称 $f(x)$ 在区间 $[a,b]$ 上可积，称该极限为 $f(x)$ 在 $[a,b]$ 上的定积分，记为 ${\int }_a^{b}f(x)dx$ ，即有： $${\int }_a^{b}f(x)dx=\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i)\Delta x_i.$$

1，${\int }_a^{a}f(x)dx=0,{\int }_b^{a}f(x)dx=-{\int }_a^{b}f(x)dx.$
2，若 $f(x)$ 在区间 $[a,b]$ 上连续或只有第一类间断点，则 $f(x)$ 在 $[a,b]$ 上可积。
3，定积分的值与区间的分法无关，比如我可以等分，也可以随心分。也与 ${\xi }_i$ 在小区间内的取值无关，我可以取左端点，也可以取右端点，还可以取中心、四分点之类的。
4，有界不一定可积，如狄利克雷函数，${\xi }_i$ 取有理数得到一个值，取无理数又得到一个值。
5，对于极限： $$\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i)\Delta x_i.$$ $\lambda \to 0$ 和 $n\to \infty$ 不是等价的。前者可以推出后者，但后者不能推出前者。即将区间分为无穷个小区间，不一定足够精确，也就不一定能使用定积分。我可以第一个区间取一半，后面的区间在另一半区间分成无穷个。
7，定积分几何意义为函数与 $x$ 轴所围面积。在上方为正，下方为负。

若函数 $f(x)$ 在 $[0,1]$ 上可积，这可不得了，请看我的。

定积分关于奇偶性的一些结论如下：$$f(x)为奇函数\to {\int }_a^{x}f(x)dx为偶函数$$但 $f(x)$ 为偶函数无法得到原函数为奇函数，只能得到积分下限为 0 的原函数为奇函数。

写在最后

关于定积分的基本性质与理论，以及广义积分和应用，放在下一篇文章。