複分析

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP


複變分析是研究複變函數，特別是亞純函數和複變解析函數的數學理論。


研究中常用的理论、公式以及方法包括柯西积分定理、柯西积分公式、留数定理、洛朗级数展开等。複變分析的应用领域较为广泛，在其它数学分支和物理学中也起着重要的作用。包括数论、应用数学、流体力学、热力学和电动力学。




目录





  • 1 复变函数

    • 1.1 全纯函数

      • 1.1.1 柯西积分定理


      • 1.1.2 柯西积分公式



    • 1.2 亚纯函数



  • 2 复变函数的级数展开

    • 2.1 洛朗级数


    • 2.2 奇点的情况

      • 2.2.1 本质奇点


      • 2.2.2 极点


      • 2.2.3 可去奇点




  • 3 留数

    • 3.1 定义


    • 3.2 留数定理



  • 4 注释及参考文献


  • 5 参考书目




复变函数





曼德博集合，分形


複变函数，是自变量和应变量皆为複数的函数。更确切的说，複變函数的值域与定义域都是複數平面的子集。在複變分析中，自变量又称为函数的“宗量”[1]。


对于複變函数，自变量和应变量可分成实部和虚部:


z=x+iydisplaystyle z=x+iy,z = x + iy,

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

其中x,y∈Rdisplaystyle x,yin mathbb R ,x,y in mathbbR,和u(x,y),v(x,y)displaystyle u(x,y),v(x,y),u(x,y), v(x,y),是实數函数。

用另一句话说，就是函数f(z)displaystyle f(z)f(z)的成分,


u=u(x,y)displaystyle u=u(x,y),u = u(x,y),

v=v(x,y),displaystyle v=v(x,y),,v = v(x,y),,

可以理解成变量xdisplaystyle xx和ydisplaystyle yy的二元实函数。



全纯函数


主条目：全纯函数

参见：解析函数

全纯函数（holomorphic function）是定义在複數平面Cdisplaystyle CC的开子集上的，在複數平面Cdisplaystyle CC中取值的，在每点上皆可微的函数。[2]


复变函数为全纯函数的充分必要条件是复变函数的实部和虚部同时满足柯西-黎曼方程[3]：


∂u∂x=∂v∂ydisplaystyle partial u over partial x=partial v over partial y partial u over partial x = partial v over partial y

和


∂u∂y=−∂v∂x.displaystyle partial u over partial y=-partial v over partial x. partial u over partial y = - partial v over partial x .

通过上面的这个方程组也可以由全纯函数的实部或者虚部之一来求解另一个[4]。



柯西积分定理


主条目：柯西积分定理

柯西积分定理指出，如果全纯函数的封閉积分路径没有包括奇点，那么其积分值为0；如果包含奇点，则外部闭合路径正向[5]积分的值等于包围这个奇点的内环上闭合路径的正向积分值。



柯西积分公式


主条目：柯西积分公式

假设Udisplaystyle UU是複數平面Cdisplaystyle CC的一个开子集，f:U→Cdisplaystyle f:Urightarrow Cdisplaystyle f:Urightarrow C是一个在闭圆盘Ddisplaystyle DD上複可微的方程，
并且闭圆盘D=z−z0displaystyle D=leftz:leftvert z-z_0rightvert leq rrightdisplaystyle D=leftz:leftvert z-z_0rightvert leq rright是Udisplaystyle UU的子集。 设Cdisplaystyle CC为Ddisplaystyle DD的边界。则可以推得每个在Ddisplaystyle DD内部的点adisplaystyle aa：


f(a)=12πi∮C⁡f(z)z−adzdisplaystyle f(a)=1 over 2pi ioint _Cf(z) over z-a,dzf(a) = 1 over 2pi i oint_C f(z) over z-a, dz

其中的积分为逆时针方向沿着Cdisplaystyle CC的积分。



亚纯函数


主条目：亚纯函数

在複變分析中，一个複數平面的开子集Ddisplaystyle DD上的亚纯函数是一个在Ddisplaystyle DD上除一个或若干个孤立点集合之外的区域全纯的函数，那些孤立点称为该函数的极点。



复变函数的级数展开


参见：幂级数

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



f(z)=∑n=0∞an(z−z0)n=a0+a1(z−z0)+a2(z−z0)2+a3(z−z0)3+⋯displaystyle 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 <br/>f(z) = "/>。

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



洛朗级数


主条目：洛朗级数

复变函数f(z)displaystyle f(z)f(z)的洛朗级数，是幂级数的一种，它不仅包含了正数次数的项，也包含了负数次数的项。有时无法把函数表示为泰勒级数，但可以表示为洛朗级数。


f(z)=∑n=−∞∞an(z−c)ndisplaystyle f(z)=sum _n=-infty ^infty a_n(z-c)^nf(z)=sum _n=-infty ^infty a_n(z-c)^n


