1.3 一元函数积分学

第一章 数学分析

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

1.3 一元函数积分学

1. 不定积分

   对函数$f(x)$，若存在函数$F(x)$，使得在区间$I$上有$F^{\prime }(x)=f(x)$，则$F(x)$为$f(x)$在$I$上的原函数。

   记$\int f(x)dx$为全体原函数，表示一个函数族

   $$\int f(x)dx=\int dF(x)=F(x)+C$$

   称$F(x)+C$为函数$f(x)$的不定积分。

2. 常用积分公式（求导部分出现过的不再介绍）

   $$\begin{array}{rl}& (1)\int \frac{1}{x}dx=\ln |x|+C\\ & (2)\int \csc xdx=\ln |\csc x-\cot x|+C\\ & (3)\int \sec xdx=\ln |\sec x+\tan x|+C\\ & (4)\int \tan xdx=-\ln |\cos x|+C\\ & (5)\int \cot xdx=\ln |\sin x|+C\\ & (6)\int \frac{1}{x^2+a^2}dx=\frac{1}{a}\arctan \frac{x}{a}+C\\ & (7)\int \frac{1}{\sqrt{a^2-x^2}}dx=\arcsin \frac{x}{a}+C\\ & (8)\int \frac{1}{a^2-x^2}dx=\frac{1}{2a}\ln |\frac{a+x}{a-x}|+C\\ & (9)\int \frac{1}{x^2-a^2}dx=\frac{1}{2a}\ln |\frac{a-x}{a+x}|+C\\ & (10)\int \frac{1}{\sqrt{x^2\pm a^2}}dx=\ln |x+\sqrt{x^2\pm a^2}|+C\\ & (11)\int \frac{x}{\sqrt{1+x^2}}dx=\sqrt{1+x^2}+C\end{array}$$

3. 积分求解常用换元方法

   三角换元、倒代换、有理分式拆分、凑微分（技巧性最强）、奇偶性构造（定积分）

4. 定积分的基本性质

   $$\begin{array}{rl}& (1)若f(x)\ge g(x),则{\int }_a^{b}f(x)dx\ge {\int }_a^{b}g(x)dx\\ & (2)若m\le f(x)\le M，则m(b-a)\le {\int }_a^{b}f(x)dx\le M(b-a)\end{array}$$

5. 第一积分中值定理

   若函数$f(x),g(x)$在$[a,b]$上连续，且$g(x)$在$[a,b]$上不变号，则

   $$\exists \xi \in [a,b],s.t.{\int }_a^{b}f(x)g(x)dx=f(\xi ){\int }_a^{b}g(x)dx$$

   特别地，若函数$f(x)$在$[a,b]$上连续，则

   $$\exists \xi \in [a,b],s.t.{\int }_a^{b}f(x)dx=f(\xi )(b-a)$$

6. 第二积分中值定理

   若函数$f(x)$在$[a,b]$上可积，$g(x)$在$[a,b]$上单调递减，且$g(x)\ge 0$，则

   $$\exists \xi \in [a,b],s.t.{\int }_a^{b}f(x)g(x)dx=g(a){\int }_a^{\xi }f(x)dx$$

   若函数$f(x)$在$[a,b]$上可积，$g(x)$在$[a,b]$上单调递增，且$g(x)\ge 0$，则

   $$\exists \eta \in [a,b],s.t.{\int }_a^{b}f(x)g(x)dx=g(b){\int }_{\eta }^{b}f(x)dx$$

7. 第三积分中值定理

   设函数$f(x)$在$[a,b]$上可积，$g(x)$在$[a,b]$上单调，则

   $$\exists \xi \in [a,b],s.t.{\int }_a^{b}f(x)g(x)dx=g(a){\int }_a^{\xi }f(x)dx+g(b){\int }_{\xi }^{b}f(x)dx$$

8. 微积分基本定理：$Newton-Leibniz$公式

   若$F(x)$是连续函数$f(x)$在$[a,b]$上的一个原函数，则

   $${\int }_a^{b}f(x)dx=F(b)-F(a)$$

9. 变上限函数求导公式

   $$\frac{d}{dx}{\int }_{v(x)}^{u(x)}f(t)dt=f[u(x)]u^{\prime }(x)-f[v(x)]v^{\prime }(x)$$

10. 对称区间的定积分

    若$f(x)$在对称区间$[-a,a]$上可积，则

    $$\begin{array}{rl}& 若f(x)是偶函数,则{\int }_{-a}^{a}f(x)dx=2{\int }_0^{a}f(x)dx\\ & 若f(x)是奇函数,则{\int }_{-a}^{a}f(x)dx=0\end{array}$$

