Intereting Posts

Direct Product of more than 2 Groups
$Z(I:J)$ is the Zariski closure of $Z(I)-Z(J)$
The intersection of two parallel lines
The absolute value of a Riemann integrable function is Riemann integrable.
Generalized Second Borel-Cantelli lemma
Determining if a quadratic polynomial is always positive
Derivative of ${x^{x^2}}$
Simple AM-GM inequality
How to do $\frac{ \partial { \mathrm{tr}(XX^TXX^T)}}{\partial X}$
Getting the shortest paths for chess pieces on n*m board
Union of uncountable cardinals
Formula for index of $\Gamma_1(n)$ in SL$_2(\mathbf Z)$
Compute $\lim_{x\to\infty}x\;\left$
Turing Machine recognizability
Riemannian metric of the tangent bundle

Inspired by Mr. Olivier Oloa in this question. Does the following integral admit a closed form?

\begin{align}

\mathscr{R}=\int_0^{\Large\frac{\pi}{2}}\sin^2x\,\ln\big(\sin^2(\tan x)\big)\,\,dx

\end{align}

It will be my last question before I take a long break from my activity on Mathematics StackExchange. So, please be nice. No more downvotes for no reason because this is ** a challenge problem**. BBML. ðŸ‘‹(>â€¿â— )â™¥

- Why don't taylor series represent the entire function?
- How can I know if $2^{2^{2^{2^{2}}}}+1=?$ is prime?
- Prove that $ \int \limits_a^b f(x) dx$ = $ \int \limits_a^b f(a+b-x) dx$
- Series of inverses of binomial coefficients
- Is the derivative of an integral always continuous?
- Spivak's proof of Inverse Function Theorem

**Edit :**

I am also interested in knowing the numerical value of $\mathscr{R}$ to the precision of at least $50$ digits. If you use Mathematica to find its numerical value, please share your method & the code. Thank you.

- Laurent-series expansion of $1/(e^z-1)$
- Beginning of Romance
- Evaluating $\int_0^1 \frac{\log x \log \left(1-x^4 \right)}{1+x^2}dx$
- Evaluating $ \int \frac{1}{5 + 3 \sin(x)} ~ \mathrm{d}{x} $.
- What's the limit of coefficient ratio for a reciprocating power series?
- On Reshetnikov's integral $\int_0^1\frac{dx}{\sqrtx\ \sqrt{1-x}\ \sqrt{1-x\,\alpha^2}}=\frac{1}{N}\,\frac{2\pi}{\sqrt{3}\,|\alpha|}$
- Limit of $\frac{x^{x^x}}{x}$ as $x\to 0^+$
- Leibniz rule - differentiation of an integral.
- Nice proofs of $\zeta(4) = \pi^4/90$?
- Prove that $f(x)\equiv0$ on $\left$ if $f(0)=0$ and $|f'(x)|\le|f(x)|$

Here’s a slightly different approach. Using the power reduction formula and getting rid of the second exponent of the sine using the properties of the logarithm the integral becomes:

$$I=\int_0^{\frac{\pi}{2}} (1-\cos 2x) \log (\sin (\tan x))dx$$

Using the substitution $2x=u$ we have:

$$I = \frac{1}{2}\int_0^\pi (1-\cos u) \log\bigg(\sin \bigg(\tan \bigg(\frac{u}{2}\bigg)\bigg)\bigg)du$$

We have the integral ready for a Weierstrass substitution, after which it becomes:

$$I = \int_0^\infty\bigg(1-\frac{1-t^2}{1+t^2}\bigg) \log(\sin (t)) \frac{1}{1+t^2}dt$$

Or:

$$I = \int_0^\infty \frac{2t^2}{(1+t^2)^2} \log(\sin (t))dt$$

From now on I’ll use $x$ again. The Fourier series of $\log (\sin x)$ is well known and it is:

$$\log(\sin x)= -\log 2 -\sum_{n=1}^\infty \frac{\cos(2nx)}{n}$$

So the integral, exchanging integration and summation, becomes:

$$I=-2\log 2 \int_0^\infty \frac{x^2}{(1+x^2)^2}dx-2\sum_{n=1}^\infty \frac{1}{n} \int_0^\infty \frac{x^2\cos(2nx)}{(1+x^2)^2}$$

These are both easy integrals from the point of view of residue calculus. The final result is:

$$I=-\frac{\pi \log 2}{2} -\frac{\pi}{2}\sum_{n=1}^\infty \frac{e^{-2n}}{n}+\pi \sum_{n=1}^\infty e^{-2n}$$

These sums can be evaluated using the geometric series and its integral.

So we have:

$$I=-\frac{\pi \log 2}{2}+\frac{\pi}{e^2-1}-\frac{\pi}{2}(2-\log(e^2-1))$$

