# An unpacking of Hurwitz’s theorem in complex analysis

Originally published at 狗和留美者不得入内. You can comment here or there.

Let’s first state it.

Theorem (Hurwitz’s theorem). Suppose $\{f_k(z)\}$ is a sequence of analytic functions on a domain $D$ that converges normally on $D$ to $f(z)$, and suppose that $f(z)$ has a zero of order $N$ at $z_0$. Then for every small enough $\rho > 0$, there is $k$ large such that $f_k(z)$ has exactly $N$ zeros in the disk $\{|z - z_0| < \rho\}$, counting multiplicity, and these zeros converge to $z_0$ as $k \to \infty$.

As a refresher, normal convergence on $D$ is convergence uniformly on every closed disk contained by it. We know that the argument principle comes in handy for counting zeros within a domain. That means

The number of zeros in $|z - z_0| < \rho$, $\rho$ arbitrarily small, goes to the number of zeros inside the same circle of $f$, provided that $\frac{1}{2\pi i}\int_{|z - z_0| = \rho} \frac{f'_k(z)}{f_k(z)}dz \longrightarrow \frac{1}{2\pi i}\int_{|z - z_0| = \rho} \frac{f'(z)}{f(z)}dz$.

To show that boils down to a few technicalities. First of all, let $\rho > 0$ be sufficiently small that the closed disk $\{|z - z_0| \leq \rho\}$ is contained in $D$, with $f(z) \neq 0$ inside it everywhere except for $z_0$. Since $f_k(z)$ converges to $f(z)$ uniformly inside that closed disk, $f_k(z)$ is not zero on its boundary, the domain integrated over, for sufficiently large $k$. Further, since $f_k \to f$ uniformly, so does $f'_k / f_k \to f' / f$, so we have condition such that convergence is preserved on application of integral to the elements of the sequence and to its convergent value. With $\rho$ arbitrarily small, the zeros of $f_k(z)$ must accumulate at $z_0$.

Tags:
• #### Some thoughts on Greek, Persian, Arab, Indian, and Chinese science

Originally published at 狗和留美者不得入内. You can comment here or there. Reading more about history, I’ve come to notice that China’s main…

• #### Traitor distant relative of Chiang Kai-Shek, Steve Hsu censoring my comments again

Shenzhen based WeGene also gave very accurate height prediction. It's certainly possible that China had figured out this problem before Genomic…

• #### 中国姓氏的南北分布

有意思的是分布是很不均匀的，也就是说好多姓是南方比例远高于北方比例或相反。从这一点，你如果知道一个人的父母的姓氏，你就可以对他是北方人还是南方人有个有点统计显著的估计。 读者可以在包含大姓分布图的…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic