## Regularized Product Expressions of Higher Riemann Zeta Functions

### November 27, 2006

Abstract
As a generalization of [KMW, we introduce a higher Riemann zeta function for an abstract sequence. Then we explicitly determine its regularized product expression.

1 Introduction

It is known ([De) that the Riemann zeta function $\zeta \left(s\right)={\prod }_{p:\text{prime}}\left(1-{p}^{-s}{\right)}^{-1}$  has the regularized product expression:
 $\begin{array}{cc}{\prod \prod }_{\rho \in R}\left(\frac{s-\rho }{2\pi }\right)={2}^{-1/2}\left(2\pi {\right)}^{-2}{\pi }^{-s/2}s\left(s-1\right)\Gamma \left(\frac{s}{2}\right)\zeta \left(s\right),& \end{array}$
 $\begin{array}{}\end{array}$
where $R$  is the set of the non-trivial zeros of $\zeta \left(s\right)$  , and $\Gamma \left(s\right)$  is the classical gamma function.
On the other hand, a higher Riemann zeta function ${\zeta }_{l\infty }\left(s\right):={\prod }_{n=1}^{\infty }\zeta \left(s+ln\right)$  has been introduced and studied in the paper [CLfor $l=1$  , [KMWfor $l\in {\mathbb{Z}}_{\ge 1}$  . We now consider a generalized higher Riemann zeta function. Let $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k\in I}$  be a sequence of complex numbers. Then we define a higher Riemann zeta function for the sequence $\Lambda$  by
 $\begin{array}{cc}Z\left(s,\Lambda \right):={\prod }_{\lambda \in \Lambda }{\prod }_{p:\text{prime}}\left(1-{p}^{-s-\lambda }{\right)}^{-1}={\prod }_{\lambda \in \Lambda }\zeta \left(s+\lambda \right).& \end{array}$
 $\begin{array}{}\end{array}$
In this paper, we study several properties of the higher Riemann zeta function. For a “regularizable” sequence $\Lambda$  , we see that $Z\left(s,\Lambda \right)$  has the regularized product expression:
 $\begin{array}{cc}{\prod \prod }_{\lambda \in \Lambda ,\rho \in R}\left(\frac{s+\lambda -\rho }{2\pi }\right)=\text{“ gamma factor ”}×Z\left(s,\Lambda \right).& \end{array}$
 $\begin{array}{}\end{array}$
Here $\prod \prod$  denotes the “dotted” regularized product due to [KW3.
Further, when $\Lambda$  is given by a lattice $\Omega :=\left\{{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}|{n}_{j}\in {\mathbb{Z}}_{\ge 0}\right\}$  , we show that the higher Riemann zeta function
 $\begin{array}{cc}Z\left(s,\Omega \right){=}^{\infty }{\prod }_{{n}_{1},\cdots ,{n}_{r}=0}{\prod }_{p:\text{prime}}\left(1-{p}^{-\left(s+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}\right)}{\right)}^{-1}& \end{array}$
 $\begin{array}{}\end{array}$
satisfies a certain functional equation of the type $s↔1+{\omega }_{1}+\cdots +{\omega }_{r}-s$  . We remark that the form of $Z\left(s,\Omega \right)$  looks like the Selberg zeta function (when $r=1$  ) defined for a discrete subgroup of a real rank $1$  semi-simple Lie group (Cf. [Go [Ku2).

2 Notation

2.1 Regularized Product

Let $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k\in I}$  be a sequence of complex numbers. We call the sequence $\Lambda$  is “regularizable” if $\Lambda$  satisfies the following conditions: (i) $Re\left({\lambda }_{k}\right)\ge 0$  for all $k\in I$  , and $Re\left({\lambda }_{k}\right)\to \infty$  as $k\to \infty$  . (ii) The series ${\sum }_{k\in I,{\lambda }_{k}\ne 0}{\lambda }_{k}^{-s}$  converges for sufficiently large $Re\left(s\right)$  . (iii) The function $\Theta \left(x,\Lambda \right):={\sum }_{k\in I}{e}^{-{\lambda }_{k}x}$  has an asymptotic expansion:
 $\begin{array}{cc}\Theta \left(x,\Lambda \right)\sim {\sum }_{n=0}^{\infty }{x}^{{t}_{n}}{T}_{n}\left(logx\right)\text{as}x\to +0,& \end{array}$
 $\begin{array}{}\end{array}$
where ${t}_{0}\le 0$  , ${t}_{0}<{t}_{1}<{t}_{2}<\cdots \to +\infty$  , and ${T}_{n}\left(z\right)\in \mathbb{C}\left[z\right]$  is a polynomial.
For a regularizable sequence, we can define the regularized product as follows.
Lemma 2.1.1 ([Ill, [KW3). Assume that the sequence $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k\in I}$  is regularizable.
Then, (1) for $Re\left(z\right)>0$  , the function
 $\begin{array}{cc}\zeta \left(s,z,\Lambda \right):={\sum }_{k\in I}\left(z+{\lambda }_{k}{\right)}^{-s}& \end{array}$
 $\begin{array}{}\end{array}$
has an analytic continuation as a meromorphic function on $s\in \mathbb{C}$  . (2) The “dotted” regularized product
 $\begin{array}{cc}{\prod \prod }_{k\in I}\left(z+{\lambda }_{k}\right):=exp\left\{-{CT}_{s=0}\frac{\zeta \left(s,z,\Lambda \right)}{s}\right\}& \end{array}$
 $\begin{array}{}\end{array}$
exists, and this is an entire function on $z\in \mathbb{C}$  with zeros at $z=-{\lambda }_{k}$  $\left(k\in I\right)$  .
Here ${CT}_{s=0}f\left(s\right)$  denotes the constant term in the Laurent expansion of $f\left(s\right)$  at $s=0$  .
We remark that the dotted regularized product ${\prod \prod }_{m\in I,n\in J}\left(z+{a}_{m}+{b}_{n}\right)$  exists if $\left\{{a}_{m}{\right\}}_{m\in I}$  and $\left\{{b}_{n}{\right\}}_{n\in J}$  are regularizable sequences. This follows at once from the relation $\Theta \left(x,\left\{{a}_{m}+{b}_{n}{\right\}}_{m\in I,n\in J}\right)=\Theta \left(x,\left\{{a}_{m}{\right\}}_{m\in I}\right)×\Theta \left(x,\left\{{b}_{n}{\right\}}_{n\in J}\right)$  .

2.2 Multiple Gamma Function and Multiple Sine Function

Let $\mathbit{\omega }=\left({\omega }_{1},\cdots ,{\omega }_{r}\right)$  where ${\omega }_{j}\in \mathbb{C}$  , $Re\left({\omega }_{j}\right)>0$  , and $\Omega :=\left\{{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}|{n}_{j}\in {\mathbb{Z}}_{\ge 0}\right\}$  . We fix $Re\left(z\right)>0$  . Then the multiple zeta function of Barnes ([Ba) is defined by
 $\begin{array}{cc}\zeta \left(s,z,\mathbit{\omega }\right):=\zeta \left(s,z,\Omega \right)={\sum }_{{n}_{1},\cdots ,{n}_{r}=0}^{\infty }\left(z+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}{\right)}^{-s}.& \end{array}$
 $\begin{array}{}\end{array}$
This sum converges absolutely for $Re\left(s\right)>r$  . It is seen that the sequence $\Omega$  is regularizable, and $\zeta \left(s,z,\mathbit{\omega }\right)$  has a meromorphic continuation to $s\in \mathbb{C}$  . Further, for $m\in {\mathbb{Z}}_{\ge 0}$  , it is known that
 $\begin{array}{cc}\zeta \left(-m,z,\mathbit{\omega }\right)=\frac{\left(-1{\right)}^{m}\cdot m!\cdot {B}_{m+r}\left(z,\mathbit{\omega }\right)}{\left(m+r\right)!}.& \end{array}$
 $\begin{array}{}\end{array}$
Here ${B}_{n}\left(z,\mathbit{\omega }\right)$  is the multiple Bernoulli polynomials given by
 $\begin{array}{cc}\frac{{x}^{r}{e}^{-zx}}{\left(1-{e}^{-{\omega }_{1}x}\right)\cdots \left(1-{e}^{-{\omega }_{r}x}\right)}={\sum }_{n=0}^{\infty }\frac{{B}_{n}\left(z,\mathbit{\omega }\right)}{n!}{x}^{n},& \end{array}$
 $\begin{array}{}\end{array}$
for $|x|<{min}_{1\le j\le r}|2\pi /{\omega }_{j}|$  . We remark that $\zeta \left(s\right)=\zeta \left(s,1,\left(1\right)\right)$  is the Riemann zeta function and $\zeta \left(-m\right)=\left(-1{\right)}^{m}{B}_{m+1}/\left(m+1\right)$  , where ${B}_{m}={B}_{m}\left(1,\left(1\right)\right)$  is the usual Bernoulli number.
Now we define the multiple gamma function $\Gamma \left(z,\mathbit{\omega }\right)$  and the multiple sine function $S\left(z,\mathbit{\omega }\right)$  by using the regularized product as follows ([Ku1).
 $\begin{array}{cc}\Gamma \left(z,\mathbit{\omega }\right):=& exp\left\{\frac{d}{ds}\zeta \left(s,z,\mathbit{\omega }\right){|}_{s=0}\right\}{=}^{\infty }{\prod \prod }_{{n}_{1},\cdots ,{n}_{r}=0}\left(z+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}{\right)}^{-1},\end{array}$
 $\begin{array}{cc}S\left(z,\mathbit{\omega }\right):=& \Gamma \left(z,\mathbit{\omega }{\right)}^{-1}\cdot \Gamma \left({\omega }_{1}+\cdots +{\omega }_{r}-z,\mathbit{\omega }{\right)}^{\left(-1{\right)}^{r}}.\end{array}$
 $\begin{array}{}\end{array}$
It is seen that these functions satisfy the condition:
 $\begin{array}{cc}& \Gamma \left(z,\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right)=\Gamma \left(z,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot \Gamma \left(z+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right),\end{array}$
 $\begin{array}{cc}& S\left(z,\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right)=S\left(z,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot S\left(z+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right).\end{array}$
 $\begin{array}{}\end{array}$
And we note that $\Gamma \left(z,\left(1\right)\right)=\left(2\pi {\right)}^{-1/2}\Gamma \left(z\right)$  and $S\left(z,\left(1\right)\right)=2sin\left(\pi z\right)$  .

3 Higher Riemann Zeta Function

3.1 Definition and Analytic Continuation

First of all, we introduce a higher Riemann zeta function as follows.
Definition 3.1.1. Define a higher Riemann zeta function for $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k=0}^{\infty }$  by
 $\begin{array}{cc}Z\left(s,\Lambda \right)=Z\left(s,\left\{{\lambda }_{k}{\right\}}_{k=0}^{\infty }\right):{=}^{\infty }{\prod }_{k=0}\zeta \left(s+{\lambda }_{k}\right){=}^{\infty }{\prod }_{k=0}{\prod }_{p:\text{prime}}\left(1-{p}^{-\left(s+{\lambda }_{k}\right)}{\right)}^{-1}.& \end{array}$
 $\begin{array}{}\end{array}$
To show the absolute convergence of $Z\left(s,\Lambda \right)$  , we prepare the following lemma.
Lemma 3.1.2. Fix a positive number $x\ge 2$  . If the sequence $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k=0}^{\infty }$  satisfies (i) $0\le Re\left({\lambda }_{0}\right)\le Re\left({\lambda }_{1}\right)\le \cdots \to \infty$  , and (ii) the sum ${\sum }_{k\in I,{\lambda }_{k}\ne 0}{\lambda }_{k}^{-s}$  converges absolutely for large $Re\left(s\right)$  , then we have
 $\begin{array}{cc}|{\sum }_{k=j}^{\infty }{x}^{-{\lambda }_{k}}|<{<}_{j}{x}^{-Re\left({\lambda }_{j}\right)},\text{for all}j\ge 0\text{}.& \end{array}$
 $\begin{array}{}\end{array}$
• Proof. We observe that
 $\begin{array}{cc}|{\sum }_{k=j}^{\infty }{x}^{-{\lambda }_{k}}|=& |{x}^{-{\lambda }_{j}}\cdot {\sum }_{k=j}^{\infty }{x}^{-\left({\lambda }_{k}-{\lambda }_{j}\right)}|\end{array}$
 $\begin{array}{cc}\le & {x}^{-Re\left({\lambda }_{j}\right)}\cdot {\sum }_{k=j}^{\infty }{2}^{-\left(Re\left({\lambda }_{k}\right)-Re\left({\lambda }_{j}\right)\right)}.\end{array}$
 $\begin{array}{}\end{array}$
Under the condition (ii), the sum of the second factor is bounded.
Theorem 3.1.3. Assume that the sequence $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k=0}^{\infty }$  satisfies the conditions (i) and (ii) in previous lemma. Then $Z\left(s,\Lambda \right)$  is defined for $Re\left(s\right)>1-Re\left({\lambda }_{0}\right)$  .
Moreover $Z\left(s,\Lambda \right)$  has an analytic continuation as a meromorphic function on $s\in \mathbb{C}$  .
• Proof. We see from the lemma that
 $\begin{array}{cc}|{\sum }_{k=0}^{\infty }{\sum }_{p}{p}^{-\left(s+{\lambda }_{k}\right)}|\ll {\sum }_{p}{p}^{-Re\left(s\right)-Re\left({\lambda }_{0}\right)}.& \end{array}$
 $\begin{array}{}\end{array}$
The right side converges in $Re\left(s\right)>1-Re\left({\lambda }_{0}\right)$  . Hence $Z\left(s,\Lambda \right)$  is holomorphic on this domain. Further, we have
 $\begin{array}{cc}Z\left(s,\left\{{\lambda }_{k}{\right\}}_{k=0}^{\infty }\right){=}^{j-1}{\prod }_{k=0}\zeta \left(s+{\lambda }_{k}\right){\cdot }^{\infty }{\prod }_{k=j}\zeta \left(s+{\lambda }_{k}\right){=}^{j-1}{\prod }_{k=0}\zeta \left(s+{\lambda }_{k}\right)×Z\left(s,\left\{{\lambda }_{k}{\right\}}_{k=j}^{\infty }\right)& \end{array}$
 $\begin{array}{}\end{array}$
for any $j$  . From the previous lemma, we see that the second factor is defined now for $Re\left(s\right)>1-Re\left({\lambda }_{j}\right)$  . This provides a meromorphic continuation to $\mathbb{C}$  .
We remark that the higher Riemann zeta function has the Dirichlet series expression $Z\left(s,\Lambda \right)={\sum }_{n=1}^{\infty }{g}_{\Lambda }\left(n\right){n}^{-s}$  where
 $\begin{array}{cc}{g}_{\Lambda }\left(n\right)={\sum }_{{n}_{0}\cdot {n}_{1}\cdot {n}_{2}\cdot \cdots =n{n}_{0}\ge 1,{n}_{1}\ge 1,\cdots }{n}_{0}^{-{\lambda }_{0}}\cdot {n}_{1}^{-{\lambda }_{1}}\cdot {n}_{2}^{-{\lambda }_{2}}\cdots .& \end{array}$
 $\begin{array}{}\end{array}$
From this expression, we see that ${g}_{\Lambda }\left(n\right)$  is multiplicative and $Z\left(s,\Lambda \right)$  has the Euler product:
 $\begin{array}{cc}Z\left(s,\Lambda \right)={\prod }_{p:\text{prime}}{\sum }_{m=0}^{\infty }\frac{{g}_{\Lambda }\left({p}^{m}\right)}{{p}^{ms}},\text{for}Re\left(s\right)>1-Re\left({\lambda }_{0}\right).& \end{array}$
 $\begin{array}{}\end{array}$
Moreover, using the Tauberian theorem (Cf.[Mu), we obtain the behavior of ${g}_{\Lambda }\left(n\right)$  as follows.
Corollary 3.1.4. If $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k=0}^{\infty }$  satisfies (i) (ii) and $0\le {\lambda }_{0}=\cdots ={\lambda }_{K-1}<{\lambda }_{K}\le \cdots$  . Then we have
 $\begin{array}{cc}{\sum }_{n\le x}{g}_{\Lambda }\left(n\right)=\left({c}_{\Lambda }+o\left(1\right)\right){x}^{1-{\lambda }_{0}}\cdot {log}^{K-1}x\text{as}x\to \infty ,& \end{array}$
 $\begin{array}{}\end{array}$
where ${c}_{\Lambda }$  is a constant which is given by
 $\begin{array}{cc}{c}_{\Lambda }:=& \frac{1}{\left(K-1\right)!}{lim}_{s\to 1-{\lambda }_{0}}\left(s-1+{\lambda }_{0}{\right)}^{K}Z\left(s,\Lambda \right)\end{array}$
 $\begin{array}{cc}=& \frac{1}{\left(K-1\right)!}Z\left(1-{\lambda }_{0},\left\{{\lambda }_{k}{\right\}}_{k=K}^{\infty }\right).\end{array}$
 $\begin{array}{}\end{array}$

3.2 Regularized Product Expression

We first recall the regularized product expression of the Riemann zeta function.
Lemma 3.2.1 ([De). For $Re\left(z\right)>1$  and $Re\left(s\right)>1$  , we have
 $\begin{array}{cc}{\sum }_{\rho \in R}\left(z-\rho {\right)}^{-s}={z}^{-s}+\left(z-1{\right)}^{-s}-{\sum }_{n=0}^{\infty }\left(z+2n{\right)}^{-s}-\frac{1}{\Gamma \left(s\right)}{\sum }_{k=0}^{\infty }{\sum }_{p:\text{prime}}\frac{logp}{{p}^{nz}}\left(log{p}^{n}{\right)}^{s-1},& \end{array}$ (3.1)
 $\begin{array}{}\end{array}$
where $R$  denotes the set of the non-trivial zeros of the Riemann zeta function.
This relation follows by applying Weil's explicit formula. For a proof, see [De. From the lemma we see that the function ${\sum }_{\rho \in R}\left(z-\rho {\right)}^{-s}$  has a meromorphic continuation to $s\in \mathbb{C}$  and the Riemann zeta function has the regularized product expression:
 $\begin{array}{cc}{\prod \prod }_{\rho \in R}\left(\frac{s-\rho }{2\pi }\right)=\frac{s}{2\pi }\cdot \frac{s-1}{2\pi }{\cdot }^{\infty }{\prod \prod }_{n=0}{\left(\frac{s+2n}{2\pi }\right)}^{-1}\cdot \zeta \left(s\right).& \end{array}$
 $\begin{array}{}\end{array}$
Further using properties of the Hurwitz zeta function and the gamma function, we have
 $\begin{array}{cc}{\prod \prod }_{\rho \in R}\left(\frac{s-\rho }{2\pi }\right)={2}^{-1/2}\left(2\pi {\right)}^{-2}\cdot s\left(s-1\right)\cdot {\pi }^{-s/2}\cdot \Gamma \left(\frac{s}{2}\right)\cdot \zeta \left(s\right).& \end{array}$
 $\begin{array}{}\end{array}$
We remark that this function is invariant under $s↔1-s$  .
Next we describe the regularized product expression of the higher Riemann zeta function as follows.
Theorem 3.2.2. Let $\Lambda$  be a regularizable sequence. Then the higher Riemann zeta function $Z\left(s,\Lambda \right)$  has the following regularized product expression.
 $\begin{array}{cc}{\prod \prod }_{\lambda \in \Lambda ,\rho \in R}\left(\frac{s+\lambda -\rho }{2\pi }\right)={\prod \prod }_{\lambda \in \Lambda }\left(\frac{s+\lambda }{2\pi }\right)\cdot {\prod \prod }_{\lambda \in \Lambda }\left(\frac{s-1+\lambda }{2\pi }\right)\cdot {\prod \prod }_{\lambda \in \Lambda ,n\ge 0}{\left(\frac{s+\lambda +2n}{2\pi }\right)}^{-1}\cdot Z\left(s,\Lambda \right).& \end{array}$ (3.2)
 $\begin{array}{}\end{array}$
• Proof. From ( 3.1 ), we see that
 $\begin{array}{cc}{\sum }_{\lambda \in \Lambda }{\sum }_{\rho \in R}\left(z+\lambda -\rho {\right)}^{-s}=& {\sum }_{\lambda \in \Lambda }\left(z+\lambda {\right)}^{-s}+{\sum }_{\lambda \in \Lambda }\left(z+\lambda -1{\right)}^{-s}-{\sum }_{\lambda \in \Lambda }{\sum }_{n=0}^{\infty }\left(z+\lambda +2n{\right)}^{-s}\end{array}$
 $\begin{array}{cc}-& \frac{1}{\Gamma \left(s\right)}{\sum }_{\lambda \in \Lambda }{\sum }_{n=1}^{\infty }{\sum }_{p}\frac{logp}{{p}^{n\left(z+\lambda \right)}}\left(log{p}^{n}{\right)}^{s-1},\end{array}$
 $\begin{array}{}\end{array}$
for $Re\left(z\right)>1$  and large $Re\left(s\right)$  . We observe that the right hand side is now meromorphic for any $s\in \mathbb{C}$  . Therefore the dotted product ${\prod \prod }_{\lambda ,\rho }\left\{\left(z+\lambda -\rho \right)/2\pi \right\}$  exists. Further we obtain the equation ( 3.2 ) by using the relation
 $\begin{array}{cc}logZ\left(z,\Lambda \right)={\sum }_{\lambda \in \Lambda }{\sum }_{p}{\sum }_{n=1}^{\infty }\frac{1}{n{p}^{n\left(z+\lambda \right)}}={CT}_{s=0}\frac{1}{s}\left\{\frac{\left(2\pi {\right)}^{s}}{\Gamma \left(s\right)}{\sum }_{\lambda \in \Lambda }{\sum }_{n=1}^{\infty }{\sum }_{p}\frac{logp}{{p}^{n\left(z+\lambda \right)}}\left(log{p}^{n}{\right)}^{s-1}\right\}.& \end{array}$
 $\begin{array}{}\end{array}$
This completes the proof.

3.3 Semi-Lattice and Functional Equation

Let $\Omega :=\left\{{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}|{n}_{j}\in {\mathbb{Z}}_{\ge 0}\right\}$  with $Re\left({\omega }_{j}\right)>0$  . Then it is seen that $\Omega$  is a regularizable sequence. Now, we consider the higher Riemann zeta function for the semi-lattice $\Omega$  .
Definition 3.3.1. Define the higher Riemann zeta function of the weight $\mathbit{\omega }=\left({\omega }_{1}\cdots {\omega }_{r}\right)$  by
 $\begin{array}{cc}Z\left(s,\mathbit{\omega }\right):=Z\left(s,\Omega \right){=}^{\infty }{\prod }_{{n}_{1},\cdots ,{n}_{r}=0}{\prod }_{p:\text{prime}}\left(1-{p}^{-\left(s+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}\right)}{\right)}^{-1}.& \end{array}$
 $\begin{array}{}\end{array}$
We see that this product absolutely for $Re\left(s\right)>1$  and $Z\left(s,\mathbit{\omega }\right)$  has an analytic continuation as a meromorphic function on $s\in \mathbb{C}$  . Obviously, this is invariant under the arrangement of ${\omega }_{j}$  's.
Proposition 3.3.2. The higher Riemann zeta function $Z\left(s,\mathbit{\omega }\right)$  defined for $Re\left(s\right)>1$  has a meromorphic continuation to the whole complex plane and satisfies
 $\begin{array}{cc}& Z\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right)=Z\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot Z\left(s+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right),\end{array}$ (3.3)
 $\begin{array}{cc}& Z\left(s,\mathbit{\omega }\right)×{\prod }_{1\le {k}_{1}<\cdots <{k}_{j}\le r1\le j\le r}Z\left(s+{\omega }_{{k}_{1}}+\cdots +{\omega }_{{k}_{j}},\mathbit{\omega }{\right)}^{\left(-1{\right)}^{j}}=\zeta \left(s\right).\end{array}$
 $\begin{array}{}\end{array}$
• Proof. We observe that
 $\begin{array}{cc}Z\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right)& {=}^{\infty }{\prod }_{n=0}Z\left(s+n{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\end{array}$
 $\begin{array}{cc}& =Z\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot {\sum }_{n=0}^{\infty }Z\left(s+n{\omega }_{r}+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\end{array}$
 $\begin{array}{cc}& =Z\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot Z\left(s+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right).\end{array}$
 $\begin{array}{}\end{array}$
Thus the relation ( 3.3 ) holds. By using ( 3.3 ) repeatedly, we have
 $\begin{array}{cc}\zeta \left(s\right)=& Z\left(s,\left({\omega }_{1}\right)\right)\cdot Z\left(s+{\omega }_{1},\left({\omega }_{1}\right){\right)}^{-1}\end{array}$
 $\begin{array}{cc}=& Z\left(s,\left({\omega }_{1},{\omega }_{2}\right)\right)Z\left(s+{\omega }_{2},\left({\omega }_{1},{\omega }_{2}\right){\right)}^{-1}\cdot Z\left(s+{\omega }_{1},\left({\omega }_{1},{\omega }_{2}\right){\right)}^{-1}Z\left(s+{\omega }_{1}+{\omega }_{2},\left({\omega }_{1},{\omega }_{2}\right)\right)\end{array}$
 $\begin{array}{cc}=& \cdot \cdot \cdot \end{array}$
 $\begin{array}{cc}=& Z\left(s,\mathbit{\omega }\right)×{\prod }_{1\le {k}_{1}<\cdots <{k}_{j}\le r1\le j\le r}Z\left(s+{\omega }_{{k}_{1}}+\cdots +{\omega }_{{k}_{j}},\mathbit{\omega }{\right)}^{\left(-1{\right)}^{j}}.\end{array}$
 $\begin{array}{}\end{array}$
This completes the proof.
Next we show the regularized product expression of $Z\left(s,\mathbit{\omega }\right)$  as follows.
Theorem 3.3.3. We have
 $\begin{array}{cc}{\prod \prod }_{{n}_{1},\cdots ,{n}_{r}\ge 0,\rho \in R}& \left(\frac{s+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}-\rho }{2\pi }\right)\end{array}$
 $\begin{array}{cc}=& exp\left\{\left(-\frac{{B}_{r}\left(s,\mathbit{\omega }\right)}{r!}-\frac{{B}_{r}\left(s-1,\mathbit{\omega }\right)}{r!}+\frac{{B}_{r+1}\left(s,\left(2,{\omega }_{1},\cdots ,{\omega }_{r}\right)\right)}{\left(r+1\right)!}\right)log\left(2\pi \right)\right\}\end{array}$
 $\begin{array}{cc}×& \Gamma \left(s,\mathbit{\omega }{\right)}^{-1}\cdot \Gamma \left(s-1,\mathbit{\omega }{\right)}^{-1}\cdot \Gamma \left(s,\left(2,{\omega }_{1},\cdots ,{\omega }_{r}\right)\right)\cdot Z\left(s,\mathbit{\omega }\right).\end{array}$
 $\begin{array}{}\end{array}$
Here ${B}_{n}\left(s,\mathbit{\omega }\right)$  is the multiple Bernoulli polynomial, $\Gamma \left(s,\mathbit{\omega }\right)$  is the multiple gamma function.
• Proof. We note that
 $\begin{array}{cc}{}^{\infty }{\prod \prod }_{{n}_{1},\cdots ,{n}_{r}=0}\left(\frac{z+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}}{2\pi }\right)=\left(2\pi {{\right)}^{-\zeta \left(0,z,\mathbit{\omega }\right)}}^{\infty }{\prod \prod }_{{n}_{1},\cdots ,{n}_{r}=0}\left(z+{n}_{1}{\omega }_{1}+\cdots +{n}_{r}{\omega }_{r}\right).& \end{array}$
 $\begin{array}{}\end{array}$
Then, the result follows from Theorem 3.2.2.
From this theorem, we see that the function
 $\begin{array}{cc}\stackrel{^}{Z}\left(s,\mathbit{\omega }\right):=& exp\left\{\left(-\frac{{B}_{r}\left(s,\mathbit{\omega }\right)}{r!}-\frac{{B}_{r}\left(s-1,\mathbit{\omega }\right)}{r!}+\frac{{B}_{r+1}\left(s,\left(2,{\omega }_{1},\cdots ,{\omega }_{r}\right)\right)}{\left(r+1\right)!}\right)log\left(2\pi \right)\right\}\end{array}$
 $\begin{array}{cc}×& \Gamma \left(s,\mathbit{\omega }{\right)}^{-1}\cdot \Gamma \left(s-1,\mathbit{\omega }{\right)}^{-1}\cdot \Gamma \left(s,\left(2,{\omega }_{1},\cdots ,{\omega }_{r}\right)\right)\cdot Z\left(s,\mathbit{\omega }\right)\end{array}$
 $\begin{array}{}\end{array}$
is an entire function of order $r+1$  with zeros at $s=\rho -{n}_{1}{\omega }_{1}-\cdots -{n}_{r}{\omega }_{r}$  . Further $\stackrel{^}{Z}\left(s,\mathbit{\omega }\right)$  satisfies the relation
 $\begin{array}{cc}\stackrel{^}{Z}\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right)=\stackrel{^}{Z}\left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot \stackrel{^}{Z}\left(s+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right).& \end{array}$
 $\begin{array}{}\end{array}$
Finally, we give the functional equation of the higher Riemann zeta function $Z\left(s,\mathbit{\omega }\right)$  as follows.
Theorem 3.3.4. Define the function $\Lambda \left(s,\mathbit{\omega }\right)$  by
 $\begin{array}{cc}\Lambda \left(s,\mathbit{\omega }\right):=\stackrel{^}{Z}\left(s,\mathbit{\omega }\right)\cdot \stackrel{^}{Z}\left(1+{\omega }_{1}+\cdots +{\omega }_{r}-s,\mathbit{\omega }{\right)}^{\left(-1{\right)}^{r+1}}.& \end{array}$
 $\begin{array}{}\end{array}$
Then we have
 $\begin{array}{cc}\Lambda \left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right)=\Lambda \left(s,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)\cdot \Lambda \left(s+{\omega }_{r},\left({\omega }_{1},\cdots ,{\omega }_{r-1},{\omega }_{r}\right)\right).& \end{array}$ (3.4)
 $\begin{array}{}\end{array}$
Moreover, $\Lambda \left(s,\mathbit{\omega }\right)$  satisfies the functional equation:
 $\begin{array}{cc}\Lambda \left(s,\mathbit{\omega }\right)×{\prod }_{1\le {k}_{1}<\cdots <{k}_{j}\le r1\le j\le r}\Lambda \left(s+{\omega }_{{k}_{1}}+\cdots +{\omega }_{{k}_{j}},\mathbit{\omega }{\right)}^{\left(-1{\right)}^{j}}=1.& \end{array}$ (3.5)
 $\begin{array}{}\end{array}$
• Proof. we observe ( 3.3 ) and
 $\begin{array}{cc}& \stackrel{^}{Z}\left(1+{\omega }_{1}+\cdots +{\omega }_{r-1}+{\omega }_{r}-s,\left({\omega }_{1},\cdots ,+{\omega }_{r-1},{\omega }_{r}\right)\right)\end{array}$
 $\begin{array}{cc}=& \frac{\stackrel{^}{Z}\left(1+{\omega }_{1}+\cdots +{\omega }_{r-1}+{\omega }_{r}-\left(s+{\omega }_{r}\right),\left({\omega }_{1},\cdots ,+{\omega }_{r-1},{\omega }_{r}\right)\right)}{\stackrel{^}{Z}\left(1+{\omega }_{1}+\cdots +{\omega }_{r-1}-s,\left({\omega }_{1},\cdots ,{\omega }_{r-1}\right)\right)}.\end{array}$
 $\begin{array}{}\end{array}$
Then the equation ( 3.4 ) follows immediately. Next, using ( 3.4 ) repeatedly, we have
 $\begin{array}{cc}\Lambda \left(s,\mathbit{\omega }\right)×{\prod }_{1\le {k}_{1}<\cdots <{k}_{j}\le r1\le j\le r}\Lambda \left(s+{\omega }_{{k}_{1}}+\cdots +{\omega }_{{k}_{j}},\mathbit{\omega }{\right)}^{\left(-1{\right)}^{j}}=\stackrel{^}{\zeta }\left(s\right)\cdot \stackrel{^}{\zeta }\left(1-s{\right)}^{-1}=1,& \end{array}$
 $\begin{array}{}\end{array}$
where
 $\begin{array}{cc}\stackrel{^}{\zeta }\left(s\right):={\prod \prod }_{\rho \in R}\left(\frac{s-\rho }{2\pi }\right)={2}^{-1/2}\left(2\pi {\right)}^{-2}\cdot s\left(s-1\right)\cdot {\pi }^{-s/2}\cdot \Gamma \left(\frac{s}{2}\right)\cdot \zeta \left(s\right).& \end{array}$
 $\begin{array}{}\end{array}$
Hence the theorem follows.
References

1. E.W.Barnes, On the theory of the multiple gamma function. Trans. Cambridge Philos. Soc. 19 (1904), 374-425.
2. H.Cohen, H.W.Lenstra, Heuristics on class groups of number fields. Lecture Notes in Math., 1068, Springer Berlin (1984), 33-62.
3. C.Deninger, Local $L$  -factors of motives and regularized determinants. Invent. math., 107 (1992), 135-150.
4. Y.Gon, Gamma factors of Selberg zeta functions and functional equation of Ruelle zeta functions. Math. Ann. 308 (1997), 251-278.
5. M.Hirano, N.Kurokawa, M.Wakayama, Half zeta functions. J. Ramanujan Math. Soc. 18 (2003), 195-209.
6. Y.Hashimoto, M.Wakayama, Hierarchy of the Selberg zeta functions. Preprint (2004).
7. G.Illies, Regularized products and determinants. Comm. Math. Phys. 220 no.1 (2001), 69-94.
8. J.Jorgenson, S.Lang, Basic analysis of regularized series and products. Lecture Notes in Math. 1564, Springer Berlin (1993).
9. N.Kurokawa, S.Koyama, Multiple sine functions. Forum Math. 15 (2003), 839-876.
10. N.Kurokawa, Lectures on multiple sine functions. Notes by Shinya Koyama, Univ. of Tokyo (1991), April-July.
11. N.Kurokawa, Gamma factors and Plancherel measures. Proc. Japan Acad. 68 Ser. A (1992), 256-260.
12. N.Kurokawa, S.Matsuda, M.Wakayama, Gamma factors and functional equations of higher Riemann zeta functions. Preprint (2004).
13. N.Kurokawa, M.Wakayama, Zeta extensions. Proc. Japan Acad. 78 Ser. A (2002), 126-130.
14. N.Kurokawa, M.Wakayama, Higher Selberg zeta functions. Comm. Math. Phys. 247 (2004), 447-466.
15. N.Kurokawa, M.Wakayama, Generalized zeta regularizations, quantum class number formulas, and Appell's $\mathcal{O}$  functions. to appear in The Ramanujan J.
16. T.Momotani Higher Selberg zeta functions for congruence subgroups. Preprint (2004).
17. M.R.Murty, V.K.Murty, Non-vanishing of $L$  -functions and applications. Progress in Mathematics 157 (1997).
18. S.J.Patterson, An introduction to the theory of the Riemann zeta function. Cambridge Studies in Advanced Mathematics 14 (1995).
19. A.Weil, Sur les “formules explicites” de la théorie des nombers premiers. Comm. Sém. Math. Univ. Lund (1952), 252-265.