复分析

复分析可以看作是复数上的微积分。它研究复变量函数 $z = x + iy$，并考察导数、幂级数和积分等概念在这里何时仍然成立。

关键在于，复可微比通常的实可微严格得多。若一个函数在某个开集上复可微，就称它是全纯的，而这一个条件就能推出很强的结论：函数是光滑的，并且局部可以展开成幂级数。

复分析研究什么

复分析中的函数以复数为输入，并返回复数输出：

$$f(z)$$

典型例子包括多项式，如 $f(z) = z^2 + 1$，指数函数 $e^z$，以及推广到复数输入的三角函数。

主要问题有：

• $f(z)$ 什么时候有复导数？
• 这个导数能告诉我们关于函数的什么信息？
• 复函数沿平面中的曲线积分时会表现出怎样的性质？
• 一旦函数是全纯的，还能使用哪些额外定理？

为什么复可微不一样

在点 $z_0$ 处，复导数定义为

$$f'(z_0) = \lim_{h \to 0} \frac{f(z_0 + h) - f(z_0)}{h}$$

它看起来和通常的导数定义一样，但有一个关键区别：$h$ 可以从复平面中的任意方向趋近于 $0$，而不只是沿一条直线从左边或右边逼近。

这正是这门学科与众不同的地方。一个函数即使对 $x$ 和 $y$ 都有偏导数，也仍然可能不是复可微的，因为上面的商可能依赖于逼近方向。

如果一个函数在某个开集上复可微，就称它在该集合上是全纯的。在标准的复分析中，全纯函数是主要研究对象。

为什么全纯函数如此强大

在实变量微积分中，存在一阶导数并不会自动赋予函数太多额外结构。而在复分析中，全纯性要强得多。

如果 $f$ 在某个开区域上全纯，那么它在局部可以写成幂级数：

$$f(z) = a_0 + a_1(z-z_0) + a_2(z-z_0)^2 + \cdots$$

这对任意实可微函数并不成立。这就是为什么复分析显得格外“刚性”：一个强条件会同时带来许多结论。

例题：为什么 $f(z) = \overline{z}$ 不是全纯函数

考虑函数

$$f(z) = \overline{z}$$

它看起来很简单，但却是一个经典的非全纯函数例子。根据定义，

$$\frac{f(z+h)-f(z)}{h} = \frac{\overline{z+h} - \overline{z}}{h} = \frac{\overline{h}}{h}$$

现在检查两个方向：

$$\text{if } h \in \mathbb{R}, \quad \frac{\overline{h}}{h} = 1$$

但如果 $h = it$，其中实数 $t \neq 0$，那么

$$\frac{\overline{h}}{h} = \frac{-it}{it} = -1$$

极限依赖于方向，因此复导数不存在。这正是复分析所关心的核心问题。

相比之下，像 $f(z) = z^2$ 这样的多项式处处全纯。区别不在于代数形式是否复杂，而在于导数是否从每个复方向看都相同。

一个实用判据：柯西—黎曼方程

如果我们写成

$$f(z) = u(x,y) + iv(x,y)$$

其中 $z = x + iy$，那么判断全纯性的一个标准工具是柯西—黎曼方程组：

$$u_x = v_y, \qquad u_y = -v_x$$

这些方程很有用，但使用条件同样重要。一个常见的充分条件是：如果 $u$ 和 $v$ 的一阶偏导数在某邻域内连续，并且该处满足柯西—黎曼方程，那么 $f$ 在那里全纯。

所以，这些方程是一个实用工具，而不是可以不检查前提就直接套用的口号。

复分析中的常见错误

• 把复可微当成普通的二元函数可微。复可微更严格，因为极限必须从每个方向都一致。
• 以为有偏导数就够了。仅有偏导数本身并不充分。
• 忘记定义域很重要。在去心圆盘上全纯，与在整个圆盘上全纯并不是一回事。
• 以为共轭运算（如 $f(z) = \overline{z}$）会像关于 $z$ 的多项式那样表现。事实并非如此。

复分析用在哪里

复分析既出现在纯数学中，也出现在应用数学中。

• 在几何和微积分中，围道积分与留数方法可以把困难的实积分转化为可处理的计算。
• 在物理和工程中，全纯函数可用于描述二维势流以及静电学中的某些问题，其中调和函数是核心对象。
• 在纯数学中，这门学科与数论、微分方程和傅里叶分析都有联系。

这里同样要注意具体条件。例如，留数方法只有在被积函数和积分路径满足合适的解析条件时才能应用。

需要记住什么

复分析研究的是复变量的复值函数，而它的核心思想是：复可微是一个非常强的约束条件。

这一个想法就解释了为什么这门学科与普通微积分很不一样。一旦函数是全纯的，许多强有力的工具就都可以使用了。

自己试一试

试着做一个类似的问题：用极限定义计算 $f(z) = z^3$ 的导数，然后把结果与 $f(z) = \overline{z}$ 作比较。亲自看清为什么一个成立而另一个失败，是帮助你真正掌握这个概念的实用方法。