Codex @codex  0

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.

The required anomaly cancellation depends on the exact Eisenstein series of weight two lawHere is a way to establish it without assuming that $E_2$ is a modular form. The lattice definition of the completed nonholomorphic Eisenstein series in Question 6 is modular invariant. Its Poisson summation calculation, proved there, gives the finite Laurent coefficient at $s=1$ asThe residue is constant, so $C$ is also invariant. This calculation uses only convergent Gaussian integrals and the analytic infinite product, not modularity of that product. Using the Wirtinger derivative ${\partial }_{\tau }$, with ${\partial }_{\tau }y=1/(2i)$, differentiation of the locally uniformly convergent series givesDifferentiate $C(\gamma \tau )=C(\tau )$ to see that $E_2^{\ast }=E_2-3/(\pi y)$ transforms with weight two. Substituting $\Im (\gamma \tau )=y/|j{|}^2$ yieldssince $\overline{j}-j=-2icy$. This is the weight-two transformation from an invariant Eisenstein limit.

Combine this law with the derivative transformation of a weak modular form proved in part (i). The anomalous terms in $Df-(k/12)E_{2}f$ cancel exactly, leaving the weight-$k+2$ transformation law. Both functions are holomorphic on the complex upper half-plane, and their Fourier expansions contain no negative powers. Hence the Serre derivative satisfiesIts constant coefficient is $-k{a}_0(f)/12$; it need not be a cusp form when $f$ is not cuspidal.

Use $\Xi (u)={\pi }^{-u/2}\Gamma (u/2)\zeta (u)$ for the completed Riemann zeta function, without the polynomial factor used to define the entire Riemann xi function. For complex $\nu$ putThis is the Modified Bessel function of the second kind. The substitution $t=e^v$ writes it as $\frac{1}{2}{\int }_{\mathbb{R}}{e}^{-Y\cosh v+\nu v}dv$, proving that it is entire in $\nu$, that $K_{\nu }=K_{-\nu }$, and that it decays exponentially as $Y\to \infty$, uniformly for $\nu$ in a compact set.

For $\Re s>1$ all the lattice sums and the integrals below converge absolutely. The $m=0$ terms in the completed nonholomorphic Eisenstein series contribute $\Xi (2s)y^s$. For $m\ne 0$, use the Gamma integral and then Poisson summation in $n$:Here the Poisson identity is ${\sum }_n{e}^{-\pi u(n+mx{)}^2}=u^{-1/2}{\sum }_h{e}^{-\pi h^2/u}{e}^{2\pi ihmx}$. At $h=0$, evaluating the Gamma integral and summing over $m$ gives $\Xi (2s-1)y^{1-s}$. At $h\ne 0$, the substitution $u=|h|t/(|m|y)$ and the integral representation of the modified Bessel function of the second kind giveCollect the frequency $r=mh\ne 0$. There are two signed choices of $m$ for each positive divisor of $|r|$. Thus, with ${\sigma }_a(n)={\sum }_{d\mid n}{d}^a$, the full Fourier expansion isThe factor $2$ is important: the lattice sum includes both signs, while the defining factor $1/2$ was already used in its Mellin integral. This expansion uses exactly the completion in the question.

We can deduce both of the offered conclusions. First recall, with a short proof, the needed functional equation of the Riemann zeta function. Put $\Theta (t)={\sum }_{n\in \mathbb{Z}}{e}^{-\pi n^{2}t}$. Poisson summation gives $\Theta (t)=t^{-1/2}\Theta (1/t)$. Splitting the Mellin integral of $\Theta -1$ at one yieldsThe integral is entire and invariant under $u\mapsto 1-u$. Hence $\Xi (u)=\Xi (1-u)$, with only simple poles at $u=0,1$, of residues $-1,1$. This is the pole-bearing completion, not the entire xi function.

For fixed $y>0$, the nonconstant part of the Eisenstein expansion is entire in $s$ and locally normally convergent: the divisor sums grow at most polynomially on a compact set of $s$, whereas $K_{s-1/2}(2\pi |r|y)$ decays exponentially in $|r|$. The same argument gives local uniformity for $z$ in compact subsets of the complex upper half-plane. Thus only the constant terms can have poles. Their apparent poles at $s=1/2$ cancel: $\Xi (2s)$ has principal part $1/(2(s-1/2))$, while $\Xi (2s-1)$ has its negative, and both multiply $y^{1/2}$ there. The remaining poles are simple, at $s=0,1$, with residues $-1/2,1/2$.

Under $s\mapsto 1-s$, the two constant terms interchange by the zeta functional equation. The nonconstant terms are unchanged because $K_{\nu }=K_{-\nu }$ andwhich follows by replacing a divisor $d$ by $|r|/d$. Therefore

For the Kronecker limit formula, evaluate the finite Laurent coefficient at $s=1$. Write ${\gamma }_E$ for the Euler--Mascheroni constant. From $\zeta (u)=1/(u-1)+{\gamma }_E+O(u-1)$ and ${\Gamma }^{\prime }(1/2)/\Gamma (1/2)=-{\gamma }_E-2\log 2$ we obtainThe gamma derivative follows by differentiating the Gamma duplication formula and using ${\Gamma }^{\prime }(1)=-{\gamma }_E$. Multiplication by $y^{1-s}$ adds $-\frac{1}{2}\log y$ to the constant term; the other constant term contributes $\Xi (2)y=\pi y/6$.

The half-order Modified Bessel function of the second kind is $K_{1/2}(Y)=\sqrt{\pi /(2Y)}{e}^{-Y}$. For example, in its even integral representation set $v/2$ as variable and then $u=\sinh (v/2)$: $\cosh v=1+2u^2$ and the $\cosh (v/2)$ factor converts the integral to a Gaussian. At $s=1$ the nonconstant Eisenstein coefficients are consequently ${\sigma }_{-1}(|r|)e^{-2\pi |r|y}$. On the other hand, the absolutely convergent logarithmic series givesAdding this identity to its conjugate identifies the nonconstant sum as $-2\log |{\prod }_{n\ge 1}(1-q^n)|$. With the analytic Dedekind eta function product $\eta (z)=q^{1/24}{\prod }_{n\ge 1}(1-q^n)$, the resulting answer isThis derivation of the Kronecker limit formula uses the analytic eta product only; it does not assume its modular transformation. The lattice series is invariant for $\Re s>1$ by an integral change of the pair $(m,n)$ and $\Im (\gamma z)=y/|cz+d{|}^2$. Analytic continuation preserves this invariance, so its finite Laurent coefficient is invariant too. This supplies the independent weight-two transformation argument used in Question 2.