複分析(英語:Complex analysis)是研究複變的函數,特別是亞純函數和複變解析函數的數學理論。
研究中常用的理論、公式以及方法包括柯西積分定理、柯西積分公式、留數定理、洛朗級數展開等。複變分析的應用領域較為廣泛,在其它數學分支和物理學中也起著重要的作用。包括數論、應用數學、流體力學、熱力學和電動力學。
複變函數
曼德博集合,碎形
複變函數,是自變數和應變數皆為複數的函數。更確切的說,複變函數的值域與定義域都是複數平面的子集。在複變分析中,自變數又稱為函數的「宗量」[1]。
對於複變函數,自變數和應變量可分成實部和虛部:
![{\displaystyle z=x+iy\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00388a6494cd591b2d3c2bbc3a4e240480fac70a)
![{\displaystyle w=f(z)=u(x,y)+iv(x,y)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68a465a8cafa794d23e612755a78b2d9f0fad00d)
- 其中
和
是實數函數。
用另一句話說,就是函數
的成分,
![{\displaystyle u=u(x,y)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49cfa89d9aa1ddf4d5d19fc0060174f3792aedea)
![{\displaystyle v=v(x,y),\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708609313685f17886f34ffd921d2dd2bc1f360a)
可以理解成變量
和
的二元實函數。
全純函數
全純函數(holomorphic function)是定義在複數平面
的開子集上的,在複數平面
中取值的,在每點上皆可微的函數。[2]
複變函數為全純函數的充分必要條件是複變函數的實部和虛部同時滿足柯西-黎曼方程式[3]:
![{\displaystyle {\partial u \over \partial x}={\partial v \over \partial y}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf48bc9b835512ef7918d28d321eb5cbae773987)
和
![{\displaystyle {\partial u \over \partial y}=-{\partial v \over \partial x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28bf24c868cc3fb0a28bef73da46312fc63a9dad)
通過上面的這個方程組也可以由全純函數的實部或者虛部之一來求解另一個[4]。
柯西積分定理
柯西積分定理指出,如果全純函數的封閉積分路徑沒有包括奇異點,那麼其積分值為0;如果包含奇異點,則外部閉合路徑正向[5]積分的值等於包圍這個奇異點的內環上閉合路徑的正向積分值。
柯西積分公式
假設
是複數平面
的一個開子集,
是一個在閉圓盤
上複可微的方程式,
並且閉圓盤
是
的子集。 設
為
的邊界。則可以推得每個在
內部的點
:
![{\displaystyle f(a)={1 \over 2\pi i}\oint _{C}{f(z) \over z-a}\,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/028998fcad1adfddfe38756ec9424d563984fccf)
其中的積分為逆時針方向沿著
的積分。
亞純函數
在複變分析中,一個複數平面的開子集
上的亞純函數是一個在
上除一個或若干個孤立點集合之外的區域全純的函數,那些孤立點稱為該函數的極點。
複變函數的級數展開
複函數的可微性有比實函數的可微性更強的性質。例如:每一個正則函數在其定義域中的每個開圓盤都可以冪級數來表示:
。
特別地,全純函數都是無限次可微的[6],性質對實可微函數而言普遍不成立。大部分初等函數(多項式、指數函數、三角函數)都是全純函數。常用的方法有泰勒級數展開等。
洛朗級數
複變函數
的洛朗級數,是冪級數的一種,它不僅包含了正數次數的項,也包含了負數次數的項。有時無法把函數表示為泰勒級數,但可以表示為洛朗級數。
![{\displaystyle f(z)=\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ded34ece82f8e7bc2d1dad8f119f19b3adbe867f)
奇異點的情況
對於複變函數的孤立奇異點,有如下三類。
本質奇異點
複變函數在某孤立奇異點鄰域的洛朗級數展開,如果存在無窮個負冪項,那麼這個點稱為「本質奇異點」[7]。
對複數平面
上的給定的開子集
,以及
中的一點
,亞純函數
在
處有本質奇異點若且唯若它不是極點也不是可去奇異點。
極點
複變函數在某孤立奇異點鄰域的洛朗級數展開,如果存在有限個負冪項,那麼這個點稱為「極點」[7]。
亞純函數的極點是一種特殊的奇異點,它的表現如同
時
的奇異點。這就是說,如果當
趨於
時,函數
趨於無窮大,那麼
在
處便具有極點。
可去奇異點
複變函數在某孤立奇異點鄰域的洛朗級數展開,如果沒有負冪項,那麼這個點稱為「可去奇異點」[7]。
如果
是複數平面
的一個開集,
是
中一點,
是一個全純函數,如果存在一個在
與
相等的全純函數
,則
稱為
的一個可去奇異點。如果這樣的
存在,我們說
在
是可全純延拓的。
留數
定義
在複分析中,留數是一個複數,描述亞純函數在奇異點周圍的路徑積分的表現。
亞純函數
在孤立奇異點
的留數,通常記為
,是使
![{\displaystyle f(z)-{R \over (z-a)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75708bb8c23587281c4965ca4144a3f53f672da7)
在圓盤
內具有解析原函數的唯一值
留數定理
在複分析中,留數定理是用來計算解析函數沿著閉曲線的路徑積分的一個有力的工具,也可以用來計算實函數的積分。它是柯西積分定理和柯西積分公式的推廣。
假設U是複數平面上的一個單連通開子集,a1、……、an是複數平面上有限個點,f是定義在U \ {a1、……、an}的全純函數。如果γ是一條把a1、……、an包圍起來的可求長曲線,但不經過任何一個ak,並且其起點與終點重合,那麼:
![{\displaystyle \oint _{\gamma }f(z)\,dz=2\pi i\sum _{k=1}^{n}\operatorname {I} (\gamma ,a_{k})\operatorname {Res} (f,a_{k}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6308b3568edef0ca286eea192c8a0c7600db8a4)
一些難於計算的實函數的積分可以通過轉化為複變函數,然後利用留數定理來進行計算[8]。
注釋及參考文獻
參考書目