KNOWECON WIKI

ARTICLE

反常积分

反常积分 (Improper Integral) 反常积分（Improper Integral），又称广义积分，是对黎曼积分的推广。黎曼积分要求积分区间有界且被积函数在区间上有界，反常积分则突破这两个限制，处理无穷区间上的积分与被积函数无界的情况。反常积分是实分析、概率论与数学物理中不可或缺的工具。 两种基本类型 反常积分分为两类，二者可能叠加出现。 第一类

浏览 6 更新 2025-10-31

反常积分 (Improper Integral)

反常积分（Improper Integral），又称广义积分，是对黎曼积分的推广。黎曼积分要求积分区间有界且被积函数在区间上有界，反常积分则突破这两个限制，处理无穷区间上的积分与被积函数无界的情况。反常积分是实分析、概率论与数学物理中不可或缺的工具。

两种基本类型

反常积分分为两类，二者可能叠加出现。

第一类：无穷区间

积分区间至少有一端趋于无穷：

  • ∫a+∞f(x) dx=lim⁡b→+∞∫abf(x) dx\displaystyle\int_{a}^{+\infty} f(x)\,dx = \lim_{b\to +\infty}\int_{a}^{b} f(x)\,dx
  • ∫−∞bf(x) dx=lim⁡a→−∞∫abf(x) dx\displaystyle\int_{-\infty}^{b} f(x)\,dx = \lim_{a\to -\infty}\int_{a}^{b} f(x)\,dx
  • ∫−∞+∞f(x) dx=lim⁡a→−∞∫acf(x) dx+lim⁡b→+∞∫cbf(x) dx\displaystyle\int_{-\infty}^{+\infty} f(x)\,dx = \lim_{a\to -\infty}\int_{a}^{c} f(x)\,dx + \lim_{b\to +\infty}\int_{c}^{b} f(x)\,dx

若对应极限存在且有限，则称积分收敛；否则发散。注意双边无穷积分要求两个极限独立存在，而非仅取对称极限 lim⁡R→∞∫−RR\lim_{R\to\infty}\int_{-R}^{R}（后者称为柯西主值，条件更弱）。

典型示例：∫1+∞1xp dx\int_{1}^{+\infty} \frac{1}{x^{p}}\,dx 当 p>1p>1 时收敛于 1p−1\frac{1}{p-1}，当 p≤1p\leq 1 时发散。p=1p=1 是对数发散的临界情形。

第二类：无界被积函数

被积函数在积分区间内某点趋于无穷（奇点）：

  • 若 f(x)f(x) 在 x=bx=b 附近无界，则 ∫abf(x) dx=lim⁡t→b−∫atf(x) dx\displaystyle\int_{a}^{b} f(x)\,dx = \lim_{t\to b^{-}}\int_{a}^{t} f(x)\,dx
  • 若奇点位于区间内部 c∈(a,b)c\in(a,b)，则将积分拆分为 ∫ac+∫cb\int_{a}^{c} + \int_{c}^{b}，两部分均须独立收敛

典型示例：∫011xp dx\int_{0}^{1} \frac{1}{x^{p}}\,dx 当 p<1p<1 时收敛于 11−p\frac{1}{1-p}，当 p≥1p\geq 1 时发散。注意与第一类的 pp-条件恰好互补。

收敛性判别法

反常积分的核心问题是收敛性判定——被积函数往往没有初等原函数，无法直接计算极限。主要判别法如下：

比较判别法

若对充分大的 xx（或在奇点附近），有 ∣f(x)∣≤C⋅g(x)|f(x)|\leq C\cdot g(x) 且 g(x)≥0g(x)\geq 0：

  • 若 ∫g\int g 收敛，则 ∫f\int f（绝对）收敛
  • 若 ∫∣f∣\int |f| 发散且 f(x)≥g(x)f(x)\geq g(x)，则 ∫f\int f 发散

常用比较基准包括 ∫1xp\int \frac{1}{x^{p}}、∫e−ax\int e^{-ax}、∫1xln⁡px\int \frac{1}{x\ln^{p}x} 等。关键在于寻找合适尺度来"夹逼"被积函数的渐近阶。

极限比较判别法

若 lim⁡x→∞f(x)g(x)=L∈(0,+∞)\lim_{x\to\infty}\frac{f(x)}{g(x)} = L \in (0, +\infty)，则 ∫f\int f 与 ∫g\int g 同敛散。这是最实用的判别工具——只需抓取被积函数的主导渐近项。

狄利克雷与阿贝尔判别法

针对振荡函数的条件收敛：

  • 狄利克雷判别法：若 F(b)=∫abfF(b)=\int_{a}^{b} f 一致有界，且 g(x)g(x) 单调趋于零，则 ∫fg\int f g 收敛。经典例子：∫1∞sin⁡xx dx\int_{1}^{\infty} \frac{\sin x}{x}\,dx 条件收敛。
  • 阿贝尔判别法：若 ∫f\int f 收敛，且 g(x)g(x) 单调有界，则 ∫fg\int f g 收敛。

绝对收敛与条件收敛

若 ∫∣f∣\int |f| 收敛，则 ∫f\int f 必收敛，称为绝对收敛；若 ∫f\int f 收敛而 ∫∣f∣\int |f| 发散，则称条件收敛。绝对收敛的积分具有黎曼积分的基本运算性质（可交换求和次序、可分部积分等），条件收敛积分则需谨慎处理。

重要实例与函数

Gamma 函数

Γ(s)=∫0+∞xs−1e−x dx\displaystyle\Gamma(s) = \int_{0}^{+\infty} x^{s-1}e^{-x}\,dx 是反常积分的经典范例：当 s>0s>0 时收敛。它在 x=0x=0 附近涉及第二类奇性（当 s−1<0s-1<0），在 x→∞x\to\infty 涉及第一类无穷区间，是一种"混合型"反常积分。Gamma 函数是阶乘的连续推广，在概率论、数论与复分析中处于核心地位。

概率分布中的反常积分

正态分布的归一化常数依赖于 ∫−∞+∞e−x2/2 dx=2π\int_{-\infty}^{+\infty} e^{-x^{2}/2}\,dx = \sqrt{2\pi}；指数分布、幂律分布、t 分布等均须通过反常积分处理尾部概率。大样本理论中的极限定理几乎处处依赖反常积分的收敛性。

计算技巧与数值方法

初等计算中，先求不定原函数再取极限是基本策略。分部积分与变量替换同样适用，但需验证变换后的极限对应关系。对于无初等原函数的积分（如 ∫e−x2\int e^{-x^{2}}），常用技巧包括：重积分化为极坐标、留数定理、或引入参数后微分（费曼积分法）。数值上，高斯求积与蒙特卡洛方法可处理高维反常积分，但无穷区间的截断误差需通过渐近分析与自适应策略控制。

与黎曼积分的关系

反常积分不是一种独立于黎曼积分的积分理论，而是将黎曼积分通过极限过程推广到非紧区间或无界函数。在此意义上，它更接近勒贝格积分的精神——勒贝格积分天然处理无界函数与无穷测度集，且绝对可积性等价于勒贝格可积性，反常积分中条件收敛的微妙现象在勒贝格框架下不再出现。然而反常积分在初等微积分教学中仍占主导地位，因其直接承接黎曼积分的计算技术且不要求测度论预备知识。