辐角原理
首先,我们来理解“辐角”这个概念。对于一个非零的复数 \(z\),我们可以用模长 \(r\) 和辐角 \(\theta\) 来表示它:\(z = r(\cos\theta + i\sin\theta) = re^{i\theta}\)。这里的 \(\theta\) 就是复数 \(z\) 的辐角,它可以理解为从正实轴到向量 \(z\) 所旋转的角度。
现在,假设我们有一个复变函数 \(f(z)\),它在一条简单的闭合曲线 \(C\) 上以及 \(C\) 的内部是亚纯的(即在 \(C\) 内除了极点外是解析的)。同时,我们要求 \(f(z)\) 在曲线 \(C\) 本身上既没有零点(即 \(f(z) = 0\) 的点),也没有极点。
辐角原理的核心思想是:当动点 \(z\) 沿着闭合曲线 \(C\) 逆时针绕行一周时,函数值 \(f(z)\) 的辐角的总变化量,除以 \(2\pi\),等于函数 \(f(z)\) 在 \(C\) 内部的零点个数减去极点个数。
用数学公式精确表达就是:
\[\frac{1}{2\pi i} \oint_C \frac{f'(z)}{f(z)} dz = N - P \]
其中:
- \(N\) 是函数 \(f(z)\) 在 \(C\) 内部的零点总个数(一个 \(n\) 阶零点算作 \(n\) 个零点)。
- \(P\) 是函数 \(f(z)\) 在 \(C\) 内部的极点总个数(一个 \(m\) 阶极点算作 \(m\) 个极点)。
为什么这个公式成立呢?我们可以从对数的导数来理解。函数 \(\log f(z)\) 的导数是 \(\frac{f'(z)}{f(z)}\)。但是,由于复对数的多值性,当我们绕闭合曲线一圈后,\(\log f(z)\) 的增量不仅仅是函数值的变化,更主要的是其虚部,也就是辐角的变化。这个变化量正好是 \(2\pi i\) 乘以某个整数。这个整数就是 \(f(z)\) 的辐角在绕行 \(C\) 一周后的净变化量除以 \(2\pi\)。
另一方面,这个积分可以通过留数定理来计算。函数 \(\frac{f'(z)}{f(z)}\) 在 \(f(z)\) 的零点和极点处有奇点。
- 如果 \(z_0\) 是 \(f(z)\) 的一个 \(n\) 阶零点,那么在其附近,\(f(z) = (z-z_0)^n g(z)\),其中 \(g(z_0) \ne 0\)。计算可得 \(\frac{f'(z)}{f(z)}\) 在 \(z_0\) 处的留数是 \(n\)。
- 如果 \(z_p\) 是 \(f(z)\) 的一个 \(m\) 阶极点,那么在其附近,\(f(z) = (z-z_p)^{-m} h(z)\),其中 \(h(z_p) \ne 0\)。计算可得 \(\frac{f'(z)}{f(z)}\) 在 \(z_p\) 处的留数是 \(-m\)。
因此,根据留数定理,积分 \(\frac{1}{2\pi i} \oint_C \frac{f'(z)}{f(z)} dz\) 就等于 \(C\) 内部所有零点的阶数之和(即 \(N\))减去所有极点的阶数之和(即 \(P\))。这就严格证明了辐角原理。
辐角原理的一个非常重要的推论是儒歇定理。它提供了一种不需要精确知道零点位置,就能判断一个解析函数在某个区域内零点个数的方法。
儒歇定理的表述如下:
设函数 \(f(z)\) 和 \(g(z)\) 在一条简单闭合曲线 \(C\) 上及其内部解析,并且在 \(C\) 上满足不等式 \(|f(z)| > |g(z)|\)。那么,函数 \(f(z)\) 与函数 \(f(z) + g(z)\) 在 \(C\) 的内部具有相同数量的零点(按重数计算)。
这个定理的证明巧妙地运用了辐角原理。我们考虑一个函数族 \(F_t(z) = f(z) + t g(z)\),其中 \(t \in [0, 1]\)。当 \(t=0\) 时,\(F_0(z) = f(z)\);当 \(t=1\) 时,\(F_1(z) = f(z) + g(z)\)。由于在 \(C\) 上始终有 \(|f(z)| > |g(z)|\),所以 \(F_t(z)\) 在 \(C\) 上不可能为零。根据辐角原理,\(F_t(z)\) 在 \(C\) 内的零点个数 \(N(t)\) 是一个关于 \(t\) 的连续函数。但是,\(N(t)\) 又是一个整数,因此它必须是常数。所以 \(N(0) = N(1)\),即 \(f(z)\) 和 \(f(z)+g(z)\) 在 \(C\) 内的零点个数相同。
儒歇定理非常实用。例如,我们可以用它来证明代数学基本定理:任何一个非常数的复系数多项式在复平面内至少有一个根。考虑多项式 \(P(z) = a_n z^n + a_{n-1}z^{n-1} + \dots + a_0\)(\(a_n \ne 0\))。令 \(f(z) = a_n z^n\),\(g(z)\) 为多项式的其他项。当 \(|z|\) 足够大时(例如在半径足够大的圆周 \(C\) 上),显然有 \(|f(z)| > |g(z)|\)。根据儒歇定理,\(P(z) = f(z) + g(z)\) 在 \(C\) 内的零点个数与 \(f(z) = a_n z^n\) 相同。而 \(f(z)\) 在原点处有一个 \(n\) 阶零点,所以 \(P(z)\) 在 \(C\) 内也有 \(n\) 个零点(计入重数),这就证明了该定理。
总结来说,辐角原理通过研究函数辐角的变化,将函数在区域内的零点与极点的代数个数与一个围道积分联系起来。而其推论儒歇定理则提供了一个强大的工具,用于在不知道精确解的情况下,比较和确定函数的零点分布。