[论文解读] A note on the p-adic log-gamma functions

Taekyun Kim|ArXiv.org|Oct 26, 2007

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

一句话总结

本文利用 q-p-adic 积分建立了对数伽马函数的 p-adic q-类比，并推导出一个斯特林型级数展开，其中 q-Euler 数作为系数出现。主要贡献是定理 A，它将 p-adic q-对数伽马函数表示为 [x]_q、对数项和 q-Euler 数 E_{n+1,q} 的形式，将经典对数伽马渐近分析推广至 p-adic q-设定。

ABSTRACT

In this paper we prove that q-Euler numbers are occured in the coefficients of some stirling type seies for p-adic analytic q-log gamma function

研究动机与目标

• 使用 p-adic q-积分开发经典对数伽马函数的 p-adic q-类比。
• 为 p-adic q-对数伽马函数推导一个斯特林型渐近展开式。
• 研究 q-Euler 数在该展开式系数中的作用。
• 通过 q-整数和 q-对数函数，将经典对数伽马渐近公式推广至 p-adic q-设定。

提出的方法

• 将 p-adic q-对数伽马函数 G_{p,q}(x) 定义为 ℤ_p 上的 q-p-adic 积分，涉及 [x+z]_q 和 log[x+z]_q。
• 利用费米子 q-p-adic 测度 μ_{-q} 将积分 I_{-q}(f) 表示为包含 (-q)^x 的有限和的极限。
• 利用性质 qI_{-q}(f_1) + I_{-q}(f) = [2]_q f(0)（其中 f_1(x) = f(x+1)）推导 G_{p,q}(x) 的函数方程。
• 利用恒等式 [x+z]_q = [x]_q + q^x[z]_q 和级数 (1+x)log(1+x) = x + ∑_{n=1}^∞ (-1)^{n+1}/(n(n+1)) x^{n+1} 展开 [x+z]_q(log[x+z]_q - 1)。
• 应用 q-Euler 多项式 E_{m,q}(x) 的积分公式，并计算 E_{n,q} = E_{n,q}(0) 以提取系数。
• 通过组合级数展开与 q-积分恒等式推导定理 A，得到包含 E_{n+1,q} 和 [x]_q 项的闭式表达式。

实验结果

研究问题

• RQ1 如何将经典对数伽马函数的斯特林型展开推广至 p-adic q-设定？
• RQ2 q-Euler 数在 p-adic q-对数伽马函数展开的系数中起什么作用？
• RQ3 q-p-adic 积分和 μ_{-q} 测度如何促进 p-adic q-对数伽马函数类比的构建？
• RQ4 什么函数方程控制着 p-adic q-对数伽马函数 G_{p,q}(x)？
• RQ5 q-对数伽马函数能否表示为包含 [x]_q、log[x]_q 和 q-Euler 数的级数形式？

主要发现

• p-adic q-对数伽马函数 G_{p,q}(x) 满足函数方程 qG_{p,q}(x+1) + G_{p,q}(x) = [2]_q ([x]_q (log[x]_q - 1))。
• 定理 A 提供了显式级数展开：G_{p,q}(x) = ([x]_q - q^x / [2]_{q^2}) log[x]_q - [x]_q + ∑_{n=1}^∞ [(-q^x)^{n+1} / (n(n+1))] [E_{n+1,q} / [x]_q^n]。
• 在 G_{p,q}(x) 的斯特林型级数中，系数被明确显示为 q-Euler 数 E_{n+1,q}。
• G_{p,q}(x) 的表达式对 x ∈ ℂ_p \ ℤ_p 有效，并依赖于 |1-q|_p < p^{-1/(p-1)} 下 q-p-adic 积分的收敛性。
• 该构造将经典对数伽马渐近分析推广至 p-adic q-设定，其中 q-Euler 数 E_{n,q} 取代了展开式中的经典 Bernoulli 数。
• 本文建立了对数伽马函数的 p-adic q-类比，当 q → 1 时退化为经典情形。