KNOWECON WIKI

ARTICLE

瑕积分

瑕积分 (Improper Integral) 瑕积分 (Improper Integral)，又称反常积分或广义积分，是经典 黎曼积分 概念的自然推广。标准黎曼积分要求积分区间有界且被积函数在闭区间上处处有界；当这两项约束之一被突破时——积分区间延伸至无穷，或被积函数在积分区间内存在使函数值趋于无穷的瑕点 (singularity)——即需引入瑕积分。瑕积

浏览 4 更新 2025-10-26

瑕积分 (Improper Integral)

瑕积分 (Improper Integral)，又称反常积分或广义积分，是经典 黎曼积分 概念的自然推广。标准黎曼积分要求积分区间有界且被积函数在闭区间上处处有界；当这两项约束之一被突破时——积分区间延伸至无穷，或被积函数在积分区间内存在使函数值趋于无穷的瑕点 (singularity)——即需引入瑕积分。瑕积分通过极限过程定义，将「无穷」或「无界」转化为有限量逼近的极限，从而判断积分是否收敛（极限存在且有限）或发散（极限不存在或为无穷）。

瑕积分在 概率论、数理统计、傅里叶分析 及物理学中具有基础地位：正态分布 的归一化常数、Gamma函数 与 Beta函数 的定义、拉普拉斯变换的存在性等，均以瑕积分的收敛性为前提。

第一类瑕积分：无穷区间

第一类瑕积分处理积分区间无界的情形。设函数 ff 在 [a,+∞)[a, +\infty) 上有定义且在任何有限子区间 [a,b][a, b] 上黎曼可积，定义：

∫a+∞f(x) dx=lim⁡b→+∞∫abf(x) dx\int_a^{+\infty} f(x)\,dx = \lim_{b \to +\infty} \int_a^b f(x)\,dx

若该极限存在且有限，则称瑕积分收敛；否则发散。类似地可定义：

∫−∞af(x) dx=lim⁡b→−∞∫baf(x) dx\int_{-\infty}^a f(x)\,dx = \lim_{b \to -\infty} \int_b^a f(x)\,dx

对于双侧无穷区间 (−∞,+∞)(-\infty, +\infty)，需将其拆分为两个独立瑕积分：

∫−∞+∞f(x) dx=∫−∞cf(x) dx+∫c+∞f(x) dx\int_{-\infty}^{+\infty} f(x)\,dx = \int_{-\infty}^c f(x)\,dx + \int_c^{+\infty} f(x)\,dx

右侧两个瑕积分均收敛时，左侧才收敛。注意：lim⁡R→+∞∫−RRf(x) dx\lim_{R \to +\infty} \int_{-R}^{R} f(x)\,dx 收敛不等于 ∫−∞+∞f(x) dx\int_{-\infty}^{+\infty} f(x)\,dx 收敛，前者称为柯西主值 (Cauchy Principal Value)，是更弱的条件。

第二类瑕积分：无界函数

第二类瑕积分处理被积函数在积分区间内存在瑕点的情形。设 ff 在 (a,b](a, b] 上有定义且在任意 [c,b][c, b]（c>ac > a）上黎曼可积，但 lim⁡x→a+f(x)=±∞\lim_{x \to a^+} f(x) = \pm\infty，则 aa 为瑕点，定义：

∫abf(x) dx=lim⁡ε→0+∫a+εbf(x) dx\int_a^b f(x)\,dx = \lim_{\varepsilon \to 0^+} \int_{a+\varepsilon}^b f(x)\,dx

若极限存在且有限则收敛。同理，若瑕点在区间右端点 bb，或位于区间内部 c∈(a,b)c \in (a, b)，则分别通过单侧极限逼近或拆分区间处理。当区间内有多个瑕点时，需将每个瑕点隔离开来，各自用极限判别。

收敛性判别法

瑕积分的计算常无法直接求得解析原函数，因此判别收敛性而不求值的方法至关重要。

比较判别法是核心工具。对于第一类瑕积分，若当 xx 充分大时 ∣f(x)∣≤g(x)|f(x)| \le g(x)，且 ∫a+∞g(x) dx\int_a^{+\infty} g(x)\,dx 收敛，则 ∫a+∞f(x) dx\int_a^{+\infty} f(x)\,dx 绝对收敛。常用的比较基准为 ∫1+∞x−p dx\int_1^{+\infty} x^{-p}\,dx（p>1p > 1 收敛，p≤1p \le 1 发散）。对于第二类瑕积分（瑕点在 aa），比较基准为 ∫ab(x−a)−p dx\int_a^b (x-a)^{-p}\,dx（p<1p < 1 收敛，p≥1p \ge 1 发散）。

极限比较判别法：若 lim⁡x→+∞∣f(x)∣g(x)=L\lim_{x \to +\infty} \frac{|f(x)|}{g(x)} = L（0<L<+∞0 < L < +\infty），则 ∫a+∞∣f(x)∣ dx\int_a^{+\infty} |f(x)|\,dx 与 ∫a+∞g(x) dx\int_a^{+\infty} g(x)\,dx 同敛散。

狄利克雷判别法与阿贝尔判别法适用于条件收敛情形：若 F(x)=∫axf(t) dtF(x) = \int_a^x f(t)\,dt 有界且 g(x)g(x) 单调趋于零，则 ∫a+∞f(x)g(x) dx\int_a^{+\infty} f(x)g(x)\,dx 收敛。

绝对收敛与条件收敛

若 ∫∣f(x)∣ dx\int |f(x)|\,dx 收敛，则称瑕积分绝对收敛，且 ∫f(x) dx\int f(x)\,dx 自身必收敛。反之，若 ∫f(x) dx\int f(x)\,dx 收敛但 ∫∣f(x)∣ dx\int |f(x)|\,dx 发散，则称条件收敛。典型例子为 ∫1+∞sin⁡xx dx\int_1^{+\infty} \frac{\sin x}{x}\,dx，该积分条件收敛但并非绝对收敛。绝对收敛的瑕积分具有与普通黎曼积分类似的重排不变性，而条件收敛积分在重排后可能改变其值（类似于 黎曼重排定理）。

应用与典型实例

瑕积分在多个学科中扮演关键角色：

  • Gamma函数：Γ(s)=∫0+∞xs−1e−x dx\Gamma(s) = \int_0^{+\infty} x^{s-1} e^{-x}\,dx（s>0s > 0）。当 0<s<10 < s < 1 时，x=0x=0 处为瑕点；积分上限为无穷。该积分同时涉及两类瑕积分，收敛性的证明需拆分区间 [0,1][0, 1] 与 [1,+∞)[1, +\infty) 分别处理。
  • 概率密度归一化：正态分布密度 φ(x)=12πe−x2/2\varphi(x) = \frac{1}{\sqrt{2\pi}} e^{-x^2/2} 满足 ∫−∞+∞e−x2/2 dx=2π\int_{-\infty}^{+\infty} e^{-x^2/2}\,dx = \sqrt{2\pi}，此为第一类瑕积分的经典结果。
  • 拉普拉斯变换：L{f}(s)=∫0+∞f(t)e−st dt\mathcal{L}\{f\}(s) = \int_0^{+\infty} f(t)e^{-st}\,dt 的收敛域由被积函数在无穷远处的衰减速率决定。
  • 物理学中的场积分：计算无限长线电荷的电势或引力场的总能量时，被积函数在无穷远处或源点附近的瑕积分收敛性直接决定物理量的有限性。

瑕积分将有限维的黎曼积分理论推广至处理无界域，其收敛性判别体系构成了 实分析 和 复分析 中 勒贝格积分 理论的重要先导。