Originally published at 狗和留美者不得入内. 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.