学习阶段:大学数学。
前置知识:复变函数的导数与积分、洛朗级数。
tetradecane:复变函数——复级数,泰勒级数,洛朗级数zhuanlan.zhihu.com根据柯西积分定理,解析函数随便画个圈,积分都为零,没啥好讨论的。我们加一点难度,从这个解析函数里面挖去几个点,构造孤立奇点,然后研究它的积分。由于积分和路径无关,那么积分值就只和这几个孤立奇点的情况有关,这引出了本篇文章的主要内容。
1. 孤立奇点
孤立奇点:函数在一个点不解析,但是在这个点的某个去心邻域解析,这个点就是孤立奇点。
为什么要研究孤立奇点?因为常见的奇点都是分母不为零约束出来的,诸如
,
,
这种函数,这种奇点往往都是孤立奇点。而且孤立奇点有非常好的性质,值得研究。有些函数如
在
是非孤立奇点,我们在此就不研究它了。
2. 留数与留数定理
现在我们看看除孤立奇点之外解析的函数的积分。
比如说上图这个积分,可以怎么计算?我们可以利用类似上一篇文章推导洛朗级数时用的挖洞的办法:
当缺口收缩闭合时,联络线的积分互相抵消,因为蓝色路径内部完全解析,有
,那么
,即下图中的
.
这告诉我们,求取“除孤立奇点之外解析的函数的积分”,可以先找到路径之内所有的奇点,然后把环绕这些奇点的积分求和,即得到结果,这就是留数定理的含义。关于留数定理,我们后面会详述。
上述结论告诉我们,环绕孤立奇点的积分有重要意义。设函数为
,奇点为
,环绕这个奇点的积分为
,注意到洛朗级数中负一次方项的系数为
,这不正好能求出我们所需要的东西嘛!这个
很有用,我们给它专门取一个名称:
留数:把函数在某个孤立奇点的去心邻域内洛朗展开,称负一次方项的系数为在点的留数,记作 <