亚纯函数

亚纯函数（Meromorphic Function）是复分析中的核心概念，指在定义域内除孤立极点外处处全纯（解析）的复变函数。与全纯函数不同，亚纯函数允许存在极点，但极点必须是孤立的，且函数在极点附近的行为由 Laurent 展开的负幂次项主导。亚纯函数可以理解为全纯函数的有理型推广，它在代数、几何、数论和数学物理中均有广泛而深刻的应用。从代数角度看，亚纯函数域是全纯函数环的商域，这一结构赋予了亚纯函数独特的代数完备性。

定义与形式描述

设 $D \subseteq \mathbb{C}$ 为复平面上的开区域，函数 $f: D \setminus P \to \mathbb{C}$ 称为 $D$ 上的亚纯函数，若满足以下条件：

1. $P \subset D$ 为离散子集（即 $P$ 在 $D$ 中无聚点），这意味着在 $D$ 的任意紧子集中只有有限个极点；
2. $f$ 在 $D \setminus P$ 上全纯；
3. 对任意 $p \in P$，$p$ 是 $f$ 的极点（pole），即存在正整数 $m$ 使得 $(z-p)^m f(z)$ 在 $p$ 处全纯且非零。若 $m$ 取最小可能值，则称 $p$ 为 $m$ 阶极点。

极点处的局部行为可用 Laurent 级数刻画：若 $p$ 是 $m$ 阶极点，则在 $p$ 的去心邻域内

负幂部分 $\sum_{k=-m}^{-1} a_k (z-p)^k$ 称为 $f$ 在 $p$ 处的主部（principal part）。亚纯函数的极点集合在定义域内可数且无聚点，这是由全纯函数的零点孤立性推导得出的重要性质。

基本例子

• 有理函数：任意有理函数 $R(z) = \frac{P(z)}{Q(z)}$，其中 $P, Q$ 为多项式且 $Q \not\equiv 0$，是 $\mathbb{C}$ 上的亚纯函数，极点为分母 $Q(z)$ 的零点。当 $Q$ 的次数大于 $P$ 时，$R$ 在 $\infty$ 处也有极点。在 Riemann 球面上，有理函数恰好构成全体亚纯函数。

• 三角函数：$\tan z = \frac{\sin z}{\cos z}$ 和 $\cot z = \frac{\cos z}{\sin z}$ 是 $\mathbb{C}$ 上的亚纯函数，极点分别在 $\cos z = 0$ 和 $\sin z = 0$ 处，均为单极点。$\sec z = \frac{1}{\cos z}$ 和 $\csc z = \frac{1}{\sin z}$ 同样为亚纯函数。

• Gamma 函数：$\Gamma(z)$ 通过解析延拓成为 $\mathbb{C}$ 上的亚纯函数，极点为 $z = 0, -1, -2, \dots$，均为单极点，且在 $z = -n$ 处的留数为 $\frac{(-1)^n}{n!}$。Gamma 函数满足函数方程 $\Gamma(z+1) = z\Gamma(z)$，该方程直接揭示了其在非正整数处的极点结构。

• Riemann Zeta 函数：$\zeta(s) = \sum_{n=1}^{\infty} n^{-s}$ 对 $\Re(s) > 1$ 绝对收敛，通过解析延拓成为 $\mathbb{C}$ 上的亚纯函数，仅在 $s=1$ 处有单极点，留数为 $1$。Zeta 函数在数论中研究素数分布时具有根本重要性。

• Weierstrass $\wp$ 函数：椭圆函数理论中最基本的亚纯函数，是双周期的，在周期格点处有二阶极点。

代数结构：亚纯函数域

全体在区域 $D$ 上的亚纯函数构成一个域，记作 $\mathcal{M}(D)$。这是与全纯函数环 $\mathcal{O}(D)$ 最重要的区别：$\mathcal{O}(D)$ 是整环（无零因子），但其商域正是 $\mathcal{M}(D)$。具体而言：

• 若 $f, g \in \mathcal{M}(D)$，则 $f \pm g$、$f \cdot g$ 和 $f/g$（当 $g \not\equiv 0$ 时）仍为 $\mathcal{M}(D)$ 中的元素；
• 域 $\mathcal{M}(D)$ 包含 $\mathbb{C}$ 作为子域；
• 若 $D$ 连通，则 $\mathcal{M}(D)$ 是 $\mathbb{C}$ 的扩域，且超越度至少为 $1$。

