全純函數

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

參看

• 亞純函數
• 整函數
• 反全純函數