全純函數

直角坐標網（上）經一全純函數f共形映射後的結果（下）

全純函數（英語：Holomorphic function）是複分析研究的中心對象；它們是定義在複平面$\mathbb {C}$的開子集上的，在複平面$\mathbb {C}$中取值的，在每點上皆複可微的函數。全純函數有時稱為正則函數。在整個複平面上都全純的函數稱為整函數。在一點$a$全純，不僅表意味着$a$可微，而且表示在某個中心為$a$的複平面上的開鄰域上可微。

定義

若${\textstyle U}$為${\textstyle \mathbb {C} }$的開子集，且$f:U\rightarrow \mathbb {C}$為一個函數。

• 我們稱$f$是在${\textstyle U}$中一點${\textstyle z_{0}}$是復可微的（complex differentiable）或全純的，當且僅當該極限存在：

$f'(z_{0})=\lim _{z\rightarrow z_{0}}{f(z)-f(z_{0}) \over z-z_{0}}$

• 若$f$在${\textstyle U}$上任取一點均全純，則稱$f$在${\textstyle U}$上全純。
• 特別地，若函數在整個複平面全純，我們稱這個函數為整函數。

其中，極限取所有趨向${\textstyle z_{0}}$的復數列，並對所有這種序列差的商趨向同一個數${\textstyle f'(z_{0})}$，另外，這個可微性的概念和實可微性有幾個相同性質：它是線性的，並服從乘積，商和鏈式法則。

下面是一個等價的定義：一個複函數全純當且僅當它滿足柯西-黎曼方程。

範例

有理函數

• 所有的復係數多項式函數為整函數

• 所有復係數的有理函數，在除去極點以外的區域均為全純。例如，函數$f:z\mapsto {\frac {1}{z}}$在$\mathbb {C^{*}}$上為全純函數。

由冪級數定義的函數

若$\Sigma _{n\geq 0}a_{n}z^{n}$復係數冪級數，且收斂半徑不為零，我們記$D$為其收斂區域。

函數

${\begin{aligned}f:D&\rightarrow \mathbb {C} \\z&\mapsto \Sigma _{n\geq 0}a_{n}z^{n}\\\end{aligned}}$

為全純函數，且任取$z\in D,f'(z)=\Sigma _{n\geq 1}{na_{n}z^{n-1}}$.事實上，這個函數在$D$上無窮可導。

指數函數為整函數，同樣地，三角函數$\sin z,\,\cos z$與雙曲函數同樣為整函數。

複對數

若在一個連通集上的函數$L:U\rightarrow \mathbb {C}$滿足條件：$\forall z\in D,\exp(L(z))=z$，則稱其為一個複對數函數。

另有一等價定義，即若全純函數$L$在$U$上以$z\mapsto 1/z$為導數，且存在一點$z_{0}$，使得這一點$\exp(L(z_{0}))=z_{0}$，則稱其為一個複對數函數。

在$\mathbb {C^{*}}$的任意開子集$U$上，若有一個複對數$L$，那麼任取整數$k$，函數$z\mapsto L(z)+2k\pi i$也為$U$上的複對數函數。

冪函數

在$\mathbb {C^{*}}$的任意開子集$U$上，若有一個複對數$L$，那麼任取複數$a$，在$U$上$a$階冪函數可以定義為$\forall z\in U,z^{a}=\exp(aL(z))$

特別地，任取整數$n>0$，有$z^{1/n}=\exp((1/n)L(z))$，滿足$\forall z\in U,(z^{1/n})^{n}=z$，我們稱此表達式為$U$上$n$階冪的定義式。另外，記${\sqrt[{n}]{z}}:=z^{1/n}$。

性質

因為復微分是線性的，並且服從積、商、鏈式法則，所以全純函數的和、積及複合是全純的，而兩個全純函數的商在所有分母非0的地方全純。

每個全純函數在每一點無窮可微。它和它自己的泰勒級數相等，而泰勒級數在每個完全位於定義域$U$內的開圓盤上收斂。泰勒級數也可能在一個更大的圓盤上收斂；例如，對數的泰勒級數在每個不包含0的圓盤上收斂，甚至在復實軸的附近也是如此。

若把$\mathbb {C}$和$\mathbb {R^{2}}$等同起來，則全純函數和滿足柯西-黎曼方程的雙實變量函數相同，該方程組含有兩個偏微分方程。

在非0導數的點的附近，全純函數是共形的。因為他們保持了小圖形的角度和形狀。

柯西積分公式表明每個全純函數在圓盤內的值由它在盤邊界上的取值所完全決定。

幾個變量

多復變函數的復解析函數定義為在一點全純和解析，如果它局部可以擴張為收斂的各個變量的冪級數。這個條件比柯西-黎曼方程要強；事實上它可以這樣表述為一個多復變量函數是全純的當且僅當它滿足柯西-黎曼方程並且局部平方可積。

擴展到泛函分析

全純函數的概念可以擴展到泛函分析中的無窮維空間。Fréchet導數條目介紹了巴拿赫空間上的全純函數的概念。

參看

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