复变函数里,函数如果在某点的任一邻域不解析,那么不能泰勒展开;但如果在此点某的圆环域解析,那么可以洛朗展开。因此,泰勒级数是特殊的洛朗级数。
泰勒级数和洛朗级数有以下差异:
1.洛朗级数有负幂次项,而泰勒级数只有正幂次项;
2.洛朗级数的正则部分(非负次幂项)在|z|≤R时有效(同泰勒级数),而主要部分(负次幂项)在|z|≥r时有效的(可视为无穷远点附近的关于1/z的泰勒级数),公共有效定义域就是环状区域r≤|z|≤R,因此洛朗级数定义域就是环状区域r≤|z|≤R,而且洛朗级数是两个泰勒级数的和。
一个函数若在某点任意次可导,那么这个函数就可以在此点泰勒展开。泰勒级数要求复变函数在一个收敛圆盘内解析,因此需要函数没有奇点。但是有些函数存在奇点,做不到在奇点处的一个收敛圆盘内解析,那么就不能在此点处展开为泰勒级数,这时候怎么办呢?
在这种情况下,如果函数满足在去除奇点的环域上解析,1843年,皮埃尔·阿方斯·洛朗研究得出,此时函数可在环域上可展开为洛朗级数。复变函数
其中
1)没有负幂次项,则称该孤立奇点为可去奇点。
2)只有有限项负幂次项,则称该孤立奇点为极点。
3)有无穷多项负幂次项,则称该孤立奇点为本性奇点。
推广,我们可以定义黎曼面上的函数f在点p关于某坐标卡的洛朗级数。同复变函数类似,黎曼面上的洛朗级数也有以上三种形式。(P25)
- 引入泰勒级数有哪些用处呢?对的,可用泰勒级数求函数近似值。
- 引入洛朗级数有哪些用处呢?有人说,复变函数的洛朗展开和对其孤立奇点的分类,为复变函数的留数定理做了铺垫。暂不知。
- 问题1:实变函数的洛朗展开等同于泰勒展开吗?
答:不等同。实函数是复函数的一种,它在某点可以洛朗展开的一个充分条件是在此点可泰勒展开。比如sinx,e^x可在R上泰勒展开,当然就可洛朗展开啦。但如1/x可在原点洛朗展开(有一个幂次为-1的项),但不可泰勒展开;e^(1/x)不可在|x|>0泰勒展开,但可以洛朗展开;1/((z-1)(z-2))可在z=1或2处洛朗展开(即可在z=1或2的某去心邻域(是一环形域)泰勒展开),但不可泰勒展开。
另外,我们以复变函数在点z0为例,它可在点z0洛朗展开的一个充分条件:在z0的某环形域解析;它可在点z0泰勒展开的一个充分条件:在z0的某邻域解析。
- 问题2:对于实变函数,它在点z0任意次可导=在点z0的某环形域内可导吗?这个问题就是说,可洛朗展开的那个充分条件和可泰勒展开的那个充分条件等价吗?
答:复变函数中,在点z0解析(即在该点的某邻域内可导)可推出在点z0可导;但是,在点z0可导推不出在点z0任意次可导。 因此,等式左右两边无直接联系。
但有一问题:复变函数点z0任意次可导能推出在点z0的某环形域内可导吗?
- 问题3:什么情况下,复变函数在某点的可导等同于任意次可导?
暂不知。