Conjecture on logarithmic integrals with powers of \log1x1-x and \log1+x1+x

Let n1n\geq 1. Consider the logarithmic integral

01logn+1(1x)logn(1+x)1+xdx.\int_0^1 \frac{\log^{n+1}(1-x)\log^n(1+x)}{1+x}\,dx.

Logarithmic-integral algebraicity conjecture. For every n1n\geq 1, this value belongs to the algebra over Q\mathbb{Q} generated by π2\pi^2, log2\log 2, and ζ(n)\zeta(n) for odd nn. The cases n=2,3,4,5n=2,3,4,5 are reported as verified or explicitly evaluated, but a unified proof for general nn remains elusive.

Sources & referencesView supporting material

Primary source

K. C. Au, “Linear relations between logarithmic integrals of high weight and some closed-form evaluations”, arXiv:1910.12113 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.