Riemann Zeta Function as a Multiple Integral

From ProofWiki
Jump to navigation Jump to search

Theorem

For $n \in \Z_{> 0}$, the Riemann zeta function is given by:

$\displaystyle \map \zeta n = \int_{\closedint 0 1^n} \frac 1 {1 - \prod_{i \mathop = 1}^n x_i} \prod_{i \mathop = 1}^n \rd x_i$

where $\closedint 0 1^n$ denotes the Cartesian $n$th power of the closed real interval $\closedint 0 1$.


Proof

\(\displaystyle \int_{\closedint 0 1^n} \frac 1 {1 - \prod_{i \mathop = 1}^n x_i} \prod_{i \mathop = 1}^n \rd x_i\) \(=\) \(\displaystyle \int_{\closedint 0 1^n} \sum_{j \mathop = 1}^\infty \paren {\prod_{i \mathop = 1}^n x_i}^{j - 1} \prod_{i \mathop = 1}^n \rd x_i\) Sum of Infinite Geometric Progression
\(\displaystyle \) \(=\) \(\displaystyle \sum_{j \mathop = 1}^\infty \prod_{i \mathop = 1}^n \int_0^1 x^{j - 1}_i \rd x_i\) Fubini's Theorem
\(\displaystyle \) \(=\) \(\displaystyle \sum_{j \mathop = 1}^\infty \frac 1 {j^n}\)
\(\displaystyle \) \(=\) \(\displaystyle \map \zeta n\) Definition of Riemann Zeta Function

$\blacksquare$