
複变函数(以複数作为自变数和因变数的函式)
以複数作为自变数和因变数的函式就叫做複变函数,而与之相关的理论就是複变函数论。解析函式是複变函数中一类具有解析性质的函式,複变函数论主要就是研究複数域上的解析函式,因此通常也称複变函数论为解析函式论。
基本介绍
- 中文名:複变函数
- 外文名:complex function
- 产生时间:十八世纪
- 又名:解析函式论
- 定义:以複数作为自变数和因变数的函式
- 学科:数学
起源
複数的概念起源于求方程的根,在二次、三次代数方程的求根中就出现了负数开平方的情况。在很长时间里,人们对这类数不能理解。但随着数学的发展,这类数的重要性就日益显现出来。
发展简况
複变函数论产生于十八世纪。1774年,欧拉在他的一篇论文中考虑了由複变函数的积分导出的两个方程。而比他更早时,法国数学家达朗贝尔在他的关于流体力学的论文中,就已经得到了它们。因此,后来人们提到这两个方程,把它们叫做“达朗贝尔-欧拉方程”。到了十九世纪,上述两个方程在柯西和黎曼研究流体力学时,作了更详细的研究,所以这两个方程也被叫做“柯西-黎曼条件”。
複变函数论的全面发展是在十九世纪,就像微积分的直接扩展统治了十八世纪的数学那样,複变函数这个新的分支统治了十九世纪的数学。当时的数学家公认複变函数论是最丰饶的数学分支,并且称为这个世纪的数学享受,也有人称讚它是抽象科学中最和谐的理论之一。
为複变函数论的创建做了最早期工作的是欧拉、达朗贝尔,法国的拉普拉斯也随后研究过複变函数的积分,他们都是创建这门学科的先驱。
后来为这门学科的发展作了大量奠基工作的要算是柯西、黎曼和德国数学家维尔斯特拉斯了。二十世纪初,複变函数论又有了很大的进展,维尔斯特拉斯的学生,瑞典数学家列夫勒、法国数学家庞加莱、阿达玛等都作了大量的研究工作,开拓了複变函数论更广阔的研究领域,为这门学科的发展做出了贡献。
複变函数论在套用方面,涉及的面很广,有很多複杂的计算都是用它来解决的。比如物理学上有很多不同的稳定平面场,所谓场就是每点对应有物理量的一个区域,对它们的计算就是通过複变函数来解决的。
比如俄国的茹柯夫斯基在设计飞机的时候,就用複变函数论解决了飞机机翼的结构问题,他在运用複变函数论解决流体力学和航空力学方面的问题上也做出了贡献。
複变函数论不但在其他学科得到了广泛的套用,而且在数学领域的许多分支也都套用了它的理论。它已经深入到微分方程、积分方程、机率论和数论等学科,对它们的发展很有影响。
内容
複变函数论主要包括单值解析函式理论、黎曼曲面理论、几何函式论、留数理论、广义解析函式等方面的内容。
如果当函式的变数取某一定值的时候,函式就有一个唯一确定的值,那幺这个函式解就叫做单值解析函式,多项式就是这样的函式。
複变函数也研究多值函式,黎曼曲面理论是研究多值函式的主要工具。由许多层面安放在一起而构成的一种曲面叫做黎曼曲面。利用这种曲面,可以使多值函式的单值枝和枝点概念在几何上有非常直观的表示和说明。对于某一个多值函式,如果能作出它的黎曼曲面,那幺,函式在黎曼曲面上就变成单值函式。
黎曼曲面理论是複变函数域和几何间的一座桥樑,能够使我们把比较深奥的函式的解析性质和几何联繫起来。现时,关于黎曼曲面的研究还对另一门数学分支拓扑学有比较大的影响,逐渐地趋向于讨论它的拓扑性质。
複变函数论中用几何方法来说明、解决问题的内容,一般叫做几何函式论,複变函数可以通过共形映象理论为它的性质提供几何说明。导数处处不是零的解析函式所实现的映像就都是共形映象,共形映像也叫做保角变换。共形映象在流体力学、空气动力学、弹性理论、静电场 、电路理论等方面都得到了广泛的套用。
留数理论是複变函数论中一个重要的理论。留数也叫做残数,它的定义比较複杂。套用留数理论对于複变函数积分的计算比起线积分计算方便。计算实变函式定积分,可以化为複变函数沿闭迴路曲线的积分后,再用留数基本定理化为被积分函式在闭合迴路曲线内部孤立奇点上求留数的计算,当奇点是极点的时候,计算更加简洁。
把单值解析函式的一些条件适当地改变和补充,以满足实际研究工作的需要,这种经过改变的解析函式叫做广义解析函式。广义解析函式所代表的几何图形的变化叫做拟保角变换。解析函式的一些基本性质,只要稍加改变后,同样适用于广义解析函式。
广义解析函式的套用範围很广泛,不但套用在流体力学的研究方面,而且象薄壳理论这样的固体力学部门也在套用。因此,这些年来这方面的理论发展十分迅速。
从柯西算起,複变函数论已有170多年的历史了。它以其完美的理论与精湛的技巧成为数学的一个重要组成部分。它曾经推动过一些学科的发展,并且常常作为一个有力的工具被套用在实际问题中,它的基础内容已成为理工科很多专业的必修课程。複变函数论中仍然有不少尚待研究的课题,所以它将继续向前发展,并将取得更多套用。
半解析函式
为研究解析函式所不能解决的一般複变函数提供了一个通用方法。
解析函式是一类比较特殊的複变函数。200多年来,其核心定理“柯西-黎曼”方程组一直被数学界公认是不能分开的。儘管解析函式已形成比较完善的理论并得到多方面的套用,但自然界能够满足“柯西-黎曼”方程组条件的现象很少,使解析函式的套用受到较大的限制。由此,寻找把“柯西-黎曼”方程组分开的途径,《半解析函式》理论。先后得出了一系列描述半解析函式特性的重要定理。《半解析函式》.《半解析函式开拓》、《与半解析函式定义等价的几个定理》、《複变函数分解定理》等多篇学术论文,终于初步形成了半解析函式理论。在这个理论中,将“柯西-黎曼”方程组的两个方程式分开,将满足其中任一个方程式的函式定义为半解析函式,从而实现了对解析函式的推广,为研究解析函式所不能解决的一般函式提供了一个通用的办法。
解析函式由Cauchy—Rieman方程组确定。今保留其中条件之一而引入半解析函式,得到了一些结果,并找到了半解析函式的物理背景。
1983年王见定教授在世界上首次提出半解析函式理论,1988年又首次提出并系统建立了共轭解析函式理论;并将这两项理论成功地套用于电场、磁场、流体力学、弹性力学等领域。此两项理论受到众多专家.学者的引用和发展,并由此引发双解析函式、复调和函式、多解析函式(k阶解析函式)、半双解析函式、半共轭解析函式以及相应的边值问题、微分方程、积分方程等一系列新的数学分支的产生。
共轭解析函式
共轭作为一个符号早年早有,但作为一个“共轭解析函式类”,王见定教授世界首次提出。任何一个学过複变函数的人都知道,複变函数的求导、积分都是仿实变函式的求导、积分形式推导出来的。解析函式之所以有价值,就在于它在电场、磁场、流体力学、弹性力学等方面的套用。但仔细考查,以上的套用都是共轭解析函式的直接套用,而非解析函式、共轭导数、共轭积分都有明确的物理、力学上直接含义(而解析函式没有)。仅这一点王见定教授使西方数学大家示弱。共轭解析函式是和解析函式完全对称的一类函式,这使得複变函数变得完美,众人皆知对称是科学的一个普遍的美。再者由于有了共轭解析函式类的提出,解析函式与共轭解析函式的不同组合才形成了复调和函式、双解析函式、多解析函式及相应的微分方程、积分方程等一系列新的数学分支的产生。
定义
复变数复值函式的简称。设A是一个複数集,如果对A中的任一複数z,通过一个确定的规则有一个或若干个複数w与之对应,就说在複数集A上定义了一个複变函数,记为
w=ƒ(z)
这个记号表示,ƒ(z)是z通过规则ƒ而确定的複数。如果记z=x+iy,w=u+iv,那幺複变函数w=ƒ(z)可分解为w=u(x,y)+iv(x,y);所以一个複变函数w=ƒ(z)就对应着一对两个实变数的实值函式。除非有特殊的说明,函式一般指单值函式,即对A中的每一z,有且仅有一个w与之对应。例如,f(z)=
是複平面上的複变函数。但f(z)=
在複平面上并非单值,而是多值函式。对这种多值函式要有特殊的处理方法(见解析开拓、黎曼曲面)。


