Kohji Matsumoto,Kazuhiro Onodera,Dilip K. Sahoo
Abstract:We study the asymptotic behavior of a multiple series of Mordell-Tornheim type and its integral analogue at x=0. Our approach is to show a relation between the multiple series and its integral analogue by using Abel's summation formula, and to deeply investigate the behavior of the integral analogue. Additionally, we establish some nontrivial relations among multiple polylogarithms by comparing two seemingly different asymptotic formulas for the integral analogue.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the asymptotic behavior of the Mordell - Tornheim multiple zeta function and its integral analogue near \(x = 0\), and to establish non - trivial relations between polylogarithm functions. Specifically, the authors focus on the behavior of the following two series and their integral analogues as \(x\to0\):
1. **Mordell - Tornheim - type multiple series**:
\[
M_r(x; \omega, a)=\sum_{n_1, n_2,\ldots, n_r\geq1}\frac{1}{n_1n_2\cdots n_r(\omega_1n_1+\omega_2n_2+\cdots+\omega_rn_r + a)^x}
\]
2. **Its integral analogue**:
\[
I_r(x; \omega, a)=\int_1^{\infty}\cdots\int_1^{\infty}\frac{dt_1dt_2\cdots dt_r}{t_1t_2\cdots t_r(\omega_1t_1+\omega_2t_2+\cdots+\omega_rt_r + a)^x}
\]
where \(r\) is a positive integer, \(x\) is a real variable, \(\omega = (\omega_1,\omega_2,\ldots,\omega_r)\) is an \(r\)-tuple of positive real numbers, and \(a\) is a non - negative real number.
### Main research content
1. **Asymptotic behavior**: By using the Abel summation formula, the authors show the relationship between the multiple series and its integral analogue, and deeply study the behavior of the integral analogue as \(x\to0\).
2. **Relations of polylogarithm functions**: By comparing two seemingly different asymptotic formulas, the authors establish some non - trivial relations between polylogarithm functions.
### Specific problems and solutions
- **Asymptotic formulas**: The authors derive the asymptotic formulas of \(I_r(x; \omega, a)\) and \(M_r(x; \omega, a)\) as \(x\to0\). For example, for \(I_r(x; \omega, a)\), they obtain the following asymptotic formula:
\[
I_r(x; \omega, a)=e^{-\gamma x}\frac{1}{\Gamma(x + 1)}\sum_{k = 0}^r\frac{(-1)^k\Lambda_k(\omega)}{(r - k)!}\frac{1}{x^{r - k}}+O(x)
\]
where \(\Lambda_k(\omega)\) is a combination of logarithmic sums with respect to \(\omega\).
- **Relations of polylogarithm functions**: By comparing different forms of asymptotic formulas, the authors reveal the relations between polylogarithm functions. For example, in the case of \(r = 2\) and \(m = 2\), they obtain the following relation:
\[
-\text{Li}_2\left(\frac{a+\omega_1}{a+\omega_1+\omega_2}\right)-\text{Li}_2\left(\frac{a+\omega_2}{a+\omega_1+\omega_2}\right)+2\text{Li}_2\left(\frac{a}{a+\omega_1+\omega_2}\right)+\text{Li}_{1,1}\left(\frac{a}{a+\omega_1},\frac{a+\omega_1}{a+\omega_1+\omega_2}\right)