Suficiente vinculado a la conclusión de límite tiene cierto valor. $\lim {\left( {\int_0^1 {{{dx} \over {1 + {x^n}}}} } \right)^n}=\frac 1 2 $

Question

Estoy tratando de mostrar que

$$\lim {\left( {\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} } \right)^n}=\frac 1 2 $$

Ahora, esto se puede hacer de la siguiente manera. El uso de $x\mapsto x^{-1}$ obtenemos que

$$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} =\int\limits_1^\infty {{{nx^{n-1}} \over {1 + {x^n}}}} \frac{dx}{nx}$$

Al integrar por partes obtenemos

$$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} = - {{\log 2} \over n} + \int\limits_1^\infty {{{\log \left( {1 + {x^n}} \right)} \over {n{x^2}}}dx} $$

o $$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} = 1 - {{\log 2} \over n} + \int\limits_1^\infty {{{\log \left( {1 + {x^n}} \right) - n} \over {n{x^2}}}dx} $$ since $\int_1^\infty x^{-2}dx=1$.

El uso de $x\mapsto x^{-1}$ una vez de nuevo en el lado derecho, tenemos

$$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} = 1 - {{\log 2} \over n} + \int\limits_0^1 {{{\log \left( {1 + {x^n}} \right) - n\log x - n} \over n}dx} $$

Pero desde $\int_0^1 \log x=-1=\int_0^1 dx$

$$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} = 1 - {{\log 2} \over n} + {1 \over n}\int\limits_0^1 {\log \left( {1 + {x^n}} \right)dx} $$

Ahora, ya que para $x\geq 0$, $\log(1+x)\leq x$, llegamos $$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} \le 1 - {{\log 2} \over n} + {1 \over n}\int\limits_0^1 {{x^n}dx} = 1 - {{\log 2} \over n} + {1 \over {n\left( {n + 1} \right)}}$$ lo que significa

$$\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} = 1 - {{\log 2} \over n} + O\left( {{1 \over {{n^2}}}} \right)$$

Es esto suficiente para concluir que

$${\left( {\int\limits_0^1 {{{dx} \over {1 + {x^n}}}} } \right)^n} = {e^{ - \log 2}} = {1 \over 2}\text{ ? }$$

Si es así, ¿cómo?

Answer 1

$$ \begin{align} \hspace{-2cm}\lim_{n\to\infty}\left(\int_0^1\frac{\mathrm{d}x}{1+x^n}\right)^n &=\lim_{n\to\infty}\left(1-\int_0^1\frac{x^n\mathrm{d}x}{1+x^n}\right)^n\\ &=\lim_{n\to\infty}\left(1-\frac1n\int_0^1\frac{x\mathrm{d}x^n}{1+x^n}\right)^n\\ &=\lim_{n\to\infty}\left(1-\left[\frac1nx\log(1+x^n)\right]_0^1+\frac1n\int_0^1\log(1+x^n)\mathrm{d}x\right)^n\\ &=\lim_{n\to\infty}\left(1-\frac1n\log(2)+\frac1n\int_0^1\log(1+x^n)\mathrm{d}x\right)^n\\ &=\lim_{n\to\infty}\left(1-\frac1n\log(2)+\frac1n\int_0^1O(x^n)\,\mathrm{d}x\right)^n\tag{%#%#%}\\ &=\lim_{n\to\infty}\left(1-\frac1n\log(2)+O\left(\frac1{n^2}\right)\right)^n\\ &=\lim_{n\to\infty}\left(1-\frac1n\left(\log(2)+O\left(\frac1n\right)\right)\right)^n\\ &=e^{-\log(2)}\\ \end{align} $$ Tenga en cuenta que $\log(1+x^n)\le x^n$ al $\lim\limits_{n\to\infty}f_n(x_n)=\lim\limits_{n\to\infty}f_n\left(\lim\limits_{n\to\infty}x_n\right)$ son equicontinuous en $\{f_n\}$.

En este caso $$ f_n(x)=\left(1-\frac xn\right)^n $$ y $$ x_n=\log(2)+O\left(\frac1n\right) $$

Answer 2

Tu pregunta puede ser reformulado: si $$ a_n=1+\frac{a}{n}+O\Bigl(\frac{1}{n^2}\Bigr), $$ es cierto que $$ \lim_{n\to\infty}a_n^n=e^a? $$ La respuesta es sí. Desde $\log(1+x)=x+O(x^2)$$x\to0$, tenemos $$ \log a_n=\frac{a}{n}+O\Bigl(\frac{1}{n^2}\Bigr). $$ Entonces $$ \lim_{n\to\infty}a_n^n=\lim_{n\to\infty}e^{n\log a_n}=e^una. $$

Answer 3

$$\lim\limits_{n\rightarrow\infty}\left(\int^{1}_{0} \frac{dx}{1+x^{n}}\right)^{n} = e^{\lim\limits_{n\rightarrow\infty}\left(\int^{1}_{0} \frac{dx}{1+x^{n}}-1\right)n}$$

Pero $$\lim\limits_{n\rightarrow\infty}\left(\int^{1}_{0} \frac{dx}{1+x^{n}}-1\right)n = -\lim\limits_{n\rightarrow\infty}\left(\int^{1}_{0}x[\ln(1+x^{n})]'dx\right)=$$

$$ -\lim\limits_{n\rightarrow\infty}x\ln(1+x^{n})|^{1}_{0} + \lim\limits_{n\rightarrow\infty}\int^{1}_{0}\ln(1+x^{n})dx=-\ln 2$$

debido a $\ln(1+x^{n}) \leq x^{n}$ involucra $$\lim\limits_{n\rightarrow\infty}\int^{1}_{0}\ln(1+x^{n})dx = 0$$

La conclusión es inmediata.