MASTERY · MATHEMATICS

3.5 反常积分

13k WORDS 54 MIN READ #考研数学

3.5 反常积分

核心结论


3.5.1 反常积分敛散性的判别

基础概念:瑕点与瑕积分

如果函数 f(x)f(x) 在点 aa 的任一邻域内都无界,那么点 aa 称为函数 f(x)f(x)瑕点(也称为无界点)。无界函数的反常积分也称为瑕积分


核心结论:四类广义 pp 积分体系

① 趋于无穷时的 pp 积分(经常考)

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

② 趋于瑕点时的 pp 积分(经常考)

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

③ 趋于无穷时的广义 pp 积分(偶尔考)

换元后即化为标准的趋于无穷 pp 积分:

a+1xlnpxdx=a+1lnpxd(lnx)=lnx=tlna+1tpdt={p>1,收敛,p1,发散,(a>1).\int_a^{+\infty}\frac{1}{x\ln^p x}\,\mathrm dx = \int_a^{+\infty}\frac{1}{\ln^p x}\,\mathrm d(\ln x) \xlongequal{\ln x = t} \int_{\ln a}^{+\infty}\frac{1}{t^p}\,\mathrm dt = \begin{cases} p>1, & \text{收敛}, \\ p\le 1, & \text{发散}, \end{cases} \qquad (a>1).

④ 趋于 0+0^+ 时的广义 pp 积分(没考过,但需掌握原理)

01/21xlnpxdx=01/21lnpxd(lnx)=lnx=tln21tpdt=±ln2+1tpdt={p>1,收敛,p1,发散.\int_0^{1/2}\frac{1}{x\ln^p x}\,\mathrm dx = \int_0^{1/2}\frac{1}{\ln^p x}\,\mathrm d(\ln x) \xlongequal{\ln x = t} \int_{-\infty}^{-\ln 2}\frac{1}{t^p}\,\mathrm dt = \pm \int_{\ln 2}^{+\infty}\frac{1}{t^p}\,\mathrm dt = \begin{cases} p>1, & \text{收敛}, \\ p\le 1, & \text{发散}. \end{cases}

核心技巧:lnx\ln x 的“无穷小指数”等价处理

  1. x+x\to+\inftylimx+lnxx0.00001=0    lnxx正无穷小.\lim_{x\to+\infty}\frac{\ln x}{x^{0.00001}} = 0 \implies \ln x \sim x^{\text{正无穷小}}.
  2. x0+x\to 0^+a,b>0,limx0+xalnbx=0    limx0+x0.00001lnx=0    lnx(1)x负无穷小x负无穷小.\forall a,b>0,\quad \lim_{x\to 0^+} x^a \ln^b x = 0 \implies \lim_{x\to 0^+} x^{0.00001}\ln x = 0 \implies \ln x \sim (-1)x^{-\text{负无穷小}} \sim x^{\text{负无穷小}}. (常数 1-1 绝不影响敛散性,可直接视作指数微扰。)

判别工具:比较判别法及其极限形式


判别具体函数反常积分敛散性的 5 大步骤

  1. 找瑕点与无穷端点:考研范围内瑕点一定是无定义点,务必全区间排查(包括积分区间内部!);
  2. 只看被积函数本身:积分值大小、常数因子、常数项都不参与判断,只需看它在奇点附近的性态;
  3. 在瑕点和无穷处取极限,把被积函数同阶化为 pp 积分的形式:利用等价无穷小或洛必达法则,把被积函数在奇点附近化成 Cxp\dfrac{C}{x^p}C(xa)p\dfrac{C}{(x-a)^p}C0C\ne 0 为常数),读出 pp 后由结论直接定夺;
    • 判据:等价替换的合法性来自”比值极限为非零常数 \Rightarrow 同敛散”,因此写等价式时必须确认比值极限确实存在且不为 00
    • 条件:所有奇点处的指数都要分别算一次;各段独立——
      • 若在所有的瑕点和无穷端点处该积分都收敛,则原积分收敛;
      • 只要在某一种情况(某一个瑕点或端点)下积分发散,则原积分立刻发散!
    • 失效情形:若奇点附近的比值极限不存在(振荡型被积函数),不能写等价式,改走第 5 步的放缩路线;
  4. 出现 lnx\ln x 时的处理原则
    • 若是广义 pp 积分标准型(分母为 x1lnpxx^1 \ln^p x),直接套广义 pp 积分结论;
    • 若不是广义 pp 积分标准型(xx 的幂次不等于 11),直接对 lnx\ln x 进行”无穷小指数”等价;
  5. 若出现 ee 的无穷次幂形式:参考例 3.58 中 C 选项的处理手法,采用比较判别法放缩:把指数函数与幂函数比较大小(如 exxNe^{x}\gg x^{N} 对任意固定的 NN 成立),把被积函数夹在两个已知敛散性的 pp 积分之间。

经典例题全流程严密推导(例 3.84 ~ 例 3.94.1)











三角函数形式反常积分的通用破局法



反常积分的概念性结论与考情应对

针对 2024 考研中出现的概念性试题,以下底层结论必须厘清(了解即可,无需背诵冗长反例):

  1. 积分收敛 \centernot    \centernot\implies 被积函数趋于 0a+f(x)dx\int_a^{+\infty} f(x)\,\mathrm dx 收敛,推不出 limx+f(x)=0\lim_{x\to+\infty} f(x) = 0limx+f(x)\lim_{x\to+\infty} f(x) 甚至可能根本不存在!

    反例:a+sinxxdx\int_a^{+\infty}\frac{\sin x}{x}\,\mathrm dxa+cos(x2)dx\int_a^{+\infty}\cos(x^2)\,\mathrm dx(菲涅耳积分)均收敛,但 limx+cos(x2)\lim_{x\to+\infty}\cos(x^2) 振荡不存在。 理由:收敛只要求”累计面积”有限,并不限制被积函数在局部的高度;只要正负部分能在大尺度上互相抵消,函数本身完全可以不趋于 0。

  2. 积分收敛 且 极限存在     \implies 极限必为 0: 若 a+f(x)dx\int_a^{+\infty} f(x)\,\mathrm dx 收敛,且已知 limx+f(x)\lim_{x\to+\infty} f(x) 存在,则必有 limx+f(x)=0\lim_{x\to+\infty} f(x) = 0

    理由:若该极限为非零常数 cc,则被积函数在充分远处与常数同号且不衰减,反而由发散性判别可知积分必发散,矛盾。

  3. 对称区间与奇函数”奇零”的使用前提: 在对称区间上,遇见奇函数绝对不能直接使用”奇零”,必须先证明反常积分是收敛的! 如例 3.84 中的 11dxsinx\int_{-1}^1\frac{\mathrm dx}{\sin x},两端发散,结果根本不存在。

  4. 负无穷到正无穷的反常积分机制+f(x)dx\int_{-\infty}^{+\infty} f(x)\,\mathrm dx 如果想用”奇零”,必须保证拆开后的每一部分都收敛! 如 +xdx=0xdx+0+xdx\int_{-\infty}^{+\infty} x\,\mathrm dx = \int_{-\infty}^0 x\,\mathrm dx + \int_0^{+\infty} x\,\mathrm dx,两部分均发散,故原积分发散,不存在积分值。


3.5.2 反常积分的计算








3.5.3 微分方程 + 反常积分





易错点

  1. 只看端点漏掉内部瑕点1xln2x\dfrac{1}{x\ln^2 x}x=1x=1 处无定义,若只查 x=0x=0++\infty 会得出”收敛”的错误结论(例 3.90 C 选项)。凡是分母含 lnx\ln xsinx\sin xcos2x\cos 2x 等可能在区间内部取零的因子,都要检查区间内部。
  2. 把①与②的收敛方向记反a+dxxp\int_a^{+\infty}\frac{\mathrm dx}{x^p} 要求 p>1p>1abdx(xa)p\int_a^b\frac{\mathrm dx}{(x-a)^p} 要求 p<1p<1。判断时回到原函数幂次符号复核比死记更可靠。
  3. 遇到 x1lnpxx^1\ln^p x 仍做对数等价:这是标准广义 pp 积分型,必须直接读对数幂次;只有 xx 的幂次不为 1 时才允许把对数视为无穷小指数。
  4. 对称区间直接用”奇零偶倍”:必须先验证收敛,两段发散不能抵消(例 3.84 A 选项)。
  5. 跨越瑕点使用牛顿–莱布尼茨公式02f(x)f2(x)dx\int_0^2\frac{f'(x)}{f^2(x)}\mathrm dx 中的 x=1x=1 是奇点,必须拆段取极限(例 3.96)。
  6. 含参题目忽略参数符号xmx^m 中的 mm 未限定正负时,x=0x=0 可能是瑕点(例 3.91);分母含 aa 时,aa 的取值可能把零点搬进积分区间(例 3.97、2025 数二真题)。
  7. 反常积分计算的极限被省略:把无穷大直接代入原函数会得到"\infty-\infty"这类无意义表达式,必须保留参数再取极限。
  8. 微分方程组题中忘记验证极限为零:整体替换法的前提是 x+x\to+\inftyf,f0f,f'\to 0,需由特征根实部为负说明,不能想当然。
  9. 命题判断只凭直觉:2024 数二真题中的三个命题说明”收敛”与”函数趋于 0”、“收敛”与”衰减速度达到某个幂次”之间都不等价,必须靠反例确认。

我的总结

这一节的判断流程我已经固定成一条链:

  1. 先找奇点——无定义点(含区间内部)+ 无穷端点,一个都不能漏;
  2. 再定阶——在每个奇点附近做等价或同量级替换,读出与 pp 积分对照的指数;
  3. 逐点判——每个奇点单独给出条件,全收敛才收敛,一处发散即发散;
  4. 最后算——若要求值,先把无穷限或瑕点写成参数,算完再取极限,跨越奇点必须拆段。

三件需要反复提醒自己的事:

  • ① 和 ② 的临界点都是 p=1p=1,但收敛方向相反,我倾向用”原函数在端点是否有限”来复核,而不是背方向;
  • lnx\ln x 只提供无穷小的指数微扰,所以 xx 的指数只要偏离 11,结论立刻由 xx 的指数决定——1.011.010.990.99 的差别足以翻转结论;
  • “收敛”是个很弱的结论。它不保证 f0f\to 0,不保证衰减快于任何幂函数,也不保证能对 f2f^2 传递。例 3.94 的三个命题正是围绕这三件事设的,我把它当作概念辨析的标准模板记住:要否定全称命题,就去 pp 积分与广义 pp 积分里取反例;要否定存在性命题,就让收敛速度任意慢。

例 3.99 和 2025 数二真题这两道补充题值得再刷一遍:前者把”极限审敛 → 待定常数 → 拆项积分”串成了一条完整链条;后者提醒我”含参限积分先定范围”能省掉大量绝对值讨论。

参考资料

  • 考研数学历年真题(年份与卷种随题标注:2010 数一/数二、2013 数二、2016 数一、2016 数二、2020 数一、2020 数二、2022 数二、2023 数二、2024 数二、2025 数二)
  • 常见考研数学教材与辅导资料;例 3.94.1 取自《25 版高数十八讲》例 8.18,例 3.93 与例 3.115.1 类题目见于《张宇 1000 题》,例 3.92 取自李艳芳六套卷,例 3.99 取自李艳芳 900 题,例 3.91、例 3.95、例 3.96、例 3.97 取自《2023 李六》
  • 本人课程学习笔记;其中”三角函数因子趋于零时设同量级 (因子)(xx0)k(\text{因子})\sim(x-x_0)^k、用洛必达法则反解 kk 定阶”的判据,以及”lnx\ln x 视作无穷小指数与幂函数比较”的记账方式,参考自某考研数学课程讲义

Discussion

Comments

Post

Thoughts, corrections, and follow-up notes are welcome here.