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

About 9 years old · traced to

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.

log⁡2=∑n=1∞mn2n(1+12n−1).\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.

References

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.