反常积分复习-CSDN博客

本文链接：https://blog.csdn.net/m0_56112405/article/details/129433324

反常积分

此为鄙人考研数学复习的书本知识部分总结和思考，如有错误，还望读者能不惜笔墨不啬赐教，感激不尽！

在黎曼积分讨论中存在两个最基本的限制

积分区域的有穷性
被积函数的有界性

因而此处讨论的反常积分不在黎曼可积的体系下，属于广义可积的范畴

一、反常积分概念

1. 两类反常积分的定义

无穷积分

Def 1：设函数 $f$ 为定义在无穷区间 $[a,+\infty)$ 上，且在任意有限区间 $[a, u]$ 上都可积，如果存在极限 $\lim\limits_{u\to \infty}\int_a^u f(x)\ \mathrm{d}x=J$ ，那么称此极限为函数 $f$ 在无穷区间上的无穷限反常积分，简称无穷积分，记作 $J=\int_a^{+\infty}f\ \mathrm{d}x$ ，并成该无穷积分收敛，为方便起见，若无穷积分不收敛，则称其发散

那么类似地，可以得到在负无穷区间上的定义，基于此，我们可以对 $(-\infty,+\infty)$ 上的无穷积分进行定义

$\int_{-\infty}^{+\infty}f\ \mathrm{d}x=\int_{-\infty}^af\ \mathrm{d}x\ +\ \int_a^{+\infty}f\ \mathrm{d}x$

其中 $a$ 为任一实数，那么当且仅当右边两个无穷积分都是收敛的时候，才称它是收敛的！

几点说明

$(-\infty, +\infty)$ 上的无穷积分收敛性与收敛时的值与 $a$ 的选取无关
$(-\infty, +\infty)$ 上的无穷积分要求 $f$ 在任何有限区间 $[u,v]\subset (-\infty, +\infty)$ 上首先是可积的
$\int_a^{+\infty}f\ \mathrm{d}x$ 收敛的几何意义是：若 $f$ 在 $[a,+\infty)$ 上为连续函数，曲线 $y = f (x)$ 介于直线 $x = a$ 以及 $x$ 轴之间那一块向右无线延申的区域面积存在

！！！需记忆的无穷积分

$\int_1^u \frac{\mathrm{d}x}{x^p}= \begin{equation} \left\{ \begin{array}{lr} &\frac1{1-p},\quad p>1 \\ &+\infty,\quad p\le1 \end{array} \right. \end{equation}$

因此 $p$ 做幂的无穷积分在 $p\in(1,+\infty)$ 上收敛

瑕积分

Def 2：设函数 $f$ 为定义在区间 $(a, b]$ 上，若在 $a$ 点任一右邻域上无界，但在任何区间 $[u,b]\subset(a,b]$ 上有界且可积，如果极限 $\lim\limits_{u\to a^+}\int_u^bf(x)\ \mathrm{d}x=J$ 存在，那么称此极限为无界函数 $f$ 在 $(a, b]$ 上的反常积分，记作 $J=\int_a^b f(x)\ \mathrm{d}x$ ，并称反常积分收敛，同样地，方便起见，当该类型反常积分不收敛时，我们也叫他发散

由于在 Def 2 中被积函数 $f$ 在点 $a$ 近旁是无界的，此时点 $a$ 我们称作 $f$ 的瑕点，而无界函数反常积分 $\int_a^bf(x)\ \mathrm{d}x$ 称为瑕积分

类似地，可以定义瑕点为 $b$ 的瑕积分，基于此，若 $f$ 的瑕点 $c\in(a,b)$ ，则定义瑕积分

$\int_a^bf(x)\ \mathrm{d}x=\int_a^cf(x)\ \mathrm{d}x+\int_c^bf(x)\ \mathrm{d}x$

其中 $f$ 在 $[a, c)$ 和 $(c, b]$ 上有定义，在点 $c$ 的任一领域上都无界，但在任何 $[a,u]\subset[a,c)$ 和 $[v,b]\subset(c,b]$ 上都是可积的，那么当且仅当右边两个瑕积分都收敛时，左边的瑕积分才收敛！

！！！需记忆的瑕积分

$\int_0^1 \frac{\mathrm{d}x}{x^p}= \begin{equation} \left\{ \begin{array}{lr} &\frac1{1-p},\quad p<1 \\ &+\infty,\quad p\ge1 \end{array} \right. \end{equation}$

因此 $p$ 做幂的瑕积分积分在 $p\in(0,1)$ 上收敛

二、无穷积分的性质与审敛

1. 无穷积分的性质

收敛的充要条件：任给 $\varepsilon>0$ 存在 $G\ge a$ ，只要 $u_1,u_2>G$ 都有 $|\int_a^{u_2}f(x)\ \mathrm{d}x- \int_a^{u_1}f(x)\mathrm{d}x|=|\int_{u_1}^{u_2}f(x)\ \mathrm{d}x|<\varepsilon$

一些性质：

线性性质两个同区间收敛的无穷积分线性组合后的无穷积分还是收敛的
若 $f$ 在任何有限区间 $[a, b]$ 上可积， $a < b$ ，则 $\int_a^{+\infty}f(x)\ \mathrm{d}x$ 与 $\int_b^{+\infty}f(x)\ \mathrm{d}x$ 同敛态
若 $\int_a^{+\infty} f\mathrm{d}x$ 与 $\int_a^{+\infty}g\ \mathrm{d}x$ 都收敛，且 $\le g$ ， $x\in [a,+\infty)$ ，则有 $\int_a^{+\infty}f\ \mathrm{d}x \le \int_a^{+\infty}g\ \mathrm{d}x$ (根据极限的定义以及保不等号性容易证明)
若 $f$ 在任何有限区间 $[a, u]$ 上可积，且有 $\int_a^{+\infty}|f(x)|\ \mathrm{d}x$ 收敛，则 $\int_a^{+\infty}f(x)\mathrm{d}x$ 亦必收敛，且有 $|\int_a^{+\infty}f\ \mathrm{d}x |\le \int_a^{+\infty}|f|\ \mathrm{d}x$ ，注意，当 $\int_a^{+\infty}f\mathrm{d}x$ 收敛时，我们称该无穷积分绝对收敛，性质4指出，绝对收敛的无穷积分其本身亦收敛，但逆命题不一定成立，此时我们称收敛而不绝对收敛的积分为条件收敛

2. 非负无穷积分的审敛法

i. 比较原则

设定义在 $[a,+\infty)$ 上的两个非负函数 $f$ 和 $g$ 都在任何有限区间 $[a, u]$ 上可积，且满足 $f\le g$ ，则

当 $g$ 的无穷积分收敛时， $f$ 的无穷积分一定收敛
当 $f$ 的无穷积分发散时， $g$ 的无穷积分一定发散

ii. 极限形式下的比较原则

若 $f$ 和 $g$ 都在任何有限区间 $[a, u]$ 上可积，当 $x\in[a,+\infty)$ 可积， $f\ge0$ ， $g > 0$ 且有 $\lim\limits_{x\to +\infty}\frac {f(x)}{g(x)}=c$ ，则

$0<c<+\infty$ 时，两无穷积分同敛态
$c = 0$ ， $f$ 无穷积分收敛 $\Rightarrow$ $g$ 无穷积分收敛
$c=+\infty$ ， $f$ 无穷积分发散 $\Rightarrow$ $g$ 无穷积分发散

iii.柯西判别法

当选用 $\int_1^{+\infty}\frac{\mathrm{d}x}{x^p}$ 为比较对象

$0\le f\le \frac1{x^p}，p>1$ ， $f$ 无穷积分收敛
$\ge \frac1{x^p}，p\le1$ ， $f$ 无穷积分发散

推论：设 $f$ 是定义于 $[a,+\infty)$ 上的非负函数，在任何有限区间 $[a, u]$ 上可积，且有 $\lim\limits_{x\to +\infty}x^pf(x)=\lambda$

$p>1,\ 0\le \lambda<+\infty$ $f$ 无穷积分收敛
$\le 1,\ 0<\lambda\le +\infty$ $f$ 无穷积分发散

3. 一般无穷积分的审敛

（狄利克雷判别法）：若 $F(u)=\int_a^uf(x)\ \mathrm{d}x$ 在 $[a,+\infty)$ 上有界， $g$ 在 $[a,+\infty)$ 上当 $x\to +\infty$ 时单调趋于0，则 $\int_a^{+\infty}f\cdot g\ \mathrm{d}x$ 收敛
（阿贝尔判别法）：若 $\int_a^{+\infty}f\ \mathrm{d}x$ 收敛， $g$ 在 $[a,+\infty)$ 上单调有界，则 $\int_a^{+\infty}f\cdot g\ \mathrm{d}x$ 收敛

三、瑕积分的性质与审敛

类似于无穷积分的柯西收敛准则以及后续的一些性质，我们可以类似地给出瑕积分的相应命题

1. 瑕积分的性质

收敛的充要条件：任给 $\varepsilon>0$ ，存在 $\delta>0$ 只要 $u_1,\ u_2\in(a,a+\delta)$ 总有 $|\int_{u_1}^bf(x)\mathrm{d}x-\int_{u_2}^bf(x)\ \mathrm{d}x|=|\int_{u_1}^{u_2}f(x)\ \mathrm{d}x|<\varepsilon$

一些性质：

设函数 $f_1,\ f_2$ 瑕点相同都为 $a$ ，则若两瑕积分收敛，其线性组合依然收敛
若函数 $f$ 瑕点为 $a$ ， $c\in(a,b)$ 为任一常数，则瑕积分 $\int_a^bf\mathrm{d}x$ 与 $\int_a^cf\mathrm{d}x$ 同敛态
设函数 $f$ 与 $g$ 有相同瑕点 $a$ ，若 $\int_a^bf\mathrm{d}x$ 与 $\int_a^bg\mathrm{d}x$ 都收敛且 $f\le g$ ，那么有 $\int_a^bf-g\ \mathrm{d}x\ge 0$
设函数 $f$ 瑕点为 $a$ ， $f$ 在 $(a, b]$ 内的任一闭区间 $[u, b]$ 上可积，当 $\int_a^b|f|\ \mathrm{d}x$ 收敛时， $\int_a^bf\ \mathrm{d}x$ 也收敛，且有 $|\int_a^bf\ \mathrm{d}x| \le \int_a^b|f|\ \mathrm{d}x$ ，同样地，当 $∣ f ∣$ 的瑕积分收敛时，我们称 $f$ 绝对收敛，又称收敛但不绝对收敛的瑕积分是条件收敛的

2. 非负瑕积分审敛

i. 比较原则

设定义在 $(a, b]$ 上的两个函数 $f$ ， $g$ 瑕点同为 $x = a$ ，在任何 $\subset (a,b]$ 上都可积，且满足 $\le f \le g，x\in (a,b]$ ，则

当 $\int_a^bg\ \mathrm{d}x$ 收敛时， $\int_a^b f\ \mathrm{d}x$ 必定收敛
当 $\int_a^b f\ \mathrm{d}x$ 发散时， $\int_a^bg\ \mathrm{d}x$ 必定发散

ii. 极限形式下的比较原则

基于比较原则的定义，若有 $f\ge 0，g > 0$ 且 $\lim\limits_{x\to a^+}\frac{f}{g}=c$ ，则

当$0<c<+\infty $ 时， $\int_a^bf\ \mathrm{d}x$ 与 $\int_a^bg\ \mathrm{d}x$ 同敛态
当 $c = 0$ 时，由 $\int_a^b g\ \mathrm{d}x$ 收敛 $\Rightarrow$ $\int_a^bf\ \mathrm{d}x$ 收敛
当 $c=+\infty$ 时，由 $\int_a^bf\ \mathrm{d}x$ 发散 $\Rightarrow$ $\int_a^bg\ \mathrm{d}x$ 发散

iii. 柯西判别法

当选用 $\int_a^b\frac{\mathrm{d}x}{(x-a)^p}$ 为比较对象

$0\le f \le \frac1{(x-a)^p}$ 且 $0 < p < 1$ 时， $\int_a^bf(x)\mathrm{d}x$ 收敛
$f\ge \frac1{(x-a)^p}$ 且 $p\ge 1$ 时， $\int_a^bf\ \mathrm{d}x$ 发散

推论：设 $f$ 是定义于 $(a, b]$ 上的非负函数， $a$ 为其瑕点，且在任何 $[u,b]\subset(a,b]$ 上可积，若 $\lim\limits_{x\to a^+}(x-a)^pf(x)=\lambda$ ，则

$1，0\le \lambda<+\infty$ 时， $\int_a^bf(x)\ \mathrm{d}x$ 收敛
$\ge 1，0< \lambda \le +\infty$ 时， $\int_a^bf(x)\ \mathrm{d}x$ 发散

3. 一般瑕积分的审敛

（狄利克雷判别法）：设 $a$ 为 $f$ 的瑕点， $F(u)=\int_u^bf(x)\ \mathrm{d}x$ 在 $(a, b]$ 上有界，函数 $g$ 在 $(a, b]$ 上单调且 $\lim\limits_{x\to a^+}g=0$ ，则瑕积分 $\int_a^bf\cdot g\ \mathrm{d}x$ 收敛
（阿贝尔判别法）：设 $a$ 为 $f$ 的瑕点，瑕积分 $\int_a^bf(x)\ \mathrm{d}x$ 收敛，函数 $g$ 在 $(a, b]$ 上单调有界，则瑕积分 $\int_a^bf\cdot g\ \mathrm{d}x$ 收敛