2025-11-22T08:34:16.532507

Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values

Sathyanarayana, Sharan
In this paper, we establish Kronecker limit type formulas for the generalized Mordell--Tornheim zeta function $Θ(r,s,t,x)$ as a function of the third variable, in terms of Riemann-zeta and Gamma values. We also give series evaluations of $Θ(r,s,t,x)$ in terms of Herglotz-Zagier type functions, and their derivatives. As applications of this, we derive Kronecker limit type formula in the second variable and a new infinite family of modular relations called mixed functional equations. We also study the zeroes, special values and singularities of the above function when all its arguments $r,s$ and $t$ are equal, which builds on a few earlier results due to Romik.
academic

Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values

Basic Information

  • Paper ID: 2510.10093
  • Title: Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values
  • Authors: Sumukha Sathyanarayana, N. Guru Sharan
  • Classification: math.NT (Number Theory)
  • Submission Date: October 11, 2025 (arXiv submission)
  • Paper Link: https://arxiv.org/abs/2510.10093

Abstract

This paper establishes Kronecker limit type formulas for the generalized Mordell-Tornheim zeta function Θ(r,s,t,x)\Theta(r,s,t,x) with respect to the third variable, expressed in terms of values of the Riemann zeta function and Gamma function. The paper also provides series representations of Θ(r,s,t,x)\Theta(r,s,t,x) using Herglotz-Zagier type functions and their derivatives. As applications, the authors derive Kronecker limit type formulas with respect to the second variable and discover new infinite families of modular relations called mixed functional equations. The zeros, special values, and singularities of the function when all parameters r,s,tr,s,t are equal are also studied, building upon earlier results by Romik.

Research Background and Motivation

Problem Background

  1. Mordell-Tornheim zeta function: The classical Mordell-Tornheim zeta function is defined as ζMT(r,s,t):=n=1m=11nrms(n+m)t\zeta_{MT}(r,s,t) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+m)^t}
  2. Generalized form: This paper studies its generalized form Θ(r,s,t,x):=n=1m=11nrms(n+mx)t\Theta(r,s,t,x) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+mx)^t} where x>0x > 0, and clearly Θ(r,s,t,1)=ζMT(r,s,t)\Theta(r,s,t,1) = \zeta_{MT}(r,s,t)
  3. Research significance:
    • The Mordell-Tornheim zeta function is closely related to the Witten zeta function and multiple zeta functions
    • It has important applications in Lie algebra theory, particularly in the Witten zeta function associated with the SU(3)SU(3) group
    • Kronecker limit formulas hold a foundational position in analytic number theory
  4. Existing limitations:
    • The behavior of this function near singularities remains largely unexplored
    • Systematic Kronecker limit type formulas are lacking
    • Understanding of special values and zeros is incomplete

Core Contributions

  1. Establishment of Kronecker limit type formulas: Complete Kronecker limit type formulas for Θ(r,s,t,x)\Theta(r,s,t,x) with respect to the third variable tt are provided
  2. Derivation of series representations: Θ(r,s,t,x)\Theta(r,s,t,x) is expressed using Herglotz-Zagier type functions
  3. Derivation of mixed functional equations: New infinite families of modular relations called mixed functional equations are discovered
  4. Complete analysis of special cases: Zeros, special values, and singularities of Θ(s,s,s,x)\Theta(s,s,s,x) are systematically studied
  5. Generalization of Romik's results: Results by Romik on the Witten zeta function are extended to more general cases

Methodology in Detail

Task Definition

Investigation of the analytic properties of the generalized Mordell-Tornheim zeta function Θ(r,s,t,x)\Theta(r,s,t,x), particularly:

  • Laurent expansions near singularities
  • Establishment of Kronecker limit type formulas
  • Computation of special values
  • Discovery of functional equations

Core Methods

1. Mellin Transform Method

Using the Mellin transform and properties of the polylogarithm function Lir(z)=u=1zuur\text{Li}_r(z) = \sum_{u=1}^{\infty} \frac{z^u}{u^r}, integral representations are established:

Proposition 2.1: For rNr \notin \mathbb{N}, 1Γ(t)0yt1Lis(exy)(Lir(ey)Γ(1r)yr1k=0M(1)kζ(rk)ykk!)dy\frac{1}{\Gamma(t)}\int_0^{\infty} y^{t-1}\text{Li}_s(e^{-xy})\left(\text{Li}_r(e^{-y}) - \Gamma(1-r)y^{r-1} - \sum_{k=0}^M \frac{(-1)^k\zeta(r-k)y^k}{k!}\right)dy=Θ(r,s,t,x)Γ(1r)Γ(t+r1)xt+r1Γ(t)ζ(t+s+r1)k=0M(1)kζ(rk)Γ(t+k)k!xt+kΓ(t)ζ(t+k+s)= \Theta(r,s,t,x) - \frac{\Gamma(1-r)\Gamma(t+r-1)}{x^{t+r-1}\Gamma(t)}\zeta(t+s+r-1) - \sum_{k=0}^M \frac{(-1)^k\zeta(r-k)\Gamma(t+k)}{k!x^{t+k}\Gamma(t)}\zeta(t+k+s)

