﻿

# Infinite product

In mathematics, for a sequence of numbers "a"1, "a"2, "a"3, ... the infinite product

:$prod_\left\{n=1\right\}^\left\{infty\right\} a_n = a_1 ; a_2 ; a_3 cdots$

is defined to be the limit of the partial products "a"1"a"2..."a""n" as "n" increases without bound. The product is said to "converge" when the limit exists and is not zero. Otherwise the product is said to "diverge". The value zero is treated specially in order to obtain results analogous to those for infinite sums. If the product converges, then the limit of the sequence "a""n" as "n" increases without bound must be 1, while the converse is in general not true. Therefore, the logarithm log "a""n" will be defined for all but a finite number of "n", and for those we have

:$log prod_\left\{n=1\right\}^\left\{infty\right\} a_n = sum_\left\{n=1\right\}^\left\{infty\right\} log a_n$

with the product on the left converging if and only if the sum on the right converges. This allows the translation of convergence criteria for infinite sums into convergence criteria for infinite products.

For products in which each $a_nge1$, written as, for instance, $a_n=1+p_n$,where $p_nge 0$, the bounds

:$1+sum_\left\{n=1\right\}^\left\{N\right\} p_n le prod_\left\{n=1\right\}^\left\{N\right\} left\left( 1 + p_n ight\right) le exp left\left( sum_\left\{n=1\right\}^\left\{N\right\}p_n ight\right)$

show that the infinite product converges precisely if the infinite sum of the "p""n" converges.

The best known examples of infinite products are probably some of the formulae for &pi;, such as the following two products, respectively by Viète and John Wallis (Wallis product):

