Encuentre $\lim\limits_{x\to \infty} (2\arctan x -\pi)\ln x$

Question

Estoy intentando encontrar este límite pero no lo he conseguido.

He intentado dividirlo y encontrar que los dos límites existen y luego encontrar una respuesta pero sin suerte. También he intentado cambiar pero no ha servido de nada.

$$\lim_{x\to \infty} (2\arctan x -\pi)\ln x$$

¿Alguna pista?

Answer 1

Maple tiene esta información asintótica para arctan como $x \to \infty$ ...

$$ \arctan x \sim \frac{\pi}{2} - \frac{1}{x} + \frac{1}{3 x^{3}} - \frac{1}{5 x^{5}} + O \Bigl(x^{-6}\Bigr) $$

Answer 2

$$(2 \arctan(x) - \pi) \ln(x) = - 2 (\pi/2 - \arctan(x)) \ln(x) = -2 \arctan(1/x) \ln(x)$$ $$\lim_{x \rightarrow \infty} (2 \arctan(x) - \pi) \ln(x) = -2 \lim_{x \rightarrow \infty} \arctan(1/x) \ln(x) = 2 \lim_{x \rightarrow 0^+} \arctan(x) \ln(x)$$ $$\lim_{x \rightarrow 0^+} \arctan(x) \ln(x) = \lim_{x \rightarrow 0^+}\frac{\arctan(x)}{\frac1{ \ln(x)}} = \lim_{x \rightarrow 0^+} \frac{\frac{1}{1+x^2}}{-\frac1{\ln^2(x)} \frac1x} = - \lim_{x \rightarrow 0^+} \frac{x \ln^2(x)}{1+x^2} = 0$$ Por lo tanto, $$\lim_{x \rightarrow \infty} (2 \arctan(x) - \pi) \ln(x) = 0.$$

Answer 3

Veamos una forma elemental:

$$\lim\limits_{x\to \infty} (2\arctan x -\pi)\ln x=\lim\limits_{x\to \infty} \arctan({\tan{(2\arctan x -\pi)})}\ln x=\lim\limits_{x\to \infty} -\arctan{\frac{2x}{x^2-1}} \ln x$$ $$=\lim\limits_{x\to \infty} \frac{-\arctan{\frac{2x}{x^2-1}}}{\frac{2x}{x^2-1}}\cdot \lim\limits_{x\to \infty}\frac{2x}{x^2-1}\ln x=-1 \cdot0=0.$$

Q.E.D.