Congruence properties of Lehmer-Euler numbers

基本信息

• 论文ID: 2501.01178
• 标题: Congruence properties of Lehmer-Euler numbers
• 作者: Takao Komatsu (Nagasaki University), Guo-Dong Liu (Huizhou University)
• 分类: math.NT (Number Theory), math.CO (Combinatorics)
• 发表时间: 2025年1月2日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2501.01178

摘要

本文研究了Lehmer在1935年定义的广义Euler数的同余性质。Lehmer使用三次单位根定义了这些数，作为Bernoulli数和Euler数的自然推广。论文给出了这些数的同余性质以及递推公式和显式公式，还展示了一个新的多项式序列及其性质，并获得了包含Euler数和中心阶乘数的恒等式。

研究背景与动机

问题背景

1. 历史背景：1935年，D.H. Lehmer引入了广义Euler数 $W_n$，定义为： $\sum_{n=0}^{\infty} \frac{W_n t^n}{n!} = \frac{3}{e^t + e^{\omega t} + e^{\omega^2 t}} = \left(\sum_{l=0}^{\infty} \frac{t^{3l}}{(3l)!}\right)^{-1}$ 其中 $\omega = \frac{-1+\sqrt{-3}}{2}$ 和 $\omega^2 = \frac{-1-\sqrt{-3}}{2}$ 是三次单位根。
2. 与经典Euler数的关系：这些数可以看作经典Euler数的类比，经典Euler数定义为： $\sum_{n=0}^{\infty} \frac{E_n t^n}{n!} = \frac{2}{e^t + e^{-t}} = \frac{1}{\cosh t}$
3. 研究价值：Lehmer-Euler数具有重要的组合数学和数论性质，当且仅当 $3 \nmid n$ 时 $W_n = 0$，且 $(-1)^n W_{3n} > 0$。

研究动机

1. 同余性质的重要性：类比于Stern关于Euler数模2的幂次的经典结果，研究Lehmer-Euler数的同余性质具有重要的数论意义
2. 理论完善：虽然已有一些关于Lehmer-Euler数的研究，但其同余性质尚未被系统研究
3. 方法推广：通过研究这些广义数的性质，可以为其他类似的数列提供研究方法

核心贡献

1. 建立了Lehmer-Euler数的基本同余性质：证明了 $W_{3n} \equiv (-1)^n \pmod{9}$
2. 给出了模3的幂次的精确同余关系：建立了模 $3^k$ 的周期性同余性质
3. 引入了不完全Lehmer-Euler数：定义并研究了两种不完全形式的Lehmer-Euler数
4. 推广到高阶情形：定义了 $\alpha$ 阶的广义Lehmer-Euler数
5. 建立了新的多项式序列：定义了多项式序列 $\Delta(x,k)$ 并建立了与中心阶乘数的恒等式
6. 获得了多个新的组合恒等式：涉及Euler数和中心阶乘数的恒等式

方法详解

基本性质和递推关系

定理1 给出了Lehmer-Euler数的三个基本表示：

1. 递推公式：$W_0 = 1$ 且对 $n \geq 1$： $W_{3n} = -\sum_{k=0}^{n-1} \binom{3n}{3k} W_{3k}$
2. 显式公式：对 $n \geq 1$： $W_{3n} = (3n)! \sum_{k=1}^{n} (-1)^k \sum_{\substack{i_1+\cdots+i_k=n \\ i_1,\ldots,i_k \geq 1}} \frac{1}{(3i_1)! \cdots (3i_k)!}$
3. 行列式表示：通过 $n \times n$ 行列式表达 $W_{3n}$

同余性质的证明方法

核心技术：使用Lucas定理和三次单位根的性质

定理3：对任意非负整数 $n$，有： $W_{3n} \in \mathbb{Z} \text{ 且 } W_{3n} \equiv (-1)^n \pmod{9}$

证明思路：

1. 利用递推关系证明 $W_{3n}$ 是整数
2. 使用恒等式：$\sum_{k=0}^n \binom{3n}{3k} x^{3k} = \frac{1}{3} \sum_{j=0}^2 (1+\omega^j x)^{3n}$
3. 通过归纳法建立同余关系

Lucas定理的应用

定理4 使用Lucas定理建立了模 $3^3 = 27$ 的同余性质：

对 $n \geq 0$：

• $W_{9n} \equiv (-1)^n \pmod{27}$
• $W_{9n+3} \equiv (-1)^{n-1} \pmod{27}$
• $W_{9n+6} \equiv (-1)^{n-1} \cdot 8 \pmod{27}$

不完全Lehmer-Euler数

定义

对 $m \geq 1$，定义两种不完全Lehmer-Euler数：

1. 截断型 $W_{n,\leq m}$： $\sum_{n=0}^{\infty} \frac{W_{n,\leq m} t^n}{n!} = \frac{1}{1 + \sum_{l=1}^m \frac{t^{3l}}{(3l)!}}$
2. 尾部型 $W_{n,\geq m}$： $\sum_{n=0}^{\infty} \frac{W_{n,\geq m} t^n}{n!} = \frac{1}{1 + \sum_{l=m}^{\infty} \frac{t^{3l}}{(3l)!}}$

性质

