知识点

反常积分

定积分要求积分区间有限、被积函数有界。把这两个条件之一去掉,积分就要用极限重新定义,这类积分统称反常积分,也称广义积分。本页先分别定义两类反常积分,再给出判断敛散时最常用的p-积分与比较判别法,并以 Γ\Gamma 函数作为后续应用。

定义

无穷限的反常积分

设 ff 在 [a,+∞)[a,+\infty) 上连续,取 t>at>a。若极限 lim⁡t→+∞∫atf(x) dx\lim_{t\to+\infty}\int_a^tf(x)\,\mathrm{d}x 存在,则称它为 ff 在 [a,+∞)[a,+\infty) 上的反常积分,记作

∫a+∞f(x) dx=lim⁡t→+∞∫atf(x) dx,\int_a^{+\infty}f(x)\,\mathrm{d}x=\lim_{t\to+\infty}\int_a^tf(x)\,\mathrm{d}x,

此时称积分收敛;若极限不存在,则称积分发散。

类似地:

  • 在 (−∞,b](-\infty,b] 上,∫−∞bf(x) dx=lim⁡t→−∞∫tbf(x) dx\displaystyle\int_{-\infty}^bf(x)\,\mathrm{d}x=\lim_{t\to-\infty}\int_t^bf(x)\,\mathrm{d}x。
  • 在 (−∞,+∞)(-\infty,+\infty) 上,任取 cc, ∫−∞+∞f(x) dx=∫−∞cf(x) dx+∫c+∞f(x) dx\displaystyle\int_{-\infty}^{+\infty}f(x)\,\mathrm{d}x=\int_{-\infty}^cf(x)\,\mathrm{d}x+\int_c^{+\infty}f(x)\,\mathrm{d}x;右端两个积分都收敛时,原积分才收敛。

若 f(x)≥0f(x)\ge 0,∫a+∞f(x) dx\int_a^{+\infty}f(x)\,\mathrm{d}x 收敛表示曲线 y=f(x)y=f(x)、直线 x=ax=a 与 xx 轴围成的无界区域面积有限。这是反常积分与定积分共享的几何意义。

无界函数的反常积分

设 ff 在 (a,b](a,b] 上连续,在 aa 的右侧邻域内无界,称 aa 为 ff 的瑕点。取 t∈(a,b)t\in(a,b),若极限 lim⁡t→a+∫tbf(x) dx\lim_{t\to a^+}\int_t^bf(x)\,\mathrm{d}x 存在,则称它为 ff 在 [a,b][a,b] 上的反常积分,也称瑕积分,记作

∫abf(x) dx=lim⁡t→a+∫tbf(x) dx.\int_a^bf(x)\,\mathrm{d}x=\lim_{t\to a^+}\int_t^bf(x)\,\mathrm{d}x.

类似地:

  • 瑕点在上限 bb:∫abf(x) dx=lim⁡t→b−∫atf(x) dx\displaystyle\int_a^bf(x)\,\mathrm{d}x=\lim_{t\to b^-}\int_a^tf(x)\,\mathrm{d}x。
  • 瑕点在内部 c∈(a,b)c\in(a,b):∫abf(x) dx=∫acf(x) dx+∫cbf(x) dx\displaystyle\int_a^bf(x)\,\mathrm{d}x=\int_a^cf(x)\,\mathrm{d}x+\int_c^bf(x)\,\mathrm{d}x,两个积分都收敛时原积分才收敛。

性质

两类p-积分

类型积分收敛发散收敛时的值
无穷限∫1+∞dxxp\displaystyle\int_1^{+\infty}\frac{\mathrm{d}x}{x^p}p>1p>1p≤1p\le 11p−1\dfrac{1}{p-1}
瑕积分(瑕点 x=0x=0,p>0p>0)∫01dxxp\displaystyle\int_0^1\frac{\mathrm{d}x}{x^p}0<p<10<p<1p≥1p\ge 111−p\dfrac{1}{1-p}
证明 两类p-积分的计算

先看无穷限。当 p≠1p\ne 1,

∫1Adxxp=A1−p−11−p.\int_1^A\frac{\mathrm{d}x}{x^p}=\frac{A^{1-p}-1}{1-p}.

p>1p>1 时 1−p<01-p<0,A1−p→0A^{1-p}\to 0,极限为 1p−1\frac{1}{p-1};p<1p<1 时 A1−p→+∞A^{1-p}\to+\infty,积分发散。p=1p=1 时 ∫1Adxx=ln⁡A→+∞\int_1^A\frac{\mathrm{d}x}{x}=\ln A\to+\infty,同样发散。

再看瑕积分。当 p≠1p\ne 1,

∫ε1dxxp=1−ε1−p1−p.\int_\varepsilon^1\frac{\mathrm{d}x}{x^p}=\frac{1-\varepsilon^{1-p}}{1-p}.

