¿Hay un límite para esta secuencia compleja?

Question

Interesado por esta cuestión, he tratado de resolver el problema más general de $$I_n=\int_0^\infty e^{-x}\log\big(1+\sin^{2n}(x)\big)\, dx$$ para que se encontraron expresiones del tipo $$I_n=A_n \, _{2n+1}F_{2n}\left(1,1,\color{red}{\textbf{#}};\color{green}{\textbf{@}};-1\right)$$ in which $\color{red}{\textbf{ #}}$ and $\color{verde}{\textbf{@}}$ espectáculo agradable y patrones simples.

El delantero del coeficiente de $$A_n=\int_0^\infty e^{-x} \sin^{2n}(x)\,dx=(-1)^n\,\frac{i \ n\, \Gamma \left(\frac{i}{2}-n\right)\, \Gamma (2 n)}{4^n\,\Gamma \left(n+1+\frac{i}{2}\right)}$$

Lo que me pregunto es si $$L=\lim_{n\to \infty } \, \frac{I_n}{A_n}=\lim_{n\to \infty } \, \, _{2n+1}F_{2n}\left(1,1,\color{red}{\textbf{#}};\color{verde}{\textbf{@}};-1\right)$$ ¿existe o no existe.

Podríamos usar de algún modo el hecho de que, para $k \pi \leq x \leq (k+1)\pi$, $\log\big(1+\sin^{2n}(x)\big)$ se ve como una gaussiana ?

En la tabla de abajo, yo tabulados algunos de los valores numéricos que he obtenido $$\left( \begin{array}{cc} n & \frac{I_n}{A_n} \\ 1 & 0.76498434 \\ 2 & 0.76742187 \\ 3 & 0.76742296 \\ 4 & 0.76718009 \\ 5 & 0.76694124 \\ 6 & 0.76673938 \\ 7 & 0.76657308 \\ 8 & 0.76643577 \\ 9 & 0.76632132 \\ 10 & 0.76622482 \\ 20 & 0.76573433 \\ 30 & 0.76554963 \\ 40 & 0.76545318 \\ 50 & 0.76539397 \\ 60 & 0.76535394 \\ 70 & 0.76532508 \\ 80 & 0.76530328 \\ 90 & 0.76528623 \\ 100 & 0.76527254 \\ 200 & 0.76521029 \\ 300 & 0.76518932 \\ 400 & 0.76517879 \\ 500 & 0.76517246 \\ 600 & 0.76516823 \\ 700 & 0.76516521 \\ 800 & 0.76516294 \\ 900 & 0.76516117 \\ 1000 & 0.76515976 \end{array} \right)$$

Answer 1

El uso de los periódicos parte de la función integrada, podemos reescribir la integral:

$$I_n=\sum_{k=0}^\infty \int_{\pi k}^{\pi(k+1)} e^{-x} \ln(1+\sin^{2n} x) dx=\sum_{k=0}^\infty e^{- \pi k} \int_0^\pi e^{-x} \ln(1+\sin^{2n} x) dx= \\ = \frac{1}{1-e^{-\pi}}\int_0^\pi e^{-x} \ln(1+\sin^{2n} x) dx$$

Ahora vamos a tratar con la integral de la misma. Para extraer la $n$ dependencia, vamos a utilizar la integración por partes y varias sustituciones. En primer lugar, la integración por partes nos da:

$$I_n=\frac{2n}{1-e^{-\pi}} \int_0^\pi e^{-x} \frac{\sin^{2n-1} x \cos x}{1+\sin^{2n} x} dx$$

Ahora sustituimos $\cos x=t$ y obtener:

$$I_n=\frac{2n}{1-e^{-\pi}} \int_{-1}^1 e^{-\arccos t} \frac{(1-t^2)^{n-1} t}{1+(1-t^2)^n} dt$$

Vamos a separar la integral en dos partes $\int_{-1}^1=\int_0^1+\int_{-1}^0$ y el uso de las siguientes relaciones:

$$\arccos t= \frac{\pi}{2}-\arcsin t \\ \arccos(- t)= \frac{\pi}{2}+\arcsin t$$

Esto nos da:

$$I_n=\frac{4n e^{-\pi/2}}{1-e^{-\pi}} \int_0^1 \sinh (\arcsin t) \frac{(1-t^2)^{n-1} t}{1+(1-t^2)^n} dt=\frac{2n}{\sinh (\pi/2)} \int_0^1 \sinh (\arcsin t) \frac{(1-t^2)^{n-1} t}{1+(1-t^2)^n} dt$$

Ahora vamos a realizar un par de evidente sustituciones:

$$t^2=u$$

$$I_n=\frac{n}{\sinh (\pi/2)} \int_0^1 \sinh (\arcsin \sqrt{u}) \frac{(1-u)^{n-1}}{1+(1-u)^n} du$$

$$1-u=v$$

$$I_n=\frac{n}{\sinh (\pi/2)} \int_0^1 \sinh (\arcsin \sqrt{1-v}) \frac{v^{n-1}}{1+v^n} dv$$

$$v=e^{-s}$$

$$I_n=\frac{n}{\sinh (\pi/2)} \int_0^\infty \sinh (\arcsin \sqrt{1-e^{-s}}) \frac{ds}{e^{n s}+1} $$

La función de $g(s)=\sinh \left(\arcsin \sqrt{1-e^{-s}}\right)$ comienza $\sqrt{s}$ y, a continuación, se acerca a un constante como $s \to \infty$.

Para nuestro propósito, estamos interesados en la gran $n$, así que tiene sentido cambia $g(s)$ por su serie:

$$g(s)=\sqrt{s} \sum_{k=0}^\infty a_k s^k=\sqrt{s} \left(1+\frac{s}{12}-\frac{s^2}{32}+\frac{13 s^3}{8064}+\frac{2657 s^4}{5806080}-\frac{16243 s^5}{255467520}-\frac{581 s^6}{175177728}+O(s^7) \right)$$

Por lo tanto tenemos:

$$I_n=\frac{n}{\sinh (\pi/2)} \sum_{k=0}^\infty a_k \int_0^\infty \frac{s^{k+1/2} ds}{e^{n s}+1} $$

El cambio de la variable $ns=q$, obtenemos:

$$I_n=\frac{1}{\sinh (\pi/2) \sqrt{n}} \sum_{k=0}^\infty \frac{a_k}{n^k} \int_0^\infty \frac{q^{k+1/2} dq}{e^q+1} $$

O, usando la integral de la definición de la función zeta:

$$I_n=\frac{1}{\sinh (\pi/2) \sqrt{n}} \sum_{k=0}^\infty \left(1-\frac{1}{2^{k+1/2}}\right) \Gamma \left(k+\frac{3}{2}\right) \zeta \left(k+\frac{3}{2}\right) \frac{a_k}{n^k} $$

Utilizar absolutamente el mismo método con un más sencillo integral de la $A_n$ podemos obtener una serie asintótica para ello así, y teniendo la relación de los primeros términos nos debe de dar el mismo límite metamorphy obtenidos.

---

Como un ejemplo numérico, $n=11$ nos da:

$$I_{11}=0.089884326883595958870...$$

Y el uso de la propuesta de serie con $16$ términos nos da:

$$I_{11} \approx \color{blue}{0.089884326883}393284625...$$

Answer 2

Como ya se ha señalado, $\int_0^\infty=(1-e^{-\pi})^{-1}\int_0^\pi$ en ambos casos. Denotando $K=\dfrac{1}{2\sinh\pi/2}$, tenemos \begin{align} \sqrt{n}A_n&=K\sqrt{n}\int_{-\pi/2}^{\pi/2}e^{-x}\cos^{2n}x\,dx \\&=K\int_{-\pi\sqrt{n}/2}^{\pi\sqrt{n}/2}e^{-x/\sqrt{n}}\cos^{2n}(x/\sqrt{n})\,dx \\&\underset{n\to\infty}{\longrightarrow}K\int_{-\infty}^{\infty}e^{-x^2}\,dx=K\sqrt{\pi} \end{align} por DCT, y de manera similar a $\sqrt{n}I_n\underset{n\to\infty}{\longrightarrow}K\displaystyle\int_{-\infty}^{\infty}\log(1+e^{-x^2})\,dx$.

Por lo tanto, el límite existe y es igual a $$\frac{1}{\sqrt{\pi}}\int_{-\infty}^{\infty}\log(1+e^{-x^2})\,dx=\frac{1}{\sqrt{\pi}}\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}\int_{-\infty}^{\infty}e^{-nx^2}\,dx=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^{3/2}},$$ que es conocido para ser $\color{blue}{(1-1/\sqrt{2})\zeta(3/2)}$.