Euler product

Euler product

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

In general, a Dirichlet series of the form

:sum_{n} a(n)n^{-s},

where "a(n)" is a multiplicative function of "n" may be written as

:prod_{p} P(p,s),

where "P"("p","s") is the sum

: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 "a"("n") be multiplicative: this says exactly that "a"("n") is the product of the "a"("p""k") when "n" factors as the product of the powers "p""k" of distinct primes "p".

An important special case is that in which "a"("n") is totally multiplicative, so that "P"("p","s") is a geometric series. Then

:P(p,s)=frac{1}{1-a(p)p^{-s

as is the case for the Riemann zeta-function, where "a"("n") = 1), and more generally for Dirichlet characters.

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 GL"m".

Examples of Euler products

The Euler product attached to the Riemann zeta function, using also the sum of the geometric series, is

: zeta(s) = sum_{n=1}^{infty}n^{-s} = prod_{p} Big(sum_{n=0}^{infty}p^{-ns}Big) = prod_{p} (1-p^{-s})^{-1} .

An Euler product for the Möbius function mu(n) is

: frac{1}{zeta(s) }= prod_{p} (1-p^{-s})= sum_{n=1}^{infty}mu (n)n^{-s} .

Further products derived from the zeta function are

: frac{zeta(2s)}{zeta(s) }= prod_{p} (1+p^{-s})^{-1} = sum_{n=1}^{infty}lambda (n)n^{-s}

where lambda(n) = (-1)^{Omega(n)} is the Liouville function, and

: frac{zeta(s)}{zeta(2s) }= prod_{p} (1+p^{-s}) = sum_{n=1}^{infty} |mu(n)|n^{-s} .

Similarly: frac{zeta(s)^2}{zeta(2s)} = prod_{p} Big(frac{1+p^{-s{1-p^{-sBig) = prod_{p} (1+2p^{-s}+2p^{-2s}+cdots) =sum_{n=1}^{infty}2^{omega(n)} n^{-s}

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

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

: 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:

prod_{p} (x-p^{-s})approx frac{1}{operatorname{Li}_{s} (x)} s > 1

where operatorname{Li}_s(x) is the polylogarithm. For x=1 the product above is just 1/ zeta (s).

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)"
* "(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

External links

*
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Proof of the Euler product formula for the Riemann zeta function — We will prove that the following formula holds::egin{align} zeta(s) = 1+frac{1}{2^s}+frac{1}{3^s}+frac{1}{4^s}+frac{1}{5^s}+ cdots = prod {p} frac{1}{1 p^{ s end{align}where zeta; denotes the Riemann zeta function and the product extends over… …   Wikipedia

  • Euler's totient function — For other functions named after Euler, see List of topics named after Leonhard Euler. The first thousand values of φ(n) In number theory, the totient φ(n) of a positive integer n is defined to be the number of positive integers less than or equal …   Wikipedia

  • Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… …   Wikipedia

  • Euler's factorization method — is a method of factorization based upon representing a positive integer N as the sum of two squares in two different ways :N = a^2+ b^2 = c^2+ d^2 (1)Although the algebraic factorization of binomial numbers cannot factor sums of two squares… …   Wikipedia

  • Euler-Bernoulli beam equation — Euler Bernoulli beam theory, or just beam theory, is a simplification of the linear theory of elasticity which provides a means of calculating the load carrying and deflection characteristics of beams. It was first enunciated circa 1750, but was… …   Wikipedia

  • Euler angles — The Euler angles were developed by Leonhard Euler to describe the orientation of a rigid body (a body in which the relative position of all its points is constant) in 3 dimensional Euclidean space. To give an object a specific orientation it may… …   Wikipedia

  • Euler's formula — This article is about Euler s formula in complex analysis. For Euler s formula in algebraic topology and polyhedral combinatorics see Euler characteristic.   Part of a series of articles on The mathematical constant e …   Wikipedia

  • Euler characteristic — In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic is a topological invariant, a number that describes one aspect of a topological space s shape or structure. It is commonly denoted… …   Wikipedia

  • Euler's rotation theorem — In kinematics, Euler s rotation theorem states that, in three dimensional space, any displacement of a rigid body such that a point on the rigid body remains fixed, is equivalent to a rotation about a fixed axis through that point. The theorem is …   Wikipedia

  • Euler's four-square identity — In mathematics, Euler s four square identity says that the product of two numbers, each of which being a sum of four squares, is itself a sum of four squares. Specifically::(a 1^2+a 2^2+a 3^2+a 4^2)(b 1^2+b 2^2+b 3^2+b 4^2)=,::(a 1 b 1 a 2 b 2 a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”