:$frac\left\{2\right\}\left\{pi\right\} = frac\left\{ sqrt\left\{2\right\} \right\}\left\{ 2 \right\} cdot frac\left\{ sqrt\left\{2 + sqrt\left\{2 \right\}\left\{ 2 \right\} cdot frac\left\{ sqrt\left\{2 + sqrt\left\{2 + sqrt\left\{2\right\} \right\}\left\{ 2 \right\} cdots$:$frac\left\{pi\right\}\left\{2\right\} = frac\left\{2\right\}\left\{1\right\} cdot frac\left\{2\right\}\left\{3\right\} cdot frac\left\{4\right\}\left\{3\right\} cdot frac\left\{4\right\}\left\{5\right\} cdot frac\left\{6\right\}\left\{5\right\} cdot frac\left\{6\right\}\left\{7\right\} cdot frac\left\{8\right\}\left\{7\right\} cdot frac\left\{8\right\}\left\{9\right\} cdots = prod_\left\{n=1\right\}^\left\{infty\right\} left\left( frac\left\{ 4 cdot n^2 \right\}\left\{ 4 cdot n^2 - 1 \right\} ight\right).$

Product representations of functions

One important result concerning infinite products is that every entire function "f"("z") (that is, every function that is holomorphic over the entire complex plane) can be factored into an infinite product of entire functions, each with at most a single root. In general, if "f" has a root of order "m" at the origin and has other complex roots at "u"1, "u"2, "u"3, ... (listed with multiplicities equal to their orders), then

:$f\left(z\right) = z^m ; e^\left\{phi\left(z\right)\right\} ; prod_\left\{n=1\right\}^\left\{infty\right\} left\left(1 - frac\left\{z\right\}\left\{u_n\right\} ight\right) ;exp leftlbrace frac\left\{z\right\}\left\{u_n\right\} + frac12left\left(frac\left\{z\right\}\left\{u_n\right\} ight\right)^2 + cdots + frac1\left\{lambda_n\right\}left\left(frac\left\{z\right\}\left\{u_n\right\} ight\right)^\left\{lambda_n\right\} ight brace$

where &lambda;"n" are non-negative integers that can be chosen to make the product converge, and &phi;("z") is some uniquely determined analytic function (which means the term before the product will have no roots in the complex plane). The above factorization is not unique, since it depends on the choice of values for &lambda;"n", and is not especially elegant. However, for most functions, there will be some minimum non-negative integer "p" such that &lambda;"n" = "p" gives a convergent product, called the canonical product representation. This "p" is called the "rank" of the canonical product. In the event that "p" = 0, this takes the form

:$f\left(z\right) = z^m ; e^\left\{phi\left(z\right)\right\} ; prod_\left\{n=1\right\}^\left\{infty\right\} left\left(1 - frac\left\{z\right\}\left\{u_n\right\} ight\right).$

This can be regarded as a generalization of the Fundamental Theorem of Algebra, since the product becomes finite and &phi;("z") is constant for polynomials.

In addition to these examples, the following representations are of special note:

 Sine function $sin pi z = pi z prod_\left\{n=1\right\}^\left\{infty\right\} left\left(1 - frac\left\{z^2\right\}\left\{n^2\right\} ight\right)$ Euler - Wallis' formula for π is a special case of this. Gamma function $1 / Gamma\left(z\right) = z ; mbox\left\{e\right\}^\left\{gamma z\right\} ; prod_\left\{n=1\right\}^\left\{infty\right\} left\left(1 + frac\left\{z\right\}\left\{n\right\} ight\right) ; mbox\left\{e\right\}^\left\{-z/n\right\}$ Schlömilch Weierstrass sigma function $sigma\left(z\right) = zprod_\left\{omega in Lambda_\left\{* left\left(1-frac\left\{z\right\}\left\{omega\right\} ight\right)e^\left\{frac\left\{1\right\}\left\{2omega^2\right\}z^2+frac\left\{1\right\}\left\{omega\right\}z\right\}$ Here $Lambda_\left\{*\right\}$ is the lattice without the origin. Riemann zeta function $zeta\left(z\right) = prod_\left\{n=1\right\}^\left\{infty\right\} frac\left\{1\right\}\left\{\left(1 - p_n^\left\{-z\right\}\right)\right\}$ Here "p""n" denotes the sequence of prime numbers.
Note that the last of these is not a product representation of the same sort discussed above, as &zeta; is not entire.

ee also

*Infinite products in trigonometry
*Infinite series
*Continued fraction
*Iterated binary operation

* [http://mathworld.wolfram.com/InfiniteProduct.html Infinite products from Wolfram Math World]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• infinite product — Math. a sequence of numbers in which an infinite number of terms are multiplied together. * * * …   Universalium

• infinite product — Math. a sequence of numbers in which an infinite number of terms are multiplied together …   Useful english dictionary

• Product topology — In topology and related areas of mathematics, a product space is the cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more obvious,… …   Wikipedia

• Infinite set — In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable. Some examples are: * the set of all integers, {..., 1, 0, 1, 2, ...}, is a countably infinite set; and * the set of all real numbers… …   Wikipedia

• Product of rings — In mathematics, it is possible to combine several rings into one large product ring. This is done as follows: if I is some index set and Ri is a ring for every i in I, then the cartesian product Πi in I Ri can be turned into a ring by defining… …   Wikipedia

• Infinite monkey theorem — Not to be confused with Hundredth monkey effect. Given enough time, a hypothetical monkey typing at random would, as part of its output, almost surely produce all of Shakespeare s plays. In this image a chimpanzee is giving it a try. The infinite …   Wikipedia

• Infinite Undiscovery — Infobox VG| title = Infinite Undiscovery developer = tri Ace publisher = Square Enix [cite web|url=http://www.square enix.com/na/company/press/2007/0912/|title=Infinite Undiscovery Coming Soon to the Xbox 360!|publisher=Square Enix|date=2007 09… …   Wikipedia

• Infinite Joy — Infobox Musical name=Infinite Joy caption= music= William Finn lyrics= William Finn book= Revue basis= productions= 2001 Off Broadway awards= Infinite Joy is a musical revue consisting of songs by Broadway composer William Finn. The songs are… …   Wikipedia

• Infinite-dimensional holomorphy — In mathematics, infinite dimensional holomorphy is a branch of functional analysis. It is concerned with generalizations of the concept of holomorphic function to functions defined and taking values in complex Banach spaces (or Fréchet spaces… …   Wikipedia

• Infinite conjugacy class property — In mathematics, a group is said to have the infinite conjugacy class property, or to be an icc group, if the conjugacy class of every group element but the identity is infinite. In abelian groups, every conjugacy class consists of only one… …   Wikipedia