复分析

分形" titlename="曼德博集合，分形" bigsrc="https://pic.baike.soso.com/ugc/baikepic2/0/20180913204154-397022662_jpeg_300_225_9546.jpg/0" mark="" style="">

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

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

其中和是实数函数。

用另一句话说，就是函数的成分,

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

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

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

和

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

柯西积分定理

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

柯西积分公式

假设是复平面的一个开子集，是一个在闭圆盘上复可微的方程，

并且闭圆盘是的子集。 设为的边界。则可以推得每个在内部的点：

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

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

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

。

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

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

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

本质奇点

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

对复平面上的给定的开子集，以及中的一点，亚纯函数在处有本质奇点当且仅当它不是极点也不是可去奇点。

极点

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

亚纯函数的极点是一种特殊的奇点，它的表现如同时的奇点。这就是说，如果当趋于时，函数趋于无穷大，那么在处便具有极点。

可去奇点

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

如果是复平面的一个开集，是中一点，是一个全纯函数，如果存在一个在与相等的全纯函数，则称为的一个可去奇点。如果这样的存在，我们说在是可全纯延拓的。

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

亚纯函数在孤立奇点的留数，通常记为，是使

在圆盘内具有解析原函数的唯一值

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

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

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