命题3 给出了不完全Lehmer-Euler数的递推公式、显式公式和行列式表示，这些公式是原始情形的自然推广。

高阶Lehmer-Euler数

定义

对正整数 $r$ 和 $\alpha$，定义 $\alpha$ 阶广义Lehmer-Euler数 $W_{r,n}^{(\alpha)}$：

$\sum_{n=0}^{\infty} \frac{W_{r,n}^{(\alpha)} t^n}{n!} = \left(\frac{r}{\sum_{j=0}^{r-1} e^{\zeta^j t}}\right)^\alpha = \left(\sum_{l=0}^{\infty} \frac{t^{rl}}{(rl)!}\right)^{-\alpha}$

其中 $\zeta = \zeta_r$ 是原始 $r$ 次单位根。

显式公式

通过二项式定理和生成函数技术，得到了高阶情形的显式表达式，当 $r=2$ 时回到经典的高阶Euler数。

新多项式序列

定义

定义多项式序列 $\Delta(x,k)$： $\Delta(x,k+1) = (x+1)(2x+1)\Delta(x+1,k) - x^2\Delta(x,k)$ 初始条件：$\Delta(x,0) = 1$

与中心阶乘数的恒等式

定理5：对非负整数 $n$ 和 $k$： $E_{2n+2k} = \sum_{j=0}^n \frac{(-1)^{j-k}(2j)!\Delta(j,k)}{2^j} T(2n,2j)$

定理6：对非负整数 $n$： $\sum_{j=0}^n (-4)^{n-j} t(2n+1,2j+1)\Delta(x,j) = (x+1)(x+2)\cdots(x+2n)$

其中 $T(n,k)$ 和 $t(n,k)$ 分别是第二类和第一类中心阶乘数。

实验结果

周期性同余性质

命题2 给出了Lehmer-Euler数模3的各次幂的周期性：

• $\{W_{3n} \bmod 3^2\}$：周期为2，模式为 $1,8,1$
• $\{W_{3n} \bmod 3^3\}$：周期为6
• $\{W_{3n} \bmod 3^4\}$：周期为18
• $\{W_{3n} \bmod 3^5\}$：周期为54

具体数值验证

论文给出了前几个Lehmer-Euler数的具体值： $1, 1, 19, 1513, 315523, 136085041, 105261234643, \ldots$

并验证了这些值确实满足建立的同余关系。

相关工作

历史发展

1. Lehmer (1935)：首次定义了广义Euler数
2. Stern (1875), Frobenius (1910)：建立了经典Euler数的同余性质
3. Ernvall (1979), Wagstaff (2000), Sun (2005)：进一步发展了Euler数的同余理论

本文贡献的独特性

1. 首次系统研究：Lehmer-Euler数的同余性质此前未被系统研究
2. 方法创新：巧妙结合Lucas定理和三次单位根的性质
3. 结果推广：从二次情形推广到三次情形，方法具有一般性

结论与讨论

主要结论

1. 建立了Lehmer-Euler数完整的同余理论框架
2. 证明了这些数具有明确的周期性同余性质
3. 推广到不完全和高阶情形
4. 建立了与中心阶乘数的深刻联系

局限性

1. 周期性猜想：对于 $k \geq 6$，回文性质不再成立，完整的周期性规律有待进一步研究
2. 一般性猜想：猜想1关于 $W_{3n} \equiv W_{3m} \pmod{3^{k+1}}$ 当 $3n \equiv 3m \pmod{2 \cdot 3^k}$ 尚未完全证明
3. 计算复杂性：对于大的模数，计算变得复杂

未来方向

1. 完善理论：证明或反驳提出的猜想
2. 推广到更一般情形：研究 $p$ 次单位根对应的广义Euler数
3. 应用拓展：探索在其他数论问题中的应用

深度评价

优点

1. 理论价值：填补了Lehmer-Euler数同余理论的空白，具有重要的数论意义
2. 方法创新：巧妙运用Lucas定理和单位根性质，方法具有一般性和可推广性
3. 结果完整：从基本性质到高阶推广，形成了完整的理论体系
4. 计算验证：给出了具体的数值例子，增强了结果的可信度

不足

1. 部分结果不完整：某些猜想尚未得到完全证明
2. 应用有限：主要是理论结果，实际应用价值有待挖掘
3. 表述复杂：部分证明过程较为冗长，可读性有待提高

影响力

1. 学术价值：为数论和组合数学提供了新的研究对象和方法
2. 理论贡献：丰富了特殊数列的同余理论
3. 方法推广：为类似问题的研究提供了范式

适用场景

1. 数论研究：特殊数列的同余性质研究
2. 组合数学：生成函数和特殊多项式的研究
3. 计算数学：高精度数值计算的验证

参考文献

论文引用了27篇相关文献，主要包括：

• Lehmer的原始工作 13
• Euler数同余理论的经典文献 4,5,24,25,27
• 中心阶乘数的相关研究 18,19,22
• 作者前期相关工作 1,10,11,12

总体评价：这是一篇高质量的数论论文，系统建立了Lehmer-Euler数的同余理论，方法创新，结果丰富，对相关领域的发展具有重要推动作用。尽管存在一些未解决的问题，但为后续研究奠定了坚实基础。