邓嘉驹
复变函数汇总/要点梳理

复变函数笔记

第一部分 · 第 2 份 · 2022.12.13 · 48 页 · Complex Analysis · Lecture Notes

1复数和平面点集

1.1 复数

1.1.1 四则运算

记,则

  1. 1.

    加(减)法:;

  2. 2.

    乘法:;

  3. 3.

    除法:.

1.1.2 共轭复数

  1. 1.

    ;

  2. 2.

    ;

  3. 3.

    ;

  4. 4.

    .

1.1.3 复数的几何表示、模与辐角

复数,其中. 辐角主值,辐角. 其引申出的不等式:

  1. 1.

    ;

  2. 2.

    .

1.1.4 复数的乘方和开方

  1. 1.

    乘方(de Moivre公式):;

  2. 2.

    开方:.

1.1.5 复数序列的极限、无穷远点

  1. 1.

    极限:设是一个复数序列,是已给复数,如果

    就称复数是复数列的极限,记作或. 等价描述:

    证
    1. (1)

      利用不等式

      当时,由不等式前半部分,; 当时,由不等式后半部分,,得证.

    2. (2)
      1. i.

        充分性:由不等式可知,. 以点为圆心、为半径作圆,由几何关系,

        取,那么对,当时,总满足,因此

      2. ii.

        必要性:注意到

        那么

        同理,,故.

  2. 2.

    无穷远点:对于复数列,若对,总,使得当时,满足,则该数列收敛于无穷远点,记作

    增加了点的复数平面称为扩充平面或闭复平面1,与其对应的是复数球面(或Riemann球面). 关于无穷远点的其他规定:

    1. (1)

      的实部、虚部和辐角无意义,其模;

    2. (2)

      若,则;

    3. (3)

      若,则;

    4. (4)

      闭复平面上任意的区域均为无穷远点的邻域2.

1.2 平面点集

1.2.6 区域与曲线

  1. 1.

    具有下列性质的非空点集称为区域:

    1. (1)

      是开集;

    2. (2)

      中任意两点可以用一条全在中的折线连接起来(连通性).

    区域加上它的边界称为闭域,记为.

  2. 2.

    Jordan曲线:设是定义在上的连续函数,则由方程

    所决定的点集,称为复平面上的一条连续曲线. 对于其上,且不同时为区间端点时,若,则称该曲线为简单曲线(Jordan曲线). 性质:

    1. (1)

      任一条简单闭曲线将整个平面分为内区域和外区域;

    2. (2)

      内区域中任何简单闭曲线的内区域中的每一点都属于,这样的域称为单连通区域; 其余区域称为多连通区域.

2复变数函数

2.1 函数极限与连续性

  1. 1.

    极限:设函数在区域内有定义,若对,总,使得当时,,那么.

  2. 2.

    连续:在点连续; 在区域中每点都连续在区域中连续.

  3. 3.

    连续的证明3: 在连续均在连续.

2.2 导数和解析函数的概念

  1. 1.

    导数:在点的某邻域内有定义,,则存在时,在点可微,该极限值为其导数.

  2. 2.

    可微连续.

    证

    在点可微令

    则,即

    因此

  3. 3.

    解析:在内每一点可微在内解析,是内的解析函数; 若在点的某个邻域内可微,则称在点解析4.

  4. 4.

    奇点:上不解析的点.

  5. 5.

    求导法则:与实变函数一致.

    注

    在点可微是一个强条件,它要求沿任意路径趋于点的极限值相同.

2.3 柯西-黎曼方程

  1. 1.

    函数在点可微的充要条件:

    1. (1)

      在点可微;

    2. (2)

      满足柯西-黎曼方程(简称C-R方程):

    证
    1. (1)

      必要性:设,则

      记,对比两边实部和虚部:

      对比可知,

    2. (2)

      充分性:由于以上各步均可逆,因此逆推得证.

    那么

  2. 2.

    函数在区域内可微(解析)的充要条件:

    1. (1)

      在内可微;

    2. (2)

      在内处处满足C-R方程.

2.4 初等函数

单叶函数:如果是区域内的一一解析映照,则称是内的单叶函数,称为的单叶性区域.

2.4.1 幂函数

  1. 1.

    定义:;

  2. 2.

    单叶性区域:平面上的任何一个以原点为顶点、跨度不大于的角域:

  3. 3.

    特殊角域:,它被单叶映照成沿负实轴割开的平面:. 其中角域的一边处称为平面负实轴的下岸,另一边处称为负实轴的上岸.

  4. 4.

    习惯上选定的角域:.

