# Weierstrass products

Long time ago when I was a clueless kid about the finish 10th grade of high school, I first learned about Euler’s determination of $\zeta(2) = \frac{\pi^2}{6}$. The technique he used was of course factorization of $\sin z / z$ via its infinitely many roots to

$\displaystyle\prod_{n=1}^{\infty} \left(1 - \frac{z}{n\pi}\right)\left(1 + \frac{z}{n\pi}\right) = \displaystyle\prod_{n=1}^{\infty} \left(1 - \frac{z^2}{n^2\pi^2}\right)$.

Equating the coefficient of $z^2$ in this product, $-\displaystyle\sum_{n=1}^{\infty}\frac{1}{n^2\pi^2}$, with the coefficient of $z^2$ in the well-known Maclaurin series of $\sin z / z$, $-1/6$, gives that $\zeta(2) = \frac{\pi^2}{6}$.

This felt to me, who knew almost no math, so spectacular at that time. It was also one of great historical significance. The problem was first posed by Pietro Mengoli in 1644, and had baffled the most genius of mathematicians of that day until 1734, when Euler finally stunned the mathematical community with his simple yet ingenious solution. This was done when Euler was in St. Petersburg. On that, I shall note that from this, we can easily see how Russia had a rich mathematical and scientific tradition that began quite early on, which must have deeply influenced the preeminence in science of Tsarist Russia and later the Soviet Union despite their being in practical terms quite backward compared to the advanced countries of Western Europe, like UK and France, which of course was instrumental towards the rapid catching up in industry and technology of the Soviet Union later on.

I had learned of this result more or less concurrently with learning on my own (independent of the silly American public school system) what constituted a rigorous proof. I remember back then I was still not accustomed to the cold, precise, and austere rigor expected in mathematics and had much difficulty restraining myself in that regard, often content with intuitive solutions. From this, one can guess that I was not quite aware of how Euler’s solution was in fact not a rigorous one by modern standards, despite its having been noted from the book from which I read this. However, now I am aware that what Euler constructed was in fact a Weierstrass product, and in this article, I will explain how one can construct those in a way that guarantees uniform convergence on compact sets.

Given a finite number of points on the complex plane, one can easily construct an analytic function with zeros or poles there for any combination of (finite) multiplicities. For a countably infinite number of points, one can as well the same way but how can one know that it, being of a series nature, doesn’t blow up? There is quite some technical machinery to ensure this.

We begin with the restricted case of simple poles and arbitrary residues. This is a special case of what is now known as Mittag-Leffler’s theorem.

Theorem 1.1 (Mittag-Leffler) Let $z_1,z_2,\ldots \to \infty$ be a sequence of distinct complex numbers satisfying $0 < |z_1| \leq |z_2| \leq \ldots$. Let $m_1, m_2,\ldots$ be any sequence of non-zero complex numbers. Then there exists a (not unique) sequence $p_1, p_2, \ldots$ of non-negative integers, depending only on the sequences $(z_n)$ and $(m_n)$, such that the series $f (z)$

$f(z) = \displaystyle\sum_{n=1}^{\infty} \left(\frac{z}{z_n}\right)^{p_n} \frac{m_n}{z - z_n} \ \ \ \ (1.1)$

is totally convergent, and hence absolutely and uniformly convergent, in any compact set $K \subset \mathbb{C} \ {z_1,z_2,\ldots}$. Thus the function $f(z)$ is meromorphic, with simple poles $z_1, z_2, \ldots$ having respective residues $m_1, m_2, \ldots$.

Proof: Total convergence, in case forgotten, refers to the Weierstrass M-test. That said, it suffices to establish

$\left|\left(\frac{z}{z_n}\right)^{p_n}\frac{m_n}{z-z_n}\right| < M_n$,

where $\sum_{n=1}^{\infty} M_n < \infty$. For total convergence on any compact set, we again use the classic technique of monotonically increasing disks to $\infty$ centered at the origin with radii $r_n \leq |z_n|$. This way for $|z| \leq r_n$, we have