0<p<10<p<1 时 1−p>01-p>0,ε1−p→0\varepsilon^{1-p}\to 0,极限为 11−p\frac{1}{1-p};p>1p>1 时 1−p<01-p<0,ε1−p→+∞\varepsilon^{1-p}\to+\infty,积分发散。p=1p=1 时 ∫ε1dxx=−ln⁡ε→+∞\int_\varepsilon^1\frac{\mathrm{d}x}{x}=-\ln\varepsilon\to+\infty。

比较判别法

设在 [a,+∞)[a,+\infty) 上 0≤f(x)≤g(x)0\le f(x)\le g(x),且两个函数都连续。

  • 若 ∫a+∞g(x) dx\int_a^{+\infty}g(x)\,\mathrm{d}x 收敛,则 ∫a+∞f(x) dx\int_a^{+\infty}f(x)\,\mathrm{d}x 收敛(大收则小收)。
  • 若 ∫a+∞f(x) dx\int_a^{+\infty}f(x)\,\mathrm{d}x 发散,则 ∫a+∞g(x) dx\int_a^{+\infty}g(x)\,\mathrm{d}x 发散(小发则大发)。

极限形式:设 f(x)≥0f(x)\ge 0,g(x)>0g(x)>0,且

lim⁡x→+∞f(x)g(x)=λ.\lim_{x\to+\infty}\frac{f(x)}{g(x)}=\lambda.
  • 若 0<λ<+∞0<\lambda<+\infty,则两个积分同敛散。
  • 若 λ=0\lambda=0,且 ∫a+∞g(x) dx\int_a^{+\infty}g(x)\,\mathrm{d}x 收敛,则 ∫a+∞f(x) dx\int_a^{+\infty}f(x)\,\mathrm{d}x 收敛。
  • 若 λ=+∞\lambda=+\infty,且 ∫a+∞g(x) dx\int_a^{+\infty}g(x)\,\mathrm{d}x 发散,则 ∫a+∞f(x) dx\int_a^{+\infty}f(x)\,\mathrm{d}x 发散。

常用比较对象是 g(x)=1xpg(x)=\frac{1}{x^p};瑕点 x=ax=a 附近改用 g(x)=1(x−a)pg(x)=\frac{1}{(x-a)^p},并把极限过程换成 x→a+x\to a^+,其余结论相同。判断时先估计 ff 在问题端点附近的主部,再挑 pp 使比较对象的敛散已知。

例子

无穷限:∫1+∞dxx2\displaystyle\int_1^{+\infty}\frac{\mathrm{d}x}{x^2}

p=2>1p=2>1,收敛,值为 12−1=1\frac{1}{2-1}=1。

瑕积分:∫01dxx\displaystyle\int_0^1\frac{\mathrm{d}x}{\sqrt{x}}

x=0x=0 是瑕点,p=12<1p=\frac{1}{2}<1,收敛,值为 11−12=2\frac{1}{1-\frac{1}{2}}=2。

比较判别:∫1+∞dxx2+1\displaystyle\int_1^{+\infty}\frac{\mathrm{d}x}{x^2+1}

在 [1,+∞)[1,+\infty) 上 1x2+1<1x2\frac{1}{x^2+1}<\frac{1}{x^2},而 ∫1+∞dxx2\int_1^{+\infty}\frac{\mathrm{d}x}{x^2} 收敛,所以原积分收敛。这里只判断敛散;它的值是 π4\frac{\pi}{4}。

探索

两类p积分的收敛条件为何相反?

比较无穷远端和零点附近的截断积分。

正在准备演示…

题集

练习

  1. ∫1+∞dxx3/2=\displaystyle\int_1^{+\infty}\frac{\mathrm{d}x}{x^{3/2}}= 。

    参考解答

    这是 p=32>1p=\frac{3}{2}>1 的无穷限p-积分,值为 132−1=2\frac{1}{\frac{3}{2}-1}=2。

  2. ∫01dxx2/3=\displaystyle\int_0^1\frac{\mathrm{d}x}{x^{2/3}}= 。

    参考解答

    x=0x=0 是瑕点,p=23<1p=\frac{2}{3}<1,积分收敛,值为 11−23=3\frac{1}{1-\frac{2}{3}}=3。

  3. 关于 ∫−∞+∞x dx\displaystyle\int_{-\infty}^{+\infty}x\,\mathrm{d}x,下列说法正确的是:

    选择答案
    参考解答

    ∫0+∞x dx\int_0^{+\infty}x\,\mathrm{d}x 与 ∫−∞0x dx\int_{-\infty}^0x\,\mathrm{d}x 都发散,所以原积分发散。奇偶性不能越过收敛性直接使用。

  4. 关于比较判别法,下列叙述正确的有哪些?

    题 comparison-scope · choice
    参考解答

    比较判别法只把已知敛散的积分传给比较对象:大的收敛推出小的收敛,小的发散推出大的发散。反向不成立,变号时也不能直接使用。