Infinite product

The product of positive real numbers :\prod_{n=1}^{\infty} a_n converges to a nonzero real number if and only if the sum :\sum_{n=1}^{\infty} \log(a_n) converges. This allows the translation of convergence criteria for infinite sums into convergence criteria for infinite products. The same criterion applies to products of arbitrary complex numbers (including negative reals) if the logarithm is understood as a fixed branch of logarithm which satisfies \ln(1) = 0, with the provision that the infinite product diverges when infinitely many an fall outside the domain of \ln, whereas finitely many such an can be ignored in the sum. If we define a_n=1+p_n, the bounds :1+\sum_{n=1}^{N} p_n \le \prod_{n=1}^{N} \left( 1 + p_n \right) \le \exp \left( \sum_{n=1}^{N}p_n \right) show that the infinite product of an converges if the infinite sum of the pn converges. This relies on the Monotone convergence theorem. We can show the converse by observing that, if p_n \to 0, then :\lim_{n \to \infty} \frac{\log(1+p_n)}{p_n} = \lim_{x\to 0} \frac{\log(1+x)}{x} = 1, and by the limit comparison test it follows that the two series :\sum_{n=1}^\infty \log(1+p_n) \quad \text{and} \quad \sum_{n=1}^\infty p_n, are equivalent meaning that either they both converge or they both diverge. If the series \sum_{n=1}^{\infty} \log(a_n) diverges to -\infty, then the sequence of partial products of the an converges to zero. The infinite product is said to diverge to zero. For the case where the p_n have arbitrary signs, the convergence of the sum \sum_{n=1}^\infty p_n does not guarantee the convergence of the product \prod_{n=1}^\infty (1+p_n). For example, if p_n = \frac{(-1)^{n+1}}{\sqrt{n}}, then \sum_{n=1}^\infty p_n converges, but \prod_{n=1}^\infty (1 + p_n) diverges to zero. However, if \sum_{n=1}^\infty |p_n| is convergent, then the product \prod_{n=1}^\infty (1+p_n) converges absolutely–that is, the factors may be rearranged in any order without altering either the convergence, or the limiting value, of the infinite product. Also, if \sum_{n=1}^\infty |p_n|^2 is convergent, then the sum \sum_{n=1}^\infty p_n and the product \prod_{n=1}^\infty (1+p_n) are either both convergent, or both divergent. ==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 u1, u2, u3, ... (listed with multiplicities equal to their orders), then :f(z) = z^m e^{\phi(z)} \prod_{n=1}^{\infty} \left(1 - \frac{z}{u_n} \right) \exp \left\lbrace \frac{z}{u_n} + \frac{1}{2}\left(\frac{z}{u_n}\right)^2 + \cdots + \frac{1}{\lambda_n} \left(\frac{z}{u_n}\right)^{\lambda_n} \right\rbrace where λn are non-negative integers that can be chosen to make the product converge, and \phi (z) is some entire 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 λn. However, for most functions, there will be some minimum non-negative integer p such that λ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(z) = z^m e^{\phi(z)} \prod_{n=1}^{\infty} \left(1 - \frac{z}{u_n}\right). This can be regarded as a generalization of the fundamental theorem of algebra, since for polynomials, the product becomes finite and \phi (z) is constant. In addition to these examples, the following representations are of special note: The last of these is not a product representation of the same sort discussed above, as ζ is not entire. Rather, the above product representation of ζ(z) converges precisely for Re(z) > 1, where it is an analytic function. By techniques of analytic continuation, this function can be extended uniquely to an analytic function (still denoted ζ(z)) on the whole complex plane except at the point z = 1, where it has a simple pole. ==See also==