Logarithm of Infinite Product of Complex Numbers

Theorem
Let $\left\langle{z_n}\right\rangle$ be a sequence of complex numbers with real part $> 0$.

Then the following are equivalent:


 * The infinite product $\displaystyle \prod_{n \mathop = 1}^\infty z_n$ converges to $z\in\C\setminus\{0\}$.


 * There exists an integer $k \in \Z$ such that the series $\displaystyle \sum_{n \mathop = 1}^\infty\log z_n$ converges to $\log z + 2 k \pi i$.

Proof
Suppose $\displaystyle \prod_{n \mathop = 1}^\infty z_n$ converges to $z$.

By Convergence of Series of Complex Numbers by Real and Imaginary Part, it suffices to show that:
 * $\displaystyle \sum_{n \mathop = 1}^\infty \operatorname{Re} \log z_n = \operatorname{Re} \log z$
 * $\displaystyle \sum_{n \mathop = 1}^\infty \operatorname{Im} \log z_n = \operatorname{Im} \log z + 2 k \pi$

Let $P_n$ denote the $n$th partial product.

Then $P_n \to z$.

By Modulus of Limit:
 * $\left\vert{P_n}\right\vert \to \left\vert{z}\right\vert$

By Natural Logarithm Function is Continuous;
 * $\log \left\vert{P_n}\right\vert \to \log \left\vert{z}\right\vert$

By definition of complex natural logarithm and Real Part of Sum of Complex Numbers:
 * $\displaystyle \log \left\vert{P_n}\right\vert = \sum_{j \mathop = 1}^n \operatorname{Re} \log z_j$

It remains to show that:
 * $\displaystyle \sum_{j \mathop = 1}^n \operatorname{Im} \log z_j \to \arg z + 2 k \pi$

for some $k \in \Z$.

Let $\theta = \arg z$ be the argument of $z$.

Let $\theta_n = \arg P_n$ be the argument of $P_n$ in the half-open interval $\left({\theta - \pi \,.\,.\, \theta + \pi}\right]$.

By the corollary to Convergence of Complex Sequence in Polar Form:
 * $\theta_n \to \theta$

Let $k_n \in \Z$ be such that:
 * $\displaystyle \sum_{j \mathop \leq n} \operatorname{Im} \log z_j = \theta_n + 2 k_n \pi$

By the Triangle Inequality:
 * $2 \pi \left\vert{k_{n + 1} - k_n}\right\vert \leq \left\vert{\theta_{n + 1} - \theta_n}\right\vert + \left\vert{\operatorname{Im} \log z_{n + 1} }\right\vert \to 0$

So $k_n$ is eventually constant, say equal to $k$.

Then:
 * $\displaystyle \sum_{j \mathop = 1}^n \operatorname{Im} \log z_j \to \theta + 2 k \pi$

Conversely, suppose $\displaystyle \sum_{n \mathop = 1}^\infty \log z_n = \log z + 2 k \pi i$.

By Exponential of Series Equals Infinite Product:
 * $\displaystyle \prod_{n \mathop = 1}^\infty z_n = z$

Hence the result.

Also see

 * Absolute Convergence of Infinite Product of Complex Numbers