数学分析(十九)-含参量积分2-含参量反常积分2：含参量反常积分的性质【连续性、可微性、可积性】

定理 19.10 (连续性)

设 $f(x,y)$ 在 $I\times [c,+\infty )$ 上连续,若含参量反常积分

$$\Phi (x)={\int }_e^{+\infty }f(x,y)\mathrm{d}y(12)$$

在 $I$ 上一致收敛, 则 $\Phi (x)$ 在 $I$ 上连续.

证
由定理 19.9, 对任一递增且趋于 $+\infty$ 的数列 { A n } ( A 1 = c ) \left\{A_{n}\right\}\left(A_{1}=c\right) { An​}(A1​=c), 函数项级数

$$\Phi (x)=\sum _{n=1}^{\infty }{\int }_{A_n}^{h_n+1}f(x,y)\mathrm{d}y=\sum _{n=1}^{\infty }{u}_n(x)(13)$$

在 $I$ 上一致收敛. 又由于 $f(x,y)$ 在 $I\times [c,+\infty )$ 上连续,故每个 $u_n(x)$ 都在 $I$ 上连续. 根据函数项级数的连续性定理, 函数 $\Phi (x)$ 在 $I$ 上连续.

推论

设 $f(x,y)$ 在 $I\times [c,+\infty )$ 上连续, 若$\Phi (x)={\int }_c^{+\infty }f(x,y)\mathrm{d}y$ 在 $I$ 上内闭一致收敛, 则 $\Phi (x)$ 在 $I$ 上连续.

这个定理也表明,在一致收敛的条件下,极限运算与无穷积分运算可以交换:

$$\underset{x\to x_0}{\lim }{\int }_c^{+\infty }f(x,y)\mathrm{d}y={\int }_c^{+\infty }f\left(x_0,y\right)\mathrm{d}y={\int }_c^{+\infty }\underset{x\to x_0}{\lim }f(x,y)\mathrm{d}y.(14)$$

定理 19.11 (可微性)

设 $f(x,y)$ 与 $f_x(x,y)$ 在区域$I\times [c,+\infty )$ 上连续. 若$\Phi (x)={\int }_e^{+\infty }f(x,y)\mathrm{d}y$ 在 $I$ 上收敛,${\int }_e^{+\infty }{f}_s(x,y)\mathrm{d}y$ 在 $I$ 上一致收敛, 则$\Phi (x)$ 在 $I$ 上可微,且

$${\Phi }^{\prime }(x)={\int }_c^{+\infty }{f}_x(x,y)\mathrm{d}y.(15)$$

证
对任一递增且趋于 $+\infty$ 的数列 { A n } ( A 1 = c ) \left\{A_{n}\right\}\left(A_{1}=c\right) { An​}(A1​=c), 令

$$u_n(x)={\int }_{A_n}^{h_{n+1}}f(x,y)\mathrm{d}y.$$

由定理 19.3 推得

$$u_a^{\prime }(x)={\int }_{A_a}^{{\beta }_{n+1}}{f}_x(x,y)\mathrm{d}y.$$

由 ${\int }_c^{+\infty }{f}_x(x,y)\mathrm{d}y$ 在 $I$ 上一致收敛及定理19.9, 可得函数项级数

$$\sum _{n=1}^{\infty }{u}_n^{\prime }(x)=\sum _{n=1}^{\infty }{\int }_{A_n}^{h_{n-1}}{f}_x(x,y)\mathrm{d}y$$

在 $I$ 上一致收敛,因此根据函数项级数的逐项求导定理,即得

$${\Phi }^{\prime }(x)=\sum _{n=1}^{\infty }{u}_n^{\prime }(x)=\sum _{n=1}^{\infty }{\int }_{A_n}^{h_n+1}$$