On shuffle-type functional relations of desingularized multiple zeta-functions (Q2239149)

The multiple zeta function (of Euler-Zagier type) is defined by \[ \zeta(s_1,\ldots,s_r) =\sum_{0<m_1<\cdots <m_r}\frac{1}{m_1^{s_1}\cdots m_r^{s_r}}, \] which converges absolutely in the region \[ \{(s_1,\ldots,s_r)\in\mathbb{C}^r\,|\,\Re(s_{r-k+1}+\cdots+s_r)>k\ (1\le k\le r)\}. \] It is known that \(\zeta(s_1,\ldots,s_r)\) can be continued meromorphically to \(\mathbb{C}^r\) with singularities at \begin{align*} s_r&=1,\\ s_{r-1}+s_r&=2,1,0,-2,-4,\ldots,\\ s_{r-k+1}+\cdots+s_r&=k-n \ \ (3\le k\le r,\ n\in\mathbb{Z}_{\ge 0}). \end{align*} In [Am. J. Math. 139, No. 1, 147--173 (2017; Zbl 1369.11065)], to study values at nonpositive integer points of \(\zeta(s_1,\ldots,s_r)\) ``rigorously'', \textit{H. Furusho} et al. introduced the \textit{desingularized multiple zeta function} \(\zeta^{\text{des}}_r(s_1,\ldots,s_r)\) which is entire in \(\mathbb{C}^r\) and can be expressed as a finite ``linear'' combination of shifted multiple zeta functions. In this paper, the author obtains the following shuffle-type product formulas of desingularized multiple zeta function: For \(s_1,\ldots,s_p\in\mathbb{C}\) and \(l_1,\ldots,l_q\in\mathbb{Z}_{\ge 0}\), it holds that \begin{align*} & \zeta^{\text{des}}_p(s_1,\ldots,s_p)\zeta^{\text{des}}_q(-l_1,\ldots,-l_q)\\ &=\sum_{\substack{i_b+j_b=l_b \\ i_b,j_b\ge 0 \\ 1\le b\le q}}\prod^{q}_{a=1}(-1)^{i_a}\binom{l_a}{i_a} \zeta^{\text{des}}_{p+q}(s_1,\ldots,s_{p-1},s_p-i_1-\cdots-i_q,-j_1,\ldots,-j_q). \end{align*} This gives a generalization of author's previous results obtained in [RIMS Kôkyûroku Bessatsu B83, 83--104 (2020; Zbl 1461.11117)].