Laurent series expansions of multiple zeta-functions of Euler-Zagier type at integer points

Kohji Matsumoto,Tomokazu Onozuka,Isao Wakabayashi
DOI: https://doi.org/10.48550/arXiv.1601.05918
2016-01-22
Abstract:We give explicit expressions (or at least an algorithm of obtaining such expressions) of the coefficients of the Laurent series expansions of the Euler-Zagier multiple zeta-functions at any integer points. The main tools are the Mellin-Barnes integral formula and the harmonic product formulas. The Mellin-Barnes integral formula is used in the induction process on the number of variables, and the harmonic product formula is used to show that the Laurent series expansion outside the domain of convergence can be obtained from that inside the domain of convergence.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Laurent series expansion of the Euler - Zagier - type multiple zeta functions at integer points. Specifically, the authors aim to give explicit expressions (or at least provide algorithms for obtaining these expressions) of the Laurent series expansion of these functions at any integer points. This research mainly uses the Mellin - Barnes integral formula and the harmonic product formula as tools. Through these tools, the authors can handle not only the behavior of the functions within their convergence domains but also their behavior outside the convergence domains, especially when the considered points are at integer points. ### Main Problems and Methods 1. **Problem Background**: - The Euler - Zagier multiple zeta function is defined as follows: \[ \zeta_r(\mathbf{s})=\sum_{n_1 = 1}^{\infty}\sum_{n_2 = 1}^{\infty}\cdots\sum_{n_r = 1}^{\infty}\frac{1}{n_1^{s_1}(n_1 + n_2)^{s_2}\cdots(n_1+\cdots + n_r)^{s_r}} \] where \(\mathbf{s}=(s_1, s_2,\ldots, s_r)\in\mathbb{C}^r\), and is defined within the absolute convergence domain \(D_r\). - When \(\mathbf{s}\) is at integer points, the behavior of these functions becomes complex, especially at non - positive integer points. 2. **Research Objectives**: - Give explicit expressions of the Laurent series expansion of the Euler - Zagier multiple zeta function at any integer point. - Use the Mellin - Barnes integral formula and the harmonic product formula to derive these expressions. 3. **Main Tools**: - **Mellin - Barnes Integral Formula**: Used to handle the change in the number of variables during the induction process. - **Harmonic Product Formula**: Used to derive the situation outside the convergence domain from the situation within the convergence domain. ### Main Results 1. **Theorem 1.3**: - For positive integers \(r, m_1,\ldots, m_r\), let \(\mathbf{m}=(m_1,\ldots, m_r)\). Then the coefficients of the Laurent series expansion of \(\zeta_r(\mathbf{s})\) at \(\mathbf{s}=\mathbf{m}\) can be explicitly expressed using \(\gamma(n_1,\ldots, n_k)\) and \(\zeta(l_1,\ldots, l_k)_k(q_1,\ldots, q_k)\), where \(1\leq k\leq r\), \((n_1,\ldots, n_k), (l_1,\ldots, l_k)\in(\mathbb{Z}_{\geq0})^k\), \((q_1,\ldots, q_k)\in D_k\cap(\mathbb{Z}_{\geq1})^k\). 2. **Theorem 1.4**: - For \(\mathbf{m}\in\mathbb{Z}^r\setminus(\mathbb{Z}_{\geq1})^r\), the coefficients of the Laurent series expansion of \(\zeta_r(\mathbf{s})\) at \(\mathbf{s}=\mathbf{m}\) can be expressed in terms of the coefficients in Theorem 1.3, \(\zeta(n)(m)\) (where \(m\leq0\), \(n\geq0\)) and in integral form: \[ \int_{\mathcal{C}}\frac{F_{z_l}^{(n_1,\ldots, n_l)}(k)}{\Gamma(-z_l)\z