2.4.2 根式函数

  1. 1.

    定义:. 根式函数是多值函数.

  2. 2.

    支点:对于某个多值函数,若存在点,使得在的充分小邻域内,作一条包围该点的曲线,当从上某点出发,绕连续变动一周回到出发点时,将从它的一个值变到另一个值,就称是的支点.

  3. 3.

    支割线:对于函数,其支点为0与,因此任意作一条从原点0到的射线,称其为支割线. 支割线将平面割开形成一个区域,在内的任何闭曲线不会把支点包含在内部. 这样确定的单值函数,叫做在内的一个单连续分支.

  4. 4.

    一般地,取负实轴为支割线,多值函数有个单连续分支

  5. 5.

    单值解析分支:设是区域的多值函数,是内的单值解析函数. 如果在内的每一点的值,都等于在该点的一个值,则称为在内的一个单值解析分支5.

2.4.3 指数函数

  1. 1.

    定义:.

  2. 2.

    函数性质:

    1. (1)

      对,(注意到).

    2. (2)

      不存在.

    3. (3)

      加法公式:.

    4. (4)

      周期.

    5. (5)

      .

  3. 3.

    映照性质6

    1. (1)

      .

    2. (2)

      直线 映照出射线.

    3. (3)

      直线. 映照出圆周除去支割线上点.

    4. (4)

      条形域角域. 特别地,若,则映照成沿负实轴剪开的平面.

    5. (5)

      条形域圆环.

2.4.4 对数函数

  1. 1.

    定义:

  2. 2.

    含义:设,则,那么

    也常取作为的主值.

  3. 3.

    运算法则:.

    证

    利用的运算法则及正切的和角公式:

  4. 4.

    单值解析分支:. 并且映照:角域条形域.

2.4.5 三角函数

  1. 1.

    复变正弦函数、余弦函数:

  2. 2.

    复变正切、余切函数:

  3. 3.

    复变正(余)弦函数性质性质:

    1. (1)

      是周期的函数.

    2. (2)

      .

    3. (3)

      导数:.

    4. (4)

      .

    5. (5)

      均无界(如取).

2.4.6 双曲函数

  1. 1.

    定义:

  2. 2.

    与三角函数的关系:

  3. 3.

    导数:

  4. 4.

    其他公式:等.

2.4.7 一般幂函数

  1. 1.

    定义:对于及,的次幂定义为:

    若,补充规定时,.

  2. 2.

    函数值的具体讨论:

    1. (1)

      时,与通常幂函数一致.

    2. (2)

      时,为根式函数. 类似地,当时,如,则.

    3. (3)

      为无理数或一般复数()时,由定义知,该函数为无穷多值的7:

2.4.8 反三角函数

  1. 1.

    推导思路:反解方程.

  2. 2.

    公式:

    1. (1)

      .

    2. (2)

      .

    3. (3)

      .

    4. (4)

      .

    5. (5)

      .

    6. (6)

      .

    7. (7)

      .

    8. (8)

      .

3解析函数的积分表示

3.1 复变函数的积分

  1. 1.

    定义:设是平面上的一条逐段光滑的曲线,是定义在曲线上的一个单值连续函数,任意用一系列分点把曲线分成许多小段,在每一小段中任取一点,作和

    令,如果当时,上述极限存在,并且其取值与与弧段的分法及各的选取无关,则称这个极限为沿曲线的积分,记作.

  2. 2.

    定理:

    1. (1)

      设,则

    2. (2)

      设是简单光滑曲线:,则曲线,且

    3. (3)

      设,是以点为中心、为半径的圆周,那么

      证

      的参数方程是,那么

  3. 3.

    性质:

    1. (1)

      .

    2. (2)

      .

    3. (3)

      .

    4. (4)

      .

    5. (5)

      . 推论(长大不等式):若,曲线长为,则.

3.2 柯西积分定理

  1. 1.

    定理:

    1. (1)

      设是由闭路所围成的单连通区域,在闭域上解析,则

      证

      由定义及Green公式,

      由C-R方程,,因此.

    2. (2)

      设有条简单闭曲线,其中每一条都在其余各条的外区域内、在内部,默认为正向. 设在闭路及其所围成的多连通区域解析,则

      或. 应用 设是闭路内任一点,则

      证

      以点为圆心作一半径为的圆,由定理,

  2. 2.

    推论:

    1. (1)

      设在单连通域内解析,是内的任意封闭曲线,则.

    2. (2)

      设在单连通域内解析,是一条起于点而终于点的简单曲线,则积分的值不依赖于积分路径,而只由及确定. 因此这个积分也可记作

