複分析

複分析（英語：Complex analysis）是研究複變的函數，特別是亞純函數和複變解析函數的數學理論。 研究中常用的理论、公式以及方法包括柯西积分定理、柯西积分公式、留数定理、洛朗级数展开等。複變分析的应用领域较为广泛，在其它数学分支和物理学中也起着重要的作用。包括数论、应用数学、流体力学、热力学和电动力学。 複变函数，是自变量和因变量皆为複数的函数。更确切的说，複變函数的值域与定义域都是複數平面的子集。在複變分析中，自变量又称为函数的“宗量”。 对于複變函数，自变量和应变量可分成实部和虚部: z = x + i y {\displaystyle z=x+iy\,} w = f ( z ) = u ( x , y ) + i v ( x , y ) {\displaystyle w=f(z)=u(x,y)+iv(x,y)\,} 其中 x , y ∈ R {\displaystyle x,y\in \mathbb {R} \,} 和 u ( x , y ) , v ( x , y ) {\displaystyle u(x,y),v(x,y)\,} 是实數函数。 用另一句话说，就是函数 f ( z ) {\displaystyle f(z)} 的成分, u = u ( x , y ) {\displaystyle u=u(x,y)\,} v = v ( x , y ) , {\displaystyle v=v(x,y),\,} 可以理解成变量 x {\displaystyle x} 和 y {\displaystyle y} 的二元实函数。 全纯函数（holomorphic function）是定义在複數平面 C {\displaystyle \mathbb {C} } 的开子集上的，在複數平面 C {\displaystyle \mathbb {C} } 中取值的，在每点上皆可微的函数。 复变函数为全纯函数的充分必要条件是复变函数的实部和虚部同时满足柯西-黎曼方程： ∂ u ∂ x = ∂ v ∂ y {\displaystyle {\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}.} 通过上面的这个方程组也可以由全纯函数的实部或者虚部之一来求解另一个。 柯西积分定理指出，如果全纯函数的封閉积分路径没有包括奇点，那么其积分值为0；如果包含奇点，则外部闭合路径正向积分的值等于包围这个奇点的内环上闭合路径的正向积分值。 假设 U {\displaystyle U} 是複數平面 C {\displaystyle \mathbb {C} } 的一个开子集， f : U → C {\displaystyle f:U\rightarrow \mathbb {C} } 是一个在闭圆盘 D {\displaystyle D} 上複可微的方程， 并且闭圆盘 D = { z : | z − z 0 | ≤ r } {\displaystyle D=\left\{z:\left\vert z-z_{0}\right\vert \leq r\right\}} 是 U {\displaystyle U} 的子集。 设 C {\displaystyle C} 为 D {\displaystyle D} 的边界。则可以推得每个在 D {\displaystyle D} 内部的点 a {\displaystyle a} ： f ( a ) = 1 2 π i ∮ C f ( z ) z − a d z {\displaystyle f(a)={1 \over 2\pi i}\oint _{C}{f(z) \over z-a}\,dz} 其中的积分为逆时针方向沿着 C {\displaystyle C} 的积分。 在複變分析中，一个複數平面的开子集 D {\displaystyle D} 上的亚纯函数是一个在 D {\displaystyle D} 上除一个或若干个孤立点集合之外的区域全纯的函数，那些孤立点称为该函数的极点。 複函數的可微性有比實函數的可微性更強的性質。例如：每一個正則函數在其定義域中的每個開圓盤都可以冪級數來表示： f ( z ) = ∑ n = 0 ∞ 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 + ⋯ {\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 } 。 特別地，全纯函數都是無限次可微的，性質對實可微函數而言普遍不成立。大部分初等函數（多項式、指數函數、三角函數）都是全纯函數。常用的方法有泰勒级数展开等。 复变函数 f ( z ) {\displaystyle f(z)} 的洛朗级数，是幂级数的一种，它不仅包含了正数次数的项，也包含了负数次数的项。有时无法把函数表示为泰勒级数，但可以表示为洛朗级数。 f ( z ) = ∑ n = − ∞ ∞ a n ( z − c ) n {\displaystyle f(z)=\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}} 对于复变函数的孤立奇点，有如下三类。 复变函数在某孤立奇点邻域的洛朗级数展开，如果存在无穷个负幂项，那么这个点称为“本质奇点”。 对复平面 C {\displaystyle C} 上的给定的开子集 U {\displaystyle U} ，以及 U {\displaystyle U} 中的一点 a {\displaystyle a} ，亚纯函数 f : U ∖ { a } → C {\displaystyle f:U\setminus \left\{a\right\}\rightarrow C} 在 a {\displaystyle a} 处有本质奇点当且仅当它不是极点也不是可去奇点。 复变函数在某孤立奇点邻域的洛朗级数展开，如果存在有限个负幂项，那么这个点称为“极点”。 亚纯函数的极点是一种特殊的奇点，它的表现如同 z − a = 0 {\displaystyle z-a=0} 时 1 ( z − a ) n {\displaystyle {\frac {1}{\left(z-a\right)^{n}}}} 的奇点。这就是说，如果当 z {\displaystyle z} 趋于 a {\displaystyle a} 时，函数 f ( z ) {\displaystyle f(z)} 趋于无穷大，那么 f ( z ) {\displaystyle f(z)} 在 z = a {\displaystyle z=a} 处便具有极点。 复变函数在某孤立奇点邻域的洛朗级数展开，如果没有负幂项，那么这个点称为“可去奇点”。 如果 U {\displaystyle U} 是复平面 C {\displaystyle C} 的一个开集， a {\displaystyle a} 是 U {\displaystyle U} 中一点， f : U − { a } → C {\displaystyle f:U-\left\{a\right\}\rightarrow C} 是一个全纯函数，如果存在一个在 U − { a } {\displaystyle U-\left\{a\right\}} 与 f {\displaystyle f} 相等的全纯函数 g : U → C {\displaystyle g:U\rightarrow C} ，则 a {\displaystyle a} 称为 f {\displaystyle f} 的一个可去奇点。如果这样的 g {\displaystyle g} 存在，我们说 f {\displaystyle f} 在 a {\displaystyle a} 是可全纯延拓的。 在复分析中，留数是一个复数，描述亚纯函数在奇点周围的路径积分的表现。 亚纯函数 f {\displaystyle f} 在孤立奇点 a {\displaystyle a} 的留数，通常记为 R e s ( f , a ) {\displaystyle Res(f,a)} ，是使 f ( z ) − R ( z − a ) {\displaystyle f(z)-{R \over (z-a)}} 在圆盘 0 < | z − a | < δ {\displaystyle 0<|z-a|<\delta } 内具有解析原函数的唯一值 R {\displaystyle R} 在复分析中，留数定理是用来计算解析函数沿着闭曲线的路径积分的一个有力的工具，也可以用来计算实函数的积分。它是柯西积分定理和柯西积分公式的推广。 假设U是复平面上的一个单连通开子集，a1、……、an是复平面上有限个点，f是定义在U \ {a1、……、an}的全纯函数。如果γ是一条把a1、……、an包围起来的可求长曲线，但不经过任何一个ak，并且其起点与终点重合，那么： ∮ γ f ( z ) d z = 2 π i ∑ k = 1 n I ⁡ ( γ , a k ) Res ⁡ ( f , a k ) . {\displaystyle \oint _{\gamma }f(z)\,dz=2\pi i\sum _{k=1}^{n}\operatorname {I} (\gamma ,a_{k})\operatorname {Res} (f,a_{k}).} 一些难于计算的实函数的积分可以通过转化为复变函数，然后利用留数定理来进行计算。 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. 2010: 6页. ISBN 978-7-04-028352-5.  全纯函数有时也被称作解析函数，但后者有几个其他的含義。 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. 2010: 13. ISBN 978-7-04-028352-5.  在积分的时候需要一定的初始条件才能得到确定的解。 沿积分路径前进时，闭合路径包围的区域总在前进方向左侧。定义这个方向为“正向”。 梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. 2010: 12页. ISBN 978-7-04-028352-5.  梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. 2010: 48页. ISBN 978-7-04-028352-5.  梁昆淼 等. 数学物理方法（第四版）. 高等教育出版社. 2010: 56页. ISBN 978-7-04-028352-5.  （美）布朗 等. 复变函数及应用. 机械工业出版社. 2005. ISBN 978-7-11-115830-1.