Cómo probar que$\sum_{k=1}^n\frac{1}{\sqrt[n]{k!} }\sim \frac{n}{\ln n}$

Question

Recientemente me he encontrado con esta estimación asintótica: compruebe que$\sum_{k=1}^n\frac{1}{\sqrt[n]{k!} }\sim \frac{n}{\ln n}$,$n\to \infty$.

Esta es la forma en que pienso:

De acuerdo con el principio del área, \begin{align*} \Bigg|\sum_{k=1}^n\frac{1}{\sqrt[n]{k!} }-\int_1^n\frac{1}{\sqrt[n]{\Gamma(x+1)}}d x\Bigg|\leqslant \frac{1}{\sqrt[n]{\Gamma(n+1)}} \end {align *} Así tenemos \begin{align*} \frac{\ln n}{n}\Bigg|\sum_{k=1}^n\frac{1}{\sqrt[n]{k!} }-\int_1^n\frac{1}{\sqrt[n]{\Gamma(x+1)}}d x\Bigg|\leqslant \frac{\ln n}{n}\frac1{\sqrt[n]{\Gamma(n+1)}}\sim \frac{\ln n}{n}\cdot \frac1{\sqrt[n]{2\pi n}} \frac{e}{n}\to 0,~~n\to \infty \end {align *} Para este fin solo tenemos que mostrar \begin{align*} \int_1^n\frac{1}{\sqrt[n]{\Gamma(x+1)}}d x\sim \frac{n}{\ln n} \end {align *} Pero mi línea de pensamiento está estancada aquí. ¿Me puede ayudar? Muchas gracias.

Answer 1

Utilizando la fórmula de stirling y de integración parcial, se obtiene:

$\displaystyle\frac{\ln n}{n}\sum\limits_{k=1}^n \frac{1}{k!^{1/n}} \sim \frac{\ln n}{n}\int\limits_1^n\frac{dx}{\Gamma(1+x)^{1/n}} = (\ln n)\int\limits_{1/n}^1\frac{dx}{\Gamma(1+nx)^{1/n}} \sim (\ln n)\int\limits_{1/n}^1\frac{dx}{(nx/e)^x}$

$\displaystyle = \left(\frac{\ln n}{(x/e)^x}\frac{n^{-x}}{-\ln n}\right)\bigg|_{1/n}^1 + \int\limits_{1/n}^1\frac{\ln \frac{1}{x}}{(nx/e)^x}dx \enspace$ con $\enspace\displaystyle \left(\frac{\ln n}{(x/e)^x}\frac{n^{-x}}{-\ln n}\right)\bigg|_{1/n}^1 \sim 1$

$\displaystyle 0< \int\limits_{1/n}^1\frac{\ln \frac{1}{x}}{(nx/e)^x}dx < e\int\limits_0^1\frac{\ln \frac{1}{x}}{n^x}dx =\frac{e}{\ln n}\left(\gamma+\ln\ln n+\int\limits_{\ln n}^\infty\frac{dt}{te^t}\right)\sim\frac{e\ln\ln n}{\ln n}\sim 0$

con la de Euler-Mascheroni constante $\,\gamma\,$

De ello se desprende $\enspace\displaystyle\frac{\ln n}{n}\sum\limits_{k=1}^n \frac{1}{k!^{1/n}} \sim 1\enspace$ y, por tanto, la reclamación.

Nota:

$\displaystyle \int\limits_0^1\frac{\ln \frac{1}{x}}{e^{ax}}dx=\frac{\ln a + \gamma + \Gamma(0,a)}{a}\sim \frac{\ln a}{a}\enspace$ con la función Gamma incompleta $\,\Gamma(.,.)$

Answer 2

