Continuation of Dirichlet Series I

Basic Information

• Paper ID: 2510.06523
• Title: Continuation of Dirichlet series I
• Author: Kevin Smith
• Classification: math.NT (Number Theory)
• Publication Date: October 21, 2025 (arXiv v3)
• Paper Link: https://arxiv.org/abs/2510.06523

Abstract

This paper investigates Dirichlet series as linear functionals on inner product spaces of meromorphic functions, establishing relationships between discontinuities of the former on the boundary and poles and zeros of the latter on the imaginary axis. As an application of the Delange Tauberian theorem, the paper proves conjectured asymptotic formulas in the additive divisor problem under conditions that certain meromorphic functions and their derivatives are nonzero on the imaginary axis.

Research Background and Motivation

Core Problem

The central problem addressed is how to establish analytic continuation theory for Dirichlet series in the absence of Euler product representations, particularly how to detect and eliminate linear obstructions.

Problem Significance

1. Limitations of Classical Methods: Traditional proofs of the prime number theorem rely on Euler products to eliminate linear obstructions, but many important Dirichlet series lack Euler product representations
2. Applications of Tauberian Theorems: The Tauberian theorems of Ikehara and Delange provide powerful tools for asymptotic analysis, but require continuity conditions on the boundary
3. Additive Divisor Problem: This is an important open problem in analytic number theory, remaining unsolved for fixed h and k > 2

Limitations of Existing Methods

• The function $C(s) = \zeta(s) + \frac{1}{2}\zeta(s+i) + \frac{1}{2}\zeta(s-i)$ discussed by Pierce, Turnage-Butterbaugh, and Zaman demonstrates obstructions that may arise from linear combinations
• Lack of general methods to detect and eliminate such linear obstructions

Core Contributions

1. Establishes a New Theoretical Framework: Introduces the inner product space $V_k$ and bilinear form $B$, providing a general method for detecting linear obstructions
2. Proves Main Technical Theorem: Theorem 2 establishes relationships between discontinuities and poles/zeros
3. Provides Conditional Results for the Additive Divisor Problem: Theorem 1 proves the asymptotic formula under specific conditions
4. Develops Symplectic Geometric Methods: Utilizes non-degeneracy properties of antisymmetric bilinear forms for analysis

Detailed Methodology

Problem Formulation

Studies Dirichlet series of the form $\sum_{n≥1} \frac{h_n g_n}{n^{1+α}}$ (ℜα > 0), where:

• $h_n = \sum'_{m≤n} f_m$, $f_n = 4\sum'_{m≤n} (-1)^{n-m} h_m$
• The goal is to determine continuity as ℜα → 0

Core Mathematical Structure

Function Space F(δ)

Defined as the set of meromorphic functions with convergent Dirichlet series representations on the domain σ > -δ: $F(s) = \lim_{N→∞} \sum_{n≤N} \frac{f_n}{n^s} \quad (σ > 0)$

satisfying the condition: $\frac{1}{2π} \int_{-∞}^∞ \frac{|F(σ+it)|^2 dt}{|σ+it|^2} < ∞ \quad (σ > 0)$

Inner Product Space V_k

When β_k < 1/2, define $V_k = \text{span}\{F ∪ ζ^k\}$, equipped with inner product: $⟨F,G⟩ = \frac{1}{2π} \int_{-∞}^∞ \frac{F(1/2+it)G(1/2+it) dt}{1/4+t^2}$

Bilinear Form

Define the bilinear form: $B(F,G) = \frac{1}{2πi} \lim_{T→∞} \int_{1/2+iT}^{1/2-iT} \frac{F(s)G(1-s) ds}{s}$

with decomposition: $B(F,G) = B_+(F,G) + B_-(F,G)$

Technical Innovations

Symplectic Geometric Method

Utilizes non-degeneracy properties of the antisymmetric form $B_-$:

• When $B_-$ is non-degenerate on a four-dimensional subspace, that space becomes a symplectic space
• Determines degeneracy through Pfaffian analysis
• Achieves contradiction via rigidity of symplectic spaces

Key Lemmas

Lemma 1: The functions $B(τ_α F^{(a)}, τ_β F^{(b)})$ and $B_-(τ_α F^{(a)}, τ_β F^{(b)})$ are analytic on the domain ℜα, ℜβ > -1/2.

Lemma 2: Under specific conditions, the Pfaffian is nonzero on a dense subset, ensuring non-degeneracy of $B_-$.

Experimental Setup

Theoretical Verification

This is primarily theoretical work, with results verified through mathematical proof. Main verification contents include:

