关于复函数$f(z) = \sqrt[n]{r^n - z^n}$的解析性判定与解析延拓方法问询

嘿，我看到你的问题了，考虑到你只学过Calc1，我尽量用直观的方式给你拆解，不用太复杂的复分析术语～

一、解析性的判定 #

你已经写出了对应的泰勒级数，这其实是个非常关键的突破口！在复分析里，解析函数的核心特征之一就是：能在某个开区域内展开成收敛的幂级数（也就是泰勒级数）。

你给出的级数：
$$f(z) = r × \sum_{k = 0}^∞ \left({\left(\frac{z}{r}\right)^{k × n} × \frac{Γ\left(k - \frac{1} {n}\right)} {Γ(k + 1) × Γ\left(\frac{-1} {n}\right)}}\right)$$
在$|z| < r$的圆盘区域内是收敛的——因为当$|z/r| < 1$时，级数里的$(\frac{z}{r})^{k×n}$项会不断衰减，再结合伽马函数的性质，整个级数能稳定收敛到函数值。这就说明，你选的这个函数分支（在$z=0$处取值为$r$的那个分支）在$|z| < r$的区域里是完全解析的。

这里要提一句：复数的n次方根本身是多值的（比如平方根有两个结果，立方根有三个），你写出的泰勒级数只是其中一个分支的表达式，其他分支也各自有对应的解析区域。

二、解析延拓的操作思路 #

解析延拓的本质就是把原来的解析函数的定义域“扩大”，让它在更大的区域里仍然保持解析（简单理解就是保持可导、连续，符合复函数的光滑性要求）。针对你的这个函数，我们可以从两个角度来理解延拓的方法：

1. 从代数关系入手 #

令$w = f(z)$，那么函数满足$w^n = r^n - z^{n$，也就是$z}n + w^n = r^n$——这是复平面上的一条代数曲线。我们可以利用这个关系来延拓：

• 原来的泰勒级数在$|z| < r$里有效，但当$z$接近那些满足$r^n - z^n = 0$的点（也就是$z = r e^{2\pi i k/n}$，k为整数）时，函数会出现奇点（因为n次方根在0点附近是多值的，没法连续定义）。
• 我们可以在复平面上画一条“分支切割线”：从其中一个奇点（比如$z=r$）沿着正实轴延伸到无穷远，这样在剩下的平面区域里，我们可以沿着绕开切割线的路径，把原来$|z| < r$内的函数值“延伸”出去——比如取一个从圆盘内到圆盘外的路径，始终不穿过切割线，然后用$w^n = r^n - z^n$的关系定义函数值，同时保证函数的连续性和解析性。

2. 从反函数的角度理解 #

你可以把$f(z)$看成是函数$g(w) = r^n - w^n$的反函数。复分析里的反函数定理告诉我们：只要$g'(w) \neq 0$（也就是$n w^{n-1} \neq 0$，对应$w \neq 0$，也就是$z \neq r e^{2\pi i k/n}$），那么反函数$f(z)$在对应的区域里就是解析的。这意味着，除了那些奇点，我们可以把原来的解析分支延拓到复平面上除切割线和奇点外的所有区域。

最后要补充一点：不管怎么延拓，这个函数都没法变成整个复平面上的单值解析函数——因为它是多值函数，每个分支只能覆盖复平面的一部分，只有当n=1时，函数变成$f(z)=r-z$，是单值的整函数，才能覆盖整个复平面，这也对应了你一开始发现的“除了n=1，函数不填满整个复平面”的现象。

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