Sol1:
设f ( n ) = r n , f ′ ( n ) = r n + 1 − r n = − a n f(n)=r_n,f'(n)=r_{n+1}-r_{n}=-a_n f ( n ) = r n , f ′ ( n ) = r n + 1 − r n = − a n .
对第一问:
∑ n = 1 ∞ − f ′ ( n ) f ( n ) ∼ ∫ x = 1 ∞ − f ′ ( x ) f ( x ) d x = − ln f ( x ) ∣ x = 1 ∞ = ∞ \begin{gathered}
\sum_{n=1}^\infty \dfrac{-f'(n)}{f(n)} \sim \int_{x=1}^\infty \dfrac{-f'(x)}{f(x)} dx=-\ln f(x) |_{x=1}^\infty=\infty
\end{gathered} n = 1 ∑ ∞ f ( n ) − f ′ ( n ) ∼ ∫ x = 1 ∞ f ( x ) − f ′ ( x ) d x = − ln f ( x ) ∣ x = 1 ∞ = ∞
对第二问:
∑ n = 1 ∞ − f ′ ( n ) f ( n ) ∼ ∫ x = 1 ∞ − f ′ ( x ) f ( x ) d x = − 2 f ( x ) ∣ x = 1 ∞ < ∞ \begin{gathered}
\sum _{n = 1} ^{\infty} \dfrac{-f'(n)}{\sqrt{f(n)}}\sim \int_{x=1}^\infty \dfrac{-f'(x)}{\sqrt{f(x)}} dx=-2\sqrt{f(x)}|_{x=1}^\infty<\infty
\end{gathered} n = 1 ∑ ∞ f ( n ) − f ′ ( n ) ∼ ∫ x = 1 ∞ f ( x ) − f ′ ( x ) d x = − 2 f ( x ) ∣ x = 1 ∞ < ∞
只要这样的f f f 存在你就赢了,而你发现比如你指定每个整数点n n n 处2阶导为0 0 0 ,一阶导为− a n -a_n − a n ,函数值为r n r_n r n ,就可以分别构造每段的函数然后拼起来.存在性是显然的.或者说指定所有整数点处任意有限阶导数都是能这么做的.所以当判断收敛性的时候对任意数列你都可以大胆比拟f ( n ) = a n , f ′ ( n ) = a n + 1 − a n , f ′ ′ ( n ) = f ′ ( n + 1 ) − f ′ ( n ) f(n)=a_n,f'(n)=a_{n+1}-a_n,f''(n)=f'(n+1)-f'(n) f ( n ) = a n , f ′ ( n ) = a n + 1 − a n , f ′′ ( n ) = f ′ ( n + 1 ) − f ′ ( n ) 这样的函数.
但有一个问题,积分判别法要求f f f 的单调性,所以你还要保证你的f f f 递减,你注意到整数点确实是单调的,那么单调性要求满足起来是容易的.
(实际上,因为你完全不要求高阶导数,完全可以直接用若干段折线).
Sol2:
但其实即使不构造f f f ,你只要构造那个积分的结果的数列.
对第一问,你原来要积分∫ f ′ f = ln f \int \dfrac{f'}{f}=\ln f ∫ f f ′ = ln f ,所以令x n = ln ( r n + 1 ) − ln ( r n ) x_n=\ln(r_{n+1})-\ln(r_{n}) x n = ln ( r n + 1 ) − ln ( r n ) .
如果直接从积分出发,则x n = a n ξ , ξ ∈ ( r n + 1 , r n ) x_n=\dfrac{a_n}{\xi},\xi\in(r_{n+1},r_n) x n = ξ a n , ξ ∈ ( r n + 1 , r n ) .不好用.因为你不能保证n → ∞ n\to \infty n → ∞ 的时候r n r n − 1 → 1 \dfrac{r_n}{r_{n-1}}\to 1 r n − 1 r n → 1 .但是你注意到想收敛一定有a n r n ∼ 0 \dfrac{a_n}{r_n}\sim 0 r n a n ∼ 0 ,于是r n r n − 1 → 1 \dfrac{r_n}{r_{n-1}}\to 1 r n − 1 r n → 1 ,就弄完了.
对于第二问也一样,构造x n = 2 r n − 1 − 2 r n x_n=2\sqrt{r_{n-1}}-2\sqrt{r_n} x n = 2 r n − 1 − 2 r n ,则x n = ( r n − 1 − r n ) 1 ξ = a n ξ x_n=(r_{n-1}-r_n)\dfrac1{\sqrt{\xi}}=\dfrac{a_n}{\sqrt\xi} x n = ( r n − 1 − r n ) ξ 1 = ξ a n .这时同样没有r n r n − 1 = 1 \sqrt{\dfrac{r_n}{r_{n-1}}}=1 r n − 1 r n = 1 .但这里你要个不等号就行了,就弄完了.