3.3 原函数

  1. 1.

    定义:是原函数.

  2. 2.

    在单连通域内解析亦解析,且.

    证

    相当于证明. 考虑

    同时. 又因为,对,总,使得当时,. 注意到积分与路线无关,则取路径为从到的直线段,路径长,那么结合长大不等式,

    因此.

  3. 3.

    Newtom-Leibiz公式:.

  4. 4.

    补充:对于多连通区域内解析的,作两条连接和的简单曲线和. 若在与包围的区域内解析,则依然成立; 但若不在其内解析(含无定义区域,即“洞”),则为多值函数.

3.4 柯西积分公式

  1. 1.

    设函数在(复)闭路及其所围区域内解析,则对内任一点,有

    证

    记为圆周,在内解析. 由于在内解析,且可任意小(不改变积分值),则

    即.

  2. 2.

    在上一条的条件下,对内任一点,有任意阶导数,则

    证
    1. (1)

      当时,记到闭路的最短距离为,则当时,. 考虑

      下证. 作差得

      当在边界上时,有界:,且

      因此

      即有

    2. (2)

      当时,假定时结论成立,且始终有,则时,

      因此该结论成立.

3.5 解析函数的性质

  1. 1.

    平均值公式 设在闭圆上解析,则

    其中是圆周,是上弧长的微分.

    证

    由柯西积分公式,

  2. 2.

    最大模原理 设在有界域内解析,在有界闭域上连续,这里是的边界. 并且不恒等于常数,那么只能在边界上取到内的最大值.

    证

    假设最大模在内部的点取到,那么由平均值公式,对任意大的半径,有

    另一方面,,因此. 代回最初的不等式,有

    由于,被积函数非负,因此,即在内处处相等. 由的连续性,上的值也与内函数值处处相等,这与题设条件矛盾,因此假设不成立,即最大模只能在边界上取到.

  3. 3.

    柯西不等式 设在区域内解析,以内任一点为圆心,作一个包含在内的圆周,设是在上的最大值,则

    证

    由柯西积分公式,

  4. 4.

    刘维尔(Liouville)定理 如果整函数在整个平面上有界,即对所有的满足不等式,则必是常数.

    证

    由柯西不等式,. 由于可以任意大,为使该式成立,当且仅当,因此为常数.

  5. 5.

    代数学基本定理 任何复系数多项式

    必有零点,即方程必有根.

    证
    1. (1)

      ,则零点为.

    2. (2)

      ,则假设无零点. 记,那么

      对于,总充分大,使得当时,,即有界. 而当时,由于连续,故有界. 因此在全平面上有界,由刘维尔定理,即为常数,这显然是不成立的8,故必有零点.

  6. 6.

    莫雷拉(Morera)定理 如果函数在域中是连续的,并且对中任意封闭曲线有

    则在内解析.

    证

    记,由题设条件,为单值函数,且在内解析,. 由柯西积分公式,存在任意阶导数,即的任意阶导数解析,即在内解析.

  7. 7.

    在单连通区域内解析,且对内的任何闭路,满足

4调和函数

4.1 解析函数与调和函数的关系

设在区域内是解析函数,则其实部与虚部分别为调和函数,且有定理:

  1. 1.

    设在域内解析,那么它的实部和虚部是该区域内的共轭调和函数.

  2. 2.

    设是一解析函数,且,那么等值曲线族

    在其公共点上永远是相互正交的,这里为常数.

    证

    由题意,等值线的法线

    结合C-R方程,

    正交性得证.

  3. 3.

    设是单连续区域内的调和函数,则由线积分所确定的函数

    使得在内解析,其中是内任一点,是内一定点,为实常数.

    证

    此定理回答了“仅通过实部或虚部确定一个单连通域内解析的函数”9的问题,证明的关键是C-R方程,步骤略.

4.2 调和函数的性质和狄利克雷问题(未完成)

以下简记为.

  1. 1.

    平均值定理 设是闭圆内的调和函数10,则

    这里,是圆周.

    证

    由解析函数的平均值原理,

    等式两端取实部,则得证.

  2. 2.

    极值原理 若函数在一个有界域内是调和函数,且在有界闭域上连续,这里是的边界,并且不恒等于常数,则函数只能在域的边界上取到整个有界闭域上的最大值和最小值.

    证

    利用最大模原理,先求出以为实部且在内解析的函数,再取,则. 假定在内某点取到最大值,则最大模在内取到. 注意到

    因此这与最大模原理矛盾,故只能在边界上取到最大值. 再考虑,可证只能在边界上取到最小值.

  3. 3.

    Poisson积分公式 设是闭圆上的调和函数,则对此圆内部任一点,有

    这里记.

5解析函数的级数展开

5.1 复级数的基本性质

