跳转到内容

复分析/链上的积分

来自维基教科书,开放的书籍,开放的世界

定义(连续可微1链):

一个连续可微1链是所有连续可微曲线集合上的自由-模的一个元素.

定义(像):

为一个连续可微1链。那么定义为

,

其中恰好是所有满足的连续可微曲线.

积分定理的转移

[编辑 | 编辑源代码]

幅角和绕数

[编辑 | 编辑源代码]

假设我们给定一个在中支撑的闭合轮廓,并假设我们是一个位于原点的观察者。假设我们想要测量一个运动物体绕我们旋转的次数(即,穿过一个与我们有固定角度的固定点的次数)。由此产生的数字被称为给定闭合轮廓的绕数。需要注意的是,它是有符号的;也就是说,如果轮廓在(关于角度距离)第一次绕过圆圈,然后再次绕过圆圈,但方向相反,那么绕数应该为零。

为了使之精确,

幅角定义到圆圈,并提升到标准覆盖

后者的同伦不变性


Clipboard

要做

  1. 积分和微分的交换定理将是必需的
  2. 链接到刘维尔定理
  3. 澄清关于函数在开覆盖上是全纯且定义良好的


定理(柯西公式):

为开集,令为一个包含在内,并且在中是零同调的循环。令为一个全纯函数。那么我们有

对所有不在 轨迹上的

证明: 上定义一个函数

当一个变量固定时,这个函数在另一个变量中是全纯的。因此,考虑函数

,

我们发现 上是全纯的,因为 交换积分和微分。但事实上它在 上是全纯的,因为我们假设循环 上是零同调的。必要时缩小 ,我们可以假设 是有界的,因为 曲线的像是一个紧集 并且 紧集的有限并集也是紧集。然后 通过 一个魏尔斯特拉斯类型的定理 以及 刘维尔定理 变成了一个有界函数,因此它是常数,因此等于零。特别是,代入 ,我们得到

,

也就是说,

.

定义(链积分):

为开集,并令 为全纯函数。令 为一个连续可微的 1-链,其像包含在 中。那么在 上的**积分**定义为

,

其中

.

命题(同调链产生相同的积分):

为开集,并令 为一个全纯函数。假设 是连续可微的 1 链,其像包含在 中,使得 对于某个 2 链 在 [[ 上的奇异链复形]] 中。那么

.

证明:根据链上的积分定义,只需证明当 是一个 2 链时,

.

此外,根据线性性,我们可以限制为 是单纯形的情况。但 是零同调的,因此

根据 柯西定理

定理(留数定理):

为一个开的有界子集。令 为一个循环,其像包含在 中,并令 为亚纯函数,因此 的任何奇点都不包含在 的像中。那么

,

其中 的奇点。

证明: 注意到任何 中连续的 1-链的像都是紧致的,因此由于 是 Hausdorff 空间,所以是闭集。因此,对于 的每个奇点 ,选择一个半径 ,使得 的像与 不相交,并且后者应该包含在 中(毕竟,它是开集)。此外,设置 ,其中后者的边界路径被遍历一次,并且是逆时针方向(所以它的绕数为 1)。然后定义一个新的连续可微 1-链:

.

那么 将是零同调的,因此根据柯西定理和柯西公式

.
华夏公益教科书