[論文レビュー] Jacob's ladders and the asymptotically approximate solutions of a nonlinear diophantine equation

Jan Moser|arXiv (Cornell University)|Jan 18, 2010

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

ひとこと要約

本稿は、非線形積分方程式の解たるヤコブの階段を用いた幾何的アプローチを提案し、$ζ^2(1/2+it)$ のハーディー＝リトルウッド公式に関連する非線形ディオファントス方程式の漸近的近似解（AAS）を導出する。短区間における$Z^2(t)$の積分構造を活用して、$τ = 1$および$τ \in [\eta, 1-\eta]$に対して、非可算なAASの連続体の存在を証明した。これはバラスブラマニアン、ヒース＝ブラウン、イヴィッチの先行研究の制限を超えるものである。

ABSTRACT

The nonlinear equation which is connected with the main term of the Hardy-Littlewood formula for $ζ^2(1/2+it)$ is studied. In this direction I obtain the fine results which cannot be reached by published methods of Balasubramanian, Heath-Brown and Ivic in the field of the Hardy-Littlewood integral.

研究の動機と目的

• 既存の手法—特にバラスブラマニアン、ヒース＝ブラウン、イヴィッチの手法—の制限を克服し、ハーディー＝リトルウッド積分$\int Z^2(t) dt$ の短いおよび超微細な区間を分析する。
• ヤコブの階段の幾何的性質に基づく新しい理論的枠組みを構築し、短区間における$Z^2(t)$の漸近的挙動を分析する。
• ハーディー＝リトルウッド公式の主要項から導かれる非線形ディオファントス方程式に対して、非可算な漸近的近似解（AAS）の連続体の存在を証明する。
• 新しい漸近的公式における$\int_T^{T+U} Z^2(t) dt$ の誤差項が$T \to \infty$のとき0に収束することを示し、バラスブラマニアンの公式とは異なり、誤差が有界でない点を凌駒する。
• 古典的解析的整数論的手法では到達できない結果を、特に$U \leq T^{1/6 - \epsilon/2}$ の区間に対して得られることを示す。

提案手法

• 本手法は、Titchmarsh-Kober-Atkinson（TKA）公式を基盤とし、ヤコブの階段$\varphi(T)$（この方程式の解として定義される）を含む非線形積分方程式（4.7）にその構造を符号化する。
• ヤコブの階段の幾何的性質を用いて、$U \in \left(0, \frac{T}{\ln T}\right]$ の範囲で成り立つ乗法的漸近的公式（4.10）を導出する：$\int_T^{T+U} Z^2(t) dt = U \ln T \cdot \tan[\alpha(T,U)] \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\}$。
• 加法的公式（4.9）を用いて、積分を$U \ln(\varphi(T)/2 \cdot e^{-a}) \tan[\alpha(T,U)] + \mathcal{O}(T^{-1/3 + 4\epsilon})$ の形に表現し、$Z^2(t)$ の挙動と回転弦構成における角$\alpha(T,U)$ を関連付ける。
• 漸近的近似解（AAS）は、$\bar{\tau} \sim S(\tilde{T}, \tilde{U}) / \ln \tilde{T}$ を満たすペア$(\tilde{T}, \tilde{U})$ として定義され、$\tilde{T} \in [T_0, T_0 + 1.1U_0]$、$\tilde{U} \in (0, T_0^{1/6 - \epsilon/2}]$、$T_0$ が十分大きい。
• 理論は、各$T_0$（$τ = 1$ の場合）または各$\zeta(1/2 + it)$ の零点$\gamma$（$τ \in [\eta, 1 - \eta]$ の場合）に対して、このようなAASの連続体が存在することに依存し、回転弦の二重漸近的公式（3.4）から導出される。
• 主要な技術的ステップは、$\frac{1}{U} \int_T^{T+U} Z^2(t) dt = S(T,U) + \mathcal{O}(T^{-1/6})$ を証明することであり、これは、補題2と$\vartheta(t)$ の漸近展開を用いて、和$S(T,U)$ と$Z^2(t)$ 積分を結びつける。

実験結果

リサーチクエスチョン

• RQ1 短区間における$\int_T^{T+U} Z^2(t) dt$ の漸近的挙動は、$T \to \infty$ のとき誤差項が0に収束する形で記述可能か？バラスブラマニアンの公式とは異なり、誤差が有界でない点を考慮して。
• RQ2 非線形ディオファントス方程式$\tau = S(T,U)/\ln T$ は、$\tau \in [\eta, 1 - \eta] \cup \{1\}$ に対して非可算なAASの連続体を有するか？
• RQ3 ヤコブの階段の幾何的構造を用いて、古典的手法では到達できない$Z^2(t)$ 積分の漸近的公式を導出可能か？特にバラスブラマニアン、ヒース＝ブラウン、イヴィッチの手法では到達できない領域について。
• RQ4 ハーディー＝リトルウッド積分の超微細および短い区間について、既存の漸近展開に見られる無限大に発散する誤差項を回避する理論を構築可能か？
• RQ5 回転弦構成における角$\alpha(T,U)$ の役割は何か？また、ディオファントス方程式の解の漸近的密度とどのように関係するか？

主な発見

• $τ = 1$ の場合、方程式$1 = S(T,U)/\ln T$ に対して、十分大きな各$T_0$ に対して非可算な漸近的近似解（AAS）の連続体が存在する。
• $\tau \in [\eta, 1 - \eta]$ の各$\tau$ に対して、$\zeta(1/2 + it)$ の十分大きな零点$\gamma$ に対応するAASの連続体が存在し、ゼータ関数の零点と解集合との間に深い関係が確立される。
• 乗法的漸近的公式（4.10）が成立する：$U \leq T / \ln T$ の範囲で$\int_T^{T+U} Z^2(t) dt = U \ln T \cdot \tan[\alpha(T,U)] \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\}$ であり、誤差項は$T \to \infty$ のとき0に収束する。
• 新しい漸近的公式（4.8）における$\int_0^T Z^2(t) dt$ の誤差項は$\mathcal{O}(\ln T / T)$ であり、$T \to \infty$ のとき0に収束する。これに対してバラスブラマニアンの公式では誤差が$\mathcal{O}(T^{1/3 + \epsilon})$ と無限大に発散する。
• ヤコブの階段に基づく手法は、バラスブラマニアン、ヒース＝ブラウン、イヴィッチの手法では到達できない結果をもたらす。特に$U \leq T^{1/6 - \epsilon/2}$ の区間では、彼らの推定が失敗するが、本手法では有効である。
• 漸近的公式（3.6）により、$\frac{1}{\tilde{U}} \int_{\tilde{T}}^{\tilde{T}+\tilde{U}} Z^2(t) dt = \tau \ln \tilde{T} \left\{1 + \mathcal{O}\left(\frac{\ln\ln \tilde{T}}{\ln \tilde{T}}\right)\right\}$ が非可算な$\tilde{T}, \tilde{U}$ の連続体で成り立つことが確認され、$\tau \in [\eta, 1 - \eta]$ に対するAASの存在が裏付けられる。