奇点的情况


主条目：孤立奇点

对于复变函数的孤立奇点，有如下三类。



本质奇点


主条目：本质奇点

复变函数在某孤立奇点邻域的洛朗级数展开，如果存在无穷个负幂项，那么这个点称为“本质奇点”[7]。


对复平面Cdisplaystyle CC上的给定的开子集Udisplaystyle UU，以及Udisplaystyle UU中的一点adisplaystyle aa，亚纯函数f:U∖a→Cdisplaystyle f:Usetminus leftarightrightarrow Cdisplaystyle f:Usetminus leftarightrightarrow C在adisplaystyle aa处有本质奇点当且仅当它不是极点也不是可去奇点。



极点


主条目：极点 (代数)

复变函数在某孤立奇点邻域的洛朗级数展开，如果存在有限个负幂项，那么这个点称为“极点”[7]。


亚纯函数的极点是一种特殊的奇点，它的表现如同z−a=0displaystyle z-a=0displaystyle z-a=0时1(z−a)ndisplaystyle frac 1left(z-aright)^ndisplaystyle frac 1left(z-aright)^n的奇点。这就是说，如果当zdisplaystyle zz趋于adisplaystyle aa时，函数f(z)displaystyle f(z)f(z)趋于无穷大，那么f(z)displaystyle f(z)f(z)在z=adisplaystyle z=adisplaystyle z=a处便具有极点。



可去奇点


主条目：可去奇点

复变函数在某孤立奇点邻域的洛朗级数展开，如果没有负幂项，那么这个点称为“可去奇点”[7]。


如果Udisplaystyle UU是复平面Cdisplaystyle CC的一个开集，adisplaystyle aa是Udisplaystyle UU中一点，f:U−a→Cdisplaystyle f:U-leftarightrightarrow Cdisplaystyle f:U-leftarightrightarrow C是一个全纯函数，如果存在一个在U−adisplaystyle U-leftarightdisplaystyle U-leftaright与fdisplaystyle ff相等的全纯函数g:U→Cdisplaystyle g:Urightarrow Cdisplaystyle g:Urightarrow C，则adisplaystyle aa称为fdisplaystyle ff的一个可去奇点。如果这样的gdisplaystyle gg存在，我们说fdisplaystyle ff在adisplaystyle aa是可全纯延拓的。



留数


主条目：留数


定义


在复分析中，留数是一个复数，描述亚纯函数在奇点周围的路径积分的表现。


亚纯函数fdisplaystyle ff在孤立奇点adisplaystyle aa的留数，通常记为Res(f,a)displaystyle Res(f,a)Res(f,a)，是使


f(z)−R(z−a)displaystyle f(z)-R over (z-a)f(z)-R over (z-a)

在圆盘0<|z−a|<δdisplaystyle 0<0<|z-a|<delta内具有解析原函数的唯一值Rdisplaystyle RR



留数定理


主条目：留数定理


Residue theorem illustration.png


在复分析中，留数定理是用来计算解析函数沿着闭曲线的路径积分的一个有力的工具，也可以用来计算实函数的积分。它是柯西积分定理和柯西积分公式的推广。


假设U是复平面上的一个单连通开子集，a1、……、an是复平面上有限个点，f是定义在U a1、……、an的全纯函数。如果γ是一条把a1、……、an包围起来的可求长曲线，但不经过任何一个ak，并且其起点与终点重合，那么：


∮γ⁡f(z)dz=2πi∑k=1nI⁡(γ,ak)Res⁡(f,ak).displaystyle oint _gamma f(z),dz=2pi isum _k=1^noperatorname I (gamma ,a_k)operatorname Res (f,a_k).oint_gamma f(z), dz =2pi i sum_k="1^n operatornameI(gamma, a_k)"
operatornameRes( f, a_k ). "/>

一些难于计算的实函数的积分可以通过转化为复变函数，然后利用留数定理来进行计算[8]。



注释及参考文献




  1. ^ 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. : 6页. ISBN 978-7-04-028352-5. 


  2. ^ 全纯函数有时也被称作解析函数，但后者有几个其他的含義。


  3. ^ 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. : 13. ISBN 978-7-04-028352-5. 


  4. ^ 在积分的时候需要一定的初始条件才能得到确定的解。


  5. ^ 沿积分路径前进时，闭合路径包围的区域总在前进方向左侧。定义这个方向为“正向”。


  6. ^ 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. : 12页. ISBN 978-7-04-028352-5. 


  7. ^ 7.07.17.2 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. : 48页. ISBN 978-7-04-028352-5. 


  8. ^ 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. : 56页. ISBN 978-7-04-028352-5. 



参考书目



  • （美）布朗 等. 复变函数及应用. 机械工业出版社. ISBN 978-7-11-115830-1. 
-