证明对数主分支(log,D)可沿ℂ\{0}内任意曲线解析延拓

嘿，这个问题问到复分析里很核心的点上了——对数的解析延拓和复平面的覆盖映射确实是绑定在一起的，咱们一步步来拆解清楚：

首先先明确前提：D是圆心为1、不含0的圆盘，所以D完全落在右半平面附近，对数主分支$\log z$（也就是取辐角在$(-\pi,\pi)$内的那个分支）在D上是完美解析的，这是咱们的起点。

接下来，对于ℂ{0}里的任意一条曲线$\gamma: [0,1] \to \mathbb{C}\setminus{0}$（假设$\gamma(0) \in D$，毕竟延拓是从D出发的），咱们可以用两种思路来证明延拓存在：

思路1：用有限覆盖+局部分支构造延拓链 #

• 因为$\gamma$是连续曲线，而$[0,1]$是紧集，所以咱们可以把$[0,1]$切成有限个小区间$[0,t_1], [t_1,t_2], ..., [t_n,1]$，使得每个$\gamma([t_i,t_{i+1}])$都能被一个**不含0的圆盘$D_{i+1}$**完全包住，而且相邻的圆盘$D_i$和$D_{i+1}$交集非空，第一个圆盘$D_1$还和原圆盘D相交。
• 对于每个圆盘$D_i$，咱们可以定义对应的对数分支：在$D \cap D_1$里，主分支$\log z$已经有定义，那在$D_1$里，咱们可以把这个分支“延拓”过去——因为$D_1$不含0，存在唯一的解析函数$\log_1 z$，使得在$D \cap D_1$上$\log_1 z = \log z$，而且$\exp(\log_1 z)=z$对所有$z \in D_1$成立。
• 以此类推，每个后续的圆盘$D_{i+1}$里，都能定义一个对数分支$\log_{i+1} z$，让它在$D_i \cap D_{i+1}$上和$\log_i z$完全一致。这样一串${(D_i, \log_i)}$就构成了沿$\gamma$的解析延拓链，也就证明了主分支可以沿$\gamma$延拓。

思路2：用覆盖空间的曲线提升（更本质的方法） #

咱们知道，$\exp: \mathbb{C} \to \mathbb{C}\setminus{0}$是一个解析覆盖映射——它是全纯的，导数$\exp'(w)=\exp(w) \neq 0$处处成立，而且每个$z \in \mathbb{C}\setminus{0}$的原像就是所有$\log z$的分支值，是离散的点集，完全满足覆盖映射的定义。

对于曲线$\gamma$，因为覆盖空间$\mathbb{C}$是单连通的，根据覆盖映射的提升定理，存在唯一的曲线$\tilde{\gamma}: [0,1] \to \mathbb{C}$，使得$\exp(\tilde{\gamma}(t))=\gamma(t)$对所有$t$成立，而且$\tilde{\gamma}(0)=\log \gamma(0)$（主分支值）。

现在，对于每个$t$，取$\gamma(t)$的一个小邻域$U_t$，使得$\exp$在$\tilde{\gamma}(t)$的邻域$\tilde{U}_t$上是到$U_t$的双全纯映射，那$\tilde{U}_t$上的$w$对应到$U_t$上的$z=\exp(w)$，逆映射就是$\log z = w$——这个逆映射就是$U_t$上的对数分支，而且相邻邻域上的分支在交集上是相容的（因为提升曲线是连续的）。这就自然给出了沿$\gamma$的解析延拓。

没错！而且这是解决这类问题最直接、最本质的方法。

解析覆盖映射的核心性质之一就是：如果$f: X \to Y$是解析覆盖映射，那么$Y$上的任何局部解析函数（也就是解析元素），只要它是$f$的局部逆，就可以沿$Y$中的任意曲线解析延拓。

放到咱们的问题里：

• 覆盖映射就是$\exp: \mathbb{C} \to \mathbb{C}\setminus{0}$，它把单连通的覆盖空间$\mathbb{C}$映射到$\mathbb{C}\setminus{0}$；
• 对数主分支$(\log, D)$正好是$\exp$在D上的局部逆（在D上，$\exp(\log z)=z$，而且$\log z$解析）；
• 因为覆盖空间$\mathbb{C}$是单连通的，任何曲线都能被唯一提升，对应的局部逆也就自然能延拓到整条曲线上——甚至不需要额外构造延拓链，覆盖映射的性质直接保证了延拓的存在性。

说白了，覆盖映射就是为这类多值解析函数的延拓问题量身定做的工具，找到对应的覆盖映射，问题就解决了大半。

内容的提问来源于stack exchange，提问作者J.Doe