[論文レビュー] Omega results for the divisor and circle problems

K. Soundararajan|ArXiv.org|Feb 1, 2003

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

ひとこと要約

本稿は、Hafnerの手法を多スケール近似技術で精緻化することで、除数問題と円問題における誤差項のオメガ型下界を改善する。Δ(x) および P(x) に対してより強いオメガ結果を確立し、従来よりも大きな振動を示すことを示し、反復対数を含む明示的な指数と、誤差項における改善された増加率を提示する。

ABSTRACT

We obtain new omega results for the error terms in two classical lattice point problems. These results are likely to be the best possible.

研究の動機と目的

• 除数問題における剰余項 Δ(x) および円問題における P(x) の既存のオメガ型下界を改善すること。
• 非優勢項のキャンセルによって制限を受けるHafnerの手法の限界を克服すること。
• 一般の k ≥ 2 に対して、k-除数問題（Piltzの除数問題）への改善されたオメガ結果を拡張すること。
• 誤差項 Δ_k(x) が、従来の結果よりも大きな振幅で振動しうることを示し、特にオメガ推定における符号制約を除去すること。
• d(n)n^{-3/4} の順序付き大きさに基づいて、理論的に可能な最大振動に最も近い理想のオメガ挙動をモデル化する洗練された枠組みを提供すること。

提案手法

• Δ(x²) の漸近展開の滑らか化を用い、d(n)n^{-3/4}cos(4π√n x - π/4) を含む三角和の推定に問題を還元する。
• Dirichletの近似定理を適用し、|M| = M のサイズの集合 M に属するすべての m に対して ∥2√m x∥ ≤ 1/(6L) を満たす x ∈ [X, (6L)^M X] を特定する。
• L 個の異なる点 ℓx (1 ≤ ℓ ≤ L) を用いて、集合 M に属する項の寄与を強調し、複数スケールにわたる建設的干渉を保証する。
• Mellin変換から生じる振動的積分を推定するため、臨界点 t ≈ 2πn^{1/k}x の周辺で静的位相法を適用する。
• Stirlingの公式と複素解析を用いて、臨界帯におけるゼータ関数およびその累乗を近似し、剰余項の精密な漸近的制御を可能にする。
• 部分積分と指数和の推定を用いて、非臨界領域からの誤差寄与を抑え、主要項が優勢であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 除数問題および円問題における誤差項のオメガ下界は、Hafnerの結果を上回って改善可能か？
• RQ2 除数関数 d(n) の分布を考慮すると、Δ(x) および P(x) の最大振幅の振動はどの程度か？
• RQ3 除数関数 d(n) の構造は、k-除数問題における剰余項の大きさにどのように影響するか？
• RQ4 オメガ推定において、誤差項の大規模値の符号を制御可能か、それとも根本的に消失するか？
• RQ5 この手法は、不規則な増加パターンを示す他の算術関数へどの程度一般化可能か？

主な発見

• 本稿では、Δ(x) = Ω((x log x)^{1/4} (log₂x)^{3/4(2^{4/3}−1)} (log₃x)^{−5/8}) が成り立つことが示され、3/4(2^{4/3}−1) ≈ 1.1398 であり、Hafnerの指数 (3+2 log 2)/4 ≈ 1.0965 よりも向上している。
• 円問題について、P(x) = Ω((x log x)^{1/4} (log₂x)^{3/4(2^{1/3}−1)} (log₃x)^{−5/8}) が成り立ち、3/4(2^{1/3}−1) ≈ 0.1949 であり、Hafnerの (log 2)/4 ≈ 0.1732 を上回っている。
• 本手法は、非選択項の和に対する制限的条件を排除でき、Hafnerの枠組み下では不可能だったより大きな誤差項を可能にする。
• k-除数問題について、Δ_k(x) = Ω((x log x)^{(k−1)/(2k)} (log₂x)^{(k+1)/(2k)(k^{2k/(k+1)}−1)} (log₃x)^{−1/2−(k−1)/(4k)}) が成り立ち、Hafnerの結果に比べて log₂x の指数が改善されている。
• 一般には大規模値の符号を制御できないが、k ≡ 3 mod 8 の場合、Ω₊ として成立し、k ≡ 7 mod 8 の場合、Ω₋ として成立する。
• 導出された境界はほぼ最適であり、d(n)n^{-3/4} を降順に並べ、最大 M ≈ log x 個の項を合計した理論的最良のオメガ結果と密接に一致している。