当一个序列满足对于任意的前 项和都满足不小于_一个初学者的复分析笔记（二）...

二 复函数

一、解析函数的概念

复函数是指定义定义域和值域都是复数域的函数。解析函数是其中性质较好的一类函数，它们可以“自由地”进行微分和积分。像数学分析中那样，我们从极限入手，逐步定义出更高层次的概念。

1.极限与连续性

定义2.1.1 称当

趋于

时函数

有极限

，当且仅当

并记作

或

类似地可以定义各种无穷情况下的极限，要注意的是，在实数的情形下，无穷有

之分，而复函数情形下我们只有

的定义。

显然实函数中关于极限的和、差、积、商的相关结果在复情形下仍然有效，这是因为下面两条模的性质：

与实数的绝对值性质完全对应，而极限正是由绝对值定义。

根据定义，

因此

.

定义2.1.2 称函数

在点

处连续，当且仅当

；连续函数是指在其定义域内每个点上都连续的函数。

利用极限的性质，在

处连续的两个函数的和

与积

仍是在

处连续的；商

在

处有定义且连续，当且仅当

。再利用上面的结果知，如果

在点

处连续，那么

也在

处连续。

2.解析函数

定义2.2.1 函数在

处的导数是一个极限

由极限的性质依然有效，通常的函数的求导法也依然有效。

复函数的导数应当被看作是实函数的导数在复数域上的推广，但这种推广并不是完全顺利的，导数的存在性不能得到保证。考虑一个在

处可导的复变量的实值函数

。设

，那么一方面

是实数；另一方面

是纯虚数。因此只能有

。由此可知，

复变量的实函数要么导数不存在，要么导数为零。

一个实变量的复函数可以分解为

，于是

可导当且仅当

都可导。

可导的复变量的复函数是一类非常重要又有深远意义的函数，我们单独作定义：

定义2.2.2 解析函数是那些在定义域内每一点处都有导数的复变量的复函数，也称作全纯函数。

定理2.1 复变量的复函数

（其中

是复变量的实函数）可导的必要条件是：

满足

柯西-黎曼微分方程组

；也就是

。

证明：设

在

处可导，取

，那么

由此知定理成立，证毕。

由定理2.1，可导函数的导数有四个形式上不同的表达形式，通常我们选取最简单的：

例2.2.1

在后续章节，我们将会利用更高级的手段证明解析函数的导数仍然解析。我们暂时略去证明而承认这一事实，则

拥有各阶连续导函数，特别地，其混合偏导数相等。从柯西-黎曼微分方程组立即推出

满足拉普拉斯方程

的函数

称为

调和函数。以上事实这说明解析函数的实部、虚部调和。如果两个调和函数

满足柯西-黎曼微分方程组，称

是

的

共轭调和函数。

例2.2.2

是

的共轭调和函数，那么

是

的共轭调和函数。

定理2.2

是一对共轭调和函数，则

是解析函数。

证明：设

，由微分中值定理，

则

因此

故

解析，证毕。

一般来说，已知一对共轭调和函数

中的一个，可以对解柯西-黎曼方程组积分来求出另一个。但我们有如下更有趣且更能突显解析函数本质的做法。但请注意，如下的推导完全是形式上的，不具有任何证明力。首先给出一个引理：

引理2.1 解析函数

满足形式微分方程

证明：因为

，所以

，证毕。

根据这一形式上的引理，可以不用积分而求出实部已知的调和函数

和相应的解析函数

。首先注意到

关于

的形式导数为零，因此可以把它看作

的函数，并记作

。用这个记法可写出形式恒等式：

因为这个等式形式上成立，因此即使我们把

替换成复数也依然成立。代入

，得

。

因为最终所要确定的

可以相差一个纯虚数常数，因此可以假设

是实数，即

。从而

可由下式给出：

注：在上述推导中，无形中假定了

是有理函数（可以理解为形如多项式之比的函数）。但是所使用的方法可以推广至一般情形，也可以给出完整的证明。

3.多项式函数

因为常函数是导数为零的解析函数，

是导数为

