How to prove that $\lim_{x\to 1^-} \left(\left(\sum_{n=1}^{\infty}x^n \right)\cdot \log\left(\frac{1}{x}\right) \right)= 1$ WITHOUT computing the sum

71 Views Asked by At

That's it. I want to know a way to do it so i can use it to prove other results like this ones: $$ \lim_{x \to 1^-} \left(\left(\sum_{n=1}^{\infty}x^{n^2} \right)\cdot \sqrt{\log\left(\frac{1}{x}\right)} \right)= \frac{\sqrt{\pi}}{2}$$ $$ \lim_{x \to 1^-} \left(\left(\sum_{n=1}^{\infty}x^{n^m} \right)\cdot \log\left(\frac{1}{x}\right)^{1/m} \right)= \frac{\Gamma \left(\frac{1}{m}\right)}{m}$$

1

There are 1 best solutions below

1
On

Hint. Assume $m>0$ and $0<x<1$. The function $t \mapsto e^{-(-\ln x)\cdot t^m}$ being monotone decreasing over $[1,\infty)$, one deduces $$ \int_1^\infty e^{-(-\ln x)\cdot t^m}\,dt\le\sum_{n=1}^\infty x^{n^m} \le x+\int_1^\infty e^{-(-\ln x)\cdot t^m}\,dt $$ then one may evaluate $$ \int_1^\infty e^{-(-\ln x)\cdot t^m}\,dt. $$ For example, $$ \begin{align} \int_1^\infty e^{-(-\ln x)\cdot t}\,dt&=-\frac{x}{\ln x}, \\\\ \int_1^\infty e^{-(-\ln x)\cdot t^2}\,dt&=\frac{\sqrt{\pi}\text{erfc}\left(\sqrt{-\ln x}\right)}{2\sqrt{-\ln x}}. \end{align} $$