全純函數(英語:Holomorphic function)是複分析研究的中心物件;它們是定義在複數平面開子集上的,在複數平面中取值的,在每點上皆複可微的函數[註 1][註 2]全純函數有時稱為正則函數。在整個複數平面上都全純的函數稱為整函數。在一點全純,不僅表意味著可微,而且表示在某個中心為的複數平面上的開鄰域上可微。[註 3]

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

定義

編輯

  的開子集,且 為一個函數。

  • 我們稱 是在 中一點 是複可微的(complex differentiable)或全純的,若且唯若該極限存在:
 
  •   上任取一點均全純,則稱  全純
  • 特別地,若函數在整個複數平面全純,我們稱這個函數為整函數

其中,極限取所有趨向 的複數列,並對所有這種序列差的商趨向同一個數 ,另外,這個可微性的概念和實可微性有幾個相同性質:它是線性的,並服從乘積,商和連鎖律

下面是一個等價的定義:一個複函數全純若且唯若它滿足柯西-黎曼方程式

範例

編輯
  • 所有複系數的有理函數,在除去極點以外的區域均為全純。例如,函數  上為全純函數。

冪級數定義的函數

編輯

 複系數冪級數,且收斂半徑不為零,我們記 為其收斂區域。

函數

 

為全純函數,且任取 .事實上,這個函數在 上無窮可導。

指數函數為整函數,同樣地,三角函數 [註 4]雙曲函數同樣為整函數。

若在一個連通集上的函數 滿足條件: ,則稱其為一個複對數函數

另有一等價定義,即若全純函數  上以 為導數,且存在一點 ,使得這一點 ,則稱其為一個複對數函數

 的任意開子集 上,若有一個複對數 ,那麼任取整數 ,函數 也為 上的複對數函數。

冪函數

編輯

 的任意開子集 上,若有一個複對數 ,那麼任取複數 ,在  階冪函數可以定義為 

特別地,任取整數 ,有 ,滿足 ,我們稱此表達式為  階冪的定義式。另外,記 [註 5]

性質

編輯

因為複微分是線性的,並且服從積、商、連鎖律,所以全純函數的和、積及複合是全純的,而兩個全純函數的商在所有分母非0的地方全純。

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

若把  等同起來,則全純函數和滿足柯西-黎曼方程式的雙實變量函數相同,該方程組含有兩個偏微分方程式

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

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

幾個變量

編輯

多複變函數的複解析函數定義為在一點全純和解析,如果它局部可以[註 8]擴張為收斂的各個變量的冪級數。這個條件比柯西-黎曼方程式要強;事實上它可以這樣表述為一個多複變量函數是全純的若且唯若它滿足柯西-黎曼方程式並且局部平方可積

擴展到泛函分析

編輯

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

注釋

編輯
  1. ^ 這是比實可微強得多的條件,暗示著此函數無窮可微並可以用泰勒級數來描述。
  2. ^ 解析函數analytic function)一詞經常可以和「全純函數」互相交換使用,雖然前者有幾個其他含義。
  3. ^ 雙全純(biholomorphic)表示一個有全純逆函數的全純函數。
  4. ^ 可通過指數函數使用歐拉公式定義
  5. ^ 若對於正實數,這種定義方式可能與其通常含義存在衝突
  6. ^ 或稱保角的
  7. ^ 但尺寸可能改變
  8. ^ 在一個多盤,也即中心在該點的圓盤直積

參看

編輯