infinite product of differences $1-.1667em--.1667em{a}_i$

We consider the infinite products of the form

${\displaystyle \prod _{i=1}^{\mathrm{\infty }}}(1-a_i)=(1-a_1)(1-a_2)(1-a_3)\mathrm{\cdots }$ (1)

and the series  $a_1+a_2+a_3+\mathrm{\dots }$  where the numbers $a_i$ are nonnegative reals.

• If the series converges, then also the product converges and has a value which does not depend on the order of the factors and vanishes only when some of the factors is 0.

• If  $\underset{i\to \mathrm{\infty }}{lim}{a}_i=0$  but the series diverges, then the value of the infinite product is always zero though no of the factors were zero.

Example.  $(1-\frac{1}{2})(1-\frac{1}{3})(1-\frac{1}{4})\mathrm{\cdots }=\mathrm{\hspace{0.33em}0}$;  see the harmonic series.

Proof.  $1^{\circ }$.  Now we have  $\underset{i\to \mathrm{\infty }}{lim}{a}_i=0$  (see the necessary condition of convergence of series), and so    when  $i\geqq i_0$.  We write

${\displaystyle \prod _{i=1}^{\mathrm{\infty }}}(1-a_i)={\displaystyle \prod _{i=1}^{i_0-1}}(1-a_i){\displaystyle \prod _{i=i_0}^{\mathrm{\infty }}}(1-a_i)$ (2)

and set in the last product

$$1-a_i=\frac{1}{\frac{1}{1-a_i}}=\frac{1}{1+\frac{a_i}{1-a_i}},$$

whence

${\displaystyle \prod _{i=i_0}^n}(1-a_i)={\displaystyle \frac{1}{{\prod }_{i=i_0}^n\left(1+\frac{a_i}{1-a_i}\right)}}.$ (3)

As  , we have    and thus  ,  and therefore the series ${\displaystyle \sum _{i=i_0}^{\mathrm{\infty }}}{\displaystyle \frac{a_i}{1-a_i}}$ with nonnegative is absolutely convergent.  The theorem of the http://planetmath.org/node/6204parent entry then says that the product in the denominator of the right hand side of (3) tends, as  $n\to \mathrm{\infty }$,  to a finite non-zero limit, which don’t depend on the order of the factors.  Consequently, the same concerns the product of the left hand side of (3).  By (2), we now infer that the given product (1) converges, its value is on the order and it vanishes only along with some of its factors.
$2^{\circ }$.  There is an $i_0$ such that    when  $i\geqq i_0$,  whence  $\frac{a_i}{1-a_i}>a_i$  and the series  ${\displaystyle \sum _{i=i_0}^{\mathrm{\infty }}}{\displaystyle \frac{a_i}{1-a_i}}$ diverges.  The denominator of the right hand side of (3) tends, as  $n\to \mathrm{\infty }$,  to the infinity and thus the product of the left hand side to 0.  Hence the value of (1) is necessarily 0, also when all factors were distinct from 0.

Title	infinite product of differences $1-.1667em--.1667em{a}_i$
Canonical name	InfiniteProductOfDifferences1ai
Date of creation	2013-03-22 18:39:45
Last modified on	2013-03-22 18:39:45
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	12
Author	pahio (2872)
Entry type	Theorem
Classification	msc 40A20
Classification	msc 26E99
Related topic	HarmonicSeriesOfPrimes
Related topic	InfiniteProductOfSums1A_I
Related topic	InfiniteProductOfSums1a_i