复分析是研究复变量函数的学科。复分析是某些领域(例如电力工程等)中广泛使用且强大的工具。
在我们开始之前,您可能需要回顾一下 复数
复数
复变量函数是能够取复数值(以及严格实数值)的函数。例如,假设 f(z) = z2。该函数在复数 z 与其平方 z2 之间建立了对应关系,就像实变量函数一样,但使用复数。请注意,对于 f(z) = z2,如果 z 是严格实数,则 f(z) 将是严格实数。
通常我们可以将函数 f(z) 写成 f(z) = f(x+iy) = a(x,y) + ib(x,y) 的形式,其中 a 和 b 是实值函数。
与实值函数一样,我们也对复值函数有了极限和连续性的概念 - 我们通常的δ-ε 极限定义
当且仅当对于每个
,存在一个
,使得
对所有
成立,使得
.
请注意,ε 和 δ 是实数。这在使用不等式的过程中是隐含的:只有实数是“大于零”的。
这个极限定义和实值函数的定义之间的区别之一是绝对值的含义。这里我们指的是复数绝对值而不是实数绝对值。另一个区别在于z 接近w 的方式。对于实值函数,我们只关心z 从左侧或右侧接近w。在复数环境中,z 可以从二维复平面中的任何方向接近w:沿着穿过w 的任何直线,沿着以w 为中心的螺旋线等。
例如,设
。假设我们要证明
。我们可以将z 写成
,其中我们认为γ 是一个小的复数。然后请注意
。然后,在我们的定义中,L 为 -1,w 为 i,我们有

根据三角不等式,最后一个表达式小于

为了使这个表达式小于 ε,我们可以要求

因此,对于任何
,如果
,并且
,那么
。因此,当 z 趋近于 i 时,
的极限为 -1。
由于我们定义了极限,我们可以像平常一样定义复函数的 导数

只要这个极限与 Δz 趋近于零的方式无关(因为我们现在在复平面上工作,我们有更大的自由度!)。
如果对于某个值 z 或某些值的集合(一个 区域)存在这样一个极限,我们称该函数在该点或区域 全纯。连续性和单值性是解析的必要条件;然而,连续性和单值性不足以保证解析性。
许多复值的初等函数具有与实函数相同的导数:例如 D z2 = 2z。
根据以上内容,回答以下问题。
- 从极限定义中求出 z3 的导数。
- 将 ez 写成 a(x, y)+b(x, y)i 的形式
1. 
2. 
我们可能想知道哪些复函数实际上是可微的。看起来全纯函数的判据比实函数的可微性判据要严格得多,事实也确实如此。假设我们有一个复函数
,
其中 u 和 v 是实函数。此外,假设 u 和 v 在实数意义上是可微函数。那么我们可以让
在可微性定义中,通过仅改变 x 或仅改变 y 来逼近 0。因此,只有当 f 满足以下条件时,它才能在复数意义上可微

事实上,如果 u 和 v 在实数意义上是可微的,并且满足这两个方程,那么 f 就是全纯的。这两个方程被称为柯西-黎曼方程。
在单变量微积分中,积分通常是在两个实数之间计算的

在实数轴上,从
到
只有一个路径。然而,在复平面中,在两点
和
之间有无数条不同的路径。因此,复积分总是沿着路径进行,而不是在两点之间进行。
设
是复平面中由
参数化的路径,设
是一个复值函数,则轮廓积分的定义类似于多元微积分中的线积分

例 设
,设
是从 0 到 1+i 的一条直线,这条曲线可以用
参数化,其中
在 0 到 1 之间变化。现在我们可以计算

注意我们也有

这表明,复反导数可用于简化积分的计算,就像实反导数用于计算实积分一样。
柯西定理指出,如果函数
在开集
的闭包上是全纯的,而
是
中的一条简单闭曲线,那么

这可以从格林定理的角度理解,虽然这并不能轻易地得到证明,因为格林定理只在假设 f 有连续的一阶偏导数的情况下适用...
进行积分的轮廓
柯西定理可以用来计算许多瑕积分(瑕积分是指积分区间中包含无穷大)。例如,考虑

因为

我们考虑

现在我们对上图所示的凹半圆形轮廓进行积分。我们对轮廓的每个部分进行如下参数化
, ![{\displaystyle t\in [-R,-\epsilon ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3179e8deb0ca1ce6862e93f3568b0f62ba061bb8)
, ![{\displaystyle t\in [\epsilon ,R]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7218d92fb652c18aa2de3e50f2984d7111011c78)
, ![{\displaystyle t\in [0,\pi ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9379db0b64ddff71762d02723a565f19e65443cb)
, ![{\displaystyle t\in [0,\pi ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9379db0b64ddff71762d02723a565f19e65443cb)
根据柯西定理,整个轮廓的积分值为零。所以,

现在我们分别处理这些积分。


回忆复数正弦的定义,

现在我们评估另外两个积分

当
时,被积函数趋近于 1,所以

第四个积分等于零,但这个有点难证明。它的形式与第三段类似

这个被积函数更难,因为它不一定在任何地方都趋近于零。这个困难可以通过将积分分开来克服,但这里我们简单地假设它为零。
结合所有内容,我们现在有

因此,

柯西积分公式描述了全纯函数在一个集合上的行为,该行为基于其在该集合边界上的行为。 如果
是一个具有分段光滑边界的开集,并且
在
中是全纯的,那么

这是一个非凡的事实,在多元微积分中没有对应的结论。 它表明,如果我们知道全纯函数沿着闭曲线的取值,那么我们也知道它在曲线内部的任何地方的取值。
因为
是一个开集,因此对于所有
都有
。 因此,柯西积分公式中的被积函数关于 z 是无限可微的,通过反复对等式两边求导,我们得到

这个结果表明,全纯性比可微性是一个更强的要求。 在复平面上,如果一个函数在一个开集中只有一个导数,那么它在这个开集中有无穷多个导数。
柯西定理和积分公式有一些强大的推论
- 幂级数的收敛性 如果一个函数在一个圆盘中是全纯的,那么它的泰勒级数在这个圆盘中收敛。
- 刘维尔定理 如果一个函数在整个
中有界且全纯,那么它等于一个常数。
- 代数基本定理 任何具有复系数的次数大于零的多项式都有一个复根。 这是刘维尔定理的一个简单推论。
- 函数的相等性 如果两个函数
和
在一个连通的开集
上是全纯的,并且在该集合中的任何圆盘上
,那么对于所有
都有
。