[论文解读] Some Identities for the Bernoulli, the Euler and the Genocchi Numbers and Polynomials

Taekyun Kim|ArXiv.org|Dec 25, 2009

advanced mathematical theories参考文献 7被引用 100

一句话总结

本文通过 $ olimits\mathbb{Z}_p$ 上的 $p$-进费米子不变积分，推导出伯努利数、欧拉数和格诺奇数的新恒等式。通过分析在 $p$-进测度下 $e^{xt}$ 的积分，并利用偶数 $d$ 的对称性，作者建立了这些特殊数之间的显式关系，特别是通过有理数点上的求和与狄利克雷特征，将欧拉多项式与伯努利多项式联系起来。

ABSTRACT

The purpose of this paper is to give some new identities for the Bernoulli, the Euler and the Genocchi numbers and polynomials.

研究动机与目标

• 通过 $p$-进不变积分推导伯努利数、欧拉数和格诺奇数的新恒等式。
• 通过偶数 $d$ 的 $p$-进积分，探索欧拉多项式与伯努利多项式之间的联系。
• 将这些恒等式推广至具有偶数导子的狄利克雷特征。
• 在 $p$-进积分下，为广义格诺奇多项式与欧拉多项式建立对称关系。
• 给出 $E_n(x)$、$G_n(x)$ 及其广义形式关于在有理点处取值的伯努利多项式的显式公式。

提出的方法

• 利用 $p$-进费米子不变积分 $I(f) = \int_{\mathbb{Z}_p} f(x)\,d\mu(x)$，将其视为带交替符号的黎曼型和的极限。
• 应用由迭代积分性质导出的功能方程 $I(f_{n}) - I(f) = 2\sum_{l=0}^{n-1}(-1)^{l-1}f(l)$，适用于偶数 $n$。
• 通过生成函数计算积分 $\int_{\mathbb{Z}_p} e^{xt} d\mu(x)$，并将其与欧拉生成函数 $\frac{2}{e^t + 1}$ 关联。
• 通过将 $\frac{2}{e^t + 1}$ 重写为 $2 \sum_{l=0}^{d-1} (-1)^{l-1} \frac{dt}{e^{dt}-1} \frac{e^{lt}}{dt}$，将同一积分表示为伯努利多项式的形式，从而关联到 $B_n(x)$。
• 通过狄利克雷特征 $\chi$（偶数导子 $d$）引入广义欧拉多项式与格诺奇多项式，使用 $\int_X \chi(y) e^{(x+y)t} d\mu(y)$。
• 推导广义格诺奇多项式的生成函数，并通过 $G_{n,\chi}(x)/2 = d^{n-1} \sum_{l=0}^{d-1} (-1)^{l-1} \chi(l) B_n(\frac{l+x}{d})$ 将其与伯努利多项式关联。

实验结果

研究问题

• RQ1 如何利用 $p$-进费米子积分推导伯努利数、欧拉数和格诺奇数的新恒等式？
• RQ2 在偶数 $d$ 的 $p$-进积分下，欧拉多项式与伯努利多项式之间的确切关系是什么？
• RQ3 具有偶数导子的狄利克雷特征如何在 $p$-进框架下改变欧拉多项式与格诺奇多项式的结构？
• RQ4 能否通过多个 $p$-进积分为广义格诺奇多项式建立对称恒等式？
• RQ5 关于伯努利多项式在有理点处的取值，$E_n(x)$、$G_n(x)$ 及其广义形式的显式公式是什么？

主要发现

• 对于偶数 $d$，恒等式 $\frac{E_n}{2} = \frac{d^n}{n+1} \sum_{l=0}^{d-1} (-1)^{l-1} B_{n+1}(\frac{l}{d})$ 成立，将欧拉数与伯努利数联系起来。
• 广义欧拉多项式满足 $E_{n,\chi}(x) = \int_X \chi(y)(x+y)^n d\mu(y)$，扩展了经典积分表示。
• 广义格诺奇多项式由 $\frac{G_{n,\chi}(x)}{2} = d^{n-1} \sum_{l=0}^{d-1} (-1)^{l-1} \chi(l) B_n(\frac{l+x}{d})$ 给出，提供了与伯努利多项式之间的直接联系。
• 对于偶数 $d$，恒等式 $\frac{1}{2}(E_n(d) - E_n) = \sum_{l=0}^{d-1} (-1)^{l-1} l^n$ 将欧拉数与幂和联系起来。
• 对广义多项式，恒等式 $\sum_{i=0}^{l} \binom{l}{i} \frac{d^i}{i+1} \sum_{l=0}^{d-1} (-1)^{l-1} \chi(l) B_{i+1}(\frac{l+w_2x}{d}) T_{l-i,\chi}(dw_1-1) w_1^i w_2^{l-i} = \cdots$ 成立。
• 函数 $K(\chi; w_1, w_2|x)$ 关于 $w_1$ 和 $w_2$ 对称，证实了广义框架下的结构一致性。