$\left|\left(\frac{z}{z_n}\right)^{p_n}\frac{m_n}{z-z_n}\right| < \left(\frac{r_n}{|z_n|}\right)^{p_n}\frac{m_n}{|z_n|-r_n} < M_n$.

With $r_n < |z_n|$ we can for any $M_n$ choose large enough $p_n$ to satisfy this. This makes clear that the $\left(\frac{z}{z_n}\right)^{p_n}$ is our mechanism for constraining the magnitude of the values attained, which we can do to an arbitrary degree.

The rest of the proof is more or less trivial. For any $K$, pick some $r_N$ the disk of which contains it. For $n < N$, we can bound with $\displaystyle\max_{z \in K}\left|\left(\frac{z}{z_n}\right)^{p_n}\frac{m_n}{z-z_n}\right|$, which must be bounded by continuity on compact set (now you can see why we must omit the poles from our domain).     ▢

Lemma 1.1 Let the functions $u_n(z) (n = 1, 2,\ldots)$ be regular in a compact set $K \subset C$, and let the series $\displaystyle\sum_{n=1}^{\infty} u_n(z)$ be totally convergent in $K$ . Then the infinite product $\displaystyle\sum_{n=1}^{\infty} \exp (u_n(z)) = \exp\left(\displaystyle\sum_{n=1}^{\infty} u_n(z)\right)$ is uniformly convergent in $K$.

Proof: Technical exercise left to the reader.     ▢

Now we present a lemma that allows us to take the result of Mittag-Leffler (Theorem 1.1) to meromorphic functions with zeros and poles at arbitrary points, each with its prescribed multiplicity.

Lemma 1.2 Let $f (z)$ be a meromorphic function. Let $z_1,z_2,\ldots = 0$ be the poles of $f (z)$, all simple with respective residues $m_1, m_2,\ldots \in \mathbb{Z}$. Then the function

$\phi(z) = \exp \int_0^z f (t) dt \ \ \ \ (1.2)$

is meromorphic. The zeros (resp. poles) of $\phi(z)$ are the points $z_n$ such that $m_n > 0$ (resp. $m_n < 0$), and the multiplicity of $z_n$ as a zero (resp. pole) of $\phi(z)$ is $m_n$ (resp. $-m_n$).

Proof: Taking the exponential of that integral has the function of turning it into a one-valued function. Take two paths $\gamma$ and $\gamma'$ from $0$ to $z$ with intersects not any of the poles. By the residue theorem,

