跨越分支割线的围道积分求解问询：∫γ 1/z dz路径处理

嘿，这个积分问题我熟！咱们来一步步拆解它～

首先明确问题：我们要计算的是复积分$$\int_\gamma \frac{1}{z}dz$$，其中$\gamma$是左半平面（$\text{Re}(z)<0$）内的单位半圆。这条路径刚好会碰到对数函数$\log(z)$的分支割线（通常我们取主值支$\log(z)$的分支割线为负实轴，辐角范围$(-\pi,\pi)$），所以没法直接套用牛顿-莱布尼茨公式，得绕开分支割线来算。

你提出的思路很对——用两条靠近原路径但绕开分支割线的小路径$\gamma_1$、$\gamma_2$，再配合一条连接它们的辅助路径，最后取极限来逼近原积分。具体操作如下：

步骤1：定义辅助路径 #

我们先定义三条辅助路径：

• $\gamma_1$：和$\gamma$同属单位圆，起点为$i$，终点为$e^{i(\pi-\epsilon)}$（也就是在负实轴上方一点点，离$-1$非常近，辐角比$\pi$小一点点）
• $\gamma_2$：同样在单位圆上，起点为$e^{-i(\pi-\epsilon)}$（负实轴下方一点点，辐角比$-\pi$大一点点），终点为$-i$
• $\gamma_3$：连接$\gamma_1$终点和$\gamma_2$起点的直线段，沿着负实轴附近从$e^{{i(\pi-\epsilon)}$到$e}{-i(\pi-\epsilon)}$

步骤2：分别计算各路径的积分 #

因为$\frac{1}{z}$在除原点外的区域都是解析的，我们可以对每条路径参数化计算：

1. 计算$\int_{\gamma_1} \frac{1}{z}dz$
   对$\gamma_1$参数化：$z=e^{{i\theta}$，$\theta$从$\frac{\pi}{2}$到$\pi-\epsilon$，$dz=ie}{i\theta}d\theta$，代入积分得：
   $$\int_{\gamma_1} \frac{1}{z}dz = \int_{\frac{\pi}{2}}^{\pi-\epsilon} \frac{ie^{i\theta}}{e{i\theta}}d\theta = i\int_{\frac{\pi}{2}}^{\pi-\epsilon}d\theta = i\left((\pi-\epsilon)-\frac{\pi}{2}\right) = i\left(\frac{\pi}{2}-\epsilon\right)$$

2. 计算$\int_{\gamma_2} \frac{1}{z}dz$
   对$\gamma_2$参数化：$z=e^{i\theta}$，$\theta$从$-(\pi-\epsilon)$到$-\frac{\pi}{2}$，代入积分：
   $$\int_{\gamma_2} \frac{1}{z}dz = \int_{-(\pi-\epsilon)}^{-\frac{\pi}{2}} \frac{ie^{i\theta}}{e{i\theta}}d\theta = i\int_{-(\pi-\epsilon)}^{-\frac{\pi}{2}}d\theta = i\left(-\frac{\pi}{2} - (-\pi+\epsilon)\right) = i\left(\frac{\pi}{2}-\epsilon\right)$$

3. 计算$\int_{\gamma_3} \frac{1}{z}dz$
   当$\epsilon$趋近于0时，$\gamma_3$的长度趋近于0，而且$\frac{1}{z}$在这条路径上是有界的（离原点距离始终在1附近），所以$\int_{\gamma_3} \frac{1}{z}dz$的绝对值会趋近于0，也就是$\lim_{\epsilon\to0}\int_{\gamma_3} \frac{1}{z}dz = 0$

步骤3：合并积分取极限 #

原积分$\int_\gamma \frac{1}{z}dz$就是$\gamma_1+\gamma_3+\gamma_2$这条路径积分当$\epsilon\to0$时的极限：
$$\int_\gamma \frac{1}{z}dz = \lim_{\epsilon\to0} \left(\int_{\gamma_1}\frac{1}{z}dz + \int_{\gamma_3}\frac{1}{z}dz + \int_{\gamma_2}\frac{1}{z}dz\right)$$
把之前的结果代入：
$$= \lim_{\epsilon\to0} \left(i\left(\frac{\pi}{2}-\epsilon\right) + 0 + i\left(\frac{\pi}{2}-\epsilon\right)\right) = i\left(\frac{\pi}{2}+\frac{\pi}{2}\right) = i\pi$$

补充一句：如果你的$\gamma$是反向路径（从$-i$到$i$经过$-1$），那结果就是$-i\pi$，本质是一样的，只是路径方向不同。

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