1. Verification of Known Cases: For k ≤ 5, condition (1.20) is known to hold
2. Conditional Results: Under the Lindelöf hypothesis, results hold for all k ∈ ℕ
3. Comparison with Known Results: The k=2 case is consistent with classical results of Ingham and Estermann

Specific Application: Additive Divisor Problem

Consider the Dirichlet series: $F_{h,k}(s) = \sum_{n≥1} \frac{d_k(n+h) - d_k(n)}{n^s} \quad (σ > 0)$

Analytic continuation is established via identity (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)$

Experimental Results

Main Theoretical Results

Theorem 2 (Main Technical Theorem)

If $L_F ∈ V_k^*(G)$ and ℜα₀ = 0, then $\lim_{α→α₀} L_F^{(a)}(1+α)$ is continuous unless there exists a decomposition $D + E = F$ (D,E ∈ F) such that $\lim_{α→α₀} L_E^{(d)}(1+α)$ does not exist and α₀ is a pole of E or a zero of $E^{(d)}$.

Theorem 1 (Additive Divisor Problem)

If $\int_0^∞ \frac{|ζ(1/2+it)|^{2k} dt}{1/4+t^2} < ∞$, then: $\sum_{n≤x} d_k(n)d_k(n+h) ∼ c_{h,k} x(\log x)^{k-1}(\log(x+h))^{k-1} \quad (x → ∞)$

where the constant is: $c_{h,k} = \frac{1}{(k-1)!^2} \prod_p \left(2(1-p^{-1})^{k-1} - (1-p^{-1})^{2k-2}\right) \times \prod_{p|h} [\text{complex expression}]$

Improvements on Known Results

• k=2 case: Ingham's classical result, later refined by Estermann to $O(x^{11/12+ε})$
• Heath-Brown improved the error term to $O(x^{5/6+ε})$
• For k>2: Matomaki, Radziwill, and Tao proved asymptotic expansions for almost all h

Condition Analysis

The validity of results requires excluding the existence of representation (1.22), which will be studied in detail in subsequent work.

Related Work

Classical Tauberian Theory

• Ikehara Theorem: Handles simple pole cases
• Delange Theorem: Allows more general types of singularities
• This paper extends these theories to more complex linear combination cases

Divisor Problem Research

• Ingham-Estermann Method: Enumerates solutions through algebraic means
• Counting Problems in SL_k(Z): More difficult for k>2
• Mean Value Studies: Conrey-Gonek conjecture and related work

Technical Method Comparison

The symplectic geometric method in this paper contrasts with traditional complex analysis approaches, providing new theoretical perspectives.

Conclusions and Discussion

Main Conclusions

1. Establishes a General Framework for Detecting Linear Obstructions, independent of Euler products
2. Provides a Conditional Solution to the Additive Divisor Problem
3. Develops New Technical Methods Based on Symplectic Geometry

Limitations

1. Conditional Results: Depend on specific mean value estimates and non-existence of representations
2. Technical Complexity: Requires deep knowledge of complex analysis and algebraic geometry
3. Scope of Application: Primarily applicable to specific types of Dirichlet series

Future Directions

1. Subsequent Work: Will study representation (1.22) and zeros on the imaginary axis in detail
2. Generalizations: Extend to more general arithmetic functions
3. Computational Aspects: Develop effective numerical verification methods

In-Depth Evaluation

Strengths

1. Strong Theoretical Innovation: Introduces novel symplectic geometric methods for analytic number theory problems
2. High Technical Depth: Skillfully combines complex analysis, linear algebra, and geometric methods
3. Applied Value: Provides new attack routes for the long-standing additive divisor problem
4. Clear Exposition: Precise mathematical exposition with clear logical structure

Weaknesses

1. Conditional Nature of Results: Main results depend on multiple unproven conditions
2. High Technical Threshold: Requires readers to possess substantial mathematical background
3. Computational Complexity: Practical verification and application may face computational difficulties

Impact

1. Theoretical Contribution: Provides new theoretical tools for analytic number theory
2. Methodological Value: Symplectic geometric methods may apply to other problems
3. Inspirational: Provides new insights for research on related problems

Applicable Scenarios

• Analysis of Dirichlet series lacking Euler product representations
• Tauberian theory applications requiring detection of linear obstructions
• Asymptotic analysis of additive number theory problems

References

The paper cites 24 important references covering classical and cutting-edge work in Tauberian theory, analytic number theory, and divisor problems, providing a solid theoretical foundation for the research.

Overall Assessment: This is a high-quality theoretical mathematics paper with significant theoretical value and innovation in analytic number theory. Although the results are conditional, the developed methods and theoretical framework establish an important foundation for further research in this field.