的解析函数，而解析函数的和与积仍然解析，因此所有的复系数多项式函数

解析。

其导数为

。其中的的

称为

次多项式。

定理2.3（代数学基本定理）

时，方程

至少有一个根。（证明略）

归纳地，可以得到因式分解

。

如果恰有

个

相同，则它们的公共值称为

的

阶零点。显然所有的零点阶数之和等于多项式的次数。一个零点

的阶数也可以通过

的逐次导数得到：

定理2.4（卢卡斯定理）如果多项式

的所有零点都在一个半平面内，那么导数

的所有零点也都在同一半平面内。

证明：设

，则

，从而有

。因为复平面上的直线可表示为参数方程

，可以设

的零点都在半平面

上，即

。于是当

时，

因此

。从而

，

这说明

的零点都不在

内，证毕。

4.有理函数

定义2.4.1 有理函数是形如

的函数，其中

是

没有公因式的多项式。

定义2.4.2

在

的零点处取值

，这些点称作

的

极点。其 阶数定义为它作为

的零点的阶数。

可以把有理函数看作扩充复平面上的函数，并定义

。自然地可以定义

在

处的零点（极点），并定义其阶为有理函数

在

处的极点（零点）的阶数。以后统称

的零点和

在

处的极点为

的极点。

定义2.4.3 有理函数

的

阶定义为

。

定理2.5 阶为

的有理函数在扩充复平面上有

个零点（极点），其中每个零点（极点）按阶数计数。（直接对两类零点（极点）的阶数计数即证）

例（有理函数的部分分式表示法）

利用多项式除法，我们可以把有理函数拆解为

的形式，其中

是没有常数项的多项式，

是分子次数不大于分母的有理函数（因此

有限）。容易发现，

的次数正是

在

处极点的阶数。称多项式

为

在

处的

奇部。

设

有

个故不相同的有限极点

，函数

是关于

的有理函数，且在

处有一个极点。利用前面的结果，有分解

，其中

是没有常数项的多项式，

在

处有限。

或作变量代换后有

。 称

为

在

处的奇部。

考虑表达式

，它是有理函数，且不能有

和

以外的极点。但是在任何一个

处，它都取得有限值；

处亦然。因此它没有极点。而没有极点的有理函数必是一个常数。把这个常数视作

的常数项，则有部分分式表示：

二、幂级数

5.序列

定义2.5.1 称序列

有极限

，如果

此时称序列

收敛，记作

；否则称其

发散。

如果

，称其

发散到无穷，记作

。

定义2.5.2 一个序列是柯西序列，如果

定理2.6（柯西收敛准则） 复数序列收敛当且仅当它是柯西序列。

证明：1)必要性。

于是

2)充分性。由于不等式

总是成立，因此复数柯西序列的实部序列、虚部序列均是实数柯西序列。因此柯西序列的实部、虚部都收敛，进而柯西序列收敛。

6.级数

定义2.6.1 级数是指形式无穷和

。如果部分和的极限

存在，称级数

收敛，定义级数的 和为这一极限，记作

；否则称级数

发散。

例 级数

收敛的必要条件是

。（对级数对应的部分和应用柯西收敛准则并取

即证）

例 级数

与

同敛散。（柯西收敛准则）

定义2.6.2 称级数

绝对收敛，如果级数

收敛。

7.一致收敛性

定义2.7.1 称序列

在集合

上

一致收敛于

，如果

。

显然一致收敛是比收敛更强的性质，作为对比，写出该序列收敛于

的定义：

类似地也有一致收敛性的柯西收敛准则，但注意判别法中选取的

一定要是与

的选取无关的。

定理2.7（魏尔斯特拉斯判别法）级数

（绝对）一致收敛，如果存在收敛级数

而

对于充分大的

。

8.幂级数

定义2.8.1 幂级数是指形如

的级数，并称作关于

的幂级数。

例 几何级数

是幂级数，其部分和为

，因此它收敛当且仅当

。

定理2.8（阿贝尔定理）对于幂级数

，存在

，称作

收敛半径，满足以下性质：

1)

，