5.1.1 复数项级数

  1. 1.

    定义:设是一复数列,表达式

    称为复数项无穷级数,其部分和记为,即

  2. 2.

    记,那么

    则收敛的充要条件为均收敛.

  3. 3.

    柯西收敛准则 级数收敛的充要条件是,对,总,使得当时,对满足

    推论 此级数收敛的必要条件为11.

  4. 4.

    定义:如果级数

    收敛,则称级数绝对收敛.

  5. 5.

    级数收敛的充要条件为均绝对收敛. 推论 若复级数绝对收敛,则其必然收敛.

  6. 6.

    性质:

    1. (1)

      一个绝对收敛的复数项级数各项可任意重排次序,仍绝对收敛,其和不变.

    2. (2)

      若两个绝对收敛的级数满足

      若记

      那么级数同样绝对收敛,且

5.1.2 复变函数项级数

  1. 1.

    定义:设是定义在平面点集上的复变函数列,则称

    为集上的一个复变函数项级数.

  2. 2.

    定义:设级数在集上收敛于,记其部分和为

    如果对于,总12,使得当时,满足

    则称级数在上一致收敛于函数.

  3. 3.

    柯西一致收敛准则 级数在集上一致收敛的充分必要条件为: 对,总,使得当时,对与满足

  4. 4.

    Weierstrass判别法 如果对集上的所有点都有

    而正项级数收敛,则级数在上绝对一致收敛,级数称为其强级数.

  5. 5.

    当级数在下述讨论区间内一致收敛于时,

    1. (1)

      若,则.

    2. (2)

      若在曲线上连续,则可沿逐项积分,且

      证

      当级数一致收敛于时,对,总,当时,满足

      那么由长大不等式,

      记,那么部分和有极限,并且

    3. (3)

      若在域内解析,则在内解析,可求导至任意多阶,且

5.2 幂级数

  1. 1.

    定义:的函数项级数,即.

  2. 2.

    Abel定理

    1. (1)

      如果幂级数在某点收敛,则其在圆内绝对收敛.

    2. (2)

      在(1)的条件下,幂级数在任何闭圆上一致收敛.

    3. (3)

      如果幂级数在某点发散,则其在圆外域内处处发散.

    证
    1. (1)

      由于幂级数在处收敛,故

      即有界,记作. 由于,故记

      因此

      显然收敛,因此幂级数绝对收敛.

    2. (2)

      此时,这里的与取值无关,故为幂级数的强级数,从而该幂级数绝对一致收敛.

    3. (3)

      反证法. 若幂级数在圆外域某点收敛,由第一条性质,该幂级数在处即处收敛,矛盾.

  3. 3.

    设幂级数的收敛半径为,则

    1. (1)

      若,则该级数在圆内绝对收敛; 在圆外域内处处发散.

    2. (2)

      若,则该级数在全平面内收敛.

    3. (3)

      若,则该级数在全平面内除外处处发散.

  4. 4.

    收敛半径的计算:

    则收敛半径.

  5. 5.

    设幂级数收敛半径为,则

    1. (1)

      和函数是收敛圆内的解析函数,并且可以逐项求导至任意阶:

    2. (2)

      各项系数13:.

5.3 解析函数的Taylor展开

  1. 1.

    设函数在点解析,在以为圆心、半径尽可能大且不包含的奇点14的圆域内,可展开成幂级数

    证

    在此圆域内,对任一点,以点为圆心作一包含点的闭圆,其边界记为,则由柯西积分公式,

    注意到点在围成的闭圆内,故,那么可展开成几何级数:

    再次利用柯西公式:

    可改写最初的积分:

  2. 2.

    性质:

    1. (1)

      函数在任一解析点的Taylor展开式唯一.

    2. (2)

      幂级数是其和函数在收敛圆内的Taylor展开式.

  3. 3.

    在区域内解析15的充要条件是: 在内任一点可以展开成的幂级数.

  4. 4.

    常用Taylor级数:

  5. 5.

    切比雪夫多项式 设是参数,则函数

    在的Taylor展开式为切比雪夫多项式.

  6. 6.

    设在点解析,且,则称是的零点,此时在的某邻域内的Taylor展开式为

    可能出现两种情况:

    1. (1)

      对均有,则在内恒为零.

    2. (2)

      不全为零,则必然,使得且对,均有. 此时称为的级(阶)零点. 特别地,时,称是的单零点.

  7. 7.

    点是的阶零点的充分必要条件是:,而.

  8. 8.

    点是的阶零点的充分必要条件是在点的附近有

    并且在点解析.

  9. 9.

    零点的孤立性 设在解析,且为其一个零点,则或者在的一个邻域内恒为零; 或者存在的一个邻域,在此邻域内是的唯一零点.

