Respuestas
¿Demasiados anuncios?Vamos a demostrar que $$ \frac{1^n+2^n+\cdots+n^n}{n^n}\\frac{\mathrm{e}}{\mathrm{e}-1}\etiqueta{$\star$} $$ Primero de todo, $\log (1-x)<-x$, para todos los $x\in(0,1)$ y por lo tanto $$ \log\left(1-\frac{k}{n}\right)<-\frac{k}{n}\quad\Longrightarrow\quad \left(1-\frac{k}{n}\right)^n<\mathrm{e}^{-k}, \quad \text{para todos los $n>k$} $$ y así $$ \frac{1^n+2^n+\cdots+n^n}{n^n}=\sum_{k=0}^{n-1}\left(1-\frac{k}{n}\right)^n <\sum_{k=0}^{n-1}\mathrm{e}^{-k}<\sum_{k=0}^{\infty}\mathrm{e}^{-k}=\frac{1}{1-\frac{1}{\mathrm{e}}}=\frac{\mathrm{e}}{\mathrm{e}-1}. $$ Por lo tanto $$ \limsup_{n\to\infty}\frac{1^n+2^n+\cdots+n^n}{n^n}\le \frac{\mathrm{e}}{\mathrm{e}-1}. \etiqueta{1} $$
Mientras tanto, para todos los $k\in\mathbb N$, $$ \frac{(n-k)^n}{n^n}=\left(1-\frac{k}{n}\right)^n\\mathrm{e}^{-k}, $$ y, por lo tanto, para cada $k\in\mathbb N$ fijo, $$ \frac{1^n+2^n+\cdots+n^n}{n^n}\ge \frac{(n-k)^n+(n-k+1)^n+\cdots+n^n}{n^n}\\=\left(1-\frac{k}{n}\right)^n+\left(1-\frac{k-1}{n}\right)^n+\cdots+\left(1-\frac{1}{n}\right)^n+1\a \mathrm{e}^{-k} +\mathrm{e}^{k+1}+\cdots+1=\frac{\mathrm{e}-\mathrm{e}^{-k}}{\mathrm{e-1}}. $$ Por lo tanto, para todos los $k\in\mathbb N$, $$ \liminf_{n\to\infty}\frac{1^n+2^n+\cdots+n^n}{n^n}\ge \frac{\mathrm{e}-\mathrm{e}^{-k}}{\mathrm{e-1}} $$ y así $$ \liminf_{n\to\infty}\frac{1^n+2^n+\cdots+n^n}{n^n}\ge \sup_{k\in\mathbb N}\frac{\mathrm{e}-\mathrm{e}^{-k}}{\mathrm{e-1}}=\frac{\mathrm{e}}{\mathrm{e-1}} \etiqueta{2} $$ La combinación de $(1)$ & $(2)$, obtenemos $(\star)$.
Creo que el anterior intercalando métodos sólo son viables cuando ya sabes el resultado antes de abordar el problema. Voy a presentar un método a partir de cero.
Tenga en cuenta que para un caso especial de Faulhaber la fórmula, el numerador es igual a $$S=\sum^n_{k=1}k^n=n^n\sum^n_{k=0}\frac{B^+_k}{k!}\frac{n!n^{1-k}}{(n-k+1)!}$$
Es bien conocido que $$\frac{n!n^a}{(n+a)!}=1+o(\cdots)$$ as $n\to\infty$.
Por lo tanto, el límite requerido $$\frac{S}{n^n}\~ \sum^n_{k=0}\frac{B^+_k}{k!}=\frac1{1-e^{-1}}=\color{RED}{\frac{e}{e-1}}$$ by noting the generating function of Bernoulli numbers $$\frac{t}{1-e^{-t}}=\sum^\infty_{k=0}\frac{B^+_kt^k}{k!}$$
p.s. No sé cuál es el $o(\cdots)$ debe ser. Cualquier persona que sabe de ella por favor, edite mi respuesta.
También, no sé cómo escribir el símbolo para asintótica en Mathjax, por favor me ayude...