[论文解读] Some remarks on Ramanujan sums and cyclotomic polynomials

László Tóth|arXiv (Cornell University)|Feb 17, 2010

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

一句话总结

本文研究多项式 $ R_n(x) = \sum_{k=0}^{n-1} c_n(k)x^k $ 和 $ T_n(x) = \sum_{k=0}^{n-1} |c_n(k)|x^k $，其中 $ c_n(k) $ 为拉马努金和，建立了其与分圆多项式之间的联系。文章基于定义给出了已知恒等式的新直接证明，推导了 $ R_n(x) $ 和 $ T_n(x) $ 的结构公式与可除性性质，并提供了 $ n \leq 20 $ 的显式表格，揭示了与分圆多项式类似的对称性与因式分解模式。

ABSTRACT

We investigate the polynomials $\sum_{k=0}^{n-1} c_n(k)x^k$ and $\sum_{k=0}^{n-1} |c_n(k)| x^k$, where $c_n(k)$ denote the Ramanujan sums. We point out connections and analogies to the cyclotomic polynomials.

研究动机与目标

• 基于定义仅使用初等级数展开，为连接拉马努金和与分圆多项式的经典恒等式提供新的直接证明。
• 研究多项式 $ R_n(x) = \sum_{k=0}^{n-1} c_n(k)x^k $ 的结构与代数性质，包括因式分解、对称性与可除性。
• 分析 $ T_n(x) = \sum_{k=0}^{n-1} |c_n(k)|x^k $ 的行为，与 $ R_n(x) $ 比较其性质，特别是符号反转与索引加倍情况下的表现。
• 推导并验证 $ R_n(x) $ 与 $ T_n(x) $ 的递推型公式与函数方程，如 $ R_{2n}(x) = (1 - x^n)R_n(-x) $ 与 $ T_{2n}(x) = (1 + x^n)T_n(x) $（当 $ n $ 为奇数时）。
• 提供 $ 1 \leq n \leq 20 $ 的 $ R_n(x) $ 与 $ T_n(x) $ 的完整表格，展示其因式分解与模式特征。

提出的方法

• 利用分圆多项式的对数导数与几何级数展开 $ (1 - x/\eta_j)^{-1} $，推导恒等式 $ \frac{\Phi_n'(x)}{\Phi_n(x)} = \sum_{k=0}^{\infty} c_n(-k-1)x^k $。
• 利用 $ \log(1 - t) = -\sum_{k=1}^{\infty} \frac{t^k}{k} $ 的幂级数展开，推导出 $ \log \Phi_n(x) = -\sum_{k=1}^{\infty} \frac{c_n(k)}{k}x^k $，进而导出 $ \Phi_n(x) $ 的指数公式。
• 应用恒等式 $ R_n(x) = (1 - x^n) \sum_{d|n} \frac{d\mu(n/d)}{1 - x^d} $ 分析 $ R_n(x) $ 的结构，将其与除数和及莫比乌斯函数联系起来。
• 通过拉马努金和的代换与对称性，建立函数方程 $ R_{2n}(x) = (1 - x^n)R_n(-x) $ 与 $ T_{2n}(x) = (1 + x^n)T_n(x) $（当 $ n $ 为奇数时）。
• 基于 $ n $ 的 2-adic 结构，推导 $ R_n(x) $ 与 $ T_n(x) $ 的递归因式分解公式，包括 $ R_n(x) = \prod_{k=1}^{m} (1 - x^{2^{k-1}n}) R_n(x^{2^{k-1}}) $ 与 $ T_n(x) = \prod_{k=1}^{m} (1 + x^{2^{k-1}n}) T_n(x^{2^{k-1}}) $。
• 使用符号计算（Maple）生成 $ 1 \leq n \leq 20 $ 的 $ R_n(x) $ 与 $ T_n(x) $ 的显式表格，并提供完整因式分解。

实验结果

研究问题

• RQ1 如何仅基于拉马努金和与分圆多项式的定义及初等级数展开，重新推导经典恒等式？
• RQ2 $ R_n(x) = \sum_{k=0}^{n-1} c_n(k)x^k $ 的代数与结构性质（如对称性、因式分解与可除性）有哪些？
• RQ3 由拉马努金和的绝对值构成的多项式 $ T_n(x) = \sum_{k=0}^{n-1} |c_n(k)|x^k $ 与 $ R_n(x) $ 在函数方程与因式分解方面有何异同？
• RQ4 在索引加倍（特别是 $ n $ 为奇数时）下，$ R_n(x) $ 与 $ T_n(x) $ 的行为由何种函数方程控制？
• RQ5 $ R_n(x) $ 与 $ T_n(x) $ 在多大程度上继承或镜像了分圆多项式的因式分解与对称性特征？

主要发现

• 恒等式 $ \frac{\Phi_n'(x)}{\Phi_n(x)} = \sum_{k=1}^{n} c_n(k)x^{k-1} $ 通过拉马努金和的定义、分圆多项式的对数导数、几何级数与周期性，从定义出发直接重证。
• 在 $ |x| < 1 $ 且 $ n > 1 $ 条件下，通过对数的幂级数展开，推导出指数公式 $ \Phi_n(x) = \exp\left( -\sum_{k=1}^{\infty} \frac{c_n(k)}{k}x^k \right) $。
• $ R_n(x) $ 满足对所有 $ n \geq 1 $ 成立的恒等式 $ R_{2n}(x) = (1 - x^n)R_n(-x) $，且 $ R_n(x) $ 可被 $ (1 - x) $ 整除，反映了拉马努金和在一个完整周期内的和。
• 当 $ n $ 为奇数时，恒等式 $ T_{2n}(x) = (1 + x^n)T_n(x) $ 成立，且当 $ n $ 为偶数且 $ n/2 $ 为奇数时，$ T_n(x) $ 可被 $ (1 + x^{n/2}) $ 整除。
• 对所有偶数 $ n \geq 2 $，分圆多项式 $ \Phi_n(x) $ 整除 $ T_n(x) $，表明绝对拉马努金和多项式与分圆因子之间存在深层结构联系。
• $ n = 20 $ 以内的 $ R_n(x) $ 与 $ T_n(x) $ 显式表格揭示了稳定的因式分解模式，包括 $ (1 \pm x^d) $、$ (1 + x + x^2) $ 与 $ (1 + x^{2^k}) $ 的乘积，且 $ T_n(x) $ 通常可分解为回文或对称多项式。