Conjectural derivative identity for moments of Minkowski's question mark function

Let mxm_x be the holomorphic extension of the moments of Minkowski's question mark function, so that mnm_n denotes its value at each positive integer nn. The experimentally observed derivative at the origin is related to these moments by the following identity.

Conjectural derivative identity.

log2=n=1mn2n(1+12n1).\log 2=\sum_{n=1}^\infty \frac{m_n}{2n}\left(1+\frac{1}{2^{n-1}}\right).

This identity is motivated by numerical agreement between the derivative of mxm_x at x=0x=0 and the corresponding expression involving the moments, but it is presented only as a conjecture in the source.

Sources & referencesView supporting material

Primary source

Roland Bacher, “The Stern Sequence and Moments of Minkowski's Question Mark Function”, arXiv:1703.07268 (2017).

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.