[논문 리뷰] The discrete Fourier transform of $r$-even functions

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

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 프레임워크를 이용해 기존의 라마누잔 합 성질을 일반화하여 통합적이고 단순화된 유도를 제공하는 것.
• DFT의 $r$-짝수 함수 및 그 수열의 평균값과 디리클레 급수 성질을 조사하는 것.
• $r$-짝수 함수의 DFT와 몰라스 함수, 반 망골트 함수와 같은 고전적 산술 함수 간의 연결 고리를 설정하는 것.

제안 방법

• 주기 $r$를 가지며 $f(n) = f(\text{gcd}(n,r))$를 만족하는 함수로 $r$-짝수 함수를 정의한다.
• 이산 푸리에 변환(DFT)을 $\widehat{f}(n) = \sum_{k \mod r} f(k) \exp(-2\pi i k n / r)$로 정의하고, 역변환 및 파르세발의 정리를 사용한다.
• $r$-짝수 함수의 새로운 특성화를 DFT를 통해 유도한다: $\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$-짝수 함수는 그 산술적 구조에 대해 어떻게 특성화될 수 있는가?
• RQ2 DFT의 $r$-짝수 함수 및 그 수열의 평균값과 디리클레 급수 성질은 무엇인가?
• RQ3 기존의 라마누잔 합 및 관련 산술 함수에 대한 결과들이 DFT 프레임워크에서 어떻게 유도되는가?
• RQ4 $r$-짝수 함수의 DFT와 반 망골트 함수 또는 몰라스 함수 사이의 관계는 무엇인가?
• RQ5 DFT의 $r$-짝수 함수 수열은 알려진 산술 함수를 포함하는 디리클레 급수로 표현될 수 있는가?

주요 결과

• 함수 $f$의 DFT는 $\widehat{f}(n) = \sum_{d \mid \gcd(n,r)} d \cdot f'(r/d)$로 주어지며, 여기서 $f' = \mu * f$로 정의되며, 새로운 간단한 특성화를 제공한다.
• DFT의 평균값은 $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\}$일 때 유효하다.
• 무한 급수 $\sum_{n=1}^\infty \frac{\widehat{f}_r(n)}{n^s} = \zeta(s)(F * \phi_{1-s})(r)$는 $\operatorname{Re} s > 1$일 때 성립하며, 여기서 $\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)$를 확장한다.