数学分析(二十一)-重积分8-反常二重积分1：无界区域上的二重积分

- § 8 反常二重积分
前面我们是在有界区域上讨论有界函数的二重积分.
本节将研究无界区域上或无界函数的二重积分.
一、无界区域上的二重积分
定义 1 设 $f(x,y)$ 为定义在无界区域 $D$ 上的二元函数.
若对于平面上任一包围原点的光滑封闭曲线 $\gamma ,f(x,y)$ 在曲线 $\gamma$
所围的有界区域 $E_{\gamma }$ 与 $D$ 的交集 $E_{\gamma }\cap D=D_{\gamma }$
(图
21-43) 上恒可积. 令
$$d_{\gamma }=\inf \left\{\sqrt{x^2+y^2}\mid (x,y)\in \gamma \right\}.$$
若极限
$$\underset{d_y\to +\infty }{\lim }{\iint }_{D_y}f(x,y)\mathrm{d}\sigma$$
存在且有限, 且与 $\gamma$ 的取法无关, 则称 $f(x,y)$ 在 $D$
上的反常二重积分收敛, 并记
$${\iint }_{D}f(x,y)\mathrm{d}\sigma =\underset{d_y\to +\infty }{\lim }{\iint }_{D_y}f(x,y)\mathrm{d}\sigma ,$$
否则称 $f(x,y)$ 在 $D$ 上的反常二重积分发散, 或简称
${\iint }_{D}f(x,y)\mathrm{d}\sigma$ 发散.
定理 21.17 设在无界区域 $D$ 上 $f(x,y)⩾0,{\gamma }_1$,
${\gamma }_2,\cdots ,{\gamma }_n,\cdots$
为一列包围原点的光滑封闭曲线序列, 满足
(i)
$d_n=\inf \left\{\sqrt{x^2+y^2}\mid (x,y)\in {\gamma }_n\right\}\to +\infty (n\to \infty )$,
(ii)
$I={\sup }_n{\iint }_{D_n}f(x,y)\mathrm{d}\sigma <+\infty$,{width=“186px”}
图 21-43
其中 $D_n$ 为 ${\gamma }_n$ 所围的有界区域 $E_n$ 与 $D$ 的交集,
则反常二重积分 (1) 收敛,并且
$${\iint }_{D}f(x,y)\mathrm{d}\sigma =I.$$
证 设 ${\gamma }^{\prime }$ 为任何包围原点的光滑封闭曲线,
这曲线所围的区域记为 $E^{\prime }$, 并记 $D^{\prime }=$
$E^{\prime }\cap D$. 因为
$\underset{n\to \infty }{\lim }{d}_n=+\infty$, 因此存在 $n$, 使得
$D^{\prime }\subset D_n\subset D$. 由于 $f(x,y)⩾0$, 所以有
$${\iint }_{D^{\prime }}f(x,y)\mathrm{d}\sigma ⩽{\iint }_{D_n}f(x,y)\mathrm{d}\sigma ⩽I.$$
另一方面,因为
$$I=\underset{n}{\sup }{\iint }_{D_n}f(x,y)\mathrm{d}\sigma ,$$
对于任给的 $\epsilon >0$, 总有 $n_0$, 使得
$${\iint }_{D_{n_0}}f(x,y)\mathrm{d}\sigma >I-\epsilon .$$
对于充分大的 $d^{\prime }$, 区域 $D^{\prime }$ 又可包含 $D_{n_0}$, 因而
∬ D ′ f ( x , y ) d σ > I − ε \iint_{D^{\prime}} f(x, y) \mathrm{d} \sigma>I-\varepsilon ∬