对于z∈A,ƒ(z)的全体所成的数集称为A关于ƒ的像,记为ƒ(A)。函式ƒ规定了A与ƒ(A)之间的一个映射。例如在w=z2的映射下,z平面上的射线argz=θ与w平面上的射线argw=2θ对应;如果ƒ(A)∈A*,称ƒ把A映入A*。如果ƒ(A)=A*,则称ƒ把A映成A*,此时称A为A*的原像。对于把A映成A*的映射ƒ,如果z1与z2相异必导致ƒ(z1)与ƒ(z2)也相异,则称ƒ是一对一的。在一对一的映射下,对A*上的任一w,A上必有一个z与之对应,称此映射为ƒ的反函式,记为
z=ƒ-1(w)
设ƒ(z)是A上的複变函数,α是A中一点。如果对任一正数ε,都有正数δ,当z∈A且|z-α|<δ时,|ƒ(z)-ƒ(α)|<ε恆成立,则称ƒ(z)在α处是连续的,如果在A上处处连续,则称为A上的连续函式或连续映射。设ƒ是紧集A上的连续函式,则对任一正数ε,必存在不依赖自变数z的正数δ,当z1,z2∈A且|z1-z2<δ时|ƒ(z1)-ƒ(z2)|<ε恆成立。这个性质称为ƒ(z)在A上的一致连续性或均匀连续性。
设ƒ(z)是平面开集D内的複变函数。对于z∈D,如果极限存在且有限,则称ƒ(z)在z处是可导的,此极限值称为ƒ(z)在z处的导数,记为ƒ'(z)。这是实变函式导数概念的推广,但複变函数导数的存在却蕴含着丰富的内容。这是因为z+h是z的二维邻域内的任意一点,极限的存在条件比起一维的实数情形要强得多。一个複变函数如在z的某一邻域内处处有导数,则该函式必在z处有高阶导数,而且可以展成一个收敛的幂级数(见解析函式)。所以複变函数导数的存在,对函式本身的结构有重大影响,而这些结果的研究,构成了一门学科──複变函数论。
极限与连续性
设函式 w = f(z) 在集 E 上确定,z0 为 E 之聚点,α 为一复常数。 如果 ∀ε0,∃δ > 0, 当 z ∈ E 且
时,有


则称当 z 趋于 z0 时,f(z) 有极限 α,记作

複变函数的导数
设 f(z) 是在区域 D 内确定的单值函式,并且 z0 ∈ D,如果
存在且等于有限複数 α,则称f(z) 在 z0 点可导或者可微,或称有导数 α,记作 f’(z0)。

转载请注明出处海之美文 » 複变函数(以複数作为自变数和因变数的函式)