关于复平面全纯函数延拓至黎曼球面的快速判定方法及相关猜想验证问询

嘿，这个问题问得特别实用——毕竟在复分析里，快速判断一个函数能不能延拓到黎曼球面$\mathbb{C}^*$上全纯，确实能省不少功夫。咱们一步步来拆解，最后再验证你提出的那个猜想对不对。

首先先回顾一下核心的判定逻辑：
黎曼球面$\mathbb{C}^$的标准图册包含两个坐标卡：$\phi_0$（覆盖除$\infty$外的球面，对应复平面$\mathbb{C}$）和$\phi_\infty$（覆盖除原点外的球面，通过$z \mapsto 1/z$映射到复平面）。要让$f: \mathbb{C} \to \mathbb{C}$能延拓成$f: \mathbb{C}^ \to \mathbb{C}^*$的全纯函数，等价于以下两个复合函数都是亚纯函数：

• $f \circ \phi_0^{-1}(z) = f(z)$：这要求原函数$f$在$\mathbb{C}$上是亚纯的，也就是只有有限个孤立极点（整函数是亚纯函数的特例，没有极点）。
• $f \circ \phi_\infty^{-1}(z)$：这个函数在$z \neq 0$时是$f(1/z)$，$z=0$处对应延拓后的$f(\infty)$。要让它在$\mathbb{C}$上亚纯，关键看它在$z=0$处的奇点类型。

快速判断$f \circ \phi_\infty^{-1}$亚纯的技巧 #

亚纯函数的奇点只能是可去奇点或极点，绝对不能是本性奇点。我们可以换个变量视角简化判断：令$w = 1/z$，那么$z \to 0$等价于$w \to \infty$，所以$f(1/z)$在$z=0$处的奇点类型，完全对应$f(w)$在$w \to \infty$时的奇点类型。

而判断$f(w)$在$\infty$处的奇点，只需要看$f(1/w)$在$w=0$处的奇点：

• 如果$f(1/w)$在$w=0$处是可去奇点：说明$w \to \infty$时$f(w)$趋近于某个有限值，$\infty$是$f$的可去奇点，延拓后$f(\infty)$就是这个极限值。
• 如果$f(1/w)$在$w=0$处是极点：说明$w \to \infty$时$f(w)$以多项式速度增长（比如$f(w)=w^{n$，$n>0$，则$f(1/w)=1/w}n$在$w=0$处是$n$阶极点），$\infty$是$f$的极点，延拓后$f(\infty)=\infty$。
• 如果$f(1/w)$在$w=0$处是本性奇点：那$f(w)$在$\infty$处就是本性奇点，此时$f(1/z)$在$z=0$处也是本性奇点，不符合亚纯要求，无法延拓。

验证你的猜想：完全正确！ #

你提到的“只需检查$f(1/z)$在$z=0$处不是本性奇点，且$f$有有限个极点”这个判定条件，是完全成立的：

• $f$有有限个极点：保证了$f$在$\mathbb{C}$上是亚纯的，满足第一个复合函数的要求。
• $f(1/z)$在$z=0$处不是本性奇点：说明该奇点是可去或极点，那么$f \circ \phi_\infty^{-1}$就是$\mathbb{C}$上的亚纯函数（仅在$z=0$处有可去/极点型奇点）。

额外的快速判定小技巧 #

为了日常更高效判断，补充几个实用结论：

• 若$f$是多项式函数：$f(1/z)$在$z=0$处是极点，必然可以延拓，延拓后$f(\infty)=\infty$。
• 若$f$是有理函数（两个多项式的商）：$f$在$\mathbb{C}$上只有有限个极点，且$f(1/z)$也是有理函数，在$z=0$处仅为可去奇点或极点，因此一定能延拓到$\mathbb{C}^{*$上全纯——这其实对应了一个经典结论：黎曼球面上的全纯函数（从$\mathbb{C}}$到$\mathbb{C}^$）恰好就是有理函数。
• 若$f$是超越整函数（比如$e^z$、$\sin z$）：它们在$\mathbb{C}$上没有极点，但$f(1/z)$在$z=0$处是本性奇点，因此无法延拓到$\mathbb{C}^*$。

快速判定流程总结 #

1. 检查$f$在$\mathbb{C}$上是否亚纯：即是否只有有限个孤立极点（整函数自动满足）。
2. 检查$f(1/z)$在$z=0$处是否为非本性奇点：若是可去奇点或极点，则可以延拓；若是本性奇点，则无法延拓。

这样两步就能快速得出结论，非常适合日常应用。

备注：内容来源于stack exchange，提问作者hteica