11. 定积分的几何应用

    平面图形的面积

    $$\begin{array}{rl}& 直角坐标形式:{\int }_a^{b}f(x)dx,(x,y)\in [a,b]\times [0,f(x)]\\ & 极坐标形式:{\int }_{\alpha }^{\beta }\frac{1}{2}{r}^2(\theta )d\theta ,(r,\theta )\in [0,r(\theta )]\times [\alpha ,\beta ]\\ & 参数形式:{\int }_u^{v}y(t)dx(t),(x,y)\in [x(u),x(v)]\times [0,y(t)]\end{array}$$

    曲线$y=f(x)$绕$y$轴旋转得到的旋转体体积

    $$\begin{array}{rl}& 直角坐标形式:{\int }_a^{b}2\pi f(x)xdx\\ & 参数形式:{\int }_u^{v}2\pi x(t)y(t)dx(t)\end{array}$$

    曲线$y=f(x)$绕$x$轴旋转得到的旋转曲面面积

    $$\begin{array}{rl}& 直角坐标形式:2\pi {\int }_a^{b}y\sqrt{1+[f^{\prime }(x){]}^2}dx\\ & 参数形式:2\pi {\int }_u^{v}y(t)\sqrt{1+(\frac{dy}{dx}{)}^2}dx(t)\end{array}$$

    平面曲线的弧长公式

    $$\begin{array}{rl}& 直角坐标形式:{\int }_a^b\sqrt{1+(y^{\prime }{)}^2}dx={\int }_a^b\sqrt{(dx{)}^2+(dy{)}^2}\\ & 参数形式:{\int }_u^v\sqrt{(\frac{dx}{dt}{)}^2+(\frac{dy}{dt}{)}^2}dt\\ & 极坐标形式:{\int }_{\alpha }^{\beta }\sqrt{[r(\theta ){]}^2+[r^{\prime }(\theta ){]}^2}d\theta \end{array}$$

12. 曲率公式

    $$K=\underset{\Delta s\to 0}{\lim }\frac{\Delta \phi }{\Delta s}=\frac{|y^{\prime \prime }|}{(1+y^{\prime 2}{)}^{\frac{3}{2}}}$$

    曲率半径

    $$R=\frac{1}{K}=\frac{(1+y^{\prime 2}{)}^{\frac{3}{2}}}{|y^{\prime \prime }|}$$

13. 无穷积分

    $${\int }_a^{\infty }f(x)dx=\underset{A\to \infty }{\lim }{\int }_a^{A}f(x)dx$$

14. 绝对收敛

    $$若{\int }_a^{\infty }|f(x)|dx收敛，则称{\int }_a^{\infty }f(x)dx绝对收敛，且{\int }_a^{\infty }f(x)dx收敛。$$

15. $Cauchy$收敛原理

    ${\int }_a^{\infty }f(x)dx$收敛的充要条件是

    $$\forall \epsilon >0,\exists X(\epsilon )\in \mathbb{R},s.t.\forall A_2>A_1>X,|{\int }_{A_1}^{A_2}f(x)dx|<\epsilon$$

16. 比较判别法

    设$f(x),g(x)$是$[a,+\infty )$上的非负函数，且有$\underset{x\to +\infty }{\lim }\frac{f(x)}{g(x)}=l$，则

    $$\begin{array}{rl}& (1)若l<+\infty ,则级数{\int }_a^{+\infty }g(x)dx收敛时,{\int }_a^{+\infty }f(x)dx收敛\\ & (2)若l>0,则级数{\int }_a^{+\infty }g(x)dx发散时,{\int }_a^{+\infty }f(x)dx发散\end{array}$$

17. $P$级数敛散性讨论

    $$\begin{array}{rl}& {\int }_1^{+\infty }\frac{1}{x^p}dx\{\begin{array}{l}发散,p\le 1\\ 收敛,p>1\end{array}\\ & {\int }_0^1\frac{1}{x^p}dx\{\begin{array}{l}收敛,p<1\\ 发散,p\ge 1\end{array}\end{array}$$

18. $Dirichlet$判别法

    若区间$[a,+\infty )$上定义的函数$f(x),g(x)$满足

    $$\begin{array}{rl}& (1)F(A)={\int }_a^{A}f(x)dx在[a,+\infty )有界\\ & (2)g(x)在[a,+\infty )单调,且\underset{x\to +\infty }{\lim }g(x)=0\end{array}$$

    则${\int }_a^{+\infty }f(x)g(x)dx$收敛。

19. $Abel$判别法

    若区间$[a,+\infty )$上定义的函数$f(x),g(x)$满足

    $$\begin{array}{rl}& (1)无穷级数{\int }_a^{+\infty }f(x)dx收敛\\ & (2)g(x)在[a,+\infty )单调有界\end{array}$$

    则${\int }_a^{+\infty }f(x)g(x)dx$收敛。

20. 瑕积分

    若$a$为函数$f(x)$的暇点，则

    $${\int }_a^{b}f(x)dx=\underset{\eta \to 0^{+}}{\lim }{\int }_{a+\eta }^{b}f(x)dx$$

    瑕积分敛散性判别法与无穷积分判别法类似。