[논문 리뷰] Fourier-Stieltjes coefficients of the Minkowski question mark function

Giedrius Alkauskas|arXiv (Cornell University)|2010. 08. 24.

Point processes and geometric inequalities참고 문헌 17인용 수 3

한 줄 요약

이 논문은 민코프스키 질문의 함수의 푸리에-스틸티jes 계수 $ d_n $를 조사하며, 세일렘의 1943년 문제—이 계수들이 무한대에서 0이 되는가—가 참임을 시사하는 개선된 추측을 제안한다. zeta 함수를 사용하여 계수들 사이의 무한선형 항등식을 확립하고, 모멘트와 특수함수를 포함하는 급수를 통해 관련 zeta 함수의 특수값을 초정밀도로 계산하며, 30자리 이상의 정밀도를 달성한다.

ABSTRACT

In this paper we investigate the Fourier-Stieltjes coefficients of the Minkowski question mark function. In 1943, R. Salem asked whether these coefficients vanish at infinity. We propose the conjecture which implies the affirmative answer to Salem's problem. Further, we prove infinite linear identities among these Fourier-Stieltjes coefficients. We also provide a method to numerically calculate special values at integers of the associated zeta function with a high precision (more than 30 digits).

연구 동기 및 목표

• 민코프스키 질문의 함수의 푸리에-스틸티제스 계수 $ d_n $가 $ n \to \infty $일 때 0으로 수렴하는가에 대한 세일렘의 1943년 문제를 해결하기 위해.
• zeta 함수와 특수값을 사용하여 계수 $ d_n $ 사이의 무한선형 관계를 확립하기 위해.
• 계수 $ d_n $와 관련된 zeta 함수의 특수값을 고정밀도로 계산하는 수치적 방법을 개발하기 위해.
• 대칭성과 연속성 조건 하에서 계수 $ d_n $를 유일하게 기술하는 표준 선형 항등식을 특성화하기 위해.

제안 방법

• 모든 홀수 $ r \in \mathbb{N} $에 대해 표준 항등식을 유도하며, $ \sum_{n=1}^\infty \xi_{r,n} d_n = A_r $ 형태로 표현한다. 여기서 계수들은 $ \Gamma(s) $, $ \zeta(s) $, $ \pi $, $ \log n $, 그리고 정적분을 포함한다.
• 함수방정식 $ F(x) + F(1/x) = 1 $을 사용하며, $ F(x) = ?(x/(x+1)) $로 정의되며, 이로부터 대칭 기반의 항등식을 유도한다.
• 라플라스-푸리에 변환 $ \mathfrak{m}(t) = \int_0^1 e^{xt} d?(x) $를 적용하며, $ d_n = \mathfrak{m}(2\pi i n) $로 계수와 zeta 함수를 연결한다.
• 테일러 급수 $ \pi \cot(\pi x) = \frac{1}{x} - 2\sum_{n=1}^\infty \zeta(2n) x^{2n-1} $를 사용하여 $ \mathfrak{M}(1) $의 적분 표현에서 코탄젠트 커널을 전개한다.
• 항등식 $ \int_0^1 (?(x) - x) x^{2n-1} dx = \frac{1}{2n(2n+1)} - \frac{m_{2n}}{2n} $를 활용하며, 여기서 $ m_n $는 측도의 모멘트이다. 이를 통해 $ \mathfrak{M}(1) $을 빠르게 수렴하는 급수로 표현한다.
• 기존에 알려진 모멘트 $ m_n $의 결과를 활용하며, $ m_n $이 $ n^{1/4} C^{-\sqrt{n}} $로 감소하며, $ C = e^{-2\sqrt{\log 2}} $임을 고려하여 수치 평가에서의 빠른 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 민코프스키 질문의 함수의 푸리에-스틸티제스 계수 $ d_n $가 $ n \to \infty $일 때 0으로 수렴하는가? 이는 세일렘 문제를 해결하는 것이다.
• RQ2 계수 $ d_n $ 사이에 무한선형 항등식을 확립할 수 있으며, 그 표준 구조는 어떠한가?
• RQ3 $ \mathfrak{M}(1) = \sum_{n=1}^\infty \frac{d_n}{n} $의 정확한 값은 무엇이며, 어떻게 고정밀도로 계산할 수 있는가?
• RQ4 $ d_n $와 관련된 zeta 함수의 특수값은 어떻게 행동하며, 그 해석적 구조는 어떠한가?

주요 결과

• 논문은 모든 홀수 $ r \in \mathbb{N} $에 대해, 절대수렴성과 함께 명시적인 대수적 상수를 포함하는 표준 선형 항등식 $ \sum_{n=1}^\infty \xi_{r,n} d_n = A_r $가 존재함을 증명한다. 이 상수들은 $ \Gamma(s) $, $ \zeta(s) $, $ \pi $, $ \log n $, 그리고 정적분을 포함한다.
• 가장 단순한 항등식인 $ r = 1 $의 경우, $ \frac{3}{4} \sum_{n=1}^\infty 2^{-n} \log n - \frac{1}{4} \log 2\pi - \sum_{n=1}^\infty \frac{d_n}{4n} - \sum_{n=1}^\infty \frac{1 - d_n}{\pi n} \int_n^\infty \frac{\sin(2\pi x)}{5 - 4\cos(2\pi x)} \frac{dx}{x} = 0 $이다.
• 상수 $ \mathfrak{M}(1) = \sum_{n=1}^\infty \frac{d_n}{n} $는 30자리 이상의 정밀도로 $ -0.455959203740245619075047841829\ldots $로 계산되었다.
• $ \mathfrak{M}(1) $은 빠르게 수렴하는 급수로 표현된다: $ \mathfrak{M}(1) = \sum_{n=1}^\infty \frac{(\zeta(2n)-1) m_{2n}}{n} - 3 \sum_{n=1}^\infty \frac{m_n}{n \cdot 2^n} - \log \pi + \log 4 $, 여기서 $ m_n $은 측도의 모멘트이다.
• 모멘트 $ m_n $은 $ n^{1/4} C^{-\sqrt{n}} $로 감소하며, $ C = e^{-2\sqrt{\log 2}} \approx 0.18916 $이다. 이는 급수의 수렴 속도를 보장한다.
• 이 방법을 통해 $ d_n $와 관련된 zeta 함수의 다른 특수값을 홀수 양의 정수에서 고정밀도로 수치 계산할 수 있다.