In mathematics, an L-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An L-series is a Dirichlet series, usually convergent on a half-plane, that may give rise to an L-function via analytic continuation.
The theory of L-functions has become a very substantial, and still largely conjectural, part of contemporary analytic number theory. In it, broad generalisations of the Riemann zeta function and the L-series for a Dirichlet character are constructed, and their general properties, in most cases still out of reach of proof, are set out in a systematic way.
We distinguish at the outset between the L-series, an infinite series representation (for example the Dirichlet series for the Riemann zeta function), and the L-function, the function in the complex plane that is its analytic continuation. The general constructions start with an L-series, defined first as a Dirichlet series, and then by an expansion as an Euler product indexed by prime numbers. Estimates are required to prove that this converges in some right half-plane of the complex numbers. Then one asks whether the function so defined can be analytically continued to the rest of the complex plane (perhaps with some poles).