複分析

複分析英語:)是研究複變函數,特別是亞純函數和複變解析函數數學理論。

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

复变函数

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

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

其中是实數函数。

用另一句话说,就是函数的成分,

可以理解成变量的二元实函数。

全纯函数

全纯函数()是定义在複數平面的开子集上的,在複數平面中取值的,在每点上皆可微的函数。[2]

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

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

柯西积分定理

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

柯西积分公式

假设複數平面的一个开子集是一个在闭圆盘上複可微的方程,
并且闭圆盘的子集。 设边界。则可以推得每个在内部的点

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

亚纯函数

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

复变函数的级数展开

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

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

洛朗级数

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

奇点的情况

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

本质奇点

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

对复平面上的给定的开子集,以及中的一点,亚纯函数处有本质奇点当且仅当它不是极点也不是可去奇点。

极点

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

亚纯函数的极点是一种特殊的奇点,它的表现如同的奇点。这就是说,如果当趋于时,函数趋于无穷大,那么处便具有极点。

可去奇点

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

如果是复平面的一个开集,中一点,是一个全纯函数,如果存在一个在相等的全纯函数,则称为的一个可去奇点。如果这样的存在,我们说是可全纯延拓的。

留数

定义

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

亚纯函数孤立奇点的留数,通常记为,是使

圆盘内具有解析原函数的唯一值

留数定理

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

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

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

注释及参考文献

  1. 梁昆淼 等. . 高等教育出版社. 2010: 6页. ISBN 978-7-04-028352-5.
  2. 全纯函数有时也被称作解析函数,但后者有几个其他的含義。
  3. 梁昆淼 等. . 高等教育出版社. 2010: 13. ISBN 978-7-04-028352-5.
  4. 在积分的时候需要一定的初始条件才能得到确定的解。
  5. 沿积分路径前进时,闭合路径包围的区域总在前进方向左侧。定义这个方向为“正向”。
  6. 梁昆淼 等. . 高等教育出版社. 2010: 12页. ISBN 978-7-04-028352-5.
  7. 梁昆淼 等. . 高等教育出版社. 2010: 48页. ISBN 978-7-04-028352-5.
  8. 梁昆淼 等. . 高等教育出版社. 2010: 56页. ISBN 978-7-04-028352-5.

参考书目

  • (美)布朗 等. . 机械工业出版社. 2005. ISBN 978-7-11-115830-1.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.