Weierstrass factorization theorem ($F(z)=z^m{e}^{h(z)}{\prod }_j{E}_{p_j}(z/a_j{)}^{n_j}$)

A nonzero entire function can be described by its discrete zero locations and multiplicities, a product of Weierstrass elementary factors and a zero-free exponential factor. Conversely, consistent prescribed multiplicities at distinct points escaping every compact subset can be realized by choosing factor orders large enough for infinite product convergence from logarithmic tails. Repeated locations with incompatible exact multiplicities are not admissible data, and a finite accumulation of distinct zeros is excluded by the identity theorem.

A canonical product builds a prescribed discrete zero set from Weierstrass elementary factors. Choose the orders $p_n$ so that the logarithms of tail factors converge uniformly on each compact subset. Infinite product convergence from logarithmic tails then gives an entire function with exactly those zeros, counted with the prescribed multiplicities. When ${\sum }_n|a_n{|}^{-1}<\infty$, factors of order zero suffice.

For nonzero prescribed zeros $a_n$ with $|a_n|\to 1$, the Weierstrass elementary factors of increasing order give the displayed holomorphic function on the unit disc; $m$ handles finitely many zeros at zero. On any compact disc, eventually $|z/a_n|\le q<1$, and $|\log E_n(z/a_n)|\le q^{n+1}/[(n+1)(1-q)]$. The infinite product convergence from logarithmic tails gives a nonvanishing tail. The finite initial factors supply exactly the prescribed zeros and multiplicities. No Blaschke condition is required unless boundedness is imposed.

For a proper plane domain $D$, choose $a\in D$ and $w\notin D$ attaining $\delta (a)=\mathrm{dist}(a,\mathbb{C}\setminus D)$. The holomorphic functionhas exactly one zero in $D$, a simple zero at $a$. For $|z-w|>2\delta (a)$ its zero-free holomorphic logarithm satisfiesThus products of such factors can realize prescribed zeros approaching the boundary. If the zero has multiplicity $m$, choose the logarithmic error smaller by a factor $m$ before taking the $m$th power. On a compact subset of $D$, eventual uniform summability of these logarithms gives a nonvanishing product tail and a holomorphic function with precisely the requested zeros.

An entire function of finite order factors as its canonical zero product times the exponential of a polynomial. For order at most one and nonzero value at zero, it has the form $f(z)=f(0)e^{Bz}{\prod }_j(1-z/a_j)e^{z/a_j}$. Genus-one factors converge when ${\sum }_j|a_j{|}^{-2}<\infty$. A zero-free function of this order is therefore the exponential of an affine polynomial.

If two nonzero entire functions have identical zeros and orders, their quotient extends to a nowhere-zero entire function. Its logarithmic derivative has a primitive on the simply connected plane, producing a holomorphic logarithm $h$ and the displayed relation. Any two choices differ by one constant integer multiple of $2\pi i$. On a multiply connected domain the logarithm can fail to exist globally.