A conjectured closed form of ∞∫0x−1√2x−1 ln(2x−1)dx\int\limits_0^\infty\frac{x-1}{\sqrt{2^x-1}\ \ln\left(2^x-1\right)}dx

Consider the following integral:
I=0x12x1 ln(2x1)dx.

I tried to evaluate I in a closed form (both manually and using Mathematica), but without success.

However, if WolframAlpha is provided with a numerical approximation I3.2694067500684…, it returns a possible closed form:
Further numeric caclulations show that this value is correct up to at least 103 decimal digits. So, I conjecture that this is the exact value of I.

Question: Is this conjecture correct?


Sub u=log(2x1). Then x=log(1+eu)/log2, dx=(1/log2)(du/(1+eu). The integral then becomes


The nasty pieces of the integral cancel, and we are left with


as correctly conjectured.

Source : Link , Question Author : Vladimir Reshetnikov , Answer Author : Ron Gordon

Leave a Comment