Simplifying:

$$I=\frac{\pi}{2}\log \bigg( \frac{e^2-1}{2} \bigg) +\pi\bigg(\frac{2-e^2}{e^2-1}\bigg)$$

The answer is

$$

\mathscr{R}=\frac{\pi }{2} \left(\log \left(\frac{e^2-1}{2} \right)-\frac{2

\left(e^2-2\right)}{e^2-1}\right)

$$

As Kirill proved we have

$$\eqalign{

\mathscr{R}&=\frac{1}{2}\int_{-\infty}^\infty\frac{u^2}{(1+u^2)^2}\log(\sin^2u)du\cr

&=\frac{1}{2}\int_{0}^\pi\left(\sum_{k\in\mathbb{Z}}\frac{(u+k\pi)^2}{(1+(u+k\pi)^2)^2}\right)\log(\sin^2u)du

}

$$

Now, the function

$$

F(u)=\sum_{k\in\mathbb{Z}}\frac{(u+k\pi)^2}{(1+(u+k\pi)^2)^2}

$$

is $\pi$-periodic and even function. It is not difficult to calculate its Fourier cosine coefficients $a_n$ such that

$$

F(u)=\frac{a_0}{2}+\sum_{n=1}a_n\cos(2n u)

$$

with,

$$a_n=\frac{2}{\pi}\int_0^\pi F(u)\cos(2n u)du

=\frac{2}{\pi}\int_{-\infty}^\infty \frac{u^2}{(1+u^2)^2}\cos(2n u)du= e^{-2 n} (1-2 n)$$

The last equality is obtained by a simple residue calculus.

On the other hand it is easy and well-known that

$$

\log(\sin^2u)=-2\log 2-\sum_{n=1}^\infty\frac{2}{n}\cos(2nu)

$$

So using Parseval’s formula we get

$$

\mathscr{R}=\frac{\pi}{2}\left(- \log 2-\frac{1}{2}\sum_{n=1}^\infty\frac{2}{n}e^{-2 n} (1-2 n)\right)

$$

and this simplifies easily to the announced closed form.$\qquad\square$

Write $\tan x = u$ to get the integral

$$ \int_0^\infty \frac{u^2\,du}{ (1+u^2)^2} \log(\sin^2 u) $$

and split over periods of length $\pi$ by writing $u=\pi k+s$, $0<s<\pi$ so that the integral is

$$ 2\int_0^\pi \sum_{k\geq0} \frac{u^2}{(1+u^2)^2}\log\sin s\,ds, \qquad u = \pi k+s. $$

The sum can be done explicitly in terms of polygamma functions:

$$ \frac{1}{2\pi}\Im\psi\left(\frac{i+s}{\pi}\right) + \frac{1}{2\pi^2}\Re\psi_1\left(\frac{i+s}{\pi}\right), $$

so the integral is equal to

$$ \frac1\pi \int_0^\pi \log(\sin s)\left(\Im\psi\left(\frac{i+s}{\pi}\right) + \frac{1}{\pi}\Re\psi_1\left(\frac{i+s}{\pi}\right) \right)\,ds$$

which is numerically

$$ \begin{array}{rl}

-0.8254932940&1920795045&3494583393&8145490721&3051472153&0015143141\\

0263463153&8662518683&0960012709&2734877933&9171668805&2198716476\\

0581876961&2557665495&3473838059&8389072188&9187974995&4963384740\\

9429563810&6463831818&4148444098&6729534027&3239373746&3514130065&\ldots

\end{array} $$

- How are the integral parts of $(9 + 4\sqrt{5})^n$ and $(9 âˆ’ 4\sqrt{5})^n$ related to the parity of $n$?
- A continuous mapping with the unbounded image of the unit ball in an infinite-dimensional Banach space
- Find $\frac{\mathrm d^{100}}{\mathrm d x^{100}}\frac{x^2+1}{x^3-x}=$?
- What is the maximum length of a non-repeating word on $n$ letters?
- Christoffel symbols and fundamental forms
- Combinatorial proof of $\sum^{n}_{i=1}\binom{n}{i}i=n2^{n-1}$.
- Units of a log of a physical quantity
- Implicit Function Theorem: a counter-example
- Criterion for isomorphism of two groups given by generators and relations
- Proof of Proposition/Theorem V in Gödel's 1931 paper?
- How does one show that $\int_{0}^{\pi/4}\sin(2x)\ln{(\ln^2{\cot{x}})}\mathrm dx=\ln{\pi\over4}-\gamma?$
- Prove Minkowski's inequality directly in finite dimensions
- Why is the “topologist's sine curve” not locally connected?
- Connected, locally connected, path-connected but not locally path-connected subspace of the plane
- What does it mean geometrically for a variety to be locally a complete intersection?