构造满足导数为cos(z⁻¹)的全纯函数f:ℂ\{0}→ℂ的方法咨询

嘿，我来帮你捋清楚这个问题的解决思路，先从你已经掌握的条件入手梳理：

• 对于$z \in \mathbb{C} \setminus {0}$，$\cos(z^{-1})$可以展开成洛朗级数：
  $$\cos(z^{-1}) = \sum_{k=0}^\infty \frac{(-1)^k z^{-2k}}{(2k)!}$$
• 你通过比值检验确认了这个级数在$0 < |z| < \infty$的整个区域都收敛（这里要提一句，这是洛朗级数，不是常规的幂级数，所以收敛半径的说法其实对应它在所有非零复平面上都收敛）
• 你也纠正了之前的错误：$\cos(z^{-1})$在$\mathbb{C} \setminus {0}$上不是有界的，比如取$z=iy$（$y$是趋近于0的正实数），$\cos(z^{-1})=\cosh(1/y)$会直接趋向正无穷，这个点很重要，能帮你排除一些错误的方向。

接下来回到你的核心问题：怎么构造一个全纯函数$f(z)$，让它在$\mathbb{C} \setminus {0}$上的导数正好是$\cos(z^{-1})$。其实方法很直接，我们可以对这个洛朗级数逐项积分——毕竟洛朗级数在它的收敛圆环内是支持逐项积分的，而且积分路径只要不经过$z=0$这个奇点就行。

我们来一步步算这个积分：
我们要找的$f(z)$是$\cos(z^{-1})$的原函数，那对级数里的每一项分别积分：

• 当$k=0$时，级数项是$1$，积分结果是$z$（加上任意常数，后面统一合并）
• 当$k \geq 1$时，级数项是$\frac{(-1)^k z^{-2k}}{(2k)!}$，用幂函数积分公式$\int z^n dz = \frac{z^{n+1}}{n+1}$（这里$n=-2k \neq -1$，完全适用），积分后得到$\frac{(-1)^k z^{1-2k}}{(2k)! (1-2k)}$

把这些项加起来，再加上一个任意复常数$C$，就得到了$f(z)$的表达式：
$$f(z) = z + \sum_{k=1}^\infty \frac{(-1)^k z^{1-2k}}{(2k)! (1 - 2k)} + C$$

现在我们来验证这个$f(z)$是否符合要求：

1. 收敛性：对这个级数用比值检验，相邻两项的模长比值当$k \to \infty$时会趋向于0，意味着它在所有$z \neq 0$的点都收敛，也就是在$\mathbb{C} \setminus {0}$上处处有定义。
2. 全纯性与导数：因为这个级数在$\mathbb{C} \setminus {0}$上是内闭一致收敛的，所以可以逐项求导，求导后正好回到$\cos(z^{{-1})$的洛朗级数，完美满足$f'(z)=\cos(z}{-1})$的要求。

另外要提一句，这个$f(z)$没法延拓成整个复平面上的全纯函数，因为$z=0$是$\cos(z^{-1})$的本性奇点，对应的原函数在$z=0$处也有本性奇点，没法修复这个奇点。

如果你想换个思路，也可以把$\cos(z^{{-1})$写成$\frac{e}{iz^{-1}} + e^{-iz{-1}}}{2}$，再分别找两个指数函数的原函数，但最后得到的结果和逐项积分的结果是完全一致的，本质上还是对洛朗级数做积分操作。

总结一下，最直接靠谱的方法就是对$\cos(z^{-1})$的洛朗级数逐项积分，得到的函数就是你要找的全纯函数。

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