20 votos

¿Cómo puedo encontrar este límite involucran a tres veces el logaritmo iterado?

$$\lim_{x \to 0}\dfrac{\ln \ln \ln \left[x+(1+x)^{(1+x)^{1/x}/x}\right]+x\left[1-\dfrac{1}{e^{e+1}}\right]}{x^2}$$

¿Cómo puedo encontrar el límite de esta pregunta? Cualquier sugerencia. Muchas gracias.

32voto

Claude Leibovici Puntos 54392

Usted puede encontrar con una gran cantidad de paciencia ! Te doy lo que hice (con la esperanza de que la solución más sencilla) :

En primer lugar, miro el exponente y, yendo primero a los logaritmos, obtener $$\frac{(x+1)^{\frac{1}{x}}}{x}=\frac{e}{x}-\frac{e}{2}+\frac{11 e x}{24}-\frac{7 e x^2}{16}+O\left(x^3\right)$$ Then $$(x+1)^{\frac{(x+1)^{\frac{1}{x}}}{x}}=e^e-e^{1+e} x+\frac{1}{24} e^{1+e} (25+12 e) x^2+O\left(x^3\right)$$ So$$A=x+(x+1)^{\frac{(x+1)^{\frac{1}{x}}}{x}}=e^e+\left(1-e^{1+e}\right) x+\frac{1}{24} e^{1+e} (25+12 e) x^2+O\left(x^3\right)$$ Now, let me play with the logarithms $$\registro de Una=e+\left(e^{-e}-e\ \ derecho) x+\left(\frac{25}{24}+e^{1-e}-\frac{e^{-2 e}}{2}\right) x^2+O\left(x^3\right)$$ $$\log\log A=1+\left(e^{-1-e}-1\right) x+\left(\frac{13}{24}-\frac{1}{2} e^{-2-2 e}-\frac{1}{2} e^{-1-2 e}+e^{-1-e}+e^{-e}\right) x^2+O\left(x^3\right)$$ $$\log\log\log A=\left(e^{-1-e}-1\right) x+\frac{1}{24} e^{-2-2 e} \left(-24-12 e+48 e^{1+e}+24 e^{2+e}+e^{2+2 e}\right) x^2+O\left(x^3\right)$$ where you can notice that the first term is $$-x\left[1-\frac{1}{e^{e+1}}\right]$$ So, the limit is $$\frac{1}{24} e^{-2-2 e} \left(-24-12 e+48 e^{1+e}+24 e^{2+e}+e^{2+2 e}\right)=\frac{1}{24}+\frac{1}{2} e^{-2 (1+e)} (2+e) \left(2 e^{1+e}-1\right)$$

Todo lo anterior utilizan sucesivamente el desarrollo (serie de Taylor) de $\log(1+y)$ cerca de $y=0$.

11voto

Paramanand Singh Puntos 13338

Vamos a darle una oportunidad, utilizando técnicas elementales. En primer lugar tomamos el cuidado de $f(x) = (1 + x)^{(1 + x)^{1/x}/x}$. Claramente $$\log f(x) = (1 + x)^{1/x}\frac{\log(1 + x)}{x} \to e\tag{1}$$ so that $f(x) \a e^{e}$. We have to deal with the expression $$F(x) = \dfrac{\log \log \log(x + f(x)) + x(1 - e^{-e - 1})}{x^{2}}\tag{2}$$ It can be seen that both the numerator and denominator of $F(x)$ tend to $0$. I am somehow forced now to use L'Hospital Rule. This gives us another complicated expression $$G(x) = \frac{1}{2x}\left\{\left(1 - e^{-e - 1}\right) + \frac{1}{\log \log (x + f(x))}\cdot\frac{1}{\log(x + f(x))}\cdot\frac{1 + f'(x)}{x + f(x)}\right\}\tag{3}$$ The challenge now is to calculate $f'(x)$ and show that it tends to $-e^{e + 1}$ as $x \to 0$. This will ensure that we can apply LHR on $G(x)$ also. Assuming that we have done so we can see that the next application of LHR on $G(x)$ will give rise to the expression $$H(x) = \frac{1}{2}\left\{\frac{g(x)f''(x) - (1 + f'(x))g'(x)}{\{g(x)\}^{2}}\right\}\tag{4}$$ where $g(x) = (x + f(x))\cdot\log(x + f(x))\cdot\log\log(x + f(x))$.

