Convergence and Analytic Properties

Understanding the convergence behavior and analytic properties of Dirichlet series is essential for applying complex analysis techniques to number theory.

DefinitionHalf-Planes of Convergence

A Dirichlet series $F(s) = \sum a_n/n^s$ defines three critical regions:

Absolute convergence: $\Re(s) > \sigma_a$ , where the series is absolutely convergent
Conditional convergence: $\sigma_c < \Re(s) \leq \sigma_a$ , where the series converges but not absolutely
Divergence: $\Re(s) \leq \sigma_c$

The convergence is uniform on compact subsets of the half-plane $\Re(s) > \sigma_c$ , making $F(s)$ holomorphic there.

ExampleComputing Abscissas

For $F(s) = \sum_{n=1}^{\infty} a_n/n^s$ :

If $|a_n| \leq C$ for all $n$ , then $\sigma_a \leq 1$
If $a_n = \mu(n)$ , then $\sigma_c = 1/2$ (equivalent to RH!) and $\sigma_a = 1$
If $a_n = 1$ (zeta function), then $\sigma_c = \sigma_a = 1$

TheoremUniqueness Theorem

If two Dirichlet series $F(s) = \sum a_n/n^s$ and $G(s) = \sum b_n/n^s$ agree on a set with an accumulation point in their common region of convergence, then $a_n = b_n$ for all $n$ .

This means Dirichlet series coefficients are uniquely determined by the function they define.

DefinitionAnalytic Continuation

A Dirichlet series initially defined in a half-plane may extend to a larger domain. The analytic continuation of $F(s)$ to a region beyond $\Re(s) > \sigma_c$ (when it exists) provides crucial information about the arithmetic function encoded in its coefficients.

ExampleFunctional Equations

The Riemann zeta function satisfies the functional equation:

\zeta(s) = 2^s \pi^{s-1} \sin\left(\frac{\pi s}{2}\right) \Gamma(1-s) \zeta(1-s)

This relates values at $s$ and $1-s$ , allowing analytic continuation to all $s \in \mathbb{C}$ except $s=1$ (a simple pole with residue 1).

Remark

Analytic continuation often reveals hidden symmetries and structure. The functional equation of the zeta function, for instance, is intimately connected to the Poisson summation formula and theta functions, linking number theory to modular forms.

The interplay between convergence properties, analytic continuation, and functional equations forms the analytical backbone of modern number theory, enabling techniques from complex analysis to extract deep arithmetic information.