反常积分与收敛判别
本文基于模型知识整理（生成时未联网核对），收敛判据建议对照 Stewart §7.8 复核。
一句话定义
反常积分把定积分推广到"无穷区间"或"无界函数"：用极限定义——$\int_a^\infty f=\lim_{b\to\infty}\int_a^b f$、$\int_a^b f$（a 为瑕点）$=\lim_{\varepsilon\to0^+}\int_{a+\varepsilon}^b f$；极限存在叫收敛，否则发散。颠覆直觉的结论：无穷长不发散（$\int_1^\infty\frac{dx}{x^2}$ 收敛）、有限长可发散（$\int_0^1\frac{dx}{x}$ 发散）。
为什么重要
概率密度（kp-030 的正态/指数分布）、傅里叶变换（kp-021）、拉普拉斯变换、期望是否存在（kp-030 的重尾警告）——全部建立在反常积分收敛性上。"面积可以为有限"是分析学对无穷的第一次胜利，也是级数收敛理论（kp-018）的姊妹篇。
前置知识
kp-012/013（定积分与计算）。
核心概念
- 两类反常：① 无穷区间（$[a,\infty)$、$(-\infty,b]$、$(-\infty,\infty)$ 取双极限）；② 瑕点（被积函数在端点/内部无界，如 $\frac1{\sqrt x}$ 在 0）。
- 标杆积分（p-积分）：
- 无穷区间：$\int_1^\infty\frac{dx}{x^p}$ —— p>1 收敛（值 1/(p−1)），p≤1 发散； - 瑕点：$\int_0^1\frac{dx}{x^p}$ —— p<1 收敛，p≥1 发散（边界正好相反！）。
- 比较判别法：0≤f≤g 且 ∫g 收敛 ⇒ ∫f 收敛；∫f 发散 ⇒ ∫g 发散（找同型标杆）。
- 极限比较：$\lim f/g=c\in(0,\infty)$ ⇒ 同敛散——实战主力（比绝对大小好用）。
- 条件收敛 vs 绝对收敛：$\int_1^\infty\frac{\sin x}{x}dx$ 收敛（条件），但 $|\cdot|$ 发散——振荡抵消的收敛，比绝对收敛脆弱。
原理与机制
为什么 p=1 是生死线：$\int_1^b\frac{dx}{x}=\ln b\to\infty$（对数爬升永不封顶）；而 p>1 时 $\frac{b^{1-p}}{p-1}\to0$——1/x 的"衰减速度"恰好不够。衰减是否"快于 1/x"决定无穷远处的命运——这也是级数 p-判别（kp-018）的连续版镜像。
瑕点的镜像逻辑：$\int_0^1\frac{dx}{x^p}$ 中 p<1（如 $\frac1{\sqrt x}$）收敛——瑕点附近"尖得不够快"反而安全；p≥1 在 0 处爆炸。无穷远与瑕点的判据方向相反，是本条最高频错误点（kp-033 清单常客）。
为什么条件收敛脆弱：$\frac{\sin x}{x}$ 的收敛靠正负抵消（狄利克雷判别的振荡机制）；重排或加噪即崩——与级数的黎曼重排现象（kp-018）同源：条件收敛依赖"排列次序"。
图示
无穷区间: ∫₁^∞ dx/x^p → p>1 收敛(=1/(p−1)); p≤1 发散
瑕点: ∫₀¹ dx/x^p → p<1 收敛; p≥1 发散 ← 方向相反!
比较: f ≤ g 且 ∫g 收 ⇒ ∫f 收
极限比较: lim f/g ∈ (0,∞) ⇒ 同敛散
条件收敛: ∫₁^∞ sinx/x dx 收敛, |·| 发散 (振荡抵消)直观类比
无穷区间积分像"火箭燃料"：速度衰减快于 1/距离（p>1）就能在有限燃料内溜到无穷远；衰减慢如 1/距离（p=1）燃料永远不够。瑕点像"考试扣分规则"：偶犯小错（p<1 的轻度尖峰）总分仍有限，屡犯大错（p≥1）直接爆分。
实例或案例
- 正态密度：$e^{-x^2/2}$ 全轴积分收敛（指数衰减是收敛的顶级保障）——概率归一化的前提（kp-030）。
- 柯西分布：密度 $\frac{1}{\pi(1+x^2)}$ 可积（均值却不存在——更反常的重尾在 kp-030 等着你）。
- 信号处理：$\int_0^\infty\frac{\sin x}{x}dx=\frac{\pi}{2}$（狄利克雷积分）——条件收敛的明星（傅里叶 kp-021 的前菜）。
常见误区
- 误区一："∞−∞ 型直接相减"。$\int_1^\infty\frac{dx}{x(x+1)}$ 拆成两个都发散的部分？实际上整体收敛——必须先合并处理（线性性只对收敛项合法，kp-018 同款警告）。
- 误区二："p 积分判据方向记反"。两个方向相反的判据必须成对记忆+各配一个锚例（1/x² 在 ∞ 收敛；1/x 在 0 发散）。
- 误区三："数值积分器说不发散就是收敛"。数值截断永远给有限值（kp-017）——收敛性必须解析判别，机器会骗你。
与其他知识点的关系
自测题
- 判断 $\int_2^\infty\frac{dx}{x\sqrt{\ln x}}$ 的敛散。
答：令 u=ln x → $\int_{\ln2}^\infty u^{-1/2}du$ 发散（瑕型 p=1/2>0 方向恰好需要 p<1 才收敛——此处发散）。
- $\int_0^1\frac{dx}{x^{1.5}}$ 收敛吗？
答：发散——瑕点 p=1.5≥1（对照：p<1 才收敛）。
- 比较 $\int_1^\infty\frac{dx}{x^2+3}$ 的收敛性。
答：收敛——与 $\frac1{x^2}$ 极限比较比值为 1（p=2>1），或直接放缩 $\frac1{x^2+3}<\frac1{x^2}$。
延伸阅读
- Stewart《Calculus》§7.8。
- Spivak《Calculus》第 21 章（反常积分的严格判别）。
- 《概率论》教材密度可积性章节（与 kp-030 的接口）。