跳转至

被积函数有奇点时怎样判断收敛?

先备知识

掌握反常积分、距离函数、极坐标和绝对收敛。

学习目标

把奇点隔离后比较径向幂次,并明确变号积分的路径风险。

牵引问题

区域有界,但函数在一点无界;Riemann 重积分为何仍需极限?

探索与猜想

先从区域中挖去奇点周围的小邻域,在剩余有界区域积分,再让孔径趋零。

概念与理论

\(f\)\(a\in D\)奇点,定义

\[ \lim_{\varepsilon\downarrow0} \iint_{D\setminus B(a,\varepsilon)}f\,dA. \]

这称为挖去邻域的极限。二维中 \(f(x)\sim\|x-a\|^{-p}\) 时,极坐标给局部 \(\int_0^\delta r^{1-p}dr\),故 \(p<2\) 收敛,\(p\ge2\) 发散。三维阈值相应为 \(p<3\)

\(\iint|f|<\infty\),称为绝对收敛,可稳定地分片和换序。若只靠某种对称 挖孔使正负抵消,则可能存在路径风险:不同形状或不同速率靠近奇点可给不同结果。

例题与迁移

例 1:可积奇点

单位圆盘上 \(1/r\) 的积分为 \(2\pi\int_0^1dr=2\pi\),虽在原点无界却收敛。

例 2:不可积奇点

单位圆盘上 \(1/r^2\)\(2\pi\int_0^1dr/r\),发散。

即时检验与回望

即时检验 1

二维幂奇点的临界指数是多少?

答案

\(p=2\);只有 \(p<2\) 局部可积。

即时检验 2

对称主值存在是否等于绝对收敛?

答案

不等;主值依赖指定对称极限,绝对收敛控制所有正负贡献。

常见误区与后续

  • 先定位每个奇点,再分别挖孔。
  • 极坐标面积元的 \(r\) 会改变幂次阈值。
  • 数值避开奇点不等于证明反常积分收敛。

习题与答案

习题 1

二维 \(r^{-3/2}\) 在原点附近可积吗?

答案

可积,因为 \(3/2<2\)

习题 2

二维 \(r^{-2}\) 呢?

答案

发散,为对数型临界情形。

习题 3

三维 \(r^{-5/2}\) 可积吗?

答案

可积,因为 \(5/2<3\)

习题 4

为何挖孔形状要写明?

答案

条件收敛或变号情形可能对靠近路径敏感。

习题 5

多个奇点怎样处理?

答案

分别挖去互不相交的小邻域并检查每个局部积分。

习题 6

有界函数会产生内部奇点反常积分吗?

答案

不会因无界性产生;仍需检查区域边界和普通可积性。

习题 7

绝对收敛的检验对象是什么?

答案

\(|f|\) 的反常重积分。

习题 8

为什么有限网格可能漏掉发散?

答案

采样点可能避开奇点,且无法控制孔径趋零时的全部贡献。

习题 9

二维临界指数从哪里来?

答案

面积元为 \(r\,dr\,d\theta\),故比较 \(\int r^{1-p}dr\)

习题 10

收敛审查的顺序是什么?

答案

定位奇点、指定挖孔极限、取绝对值比较、再计算可能的值。