昨天一好友问我以下题目,求证:
$$\lim_{n\to\infty} \frac{1^n + 2^n +\dots + n^n}{n^n}=\frac{e}{e-1}$$
将解答过程简单记录一下。

求解 #

首先可以注意到,当$n$充分大时,
$$\frac{1^n + 2^n +\dots + n^n}{n^n}=\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n$$
的主要项都集中在最后面那几项,因此,可以把它倒过来计算
$$\begin{aligned}\frac{1^n + 2^n +\dots + n^n}{n^n}=&\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n\\
=&\left(\frac{n}{n}\right)^n+\dots+\left(\frac{2}{n}\right)^n+\left(\frac{1}{n}\right)^n\end{aligned}$$
而我们有
$$\left(\frac{n-i}{n}\right)^n=\left(1-\frac{i}{n}\right)^n$$
是关于$n$的增函数,因此有
$$\left(\frac{n-i}{n}\right)^n \leq \lim_{n\to\infty} \left(1-\frac{i}{n}\right)^n =e^{-i}$$
从而
$$\left(\frac{n}{n}\right)^n+\dots+\left(\frac{2}{n}\right)^n+\left(\frac{1}{n}\right)^n \leq e^0 + e^{-1}+e^{-2}+\dots=\frac{e}{e-1}$$
恒成立。

另一边,主要是找到$\left(\frac{n-i}{n}\right)^n$的下界估计。我们有
$$\begin{aligned}&\ln\left[\left(\frac{n-i}{n}\right)^n\right]\\
=&n\ln\left(1-\frac{i}{n}\right)\\
=&n\left[-\frac{i}{n}-\frac{1}{2}\left(\frac{i}{n}\right)^2-\frac{1}{3}\left(\frac{i}{n}\right)^3-\dots\right]\end{aligned}$$

注意到我们有不等式$\ln(1-x) = -x -\frac{1}{2}x^2-\frac{1}{3}x^3-\dots > -x-x^2$,当然,这个不等式不是恒成立的,但是它在$x$较小时成立,可以粗略地估计,它在$0\leq x \leq \frac{1}{2}$时成立,因此,当$i \leq \frac{n}{2}$时,就有
$$\ln\left[\left(\frac{n-i}{n}\right)^n\right]\geq n\left[-\frac{i}{n}-\left(\frac{i}{n}\right)^2\right]=-i-\frac{i^2}{n}$$
或者
$$\left(\frac{n-i}{n}\right)^n \geq e^{-i-i^2/n}\geq e^{-i} \left(1-\frac{i^2}{n}\right)\geq e^{-i} -\frac{i^2}{n}$$

好了,我们已经知道$\sum_{i=0}^m i^2 \sim m^3$,故我们只取$i < n^{1/4}$的部分,也就是说
$$\begin{aligned}&\left(\frac{n}{n}\right)^n+\dots+\left(\frac{2}{n}\right)^n+\left(\frac{1}{n}\right)^n\\
\geq &\sum_{i=0}^{\left\lfloor n^{1/4} \right\rfloor}\left(1-\frac{i}{n}\right)^n\\
\geq &\sum_{i=0}^{\left\lfloor n^{1/4} \right\rfloor} \left(e^{-i} -\frac{i^2}{n}\right)\\
=&\frac{1-e^{-\left\lfloor n^{1/4} \right\rfloor-1}}{1-e^{-1}}-\lambda \frac{\left\lfloor n^{1/4} \right\rfloor ^3}{n}\end{aligned}$$

$\lambda$是一个常数,我们不需要知道它的具体值。取极限,后一项就为0了,得
$$\lim_{n\to\infty}\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n \geq\frac{e}{e-1}$$

结合另一端的不等式,就有
$$\lim_{n\to\infty}\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n = \frac{e}{e-1}$$

整个过程主要就是放缩,而且根据我们的需要随心所欲的放缩——当然,这与题目本身比较弱有关。文中的过程不是最简洁漂亮的,却是相当实用的!

转载到请包括本文地址:https://kexue.fm/archives/3256

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Mar. 28, 2015). 《有趣的求极限题:随心所欲的放缩 》[Blog post]. Retrieved from https://kexue.fm/archives/3256

@online{kexuefm-3256,
        title={有趣的求极限题:随心所欲的放缩},
        author={苏剑林},
        year={2015},
        month={Mar},
        url={\url{https://kexue.fm/archives/3256}},
}