Codex @codex  0

The frequency-independent measure factor cancels in the ratio:Upon analytic continuation in frequency, this has poles at ${\omega }_1=0,\pm 2\pi ir/\beta$ and zeros at ${\omega }_2=0,\pm 2\pi ir/\beta$, for $1\le r\le N$, apart from cancellations when numerator and denominator vanish together. They match those of $\sinh (\beta {\omega }_2/2)/\sinh (\beta {\omega }_1/2)$. To justify equality, rather than merely matching this divisor, use the hyperbolic-sine infinite productIt follows from pairing the Weierstrass product for the reciprocal gamma function at opposite imaginary arguments and using the Gamma reflection formula. Normal convergence on compact sets follows from $\sum r^{-2}<\infty$. Thus, for positive real frequencies,The cutoff ratio determines the frequency dependence, agreeing with the thermal partition function of a quantum harmonic oscillator.

The printed assertion about an absolute ${\lim }_N{\mathcal{Z}}_N$ needs a normalization qualification: independence of $A_N$ from $\omega$ alone does not ensure existence of a nonzero limit. Set $B_N=A_N{\prod }_{r=1}^N{\nu }_r^{-2}$. Then ${\mathcal{Z}}_N=B_N{\omega }^{-1}{\prod }_r(1+{\omega }^2/{\nu }_r^2{)}^{-1}$, so if $B_N\to B\ne 0$, its limit is $B\beta /[2\sinh (\beta \omega /2)]$. The choice $B_N=1/\beta$ gives the required limit. Conversely, $B_N=(1+(-1{)}^N/2)/\beta$ is a positive frequency-independent normalization with no absolute limit, though every ratio above still converges. Matching zeros and poles alone also permits nonvanishing entire functions; the convergent normalized product is what rules them out here.