In this paper, the second Kronecker ``limit" formula for a real quadratic field is established for the first time. More precisely, we obtain the second Kronecker limit formula of Zagier's zeta function. Using the reduction theory of Zagier, which connects Zagier's zeta function to the zeta function of real quadratic fields, we express the values of the zeta function of narrow ideal classes in real quadratic fields at natural arguments in terms of an analytic function which we call the \emph{higher Herglotz-Zagier-Novikov function} and denote it by $\mathscr{F}_k(x; α, β)$. This function plays a central role in our study. The function $\mathscr{F}_k(x; α, β)$ possesses elegant properties, for example, we prove that it satisfies the two, three and six-term functional equations. As a result of our Kronecker limit formula and functional equations, we provide another expression for the combinations of zeta values. Finally, we interpret our Kronecker ``limit" formula in terms of cohomological relations and establish a connection between $\mathscr{F}_k(x; α, β)$ and a generalized Dedekind-eta function.
论文ID : 2510.10554标题 : Kronecker second limit formula for real quadratic fields作者 : Youngju Choie, Rahul Kumar分类 : math.NT (数论), math.CA (复分析)发表时间 : 2025年10月14日 (arXiv预印本)论文链接 : https://arxiv.org/abs/2510.10554 本文首次建立了实二次域的第二Kronecker"极限"公式。更精确地说，作者获得了Zagier zeta函数的第二Kronecker极限公式。利用Zagier的约化理论（该理论将Zagier zeta函数与实二次域的zeta函数联系起来），作者用一个解析函数表达了实二次域中窄理想类的zeta函数在自然数参数处的值，该函数被称为高阶Herglotz-Zagier-Novikov函数，记为F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β )
Kronecker极限公式的历史 : 经典的第一和第二Kronecker极限公式在数论和物理学中有广泛应用，涉及某些Dirichlet级数在s = 1 s=1 s = 1 已有成果的局限 :Kronecker最初为虚二次域导出了Dedekind zeta函数的公式 Zagier在1975年发展了实二次域的第一Kronecker极限公式，引入了Herglotz函数 但实二次域的第二Kronecker极限公式一直缺失 研究空白 : 尽管第一Kronecker极限公式及其应用发展广泛，第二Kronecker极限公式的文献相对有限，特别是实二次域的情况。本文旨在填补这一重要理论空白，首次为实二次域建立第二Kronecker极限公式，这是虚二次域情况的实域对应版本。
首次建立实二次域的第二Kronecker极限公式 : 通过Zagier zeta函数获得了完整的第二Kronecker极限公式引入高阶Herglotz-Zagier-Novikov函数 : 定义了新的解析函数F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 证明了丰富的函数性质 : 建立了F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 提供上同调解释 : 从上同调关系角度解释了极限公式，构造了相关的1-上循环建立与Dedekind-eta函数的联系 : 通过Binet型积分表示连接了F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 给出有理zeta值的表达式 : 提供了zeta值组合的新表达式高阶Herglotz-Zagier-Novikov函数 :
F k ( x ; α , β ) : = ∫ 0 ∞ Li k − 1 ( e − x t e 2 π i α ) 1 − e − t e 2 π i β d t , Re ( x ) > 0 F_k(x;α,β) := \int_0^∞ \frac{\text{Li}_{k-1}(e^{-xt}e^{2πiα})}{1-e^{-t}e^{2πiβ}} dt, \quad \text{Re}(x) > 0 F k ( x ; α , β ) := ∫ 0 ∞ 1 − e − t e 2 πi β Li k − 1 ( e − x t e 2 πi α ) d t , Re ( x ) > 0
其中Li s ( z ) = ∑ n ≥ 1 z n n s \text{Li}_s(z) = \sum_{n≥1} \frac{z^n}{n^s} Li s ( z ) = ∑ n ≥ 1 n s z n
Zagier zeta函数 :
Z Q ( s ; ( α , β ) ) : = ∑ p ≥ 1 , q ≥ 0 e 2 π i ( α p + β q ) Q ( p , q ) s Z_Q(s;(α,β)) := \sum_{p≥1,q≥0} \frac{e^{2πi(αp+βq)}}{Q(p,q)^s} Z Q ( s ; ( α , β )) := ∑ p ≥ 1 , q ≥ 0 Q ( p , q ) s e 2 πi ( α p + βq )
其中Q ( x , y ) Q(x,y) Q ( x , y )
定理2.2 (第二Kronecker极限公式) :
对于α , β ∈ R ∖ Z α,β ∈ \mathbb{R}\setminus\mathbb{Z} α , β ∈ R ∖ Z
Z Q ( s ; ( α , β ) ) Z_Q(s;(α,β)) Z Q ( s ; ( α , β )) Re ( s ) > 1 / 2 \text{Re}(s) > 1/2 Re ( s ) > 1/2 第二Kronecker极限公式为:
Z Q ( 1 ; ( α , β ) ) = F 2 ( w ′ ; α , β ) − F 2 ( w ; α , β ) Z_Q(1;(α,β)) = F_2(w';α,β) - F_2(w;α,β) Z Q ( 1 ; ( α , β )) = F 2 ( w ′ ; α , β ) − F 2 ( w ; α , β ) 定理2.3 (高阶情况) :
对于正整数k > 1 k > 1 k > 1 Z Q ( k ; ( α , β ) ) = − ( D k − 1 F 2 k ) ( w , w ′ ; α , β ) Z_Q(k;(α,β)) = -(D_{k-1}F_{2k})(w,w';α,β) Z Q ( k ; ( α , β )) = − ( D k − 1 F 2 k ) ( w , w ′ ; α , β )
其中D n D_n D n ( D n f ) ( x , y ; α , β ) = ∑ i = 0 n ( 2 n − i n ) f ( i ) ( x ; α , β ) − ( − 1 ) i f ( i ) ( y ; α , β ) i ! ( y − x ) n − i (\mathcal{D}_nf)(x,y;α,β) = \sum_{i=0}^n \binom{2n-i}{n} \frac{f^{(i)}(x;α,β) - (-1)^if^{(i)}(y;α,β)}{i!(y-x)^{n-i}} ( D n f ) ( x , y ; α , β ) = ∑ i = 0 n ( n 2 n − i ) i ! ( y − x ) n − i f ( i ) ( x ; α , β ) − ( − 1 ) i f ( i ) ( y ; α , β )
二项函数方程 :
F k ( x ; α , β ) + ( − x ) k − 2 F k ( 1 x ; β , α ) = 1 x Li k ( e 2 π i α ) − ( − x ) k − 1 Li k ( e 2 π i β ) + ∑ r = 1 k − 1 ( − x ) r − 1 Li k − r ( e 2 π i α ) Li r ( e 2 π i β ) F_k(x;α,β) + (-x)^{k-2}F_k\left(\frac{1}{x};β,α\right) = \frac{1}{x}\text{Li}_k(e^{2πiα}) - (-x)^{k-1}\text{Li}_k(e^{2πiβ}) + \sum_{r=1}^{k-1}(-x)^{r-1}\text{Li}_{k-r}(e^{2πiα})\text{Li}_r(e^{2πiβ}) F k ( x ; α , β ) + ( − x ) k − 2 F k ( x 1 ; β , α ) = x 1 Li k ( e 2 πi α ) − ( − x ) k − 1 Li k ( e 2 πi β ) + ∑ r = 1 k − 1 ( − x ) r − 1 Li k − r ( e 2 πi α ) Li r ( e 2 πi β )
三项函数方程 :
更复杂的三项关系涉及F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) F k ( x + 1 ; α + β , β ) F_k(x+1;α+β,β) F k ( x + 1 ; α + β , β ) F k ( x + 1 x ; α + β , α ) F_k(\frac{x+1}{x};α+β,α) F k ( x x + 1 ; α + β , α )
六项函数方程 :
由三项关系和模变换F k ∣ 2 k ( − I ) ( x , α , β ) = F k ( x , − α , − β ) F_k|_{2k}(-I)(x,α,β) = F_k(x,-α,-β) F k ∣ 2 k ( − I ) ( x , α , β ) = F k ( x , − α , − β )
作者以K = Q ( 3 ) K = \mathbb{Q}(\sqrt{3}) K = Q ( 3 )
该域有两个窄类B 0 B_0 B 0 B 1 B_1 B 1 对应的约化二次无理数集合为:
Red ( B 0 ) = { 2 + 3 } \text{Red}(B_0) = \{2+\sqrt{3}\} Red ( B 0 ) = { 2 + 3 } Red ( B 1 ) = { 1 + 1 3 , 3 + 3 2 } \text{Red}(B_1) = \{1+\frac{1}{\sqrt{3}}, \frac{3+\sqrt{3}}{2}\} Red ( B 1 ) = { 1 + 3 1 , 2 3 + 3 } 使用Mathematica计算，验证了高阶Kronecker极限公式(2.18)两边的数值一致性，精确到小数点后15位以上。
数值计算表明理论公式的正确性。例如，对于Red ( B 0 ) = { 2 + 3 } \text{Red}(B_0) = \{2+\sqrt{3}\} Red ( B 0 ) = { 2 + 3 } ( α , β ) = ( 0.5 , 0.5 ) (α,β) = (0.5, 0.5) ( α , β ) = ( 0.5 , 0.5 )
左边: − 11.127412237247254... + 6.11342... × 10 − 20 i -11.127412237247254... + 6.11342... × 10^{-20}i − 11.127412237247254... + 6.11342... × 1 0 − 20 i 右边: − 11.12741223912468... + 1.30095... × 10 − 15 i -11.12741223912468... + 1.30095... × 10^{-15}i − 11.12741223912468... + 1.30095... × 1 0 − 15 i 误差在数值精度范围内，验证了理论的正确性。
命题3.2 : 建立了F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) x → ∞ x→∞ x → ∞ x → 0 x→0 x → 0
当x → ∞ x→∞ x → ∞ F k ( x ; α , β ) ∼ ∑ n = 0 ∞ a n ( β ) x n + 1 Li k + n ( e 2 π i α ) F_k(x;α,β) \sim \sum_{n=0}^∞ \frac{a_n(β)}{x^{n+1}}\text{Li}_{k+n}(e^{2πiα}) F k ( x ; α , β ) ∼ ∑ n = 0 ∞ x n + 1 a n ( β ) Li k + n ( e 2 πi α )
当x → 0 x→0 x → 0
Kronecker (1929) : 最初的虚二次域Dedekind zeta函数极限公式Hecke (1917), Herglotz (1923) : 实二次域的早期工作Zagier (1975) : 实二次域第一Kronecker极限公式，引入Herglotz函数Vlasenko-Zagier (2013) : 高阶Kronecker"极限"公式Novikov (1981) : 相关函数的研究本文首次完成了实二次域第二Kronecker极限公式的建立，填补了理论空白，并提供了丰富的函数性质和上同调解释。
成功建立了实二次域的第二Kronecker极限公式 引入的F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 提供了zeta值的新表达式和上同调解释 建立了与广义Dedekind-eta函数的深层联系 某些结果要求α , β ∈ R ∖ Z α,β ∈ \mathbb{R}\setminus\mathbb{Z} α , β ∈ R ∖ Z 有理zeta值的结果主要限于α = β α = β α = β 猜想6.2尚未完全解决 扩展到更一般的代数数域 探索与模形式理论的更深联系 研究F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 完善有理zeta值的一般理论 理论完整性 : 首次建立了实二次域第二Kronecker极限公式，填补重要理论空白技术创新 : 引入的F k ( x ; α , β ) F_k(x;α,β) F k ( x ; α , β ) 方法严谨 : 证明技术包含复分析、函数方程理论、上同调等多个方面结果丰富 : 不仅给出主要公式，还建立了函数的多种性质和应用适用范围 : 某些结果对参数有限制条件计算复杂性 : 实际计算中涉及的函数和积分较为复杂开放问题 : 仍有猜想未解决，理论有待进一步完善学术价值 : 在解析数论领域具有重要理论意义方法贡献 : 提供了研究类似问题的新技术和视角应用潜力 : 与Stark猜想、模形式理论等有潜在联系解析数论中的L函数特殊值研究 二次域的算术性质研究 模形式和自守形式理论 代数数论中的上同调方法 论文包含37篇参考文献，涵盖了Kronecker极限公式、zeta函数、模形式理论等相关领域的经典和现代文献，为研究提供了坚实的理论基础。
