用幂级数研究解析函数

【定理】 设$f(z)$在区域$\Omega$内解析，如果存在$z_0\in\Omega$，使得

$$f(z_0)=f'(z_0)=f"(z_0)=\cdots=f^{(n)}(z_0)=\cdots=0$$
则 $f(z)$在 $\Omega$上恒为 $0$.

【推论】设$f(z)$是区域 $\Omega$上不为常数的解析函数，则 $\forall z_0\in\Omega$，存在正整数 $m$，使得$f(z_0)=f'(z_0)=f"(z_0)=\cdots=f^{(m-1)}(z_0)=0$，但是 $f^{(m)}(z_0)\ne 0$.这时存在 $z_0$的邻域 $O$，使得在$O$上可以表示为

$$f(z)-f(z_0)=(z-z_0)^mg(z)$$
其中 $g(z)$在 $O$上解析，且$g(z_0)\ne 0$.

【推论】（零点孤立性定理）设$f(z)$是区域$\Omega$上不为常数的解析函数，如果$z_0\in\Omega$满足$f(z_0)=0,$则$\exists \varepsilon>0,$使得$z_0$是$f(z)$在$D(z_0,\varepsilon)$中唯一的零点。

【定理】（解析函数的唯一性定理）设$f(z),g(z)$都是区域$\Omega$上的解析函数，如果存在$\Omega$中的点列$\{z_n\}$使得$f(z_n)=g(z_n)(n=1,2,\cdots)$，并且集合$\{z_n\}$有极限点$z_0\in\Omega$，则在$\Omega$上$f(z)\equiv g(z)$.

【定理】（开映射定理）如果$f(z)$是区域$\Omega$上不为常数的解析函数，则$f(z)$是开映射，即$f(z)$将$\Omega$中开集映射为开集。

【定理】如果$f(z)$是区域$\Omega$上的单叶解析函数，则$f(\Omega)$是$\mathbb C$中的开集，因而是区域，$f'(z)$在$\Omega$上处处不为$0$，因此$f^{-1}:f(\Omega)\to\Omega$是解析的；$f:\Omega\to f(\Omega)$是解析同胚。

【定理】（最大模原理）如果$f(z)$是区域$\Omega$上不为常数的解析函数，则$|f(z)|$在$\Omega$内无极大值点.

【定理】(代数学基本定理)设

$$P(z)=a_nz^n+a_{n-1}z^{n-1}+\cdots+a_0$$ 是 $n$次多项式，其中$n\ge 1,a_n\ne 0$，则方程 $P(z)=0$在 $\mathbb C$中有解.

---

本篇主要参考《复变函数简明教程》