Dirichlet series

Dirichlet series
Name	Dirichlet series
Field	Mathematical analysis
Introduced by	Peter Gustav Lejeune Dirichlet
Year	1837

Dirichlet series are complex series of the form ∑_{n=1}^∞ a_n n^{-s} used in analysis, analytic number theory, and related fields. They serve as generating functions connecting arithmetic sequences with complex-variable methods developed by figures such as Bernhard Riemann, Leonhard Euler, G. H. Hardy, and John E. Littlewood. Dirichlet series underpin central results associated with Riemann zeta function, Dirichlet L-function, Prime Number Theorem, and techniques attributed to Srinivasa Ramanujan and Atle Selberg.

Definition and basic properties

A Dirichlet series is defined by coefficients a_n and a complex variable s, appearing in the canonical form ∑_{n=1}^∞ a_n n^{-s}; early systematic study is credited to Peter Gustav Lejeune Dirichlet and later expanded by Bernhard Riemann, Richard Dedekind, and Ernst Eduard Kummer. Basic properties include multiplicative structure when a_n arise from multiplicative functions studied by Leonhard Euler and Adrien-Marie Legendre, absolute convergence regions examined by Godfrey Harold Hardy and John E. Littlewood, and connections to Euler products used in proofs by Euclid (classical context) and modern expositors such as Harold Davenport. Formal manipulations mirror Mellin transform methods employed by Henri Poincaré and Émile Borel and relate to spectral interpretations explored by Atle Selberg and André Weil.

Convergence and abscissa of convergence

Convergence questions for ∑ a_n n^{-s} involve abscissas introduced in work by Issai Schur and formalized by Aurel Wintner and Salomon Bochner; key notions include abscissa of absolute convergence, uniform convergence, and simple convergence studied by G. H. Hardy and J. E. Littlewood. Results compare growth of partial sums with estimates used by Pafnuty Chebyshev and Srinivasa Ramanujan and exploit estimates credited to Otto Heaviside-style transforms employed by George Pólya and Norbert Wiener. Abelian and Tauberian theorems of Niels Henrik Abel, G. H. Hardy, John Littlewood, and Jacques Hadamard link boundary behavior at the abscissa to summation methods utilized by Edmund Landau and A. Zygmund.

Analytic continuation and functional equations

Analytic continuation beyond regions of convergence traces to Bernhard Riemann's analytic continuation of the zeta function and to functional equations discovered for L-series by Peter Gustav Lejeune Dirichlet, Ernst Hecke, and André Weil. Techniques involve gamma factors familiar from Carl Friedrich Gauss's work, Poisson summation associated with Joseph Fourier and Henri Poincaré, and spectral methods of Atle Selberg and Harish-Chandra. Functional equations often intertwine with automorphic forms studied by Erich Hecke, Robert Langlands, and Harvey S. Diamond; converse theorems by Jacquet and Langlands situate analytic properties within representation-theoretic frameworks influenced by William Fulton and Robert Langlands.

Examples and special cases

Prototype examples include the Riemann zeta function, Dirichlet L-function attached to characters from Peter Gustav Lejeune Dirichlet's theorem on arithmetic progressions, and Dedekind zeta function associated to number fields studied by Richard Dedekind. Other instances are L-functions of modular forms investigated by Goro Shimura and Yutaka Taniyama, Hecke L-series derived by Erich Hecke, and Artin L-functions introduced by Emil Artin. Multiplicative examples arise from arithmetic functions such as the Möbius function and Liouville function, while generating series like the Rogers–Ramanujan identities and Dirichlet series connected to partition theory reflect contributions by Srinivasa Ramanujan and Leonhard Euler. Selberg zeta functions and Hasse–Weil zeta functions appear in contexts explored by Atle Selberg and André Weil.

Operations and multiplicative structures

Dirichlet convolution and multiplicative structure are central: convolution relates coefficients via sums over divisors as in work by Leonhard Euler and Adrien-Marie Legendre, while Euler product factorization into primes echoes themes from Euclid and explicit formulae by Riemann. Multiplicative functions classified by Alfred Tarski-style algebraic frameworks and studied by Paul Erdős and Pál Turán produce multiplicative Dirichlet series with Euler products used in zero-density estimates by A. Selberg and H. L. Montgomery. Formal operations include termwise differentiation and Mellin transforms developed by Marcel Riesz and analytic manipulations applied by G. H. Hardy and John Littlewood in bounding coefficients and location of zeros.

Applications in number theory and analysis

Dirichlet series are instrumental in proofs of the Prime Number Theorem by Jacques Hadamard and Charles Jean de la Vallée Poussin, in Dirichlet's theorem on primes in progressions by Peter Gustav Lejeune Dirichlet, and in modern developments of the Langlands program advanced by Robert Langlands and collaborators. They underpin explicit formulae connecting zeros to primes, used by Bernhard Riemann and extended by Atle Selberg and Hugh Montgomery; moments and nonvanishing results engage techniques from Iwaniec and Henryk Iwaniec and Erdős-related combinatorial methods. Analytic continuation and spectral interpretations connect to Selberg trace formula and conjectures of André Weil and Pierre Deligne, while computational aspects draw on algorithms developed by Jonas Lindkvist-style numerical analysts and explicit verifications by teams led by Andrew Odlyzko and Richard Brent.

Category:Complex analysis