Originally published at Inside the Mind of the G Machine. You can comment here or there.

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 . The technique he used was of course factorization of via its infinitely many roots to

.

Equating the coefficient of in this product, , with the coefficient of in the well-known Maclaurin series of , , gives that .

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 be a sequence of distinct complex numbers satisfying . Let be any sequence of non-zero complex numbers. Then there exists a (not unique) sequence of non-negative integers, depending only on the sequences and , such that the series *

*is totally convergent, and hence absolutely and uniformly convergent, in any compact set . Thus the function is meromorphic, with simple poles having respective residues .*

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

,

where . For total convergence on any compact set, we again use the classic technique of monotonically increasing disks to centered at the origin with radii . This way for , we have

.

With we can for any choose large enough to satisfy this. This makes clear that the 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 , pick some the disk of which contains it. For , we can bound with , 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 be regular in a compact set , and let the series be totally convergent in . Then the infinite product is uniformly convergent in .*

*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 be a meromorphic function. Let be the poles of , all simple with respective residues . Then the function*

*is meromorphic. The zeros (resp. poles) of are the points such that (resp. ), and the multiplicity of as a zero (resp. pole) of is (resp. ).*

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

,

where is the sum of residues of between and . Because the s are integers, 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 . We can remove the pole at with . This remains analytic and is without zeros at . From this, we derive

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

**Theorem 1.2 (Weierstrass)** *Let be meromorphic, and regular and at . Let be the zeros and poles of with respective multiplicities , where if is a zero and if is a pole of . Then there exist integers and an entire function such that*

*where the product converges uniformly in any compact set .*

*Proof:* Let be the function in *(1.1)* with s such that the series is totally convergent, and let be the function in *(1.2)*. By *Theorem 1.1* and *Lemma 1.2*, is meromorphic, with zeros of multiplicities if , and with poles of multiplicities if . Thus and have the same zeros and poles with the same multiplicities, whence is entire and . Therefore is an entire function, and

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

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

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

If at , our function has a zero or pole, we can easily multiply by with the multiplicity there to regularize it. This yields

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 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.