5.4 罗朗(Laurent)级数

  1. 1.

    定义:形如

    的级数,称为Laurent级数,其中为复常数. 当这两个级数

    均收敛时,称Laurent级数收敛.

  2. 2.

    收敛域:对级数,考虑,因此其收敛半径为,即. 对级数,其收敛半径记为,那么罗朗级数收敛域为16

  3. 3.

    设在圆环域中解析,则一定能在中展开成Laurent级数,即

    其中

    而是内围绕的任意闭路.

    证

    思路 利用解析函数的积分表示导出其级数表示. 对内任一点,作以为圆心的圆周,使得介于两者之间,不妨假定半径小于. 由复闭路的柯西积分公式17,

    1. (1)

      当时,,那么

      且该幂级数在上一致收敛,故

      其中

    2. (2)

      当时,,那么

      且该幂级数在上一致收敛,故

      其中

    综合上述结果,可表示成

    现对于任一包围的闭路,由多连通域的Cauchy积分定理,

    因此最终表示为

  4. 4.

    Laurent级数具有唯一性:利用

    的正交性,可知若

    那么结合Laurent级数在收敛域内的一致收敛性,

    即对于,均有,因此两种展开完全相等.

  5. 5.

    Bessel函数 设为实参数,则函数

    在内的Laurent展开为Bessel函数. 解法1 在除以外的全平面上解析,那么取积分路径,直接计算得

    则的Laurent展开式为. 解法2 将拆分为两项相乘并分别用Taylor展开. 注意到的展开式在全平面一致收敛,因此

    其中当时,

5.5 解析函数的孤立奇点

  1. 1.

    定义:如果函数在某个邻域:内除点外都是解析的,则称是的孤立奇点. 此时由上一节的讨论,在圆环内可以展成Laurent级数

    此为在孤立奇点的Laurent展开,其中负幂次项称为此级数的主要部分,正幂次项称为此级数的正则部分.

    1. (1)

      当时,,此时Laurent展开中只有正则部分,因而此孤立奇点为可去奇点.

      1. i.

        定理:设是的孤立奇点,那么是的可去奇点的充分必要条件是:,使得在环域:内有界.

      2. ii.

        推论:设是的孤立奇点,那么是的可去奇点的充分必要条件是:且有限.

    2. (2)

      设在点的Laurent展开式的主要部分只有有限多个(至少一个)不为0的项,设是是的Laurent展开式中从左数第一个不为0的系数,即

      此时称是的阶极点.

      1. i.

        定理:设为的孤立奇点,则为的阶极点与下面两种说法等价:

        1. Av}.

          在某环域内可表示为

          其中在点解析且.

        2. Bv}.

          是函数的级零点.

      2. ii.

        推论:的孤立奇点为奇点的充分必要条件是.

    3. (3)

      如果的Laurent展开的主要部分含有无穷多项,则称为的本性奇点. 定理:为的本性奇点的充分必要条件是:不存在极限.

  2. 2.

    如果在点的某邻域(即)内解析,则称为的孤立奇点. 对作变换,则有,其收敛域为,那么在其中的Laurent展开为

    那么在点的Laurent展开为

    1. (1)

      是的可去奇点其展开式不含的正幂次项有限.

    2. (2)

      是的级极点其展开式中只有有限个(至少一个)正幂次项,且最高次幂为.

    3. (3)

      是的本性奇点其展开式中含有无限多个正幂次项不存在.

6留数及其应用

6.1 留数定理

  1. 1.

    定义:设是的孤立奇点,是的充分小的邻域内一条把点包含在其内部的闭路,积分

    称为在点的留数或残数,记作.

  2. 2.

    留数定理 如果函数在闭路上解析,在的内部除去个孤立奇点外也解析,则

  3. 3.

    函数在点的留数等于在点的Laurent展开的负一次幂,即

    1. (1)

      推论1:设是的级极点,则

    2. (2)

      推论2:设均在点解析,且,则

    证
    1. (1)

      由题意,记,其中在解析且非零,故

    2. (2)

      由推论1,为的1级极点,因此

6.2 积分计算

6.2.1 型积分

记为关于的有理函数,令,则有

为的有理函数,故原积分变为一有理函数在单位圆周上的积分.

  1. 1.

    Poisson积分 应用此变换:,则. 记积分路径且为正向,那么

    因此函数在内有且仅有这一零点,故

  2. 2.

    对有限区间,计算积分,通常需要补充一条曲线,使其与直线段围成一个区域. 作复变函数,使其在的边界与其内除去有限个极点外的点均解析,那么由留数定理

