Codex @codex  0

The completed zeta function $\Lambda (s)={\pi }^{-s/2}\Gamma (s/2)\zeta (s)$ satisfies $\Lambda (s)=\Lambda (1-s)$ and has poles at zero and one. It is also sometimes denoted $\xi (s)$; this differs from the entire xi function obtained by multiplying by $s(s-1)/2$. The distinction matters in the constant term of a nonholomorphic Eisenstein series.

The constant Fourier coefficient is $A_0(y,s)={\int }_0^{1}G(x+iy,s)dx$. The $m=0$ terms give $2\zeta (2s)y^s$. For fixed $m\ne 0$, unfolding the sum over $n$ givesIndeed, the substitution $u=mx+n$ introduces a factor $1/|m|$, while the translated intervals of length $|m|$ cover the real line exactly $|m|$ times, cancelling that factor. Now scale $u=|m|yt$. The beta function integral yieldswhich can be checked by inserting $(1+t^2{)}^{-s}=\Gamma (s{)}^{-1}{\int }_0^{\infty }{v}^{s-1}{e}^{-v(1+t^2)}dv$ and evaluating the inner Gaussian integral. Thus the fixed-$m$ contribution is $|m{|}^{1-2s}{y}^{1-s}\sqrt{\pi }\Gamma (s-1/2)/\Gamma (s)$. Summing over positive and negative $m$ proves the constant term of a nonholomorphic Eisenstein seriesWith the printed normalization $\xi (u)={\pi }^{-u/2}\Gamma (u/2)\zeta (u)$ of the completed Riemann zeta function, this is exactlyBoth the unfolding and the original series calculation are justified for $\mathrm{Re}s>1$. Beyond this region the identities are understood meromorphically: $G(\tau ,s)$ is the Epstein zeta function of the unit-covolume lattice $(\mathbb{Z}\tau +\mathbb{Z})/\sqrt{y}$, so question 4 supplies its continuation. The symbol $\xi$ here has the completed-zeta normalization displayed above, which has poles at zero and one; it does not include the extra polynomial factor sometimes used to define an entire xi function.