[论文解读] A note on q-Volkenborn integration

T. Kim|ArXiv.org|Jun 1, 2005

Advanced Mathematical Identities参考文献 1被引用 43

一句话总结

本文通过在 p-adic 整数上使用 q-Volkenborn 积分，引入了 Volkenborn 积分的 q-模拟，推导出 q-Bernoulli 和 q-Euler 型数与多项式的全新恒等式。它建立了生成函数和函数方程，表明所得到的 K_{n,q} 数在 q → 1 时收敛于经典的 Euler 数，从而通过 p-adic 分析提供了 Euler 数的自然 q-变形。

ABSTRACT

In this paper, we construct the new $q$-analogue of the ordinary Euler numbers and polynomials by using the $q$-Volkenborn integrals.

研究动机与目标

• 在 p-adic 设置中，通过 q-Volkenborn 积分发展 Volkenborn 积分的 q-变形。
• 通过这些积分定义并研究 q-Bernoulli 和 q-Euler 型数与多项式。
• 推导出 q-数 K_{n,q} 及其广义形式的生成函数与函数方程。
• 研究当 q → 1 时 K_{n,q} 的极限行为，表明其收敛于经典 Euler 数。
• 探讨广义 q-数与 Dirichlet 特征关联的 Kummer 同余关系的可能性。

提出的方法

• 使用 q-Volkenborn 积分 ∫_{ℤ_p} f(x) dμ_q(x) = lim_{N→∞} (1/[p^N]_q) ∑_{j=0}^{p^N−1} f(j) q^j，适用于一致可微函数 f ∈ UD(ℤ_p)。
• 将 q-Bernoulli 多项式定义为 β_{n,q}(x) = ∫_{ℤ_p} [x+t]_q^n dμ_q(t)，并推导其关于 q-二项式系数的多项式展开式。
• 通过测度 dμ_{-q}(x) ∼ [2]_q / 2 ⋅ (-1)^x q^x 引入费米子 q-Volkenborn 积分，从而定义 K_{n,q} = ∫_{ℤ_p} [x]_q^n dμ_{-q}(x)。
• 利用恒等式 K_{n,q}(x) = ∑_{k=0}^n (n choose k) [x]_q^{n−k} q^{kx} K_{k,q} 推导出 K_{n,q}(x) = ∫_{ℤ_p} [x+y]_q^n dμ_{-q}(y) 的函数方程。
• 建立奇数 m 的变换公式：K_{n,q}(x) = ([m]_q^n / [m]_{-q}) ∑_{a=0}^{m−1} (-1)^a q^a K_{n,q^m}((a+x)/m)。
• 通过 Dirichlet 特征 χ 推广至 K_{n,χ,q} = ∫_{X_f} χ(x)[x]_q^n dμ_{-q}(x)，并推导出当 f 为奇数时，K_{n,χ,q} = ([f]_q^n / [f]_{-q}) ∑_{a=0}^{f−1} χ(a)(-1)^a q^a K_{n,q^f}(a/f)。

实验结果

研究问题

• RQ1 如何利用 q-Volkenborn 积分在 p-adic 设置中定义 Bernoulli 和 Euler 数的 q-模拟？
• RQ2 由费米子 q-Volkenborn 积分导出的 q-数 K_{n,q} 的函数方程与生成函数是什么？
• RQ3 当导子 f 为奇数且 χ 为本原 Dirichlet 特征时，广义 q-数 K_{n,χ,q} 的变换行为如何？
• RQ4 当 q → 1 时，K_{n,q} 的极限行为是什么？其与经典 Euler 数的关系如何？
• RQ5 是否可为广义 q-数 K_{n,χ,q} 建立 Kummer 型同余关系？

主要发现

• q-积分 ∫_{ℤ_p} [x]_q^n dμ_{-q}(x) 给出 K_{n,q} = [2]_q (1/(1−q))^n ∑_{l=0}^n (n choose l) (−1)^l / (1 + q^{l+1})，为 q-Euler 型数提供了闭式表达。
• K_{n,q} 的生成函数为 F_q(t) = ∑_{n=0}^∞ K_{n,q} t^n / n! = [2]_q ∑_{n=0}^∞ (−1)^n q^n e^{[n]_q t}，将 q-积分与指数生成函数联系起来。
• 当 q → 1 时，F_q(t) → 2 / (e^t + 1)，且 K_{n,q} → E_n，确认 K_{n,q} 是经典 Euler 数 E_n 的 q-模拟。
• 对于奇数 m，恒等式 K_{n,q}(x) = ([m]_q^n / [m]_{-q}) ∑_{a=0}^{m−1} (−1)^a q^a K_{n,q^m}((a+x)/m) 推广了 q-多项式函数方程。
• 当 f 为奇数时，广义 q-数 K_{n,χ,q} 满足 K_{n,χ,q} = ([f]_q^n / [f]_{-q}) ∑_{a=0}^{f−1} χ(a)(−1)^a q^a K_{n,q^f}(a/f)，将框架扩展至 Dirichlet 特征。
• 测度 dμ_{-q}(x) ∼ [2]_q / 2 ⋅ (−1)^x q^x 暗示了在广义 q-数序列中研究 Kummer 同余关系的自然 p-adic 框架。