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.
论文ID : 2510.10093标题 : Mordell--Tornheim zeta function: Kronecker limit type formulas and Special values作者 : Sumukha Sathyanarayana, N. Guru Sharan分类 : math.NT (Number Theory)发表时间 : 2025年10月11日 (arXiv提交)论文链接 : https://arxiv.org/abs/2510.10093 本文建立了广义Mordell-Tornheim zeta函数 Θ ( r , s , t , x ) \Theta(r,s,t,x) Θ ( r , s , t , x ) Θ ( r , s , t , x ) \Theta(r,s,t,x) Θ ( r , s , t , x ) r , s , t r,s,t r , s , t
Mordell-Tornheim zeta函数 ：经典的Mordell-Tornheim zeta函数定义为
ζ M T ( r , s , t ) : = ∑ n = 1 ∞ ∑ m = 1 ∞ 1 n r m s ( 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} ζ MT ( r , s , t ) := ∑ n = 1 ∞ ∑ m = 1 ∞ n r m s ( n + m ) t 1 广义形式 ：本文研究其广义形式
Θ ( r , s , t , x ) : = ∑ n = 1 ∞ ∑ m = 1 ∞ 1 n r m s ( n + m x ) t \Theta(r,s,t,x) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+mx)^t} Θ ( r , s , t , x ) := ∑ n = 1 ∞ ∑ m = 1 ∞ n r m s ( n + m x ) t 1 x > 0 x > 0 x > 0 Θ ( r , s , t , 1 ) = ζ M T ( r , s , t ) \Theta(r,s,t,1) = \zeta_{MT}(r,s,t) Θ ( r , s , t , 1 ) = ζ MT ( r , s , t ) 研究重要性 ：Mordell-Tornheim zeta函数与Witten zeta函数、多重zeta函数等有密切联系 在李代数理论中有重要应用，特别是与 S U ( 3 ) SU(3) S U ( 3 ) Kronecker极限公式在解析数论中具有基础性地位 现有局限性 ：该函数在奇点附近的行为很大程度上未被探索 缺乏系统的Kronecker极限型公式 对特殊值和零点的理解不完整 建立了Kronecker极限型公式 ：给出了 Θ ( r , s , t , x ) \Theta(r,s,t,x) Θ ( r , s , t , x ) t t t 导出级数表示 ：用Herglotz-Zagier型函数表示 Θ ( r , s , t , x ) \Theta(r,s,t,x) Θ ( r , s , t , x ) 获得混合函数方程 ：发现了新的无穷族模关系，称为混合函数方程完整分析特殊情况 ：系统研究了 Θ ( s , s , s , x ) \Theta(s,s,s,x) Θ ( s , s , s , x ) 推广Romik结果 ：将Romik关于Witten zeta函数的结果推广到更一般情况研究广义Mordell-Tornheim zeta函数 Θ ( r , s , t , x ) \Theta(r,s,t,x) Θ ( r , s , t , x )
在奇点附近的Laurent展开 Kronecker极限型公式的建立 特殊值的计算 函数方程的发现 利用Mellin变换和多重对数函数 Li r ( z ) = ∑ u = 1 ∞ z u u r \text{Li}_r(z) = \sum_{u=1}^{\infty} \frac{z^u}{u^r} Li r ( z ) = ∑ u = 1 ∞ u r z u
命题2.1 ：对于 r ∉ N r \notin \mathbb{N} r ∈ / N 1 Γ ( t ) ∫ 0 ∞ y t − 1 Li s ( e − x y ) ( Li r ( e − y ) − Γ ( 1 − r ) y r − 1 − ∑ k = 0 M ( − 1 ) k ζ ( r − k ) y k k ! ) d y \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 Γ ( t ) 1 ∫ 0 ∞ y t − 1 Li s ( e − x y ) ( Li r ( e − y ) − Γ ( 1 − r ) y r − 1 − ∑ k = 0 M k ! ( − 1 ) k ζ ( r − k ) y k ) d y = Θ ( r , s , t , x ) − Γ ( 1 − r ) Γ ( t + r − 1 ) x t + r − 1 Γ ( t ) ζ ( t + s + r − 1 ) − ∑ k = 0 M ( − 1 ) k ζ ( r − k ) Γ ( t + k ) k ! x t + 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) = Θ ( r , s , t , x ) − x t + r − 1 Γ ( t ) Γ ( 1 − r ) Γ ( t + r − 1 ) ζ ( t + s + r − 1 ) − ∑ k = 0 M k ! x t + k Γ ( t ) ( − 1 ) k ζ ( r − k ) Γ ( t + k ) ζ ( t + k + s )
引理3.1 ：对于 r , t ∈ N ∪ { 0 } r,t \in \mathbb{N}\cup\{0\} r , t ∈ N ∪ { 0 } r + t ≥ 1 r+t \geq 1 r + t ≥ 1 1 n r ( n + y ) t = ( − 1 ) r ∑ j = 0 t − 1 ( j + r − 1 j ) 1 y j + r ( n + y ) t − j + ∑ i = 0 r − 1 ( i + t − 1 i ) ( − 1 ) i n r − i y t + 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}} n r ( n + y ) t 1 = ( − 1 ) r ∑ j = 0 t − 1 ( j j + r − 1 ) y j + r ( n + y ) t − j 1 + ∑ i = 0 r − 1 ( i i + t − 1 ) n r − i y t + i ( − 1 ) i
通过分析Gamma函数的极点结构和zeta函数的Laurent展开，系统地处理各种奇点情况。
系统的情况分类 ：根据参数的不同取值（整数vs非整数，正数vs负数等）进行详细的情况分析精确的Laurent系数 ：不仅给出主要部分，还计算了Laurent展开的具体系数统一的处理框架 ：将不同类型的奇点纳入统一的分析框架新的函数方程 ：发现了包含 ψ \psi ψ 对于 r ∈ Z ∖ N r \in \mathbb{Z}\setminus\mathbb{N} r ∈ Z ∖ N ℓ ∈ N ∪ { 0 } \ell \in \mathbb{N}\cup\{0\} ℓ ∈ N ∪ { 0 } t = 1 − r − ℓ t = 1-r-\ell t = 1 − r − ℓ
情况I （s ∉ Z s \notin \mathbb{Z} s ∈ / Z s > r + ℓ s > r+\ell s > r + ℓ s ≠ ℓ + 1 s \neq \ell+1 s = ℓ + 1 Θ ( r , s , t , x ) = ( − 1 ) r − 1 ( r + ℓ − 1 ) ! x ℓ ( − r ) ! ζ ( s − ℓ ) ℓ ! + ∑ k = 0 r + ℓ − 1 ( r + ℓ − 1 ) ! ζ ( r − k ) ζ ( − r + s − ℓ + k + 1 ) x 1 − r − ℓ + k k ! ( r + ℓ − k − 1 ) ! + O ( ∣ t − ( 1 − r − ℓ ) ∣ ) \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)|) Θ ( r , s , t , x ) = ℓ ! ( − 1 ) r − 1 ( r + ℓ − 1 )! x ℓ ( − r )! ζ ( s − ℓ ) + ∑ k = 0 r + ℓ − 1 x 1 − r − ℓ + k k ! ( r + ℓ − k − 1 )! ( r + ℓ − 1 )! ζ ( r − k ) ζ ( − r + s − ℓ + k + 1 ) + O ( ∣ t − ( 1 − r − ℓ ) ∣ )
情况II （s = ℓ + 1 s = \ell+1 s = ℓ + 1 Θ ( r , s , t , x ) = ( − 1 ) r − 1 ( − r ) ! x ℓ ( r + ℓ − 1 ) ! ℓ ! ( t − ( 1 − r − ℓ ) ) + 常数项 + O ( ∣ t − ( 1 − r − ℓ ) ∣ ) \Theta(r,s,t,x) = \frac{(-1)^{r-1}(-r)!x^{\ell}(r+\ell-1)!}{\ell!(t-(1-r-\ell))} + \text{常数项} + O(|t-(1-r-\ell)|) Θ ( r , s , t , x ) = ℓ ! ( t − ( 1 − r − ℓ )) ( − 1 ) r − 1 ( − r )! x ℓ ( r + ℓ − 1 )! + 常数项 + O ( ∣ t − ( 1 − r − ℓ ) ∣ )
对于 r , t ∈ N ∪ { 0 } r,t \in \mathbb{N}\cup\{0\} r , t ∈ N ∪ { 0 } r + t ≥ 1 r+t \geq 1 r + t ≥ 1 Θ ( r , s , t , x ) = ∑ i = 0 r − 2 ( − 1 ) i x t + i ( i + t − 1 i ) ζ ( s + t + i ) ζ ( r − i ) \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) Θ ( r , s , t , x ) = ∑ i = 0 r − 2 x t + i ( − 1 ) i ( i i + t − 1 ) ζ ( s + t + i ) ζ ( r − i ) − ( − 1 ) r x r + t − 1 ( r + t − 2 t − 1 ) ∑ m = 1 ∞ γ + ψ ( m x + 1 ) m r + s + t − 1 - \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}} − x r + t − 1 ( − 1 ) r ( t − 1 r + t − 2 ) ∑ m = 1 ∞ m r + s + t − 1 γ + ψ ( m x + 1 ) + ( − 1 ) r ∑ j = 0 t − 2 ( j + r − 1 j ) ( − 1 ) t − j ( t − j − 1 ) ! 1 x j + r ∑ m = 1 ∞ ψ ( t − j − 1 ) ( m x + 1 ) m r + 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}} + ( − 1 ) r ∑ j = 0 t − 2 ( j j + r − 1 ) ( t − j − 1 )! ( − 1 ) t − j x j + r 1 ∑ m = 1 ∞ m r + s + j ψ ( t − j − 1 ) ( m x + 1 )
定义函数 F ( x ) F(x) F ( x ) F ( x ) = x − t F ( 1 x ) F(x) = x^{-t}F\left(\frac{1}{x}\right) F ( x ) = x − t F ( x 1 )
例如，当 r = s = 2 , t = 0 r=s=2, t=0 r = s = 2 , t = 0 − ∑ m = 1 ∞ ψ ′ ( m x + 1 ) m 2 + ∑ m = 1 ∞ ψ ′ ( m / x + 1 ) m 2 + 2 x ∑ m = 1 ∞ γ + ψ ( m x + 1 ) m 3 = ζ 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) − ∑ m = 1 ∞ m 2 ψ ′ ( m x + 1 ) + ∑ m = 1 ∞ m 2 ψ ′ ( m / x + 1 ) + x 2 ∑ m = 1 ∞ m 3 γ + ψ ( m x + 1 ) = ζ 2 ( 2 )
对于非负整数 j j j
奇数情况 ：Θ ( − j , − j , − j , x ) L 1 = 0 \Theta(-j,-j,-j,x)_{L1} = 0 Θ ( − j , − j , − j , x ) L 1 = 0 j j j 偶数情况 ：当 j j j Θ ( − j , − j , − j , x ) L 1 = − ( j ! ) 2 2 ( 2 j + 1 ) ! ( x 2 j + 1 + x − j − 1 ) ζ ( − 3 j − 1 ) + ∑ k = 0 j ( j k ) x j − k ζ ( − j − k ) ζ ( − 2 j + 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) Θ ( − j , − j , − j , x ) L 1 = − 2 ( 2 j + 1 )! ( j ! ) 2 ( x 2 j + 1 + x − j − 1 ) ζ ( − 3 j − 1 ) + ∑ k = 0 j ( k j ) x j − k ζ ( − j − k ) ζ ( − 2 j + k ) 函数 Θ ( s , s , s , x ) \Theta(s,s,s,x) Θ ( s , s , s , x )
s = 2 3 s = \frac{2}{3} s = 3 2 Γ 3 ( 1 / 3 ) 2 3 π x 1 / 3 \frac{\Gamma^3(1/3)}{2\sqrt{3}\pi x^{1/3}} 2 3 π x 1/3 Γ 3 ( 1/3 ) s = 1 2 − j s = \frac{1}{2} - j s = 2 1 − j j ∈ N ∪ { 0 } j \in \mathbb{N}\cup\{0\} j ∈ N ∪ { 0 } 论文通过具体计算验证了理论结果，例如：
特殊值验证 ：Θ ( 0 , 0 , 0 , x ) L 1 = 1 + 6 x + x 2 24 x \Theta(0,0,0,x)_{L1} = \frac{1+6x+x^2}{24x} Θ ( 0 , 0 , 0 , x ) L 1 = 24 x 1 + 6 x + x 2 Θ ( 0 , 0 , 0 , 1 ) L 1 = 1 3 \Theta(0,0,0,1)_{L1} = \frac{1}{3} Θ ( 0 , 0 , 0 , 1 ) L 1 = 3 1 不同极限方法的比较 ：Θ ( 0 , 0 , 0 , x ) L 2 = 2 + 6 x + 2 x 2 24 x \Theta(0,0,0,x)_{L2} = \frac{2+6x+2x^2}{24x} Θ ( 0 , 0 , 0 , x ) L 2 = 24 x 2 + 6 x + 2 x 2 Θ ( 0 , 0 , 0 , 1 ) L 2 = 5 12 \Theta(0,0,0,1)_{L2} = \frac{5}{12} Θ ( 0 , 0 , 0 , 1 ) L 2 = 12 5 Kronecker极限公式 ：由Siegel连接到L函数理论，Hecke、Herglotz、Zagier等做出重要贡献Mordell-Tornheim函数 ：Matsumoto给出解析延拓，近期Matsumoto-Onodera-Sahoo研究高阶情况Witten zeta函数 ：Zagier引入，Romik详细研究了 S U ( 3 ) SU(3) S U ( 3 ) 系统性 ：首次给出完整的Kronecker极限型公式分类技术创新 ：结合Mellin变换和部分分式的新方法应用广度 ：从理论公式到具体计算，从函数方程到特殊值建立了广义Mordell-Tornheim zeta函数的完整Kronecker极限型公式理论 发现了新的混合函数方程族，丰富了该领域的函数方程理论 系统分析了特殊情况 Θ ( s , s , s , x ) \Theta(s,s,s,x) Θ ( s , s , s , x ) 推广并深化了已有的经典结果 计算复杂性 ：Laurent展开的高阶项计算仍然复杂一般性 ：某些结果限制在特定参数范围内非平凡零点 ：除了负整数处的零点，其他零点的分布仍未完全理解论文提出了几个重要的研究方向：
多变量极限 ：研究作为三个复变量函数的行为函数方程 ：寻找类似Riemann zeta函数的函数方程非平凡零点 ：研究零点分布的更深层性质推广到更高维 ：考虑更一般的Witten zeta函数理论完整性 ：给出了系统完整的理论框架技术深度 ：运用了多种高深的解析数论技术计算精确性 ：不仅给出定性结果，还有精确的定量表达式应用价值 ：发现的混合函数方程为相关研究提供了新工具表述复杂性 ：大量的情况分类使得结果的表述较为复杂计算验证有限 ：数值验证相对有限，主要集中在简单情况推广性问题 ：某些技术方法的推广性需要进一步验证理论贡献 ：为Mordell-Tornheim zeta函数理论提供了重要进展方法创新 ：技术方法对相关研究有借鉴价值应用前景 ：在多重zeta函数、模形式等领域有潜在应用该研究适用于：
解析数论中的特殊函数研究 多重zeta函数的理论分析 李代数相关的数学物理问题 模形式和自守形式理论 论文引用了24篇重要文献，涵盖了从经典的Kronecker极限公式到现代的多重zeta函数理论，体现了研究的深度和广度。主要包括Matsumoto、Zagier、Romik等人的开创性工作。