6.2.2 有理函数的积分

  1. 1.

    设是一个有理函数,并且为使该广义积分收敛,假定在实轴上无零点且比至少高两次.

  2. 2.

    定义:对于某些函数,可能广义积分不存在,但极限存在,那么称该极限值为此广义积分的Cauchy积分主值,记作

    显然,当广义积分收敛时,其积分主值也存在且两者相等.

  3. 3.

    重要引理

    1. (1)

      如果当充分大时,在圆弧上连续,且,那么

      特别地,当是有理函数且比至少高两次时,有

      一般地说,当有理函数满足前述条件18时,此复有理函数在全平面有至多有限个极点,设是位于上半平面的全部极点. 取辅助闭路,当充分大时,都在内,由留数定理,

      结合此引理,令,则有

  4. 4.

    如果当充分小时,在圆弧上连续,且

    则

    在积分计算中,常遇到这一特殊情形. 推论 设是的1级极点,则

  5. 5.

    约当引理 如果当充分大时在圆弧上连续,且

    则对都有

    (证明待补充)

6.2.3 及型的积分

设是有理函数,分母比分子至少高一次,在实轴上除有限个单极点外处处解析,那么

引入辅助函数

那么取为上面平面内分别以实轴上各奇点为圆心的小半圆周(反向)、以原点为圆心的大半圆周与实轴的连线,由留数定理,

其中已记,而且,由约当引理,

由引理2,,因此令,可得

6.2.4 型的积分

这里是一个在正实轴上没有奇点的偶有理函数,且分母比分子至少高两次. 取回路为、与实轴连线. 在上,由于

那么

当时,为常数,而,因此积分值为0. 在上,由于

那么

因为分母比分子至少高两次,故

因此积分值为0. 在实轴上,,故

综上,令,由留数定理,原积分可写为

取上述等式的实部,可得

6.2.5 型的积分

这里要求实数不是整数,是一个在正实轴上没有奇点的有理函数,且要求

取支割线为正实轴,由此取回路为、分别与正实轴上岸、下岸的连线. 在上,由条件及引理可知,

在正实轴下岸,,因此积分为

由留数定理,令,可得

其中为函数在全平面内的奇点.

6.3 辐角原理

  1. 1.

    设分别是函数的级零点与级极点,则都是的一级极点,且

  2. 2.

    设在闭路的内部可能有有限多个极点,除去这些极点外,在及其内部解析,且在上无零点,则

    其中分别表示在的内部的零点和极点的总数(约定每个级零点或极点算个零点或极点).

  3. 3.

    辐角原理 在上一定理的条件下,有

  4. 4.

    儒歇(Rouch)定理 设函数及在闭路及其内部解析,且在上有不等式

    则在的内部与的零点个数相等.

  5. 5.

    设多项式

    在虚轴上无零点,如果当点自下而上沿虚轴从点走向点的过程中绕原点转了圈,即

    则在左半平面内共有个零点.

7解析开拓

7.1 唯一性定理和解析开拓的概念

  1. 1.

    唯一性定理 如果区域内的两个解析函数及在一串互不相同的点列

    上的值相等,并且这个点列以内某点为极限,那么这两个函数在内恒等,即.

  2. 2.

    推论

    1. (1)

      设及都在区域内解析,且在的某一段曲线上它们的值相同,则这两个函数在内恒等.

    2. (2)

      设在实数轴上有恒等式,与在全平面内解析,且在实轴上分别与相一致,则对一切复数,有.

  3. 3.

    设在集合上有定义,是一个包含的更大的区域,如果存在内的解析函数,使得当时,有,则称是在区域的解析开拓.

  4. 4.

    设函数在区域内解析,是另一个区域,与相交于另一个区域. 如果存在一个在区域解析的函数,且在内有,则称为在区域内的直接解析开拓; 反之也是在内的直接解析开拓. 两者称为互为直接解析开拓.

7.2 含复参变量积分及函数

  1. 1.

    柯西积分 设是平面上一条逐段光滑的有限长(封闭或不封闭)曲线,是沿确定的一个连续函数,则当不在曲线上时,含复参变量的积分

    是解析函数,且

  2. 2.

    设是的连续函数,这里,在区域内,且对于,在内解析,则

    是内的解析函数,且

  3. 3.

    设

8保形变换及其应用

8.1 导数的几何含义

  1. 1.

    保角性 设函数在区域内解析,且. 在内作一条过的有向简单光滑曲线. 设,并记,因此在处的切向量为

    其与实轴夹角为. 而在点的切向量为

    其与实轴的夹角为. 可见对于过点的任一曲线,经变换后与原曲线在该点切线夹角恒为.

  2. 2.

    导数模的几何意义:定义

    为曲线受到变换后在的伸张系数.

8.2 保形变换的概念

