关于积分$\int_{0}^{\infty} x^pe^{-x}\,dx$收敛的实数$p$取值范围的技术问询
Hey,我来帮你理清这个反常积分收敛性的问题,先回顾下你的思路,再修正其中的小错误并给出最终结论~
问题回顾
求所有实数$p$,使得积分$\int_{0}^{\infty} xpe{-x},dx$收敛?
你的思路梳理
你已经做了最关键的一步:把反常积分拆分成两个部分分别分析奇点处的收敛性,这个方向完全正确:
$$\int_{0}^{\infty} xpe{-x},dx = \lim_{a\to0+}\int_{a}{1} xpe{-x},dx + \lim_{b\to\infty}\int_{1}^{b} xpe{-x},dx$$
原积分的潜在奇点在$x=0$(当$p<0$时,$x^p$无界)和$x\to\infty$处,分开分析能更精准判断收敛性。
逐个积分的收敛性分析
1. 区间$\boldsymbol{(0,1]}$上的积分$\boldsymbol{\lim_{a\to0+}\int_{a}{1} xpe{-x},dx}$
你用极限比较测试选了$g(x)=xp$,计算得到$\lim_{x\to0+}\frac{xpe{-x}}{xp}=\lim_{x\to0+}e{-x}=1$,这个极限是正的有限值,所以根据极限比较判别法,$\int_{0}{1}xpe{-x}dx$和$\int_{0}{1}xpdx$的收敛性完全一致。
这里需要修正你之前的结论:$\int_{0}{1}xpdx$收敛的条件是$\boldsymbol{p>-1}$。
- 当$p=-1$时,积分是$\int_{0}{1}\frac{1}{x}dx=\lim_{a\to0+}\ln1-\ln a$,结果趋向于$+\infty$,发散;
- 当$p<-1$时,积分结果是$\lim_{a\to0+}\frac{1}{p+1}(1-a{p+1})$,因为$p+1<0$,$a{p+1}=\frac{1}{a{|p+1|}}$趋向于$+\infty$,积分发散;
- 只有当$p>-1$时,积分结果是$\frac{1}{p+1}$,收敛。
2. 区间$\boldsymbol{[1,\infty)}$上的积分$\boldsymbol{\lim_{b\to\infty}\int_{1}^{b} xpe{-x},dx}$
这里你之前的结论有误,因为$e^{-x}$的衰减速度远快于任何多项式的增长速度:
对于任意实数$p$,我们可以取一个足够大的$M>1$,当$x>M$时,$xpe{-x} < e{-x/2}$(因为$\lim_{x\to\infty}\frac{xp}{e{x/2}}=0$,指数函数的增长碾压多项式)。而$\int_{1}{\infty}e^{-x/2}dx = \lim_{b\to\infty}-2e{-b/2}+2e{-1/2}=2e{-1/2}$,是收敛的。根据比较判别法,不管$p$是哪个实数,$\int_{1}{\infty}xpe{-x}dx$都是收敛的。
最终结论
把两个区间的收敛条件结合起来:第一个积分要求$p>-1$,第二个积分对所有实数$p$都收敛,因此原积分$\int_{0}{\infty}xpe^{-x}dx$收敛的充要条件是$\boldsymbol{p>-1}$。
备注:内容来源于stack exchange,提问作者MathematikZauber1




