复变函数

曼德博集合，分形

复变函数，是自变量和应变量都为复数的函数。更确切的说，复函数的值域与定义域都是复平面的子集。在复分析中，自变量又称为函数的“宗量”。

对于复函数，自变量和应变量可分成实部和虚部:

用另一句话说，就是函数 f(z)的成分,

可以理解成变量 x和 y的二元实函数。

全纯函数

全纯函数（holomorphic function）是定义在复平面C的开子集上的，在复平面C中取值的，在每点上皆复可微的函数。

复变函数为全纯函数的充分必要条件是复变函数的实部和虚部同时满足柯西-黎曼方程：

和

通过上面的这个方程组也可以由全纯函数的实部或者虚部之一来求解另一个。

柯西积分定理

柯西积分定理指出，如果全纯函数的闭合积分路径没有包括奇点，那么其积分值为0；如果包含奇点，则外部闭合路径正向积分的值等于包围这个奇点的内环上闭合路径的正向积分值。

柯西积分公式

假设 U 是复平面C的一个开子集，f : U → C 是一个在闭圆盘D上复可微的方程， 并且闭圆盘 D = { z : | z − z0| ≤ r} 是U的子集。 设C 为D 的边界。则可以推得每个在D 内部的点a:

其中的积分为逆时针方向沿着C的积分。

亚纯函数

在复分析中，一个复平面的开子集D上的亚纯函数是一个在D上除一个或若干个孤立点集合之外的区域全纯的函数，那些孤立点称为该函数的极点。

复变函数的级数展开

复函数的可微性有比实函数的可微性更强的性质。例如：每一个正则函数在其定义域中的每个开圆盘都可以幂级数来表示：

特别地，全纯函数都是无限次可微的，性质对实可微函数而言普遍不成立。大部分初等函数（多项式、指数函数、三角函数）都是全纯函数。常用的方法有泰勒级数展开等。

洛朗级数

复变函数f(z){\displaystyle f(z)}的洛朗级数，是幂级数的一种，它不仅包含了正数次数的项，也包含了负数次数的项。有时无法把函数表示为泰勒级数，但可以表示为洛朗级数。

奇点的情况

对于复变函数的孤立奇点，有如下三类。

本质奇点

复变函数在某孤立奇点邻域的洛朗级数展开，如果存在无穷个负幂项，那么这个点称为“本质奇点”。

对复平面 C 上的给定的开子集U，以及 U 中的一点 a{\displaystyle a}，亚纯函数 f : U\{a} → C 在 a{\displaystyle a} 处有本质奇点当且仅当它不是极点也不是可去奇点。

极点

复变函数在某孤立奇点邻域的洛朗级数展开，如果存在有限个负幂项，那么这个点称为“极点”。

亚纯函数的极点是一种特殊的奇点，它的表现如同z-a = 0时1/(z-a)的奇点。这就是说，如果当z趋于a时，函数f(z)趋于无穷大，那么f(z)在z = a处便具有极点。

可去奇点

复变函数在某孤立奇点邻域的洛朗级数展开，如果没有负幂项，那么这个点称为“可去奇点”。

如果 U 是复平面 C 的一个开集，a 是 U 中一点，f : U - {a} → C 是一个全纯函数，如果存在一个在 U - {a} 与 f 相等的全纯函数 g : U → C，则 a 称为 f 的一个可去奇点。如果这样的 g 存在，我们说 f 在 a 是可全纯延拓的。

留数

定义

在复分析中，留数是一个复数，描述亚纯函数在奇点周围的路径积分的表现。

亚纯函数f{\displaystyle f}在孤立奇点a{\displaystyle a}的留数，通常记为Res(f,a){\displaystyle Res(f,a)}，是使

在圆盘0a|{\displaystyle 0 内具有解析原函数的唯一值R{\displaystyle R}

留数定理

在复分析中，留数定理是用来计算解析函数沿着闭曲线的路径积分的一个有力的工具，也可以用来计算实函数的积分。它是柯西积分定理和柯西积分公式的推广。

假设U是复平面上的一个单连通开子集，a1、……、an是复平面上有限个点，f是定义在U \ {a1、……、an}的全纯函数。如果γ是一条把a1、……、an包围起来的可求长曲线，但不经过任何一个ak，并且其起点与终点重合，那么：

一些难于计算的实函数的积分可以通过转化为复变函数，然后利用留数定理来进行计算。

参考书目

（美）布朗 等. 复变函数及应用. 机械工业出版社. ISBN 978-7-11-115830-1. 

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。