Removing the completion's poles produces an entire function with and . Its zeros are the nontrivial zeros of the Riemann zeta function. Its finite order allows Hadamard factorization, while the xi modulus criterion for the Riemann hypothesis characterizes their horizontal location.
Differentiate the genus-one Hadamard factorization. Its complex difference terms converge as , and the individual real sums converge by the absolute convergence of the real xi logarithmic derivative. The remaining constant is . On the critical line the xi logarithmic derivative has zero real part, while the kernel terms cancel in pairs reflected across that line. Hence this constant vanishes and gives the displayed formula away from zeros.
The Jensen zero-count bound gives zeros up to ordinate . Since their real parts lie in , a fixed-point real logarithmic derivative summand is . Dyadic ordinate bands then contribute . This proves absolute convergence of the real sum, while the unpaired complex sum of reciprocals need not converge absolutely.
Articles by others on the same topic
The Riemann Xi function, denoted as \(\Xi(s)\), is a special function closely related to the Riemann zeta function \(\zeta(s)\). It is defined to facilitate the analysis of the zeros of the zeta function, especially in the context of the Riemann Hypothesis.