[論文レビュー] Expansion of Dirichlet L-function on the critical line in Meixner-Pollaczek polynomials

Hiroto Inoue|arXiv (Cornell University)|Dec 3, 2014

Advanced Mathematical Identities参考文献 8被引用数 3

ひとこと要約

本稿では、完備化されたリーマン・ゼータ関数およびディリクレL関数の臨界線上におけるメイクナー＝ポラツェク多項式展開の一様収束性を確立し、部分和がコンパクト集合上で関数を一様に近似すること、および近似多項式の零点が非自明なゼータ関数の零点に収束することを証明する。主な貢献は、近似多項式の最大零点が次数に対して線形に増大することを示す厳密なスペクトル境界であり、直交多項式展開を用いたリーマン予想への新規なアプローチを支持する。

ABSTRACT

We study the expansions of the completed Riemann zeta function and completed Dirichlet L-functions in Meixner-Pollaczek polynomials. We give the proof of the uniform convergence, the multiplicative structure for the coefficients of these expansions, and a calculation for the coefficients of a completed Dirichlet L-function $\hat{L}(s, χ_{-1})$. Furthermore, we give a boundary for the zeros of the approximating polynomial.

研究の動機と目的

• 完備化されたリーマン・ゼータ関数およびディリクレL関数の新たな直交展開枠組みを、メイクナー＝ポラツェク多項式を用いて確立すること。
• 臨界帯におけるMP展開の収束を一様に証明し、関数方程式の対称性を保つこと。
• 近似多項式の零点の位置に明示的な境界を導出すること、特に最大零点について。
• 近似多項式における複素零点の分布を、リーマン予想の指標としての可能性について調査すること。
• 多項式近似を用いたL関数の零点分布の研究のための数値的および解析的基盤を提供すること。

提案手法

• 重み付き$L^2$空間（測度$|\Gamma(it + \nu/2)|^2 dt$）において、メイクナー＝ポラツェク多項式$q_n^{(\nu,0)}(it)$を直交基底として用いる。
• ダーボウの方法を適用して多項式の漸近展開を導出し、係数の推定と成長挙動の評価を可能にする。
• 展開係数の三重対角行列＋最下行構造を用いたゲルシュゴリン円定理を適用し、固有値（＝近似多項式の零点）を境界付ける。
• 行列表現の再帰関係およびトレース恒等式を導出し、零点のべき和を計算し、成長率を推定する。
• MP係数から構成される行列$\mathbf{B}_n$のスペクトル性質を用いて、部分和$S_n(t)$の零点の位置を分析する。
• 擬スペクトル法を適用し、数値誤差範囲内で複素零点の位置を推定する。$n=260$における数値計算による妥当性が確認されている。

実験結果

リサーチクエスチョン

• RQ1 完備化されたリーマン・ゼータ関数$\Xi(t)$のメイクナー＝ポラツェク多項式展開は、臨界帯のコンパクト部分集合上で一様収束するか？
• RQ2 近似多項式$S_n(t)$の零点は、$\Xi(t)$の非自明な零点に収束するか？ もしそうなら、その収束速度はどの程度か？
• RQ3 $n \to \infty$のとき、近似多項式$S_n(t)$の最大零点$\rho_n^{\max}$の漸近的成長率はいかほどか？
• RQ4 近似多項式に複素零点が出現するか？ また、数値的不確実性を考慮しても、その位置は信頼性を持って推定可能か？
• RQ5 係数行列$\mathbf{B}_n$のスペクトル構造は、$S_n(t)$の零点の位置に境界を与えることができるか？

主な発見

• 完備化されたリーマン・ゼータ関数$\Xi(t)$のMP展開は、臨界帯の任意のコンパクト部分集合上で$\Xi(t)$に一様収束する。
• 部分和$S_n(t)$は、メイクナー＝ポラツェク多項式の偶関数性により、関数方程式の対称性を保ち、$S_n(-t) = S_n(t)$を満たす。
• 完備化されたディリクレL関数$\widehat{L}(s,\chi_{-1})$について、[A]および[K1]の結果を用いてMP係数を明示的に計算可能であり、数値的解析が可能である。
• 近似多項式$S_n(t)$の最大零点$\rho_n^{\max}$は、正の定数$C, C'$を用いて$C' n \leq |\rho_n^{\max}| \leq C n$を満たし、$n$に対して線形に増大することが示された。
• $n=260$における数値結果から、ほとんどすべての零点が実軸上にあるが、原点付近に4つの複素零点が出現しており、擬スペクトル法による推定誤差範囲と整合的である。
• 零点の二乗和$\sum_{k=1}^n \rho_{n,k}^2$は、漸近的に$\sim \frac{2}{3} n^3$に比例し、すべての零点が虚軸付近に集中しているわけではないことが確認された。