The radius of convergence of the cotangent-sum moment series

About 12 years old · traced to

Let

Hk=1(A1−A0)lim⁡b→+∞ϕ(b)−1b−2k∑A0b≤r≤A1b(r,b)=1c0(rb)2k,H_k=\frac{1}{(A_1-A_0)}\lim_{b\rightarrow+\infty}\phi(b)^{-1}b^{-2k}\sum_{\substack{A_0b\leq r\leq A_1b \\ (r,b)=1}}c_0\left(\frac{r}{b}\right)^{2k},

where c0(r/b)=−∑m=1b−1mbcot⁡(πmrb)c_0(r/b)=-\sum_{m=1}^{b-1}\frac{m}{b}\cot\left(\frac{\pi mr}{b}\right), ϕ\phi is the Euler phi-function, and 1/2<A0<A1<11/2<A_0<A_1<1. Consider the power series

∑k≥0Hk(2k)!xk.\sum_{k\geq 0}\frac{H_k}{(2k)!}x^k.

The radius-of-convergence conjecture. The radius of convergence of this series is π2\pi^2. The preceding results establish convergence for a positive range of xx and divergence for ∣x∣>π2|x|>\pi^2, so the exact radius is the remaining assertion. Determining it would simplify the proof of the distribution of the cotangent sums by enabling the method of moments.

References

Primary source

Helmut Maier and Michael Th. Rassias, “The rate of growth of moments of certain cotangent sums”, arXiv:1411.2187 (2014).

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.