fbpx
维基百科

全纯函数

全纯函数(英語:Holomorphic function)是复分析研究的中心对象;它们是定义在复平面开子集上的,在复平面中取值的,在每点上皆複可微的函数[註 1][註 2]全纯函数有时称为正则函数。在整个复平面上都全纯的函数称为整函数。在一点全纯,不仅表意味着可微,而且表示在某个中心为的复平面上的开邻域上可微。[註 3]

直角坐标网(上)經一全纯函数f共形映射後的結果(下)

定义

  的开子集,且 为一个函数。

  • 我们称 是在 中一点 是复可微的(complex differentiable)或全纯的,当且仅当该極限存在:
 
  •   上任取一点均全纯,则称  全纯
  • 特别地,若函数在整个复平面全纯,我们称这个函数为整函数

其中,极限取所有趋向 的复数列,并对所有这种序列差的商趋向同一个数 ,另外,这个可微性的概念和实可微性有几个相同性质:它是线性的,并服从乘积,商和链式法则

下面是一个等价的定义:一个复函数全纯当且仅当它满足柯西-黎曼方程

范例

有理函数

  • 所有复系数的有理函数,在除去极点以外的区域均为全纯。例如,函数  上为全纯函数。

幂级数定义的函数

 复系数幂级数,且收敛半径不为零,我们记 为其收敛区域。

函数

 

为全纯函数,且任取 .事实上,这个函数在 上无穷可导。

指数函数为整函数,同样地,三角函数[註 4]双曲函数同样为整函数。

复对数

若在一个连通集上的函数 满足条件: ,则称其为一个复对数函数

另有一等价定义,即若全纯函数  上以 为导数,且存在一点 ,使得这一点 ,则称其为一个复对数函数

 的任意开子集 上,若有一个复对数 ,那么任取整数 ,函数 也为 上的复对数函数。

幂函数

 的任意开子集 上,若有一个复对数 ,那么任取复数 ,在  阶幂函数可以定义为 

特别地,任取整数 ,有 ,满足 ,我们称此表达式为  阶幂的定义式。另外,记 [註 5]

性质

因为复微分是线性的,并且服从积、商、链式法则,所以全纯函数的和、积及复合是全纯的,而两个全纯函数的商在所有分母非0的地方全纯。

每个全纯函数在每一点无穷可微。它和它自己的泰勒级数相等,而泰勒级数在每个完全位于定义域 内的开圆盘上收敛。泰勒级数也可能在一个更大的圆盘上收敛;例如,对数的泰勒级数在每个不包含0的圆盘上收敛,甚至在复实轴的附近也是如此。

若把  等同起来,则全纯函数和满足柯西-黎曼方程的双实变量函数相同,该方程组含有两个偏微分方程

在非0导数的点的附近,全纯函数是共形[註 6]。因为他们保持了小图形的角度和形状[註 7]

柯西积分公式表明每个全纯函数在圆盘内的值由它在盘边界上的取值所完全决定。

几个变量

多复變函數的复解析函数定义为在一点全纯和解析,如果它局部可以[註 8]扩张为收敛的各个变量的幂级数。这个条件比柯西-黎曼方程要强;事实上它可以这样表述为一个多复变量函数是全纯的当且仅当它满足柯西-黎曼方程并且局部平方可积。

扩展到泛函分析

全纯函数的概念可以扩展到泛函分析中的无穷维空间。Fréchet导数条目介绍了巴拿赫空间上的全纯函数的概念。

注释

  1. ^ 这是比实可微强得多的条件,暗示著此函数无穷可微并可以用泰勒级数來描述。
  2. ^ 解析函数analytic function)一词经常可以和“全纯函数”互相交换使用,虽然前者有几个其他含义。
  3. ^ 双全纯(biholomorphic)表示一个有全纯逆函数的全纯函数。
  4. ^ 可通过指数函数使用欧拉公式定义
  5. ^ 若对于正实数,这种定义方式可能与其通常含义存在冲突
  6. ^ 或称保角的
  7. ^ 但尺寸可能改变
  8. ^ 在一个多盘,也即中心在该点的圆盘直积

参看