绝对一致收敛。

2)

，

无界，从而

发散。

证明：对于

，依次验证上述性质成立：

1)

由魏尔斯特拉斯判别法，级数绝对一致收敛。

2)与1)完全同理。证毕。

定理2.9（逐项求导）设幂级数

收敛半径为

。则

时，作为

的函数，

是解析的，且其导数可以通过逐项求导求得，即

。且其导数的收敛半径仍为

。

证明：首先，因为

，所以级数

的收敛半径也是

。

其次，设

又设

，下证

设

，且

。考虑恒等式

当

时，由

的定义，

；

由

，而右边是一个收敛级数的余项，因此有

。

因此对于任何

，可以选取

使得对所有的

，

。

对于某个固定的

，由导数的定义，存在

，使得对所有

，

。

结合上述不等式得到

，这说明

存在且等于

。

注:这个证明实际上给出了收敛级数在其收敛半径内有任意阶导数。

10.阿贝尔极限定理

不失一般性地，设幂级数

的收敛半径为

，有如下定理。

定理2.10 如果

收敛，则当

“趋于”

而保持

有界时，

。

注：从几何观点来看，定理中的条件意味着

始终从一个顶点为

且关于区间

对称而小于

的角内趋于

。通常称这种趋近发生于一个斯托尔角内。

证明：不妨设

，记部分和为

。

则有恒等式

（阿贝尔分部求和）

但

，因此取极限得

。

不妨设

。因

，存在某个正整数

使得

时有

。

所以

，

由此得

。

于是

时，

，证毕。

三、指数函数和三角函数

引入复数的一大便利是将指数函数与三角函数统一了起来，或者说，让我们重新认识了这两类函数。

11.指数函数

作为实变量指数函数的延伸，指数函数应当是如下微分方程的解：

。

为了求解，设

，则

。

由

，得

。进而，归纳得

。

因为

，幂级数

在整个复平面上收敛。因此有

定义2.11.1 指数函数是

，或记作

。

推论

；特殊地，有

，从而

。

证明：注意到

，

因此

。令

即证。

12.三角函数

定义2.12.1

或幂级数形式：

例（欧拉公式）

例

例

例

利用

和

，我们可以很容易地定义出其他三角函数，但没必要浪费篇幅。

推论 所有的三角函数都是

的有理函数。

13.周期性

定义2.13.1 如果

对所有

成立，则称

有周期

。

定理2.11

有最小正周期，且其所有周期都是最小正周期的整数倍。

证明：首先，

，即

的周期都是实数。

其次，当

时，

同样地，

更进一步，

；最终得到

。

这个不等式表明

，这说明存在

使得

。

于是

，因此

是一个周期。

事实上，

也是最小正周期。任取

，

，这说明

严格减。由于

且

，故

严格增。因此

。不等式

保证了

，因此

。这说明

的确是最小正周期。暂记作

。

最后，考虑任一个周期

，则存在整数

使得

。如果

，则意味着

将是一个比

更小的正周期，这是矛盾的。证毕。

定义2.13.2

例

从代数的观点来看，映射

是实数加法群到复平面单位圆的乘法群上的满同态，其核

。

14.对数函数

我们希望定义一个函数使得

是方程

的一个根，称作对数函数。显然这个函数在

处没有定义。对于

，

因为

是同构，从而是一一对应，所以方程在

上有

唯一解

。再由指数函数的周期性，方程的所有解相差

的整数倍。因此有，

定义2.14.1 方程

的解实部确定；而虚部有无穷多个取值，它们构成模

的同余系，称之为复数

的

辐角，记作

。

定义2.14.2 对数函数定义为

。

注：对数函数通常由无穷多个取值。

我们可以重新严密地定义复数的极坐标表示：

，其中

。

定义2.14.3

。

由指数函数的加法定理，作为取值的集合，有

通过解方程

，有

定义2.14.4（反三角函数）

至此，我们重新严密定义了指数函数、三角函数、对数函数以及对数的辐角。而他们都可以用

和其反函数

表示。因此可以说，

本质上，只有一个初等超越函数。