Post

反常积分敛散性的判别

围绕反常积分的 p 积分判别整理逻辑链:先找反常点,再凑普通 p 积分或广义 p 积分,最后用对数与幂函数的阶数关系处理非临界型题目。

反常积分敛散性的判别

核心思想

反常积分的敛散性,关键看反常点附近的“阶数”;常数倍不影响敛散性。

最常用的做法不是硬算原函数,而是把被积函数在反常点附近化成熟悉的 p 积分:

  1. 先找反常点:是 x+x\to+\infty,还是 xa+x\to a^+xbx\to b^-,或者 x0+x\to0^+
  2. 再看主导阶数:幂函数优先,对数函数只在临界型里单独处理。
  3. 最后套 p 积分:无穷远处看 p>1p>1,瑕点处看 p<1p<1

一句话记忆:

无穷远处要“降得快”,所以 p>1p>1 收敛;瑕点附近要“爆得慢”,所以 p<1p<1 收敛。


一、无穷远处的普通 p 积分

a>0a>0 时,

a+1xpdx={收敛,p>1,发散,p1.\int_a^{+\infty}\frac{1}{x^p}\,dx = \begin{cases} \text{收敛}, & p>1,\\ \text{发散}, & p\le 1. \end{cases}

逻辑是:x+x\to+\infty 时,1xp0\dfrac{1}{x^p}\to0,但趋于 00 不等于积分收敛。只有衰减速度快过 1x\dfrac1x,尾部面积才压得住。

其中 p=1p=1 是临界点:

a+1xdx=limA+lnAlna=+.\int_a^{+\infty}\frac{1}{x}\,dx = \lim_{A\to+\infty}\ln A-\ln a =+\infty.

所以无穷远处的判别线是:

形式结论直觉
1xp\dfrac1{x^p}p>1p>1收敛衰减足够快
1x\dfrac1{x}发散对数型发散
1xp\dfrac1{x^p}p<1p<1发散衰减太慢

二、瑕点附近的普通 p 积分

xa+x\to a^+ 时,

ab1(xa)pdx={收敛,p<1,发散,p1.\int_a^b\frac{1}{(x-a)^p}\,dx = \begin{cases} \text{收敛}, & p<1,\\ \text{发散}, & p\ge 1. \end{cases}

xbx\to b^- 时,

ab1(bx)pdx={收敛,p<1,发散,p1.\int_a^b\frac{1}{(b-x)^p}\,dx = \begin{cases} \text{收敛}, & p<1,\\ \text{发散}, & p\ge 1. \end{cases}

这里的直觉和无穷远处相反:瑕点处函数会爆到无穷大,pp 越大爆得越狠,越不容易收敛。

临界点仍然是 p=1p=1

ab1xadx=limε0+a+εb1xadx=+.\int_a^b\frac{1}{x-a}\,dx = \lim_{\varepsilon\to0^+}\int_{a+\varepsilon}^b\frac{1}{x-a}\,dx =+\infty.

所以瑕点附近的判别线是:

形式结论直觉
1(xa)p\dfrac1{(x-a)^p}p<1p<1收敛爆得还不够快
1xa\dfrac1{x-a}发散对数型发散
1(xa)p\dfrac1{(x-a)^p}p>1p>1发散爆得太快

三、无穷远处的广义 p 积分

遇到

a+1xlnpxdx(a>1)\int_a^{+\infty}\frac{1}{x\ln^p x}\,dx \qquad (a>1)

不能把 lnx\ln x 直接当成某个 xαx^\alpha。因为前面已经有一个 1x\dfrac1x,它正好对应换元:

t=lnx,dt=1xdx.t=\ln x,\qquad dt=\frac1x\,dx.

于是

a+1xlnpxdx=lna+1tpdt.\int_a^{+\infty}\frac{1}{x\ln^p x}\,dx = \int_{\ln a}^{+\infty}\frac{1}{t^p}\,dt.

所以它立刻变成无穷远处的普通 p 积分:

a+1xlnpxdx={收敛,p>1,发散,p1.\int_a^{+\infty}\frac{1}{x\ln^p x}\,dx = \begin{cases} \text{收敛}, & p>1,\\ \text{发散}, & p\le 1. \end{cases}

更复杂的嵌套对数也按同一条路走。例如

a+1xlnx(lnlnx)pdx\int_a^{+\infty} \frac{1}{x\ln x(\ln\ln x)^p}\,dx

先令 t=lnxt=\ln x,再令 u=lntu=\ln t,最终仍然化为

1updu.\int \frac1{u^p}\,du.

结论仍是:

p>1 收敛,p1 发散.p>1\text{ 收敛},\qquad p\le1\text{ 发散}.

四、趋于 0+0^+ 的广义 p 积分

趋于 0+0^+ 时,常见形式是

0121xlnxpdx.\int_0^{\frac12}\frac{1}{x|\ln x|^p}\,dx.

t=lnx,dt=1xdx.t=\ln x,\qquad dt=\frac1x\,dx.

x0+x\to0^+ 时,tt\to-\infty;当 x=12x=\dfrac12 时,t=ln2t=-\ln2。因此

0121xlnxpdx=ln21tpdt.\int_0^{\frac12}\frac{1}{x|\ln x|^p}\,dx = \int_{-\infty}^{-\ln2}\frac{1}{|t|^p}\,dt.

再令 u=tu=-t,得到

ln2+1updu.\int_{\ln2}^{+\infty}\frac{1}{u^p}\,du.

于是

0121xlnxpdx={收敛,p>1,发散,p1.\int_0^{\frac12}\frac{1}{x|\ln x|^p}\,dx = \begin{cases} \text{收敛}, & p>1,\\ \text{发散}, & p\le 1. \end{cases}

如果题目写成 1x(lnx)p\dfrac1{x(\ln x)^p},当 pp 为整数时只会多一个正负号问题;正负号不影响敛散性,核心仍然是 pp11 的比较。


五、lnx\ln x 的等价处理

对数函数的核心地位是:它比任何正幂函数都慢。

x+x\to+\infty 时,对任意 α>0\alpha>0

limx+lnxxα=0.\lim_{x\to+\infty}\frac{\ln x}{x^\alpha}=0.

也就是说,在无穷远处,lnx\ln x 可以粗略理解成“比任意小的正幂都低阶”。

x0+x\to0^+ 时,对任意 a>0,b>0a>0,b>0

limx0+xalnxb=0.\lim_{x\to0^+}x^a|\ln x|^b=0.

也就是说,靠近 0+0^+ 时,lnxb|\ln x|^b 虽然趋于无穷,但比 1xa\dfrac1{x^a} 这类幂爆炸慢得多。

注意这一条只适合处理非临界型题目。若出现

1xlnpx\frac{1}{x\ln^p x}

这种前面正好有 1x\dfrac1x 的广义 p 积分形式,不能用“把 lnx\ln x 当弱幂”的想法草草等价,必须按第三、四部分做换元。


六、典型快判

例 1:无穷远处,幂次已经超过 1

解答题例 1
2+1x1.01(lnx)999dx\int_2^{+\infty}\frac{1}{x^{1.01}(\ln x)^{999}}\,dx
解答

因为 x1.01x^{1.01} 已经比临界的 x1x^1 更强,分母再乘上正的对数幂,只会衰减得更快,所以

收敛\boxed{\text{收敛}}

例 2:无穷远处,幂次还没到 1

解答题例 2
2+1x0.99(lnx)999dx\int_2^{+\infty}\frac{1}{x^{0.99}(\ln x)^{999}}\,dx
解答

这里虽然有 (lnx)999(\ln x)^{999},但对数增长慢于任意正幂,无法弥补 x0.99x^{0.99} 和临界 x1x^1 的差距。因此

发散\boxed{\text{发散}}

例 3:趋于 0+0^+,对数爆炸弱于幂爆炸

解答题例 3
012lnxx0.99dx\int_0^{\frac12}\frac{|\ln x|}{x^{0.99}}\,dx
解答

x0+x\to0^+ 时,lnx|\ln x|1xα\dfrac1{x^\alpha} 慢得多。取一个很小的 α>0\alpha>0,使得 0.99+α<10.99+\alpha<1,则可把被积函数控制在类似

1x0.99+α\frac{1}{x^{0.99+\alpha}}

的瑕点 p 积分之内。因为 0.99+α<10.99+\alpha<1,所以

收敛\boxed{\text{收敛}}

最终判别链

入口要凑的标准型收敛条件
x+x\to+\inftya+1xpdx\displaystyle\int_a^{+\infty}\frac1{x^p}\,dxp>1p>1
xa+x\to a^+xbx\to b^-1(xa)pdx\displaystyle\int\frac1{(x-a)^p}\,dx1(bx)pdx\displaystyle\int\frac1{(b-x)^p}\,dxp<1p<1
x+x\to+\infty 且出现 1xlnpx\dfrac1{x\ln^p x}t=lnxt=\ln xp>1p>1
x0+x\to0^+ 且出现 1xlnxp\dfrac1{x\lvert\ln x\rvert^p}t=lnxt=\ln x,再令 u=tu=-tp>1p>1
非临界型含 lnx\ln x用“对数慢于任意幂”比较回到普通 p 积分

总口诀:

先找反常点,再凑 p 积分;临界 1/x1/x 加对数就换元,非临界对数按低阶处理。

Back to archive

Discussion

Comments

Post

Share questions, corrections, or extra notes about this post.