1 Definition and basic form

An Euler product is an infinite product indexed by the prime numbers that represents a function or series arising in number theory. Its basic significance is that it translates additive information in a Dirichlet series into multiplicative structure governed by primes. In many settings, the product converges in a region of the complex plane and then serves as a key analytic tool.

1.1 Infinite products over primes

The standard form of an Euler product is a product over all primes \(p\), \[ \prod_p F(p), \] or, more commonly, a product whose factors depend on a complex variable \(s\), such as \[ \prod_p \left(1-a_p p^{-s}\right)^{-1}. \] Each factor reflects the contribution of a single prime, and the overall product encodes the effect of all prime powers. This structure is especially natural for multiplicative functions, since such functions are determined by their values on prime powers.

1.2 Euler product for the Riemann zeta function

The most famous example is the Riemann zeta function, which for \(\Re(s)>1\) satisfies \[ \zeta(s)=\prod_p \left(1-p^{-s}\right)^{-1}. \] This identity shows that the zeta function can be built directly from the primes. It is one of the central formulas in analytic number theory and is often taken as the prototype for all Euler products.

1.3 Conditions for convergence

Euler products are meaningful only under suitable convergence conditions. In general, convergence depends on the size of the local factors and the region of the complex variable where the product is evaluated. When convergence holds, the product defines an analytic function in that region.

1.3.1 Absolute convergence

Absolute convergence is the strongest and most useful form of convergence for Euler products. It typically occurs when the sum of the absolute values of the logarithms of the factors converges. For products like the zeta function's Euler product, absolute convergence holds in the half-plane \(\Re(s)>1\).

1.3.2 Region of validity

The region of validity is usually a right half-plane for Dirichlet series and related products. Outside that region, the product may diverge even if the associated function admits analytic continuation. In such cases, the Euler product remains important as a formal identity or as an expression valid after suitable interpretation.

1.4 Formal versus analytic interpretation

An Euler product can be viewed in two ways. Formally, it expresses a series in terms of prime-indexed factors and reveals multiplicative structure. Analytically, it is an actual convergent product defining a function on a domain. The distinction matters because many important formulas are first established in a convergence region and only later extended by continuation or related methods.

2 Historical background

Euler products arose from attempts to understand arithmetic series through factorization into prime components. They became a foundational idea in number theory and later played a decisive role in analytic methods involving primes and special functions.

2.1 Euler's original work

Leonhard Euler discovered the product formula for the zeta function in the 18th century while studying sums of reciprocals of integers and prime-related identities. His argument used the unique factorization of integers into primes and linked divergent and convergent series in a novel way. This insight was among the first to show that primes could be studied through analytic expressions.

2.2 Development in analytic number theory

In the 19th and 20th centuries, Euler products became central to analytic number theory. Mathematicians used them to study prime distribution, divisor sums, and class numbers, as well as to formulate and analyze \(L\)-functions. The product representation provided a bridge between arithmetic and complex analysis.

Euler products underlie many classical identities involving primes and arithmetic functions. They explain how multiplicative coefficients in a Dirichlet series arise from local factors at each prime. This viewpoint is especially useful when proving formulas that connect global sums with prime-by-prime data.

3 Relationship with Dirichlet series

Euler products and Dirichlet series are closely linked. A Dirichlet series can often be factored into prime contributions when its coefficients are multiplicative, and conversely, an Euler product can usually be expanded into a Dirichlet series.

3.1 Multiplicative functions

A function \(a(n)\) is multiplicative if \(a(mn)=a(m)a(n)\) whenever \(m\) and \(n\) are coprime. Such functions are naturally adapted to Euler products because their values on all integers are determined by their values on prime powers. This property explains why multiplicative arithmetic functions frequently produce prime-indexed products.

3.2 Dirichlet series expansions

A Dirichlet series has the form \[ \sum_{n=1}^\infty \frac{a(n)}{n^s}. \] When \(a(n)\) is multiplicative, the series often factors into an Euler product. Expanding each local factor by a geometric series recovers the coefficients \(a(n)\) from the product representation. The factorization is one of the principal tools for analyzing such series.

3.3 Recovering coefficients from prime factors

The coefficients of a Dirichlet series can often be reconstructed by multiplying out the prime-power contributions from each local factor. This process reflects unique factorization in the integers: every \(n\) decomposes into prime powers, and the coefficient at \(n\) results from the corresponding combination of local terms. In this way, the Euler product stores the entire arithmetic sequence in multiplicative form.

4 Euler product for the Riemann zeta function

The zeta function is the standard model for Euler products. Its factorization is both a key identity in itself and a gateway to deeper results about primes and analytic continuation.

4.1 Derivation from the geometric series

For \(\Re(s)>1\), each factor \[ (1-p^{-s})^{-1} \] can be expanded as a geometric series: \[ 1+p^{-s}+p^{-2s}+\cdots. \] Multiplying over all primes yields a sum over all integers, since each integer has a unique prime factorization. The result is the zeta function \[ \zeta(s)=\sum_{n=1}^\infty n^{-s}. \]

4.2 Connection with the primes

The product formula shows that the zeta function is built from primes rather than from integers directly. This provides a precise sense in which the primes control the structure of arithmetic. Many later results in number theory exploit this identity to translate questions about primes into questions about complex functions.

4.3 Analytic continuation issues

Although the Euler product is valid only in its convergence region, the zeta function itself extends to a meromorphic function on the complex plane, with a single pole at \(s=1\). The product representation does not extend in the same simple form beyond \(\Re(s)>1\). Nevertheless, the original formula remains essential because it links the analytic continuation to arithmetic content.

