Conjecture on the denominators of the iterated integral of ln(1+x2)\ln(1+x^2)

Let An,2(x)A_{n,2}(x) be the rational polynomial part of the nnth iterated integral in the ln(1+x2)\ln(1+x^2) case, and let αn,2\alpha_{n,2} be its denominator. Let m1m\ge1 be an integer. Denominator conjecture.

αn,2={1if n=1,n!\lcm(1,2,,n)6if n=23m for some m1,n!\lcm(1,2,,n)2otherwise.\alpha_{n,2}=\begin{cases} 1 & \text{if $n=1$},\\ \dfrac{n!\,\operatorname*{\lcm}(1,2,\dots,n)}{6} & \text{if $n=2\cdot3^m$ for some $m\ge1$},\\ \dfrac{n!\,\operatorname*{\lcm}(1,2,\dots,n)}{2} & \text{otherwise.} \end{cases}

This is an arithmetic formulation of the predicted cancellations in the coefficients of An,2(x)A_{n,2}(x), and the source gives no evidence that it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll and Eric S. Rowland, “The iterated integrals of ln(1 + x^2)”, arXiv:1012.3429 (2011).

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.