Is there a limit for this complex sequence?

Using the periodic part of the integrated function, we can rewrite the 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$$

Now let's deal with the integral itself. To extract the $n$ dependence, we will use integration by parts and several substitutions. First, integration by parts gives us:

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

Now we substitute $\cos x=t$ and obtain:

$$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$$

Let's separate the integral into two parts $\int_{-1}^1=\int_0^1+\int_{-1}^0$ and use the following relations:

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

This gives us:

$$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$$

Now let's perform a couple of obvious substitutions:

$$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} $$

The function $g(s)=\sinh \left(\arcsin \sqrt{1-e^{-s}}\right)$ starts like $\sqrt{s}$ and then approaches a constant as $s \to \infty$.

For our purpose, we are interested in large $n$, so it makes sense to replase $g(s)$ by its series:

$$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)$$

So we have:

$$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} $$

Changing the variable $ns=q$, we get:

$$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} $$

Or, using the integral definition of zeta function:

$$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} $$

Using absolutely the same method with a more simple integral $A_n$ we can obtain an asymptotic series for it as well, and taking the ratio of first terms should give us the same limit metamorphy obtained.


As a numerical example, $n=11$ gives us:

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

And using the proposed series with $16$ terms gives us:

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


As already noted, $\int_0^\infty=(1-e^{-\pi})^{-1}\int_0^\pi$ in both cases. Denoting $K=\dfrac{1}{2\sinh\pi/2}$, we have \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} by DCT, and similarly $\sqrt{n}I_n\underset{n\to\infty}{\longrightarrow}K\displaystyle\int_{-\infty}^{\infty}\log(1+e^{-x^2})\,dx$.

Thus, the limit exists and is equal to $$\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}},$$ which is known to be $\color{blue}{(1-1/\sqrt{2})\zeta(3/2)}$.