# Euler product

In number theory, an Euler product is an expansion of a Dirichlet series into an infinite product indexed by prime numbers. The name arose from the case of the Riemann zeta-function, where such a product representation was proved by Leonhard Euler.

## Definition

In general, if ${\displaystyle a}$ is a multiplicative function, then the Dirichlet series

${\displaystyle \sum _{n}a(n)n^{-s}\,}$

is equal to

${\displaystyle \prod _{p}P(p,s)\,}$

where the product is taken over prime numbers ${\displaystyle p}$, and ${\displaystyle P(p,s)}$ is the sum

${\displaystyle 1+a(p)p^{-s}+a(p^{2})p^{-2s}+\cdots .}$

In fact, if we consider these as formal generating functions, the existence of such a formal Euler product expansion is a necessary and sufficient condition that ${\displaystyle a(n)}$ be multiplicative: this says exactly that ${\displaystyle a(n)}$ is the product of the ${\displaystyle a(p^{k})}$ whenever ${\displaystyle n}$ factors as the product of the powers ${\displaystyle p^{k}}$ of distinct primes ${\displaystyle p}$.

An important special case is that in which ${\displaystyle a(n)}$ is totally multiplicative, so that ${\displaystyle P(p,s)}$ is a geometric series. Then

${\displaystyle P(p,s)={\frac {1}{1-a(p)p^{-s}}},}$

as is the case for the Riemann zeta-function, where ${\displaystyle a(n)=1}$, and more generally for Dirichlet characters.

## Convergence

In practice all the important cases are such that the infinite series and infinite product expansions are absolutely convergent in some region

Re(s) > C

that is, in some right half-plane in the complex numbers. This already gives some information, since the infinite product, to converge, must give a non-zero value; hence the function given by the infinite series is not zero in such a half-plane.

In the theory of modular forms it is typical to have Euler products with quadratic polynomials in the denominator here. The general Langlands philosophy includes a comparable explanation of the connection of polynomials of degree m, and the representation theory for GLm.

## Examples

The Euler product attached to the Riemann zeta function ${\displaystyle \zeta (s)}$, using also the sum of the geometric series, is

${\displaystyle \prod _{p}(1-p^{-s})^{-1}=\prod _{p}{\Big (}\sum _{n=0}^{\infty }p^{-ns}{\Big )}=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\zeta (s)}$.
${\displaystyle \prod _{p}(1+p^{-s})^{-1}=\sum _{n=1}^{\infty }{\frac {\lambda (n)}{n^{s}}}={\frac {\zeta (2s)}{\zeta (s)}}}$

Using their reciprocals, two Euler products for the Möbius function ${\displaystyle \mu (n)}$ are,

${\displaystyle \prod _{p}(1-p^{-s})=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}={\frac {1}{\zeta (s)}}}$

and,

${\displaystyle \prod _{p}(1+p^{-s})=\sum _{n=1}^{\infty }{\frac {|\mu (n)|}{n^{s}}}={\frac {\zeta (s)}{\zeta (2s)}}}$

and taking the ratio of these two gives,

${\displaystyle \prod _{p}{\Big (}{\frac {1+p^{-s}}{1-p^{-s}}}{\Big )}=\prod _{p}{\Big (}{\frac {p^{s}+1}{p^{s}-1}}{\Big )}={\frac {\zeta (s)^{2}}{\zeta (2s)}}}$

Since for even s the Riemann zeta function ${\displaystyle \zeta (s)}$ has an analytic expression in terms of a rational multiple of ${\displaystyle \pi ^{s}}$, then for even exponents, this infinite product evaluates to a rational number. For example, since ${\displaystyle \zeta (2)=\pi ^{2}/6}$, ${\displaystyle \zeta (4)=\pi ^{4}/90}$, and ${\displaystyle \zeta (8)=\pi ^{8}/9450}$, then,

${\displaystyle \prod _{p}{\Big (}{\frac {p^{2}+1}{p^{2}-1}}{\Big )}={\frac {5}{2}}}$
${\displaystyle \prod _{p}{\Big (}{\frac {p^{4}+1}{p^{4}-1}}{\Big )}={\frac {7}{6}}}$

and so on, with the first result known by Ramanujan. This family of infinite products is also equivalent to,

${\displaystyle \prod _{p}(1+2p^{-s}+2p^{-2s}+\cdots )=\sum _{n=1}^{\infty }2^{\omega (n)}n^{-s}={\frac {\zeta (s)^{2}}{\zeta (2s)}}}$

where ${\displaystyle \omega (n)}$ counts the number of distinct prime factors of n and ${\displaystyle 2^{\omega (n)}}$ the number of square-free divisors.

If ${\displaystyle \chi (n)}$ is a Dirichlet character of conductor ${\displaystyle N}$, so that ${\displaystyle \chi }$ is totally multiplicative and ${\displaystyle \chi (n)}$ only depends on n modulo N, and ${\displaystyle \chi (n)=0}$ if n is not coprime to N then,

