[论文解读] Discrete Ramanujan-Fourier Transform of Even Functions (mod $r$)

Pentti Haukkanen|arXiv (Cornell University)|Oct 1, 2012

Analytic Number Theory Research参考文献 10被引用 5

一句话总结

本文为模 $ r $ 的偶数算术函数建立了一个离散变换，表明其离散傅里叶变换（DFT）可借助拉马努金和表示，从而提出一种新的变换——离散拉马努金-傅里叶变换。主要贡献在于以拉马努金和表示DFT及其逆变换的闭式表达，并通过数论恒等式证明了正交性与标准正交基的性质。

ABSTRACT

An arithmetical function $f$ is said to be even (mod r) if f(n)=f((n,r)) for all n\in\Z^+, where (n, r) is the greatest common divisor of n and r. We adopt a linear algebraic approach to show that the Discrete Fourier Transform of an even function (mod r) can be written in terms of Ramanujan's sum and may thus be referred to as the Discrete Ramanujan-Fourier Transform.

研究动机与目标

• 为模 $ r $ 的偶数算术函数（定义为 $ f(n) = f((n,r)) $）开发一种专用离散变换。
• 将此类函数的标准离散傅里叶变换（DFT）重新表述为拉马努金和的形式，从而实现更具数论意义的解释。
• 利用缩放后的拉马努金和 $ (r\phi(d))^{-1/2} C(\cdot, d) $（$ d \mid r $）为模 $ r $ 的偶函数空间建立一个标准正交基。
• 证明模 $ r $ 的两个偶函数的柯西积对应于其拉马努金-傅里叶变换的逐点乘积，从而保持变换结构。

提出的方法

• 本文使用线性代数方法，将模 $ r $ 的周期函数空间视为与 $ \mathbb{C}^r $ 同构的复内积空间，其标准正交基为 $ \{ r^{-1/2} \epsilon_k \} $，其中 $ \epsilon_k(n) = \exp(2\pi i k n / r) $。
• 研究限制在模 $ r $ 的偶函数上，其定义为 $ f(n) = f((n,r)) $，即仅依赖于 $ (n,r) $，因此由其在 $ r $ 的因数处的取值完全确定。
• 通过正交关系 $ \sum_{e \mid r} C(r/e, d_1) C(r/e, d_2) \phi(e) = r\phi(d_1) \delta_{d_1 d_2} $，证明集合 $ \{ (r\phi(d))^{-1/2} C(\cdot, d) \}_{d \mid r} $ 构成偶函数子空间 $ E_r $ 的标准正交基。
• 通过内积推导离散拉马努金-傅里叶变换：$ R_f(d) = \phi(d)^{-1} \sum_{n=1}^r f(n) C(n,d) $，并证明其逆变换为 $ f(n) = r^{-1} \sum_{d \mid r} R_f(d) C(n,d) $。
• 通过证明 $ F_f(k) = \sum_{e \mid r} f(e) C(k, r/e) $，将标准DFT与新变换关联，从而得出 $ R_f(d) = F_f(r/d) $，建立两种表示之间的联系。
• 将该框架扩展至偶函数的柯西积，证明 $ R_h(d) = R_f(d) R_g(d) $，与DFT中 $ F_h = F_f F_g $ 的性质类似。

实验结果

研究问题

• RQ1 能否将模 $ r $ 的偶函数的离散傅里叶变换完全用拉马努金和表示？
• RQ2 模 $ r $ 的偶函数空间的标准正交基的结构是什么？其与拉马努金和有何关联？
• RQ3 当以拉马努金和表示时，模 $ r $ 的偶函数的逆变换如何简化？
• RQ4 模 $ r $ 的两个偶函数的柯西积在拉马努金-傅里叶变换下是否保持乘法结构？

主要发现

• 模 $ r $ 的偶函数 $ f $ 的离散拉马努金-傅里叶变换为 $ R_f(d) = \phi(d)^{-1} \sum_{n=1}^r f(n) C(n,d) $，该表达式以拉马努金和 $ C(n,d) $ 表示变换。
• 其逆变换为 $ f(n) = r^{-1} \sum_{d \mid r} R_f(d) C(n,d) $，表明每个模 $ r $ 的偶函数均为拉马努金和的线性组合。
• 集合 $ \{ (r\phi(d))^{-1/2} C(\cdot, d) \}_{d \mid r} $ 构成模 $ r $ 偶函数空间的标准正交基，其维数为 $ \tau(r) $，即 $ r $ 的因数个数。
• 偶函数的DFT满足 $ F_f(k) = \sum_{e \mid r} f(e) C(k, r/e) $，因此拉马努金-傅里叶变换满足 $ R_f(d) = F_f(r/d) $，从而建立了两种变换之间的联系。
• 对于模 $ r $ 的两个偶函数的柯西积 $ h = f \circ g $，其拉马努金-傅里叶变换满足 $ R_h(d) = R_f(d) R_g(d) $，与DFT中卷积的性质 $ F_h = F_f F_g $ 相似。