4.4 Implications for the distribution of primes

The zeta function's Euler product is one of the main starting points for studying prime distribution. By relating \(\zeta(s)\) to primes, it supports methods that compare zeros and poles of zeta-like functions with asymptotic properties of prime counting functions. This connection is central to the analytic theory of primes.

5 Generalizations to L-functions

Euler products extend far beyond the zeta function. Many important \(L\)-functions share a similar prime-factorized form, though their local terms may be more elaborate.

5.1 Dirichlet L-functions

Dirichlet \(L\)-functions generalize the zeta function by inserting a periodic arithmetic character into the Dirichlet series. Their Euler products reflect the same multiplicative structure, with factors modified by the character values at primes. These functions are fundamental in studying arithmetic progressions and related counting problems.

5.2 Dedekind zeta functions

Dedekind zeta functions arise from number fields and encode ideal-theoretic information. Their Euler products are taken over prime ideals rather than rational primes, which makes them natural analogues of the classical zeta function in algebraic number theory. They capture how prime factorization behaves in extended number systems.

5.3 Automorphic L-functions

Automorphic \(L\)-functions come from advanced areas of modern number theory and representation theory. Their Euler products often have local factors reflecting deep symmetries and spectral data. Although more complicated than the classical case, they preserve the essential idea that global information decomposes into local prime-by-prime terms.

5.4 Local factors

The individual terms in an Euler product are called local factors. They describe the contribution from each prime or prime ideal and may involve polynomials, matrices, or character values. Understanding these local pieces is often the first step in studying the global analytic behavior of the entire \(L\)-function.

6 Convergence and analytic properties

The analytic behavior of an Euler product depends on how quickly its local factors approach 1. Convergence, singularities, and zeros are all tied to the structure of the factors and to the function they represent.

6.1 Absolute convergence criteria

A common criterion for absolute convergence is that the sum of the magnitudes of the logarithms of the local factors converges. For products arising from Dirichlet series, this often corresponds to a right half-plane where the exponents make the prime contributions sufficiently small. Absolute convergence permits rearrangement and termwise manipulation.

6.2 Conditional convergence

Some Euler products converge only conditionally, or only after being interpreted through analytic continuation or regularization. In such cases, the product cannot always be rearranged freely. Even so, the formal structure may still reveal important arithmetic information and guide deeper analysis.

6.3 Singularities and poles

When an Euler product represents a meromorphic function, singularities of the function may correspond to special arithmetic or analytic phenomena. For example, the zeta function has a simple pole at \(s=1\), reflecting the density of integers and the behavior of the product near its boundary of convergence. Poles often indicate a breakdown of naive multiplicative expansion.

6.4 Relationship with zeros of associated functions

Zeros of functions with Euler products often carry major arithmetic significance. In the classical setting, the zeros of the zeta function influence estimates for primes and related counting functions. The product representation itself does not directly locate the zeros, but it is part of the analytic framework in which they are studied.

7 Applications

Euler products are used throughout number theory because they compress arithmetic data into a form suited for analytic estimates. Their applications range from prime-counting to divisor problems and identities involving Möbius inversion.

7.1 Prime number theory

In prime number theory, Euler products provide the foundation for many proofs and estimates involving primes. They make explicit the relationship between prime distributions and analytic properties of zeta and \(L\)-functions. This connection is one of the main reasons Euler products are so prominent in the subject.

7.2 Multiplicative number theory

Multiplicative number theory studies arithmetic functions that respect coprimality, and Euler products are one of its basic tools. They help express generating series, characterize coefficients, and compare global behavior with prime-local data. Many standard identities in the field are easiest to derive from product formulas.

7.3 Estimation of arithmetic functions

Euler products can be used to estimate sums of arithmetic functions by converting them into analytic objects. Once a function is expressed through a product or its logarithm, analytic methods such as contour integration or Tauberian arguments may be applied. This approach is especially effective for divisor sums and related quantities.

7.4 Connections with the Möbius function

The Möbius function is closely tied to Euler products through inversion formulas. Its generating series is related to the reciprocal of the zeta function, and this relation is central to many inversion identities. The Möbius function therefore serves as a basic example of how Euler products encode arithmetic cancellation.

Euler products are connected to several standard notions in number theory and analysis. These related ideas help place the product representation within a broader mathematical framework.

8.1 Prime zeta function

The prime zeta function is a series formed by summing reciprocal powers of primes. It is distinct from the Riemann zeta function but is naturally related to Euler products because both are built from prime-indexed arithmetic data. It often appears in discussions of prime distribution and logarithmic expansions.

8.2 Dirichlet convolution

Dirichlet convolution is an operation on arithmetic functions that reflects multiplicative structure. It is closely linked to Euler products because factorization of Dirichlet series corresponds to convolution identities among coefficients. This relationship is fundamental in multiplicative number theory.

8.3 Unique factorization

Unique factorization is the theorem that every positive integer decomposes uniquely into prime powers. It is the arithmetic principle behind Euler products, since the product over primes mirrors the decomposition of integers into their prime constituents. Without unique factorization, the classical Euler product would lose its simplest interpretation.

8.4 Product expansions in analysis

Product expansions occur in many parts of analysis, where functions are written as infinite products over zeros, poles, or other structured sets. Euler products are a special arithmetic case of this broader idea. Their distinctive feature is that the indexing set is given by primes and the factors encode multiplicative arithmetic rather than general analytic data.