[论文解读] Note on the sums of powers of consecutive $q$-integers

Yılmaz Şimşek, D. Kim+2 more|arXiv (Cornell University)|Mar 11, 2005

Advanced Mathematical Identities参考文献 15被引用 3

一句话总结

本文为正偶数构造了 Barnes 伯努利数与多项式的 q-类比，以及连续 q-整数幂和的 q-类比。通过生成函数与梅林变换，解决了 Schlosser 开放问题的一部分，推导出 S_{m,n}(q) 的一般公式，建立了 q-伯努利多项式与 q-幂和之间的联系。

ABSTRACT

In this paper we construct the $q$-analogue of Barnes's Bernoulli numbers and polynomials of degree 2, for positive even integers, which is an answer to a part of Schlosser's question. For positive odd integers, Schlosser's question is still open. Finally, we will treat the $q$-analogue of the sums of powers of consecutive integers.

研究动机与目标

• 为正偶数构造 Barnes 伯努利数与多项式（度数为 2）的 q-类比。
• 解决 Schlosser 关于连续整数幂和的 q-类比的开放问题的一部分。
• 推导出 S_{m,n}(q)，即连续 q-整数幂和的 q-类比的一般公式。
• 通过 q-生成函数的梅林变换，定义并研究 q-zeta 函数。

提出的方法

• 通过 q-整数的求和与指数生成项，定义 q-伯努利数 β_{n,k,q}^* 的生成函数 F_{k,q}^*(t)。
• 利用二项式系数、类似 q-Pochhammer 的项以及 q 的有理函数，推导出 β_{n,k,q}^* 的闭式表达。
• 引入第二个生成函数 F_{k,q}^*(t;k)，用于 q-伯努利多项式 β_{n,k,q}^*(k)，其具有平移索引与 q-指数项。
• 建立一般公式 S_{n,k-1}(q) = (β_{n,k,q}^*(k) - β_{n,k,q}^*) / n，将 q-和与 q-伯努利多项式联系起来。
• 对生成函数应用梅林变换，定义 Re(s) > 2 时的 q-zeta 函数 ζ_{k,q}^*(s) 与 ζ_{k,q}^*(s;k)。
• 利用柯西留数定理，将 q-zeta 函数的特殊值与 q-伯努利数关联：ζ_{k,q}^*(1-n) = -β_{n,k,q}^*/n。

实验结果

研究问题

• RQ1 能否为正偶数构造 Barnes 伯努利数与多项式（度数为 2）的 q-类比？
• RQ2 是否存在连续 q-整数幂和 S_{m,n}(q) 的一般 q-类比公式？
• RQ3 如何通过 q-生成函数的梅林变换定义 q-zeta 函数？
• RQ4 q-zeta 函数的特殊值与 q-伯努利数之间存在何种关系？
• RQ5 当 q → 1 时，q-伯努利数与多项式如何退化为经典伯努利数？

主要发现

• q-伯努利数 β_{n,k,q}^* 由包含二项式系数与 q 的有理函数的闭式公式明确给出，适用于偶数 n。
• q-伯努利多项式 β_{n,k,q}^*(k) 以闭式推导，涉及对 m 的加权和，包含 q-指数项，分母形式为 (1 - q^{m - (n-1)/2 - 2}) 与 (1 - q^{m - (n-1)/2})。
• 建立了如下一般公式：S_{n,k-1}(q) = (β_{n,k,q}^*(k) - β_{n,k,q}^*) / n，为经典幂和提供了 q-类比。
• q-zeta 函数 ζ_{k,q}^*(s) 通过 F_{k,q}^*(-t) 的梅林变换定义，且当 n 为正整数时，ζ_{k,q}^*(1-n) = -β_{n,k,q}^*/n。
• 极限 lim_{q→1} F_{k,q}^*(t) = -F_2(t; -1; -1, -1)，表明与经典 Barnes 双 zeta 函数一致。
• 所构造的 q-伯努利数与多项式在 q → 1 极限下退化为经典伯努利数，验证了 q-类比的一致性。