步骤零:端点连续性与无瑕点排查(严谨规范前提)
因为 f(x) 在 [1,+∞) 上二阶可导,故 f(x) 在 [1,+∞) 上连续。
又由已知 f(x)>0,从而在整个区间 [1,+∞) 内 f(x)=0。
故被积函数 f(x)1 在任意有限闭区间 [1,A] 上均连续且有界,x=1 并非瑕点,在 [1,+∞) 内部无任何瑕点,只需证明 x→+∞ 时的敛散性。
证法一:极限形式比较审敛法(两次洛必达 · 考场标准通法)
第一步:未定式形态验证
因为 x→+∞limf′′(x)=+∞,由极限保号性,存在 X1≥1,当 x>X1 时恒有 f′′(x)>1。
从而 f′(x) 在 [X1,+∞) 上严格单调递增,且:
f′(x)=f′(X1)+∫X1xf′′(t)dt>f′(X1)+(x−X1)→+∞(x→+∞).
同理,存在 X2≥X1,当 x>X2 时恒有 f′(x)>1,故 f(x) 亦单调递增且 x→+∞limf(x)=+∞。
第二步:构造与 x2 的增长速度之比
考察极限 x→+∞limx2f(x),此为标准的 ∞∞ 型未定式:
x→+∞limx2f(x)洛x→+∞lim2xf′(x)洛x→+∞lim2f′′(x)=+∞.
(注:第二次使用洛必达法则时,因导数比值极限 lim2f′′(x)=+∞,符合洛必达法则充分条件,即便 f′′(x) 不连续亦严格成立)。
第三步:由极限形式比较审敛法判定收敛
由极限倒数关系可得:
x→+∞limx2⋅f(x)1=x→+∞limf(x)x2=+∞1=0.
取比较基准函数 g(x)=x21。
已知反常积分 ∫1+∞x21dx 收敛(p=2>1 的 p-积分),且在 [1,+∞) 上 f(x)1>0。
根据反常积分的比较审敛法极限形式(p>1 且极限为 0):
∫1+∞f(x)1dx必收敛.
证法二:两次积分不等式放缩法(分析学原理解构 · 无需洛必达)
由 x→+∞limf′′(x)=+∞,取常数 M=2>0。
必存在充分大的 X≥1,当 t≥X 时恒有:
f′′(t)≥2.
对 t∈[X,x] 积分:
∫Xxf′′(t)dt≥∫Xx2dt⟹f′(x)−f′(X)≥2(x−X)⟹f′(x)≥2(x−X)+f′(X).
再对两端在 [X,x] 上积分:
f(x)−f(X)≥∫Xx[2(t−X)+f′(X)]dt=(x−X)2+f′(X)(x−X).
即对一切 x≥X:
f(x)≥(x−X)2+f′(X)(x−X)+f(X)=x2+O(x).
因此当 x→+∞ 时,f(x)∼x2 或 f(x)≥21x2(当 x≥X0 时恒成立)。
故当 x≥X0 时:
0<f(x)1≤x22.
因为 ∫X0+∞x22dx 收敛,由比较审敛法大收小收,∫X0+∞f(x)1dx 收敛。
结合有限区间 [1,X0] 上积分值有限,得证 ∫1+∞f(x)1dx 必收敛。
Discussion
Comments
Thoughts, corrections, and follow-up notes are welcome here.