新讲 第10章 广义积分 第8题
📝 题目
例 8 考察积分
$$ \Gamma \left( p\right) = {\int }_{0}^{+\infty }{\mathrm{e}}^{-x}{x}^{p - 1}\mathrm{\;d}x $$
的收敛性.
💡 答案解析
解 因为
$$ \mathop{\lim }\limits_{{x \rightarrow + \infty }}{x}^{2}\left| {{\mathrm{e}}^{-x}{x}^{p - 1}}\right| = \mathop{\lim }\limits_{{x \rightarrow + \infty }}{\mathrm{e}}^{-x}{x}^{p + 1} = 0, $$
$$ \mathop{\lim }\limits_{{x \rightarrow 0 + }}{x}^{1 - p}\left| {{\mathrm{e}}^{-x}{x}^{p - 1}}\right| = \mathop{\lim }\limits_{{x \rightarrow 0 + }}{\mathrm{e}}^{-x} = 1, $$
所以积分 $\Gamma \left( p\right)$ 当 $1 - p < 1$ 时即 $p > 0$ 时收敛,而当 $1 - p \geq 1$ 即 $p \leq 0$ 时发散.
以下介绍瑕积分条件收敛性的判别法.
定理 ${2}^{\prime }$ (狄利克雷判别法) 设函数 $f$ 和 $g$ 在区间 $(a,b\rbrack$ 上有定义,在其任何闭子区间 $\left\lbrack {a + \eta ,b}\right\rbrack$ 上常义可积. 如果
(1)存在 $\delta > 0$ ,使得 $f$ 在 $\left( {a,a + \delta }\right)$ 上是单调的,并且有
$$ \mathop{\lim }\limits_{{x \rightarrow a + }}f\left( x\right) = 0; $$
(2)存在 $K \geq 0$ ,使得
$$ \left| {{\int }_{a + \eta }^{b}g\left( x\right) \mathrm{d}x}\right| \leq K,\;\forall \eta > 0, $$
那么积分 $\displaystyle{\int }_{a}^{b}f\left( x\right) g\left( x\right) \mathrm{d}x$ 收敛.
证明 只需用第二中值定理估计
$$ \left| {{\int }_{a + \eta }^{a + {\eta }^{\prime }}f\left( x\right) g\left( x\right) \mathrm{d}x}\right| , $$
请读者仿照定理 2 中的做法完成本定理的证明.
定理 ${3}^{\prime }$ (阿贝尔判别法) 设函数 $f$ 和 $g$ 在区间 $(a,b\rbrack$ 上有定义,在其任何闭子区间 $\left\lbrack {a + \eta ,b}\right\rbrack$ 上常义可积. 如果
(1)存在 $\delta > 0$ ,使得 $f$ 在 $\left( {a,a + \delta }\right)$ 上单调并且有界；
(2) 积分 $\displaystyle{\int }_{a}^{b}g\left( x\right) \mathrm{d}x$ 收敛,
那么积分 $\displaystyle{\int }_{a}^{b}f\left( x\right) g\left( x\right) \mathrm{d}x$ 也收敛.
请读者仿照定理 3 证明中的做法,自己写出定理 ${3}^{\prime }$ 的证明.
注记 关于在上限处有瑕点的积分, 也有类似的狄利克雷判别法与阿贝尔判别法. 请读者自己陈述有关的定理并给出证明.