全纯函数

File:Conformal map.svg

直角坐标网（上）經一全纯函数f共形映射後的結果（下）

數學中，全纯函数（英語：Holomorphic function）是複分析研究的中心对象；它们是定义在複平面<math>\mathbb{C}</math>的开子集上的，在复平面<math>\mathbb{C}</math>中取值的，在每点上皆複可微的函数。複可微是一個非常強的條件，如果一個複函數在一個鄰域可微，可以由此推出該函數無窮可微，而且在一個足夠小的鄰域中為解析函數。因此在複分析中，解析函數（analytic function）一詞可以和「全純函數」交換使用，但前者有几个其他含义，如實數解析函數，而「全純函數」一詞僅用於複分析。

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

雙全純函數（biholomorphic）表示有全纯逆函数的全纯函数。

定义

若 <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

参看

• 亚纯函数
• 整函数
• 反全纯函数