Abstract:In the present paper, for $s,t,u \in {\mathbb{C}}$, we show rapidly (or globally) convergent series representations of the Tornheim double zeta function $T(s,t,u)$ and (desingularized) symmetric Tornheim double zeta functions. As a corollary, we give a new a proof of known results on the values of $T(s,s,s)$ at non-positive integers and the location of the poles of $T(s,s,s)$. Furthermore, we prove that the function $T(s,s,s)$ can not be written by a polynomial in the form of $\sum_{k=1}^j c_k \prod_{r=1}^q \zeta^{d_{kr}} (a_{kr} s + b_{kr})$, where $a_{kr}, b_{kr}, c_k \in {\mathbb{C}}$ and $d_{kr} \in {\mathbb{Z}}_{\ge 0}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide a rapidly convergent series representation of the symmetric Tornheim double zeta function. Specifically, the author shows the rapidly convergent series representations of the symmetric Tornheim double zeta function \(T(s, t, u)\) and the desingularized symmetric Tornheim double zeta function. In addition, the author also gives a new proof of the values of \(T(s, s, s)\) at non - positive integers and the location of its poles, and proves that \(T(s, s, s)\) cannot be represented by a polynomial in a specific form.
### Summary of main content:
1. **Definition and background**:
- For \(s, t, u\in\mathbb{C}\), the Tornheim double zeta function is defined as:
\[
T(s, t, u):=\sum_{m, n = 1}^{\infty}\frac{1}{m^s n^t(m + n)^u}
\]
within the regions of absolute convergence \(\Re(s + u)>1\), \(\Re(t + u)>1\) and \(\Re(s + t + u)>2\).
- The paper further defines the symmetric Tornheim double zeta functions \(S_1(s, t, u)\) and \(S_2(s, t, u)\), and provides their rapidly convergent series representations.
2. **Main results**:
- Provides the rapidly convergent series representations of \(S_1(s, t, u)\) and \(S_2(s, t, u)\), which do not contain the upper incomplete gamma function and the beta function.
- Proves new results on the values of \(T(s, s, s)\) at non - positive integers and the location of its poles:
\[
\lim_{\varepsilon\rightarrow0}T(\varepsilon,\varepsilon,\varepsilon)=\frac{1}{3},\quad\lim_{\varepsilon\rightarrow0}T(k+\varepsilon,k+\varepsilon,k+\varepsilon) = 0
\]
where \(k\) is a negative integer.
- Proves that all poles of \(T(s, s, s)\) are simple poles and only occur at \(s=\frac{2}{3}\) and \(s=\frac{1}{2}-k\) (\(k\in\mathbb{Z}_{\geq0}\)).
- Proves that \(T(s, s, s)\) cannot be represented by a polynomial in a specific form:
\[
T(s, s, s)\neq\sum_{j = 1}^{k}c_j\prod_{r = 1}^{q}\zeta(d_{kr}(a_{kr}s + b_{kr}))
\]
where \(a_{kr}, b_{kr}, c_j\in\mathbb{C}\) and \(d_{kr}\in\mathbb{Z}_{\geq0}\).
Through these results, the paper not only provides a more efficient calculation method for the symmetric Tornheim double zeta function, but also deeply explores its analytic properties and special values.