[論文レビュー] Fourier-Stieltjes coefficients of the Minkowski question mark function

Giedrius Alkauskas|arXiv (Cornell University)|Aug 24, 2010

Point processes and geometric inequalities参考文献 17被引用数 3

ひとこと要約

本稿は、ミンコフスキーの質問符関数のフーリエ・スティルチェス係数 $ d_n $ を調査し、セーレム1943年の問題—これらの係数が無限大で消えるかどうか—が正しいことを示す、洗練された予想を提示する。ゼータ関数を用いて係数間の無限次元線形恒等式を確立し、モーメントと特殊関数を含む級数を用いて、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 $ のときゼロに収束するかどうかを解明すること。
• ゼータ関数と特別値を用いて、係数 $ d_n $ 間の無限次元線形関係を確立すること。
• 係数 $ d_n $ に関連するゼータ関数の特別値を高精度で数値計算する手法を開発すること。
• 対称性と連続性の制約の下で、係数 $ 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)) $）を用いて、$ d_n $ の対称性に基づく恒等式を導出する。
• ラプラス・フーリエ変換 $ \mathfrak{m}(t) = \int_0^1 e^{xt} d?(x) $（$ d_n = \mathfrak{m}(2\pi i n) $）を用い、係数をゼータ関数と関連付ける。
• テイラー級数 $ \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 $ の結果（$ n^{1/4} C^{-\sqrt{n}} $ のように減少し、$ C = e^{-2\sqrt{\log 2}} $）を活用し、数値評価における高速収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 ミンコフスキーの質問符関数のフーリエ・スティルチェス係数 $ d_n $ は $ n \to \infty $ のときゼロに収束するか。セーレムの問題が解決されるか。
• RQ2 $ d_n $ 間に無限次元線形恒等式を確立できるか。その標準的構造は何か。
• RQ3 $ \mathfrak{M}(1) = \sum_{n=1}^\infty \frac{d_n}{n} $ の正確な値は何か。高精度でどのように計算できるか。
• RQ4 $ d_n $ に関連するゼータ関数の特別値はどのように振る舞い、その解析的構造は何か。

主な発見

• 本稿は、各奇数 $ r \in \mathbb{N} $ に対して、絶対収束を伴い、$ \Gamma(s) $, $ \zeta(s) $, $ \pi $, $ \log n $, および定積分を含む明示的な代数的定数を含む、標準的線形恒等式 $ \sum_{n=1}^\infty \xi_{r,n} d_n = A_r $ が存在することを証明する。
• 最も単純な恒等式（$ 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 $ に関連するゼータ関数の奇数正の整数における他の特別値も高精度で数値計算可能である。