$\int_{\gamma} f(z)dz = \int_{\gamma'} f(z)dz + 2\pi i R$,

where $R$ is the sum of residues of $f(t)$ between $\gamma$ and $\gamma'$. Because the $m_i$s are integers, $R$ must be an integer from which follows that our exponential is a one-valued function. It is also, with the exponential being analytic, also analytic. Moreover, out of boundedness, it is non-zero on $\mathbb{C} \setminus \{z_1, z_2, \ldots\}$. We can remove the pole at $z_1$ with $f_1(z) = f(z) - \frac{m_1}{z - z_1}$. This $f_1$ remains analytic and is without zeros at $\mathbb{C} \setminus \{z_2, \ldots\}$. From this, we derive

\begin{aligned} \phi(z) &= \int_{\gamma} f(z)dz \\ &= \int_{\gamma} f_1(z) + \frac{m_1}{z-z_1}dz \\ &= (z-z_1)^{m_1}\exp \int_0^z f_1(t) dt. \end{aligned}

We can continue this process for the remainder of the $z_i$s.      ▢

Theorem 1.2 (Weierstrass) Let $F(z)$ be meromorphic, and regular and $\neq 0$ at $z = 0$. Let $z_1,z_2, \ldots$ be the zeros and poles of $F(z)$ with respective multiplicities $|m_1|, |m_2|, \ldots$, where $m_n > 0$ if $z_n$ is a zero and $m_n < 0$ if $z_n$ is a pole of $F(z)$. Then there exist integers $p_1, p_2,\ldots \geq 0$ and an entire function $G(z)$ such that

$F(z) = e^{G(z)}\displaystyle\prod_{n=1}^{\infty}\left(1 - \frac{z}{z_n}\right)^{m_n}\exp\left(m_n\displaystyle\sum_{k=1}^{p_n}\frac{1}{k}\left(\frac{z}{z_k}^k\right)\right), \ \ \ \ (1.3)$

where the product converges uniformly in any compact set $K \subset \mathbb{C} \ \{z_1,z_2,\ldots\}$.

Proof: Let $f(z)$ be the function in (1.1) with $p_i$s such that the series is totally convergent, and let $\phi(z)$ be the function in (1.2). By Theorem 1.1 and Lemma 1.2, $\phi(z)$ is meromorphic, with zeros $z_n$ of multiplicities $m_n$ if $m_n > 0$, and with poles $z_n$ of multiplicities $|m_n|$ if $m_n < 0$. Thus $F(z)$ and $\phi(z)$ have the same zeros and poles with the same multiplicities, whence $F(z)/\phi(z)$ is entire and $\neq 0$. Therefore $\log (F(z)/\phi(z)) = G(z)$ is an entire function, and

$F(z) = e^{G(z)} \phi(z). \ \ \ \ (1.4)$

Uniform convergence along path of integration from $0$ to $z$ (not containing the poles) enables term-by-term integration. Thus, from (1.2), we have

\begin{aligned} \phi(z) &= \exp \displaystyle\sum_{n=1}^{\infty} \left(\frac{z}{z_n}\right)^{p_n} \frac{m_n}{t - z_n}dt \\ &= \displaystyle\prod_{n=1}^{\infty}\exp \int_0^z \left(\frac{m_n}{t - z_n} + \frac{m_n}{z_n}\frac{(t/z_n)^{p_n} -1}{t/z_n - 1}\right)dt \\ &= \displaystyle\prod_{n=1}^{\infty}\exp \int_0^z \left(\frac{m_n}{t - z_n} + \frac{m_n}{z_n}\displaystyle\sum_{k=1}^{p_n}\left(\frac{t}{z_n}\right)^{k-1}\right)dt \\ &= \displaystyle\prod_{n=1}^{\infty}\exp \left(\log\left(1 - \frac{z}{z_n}\right)^{m_n} + m_n\displaystyle\sum_{k=1}^{p_n}\frac{1}{k}\left(\frac{t}{z_n}\right)^k\right) \\ &= \displaystyle\prod_{n=1}^{\infty}\left(1 - \frac{z}{z_n}\right)^{m_n} \exp \left(m_n\displaystyle\sum_{k=1}^{p_n}\frac{1}{k}\left(\frac{t}{z_n}\right)^k\right).\end{aligned}

With this, (1.3) follows from (1.4). Moreover, in a compact set $K$, we can always bound the length of the path of integration, whence, by Theorem 1.1, the series

$\displaystyle\sum_{n=1}^{\infty}\int_0^z \left(\frac{t}{z_n}\right)^{p_n}\frac{m_n}{t - z_n}dt$

is totally convergent in $K$. Finally, invoke Lemma 1.1 to conclude that the exponential of that is total convergent in $K$ as well, from which follows that (1.3) is too, as desired.     ▢

If at $0$, our function has a zero or pole, we can easily multiply by $z^{-m}$ with $m$ the multiplicity there to regularize it. This yields

$F(z) = z^me^{G(z)}\displaystyle\prod_{n=1}^{\infty}\left(1 - \frac{z}{z_n}\right)^{m_n}\exp\left(m_n\displaystyle\sum_{k=1}^{p_n}\frac{1}{k}\left(\frac{z}{z_n}^k\right)\right)$

for Weierstrass factorization formula in this case.

Overall, we see that we transform Mittag-Leffler (Theorem 1.1) into Weierstrass factorization (Theorem 1.2) through integration and exponentiation. In complex, comes up quite often integration of an inverse or $-1$ order term to derive a logarithm, which once exponentiated gives us a linear polynomial to the power of the residue, useful for generating zeros and poles. Once this is observed, that one can go from the former to the latter with some technical manipulations is strongly hinted at, and one can observe without much difficulty that the statements of Lemma 1.1 and Lemma 1.2 are needed for this.

References

• Carlo Viola, An Introduction to Special Functions, Springer International Publishing, Switzerland, 2016, pp. 15-24.