Para cualquier$x>0$,$$c_1\,x^{x+\frac{1}{2}}e^{-x}\leq \Gamma(x+1)\leq c_2\,x^{x+\frac{1}{2}}e^{-x}$$ for some $ c_1, c_2> 0$ (see for example the Wikipedia page). Therefore, $$\frac{1}{\sqrt[n]{c_2}}\int_1^nx^{-x/n}x^{-\frac{1}{2n}}e^{x/n}\,dx\leq \int_1^n\frac{1}{\sqrt[n]{\Gamma(x+1)}}\,dx\leq\frac{1}{\sqrt[n]{c_1}}\int_1^nx^{-x/n}x^{-\frac{1}{2n}}e^{x/n}\,dx.$$ Next, note that $$n^{-\frac{1}{2n}}\int_1^nx^{-x/n}e^{x/n}\,dx\leq\int_1^nx^{-x/n}x^{-\frac{1}{2n}}e^{x/n}\,dx\leq \int_1^nx^{-x/n}e^{x/n}\,dx,$ $, por lo que es suficiente para encontrar el asintóticas de la última integral.

Answer 3

Los términos de $\frac{1}{\sqrt[n]{k!}}$$k\in[1,n]$, son aproximadamente del mismo tamaño, de ahí que el límite superior proporcionado por el Titular de la desigualdad $$ \sum_{k=1}^{n}\frac{1}{\sqrt[n]{k!}}\leq \sqrt[n]{n^{n-1}\sum_{k=1}^{n}\frac{1}{k!}}\leq \frac{n}{\sqrt[n]{n/e}}$$ se espera que cerca el comportamiento asintótico de los RHS.
Puede ser mejorado a través de (voy a esbozar el caso de $n=4$ por simplicidad) $$\sum_{k=1}^{4}\frac{1}{\sqrt[4]{k!}}\leq \sqrt[4]{\left(\tfrac{1}{1}+\tfrac{1}{2}+\tfrac{1}{3}+\tfrac{1}{4}\right)\left(\tfrac{1}{1}+\tfrac{1}{1}+\tfrac{1}{2}+\tfrac{1}{3}\right)\left(\tfrac{1}{1}+\tfrac{1}{1}+\tfrac{1}{1}+\tfrac{1}{2}\right)\left(\tfrac{1}{1}+\tfrac{1}{1}+\tfrac{1}{1}+\tfrac{1}{1}\right)}$$ que conduce a la $$ \sum_{k=1}^{n}\frac{1}{\sqrt[n]{k!}}\leq \sqrt[n]{\prod_{h=0}^{n-1}\left(h+H_{n-h}\right)}.\tag{U}$$ En el otro lado del Titular de la desigualdad puede ser utilizado también para la producción de un límite inferior:

$$ \left(\sum_{k=1}^{n}\frac{1}{1}\right)\left(\sum_{k=1}^{n}\frac{1}{\sqrt[n]{k!}}\right)^n \geq \left(\sum_{k=1}^{n}\frac{1}{\sqrt[n+1]{k!}}\right)^{n+1}$$ $$ \left(\sum_{k=1}^{n}\frac{1}{1}\right)\left(\sum_{k=1}^{n}\frac{1}{\sqrt[n+1]{k!}}\right)^{n+1} \geq \left(\sum_{k=1}^{n}\frac{1}{\sqrt[n+2]{k!}}\right)^{n+2}$$

llevar a $$ \sum_{k=1}^{n}\frac{1}{\sqrt[n]{k!}}\geq \frac{1}{n^{1/n}}\left(\sum_{k=1}^{n}\frac{1}{\sqrt[n+1]{k!}}\right)^{\frac{n+1}{n}}\geq \frac{1}{n^{2/n}}\left(\sum_{k=1}^{n}\frac{1}{\sqrt[n+2]{k!}}\right)^{\frac{n+2}{n}}\geq\ldots\geq\frac{1}{n}\left(\sum_{k=1}^{n}\frac{1}{\sqrt[2n]{k!}}\right)^2,$$

$$ \sum_{k=1}^{n}\frac{1}{\sqrt[n]{k!}}\geq\frac{1}{n^n}\left(\sum_{k=1}^{n}\frac{1}{\sqrt[n^2]{k!}}\right)^{n+1}\tag{L}$$ y para cualquier $k\in[1,n]$ la distancia entre el $\sqrt[2n]{k!}$ $1$ $O\left(\frac{\log n}{n}\right)$ por Stirling aproximación. El comportamiento asintótico de su suma debe ahora seguir comparando el preciso límite superior $(U)$ y la precisión del límite inferior $(L)$.