[論文レビュー] The discrete Fourier transform of $r$-even functions

László Tóth, Pentti Haukkanen|arXiv (Cornell University)|Sep 27, 2010

Analytic Number Theory Research参考文献 28被引用数 19

ひとこと要約

本稿は、周期 $r$ で、$r$ の約数に関連する対称性を満たす関数である $r$-偶関数と呼ばれる算術関数の離散フーリエ変換（DFT）について包括的な研究を提供する。DFTフレームワークを活用することで、このような関数のDFTに対する明示的公式を導出し、ラマヌジャン和の性質を一般化するとともに、平均値およびディリクレ級数との関連を確立し、既知の数論的結果を統一的かつ簡潔に扱う手法を提示する。

ABSTRACT

We give a detailed study of the discrete Fourier transform (DFT) of $r$-even arithmetic functions, which form a subspace of the space of $r$-periodic arithmetic functions. We consider the DFT of sequences of $r$-even functions, their mean values and Dirichlet series. Our results generalize properties of the Ramanujan sum. We show that some known properties of $r$-even functions and of the Ramanujan sum can be obtained in a simple manner via the DFT.

研究の動機と目的

• 周期 $r$ の関数で特定の対称性を満たす $r$-偶関数の離散フーリエ変換（DFT）を体系的に分析すること。
• DFTフレームワークを用いて、既知のラマヌジャン和の性質を一般化し、統一的かつ簡潔な導出を提供すること。
• $r$-偶関数のDFTおよびその数列の平均値およびディリクレ級数の性質を調査すること。
• $r$-偶関数のDFTとモービウス関数やフォン・マンゴルト関数などの古典的算術関数との関連を確立すること。

提案手法

• $r$-偶関数を、$f(n) = f(\text{gcd}(n,r))$ を満たす $r$-周期的算術関数の部分空間として定義する。
• 離散フーリエ変換 $\widehat{f}(n) = \sum_{k \mod r} f(k) \exp(-2\pi i k n / r)$ を用い、逆変換およびパーサバルの定理を適用する。
• DFTを用いた $r$-偶関数の新しい特徴付けを導出：$\widehat{f}(n) = \sum_{d \mid \gcd(n,r)} d \cdot f'(r/d)$、ここで $f' = \mu * f$ である。
• DFTを $r$-偶関数の数列に適用し、オイラー定数およびフォン・マンゴルト関数を含む平均値の公式を導出する。
• $r$-偶関数のDFTのディリクレ級数の恒等式を確立し、完全に偶関数の列に対して $\sum_{r=1}^\infty \frac{\widehat{f}_r(n)}{r^s} = \frac{\sigma_{s-1}(n)}{n^{s-1}\zeta(s)} \sum_{r=1}^\infty \frac{F(r)}{r^s}$ を得る。これは $\operatorname{Re} s > \max\{1, a_F\}$ で有効である。
• コーシーの畳み込みおよび乗法的関数の性質を用いて、$f * \Lambda$ および一般化されたオイラー関数 $\phi_k$ を含む恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 DFTの算術的構造に基づいて、$r$-偶関数のDFTをどのように特徴付けることができるか？
• RQ2 $r$-偶関数のDFTおよびその数列の平均値およびディリクレ級数の性質は何か？
• RQ3 既知のラマヌジャン和および関連算術関数に関する結果は、DFTフレームワークからどのように導かれるか？
• RQ4 $r$-偶関数のDFTとフォン・マンゴルト関数やモービウス関数との関係は何か？
• RQ5 $r$-偶関数の列のDFTは、既知の算術関数を含むディリクレ級数として表現可能か？

主な発見

• 関数 $f$ が $r$-偶関数であるとき、そのDFTは $\widehat{f}(n) = \sum_{d \mid \gcd(n,r)} d \cdot f'(r/d)$ で与えられ、ここで $f' = \mu * f$ である。これは新たな単純な特徴付けを提供する。
• DFT $\widehat{f}$ の平均値は $f(r)$ に等しく、$x \in \mathbb{N}$ で $r \mid x$ を満たすとき、$\sum_{n \leq x} \widehat{f}(n) = f(r)x$ であり、誤差項は $\sum_{d \mid r} d |f'(r/d)|$ で有界である。
• ディリクレ級数 $\sum_{n \leq x} \frac{\widehat{f}(n)}{n} = f(r)(\log x + C) - (f * \Lambda)(r) + \mathcal{O}(x^{-1} \sum_{d \mid r} d |f'(r/d)|)$ が成り立ち、これはラマヌジャンの公式を一般化する。
• 完全に偶関数の列 $f_r(n) = F(\gcd(n,r))$ に対して、ディリクレ級数 $\sum_{r=1}^\infty \frac{\widehat{f}_r(n)}{r^s} = \frac{\sigma_{s-1}(n)}{n^{s-1}\zeta(s)} \sum_{r=1}^\infty \frac{F(r)}{r^s}$ が成り立ち、$\operatorname{Re} s > \max\{1, a_F\}$ で有効である。
• すべての $\operatorname{Re} s > 1$ に対して、$\sum_{n=1}^\infty \frac{\widehat{f}_r(n)}{n^s} = \zeta(s)(F * \phi_{1-s})(r)$ が成り立ち、ここで $\phi_k(r) = \sum_{d \mid r} d^k \mu(r/d)$ である。
• 関数 $f(r) = 0$ のとき、無限級数 $\sum_{n=1}^\infty \frac{\widehat{f}(n)}{n} = -(f * \Lambda)(r)$ が成り立ち、これはラマヌジャンの恒等式 $\sum_{n=1}^\infty \frac{c_r(n)}{n} = -\Lambda(r)$ を拡張する。