用Cauchy积分研究解析函数

【定理】（Cauchy不等式） 设$f(z)$在区域$\Omega$上解析，且在$\Omega$上$|f(z)|\leq M,$则$\forall z_0\in\Omega,0<r\leq \mathrm{dist}(z_0,\partial \Omega)=\inf_{w\in\partial\Omega}\lbrace|z_0-w|\rbrace$，恒有

$$|f^{(n)}(z_0)|\leq\dfrac{n!M}{r^{n}}$$

【定理】 设$f(z)$在区域$\Omega$内解析，且在$\Omega$内$|f(z)|\leq M$，则对$\Omega$中任意紧集$K$以及$n\in\mathbb N$，存在仅与$K$和$n$有关的常数$C$，使得$\forall z\in K$，恒有

$$|f^{(n)}(z_0)|\leq C\cdot M$$

【推论】如果解析函数列$\{f_n(z)\}$在区域$\Omega$上内闭一致收敛，则对任意的$k\in N$，$\{f_n^{(k)}(z)\}$也在区域$\Omega$上内闭一致收敛。

【定理】（Liouville定理）如果$f(z)$在整个平面$\mathbb C$上解析且有界，则$f(z)$是常数。

【定理】复平面$\mathbb C$和单位圆盘$D(0,1)$不能解析同胚。

【定义】 整函数 复平面上的解析函数；超越整函数 不是多项式的整函数。

【定义】稠密 $\mathbb C$中的集合$S$在集合$T$中稠密，如果$\overline {S}\supset T$.

【定理】（Weierstrass定理）如果$f(z)$是不为常数的整函数，则$f(z)$的值域$f(\mathbb C)$在$\mathbb C$中稠密。

【定理】（Picard小定理）如果$f(z)$是超越整函数，则集合$\mathbb C-f(\mathbb C)$至多包含一个点。

【定理】（平均值定理）如果$f(z)$在区域$\Omega$内解析，则$\forall z_0\in\Omega,0<r<\mathrm{dist}(z_0,\partial \Omega)$，恒有

$$f(z_0)=\dfrac1{2\pi}\int_0^{2\pi}f(z_0+re^{i\theta})\mathrm d\theta$$

【推论】（平均值不等式）

$$|f(z_0)|\leq \dfrac1{2\pi}\int_0^{2\pi}|f(z_0+re^{i\theta})|\mathrm d\theta$$

---

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