Completed nonholomorphic Eisenstein series ($\mathcal{E}(z,s)=\frac{1}{2}{\pi }^{-s}\Gamma (s){\sum }_{m,n}^{\prime }{y}^s|mz+n{|}^{-2s}$)

This modular-invariant function, initially defined for $\Re s>1$, has Fourier expansionwhere $\Xi (u)={\pi }^{-u/2}\Gamma (u/2)\zeta (u)$ is the completed Riemann zeta function, without the entire-xi polynomial factor. Poisson summation and the integral representation of the modified Bessel function of the second kind prove the expansion. It gives meromorphic continuation, $\mathcal{E}(z,s)=\mathcal{E}(z,1-s)$, and simple poles at zero and one with residues $-1/2,1/2$. Apparent poles at $s=1/2$ cancel between the two constant terms.

This normalization of the first Kronecker limit formula follows from the Fourier expansion of the completed nonholomorphic Eisenstein series. At $s=1$, $K_{1/2}(t)=\sqrt{\pi /(2t)}{e}^{-t}$, so the nonconstant terms sum to $-2\log |{\prod }_{m\ge 1}(1-q^m)|$. The constant terms supply $\pi y/6-(\log y)/2+(\gamma -\log (4\pi ))/2$. Combining them gives the Dedekind eta function expression, with $\gamma$ the Euler--Mascheroni constant.