[論文レビュー] Jacob's ladders and the almost exact asymptotic representation of the Hardy-Littlewood integral

Jan Moser|arXiv (Cornell University)|Jan 26, 2009

Analytic Number Theory Research参考文献 4被引用数 14

ひとこと要約

本稿は、Titchmarsh-Kober-Atkinson (TKA) 公式から導かれる非線形積分方程式の特殊解としてのヤコブの階段を導入し、ハーディー＝リトルウッド積分 $\int_0^T |\zeta(1/2 + it)|^2 dt$ のほぼ正確な漸近的表現を実現する。この手法により、各ヤコブの階段に対応するビーム型関数族 $\varphi(T)$ が構成され、誤差 $\mathcal{O}(\ln T / T)$ の極めて高い精度を持つ漸近公式が得られ、バラスブラマニアン、ヒース＝ブラウン、イヴィッチらの先行研究を著しく上回る。

ABSTRACT

In this paper we introduce a nonlinear integral equation such that the system of global solution to this equation represents a class of a very narrow beam at $T o\infty$ (an analogue to the laser beam) and this sheaf of solutions leads to an almost-exact representation of the Hardy-Littlewood integral. The accuracy of our result is essentially better than the accuracy of related results of Balasubramanian, Heath-Brown and Ivic.

研究の動機と目的

• ハーディー＝リトルウッド積分 $\int_0^T |\zeta(1/2 + it)|^2 dt$ の新たな漸近的表現のクラスを構築し、既存の結果よりも著しく高い精度を達成すること。
• リーマン・ゼータ関数の非自明な零点の分布と、ヤコブの階段と呼ばれる滑らかで単調増加な関数の新規クラスとの間の関係を確立すること。
• Titchmarsh-Kober-Atkinson (TKA) 公式が、新たな $Z^2$-変換と非線形積分方程式を用いて解釈されるとき、より深い構造的性質を有することが示されること。
• ヤコブの階段の系が、無限遠点で任意に近接する収束を示す「レーザービーム」型の集中性を示すことを示すこと。

提案手法

• ヤコブの階段を定義する非線形積分方程式 $\int_0^{\mu[x(T)]} Z^2(t) e^{-2t/x(T)} dt = \int_0^T Z^2(t) dt$ を導入する。
• $\mu(y) \geq 7y\ln y$ を満たす滑らかで単調増加な関数の族 $\{\mu\}$ を定義し、各 $\varphi(T)$ の存在と一意性を保証する。
• 各 $\varphi(T) \in \{\varphi\}$ が、$\zeta(1/2 + it)$ の非自明な零点 $t = \gamma$ において水平接線をもつ拐点を持ち、その次数 $n(\gamma) = \mathcal{O}(\ln \gamma)$ であることを確立する。
• $Z^2$-変換を用いて、各射線 $\mu(y)$ のビームを、無限遠点で高濃度を示す同芯ビーム $\{\varphi\}$ のヤコブの階段に写像する。これは、高濃度の「レーザービーム」に類似した挙動を再現する。
• 漸近公式 $\int_0^T Z^2(t) dt = F[\varphi(T)] + r[\varphi(T)]$ を導出する。ここで $F[y] = \frac{y}{2}\ln\left(\frac{y}{2}\right) + (c - \ln(2\pi))\frac{y}{2} + c_0$ であり、$r[\varphi(T)] = \mathcal{O}(\ln \varphi(T)/\varphi(T))$ である。
• 変数変換 $Te^{-a} = \tau$, $e^{-a}\varphi(e^a\tau) = \psi(\tau)$ を用いて、$\varphi(T)/T$ の $1/\ln T$ のべき級数における係数の再帰的漸近展開を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハーディー＝リトルウッド積分 $\int_0^T |\zeta(1/2 + it)|^2 dt$ は、$\mathcal{O}(T^{1/3+\epsilon})$ より小さい誤差項で表現可能か？
• RQ2 非自明な零点 $\zeta(1/2 + it)$ は、積分の漸近的挙動に標準的な構造をもたらすか？
• RQ3 Titchmarsh-Kober-Atkinson 公式は、無限遠点で高濃度を示す関数族のビーム的生成機構として解釈可能か？
• RQ4 ハーディー＝リトルウッド積分の漸近的表現の族は、代表関数の選択に対して安定的であり、かつ無限遠点で互いに収束するか？

主な発見

• 漸近公式 $\int_0^T Z^2(t) dt = F[\varphi(T)] + r[\varphi(T)]$ が成り立ち、$F[y] = \frac{y}{2}\ln\left(\frac{y}{2}\right) + (c - \ln(2\pi))\frac{y}{2} + c_0$ であり、誤差 $r[\varphi(T)] = \mathcal{O}(\ln T / T)$ である。これはバラスブラマニアンの公式における $\mathcal{O}(T^{1/3+\epsilon})$ の誤差よりも著しく小さい。
• 任意の二つのヤコブの階段 $\varphi_1(T), \varphi_2(T) \in \{\varphi\}$ に対して、差 $\varphi_1(T) - \varphi_2(T) = \mathcal{O}(1/T)$ を満たす。これは無限遠点で「無限に近接する接近」を示している。
• 集合 $\{\mu(y_0)\}$ が有界であれば、すべての $\varphi(T) \in \{\varphi\}$ は任意の固定された $\varphi_0(T)$ から $\mathcal{O}(1/T)$ の距離に存在する。これは漸近的表現の安定性を示している。
• 漸近公式における主要項 $\frac{\varphi(T)}{2}\ln\left(\frac{\varphi(T)}{2}\right)$ 自身がヤコブの階段であることが判明し、自己相似的かつ微細構造を持つ主要項であることが明らかになった。
• 本手法により、$\varphi(T)/T$ の逆数 $\ln T$ のべき級数への漸近展開が可能となり、係数 $A_1 = 1 - c$, $A_3 = \frac{1}{2}(1 - c)^2$ などは、TKA 公式を $Z^2$-変換を用いて変換することで導出可能である。
• 導出された式 (8.4) により、$T$ から $T + T^{1/3+\epsilon_0}$ の長さ未満の区間における $\int_a^b Z^2(t) dt$ の推定が可能となり、これはヒース＝ブラウンとイヴィッチの推定では到達不可能な領域である。