${\displaystyle \prod _{p}(1-\chi (p)p^{-s})^{-1}=\sum _{n=1}^{\infty }\chi (n)n^{-s}}$.

Here it is convenient to omit the primes p dividing the conductor N from the product. Ramanujan in his notebooks tried to generalize the Euler product for Zeta function in the form:

${\displaystyle \prod _{p}(x-p^{-s})\approx {\frac {1}{\operatorname {Li} _{s}(x)}}}$

## Notable constants

Many well known constants have Euler product expansions.

${\displaystyle \pi /4=\sum _{n=0}^{\infty }\,{\frac {(-1)^{n}}{2n+1}}=1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\cdots ,}$

can be interpreted as a Dirichlet series using the (unique) Dirichlet character modulo 4, and converted to an Euler product of superparticular ratios

${\displaystyle \pi /4=\left(\prod _{p\equiv 1{\pmod {4}}}{\frac {p}{p-1}}\right)\cdot \left(\prod _{p\equiv 3{\pmod {4}}}{\frac {p}{p+1}}\right)={\frac {3}{4}}\cdot {\frac {5}{4}}\cdot {\frac {7}{8}}\cdot {\frac {11}{12}}\cdot {\frac {13}{12}}\cdots ,}$

where each numerator is a prime number and each denominator is the nearest multiple of four.[1]

Other Euler products for known constants include:

${\displaystyle \prod _{p>2}{\Big (}1-{\frac {1}{(p-1)^{2}}}{\Big )}=0.660161...}$
${\displaystyle {\frac {\pi }{4}}\prod _{p=1\,{\text{mod}}\,4}{\Big (}1-{\frac {1}{p^{2}}}{\Big )}^{1/2}=0.764223...}$
${\displaystyle {\frac {1}{\sqrt {2}}}\prod _{p=3\,{\text{mod}}\,4}{\Big (}1-{\frac {1}{p^{2}}}{\Big )}^{-1/2}=0.764223...}$

Murata's constant (sequence A065485 in OEIS):

${\displaystyle \prod _{p}{\Big (}1+{\frac {1}{(p-1)^{2}}}{\Big )}=2.826419...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {1}{(p+1)^{2}}}{\Big )}=0.775883...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {1}{p(p-1)}}{\Big )}=0.373955...}$
${\displaystyle \prod _{p}{\Big (}1+{\frac {1}{p(p-1)}}{\Big )}={\frac {315}{2\pi ^{4}}}\zeta (3)=1.943596...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {1}{p(p+1)}}{\Big )}=0.704442...}$

(with reciprocal) :

${\displaystyle \prod _{p}{\Big (}1+{\frac {1}{p^{2}+p-1}}{\Big )}=1.419562...}$
${\displaystyle {\frac {1}{2}}+{\frac {1}{2}}\prod _{p}{\Big (}1-{\frac {2}{p^{2}}}{\Big )}=0.661317...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {1}{p^{2}(p+1)}}{\Big )}=0.881513...}$
${\displaystyle \prod _{p}{\Big (}1+{\frac {1}{p^{2}(p-1)}}{\Big )}=1.339784...}$
${\displaystyle \prod _{p>2}{\Big (}1-{\frac {p+2}{p^{3}}}{\Big )}=0.723648...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {2p-1}{p^{3}}}{\Big )}=0.428249...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {3p-2}{p^{3}}}{\Big )}=0.286747...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {p}{p^{3}-1}}{\Big )}=0.575959...}$
${\displaystyle \prod _{p}{\Big (}1+{\frac {3p^{2}-1}{p(p+1)(p^{2}-1)}}{\Big )}=2.596536...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {3}{p^{3}}}+{\frac {2}{p^{4}}}+{\frac {1}{p^{5}}}-{\frac {1}{p^{6}}}{\Big )}=0.678234...}$
${\displaystyle \prod _{p}{\Big (}1-{\frac {1}{p}}{\Big )}^{7}{\Big (}1+{\frac {7p+1}{p^{2}}}{\Big )}=0.0013176...}$

## Notes

1. {{#invoke:citation/CS1|citation |CitationClass=citation }}.

## References

• G. Polya, Induction and Analogy in Mathematics Volume 1 Princeton University Press (1954) L.C. Card 53-6388 (A very accessible English translation of Euler's memoir regarding this "Most Extraordinary Law of the Numbers" appears starting on page 91)
• Template:Apostol IANT (Provides an introductory discussion of the Euler product in the context of classical number theory.)
• G.H. Hardy and E.M. Wright, An introduction to the theory of numbers, 5th ed., Oxford (1979) ISBN 0-19-853171-0 (Chapter 17 gives further examples.)
• George E. Andrews, Bruce C. Berndt, Ramanujan's Lost Notebook: Part I, Springer (2005), ISBN 0-387-25529-X
• G. Niklasch, Some number theoretical constants: 1000-digit values"