[论文解读] A note on p-adic q-Euler measure

Hacer Özden, Yılmaz Şimşek+2 more|ArXiv.org|Feb 28, 2007

Advanced Mathematical Identities参考文献 5被引用 38

一句话总结

本文通过使用修正的 q-Euler 数与多项式，在 ℤₚ 上构造了 p-进 q-Euler 测度 μₖ*，利用 Witt 型公式建立了 p-进 q-积分与广义 q-Euler 数之间的联系。关键贡献在于证明了测度 μₖ* 满足 ∫ q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*，从而在 cyclotomic 域 ℚₚ(χ) 中实现了 Witt 公式的 q-类比。

ABSTRACT

In this paper we will investigate properties of modified q-Euler numbers and polynomials. The main purpose of this paper is to construct p-adic q-Euler measures.

研究动机与目标

• 通过使用修正的 q-Euler 数与多项式，在 ℤₚ 上定义并构造 p-进 q-Euler 测度 μₖ*。
• 通过测度论框架，建立 p-进 q-积分与广义 q-Euler 数之间的联系。
• 在 cyclotomic 域 ℚₚ(χ) 中，为广义 q-Euler 数推导出 Witt 公式的 q-类比。
• 利用 p-进 q-积分与 ℤₚ 上的极限过程，推广先前关于 q-Euler 数与多项式的结论。
• 将 p-进 q-积分理论扩展至包含 Dirichlet 特征与高阶 q-Euler 结构的情形。

提出的方法

• 以 p-进 q-积分 I₋ₚ(f) = ∫_{ℤₚ} f(x) dμ₋ₚ(x) 作为定义测度 μₖ* 的基础。
• 定义测度 μₖ*(a + dp^Nℤₚ) = (-1)^a [dp^N]_q^k [2]_q / [2]_{q^{dp^N}} ⋅ ℰ_{k,q^{dp^N}}(a/dp^N)，其中 k ≥ 1。
• 应用极限过程当 N → ∞，证明 lim_{N→∞} μₖ*(a + dp^Nℤₚ) = [2]_q / 2 ⋅ (-1)^a [a]_q^k。
• 建立恒等式 ∫_{ℤₚ} q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*(x)，将测度与 q-积分联系起来。
• 通过极限 ∫_{X*} (-1)^x χ(x) ⟨x⟩_q^n dμ₋ₚ(x) = ℰ_{n,χ,q} - [2]_q/[2]_{q^p} χ(p)[p]_q^n ℰ_{n,χ,q^p} 推导出 Witt 公式的 q-类比。
• 使用 Teichmüller 特征 w(x) 与 q-数 [x]_q 定义 ⟨x⟩_q = [x]_q / w(x)，作为最终公式的一部分。

实验结果

研究问题

• RQ1 如何通过修正的 q-Euler 数与 p-进 q-积分，在 ℤₚ 上构造 p-进 q-Euler 测度 μₖ*？
• RQ2 p-进 q-积分 ∫ q⁻ˣ[x]_qᵏ dμ₋ₚ(x) 与测度 μₖ* 之间存在何种关系？
• RQ3 能否在 cyclotomic 域 ℚₚ(χ) 中，为广义 q-Euler 数 ℰ_{n,χ,q} 推导出 Witt 公式的 q-类比？
• RQ4 当 N → ∞ 时，测度 μₖ* 在集合 a + dp^Nℤₚ 上的行为如何？
• RQ5 在 p-进积分与特征和的框架下，ℰ_{n,χ,q} 与 ℰ_{n,χ,q^p} 之间的函数关系为何？

主要发现

• p-进 q-Euler 测度 μₖ* 通过 μₖ*(a + dp^Nℤₚ) = (-1)^a [dp^N]_q^k [2]_q / [2]_{q^{dp^N}} ⋅ ℰ_{k,q^{dp^N}}(a/dp^N) 定义。
• 测度的极限满足 lim_{N→∞} μₖ*(a + dp^Nℤₚ) = [2]_q / 2 ⋅ (-1)^a [a]_q^k。
• 建立了主要恒等式：∫_{ℤₚ} q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*(x)，将测度与 q-积分联系起来。
• 推导出 Witt 公式的 q-类比：ℰ_{n,χ,q} = ∫_{X*} (-1)^x χ(x) ⟨x⟩_q^n dμ₋ₚ(x) + [2]_q/[2]_{q^p} χ(p)[p]_q^n ℰ_{n,χ,q^p}。
• 广义 q-Euler 数 ℰ_{n,χ,q} 表示为极限形式：ℰ_{n,χ,q} = lim_{ρ→∞} [2]_q / 2 ∑_{1≤x≤dp^ρ}^* (-1)^x χ(x)[x]_q^n。
• 测度 μₖ* 为 p-进 q-积分 ∫ q⁻ˣ[x]_qᵏ dμ₋ₚ(x) 提供了测度论解释，将经典 Euler 数理论推广至 q-类比设定。