A half-shift reflection identity for the digamma function

Nikita Kalinin

We prove the identity \[ 2W_1(x) + \log 4 + ψ\left(\tfrac{1}{2} + x\right) + ψ\left(\tfrac{3}{2} - x\right) = 0, \] where $\psi$ is the digamma function and \[ W_1(x) = 2\int_0^\infty…