全纯函数, 英語, holomorphic, function, 是复分析研究的中心对象, 它们是定义在复平面c, displaystyle, mathbb, 的开子集上的, 在复平面c, displaystyle, mathbb, 中取值的, 在每点上皆複可微的函数, 有时称为正则函数, 在整个复平面上都全纯的函数称为整函数, 在一点a, displaystyle, 全纯, 不仅表意味着a, displaystyle, 可微, 而且表示在某个中心为a, displaystyle, 的复平面上的开邻域上可微, 直角. 全纯函数 英語 Holomorphic function 是复分析研究的中心对象 它们是定义在复平面C displaystyle mathbb C 的开子集上的 在复平面C displaystyle mathbb C 中取值的 在每点上皆複可微的函数 註 1 註 2 全纯函数有时称为正则函数 在整个复平面上都全纯的函数称为整函数 在一点a displaystyle a 全纯 不仅表意味着a displaystyle a 可微 而且表示在某个中心为a displaystyle a 的复平面上的开邻域上可微 註 3 直角坐标网 上 經一全纯函数f共形映射後的結果 下 目录 1 定义 2 范例 2 1 有理函数 2 2 由幂级数定义的函数 2 3 复对数 2 4 幂函数 3 性质 4 几个变量 5 扩展到泛函分析 6 注释 7 参看定义 编辑若U textstyle U 为C textstyle mathbb C 的开子集 且f U C displaystyle f U rightarrow mathbb C 为一个函数 我们称f displaystyle f 是在U textstyle U 中一点z 0 textstyle z 0 是复可微的 complex differentiable 或全纯的 当且仅当该極限存在 f z 0 lim z z 0 f z f z 0 z z 0 displaystyle f z 0 lim z rightarrow z 0 f z f z 0 over z z 0 若f displaystyle f 在U textstyle U 上任取一点均全纯 则称f displaystyle f 在U textstyle U 上全纯 特别地 若函数在整个复平面全纯 我们称这个函数为整函数 其中 极限取所有趋向z 0 textstyle z 0 的复数列 并对所有这种序列差的商趋向同一个数f z 0 textstyle f z 0 另外 这个可微性的概念和实可微性有几个相同性质 它是线性的 并服从乘积 商和链式法则 下面是一个等价的定义 一个复函数全纯当且仅当它满足柯西 黎曼方程 范例 编辑有理函数 编辑 所有的复系数多项式函数为整函数所有复系数的有理函数 在除去极点以外的区域均为全纯 例如 函数f z 1 z displaystyle f z mapsto frac 1 z 在C displaystyle mathbb C 上为全纯函数 由幂级数定义的函数 编辑 若S n 0 a n z n displaystyle Sigma n geq 0 a n z n 复系数幂级数 且收敛半径不为零 我们记D displaystyle D 为其收敛区域 函数 f D C z S n 0 a n z n displaystyle begin aligned f D amp rightarrow mathbb C z amp mapsto Sigma n geq 0 a n z n end aligned 为全纯函数 且任取z D f z S n 1 n a n z n 1 displaystyle z in D f z Sigma n geq 1 na n z n 1 事实上 这个函数在D displaystyle D 上无穷可导 指数函数为整函数 同样地 三角函数 註 4 与双曲函数同样为整函数 复对数 编辑 若在一个连通集上的函数L U C displaystyle L U rightarrow mathbb C 满足条件 z D exp L z z displaystyle forall z in D exp L z z 则称其为一个复对数函数 另有一等价定义 即若全纯函数L displaystyle L 在U displaystyle U 上以z 1 z displaystyle z mapsto 1 z 为导数 且存在一点z 0 displaystyle z 0 使得这一点exp L z 0 z 0 displaystyle exp L z 0 z 0 则称其为一个复对数函数 在C displaystyle mathbb C 的任意开子集U displaystyle U 上 若有一个复对数L displaystyle L 那么任取整数k displaystyle k 函数z L z 2 k p i displaystyle z mapsto L z 2k pi i 也为U displaystyle U 上的复对数函数 幂函数 编辑 在C displaystyle mathbb C 的任意开子集U displaystyle U 上 若有一个复对数L displaystyle L 那么任取复数a displaystyle a 在U displaystyle U 上a displaystyle a 阶幂函数可以定义为 z U z a exp a L z displaystyle forall z in U z a exp aL z 特别地 任取整数n gt 0 displaystyle n gt 0 有z 1 n exp 1 n L z displaystyle z 1 n exp 1 n L z 满足 z U z 1 n n z displaystyle forall z in U z 1 n n z 我们称此表达式为U displaystyle U 上n displaystyle n 阶幂的定义式 另外 记z n z 1 n displaystyle sqrt n z z 1 n 註 5 性质 编辑因为复微分是线性的 并且服从积 商 链式法则 所以全纯函数的和 积及复合是全纯的 而两个全纯函数的商在所有分母非0的地方全纯 每个全纯函数在每一点无穷可微 它和它自己的泰勒级数相等 而泰勒级数在每个完全位于定义域U displaystyle U 内的开圆盘上收敛 泰勒级数也可能在一个更大的圆盘上收敛 例如 对数的泰勒级数在每个不包含0的圆盘上收敛 甚至在复实轴的附近也是如此 若把C displaystyle mathbb C 和R 2 displaystyle mathbb R 2 等同起来 则全纯函数和满足柯西 黎曼方程的双实变量函数相同 该方程组含有两个偏微分方程 在非0导数的点的附近 全纯函数是共形的 註 6 因为他们保持了小图形的角度和形状 註 7 柯西积分公式表明每个全纯函数在圆盘内的值由它在盘边界上的取值所完全决定 几个变量 编辑多复變函數的复解析函数定义为在一点全纯和解析 如果它局部可以 註 8 扩张为收敛的各个变量的幂级数 这个条件比柯西 黎曼方程要强 事实上它可以这样表述为一个多复变量函数是全纯的当且仅当它满足柯西 黎曼方程并且局部平方可积 扩展到泛函分析 编辑全纯函数的概念可以扩展到泛函分析中的无穷维空间 Frechet导数条目介绍了巴拿赫空间上的全纯函数的概念 注释 编辑 这是比实可微强得多的条件 暗示著此函数无穷可微并可以用泰勒级数來描述 解析函数 analytic function 一词经常可以和 全纯函数 互相交换使用 虽然前者有几个其他含义 双全纯 biholomorphic 表示一个有全纯逆函数的全纯函数 可通过指数函数使用欧拉公式定义 若对于正实数 这种定义方式可能与其通常含义存在冲突 或称保角的 但尺寸可能改变 在一个多盘 也即中心在该点的圆盘的直积参看 编辑亚纯函数 整函数 反全纯函数 英语 Antiholomorphic function 取自 https zh wikipedia org w index php title 全纯函数 amp oldid 70527806, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。