2. Partial Fraction Method

Lemma 3.1: For r,tN{0}r,t \in \mathbb{N}\cup\{0\} with r+t1r+t \geq 1, the partial fraction decomposition holds: 1nr(n+y)t=(1)rj=0t1(j+r1j)1yj+r(n+y)tj+i=0r1(i+t1i)(1)inriyt+i\frac{1}{n^r(n+y)^t} = (-1)^r\sum_{j=0}^{t-1}\binom{j+r-1}{j}\frac{1}{y^{j+r}(n+y)^{t-j}} + \sum_{i=0}^{r-1}\binom{i+t-1}{i}\frac{(-1)^i}{n^{r-i}y^{t+i}}

3. Analytic Continuation Techniques

The singularity structures of the Gamma function and Laurent expansions of the zeta function are systematically analyzed to handle various singularity cases.

Technical Innovations

  1. Systematic case classification: Detailed case analysis based on different parameter values (integer vs. non-integer, positive vs. negative, etc.)
  2. Precise Laurent coefficients: Not only principal parts but also explicit coefficients of Laurent expansions are computed
  3. Unified treatment framework: Various types of singularities are incorporated into a unified analytical framework
  4. New functional equations: Mixed-type functional equations involving derivatives of the ψ\psi function and harmonic numbers are discovered

Main Results

Kronecker Limit Type Formulas

Theorem 2.3 (Third Variable Case)

For rZNr \in \mathbb{Z}\setminus\mathbb{N} and N{0}\ell \in \mathbb{N}\cup\{0\}, near t=1rt = 1-r-\ell:

Case I (sZs \notin \mathbb{Z} or s>r+s > r+\ell and s+1s \neq \ell+1): Θ(r,s,t,x)=(1)r1(r+1)!x(r)!ζ(s)!+k=0r+1(r+1)!ζ(rk)ζ(r+s+k+1)x1r+kk!(r+k1)!+O(t(1r))\Theta(r,s,t,x) = \frac{(-1)^{r-1}(r+\ell-1)!x^{\ell}(-r)!\zeta(s-\ell)}{\ell!} + \sum_{k=0}^{r+\ell-1}\frac{(r+\ell-1)!\zeta(r-k)\zeta(-r+s-\ell+k+1)}{x^{1-r-\ell+k}k!(r+\ell-k-1)!} + O(|t-(1-r-\ell)|)

Case II (s=+1s = \ell+1): Θ(r,s,t,x)=(1)r1(r)!x(r+1)!!(t(1r))+constant term+O(t(1r))\Theta(r,s,t,x) = \frac{(-1)^{r-1}(-r)!x^{\ell}(r+\ell-1)!}{\ell!(t-(1-r-\ell))} + \text{constant term} + O(|t-(1-r-\ell)|)

Series Representation Theorem

Theorem 3.2

For r,tN{0}r,t \in \mathbb{N}\cup\{0\} with r+t1r+t \geq 1: Θ(r,s,t,x)=i=0r2(1)ixt+i(i+t1i)ζ(s+t+i)ζ(ri)\Theta(r,s,t,x) = \sum_{i=0}^{r-2}\frac{(-1)^i}{x^{t+i}}\binom{i+t-1}{i}\zeta(s+t+i)\zeta(r-i)(1)rxr+t1(r+t2t1)m=1γ+ψ(mx+1)mr+s+t1- \frac{(-1)^r}{x^{r+t-1}}\binom{r+t-2}{t-1}\sum_{m=1}^{\infty}\frac{\gamma + \psi(mx+1)}{m^{r+s+t-1}}+(1)rj=0t2(j+r1j)(1)tj(tj1)!1xj+rm=1ψ(tj1)(mx+1)mr+s+j+ (-1)^r\sum_{j=0}^{t-2}\binom{j+r-1}{j}\frac{(-1)^{t-j}}{(t-j-1)!}\frac{1}{x^{j+r}}\sum_{m=1}^{\infty}\frac{\psi^{(t-j-1)}(mx+1)}{m^{r+s+j}}

Mixed Functional Equations

Theorem 3.3

Define the function F(x)F(x); then the functional equation holds: F(x)=xtF(1x)F(x) = x^{-t}F\left(\frac{1}{x}\right)

For example, when r=s=2,t=0r=s=2, t=0: m=1ψ(mx+1)m2+m=1ψ(m/x+1)m2+2xm=1γ+ψ(mx+1)m3=ζ2(2)-\sum_{m=1}^{\infty}\frac{\psi'(mx+1)}{m^2} + \sum_{m=1}^{\infty}\frac{\psi'(m/x+1)}{m^2} + \frac{2}{x}\sum_{m=1}^{\infty}\frac{\gamma + \psi(mx+1)}{m^3} = \zeta^2(2)