用解析变换解决实际问题时,要求所使用的变换是双方单值的.

  1. 1.

    设是区域内的单值函数,则在内的任一点,.

  2. 2.

    保形变换 区域内单叶函数所确定的变换. 设变换,变换,因此相当于一个新变换19. 可见保形变换的乘积仍是保形变换.

  3. 3.

    保形变换的基本问题:已知两个区域,能否找到一个双方单值的保形变换,把变成. 思路:若能找到将变为单位圆内部的变换即可,因为且,那么.

  4. 4.

    区域满足的条件:

    1. (1)

      不能是多连通区域.

    2. (2)

      不可能是闭复平面或开复平面,

      证

      若为闭复平面或开复平面,那么在圆内,则. 由Liouville定理,,但这是显然不正确的.

    3. (3)

      不能是去掉一个点的闭复平面.

      证

      假定将变为圆域,那么保形变换将的开复平面变换为,则将的开复平面变为. 由上一条可知,这是不可能的.

    综上,若存在保形变换将变为圆域,那么是一个边界至少包含两个点20的单连通区域.

  5. 5.

    黎曼定理 如果是闭复平面上的一个边界至少包含两个点的单连通区域,则必存在单叶函数把变为圆域. 如果还要求把中的一个已知点变为单位圆域内一指定点,过该点的已知方向,即要求

    则这个变换是唯一的.

8.3 分式线性变换

  1. 1.

    定义:由函数

    所确定的变换称为分式线性变换,这里,是复常数,且21. 当时,称为整线性变换. 并且其规定.

  2. 2.

    如果或把或的一个邻域保形映照成的一个邻域,则称把或的一个邻域保形映照成的一个邻域.

  3. 3.

    任意一个分式线性函数给出一个由闭平面到闭平面的的双方单值的保形变换.

  4. 4.

    特殊的线性变换:

    1. (1)

      平移变换 .

    2. (2)

      旋转变换 .

    3. (3)

      相似变换 .

    4. (4)

      倒数变换 .

    任何一个分式线性变换都可以表成上述四类变换的乘积.

  5. 5.

    保圆性 分式线性变换把圆周(含直线)变为圆周22.

  6. 6.

    设已给圆周,如果两个有限点在自出发的一条射线上,且

    则称关于圆周对称. 常见对称点:圆心与点、为实轴时的一对共轭复数.

  7. 7.

    两点关于圆周对称的充要条件是:过的任何圆与直交.

  8. 8.

    分式线性变换把对某一圆周为对称的点变为对这个圆周的像圆周对称的点.

  9. 9.

    任给平面上三个不同点和平面上三个不同点,存在一个唯一的分式线性变换:

    分别将变换成.

  10. 10.

    设是一分式线性变换,且,则此线性变换可表示为

    其中为复常数. 特别地,若,则有

    此后根据变换前后的圆周方程关系23

8.4 初等函数的映照

通常我们总是要求一个保形变换,把某一给定的区域变成上半平面或单位圆(复平面内最简单的区域).

8.4.1 变换和

注意到

特别地,

对于根式线性变换,在做具体的保形变换时,最常用的是第0支:. 特别地,若取正实轴为支割线,第0分支将区域保形映照成上半平面. 此外,在保形变换中还常用到分式幂函数,其中是既约分数.

8.4.2 变换和

对于指数变换,

特别地,

对于对数变换,通常取的一支,即

8.4.3 儒可夫斯基变换

即变换

常用于

9拉氏变换

拉氏变换的定义

  1. 1.

    引入:已知实函数逐段光滑且在上绝对可积时存在Fourier变换:

    反变换类似,但考虑到:

    1. (1)

      在研究实际过程时,通常从某一时刻开始,因此设单位阶跃函数

      所研究的函数变为.

    2. (2)

      对于复函数,绝对可积的条件太强,诸如三角函数、指数函数、幂函数等函数均不满足,因此添加一个衰减因子.

    记,最终得到所研究函数的变换:

  2. 2.

    定义:设是实变量的实值函数或复值函数,当时. 若含复参变数的积分在的某个区域内收敛,则由此积分所确定的函数

    称为函数的拉普拉斯变换(简称拉氏变换)或像函数,简记为

    而则称的拉氏变换或本函数,记为.

    注

    由以上讨论可知,拉氏变换就是的傅里叶变换.

  3. 3.

    附加条件:

    1. (1)

      在轴上的任何有限区间上逐段光滑.

    2. (2)

      是指数增长型的,即,使得对,有.

  4. 4.

    若满足以上条件,则像函数在半平面上有意义,而且是一个解析函数. 且此时有不等关系:

    由此可见,即当限制在角域

    内趋于无穷时,.

  5. 5.

    重要拉普拉斯变换

    1. (1)

      正变换:,反变换:,其中为实(复)常数.

    2. (2)

      正变换:,其中为复常数且. 特别地,

    3. (3)

      正变换24:

      证
      1. i.

        由于,可见其增长指数为,因此像函数在内解析,且

      2. ii.

        任取,当时,

        由于不等号右侧积分收敛,故该积分一致绝对收敛. 先假定为正实数,即,那么

        利用解析开拓,可将唯一地开拓成上的解析函数

      3. iii.

        利用下一节的拉式变换的线性性可知,

        其余积分类推.

