单位圆盘上的解析延拓：复分析整函数证明方法问询

这是个非常好的问题！你原来用泊松公式的思路完全可行，但确实有个更基础、更直观的方法，核心就是用Morera定理——这是判定整函数的经典工具，刚好适配这种“几乎处处解析+全局连续”的场景。

先回忆Morera定理的核心内容 #

如果复函数$f(z)$满足两个条件：

1. 在整个复平面$\mathbb{C}$上连续；
2. 对任意简单闭曲线$\gamma$，都有$\oint_\gamma f(z)dz = 0$；
   那么$f(z)$就是整函数。

我们的目标就是验证第二个条件，因为题目已经给出$f(z)$在全平面连续，所以只需要证明所有简单闭曲线的积分都为0即可。

分情况讨论闭曲线的积分 #

我们把闭曲线分成两类来分析：

• 情况1：闭曲线$\gamma$完全不穿过正实射线
  这时候$\gamma$及其内部都在$f(z)$的解析区域内，直接用柯西积分定理就能得出$\oint_\gamma f(z)dz = 0$，没什么问题。

• 情况2：闭曲线$\gamma$穿过正实射线
  这是关键的情况，我们可以用“曲线变形+连续性”来处理：
  假设$\gamma$和正实射线有两个交点（比如从下方穿到上方，再从上方穿回下方）。我们取一个很小的$\epsilon>0$，把$\gamma$穿过射线的部分替换成两条紧贴射线的小路径——一条在射线的正上方，一条在正下方，距离射线的距离都是$\epsilon$，这样就把原曲线改造成了一个完全在$f(z)$解析区域内的闭合曲线$\gamma_\epsilon$。

  因为$f(z)$在全平面连续，当$\epsilon$趋近于0时，上下两条紧贴射线的路径上的积分会趋近于相等（在射线附近，函数值的差异会随着$\epsilon$缩小而消失）。而$\gamma_\epsilon$在解析区域内，所以$\oint_{\gamma_\epsilon} f(z)dz = 0$。当$\epsilon\to0$时，$\gamma_\epsilon$的积分就趋近于原曲线$\gamma$的积分，因此$\oint_\gamma f(z)dz = 0$。

结论 #

所有简单闭曲线的积分都满足为0的条件，结合$f(z)$的全局连续性，根据Morera定理就能直接得出$f(z)$是整函数。

这个方法比泊松公式更贴近复分析入门的核心知识点，思路也更直观——本质上是用连续性把“正实射线”这个唯一的“缺口”给“补”上，转化为我们熟悉的解析区域积分问题。

内容的提问来源于stack exchange，提问作者Or Kedar