Zeta regularization of Infinite product

In this answer, we give a heuristic explanation for the formula (18) in Ref. 1.

  1. Consider two zeta-function regularized infinite products $$\tag{1a} F_a(b)~:=~\prod_{\lambda \in \mathbb{N}+b} a~=~a^{-\frac{1}{2}-b} $$ and $$\tag{1b} G(b)~:=~\prod_{\lambda \in \mathbb{N}+b}\lambda~=~\frac{\sqrt{2\pi}}{\Gamma(b+1)} $$ over a half-lattice $\Lambda= \mathbb{N}+b$. Here $a\in\mathbb{C}\backslash\{0\}$ and $b\in\mathbb{C}$ are two complex numbers.

  2. Notice that if we put $b=0$, we get the well-known zeta function regularization formulas $$\tag{2a} F_a(b\!=\!0)~:=~\prod_{n \in \mathbb{N}} a~=~a^{-\frac{1}{2}} $$ and $$\tag{2b} G(b\!=\!0)~:=~\prod_{n \in \mathbb{N}}n~=~\sqrt{2\pi}. $$

  3. Using OP's argument, one would falsely have expected that the infinite product (1a) should be independent of the shift $b\in\mathbb{C}$. Here we will employ another kind of logic. If we shift the half-lattice $\Lambda= \mathbb{N}+b$ by one unit $b\to b-1$, we would expect one more element in the half-lattice, and thereby one more factor in the infinite product. This leads to the following very powerful functional equations/recursion relations, $$\tag{3a} F_a(b\!-\!1)~=~a ~ F_a(b) $$ and $$\tag{3b} G(b\!-\!1)~=~b ~ G(b). $$ Note in particular that eqs. (3a) and (3b) are in fact satisfied by the zeta function regularization (1a) and (1b), respectively!

  4. Therefore we naturally arrive at the regularized product formula (18) in Ref. 1, $$\prod_{n \in \mathbb{N}}(an+b) ~=~\prod_{\lambda \in \mathbb{N}+\frac{b}{a}} a\lambda ~=~\left[\prod_{\lambda \in \mathbb{N}+\frac{b}{a}} a\right]\left[\prod_{\lambda \in \mathbb{N}+\frac{b}{a}}\lambda\right]$$ $$\tag{18}~=~F_a\left(\frac{b}{a}\right)G\left(\frac{b}{a}\right) ~=~a^{-\frac{1}{2}-\frac{b}{a}}\frac{\sqrt{2\pi}}{\Gamma\left(\frac{b}{a}+1\right)}.$$

References:

  1. J.R. Quine, S.H. Heydari and R.Y. Song, Zeta regularized products, Trans. Amer. Math. Soc. 338 (1993) 213; eq. (18).

Thanks to Qmechanic I got convinced that maybe it's better to compute that product from scratch:

$$ P_{a,b} = \frac{1}{b}\prod_{n=0}^\infty(an+b) = b^{-1}\exp\left\{\sum_{n=0}^\infty\log(an+b) \right\}; $$

so the problem is to evaluate the infinite sum in term fo Hurwitz zeta function:

$$ \zeta(s;z) := \sum_{n=0}^\infty(n+z)^{-s}, $$

and its analytic continuation. We define

$$\tag{*} \hat\zeta(s;a,b) := \sum_{n=0}^\infty(an+b)^{-s} = a^{-s}\zeta(s,b/a). $$

we note that

$$ \partial_s\hat\zeta(0;a,b) = -\sum_{n=0}^\infty\log(an+b), $$

so that we will have

$$ P_{a,b} = b^{-1}\exp\left\{-\partial_s\hat\zeta(0;a,b)\right\}. $$

But the derivative of $\hat\zeta$ can be evaluated using (*):

$$ \partial_s\hat\zeta(0;a,b) = \left(\frac{1}{2}-\frac{b}{a}\right)\log a -\frac{1}{2}\log 2\pi + \log\Gamma\left(\frac{b}{a}\right); $$

where we used the well-know identities

$$ \zeta(0;z) = \frac{1}{2}-z, \qquad\qquad\qquad \partial_s\zeta(0;z) = \log\Gamma(z) - \frac{1}{2}\log 2\pi. $$

Combining all together we arrive at the conclusion:

$$ P_{a,b} = a^{-\frac{1}{2}-\frac{b}{a}}\frac{\sqrt{2\pi}}{\Gamma\left(\frac{b}{a}+1\right)}. $$