跳转到内容

微积分/复分析

来自Wikibooks,开放世界中的开放书籍

复分析是研究复变量函数的学科。复分析是某些领域(例如电力工程等)中广泛使用且强大的工具。

在我们开始之前,您可能需要回顾一下 复数

复数

复函数

[编辑 | 编辑源代码]

复变量函数是能够取复数值(以及严格实数值)的函数。例如,假设 f(z) = z2。该函数在复数 z 与其平方 z2 之间建立了对应关系,就像实变量函数一样,但使用复数。请注意,对于 f(z) = z2,如果 z 是严格实数,则 f(z) 将是严格实数。

通常我们可以将函数 f(z) 写成 f(z) = f(x+iy) = a(x,y) + ib(x,y) 的形式,其中 a 和 b 是实值函数。

极限与连续性

[编辑 | 编辑源代码]

与实值函数一样,我们也对复值函数有了极限和连续性的概念 - 我们通常的δ-ε 极限定义

当且仅当对于每个 ,存在一个 ,使得 对所有 成立,使得 .

请注意,ε 和 δ 是实数。这在使用不等式的过程中是隐含的:只有实数是“大于零”的。

这个极限定义和实值函数的定义之间的区别之一是绝对值的含义。这里我们指的是复数绝对值而不是实数绝对值。另一个区别在于z 接近w 的方式。对于实值函数,我们只关心z 从左侧或右侧接近w。在复数环境中,z 可以从二维复平面中的任何方向接近w:沿着穿过w 的任何直线,沿着以w 为中心的螺旋线等。

例如,设 。假设我们要证明 。我们可以将z 写成 ,其中我们认为γ 是一个小的复数。然后请注意 。然后,在我们的定义中,L 为 -1,w 为 i,我们有

根据三角不等式,最后一个表达式小于

为了使这个表达式小于 ε,我们可以要求

因此,对于任何 ,如果 ,并且 ,那么 。因此,当 z 趋近于 i 时, 的极限为 -1。


微分和全纯函数

[edit | edit source]

由于我们定义了极限,我们可以像平常一样定义复函数的 导数

只要这个极限与 Δz 趋近于零的方式无关(因为我们现在在复平面上工作,我们有更大的自由度!)。

如果对于某个值 z 或某些值的集合(一个 区域)存在这样一个极限,我们称该函数在该点或区域 全纯。连续性和单值性是解析的必要条件;然而,连续性和单值性不足以保证解析性。

许多复值的初等函数具有与实函数相同的导数:例如 D z2 = 2z

习题

[edit | edit source]

根据以上内容,回答以下问题。

  1. 从极限定义中求出 z3 的导数。
  2. ez 写成 a(x, y)+b(x, y)i 的形式

答案

[edit | edit source]

1.

2.

柯西-黎曼方程

[编辑 | 编辑源代码]

我们可能想知道哪些复函数实际上是可微的。看起来全纯函数的判据比实函数的可微性判据要严格得多,事实也确实如此。假设我们有一个复函数

,

其中 uv 是实函数。此外,假设 uv 在实数意义上是可微函数。那么我们可以让 在可微性定义中,通过仅改变 x 或仅改变 y 来逼近 0。因此,只有当 f 满足以下条件时,它才能在复数意义上可微

事实上,如果 uv 在实数意义上是可微的,并且满足这两个方程,那么 f 就是全纯的。这两个方程被称为柯西-黎曼方程。

在单变量微积分中,积分通常是在两个实数之间计算的

在实数轴上,从 只有一个路径。然而,在复平面中,在两点 之间有无数条不同的路径。因此,复积分总是沿着路径进行,而不是在两点之间进行。

是复平面中由 参数化的路径,设 是一个复值函数,则轮廓积分的定义类似于多元微积分中的线积分

,设 是从 01+i 的一条直线,这条曲线可以用 参数化,其中 在 0 到 1 之间变化。现在我们可以计算

注意我们也有

这表明,复反导数可用于简化积分的计算,就像实反导数用于计算实积分一样。

柯西定理

[edit | edit source]

柯西定理指出,如果函数 在开集 的闭包上是全纯的,而 中的一条简单闭曲线,那么

这可以从格林定理的角度理解,虽然这并不能轻易地得到证明,因为格林定理只在假设 f 有连续的一阶偏导数的情况下适用...

轮廓积分

[edit | edit source]
进行积分的轮廓

柯西定理可以用来计算许多瑕积分(瑕积分是指积分区间中包含无穷大)。例如,考虑

因为

我们考虑

现在我们对上图所示的凹半圆形轮廓进行积分。我们对轮廓的每个部分进行如下参数化

,
,
,
,

根据柯西定理,整个轮廓的积分值为零。所以,

现在我们分别处理这些积分。

回忆复数正弦的定义,

现在我们评估另外两个积分

时,被积函数趋近于 1,所以

第四个积分等于零,但这个有点难证明。它的形式与第三段类似

这个被积函数更难,因为它不一定在任何地方都趋近于零。这个困难可以通过将积分分开来克服,但这里我们简单地假设它为零。

结合所有内容,我们现在有

因此,

柯西积分公式

[编辑 | 编辑源代码]

柯西积分公式描述了全纯函数在一个集合上的行为,该行为基于其在该集合边界上的行为。 如果 是一个具有分段光滑边界的开集,并且 中是全纯的,那么

这是一个非凡的事实,在多元微积分中没有对应的结论。 它表明,如果我们知道全纯函数沿着闭曲线的取值,那么我们也知道它在曲线内部的任何地方的取值。

因为 是一个开集,因此对于所有 都有 。 因此,柯西积分公式中的被积函数关于 z 是无限可微的,通过反复对等式两边求导,我们得到

这个结果表明,全纯性比可微性是一个更强的要求。 在复平面上,如果一个函数在一个开集中只有一个导数,那么它在这个开集中有无穷多个导数。

柯西定理的推论

[edit | edit source]

柯西定理和积分公式有一些强大的推论

  • 幂级数的收敛性 如果一个函数在一个圆盘中是全纯的,那么它的泰勒级数在这个圆盘中收敛。
  • 刘维尔定理 如果一个函数在整个 中有界且全纯,那么它等于一个常数。
  • 代数基本定理 任何具有复系数的次数大于零的多项式都有一个复根。 这是刘维尔定理的一个简单推论。
  • 函数的相等性 如果两个函数 在一个连通的开集 上是全纯的,并且在该集合中的任何圆盘上 ,那么对于所有 都有
华夏公益教科书