複分析

複分析（英語：Complex analysis）是研究複變的函數，特別是亞純函數和複變解析函數的數學理論。

研究中常用的理論、公式以及方法包括柯西積分定理、柯西積分公式、留數定理、洛朗級數展開等。複變分析的應用領域較為廣泛，在其它數學分支和物理學中也起着重要的作用。包括數論、應用數學、流體力學、熱力學和電動力學。

複變函數

複變函數，是自變量和因變量皆為複數的函數。更確切的說，複變函數的值域與定義域都是複數平面的子集。在複變分析中，自變量又稱為函數的「宗量」^[1]。

對於複變函數，自變量和應變量可分成實部和虛部:

z=x+iy\,

w=f(z)=u(x,y)+iv(x,y)\,

其中

x,y\in \mathbb {R} \,

和

u(x,y),v(x,y)\,

是實數函數。

用另一句話說，就是函數 $f(z)$ 的成分,

u=u(x,y)\,

v=v(x,y),\,

可以理解成變量 $x$ 和 $y$ 的二元實函數。

全純函數

全純函數（holomorphic function）是定義在複數平面 $\mathbb {C}$ 的開子集上的，在複數平面 $\mathbb {C}$ 中取值的，在每點上皆可微的函數。^[2]

複變函數為全純函數的充分必要條件是複變函數的實部和虛部同時滿足柯西-黎曼方程^[3]：

{\partial u \over \partial x}={\partial v \over \partial y}

和

{\partial u \over \partial y}=-{\partial v \over \partial x}.

通過上面的這個方程組也可以由全純函數的實部或者虛部之一來求解另一個^[4]。

柯西積分定理

柯西積分定理指出，如果全純函數的封閉積分路徑沒有包括奇點，那麼其積分值為0；如果包含奇點，則外部閉合路徑正向^[5]積分的值等於包圍這個奇點的內環上閉合路徑的正向積分值。

柯西積分公式

假設 $U$ 是複數平面 $\mathbb {C}$ 的一個開子集， $f:U\rightarrow \mathbb {C}$ 是一個在閉圓盤 $D$ 上複可微的方程，
並且閉圓盤 $D=\left\{z:\left\vert z-z_{0}\right\vert \leq r\right\}$ 是 $U$ 的子集。設 $C$ 為 $D$ 的邊界。則可以推得每個在 $D$ 內部的點 $a$ ：

f(a)={1 \over 2\pi i}\oint _{C}{f(z) \over z-a}\,dz

其中的積分為逆時針方向沿着 $C$ 的積分。

亞純函數

在複變分析中，一個複數平面的開子集 $D$ 上的亞純函數是一個在 $D$ 上除一個或若干個孤立點集合之外的區域全純的函數，那些孤立點稱為該函數的極點。

複變函數的級數展開

複函數的可微性有比實函數的可微性更強的性質。例如：每一個正則函數在其定義域中的每個開圓盤都可以冪級數來表示：

f(z)=\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}=a_{0}+a_{1}(z-z_{0})+a_{2}(z-z_{0})^{2}+a_{3}(z-z_{0})^{3}+\cdots

。

特別地，全純函數都是無限次可微的^[6]，性質對實可微函數而言普遍不成立。大部分初等函數（多項式、指數函數、三角函數）都是全純函數。常用的方法有泰勒級數展開等。

洛朗級數

複變函數 $f(z)$ 的洛朗級數，是冪級數的一種，它不僅包含了正數次數的項，也包含了負數次數的項。有時無法把函數表示為泰勒級數，但可以表示為洛朗級數。

f(z)=\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}

奇點的情況

對於複變函數的孤立奇點，有如下三類。

本質奇點

複變函數在某孤立奇點鄰域的洛朗級數展開，如果存在無窮個負冪項，那麼這個點稱為「本質奇點」^[7]。

對複平面 $C$ 上的給定的開子集 $U$ ，以及 $U$ 中的一點 $a$ ，亞純函數 $f:U\setminus \left\{a\right\}\rightarrow C$ 在 $a$ 處有本質奇點當且僅當它不是極點也不是可去奇點。

極點

複變函數在某孤立奇點鄰域的洛朗級數展開，如果存在有限個負冪項，那麼這個點稱為「極點」^[7]。

亞純函數的極點是一種特殊的奇點，它的表現如同 $z-a=0$ 時 ${\frac {1}{\left(z-a\right)^{n}}}$ 的奇點。這就是說，如果當 $z$ 趨於 $a$ 時，函數 $f(z)$ 趨於無窮大，那麼 $f(z)$ 在 $z=a$ 處便具有極點。

可去奇點

複變函數在某孤立奇點鄰域的洛朗級數展開，如果沒有負冪項，那麼這個點稱為「可去奇點」^[7]。

如果 $U$ 是複平面 $C$ 的一個開集， $a$ 是 $U$ 中一點， $f:U-\left\{a\right\}\rightarrow C$ 是一個全純函數，如果存在一個在 $U-\left\{a\right\}$ 與 $f$ 相等的全純函數 $g:U\rightarrow C$ ，則 $a$ 稱為 $f$ 的一個可去奇點。如果這樣的 $g$ 存在，我們說 $f$ 在 $a$ 是可全純延拓的。