全纯函数

File:Conformal map.svg

直角坐标网（上）经一全纯函数f共形映射后的结果（下）

数学中，全纯函数（Template:Langx）是复分析研究的中心对象；它们是定义在复平面<math>\mathbb{C}</math>的开子集上的，在复平面<math>\mathbb{C}</math>中取值的，在每点上皆复可微的函数。复可微是一个非常强的条件，如果一个复函数在一个邻域可微，可以由此推出该函数无穷可微，而且在一个足够小的邻域中为解析函数。因此在复分析中，解析函数（）一词可以和“全纯函数”交换使用，但前者有几个其他含义，如实数解析函数，而“全纯函数”一词仅用于复分析。

全纯函数有时称为正则函数。在整个复平面上都全纯的函数称为整函数。函数在一点<math>a</math>全纯，不仅是指其在点<math>a</math>可微，而且表示其在某个中心为<math>a</math>的复平面上的开邻域上可微。

双全纯函数（）表示有全纯逆函数的全纯函数。

定义

若 <math>U</math> 为 <math>\mathbb{C}</math> 的开子集，且 <math>f:U\rightarrow \mathbb{C}</math> 为一个函数。

我们称 <math>f</math> 在 <math>U</math> 中一点 <math display="inline">z_0</math> 复可微（complex differentiable），当且仅当该极限存在：

<math>f'(z_0) = \lim_{z \rightarrow z_0} {f(z) - f(z_0) \over z - z_0 } </math>

• 若<math>f</math>在<math display="inline">U</math>上任取一点均复可微，则称<math>f</math>在<math display="inline">U</math>上全纯。
• 特别地，若函数在整个复平面全纯，我们称这个函数为整函数。

其中，极限取所有趋向<math display="inline">z_0</math>的复数列，并对所有这种序列差的商趋向同一个数<math display="inline">f'(z_0)</math>，另外，这个可微性的概念和实可微性有几个相同性质：它是线性的，并服从乘积，商和链式法则。

下面是一个等价的定义，将一个复函数视作 <math>\mathbb{R}^2</math> 到自身的映射，写作 <math>f(x + iy) = u(x, y) + i v(x, y)</math> ，则复函数 <math>f</math> 全纯当且仅当它满足柯西-黎曼方程：

• <math>\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}</math> ， <math>\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}</math>。

范例

有理函数

• 所有的复系数多项式函数为整函数
• 所有复系数的有理函数，在除去极点以外的区域均为全纯。例如，函数<math>f:z \mapsto \frac{1}{z}</math>在<math>\mathbb{C^*}</math>上为全纯函数。

由幂级数定义的函数

若<math>\Sigma_{n\geq 0}a_n z^n</math>复系数幂级数，且收敛半径不为零，我们记<math>D</math>为其收敛区域。

函数

<math>\begin{align} f:D & \rightarrow \mathbb{C} \\ z & \mapsto \Sigma_{n\geq 0}a_n z^n \\ \end{align}</math>

为全纯函数，且任取<math>z \in D, f'(z)=\Sigma_{n\geq 1}{n a_nz^{n-1}}</math>.事实上，这个函数在<math>D</math>上无穷可导。

指数函数为整函数，同样地，三角函数<math>\sin z,\,\cos z</math>与双曲函数同样为整函数。

复对数

若在一个连通集上的函数<math>L:U\rightarrow \mathbb{C}</math>满足条件：<math>\forall z \in D, \exp(L(z))=z</math>，则称其为一个复对数函数。

另有一等价定义，即若全纯函数<math>L</math>在<math>U</math>上以<math>z \mapsto 1/z</math>为导数，且存在一点<math>z_0</math>，使得这一点<math>\exp(L(z_0))=z_0</math>，则称其为一个复对数函数。

在<math>\mathbb{C^*}</math>的任意开子集<math>U</math>上，若有一个复对数<math>L</math>，那么任取整数<math>k</math>，函数<math>z \mapsto L(z)+2k\pi i</math>也为<math>U</math>上的复对数函数。

幂函数

在<math>\mathbb{C^*}</math>的任意开子集<math>U</math>上，若有一个复对数<math>L</math>，那么任取复数<math>a</math>，在<math>U</math>上<math>a</math>阶幂函数可以定义为<math>\forall z \in U, z^a=\exp(aL(z))</math>

特别地，任取整数<math>n>0</math>，有<math>z^{1/n}=\exp((1/n)L(z))</math>，满足<math>\forall z \in U, (z^{1/n})^n=z</math>，我们称此表达式为<math>U</math>上<math>n</math>阶幂的定义式。另外，记<math>\sqrt[n]{z}:=z^{1/n}</math>。

性质

因为复微分是线性的，并且服从积、商、链式法则，所以全纯函数的和、积及复合是全纯的，而两个全纯函数的商在所有分母非0的地方全纯。

每个全纯函数在每一点无穷可微。它和它自己的泰勒级数相等，而泰勒级数在每个完全位于定义域<math>U</math>内的开圆盘上收敛。泰勒级数也可能在一个更大的圆盘上收敛；例如，对数的泰勒级数在每个不包含0的圆盘上收敛，甚至在复实轴的附近也是如此。

若把<math>\mathbb{C}</math>和<math>\mathbb{R^2}</math>等同起来，则全纯函数和满足柯西-黎曼方程的双实变量函数相同，该方程组含有两个偏微分方程。

在非0导数的点的附近，全纯函数是共形的。因为他们保持了小图形的角度和形状。

柯西积分公式表明每个全纯函数在圆盘内的值由它在盘边界上的取值所完全决定。

多变量情形

多复变函数的复解析函数定义为在一点全纯和解析，如果它局部可以扩张为收敛的各个变量的幂级数。这个条件比柯西-黎曼方程要强；事实上它可以这样表述为一个多复变量函数是全纯的当且仅当它满足柯西-黎曼方程并且局部平方可积。

扩展到泛函分析

全纯函数的概念可以扩展到泛函分析中的无穷维空间。Fréchet导数条目介绍了巴拿赫空间上的全纯函数的概念。

参考文献

• 复分析(中文版.原书第3版)-[美]Lars.V.Ahlfors-机械工业出版社-2005

参看

• 亚纯函数
• 整函数