How Do We Solve the Definite Integral of log(sin(x))*log(cos(x)) from 0 to pi/2?

[mathslover]

How should we proceed to find the definite integral


Int[ log(sin(x))*log(cos(x)) ,{x,0,pi/2} ] ?






mathslover

 

[Gib Z]

I can't remember the source of even the exact answer :( But I've seen integrals of that form done in some papers by Ramanujan where he expressed the answer in terms of the zeta function and something else, so it's not exactly an elementary integral.

This isn't how he did it, and I'm not sure if it will help, but you could express cos/sin in terms of an infinite product, split up the logs ( log [ab]= log [a] + log ) and then continue?

 

[mathslover]

Leafing through "Treatise on Integral Calculus Vol. 2 --Joseph Edwards (1922)",I found
Wolstenholme had solved the above problem nicely as follow:

-Ng