复分析(英语: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]。
注释及参考文献
参考书目