[論文レビュー] On generalized Hardy classes of Dirichlet series

Johan Andersson|arXiv (Cornell University)|Jul 23, 2012

Analytic Number Theory Research参考文献 17被引用数 5

ひとこと要約

本稿は、古典的 $ H^2 $ ハーディークラスのディリクレ級数を、任意の指数列 $ \lambda_n $ を持つより広い一般化 $ H^2 $ クラスへと一般化し、短区間における対数的 $ L^1 $-ノルムの定量的推定を確立し、有界係数を持つディリクレ級数の有効非消滅結果を導出する。主な貢献は、$ \operatorname{Re}(s) = 1 $ 上でのヒルベルト・ゼータ関数およびレルヒ・ゼータ関数の $ L^1 $-ノルムに対する明示的な下界であり、$ \delta \leq 0.05 $ に対して $ \inf_T \int_T^{T+\delta} |\zeta(1+it,\alpha)| \, dt \geq \delta^{7/(6\delta)} 10^{-9/\delta} $ が成り立つ。これは臨界線上での非消滅を示し、非ユニバーサル性の結果を支持する。

ABSTRACT

We generalize the Hardy class H^2 of Dirichlet series studied by Hedenmalm, Lindqvist, Olofsson, Olsen, Saksman, Seip and others to consider more general Dirichlet series. We prove some results on this class, such as estimates for its logarithmic L^1-norm in short intervals. We relate this to, and use these results to make a recent nonvanishing result of Dirichlet series of ours more explicit. In particular we give an application on the Hurwitz zeta-function.

研究の動機と目的

• ディリクレ級数の古典的 $ H^2 $ ハーディークラスを、差の成長条件を満たす任意の指数列 $ \lambda_n $ を持つより広いクラスへと拡張すること。
• 複素平面上の直線 $ \operatorname{Re}(s) = \sigma $ 上の短区間における、このような級数の対数的 $ L^1 $-ノルムの定量的推定を確立すること。
• これらの推定を用いて、有界係数を持つディリクレ級数、特にヒルベルトおよびレルヒ・ゼータ関数の有効非消滅結果を導出すること。
• 短区間の長さ $ \delta $ を用いた有効下界を提供することにより、最近のディリクレ級数の非消滅結果をより明示的に行うこと。
• 一般化 $ H^2 $ クラスにおける最小最大問題を調査し、短い垂直区間上での関数の最小可能な最大ノルムを同定すること。

提案手法

• ディリクレ級数 $ L(s) = \sum_{n=0}^\infty a_n e^{-\lambda_n s} $ に対して、一般化 $ H^2 $ クラス $ H^2(\lambda_n, \sigma) $ を定義し、$ \|L\|_2^2 = \sum |a_n|^2 < \infty $ および $ n \neq m $ のとき $ e^{-\sigma(\lambda_n + \lambda_m)} / |\lambda_n - \lambda_m| $ に対する一様有界性を要請する。
• 半平面 $ \operatorname{Re}(s) > \sigma $ から単位円板への全純同相写像を用いて、古典的 $ H^2(T) $ 理論の結果を半平面設定へと移行する。
• 半平面上でのジェンセンの不等式のバージョンを適用し、$ L(s) $ の対数積分の上界を導出し、$ \log |L(s)| $ の $ L^1 $-ノルムの推定に繋げる。
• リーマン・ゼータ関数およびその特別値（例：$ \zeta(1+it) $）が対数的 $ L^1 $-ノルムを最小化する極値的性質を持つことを利用して、$ \zeta(1+it) $ の $ L^1 $-ノルムの鋭い漸近的推定を導出する。
• 積 $ (1 - 2^{1-s})^n $ のような極値関数を構成することで、$ H^2 $ における最小最大問題の上界を得る。これにより、短区間内で $ \delta^n $ のオーダーで減少することが示される。
• リーマン・ゼータ関数のオイラー積構造を活用し、一般のディリクレ級数よりも鋭い推定を得る。特に $ \int_T^{T+\delta} |\zeta(1+it)| \, dt $ 及びその逆数に対して。

実験結果

リサーチクエスチョン

• RQ1 短区間長 $ \delta $ の $ \operatorname{Re}(s) = 1 $ 上で、ヒルベルト・ゼータ関数 $ \zeta(s,\alpha) $ の $ L^1 $-ノルムの鋭い下界は何か？
• RQ2 ディリクレ級数が $ \operatorname{Re}(s) = 1 $ 上で非消滅することを有効的に示せるか？ その場合、$ \delta $ を用いた最良の下界は何か？
• RQ3 $ \delta^N $ のオーダーの関数で、$ \zeta(1+it,\alpha) $ の $ L^1 $-ノルムが下から有界であるか、あるいは $ e^{-C/\delta} $ のオーダーの下界が確立できるか？
• RQ4 一般化 $ H^2 $ クラスにおける最小最大問題はどのように振る舞い、短い垂直区間上での関数の最小可能な最大ノルムは何か？
• RQ5 一般化 $ H^2 $ クラスに属するディリクレ級数の逆関数は、同じクラスに属するか？ これは非消滅推定にどのように影響するか？

主な発見

• 本稿は、$ \operatorname{Re}(s) = 1 $ 上でのヒルベルト・ゼータ関数の $ L^1 $-ノルムに対する有効下界を確立した：$ \delta \leq 0.05 $ に対して $ \inf_T \int_T^{T+\delta} |\zeta(1+it,\alpha)| \, dt \geq \delta^{7/(6\delta)} 10^{-9/\delta} $ が成り立ち、これは非自明で非消滅を示唆する。
• リーマン・ゼータ関数に関しては、$ \operatorname{Re}(s) = 1 $ 上の $ L^1 $-ノルムが $ \inf_T \int_T^{T+\delta} |\zeta(1+it)| \, dt = \frac{e^{-\gamma}\pi^2}{24} \delta^2 + O(\delta^4) $ を満たし、鋭い2次式の減少を示す。
• リーマン・ゼータ関数の逆 $ L^1 $-ノルムは $ \inf_T \int_T^{T+\delta} |\zeta(1+it)|^{-1} \, dt = \frac{e^{-\gamma}}{4} \delta^2 + O(\delta^4) $ を満たし、関数が平均的にゼロから離れており、非消滅していることが示される。
• $ H^2 $-クラスにおける最小最大問題は、$ (1 - 2^{1-s})^n $ のような構成により、区間 $ [\sigma, \sigma + \delta] $ 上の最大ノルムに対して $ \delta^{\lfloor \log M / \log 3 \rfloor} $ のオーダーの上界を得る。
• 一般化 $ H^2 $ クラスは、古典的 $ H^2 $ フレームワークが失敗する場合でも、有効非消滅結果を可能にする。特に、オイラー積を持たないディリクレ級数（例：ヒルベルト・ゼータ関数）に対して顕著である。
• 結果は、リーマン・ゼータ関数が対数的 $ L^1 $-ノルムを最小化する極値的性質を持つことを示唆し、この極値性が一般のディリクレ級数よりも鋭い推定をもたらす。