Special Values and Zeros

Theorem 4.1

For non-negative integers jj:

  1. Odd case: Θ(j,j,j,x)L1=0\Theta(-j,-j,-j,x)_{L1} = 0 (when jj is odd)
  2. Even case: When jj is even, Θ(j,j,j,x)L1=(j!)22(2j+1)!(x2j+1+xj1)ζ(3j1)+k=0j(jk)xjkζ(jk)ζ(2j+k)\Theta(-j,-j,-j,x)_{L1} = -\frac{(j!)^2}{2(2j+1)!}(x^{2j+1} + x^{-j-1})\zeta(-3j-1) + \sum_{k=0}^j\binom{j}{k}x^{j-k}\zeta(-j-k)\zeta(-2j+k)

Theorem 4.2 (Singularity Structure)

The singularities of Θ(s,s,s,x)\Theta(s,s,s,x) are located precisely at:

  • s=23s = \frac{2}{3}: simple pole with residue Γ3(1/3)23πx1/3\frac{\Gamma^3(1/3)}{2\sqrt{3}\pi x^{1/3}}
  • s=12js = \frac{1}{2} - j (jN{0}j \in \mathbb{N}\cup\{0\}): simple poles

Experimental Verification

Numerical Verification

The paper verifies theoretical results through explicit calculations, for example:

  1. Special value verification:
    • Θ(0,0,0,x)L1=1+6x+x224x\Theta(0,0,0,x)_{L1} = \frac{1+6x+x^2}{24x}
    • Θ(0,0,0,1)L1=13\Theta(0,0,0,1)_{L1} = \frac{1}{3} (verifying Romik's result)
  2. Comparison of different limit methods:
    • Θ(0,0,0,x)L2=2+6x+2x224x\Theta(0,0,0,x)_{L2} = \frac{2+6x+2x^2}{24x}
    • Θ(0,0,0,1)L2=512\Theta(0,0,0,1)_{L2} = \frac{5}{12} (verifying Komori's result)

Historical Development

  1. Kronecker limit formulas: Connected to L-function theory by Siegel, with important contributions from Hecke, Herglotz, and Zagier
  2. Mordell-Tornheim functions: Analytic continuation provided by Matsumoto; recent work on higher-order cases by Matsumoto-Onodera-Sahoo
  3. Witten zeta function: Introduced by Zagier; detailed study of the SU(3)SU(3) case by Romik

Uniqueness of This Paper's Contributions

  1. Systematicity: First complete classification of Kronecker limit type formulas
  2. Technical innovation: New methodology combining Mellin transforms and partial fractions
  3. Breadth of applications: From theoretical formulas to concrete calculations, from functional equations to special values

Conclusions and Discussion

Main Conclusions

  1. Complete Kronecker limit type formula theory for the generalized Mordell-Tornheim zeta function is established
  2. New families of mixed functional equations are discovered, enriching the functional equation theory in this field
  3. Analytic properties of the special case Θ(s,s,s,x)\Theta(s,s,s,x) are systematically analyzed
  4. Existing classical results are generalized and deepened

Limitations

  1. Computational complexity: Higher-order terms in Laurent expansions remain complex to compute
  2. Generality: Some results are restricted to specific parameter ranges
  3. Non-trivial zeros: Beyond zeros at negative integers, the distribution of other zeros remains incompletely understood

Future Directions

The paper suggests several important research directions:

  1. Multivariable limits: Investigation of behavior as a function of three complex variables
  2. Functional equations: Search for functional equations similar to those of the Riemann zeta function
  3. Non-trivial zeros: Study of deeper properties of zero distribution
  4. Generalization to higher dimensions: Consideration of more general Witten zeta functions

In-Depth Evaluation

Strengths

  1. Theoretical completeness: Provides a systematic and complete theoretical framework
  2. Technical depth: Employs multiple sophisticated techniques from analytic number theory
  3. Computational precision: Provides not only qualitative results but also precise quantitative expressions
  4. Applied value: Discovered mixed functional equations provide new tools for related research

Weaknesses

  1. Complexity of exposition: Extensive case classifications make the presentation of results relatively complex
  2. Limited numerical verification: Numerical verification is relatively limited, concentrated mainly on simple cases
  3. Generalizability issues: The generalizability of certain technical methods requires further verification

Impact

  1. Theoretical contribution: Provides important progress in Mordell-Tornheim zeta function theory
  2. Methodological innovation: Technical methods have reference value for related research
  3. Application prospects: Potential applications in multiple zeta functions, modular forms, and related fields

Applicable Scenarios

This research is applicable to:

  1. Study of special functions in analytic number theory
  2. Theoretical analysis of multiple zeta functions
  3. Mathematical physics problems related to Lie algebras
  4. Theory of modular and automorphic forms

References

The paper cites 24 important references, spanning from classical Kronecker limit formulas to modern multiple zeta function theory, reflecting the depth and breadth of the research. Major works include pioneering contributions by Matsumoto, Zagier, and Romik.