[論文レビュー] A generalization of Gallagher's lemma for exponential sums

Giovanni Coppola, Maurizio Laporta|arXiv (Cornell University)|Oct 21, 2014

Analytic Number Theory Research参考文献 9被引用数 3

ひとこと要約

本稿は、Gallagherの補題を指数和の平均平方推定に重み関数を導入することで一般化し、ディリクレ多項式およびセルバーグ積分に対するより良い上限を得ることを可能にする。主な貢献は、自己畳み込みによる滑らかさの向上を促進する重み付き不等式であり、特定の条件下でCesàro重みはボックス重みやLanczos重みよりも tighter な推定をもたらす。

ABSTRACT

First we generalize a famous lemma of Gallagher on the mean square estimate for exponential sums by plugging a weight in the right hand side of Gallagher's original inequality. Then we apply it in the special case of the Cesaro weight, in order to establish some results mainly concerning the classical Dirichlet polynomials and the Selberg integrals of an arithmetic function $f$, that are tools for studying the distribution of $f$ in short intervals. Furthermore, we describe the smoothing process via self-convolutions of a weight, that is involved into our Gallagher type inequalities, and compare it with the analogous process via the so-called correlations. Finally, we discuss a comparison argument in view of refinements on the Gallagher weighted inequalities according to different instances of the weight.

研究の動機と目的

• 不等式の右辺に一般重み関数を組み込むことにより、Gallagherの古典的指数和の平均平方推定を拡張すること。
• この一般化が、特に短区間分布の研究において、ディリクレ多項式および算術関数のセルバーグ積分に与える影響を分析すること。
• Cesàro、Lanczos、ボックスの各重みのスペクトルノルムおよび区間内での最小スペクトルノルムを用いた、それらの滑らかさの重みの効果を比較すること。
• 重み付き不等式が、リーマンゼータ関数のモーメント推定の文脈において、元のGallagher補題よりも鋭い上限をもたらす条件を確立すること。
• 一般重み条件の下で重み付きセルバーグ積分 $ J_{w,f}(N,H) $ への将来的な拡張の基盤を築くこと。

提案手法

• 重み $ w \to w_\rho $ を平均平方推定に挿入することで一般化不等式 (⋆⋆) を導出する。ここで、$ m_{\rho,T} = \text{ess}\text{inf}_{|t|\neq T} |\tilde{w}_\rho(t)|^2 $ は、フーリエ変換の大きさに対する下界を保証する。
• Cesàro重み $ C_\rho(y) = \text{max}(1 - \rho^{-1}|y|, 0) $ を適用し、短区間での平均化により元のGallagherの上限を改善する新しい推定 (⋆~) を得る。
• 自己畳み込み $ w * w $ と相関の滑らかさ効果を比較し、自己畳み込みが指数和の $ L^2 $-ノルムの制御をより良く行うことを示す。
• Hardy-Littlewoodの主要定理を用いて、$ |s(\nu)| $ の上界と $ b(\nu) $ の上界を関連づけ、非負の自己畳み込みを通じて重み付き和の比較を可能にする。
• Lanczos重み $ \tilde{L}_{\rho,\rho} $ を分析し、そのフーリエ変換の大きさをボックス重みおよびCesàro重みと比較する。$ \rho T \to 1/2 $ のとき、漸近的に改善されることを示す。
• 条件 $ 0 < \rho T < 1/2 $ の下で、Lanczos重み $ \tilde{L}_{\rho,\rho} $ はボックス重み $ \textbf{1}_\rho $ よりもほぼ $ T $-良いことが示され、Cesàro重み $ C_\rho $ は $ \tilde{L}_{\rho,\rho} $ よりもほぼ $ T $-良いことが判明する。

実験結果

リサーチクエスチョン

• RQ1 Gallagherの古典的指数和の平均平方推定を、任意の重み関数を含む形に一般化する方法は何か？
• RQ2 この一般化が、算術関数のディリクレ多項式およびセルバーグ積分の研究に与える影響は何か？
• RQ3 Cesàro、Lanczos、ボックスの各重みは、スペクトルノルムおよび指数和への上界に与える影響の観点から、どのように比較できるか？
• RQ4 $ L^2 $-ノルム推定の文脈において、Cesàro重みがボックス重みやLanczos重みよりも厳密に良い上限をもたらす条件は何か？
• RQ5 一般重み条件の下で、一般化された不等式を重み付きセルバーグ積分 $ J_{w,f}(N,H) $ に拡張できるか？その結果、リーマンゼータ関数のモーメント推定にどのような影響を与えるか？

主な発見

• 任意の局所可積分重み $ w \to w_\rho $ に対して、一般化不等式 (⋆⋆) が成り立つ。定数 $ m_{\rho,T} = \text{ess}\text{inf}_{|t|\neq T} |\tilde{w}_\rho(t)|^2 $ は、指数和の $ L^2 $-ノルムに対する下界を提供する。
• Cesàro重み $ C_\rho $ に対して、不等式は $ \big\bracevert S \big\bracevert_{2,T}^2 \triangleq \big\bracevert \text{sum } s(\nu)e(\nu t) \big\bracevert_{L^2(-T,T)}^2 \triangleq \text{ess}\text{inf}_{|t|\neq T} |\tilde{C}_\rho(t)|^2 \times \text{integral of } |\text{sum } s(\nu)C_\rho(\nu - x)|^2 dx $ を与え、元のGallagherの上限を改善する。
• 条件 $ 0 < \rho T < 1/2 $ の下で、Cesàro重み $ C_\rho $ は、フーリエ変換の大きさ比がより有利なため、Lanczos重み $ \tilde{L}_{\rho,\rho} $ よりもほぼ $ T $-良いことが示された。
• 同じ条件の下で、Lanczos重み $ \tilde{L}_{\rho,\rho} $ はボックス重み $ \textbf{1}_\rho $ よりもほぼ $ T $-良いことが判明し、滑らかさ効率の階層が示された。
• 本手法により、セルバーグ積分 $ J_f(N,h) $ の新しい境界付けが可能となった。$ \tilde{J}_f(N,h) \triangleq \text{modified Selberg integral} \triangleq \text{bound} \text{ for } f $ と仮定すると、$ J_f(N,h) \triangleq \text{unconditional lower bound} $ が得られ、具体的な例として $ J_3(N,h) \triangleq \text{Selberg integral for } d_3 \triangleq \text{divisor function} $ であり、仮定 $ \tilde{J}_3(N,h) \triangleq \text{bound} \triangleq N^{1+\rho}h $ の下で、$ J_3(N,h) \triangleq \text{bound} \triangleq N^{1+\rho}h^{6/5} $ が得られる。
• 改善された上限は、リーマンゼータ関数の弱い6次モーメントへの道筋を示唆する。仮定 $ \tilde{J}_3(N,h) \triangleq N^{1+\rho}h $ が $ h \triangleq \text{small} $ に対して成り立つならば、6次モーメントの非自明な上界が得られることを示唆する。