English

A half-shift reflection identity for the digamma function

Number Theory 2025-10-02 v1

Abstract

We prove the identity 2W1(x)+log4+ψ(12+x)+ψ(32x)=0, 2W_1(x) + \log 4 + \psi\left(\tfrac{1}{2} + x\right) + \psi\left(\tfrac{3}{2} - x\right) = 0, where ψ\psi is the digamma function and W1(x)=20(y(y2+1)(eπ(y+2ix)1))dy. W_1(x) = 2\int_0^\infty \Re\left( \frac{y}{(y^2+1)(e^{\pi(y+2ix)} - 1)} \right) dy. The identity was first conjectured while studying class number h(D)h(D) for D=m2D=m^2 from two complementary perspectives. Our proof, however, is purely analytic: we compute cosine-series expansions of both sides, expressed in terms of the cosine integral Ci(z)(z). Using the above identity and M\"obius inversion we find an elementary formula for 1r<m(r,m)=1W1 ⁣(rm).\sum_{\substack{1\le r<m\\ (r,m)=1}} W_1\!\left(\frac{r}{m}\right).

Keywords

Cite

@article{arxiv.2510.00012,
  title  = {A half-shift reflection identity for the digamma function},
  author = {Nikita Kalinin},
  journal= {arXiv preprint arXiv:2510.00012},
  year   = {2025}
}
R2 v1 2026-07-01T06:08:31.410Z