[论文解读] Note on on Dedekind type DC sums

Taekyun Kim|ArXiv.org|Dec 13, 2008

Advanced Mathematical Identities参考文献 22被引用 34

一句话总结

本文引入了基于Daehee-Changhee函数的Dedekind型DC和，定义为 $ T_p(h,k) = 2\textstyle\bigsum_{u=1}^{k-1} (-1)^{u-1} \frac{u}{k} \bar{E}_p\big(\frac{hu}{k}\big) $，并为奇数 $ p $ 建立了互反律，表明 $ k^p T_p(h,k) + h^p T_p(k,h) $ 等于一个涉及Euler多项式与Bernoulli型项的复杂和，将经典Dedekind和理论推广至基于Euler函数的和。

ABSTRACT

In this paper we consider Dedekind type DC sums and prove receprocity laws related to DC sums.

研究动机与目标

• 定义并研究一类基于Euler函数的新Dedekind型和，称为DC（Daehee-Changhee）和。
• 为奇数 $ p $ 且 $ h, k $ 为互素正整数时，推导出这些DC和的互反律。
• 通过引入Euler多项式及其Fourier展开，将经典Dedekind和理论扩展至基于Euler函数的和。
• 建立DC和、Euler多项式与广义Bernoulli型常数之间的联系。
• 提供一个包含对具有奇偶性条件的整数部分函数求和的闭式互反公式。

提出的方法

• 定义DC和 $ T_p(h,k) = 2\textstyle\bigsum_{u=1}^{k-1} (-1)^{u-1} \frac{u}{k} \bar{E}_p\big(\frac{hu}{k}\big) $，其中 $ \bar{E}_p(x) $ 为Euler多项式的Fourier展开。
• 利用Euler多项式的生成函数与Fourier展开，将 $ T_p(1,m) $ 表示为广义Euler数与幂和的组合。
• 应用恒等式 $ \frac{d}{dx}E_n(x) = nE_{n-1}(x) $ 及涉及 $ E_n(x) $ 的积分公式，推导出关于Euler数和的辅助引理。
• 采用模 $ hk $ 的剩余类分解，将模 $ hk $ 上的和拆分为集合 $ A $ 和 $ B $，并利用Euler函数的对称性与周期性。
• 通过将模 $ hk $ 上的和与包含 $ \big[\frac{hu}{k}\big] $ 的校正项结合，推导出互反公式，从而得到对称表达式。
• 利用 $ (E + x)^p $ 的二项式展开及Euler数的性质，将最终表达式简化为受奇偶性约束的指标上的和。

实验结果

研究问题

• RQ1 如何利用Euler函数而非Bernoulli函数来推广Dedekind型和？
• RQ2 对于奇数 $ p $，$ T_p(h,k) $ 的行为受何种互反律支配，其与经典互反律有何关联？
• RQ3 奇偶性条件 $ u - \big[\frac{hu}{k}\big] \not\to 0 \bmod 2 $ 在最终互反公式中起什么作用？
• RQ4 Euler多项式的Fourier展开在互反律推导中起到何种作用？
• RQ5 能否将和 $ T_p(h,k) $ 表示为广义Euler数与二项式系数的组合？

主要发现

• 本文推导出 $ T_p(h,k) $ 的互反律：$ k^p T_p(h,k) + h^p T_p(k,h) = 2\textstyle\bigsum_{\text{奇偶性条件}} \big(kh(E + \frac{u}{k}) + k(E + h - [\frac{hu}{k}])\big)^p + (hE + kE)^p + (p+2)E_p $，该公式对奇数 $ p $ 及互素 $ h,k $ 成立。
• 当 $ m \to 1 \bmod 2 $ 时，和 $ T_p(1,m) $ 可表示为 $ \textstyle\bigsum_{v=0}^{p} \binom{p}{v} E_v m^{-(p+1-v)} \big(E_{p-v+1}(m) - E_{p-v+1}\big) $，从而与广义Euler数建立联系。
• 证明了恒等式 $ \textstyle\bigsum_{s=0}^{p} \binom{p}{s} \frac{E_s}{p-s+2} = 0 $ 对奇数 $ p $ 成立，确认了其零矩条件。
• 恒等式 $ \textstyle\bigsum_{v=0}^{p} \binom{p}{v} \binom{p-v+1}{s} E_v = -\binom{p}{s} E_{p-s} $ 对偶数 $ s < p $ 成立，建立了Euler数导数与整数点取值之间的联系。
• 互反公式中包含校正项 $ (p+2)E_p $，用于补偿奇数指标处非零的Euler数贡献。
• 最终的互反律包含对 $ u \bmod k $ 与 $ v \bmod h $ 的双重求和，其约束条件为 $ u - \big[\frac{hu}{k}\big] $ 的奇偶性，反映了剩余结构中更精细的对称性。