Tenga en cuenta que$g(x) \to e^{e + 1}$, por lo que espero que no necesitamos más de la aplicación de LHR en $H(x)$ y el límite final sería $$\dfrac{A}{2e^{2e + 2}}\tag{5}$$ where $$A = \lim_{x \to 0}g(x)f''(x) - (1 + f'(x))g'(x)\tag{6}$$ We can now see that the real challenge is to evaluate $f'(x), f"(x), g'(x)$ y se requeriría de una cantidad razonable de cálculo. Voy a tener que dejar mi teclado e ir a por un lápiz-papel de cálculo para manejar esto. Publicaremos el cálculo si tengo éxito.

La parte más fácil es $g'(x)$ $$\begin{aligned}g'(x) &= (1 + f'(x))\log(x + f(x))\log\log(x + f(x))\\ &\,\,\,\,+\,\, (1 + f'(x))\log\log(x + f(x))\\ &\,\,\,\,+\,\, (1 + f'(x))\\ &= ( 1 + f'(x))\{1 + \log\log(x + f(x)) + \log(x + f(x))\log\log(x + f(x))\}\end {aligned}$$ Based on the assumption made in bold we can see that $(1 + f'(x))g'(x)$ tends to $$(1 - e^{e + 1})^{2}(e + 2)\tag{7}$$ From $(1)$ we can see that $\registro de f(x) = p(x)\log p(x)$ where $p(x) = (1 + x)^{1/x}$. Por lo tanto \begin{align}\frac{f'(x)}{f(x)} &= p'(x)(1 + \log p(x))\notag\\ &= p(x)(1 + \log p(x))(\log p(x))'\notag\\ &= p(x)(1 + \log p(x))\left(\frac{\log (1 + x)}{x}\right)'\notag\\ &= p(x)(1 + \log p(x))\left(\frac{x - (1 + x)\log(1 + x)}{x^{2}(1 + x)}\right)\tag{8}\end{align} Ahora podemos ver que $p(x) \to e$, de modo que $f'(x)/f(x)$ tiende a $(2e)(-1/2) = -e$. Desde $f(x) \to e^{e}$ vemos que $f'(x) \to -e^{e + 1}$, y el de la asunción (mencionado en negrita anterior) se verifica (que al mismo tiempo se comprueba $(7)$).

Ahora la parte más difícil es diferenciar $(8)$, y obtener un $f''(x)$. Tenemos $$\begin{aligned}f''(x) &= f'(x)p(x)\{1 + \log p(x)\}\left(\frac{x - (1 + x)\log(1 + x)}{x^{2}(1 + x)}\right)\\ &\,\,+\,\,f(x)\{1 + \log p(x)\}p(x)\left(\frac{x - (1 + x)\log(1 + x)}{x^{2}(1 + x)}\right)^{2}\\ &\,\,+\,\,f(x)p(x)\left(\frac{x - (1 + x)\log(1 + x)}{x^{2}(1 + x)}\right)^{2}\\ &\,\,+\,\,f(x)\{1 + \log p(x)\}p(x)\left(\frac{x - (1 + x)\log(1 + x)}{x^{2}(1 + x)}\right)'\end{aligned}$$ Hence we can see that $f"(x)$ tends to $$e^{e + 2} + \frac{e^{e + 1}}{2} + \frac{e^{e + 1}}{4} + \frac{4e^{e + 1}}{3} = \frac{12e^{e + 2} + 25e^{e + 1}}{12}$$ The desired limit $Un$ is thus $$\begin{aligned}A &= \frac{12e^{2e + 3} + 25e^{2e + 2}}{12} - (e + 2)(1 - e^{e + 1})^{2}\\ &= \frac{12e^{2e + 3} + 25e^{2e + 2} - 12(e + 2)(1 - 2e^{e + 1} + e^{2e + 2})}{12}\\ &= \frac{12e^{2e + 3} + 25e^{2e + 2} - 12(e - 2e^{e + 2} + e^{2e + 3} + 2 - 4e^{e + 1} + 2e^{2e + 2})}{12}\\ &= \frac{e^{2e + 2} + 24e^{e + 2} + 48e^{e + 1} - 12e - 24}{12}\end{aligned}$$ The final limit is $A/2e^{2e + 2}$ so that the final limit is given by $$\frac{e^{2e + 2} + 24e^{e + 2} + 48e^{e + 1} - 12e - 24}{24e^{2e + 2}} = \frac{1}{24} + \frac{2e^{e + 2} + 4e^{e + 1} - e - 2}{2e^{2e + 2}}$$ Note: The limit of $$a(x) = \frac{x - (1 + x)\log(1 + x)}{x^{2}(1 + x)} = \dfrac{\dfrac{x}{1 + x} - \log(1 + x)}{x^{2}} = -\frac{1}{2} + \frac{2}{3}x + \cdots$$ and its derivative were calculated using the Taylor expression given above leading to $una(x) \-1/2$ and $'(x) \a 2/3$ as $x \to 0$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X