Infinite product (${\prod }_{n=1}^{\infty }{a}_n$)

An infinite product is the limit of the finite partial products ${\prod }_{n=1}^N{a}_n$. If $a_n=1+u_n$, every factor is nonzero, and ${\sum }_n|u_n|<\infty$, then the product converges to a nonzero value.

For $|q|>1$, define $S_q(z)={\prod }_{k\ge 0}(1-q^{-2k-1}z)(1-q^{-2k-1}{z}^{-1})$ on ${\mathbb{C}}^{\ast }$. The geometric decay gives locally uniform absolute tail convergence there. Its simple zeros are $q^{2k+1}$ and $q^{-2k-1}$ for $k\ge 0$, and reindexing gives $S_q(qz)=-z{S}_q(q^{-1}z)$. The variable zero is outside its domain, and the poles introduced by each reciprocal factor cannot be interpreted as a value of the product at zero.

// Destination: analysis.bigb

The Weierstrass elementary factor has a simple zero at $w=1$ and no other zeros. Its logarithmic series begins at degree $p+1$: $\log E_p(w)=-{\sum }_{\nu \ge p+1}{w}^{\nu }/\nu$ for $|w|<1$. Raising the factor order $p$ makes the tail arbitrarily small on a fixed compact set and enables infinite product convergence from logarithmic tails for unrestricted discrete zero data.

If a tail of holomorphic factors admits logarithms whose absolute values have a summable bound uniformly on every compact set, their product converges locally uniformly to the exponential of the logarithmic sum. The tail is holomorphic and nowhere zero. Finite initial factors may have zeros; those finite factors determine the locations and orders of all zeros near any given compact set. The scalar sufficient condition ${\sum }_j|u_j|<\infty$ for factors $1+u_j$ follows from $|\log (1+u_j)|\le 2|u_j|$ for $|u_j|\le 1/2$.

For $a_j\ge 0$, the finite product satisfiesThe lower inequality follows by product expansion; the upper one uses $1+t\le e^t$. Since both the partial sums and partial products are increasing, one converges to a finite limit exactly when the other does. The monotone bounded sequence theorem proves both implications. The product cannot tend to zero in this nonnegative setting.

This infinite product converges uniformly on compact subsets of the complex plane. Pair the factors at $iz$ and $-iz$ in the Weierstrass product for the reciprocal gamma function, and use the Gamma reflection formula together with $\Gamma (1+w)=w\Gamma (w)$. This gives $[\Gamma (1+iz)\Gamma (1-iz){]}^{-1}=\sinh (\pi z)/(\pi z)$ and the displayed product. The removable value at $z=0$ is one. Matching zeros alone would not exclude multiplication by a nonvanishing entire function; the normalized product fixes that ambiguity.