2025-11-25T09:04:17.163568

Continuation of Dirichlet series I

Smith

We study Dirichlet series arising as linear functionals on an inner product space of meromorphic functions and establish a relation between the discontinuities of the former on the boundary and the poles and zeros of the latter on the imaginary axis. As an example application of Delange's Tauberian theorem, it is shown that the conjectured asymptotic in the additive divisor problem follows conditionally on the non-vanishing of a certain meromorphic function and its first derivative on the imaginary axis.

academic

Dirichlet級数の解析接続 I

基本情報

論文ID: 2510.06523
タイトル: Continuation of Dirichlet series I
著者: Kevin Smith
分類: math.NT (数論)
発表日時: 2025年10月21日 (arXiv v3)
論文リンク: https://arxiv.org/abs/2510.06523

要旨

本論文は、亜正則関数の内積空間上の線形汎関数としてのDirichlet級数を研究し、前者の境界における不連続性と後者の虚軸上の極と零点の関係を確立する。Delange陶伯定理の応用として、加法除数問題における予想される漸近公式が、特定の亜正則関数およびその導関数が虚軸上で非零である条件下で成立することを証明する。

研究背景と動機

核心問題

本論文が解決しようとする核心問題は、Euler積表現が欠如している場合に、Dirichlet級数の解析接続理論をいかに確立するか、特に線形障害をいかに検出・排除するかである。

問題の重要性

古典的方法の限界: 素数定理の伝統的証明はEuler積に依存して線形障害を排除するが、多くの重要なDirichlet級数はEuler積表現を欠いている
陶伯定理の応用: IkeharaとDelangeの陶伯定理は漸近解析に強力なツールを提供するが、境界における連続性条件が必要である
加法除数問題: これは解析数論における重要な未解決問題であり、固定されたhおよびk>2の場合については依然として未解決である

既存方法の限界

Pierce、Turnage-Butterbaugh、Zamanが論じた関数 $C(s) = \zeta(s) + \frac{1}{2}\zeta(s+i) + \frac{1}{2}\zeta(s-i)$ は、線形結合が生じうる障害を示している
このような線形障害を検出・排除するための一般的方法が欠如している

核心的貢献

新しい理論的枠組みの確立: 内積空間 $V_k$ と双線形形式 $B$ を導入し、線形障害を検出するための一般的方法を提供する
主要な技術定理の証明: 定理2は不連続性と極・零点の関係を確立する
加法除数問題の条件付き結果の提示: 定理1は特定の条件下で漸近公式を証明する
シンプレクティック幾何学的方法の開発: 反対称双線形形式の非退化性質を利用した分析

方法論の詳細

タスク定義

$\sum_{n≥1} \frac{h_n g_n}{n^{1+α}}$ (ℜα > 0)の形のDirichlet級数を研究する。ここで：

$h_n = \sum'_{m≤n} f_m$ 、 $f_n = 4\sum'_{m≤n} (-1)^{n-m} h_m$
目標はℜα → 0のときの連続性を決定することである

核心的数学構造

関数空間F(δ)

領域σ > -δ上で収束するDirichlet級数表現を持つ亜正則関数の集合として定義される： $F(s) = \lim_{N→∞} \sum_{n≤N} \frac{f_n}{n^s} \quad (σ > 0)$

条件を満たす： $\frac{1}{2π} \int_{-∞}^∞ \frac{|F(σ+it)|^2 dt}{|σ+it|^2} < ∞ \quad (σ > 0)$

内積空間V_k

β_k < 1/2のとき、 $V_k = \text{span}\{F ∪ ζ^k\}$ を定義し、内積を備える： $⟨F,G⟩ = \frac{1}{2π} \int_{-∞}^∞ \frac{F(1/2+it)G(1/2+it) dt}{1/4+t^2}$

双線形形式

双線形形式を定義する： $B(F,G) = \frac{1}{2πi} \lim_{T→∞} \int_{1/2+iT}^{1/2-iT} \frac{F(s)G(1-s) ds}{s}$

分解を持つ： $B(F,G) = B_+(F,G) + B_-(F,G)$

技術的革新点

シンプレクティック幾何学的方法

反対称形式 $B_-$ の非退化性質を利用する：

$B_-$ が4次元部分空間上で非退化のとき、その空間はシンプレクティック空間となる
Pfaffianの分析を通じて退化性を決定する
シンプレクティック空間の剛性を利用して矛盾を導く

主要補題

補題1: 関数 $B(τ_α F^{(a)}, τ_β F^{(b)})$ と $B_-(τ_α F^{(a)}, τ_β F^{(b)})$ は領域ℜα, ℜβ > -1/2上で解析的である。

補題2: 特定の条件下で、Pfaffianは稠密部分集合上で非零であり、 $B_-$ の非退化性を保証する。

実験設定

理論的検証

本論文は主に理論的研究であり、数学的証明を通じて結果を検証する。主な検証内容は以下の通りである：

既知の場合の検証: k ≤ 5の場合、条件(1.20)は既知である
条件付き結果: Lindelöf仮説の下で、結果はすべてのk ∈ ℕに対して成立する
既知結果との比較: k=2の場合はInghamとEstermanの古典的結果と一致する

具体的応用：加法除数問題

Dirichlet級数を考える： $F_{h,k}(s) = \sum_{n≥1} \frac{d_k(n+h) - d_k(n)}{n^s} \quad (σ > 0)$

恒等式(4.2)を通じて解析接続を確立する： $F_{h,k}(s) + \sum_{n≤h} \frac{d_k(n)}{n^s} = \sum_{m≥1} \binom{-s}{m} (-h)^m \left(ζ^k(s+m) - \sum_{n≤h} \frac{d_k(n)}{n^{s+m}}\right)$

実験結果

主要な理論的結果

定理2 (主要な技術定理)

$L_F ∈ V_k^*(G)$ かつℜα₀ = 0ならば、 $\lim_{α→α₀} L_F^{(a)}(1+α)$ は連続である。ただし、分解 $D + E = F$ (D,E ∈ F)が存在して $\lim_{α→α₀} L_E^{(d)}(1+α)$ が存在せず、かつα₀がEの極またはE^{(d)}の零点である場合を除く。