这一域结构使得亚纯函数在研究代数曲线和 Riemann 面中扮演关键角色。对于紧 Riemann 面 $X$，域 $\mathcal{M}(X)$ 是 $\mathbb{C}$ 上的有限生成超越扩域，其超越次数等于曲面的维数。

与全纯函数的关系

亚纯函数与全纯函数之间存在紧密的内在联系：

• 局部表达：每个亚纯函数可以局部表示为两个全纯函数之商。若 $f$ 在 $p$ 处有 $m$ 阶极点，则在 $p$ 的邻域内 $f(z) = \frac{g(z)}{(z-p)^m}$，其中 $g$ 在 $p$ 处全纯且 $g(p) \neq 0$。这一表示提供了从全纯函数构造亚纯函数的基本途径。

• Riemann 球面视角：在 Riemann 球面 $\widehat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}$ 上，亚纯函数等价于到 Riemann 球面的全纯映射。换言之，$\widehat{\mathbb{C}}$ 上的亚纯函数恰好是 $\widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ 的全纯映射。这一重要结论说明：Riemann 球面上的亚纯函数正是有理函数。

• 消去可去奇点：若 $f$ 在 $p$ 的某邻域内有界，则 $p$ 实际上是可去奇点，$f$ 可延拓为全纯函数。此即 Riemann 可去奇点定理在亚纯函数情形下的应用。

主要定理

Mittag-Leffler 定理

Mittag-Leffler 定理是亚纯函数理论中最基本的存在性结果，与 Weierstrass 乘积定理（针对全纯函数的零点分布）对偶。它断言：给定 $\mathbb{C}$ 中一列无聚点的点 $\{a_k\}$ 以及每个 $a_k$ 处指定的有理函数主部 $p_k(z)$，存在 $\mathbb{C}$ 上的亚纯函数以这些点为其极点，且极点的奇异性主部与 $p_k(z)$ 一致。该定理在复分析中相当于实分析中的部分分式分解，是构造具有指定极点分布之亚纯函数的核心工具。

Picard 定理

• 小 Picard 定理：非常数整函数取遍 $\mathbb{C}$ 中除可能一个值外的所有值；非常数亚纯函数在 $\widehat{\mathbb{C}}$ 上至多省略两个值。例如，$e^z$ 省略 $0$，$\tan z$ 省略 $\pm i$。
• 大 Picard 定理：在本质奇点的任意邻域内，亚纯函数取遍 $\widehat{\mathbb{C}}$ 中除可能两个值外的所有值无穷多次。这比 Weierstrass-Casorati 定理更为精炼。

Riemann-Roch 定理

在紧 Riemann 面上，Riemann-Roch 定理给出了具有指定极点阶数的亚纯函数空间维数的精确计算公式。设 $X$ 为亏格 $g$ 的紧 Riemann 面，$D$ 为 $X$ 上的除子，则

其中 $\ell(D)$ 是与 $D$ 相关的亚纯函数空间维数，$K$ 为标准除子。该定理是代数几何中最重要的定理之一，它将亚纯函数的存在性问题转化为曲面的拓扑不变量。

应用领域

• 复分析：亚纯函数是单值化定理和模函数理论的基石。模函数 $j(\tau)$ 是上半平面上的亚纯函数，在模群作用下不变，在尖点处有极点。
• 数论：Riemann Zeta 函数和 Dirichlet L-函数等亚纯函数是解析数论研究素数分布和自守形式的核心工具。它们的极点与零点分布蕴含了深刻的数论信息。
• 代数几何：Riemann 面上的亚纯函数构成函数域，与代数曲线理论等价。这一等价性是 Grothendieck 在 abstract algebraic geometry 中推广复代数几何的出发点。
• 数学物理：共形场论和弦论中的关联函数常表示为亚纯函数。此外，在可积系统中，KdV 方程的解与 Riemann 面上的亚纯函数紧密相关。

参考文献

1. Ahlfors, L. V. *Complex Analysis*. McGraw-Hill, 3rd ed., 1979.
2. Lang, S. *Complex Analysis*. Springer, 4th ed., 1999.
3. Forster, O. *Lectures on Riemann Surfaces*. Springer, 1981.
4. Conway, J. B. *Functions of One Complex Variable I \& II*. Springer, 1978.
5. 龚昇. 《复分析》. 科学出版社, 2004.
6. 钟玉泉. 《复变函数论》. 高等教育出版社, 第4版, 2013.