9.1 拉式变换的基本性质

9.1.1 线性关系

.

9.1.2 相似定理

设,则对于,有

9.1.3 本函数的微分法

设,则

其中已利用且,这可推出. 推论 若均可作拉氏变换,那么

9.1.4 本函数的积分法

设,则

9.1.5 像函数的微分法

若可作拉氏变换,则

更一般地,.

9.1.6 像函数的积分法

若可作拉氏变换,其像函数的积分在收敛25中,且当时,有界,那么26

推论 如果积分存在,那么

9.1.7 延迟定理

对于函数,设,则

9.1.8 位移定理

设,则对任意复常数,有

由此可得在拉氏反变换中的常用公式:

9.1.9 周期函数的像函数

设是内以为周期的函数,且仲裁一周期内逐段光滑,则

其中已利用时,.

9.1.10 卷积定理

  1. 1.

    定义:如果已知函数及,则含参变量的积分

    称为函数与的卷积,记为. 而在拉氏变换中,卷积定义为

  2. 2.

    性质:

    1. (1)

      交换律:.

    2. (2)

      结合律:.

    3. (3)

      分配率:.

  3. 3.

    卷积定理 设均可作拉氏变换,则

    其中表示的傅里叶变换.

9.2 由像函数求本函数

9.2.11 部分分式法

对于有理真分式函数,可将其分解为若干个最简分式的和.

9.2.12 拉氏变换的反演公式

  1. 1.

    设可作拉氏变换,记,则对,在的连续点处,有

    此积分沿路径进行,此反演公式称为傅里叶-梅林(Fourier-Mellin)公式.

  2. 2.

    设除在半平面内有奇点外,在平面内处处解析. 当时,,且积分绝对收敛,则

    1. (1)

      是函数.

    2. (2)

      .

9.2.13 其他方法

若在点解析,且它在点的邻域内有Laurent展开式. 将此级数逐项求本函数,可得级数

该级数的收敛半径为,其定义的函数满足不等式. 该定理的逆定理也成立,即若可在整个数轴上展开成上述形式且,则其像函数可用上述级数表示.

A要点回顾

  1. 1.

    不等关系:.

  2. 2.

    极限等价关系:

  3. 3.

    .

  4. 4.

    C-R方程:. 由此可推出:

  5. 5.

    指数函数的性质:

    1. (1)

      .

    2. (2)

      条形域圆环域.

    3. (3)

      条形域角域.

  6. 6.

    复三角函数的模无界.

  7. 7.

    .

  8. 8.

    对于无理数或一般复数,有无穷多值.

  9. 9.

    多连通区域的柯西定理:

  10. 10.

    Cauchy积分公式:

  11. 11.

    解析函数的性质:

    1. (1)

      平均值公式:.

    2. (2)

      最大模原理(若非零,取倒数可证“最小模原理”).

    3. (3)

      Cauchy不等式:,其中.

    4. (4)

      Liouville定理:若整函数在全平面上有界,则为复常数.

      注

      若有界,取,可证为复常数.

    5. (5)

      代数学基本定理:必有零点.

    6. (6)

      Morera定理:对任意曲线满足,则解析.

  12. 12.

    收敛均收敛.

  13. 13.

    绝对收敛级数:,则

  1. 原来的复数平面称为开平面或有限平面
  2. 该区域对应Riemann球面某维度以北的地区
  3. 提示:
  4. 可见解析的概念与区域相联系
  5. 计算导数值时,两边必须取同一分支
  6. 保形变换中将大有用处
  7. 主要来源:对数函数中的多值性
  8. 要求,这与矛盾
  9. 对于多连通区域,线积分为多值函数
  10. 这应理解为在包含的某个较大区域内是调和函数
  11. 常用于判断发散的级数
  12. 该自然数不随的取值而变化
  13. 此结论由上一结论取可证
  14. 若无奇点,则此圆域为全平面
  15. 至此有定义法、C-R方程、幂级数展开这四种证明解析的方法
  16. 当时,由Abel定理,Laurent级数的两部分在全平面均发散;当时,级数至多只在上有限个点收敛
  17. 课本未提及
  18. 实轴无零点,分母比分子至少高两次
  19. 有次序,表示依次作变换
  20. 这里点视为一个点
  21. 否则,因. 可见当时,
  22. 证明四种基本变换具有此性质即可
  23. 多为模长关系,如变为
  24. 利用下一节的拉式变换的线性性证明
  25. 积分路线在
  26. 由此可知, 其中称为正弦积分函数.