[論文レビュー] Jacob's ladders, the iterations of Jacob's ladder $\phi^k_1(t)$ and asymptotic formulae for the integrals of the products ... for arbitrary fixed $n\in\mbb{N}$

Ján Mozer|arXiv (Cornell University)|Jan 11, 2010

Mathematics and Applications被引用数 14

ひとこと要約

本稿では、リーマン・ゼータ関数の変数に対する高階変換として、反復ヤコブの階段 $φ^k_1(t)$ を導入する。$T \to \infty$ のとき、区間 $[T, T+U]$ 上での積 $\prod_{k=0}^n Z^2[\phi^k_1(t)]$ の平均値が漸近的に $U \ln^{n+1} T$ に一致することを確立し、$n \geq 2$ の場合にバラスブラマニアン、ヒース＝ブラウン、イヴィッチの既存理論を超える。これは、非連結な区間におけるゼータ関数値の間の新しい非局所的相互作用を明らかにする。

ABSTRACT

In this paper we introduce the iterations $\phi^k_1(t)$ of the Jacob's ladder. It is proved, for example, that the mean-value of the product $$Z^2[\phi^n_1(t)]Z^2[\phi^{n-1}(t)]... Z^2[\phi^0_1(t)]$$ over the segment $[T,T+U]$ is asymptotically equal to $\ln^{n+1}T$. Nor the case $n=1$ cannot be obtained in known theories of Balasubramanian, Heath-Brown and Ivic.

研究の動機と目的

• ヤコブの階段 $\phi_1(t)$ の $k$ 階反復 $\phi^k_1(t)$ を定義・分析し、第一反復を超えて概念を拡張すること。
• 任意の固定された $n \in \mathbb{N}$ に対して、区間 $[T, T+U]$ 上での $Z^2[\phi^k_1(t)]$ の積の積分に対する漸近公式を導出すること。
• 積 $\prod_{k=0}^n Z^2[\phi^k_1(t)]$ の平均値が漸近的に $U \ln^{n+1} T$ に一致することを確立し、これはバラスブラマニアン、ヒース＝ブラウン、イヴィッチの既存理論では到達できない結果である。
• 非連結な区間における反復ヤコブの階段点でのゼータ関数値の間の新しい非局所的相互作用を明らかにすること。

提案手法

• 本稿では、$\phi^k_1(t)$ を、基本ヤコブの階段 $\phi_1(t)$ の $k$ 重合成として再帰的に定義し、$\phi^0_1(t) = t$ とする。
• 既知の恒等式 $Z^2(t) = \Phi'_\phi[\phi(t)] \frac{d\phi(t)}{dt}$ から導かれる変換 $\tilde{Z}^2(t) = \frac{d\phi_1(t)}{dt}$ を用い、変数変換により積分を再表現する。
• 鍵となる補題（3.3）は、$\int_T^{T+U} f[\phi_1(t)] \tilde{Z}^2(t) dt = \int_{\phi_1(T)}^{\phi_1(T+U)} f(x) dx$ を示し、反復の各段階で再帰的代入を可能にする。
• 証明は各 $\phi^k_1(t)$ を通じた変数変換を再帰的に適用し、元の積分を $\phi^{n+1}_1(T+U) - \phi^{n+1}_1(T)$ に還元する。その後、この量を漸近的に評価する。
• $\phi_1(t) - \phi_1^2(t) \sim (1-c)t/\ln t$ という既知の漸近的性質から、$\phi^k_1(T+U) - \phi^k_1(T) \sim U$ および $\phi^k_1(T) - \phi^{k+1}_1(T+U) \sim (1-c)T/\ln T$ という漸近的推定を得る。
• 最終的に、還元された積分に対して平均値の定理を適用し、$\int_T^{T+U} \prod_{k=0}^n \tilde{Z}^2[\phi^k_1(t)] dt \sim U \ln^{n+1} T$ を得る。

実験結果

リサーチクエスチョン

• RQ1 反復ヤコブの階段点 $\phi^k_1(t)$ における $Z^2$ 値の積は、区間 $[T, T+U]$ 上で漸近的に評価可能か？
• RQ2 積 $\prod_{k=0}^n Z^2[\phi^k_1(t)]$ の平均値は、任意の固定された $n$ に対して、$\sim U \ln^{n+1} T$ のべき対数的成長を示すか？
• RQ3 この漸近公式は、再帰的変数変換と $\phi_1(t)$ の既知の漸近的性質を用いて導出可能か？
• RQ4 非連結な区間における $\phi^k_1(t)$ の点での $Z^2$ 値の間の非局所的相互作用は、この積分の形で定量的に表現可能か？

主な発見

• 固定された $n \in \mathbb{N}$ および $U = T^{1/3+2\epsilon}$ に対して、$T \to \infty$ のとき、積分 $\int_T^{T+U} \prod_{k=0}^n Z^2[\phi^k_1(t)] dt$ は $U \ln^{n+1} T$ に漸近的に等価である。
• $\phi^k_1(T+U) - \phi^k_1(T) \sim U$ という漸近的性質は、すべての $k = 0, \dots, n+1$ に対して成り立ち、反復による区間長の保存を保証する。
• 隣接する反復セグメント $[\phi^k_1(T), \phi^k_1(T+U)]$ と $[\phi^{k-1}_1(T), \phi^{k-1}_1(T+U)]$ 間の距離 $\rho$ は $T \to \infty$ のとき発散し、それらの無限に離れた分離が確認される。
• $n=1$ の場合の公式は、バラスブラマニアン、ヒース＝ブラウン、イヴィッチの既存理論では導出不可能であり、本結果の新規性を強調する。
• ある $\tau \in [T, T+U]$ における積 $\prod_{k=0}^n Z^2[\phi^k_1(\tau)]$ の平均値は、補題1により漸近的に $\ln^{n+1} T$ に一致する。
• 絶対値 $|Z[\phi^k_1(\tau)]|$ の幾何平均は $\left( \prod_{k=0}^n |Z[\phi^k_1(\tau)]|^2 \right)^{1/(n+1)} \sim \ln T$ を満たし、対数平均は $\frac{1}{n+1} \sum_{k=0}^n \ln |Z[\phi^k_1(\tau)]| \sim \frac{1}{2} \ln \ln T$ を満たす。