提问
讨论以下反常积分的敛散性: ∫ 0 + ∞ ln ( x + 1 ) x k d x \int_0^{+\infty}\frac{\ln(x+1)}{x^k}dx ∫0+∞xkln(x+1)dx
回答
哭了,居然错了,写了一大串,结果竟然败给它?
- 首先肯定要拆成两部分,因为有两个瑕点: x = 0 , x = + ∞ ⇒ x=0,x=+\infty\Rightarrow x=0,x=+∞⇒ ∫ 0 + ∞ ln ( x + 1 ) x k d x = ∫ 0 1 . . . d x + ∫ 1 + ∞ . . . d x \int_0^{+\infty}\frac{\ln(x+1)}{x^k}dx=\int_0^{1}...dx+\int_1^{+\infty}...dx ∫0+∞xkln(x+1)dx=∫01...dx+∫1+∞...dx这里需要两个积分都收敛,原积分才收敛
- 这就不得不讨论 ln ( x + 1 ) \ln(x+1) ln(x+1)这个大愣头了,这次就是败给了他,它特别过分,欺软怕硬, x → 0 + x\to0^+ x→0+时它要顶一个x,但 x 趋 于 + ∞ x趋于+\infty x趋于+∞的时候,它就没辙了,乖乖缩起尾巴,假装自己不存在,也就是 x → + ∞ , ln ( 1 + x ) = o ( x ε ) x\to+\infty,\ln(1+x)=o(x^{\varepsilon}) x→+∞,ln(1+x)=o(xε)
- 所以当x趋于无穷时, ln ( x + 1 ) x k = o ( 1 x k − ε ) \frac{\ln(x+1)}{x^k}=o(\frac1{x^{k-\varepsilon}}) xkln(x+1)=o(xk−ε1)因此只要 k − ε > 1 k-\varepsilon>1 k−ε>1积分就乖乖收敛,由于 ε \varepsilon ε的任意性,所以 k > 1 k>1 k>1
- 而 x → 0 + x\to0^+ x→0+时, ln ( x + 1 ) x k ∼ 1 x k − 1 \frac{\ln(x+1)}{x^k}\sim\frac1{x^{k-1}} xkln(x+1)∼xk−11因此 k − 1 < 1 , 即 k < 2 k-1<1,即k<2 k−1<1,即k<2, ∫ 0 1 \int_0^1 ∫01的积分才收敛
- 综上, 1 < k < 2 1<k<2 1<k<2时,积分收敛
总结
要牢记大愣头
ln
(
x
)
\ln(x)
ln(x)的各种性质,除了以上
ln
(
x
)
=
o
(
x
ε
)
(
x
→
+
∞
)
\ln(x)=o(x^\varepsilon)(x\to+\infty)
ln(x)=o(xε)(x→+∞)
ln
(
x
+
1
)
∼
x
(
x
→
0
+
)
\ln(x+1)\sim x(x\to0^+)
ln(x+1)∼x(x→0+)
还有不等式
1
n
+
1
<
ln
(
1
+
1
n
)
<
1
n
\frac{1}{n+1}<\ln(1+\frac1n)<\frac1n
n+11<ln(1+n1)<n1也即
x
x
+
1
<
ln
(
1
+
x
)
<
x
\frac{x}{x+1}<\ln(1+x)<x
x+1x<ln(1+x)<x
- 这道题没做对的主要原因是对 x → 0 x\to0 x→0时, ln ( x + 1 ) ∼ x \ln(x+1)\sim x ln(x+1)∼x这点不敏感
- 同时被一个结论影响了判断,即 ∫ 0 + ∞ 1 x p d x \int_0^{+\infty}\frac1{x^p}dx ∫0+∞xp1dx对 ∀ p ∈ R \forall p\in \R ∀p∈R都发散