A theorem on zeta functions associated with polynomials (Q4243641)

Suppose that \(P_j(j=1, \dots,n)\) are polynomials in \(r\) variables with nonnegative coefficients such that \(P({\mathbf n}) >0\) for all \({\mathbf n}\) in \(\mathbb{N}^r\) and the series \(Z(P_j, \beta;s) =\sum_{{\mathbf n}\in N^r}n^\beta P_j ({\mathbf n})^{-s}\) is absolutely convergent for \(\text{Re} s> \sigma_j(>0)\). \((\mathbb{N}\) denotes the positive integers.) The primary result in the paper is that \(Z(P_j, \beta;s)\) \((j=1, \dots,n)\) and \(Z(\prod^n_{j=1} P_j, \beta;s)\) have analytic continuations to the whole complex \(s\)-plane and \(Z(\prod^n_{j=1} P_j, \beta;0) ={1\over n} \sum^n_{j=1} Z(P_j, \beta;0)\). Euler-Maclaurin summation applied to the transform \(f(P,t)=\sum_{{\mathbf n}\in \mathbb{N}^r} n^\beta\exp (-P(n)t)\) gives an asymptotic expansion of the form \(\sum_{n\geq n_0- |\beta |}b_n t^{n/p}\) where \(p=\deg P(X)\), and after Zagier (1977), computing \(Z(P,\beta;0)\) is equivalent to computing the constant term in the asymptotic expansion at \(t=0\) of \(f(P,t)\). This is accomplished by comparing appropriate contour integrals. The theorem has applications to the evaluation of special values of particular zeta functions.