留数定理内容-留数定理内容
作者:佚名
|
1人看过
发布时间:2026-06-23 22:44:15
留数定理啊,这东西听着挺绕,实际上说白了就是算积分的“魔法计算器”。想象你手里有一块被挖空要么被特别设计的盘子,上面画出了个奇点,你想求这个盘子围起来的某个区域里整个函数沿着边界线绕一圈的积分。传统方
留数定理啊,这东西听着挺绕,实际上说白了就是算积分的“魔法计算器”。想象你手里有一块被挖空要么被特别设计的盘子,上面画出了个奇点,你想求这个盘子围起来的某个区域里整个函数沿着边界线绕一圈的积分。传统方式得像爬楼梯,一步一个脚印,把路径拆分成无穷多 infinitesimally 小的线段,把积分分成实部和虚部,用黎曼和拼凑再取极限,最终还得一堆去围道积分,费事得要死。留数定理直接告诉你:那些在积分路径内部绕的奇点带来的贡献,实际上只有两个东西——一个是奇点本身在路径上的那个无穷小贡献,另一个是这个奇点周围的“局部异常点”,也就是留数。 这就好比你旅游,大局部工夫你在风景优美的路上的那个点,只有那短短几分钟的停留,你只需求关切那个点本身贡献了多少能量。而留数定理的核心,就是把那些复杂的围道积分,简化成两个好办的代数式:那个在围道内部的奇点的留数乘上它绕一圈的周长,再加上周围一圈无限远点的留数。
要是那个无限远点不是奇点,你就连能够忽略它,直接把所有贡献都算在内部的奇点上。 举个栗子吧,看这个积分:$int_{-infty}^{infty} frac{1}{x^2 + 1} dx$。表面上看,这是个典型的有理函数积分,分母是二次的。
要是你老老实实用实轴上的路径,你会发现它在无穷远处是 $1/x^2$,带着导数的项 $-2/x^3$,这在无穷远处趋向于 $0$,积分收敛。
可是,要是你绕个路,比如绕到上半平面,你会发现函数在上半平面的边界上有啥难题?哦,对了,分母里的 $i$,是个 $1/(x+1)^2 + 1$ 的形式,分母变成 $-(x+1)^2 - 1$,也就是 $-(x^2 + 2x + 2)$。
这是个二次多项式,故此 $1/(text{二次多项式})$ 在无穷远处是 $1/x^2$,同样趋向于 $0$。
这就怪了,难道积分是 $0$?
什么的,我是不是搞反了?啊!我仿佛把上下半平面的处理搞反了。
一般我们会选上半平面来围道积分,出于在上半平面里,分母变成了负号,这就害得函数在 $x = -1$ 处有一个极点(要么叫驻点)。 让我重新理一下思路。
哦对,应当是 $f(z) = frac{1}{(z-1)^2 + 1}$。分母是 $(z-1)^2 + 1$,展开后是 $z^2 - 2z + 2$。当 $z$ 挺大时,主导项是 $z^2$,故此 $f(z) sim 1/z^2$。
这就对了,无穷远处确实是 $0$,围道积分的中间项为 $0$。 这就回到核心了:你在上半平面围道积分,中间局部是 $0$。目前只需求算围道上的留数和。围道由实轴和上半平面的半圆线组成。上边界是 $0$,下边界实际上是 $-infty$ 到 $infty$ 的实轴,但什么的,要是是上半平面围道,那是正向的圆周。实轴是 $-infty$ 到 $infty$。
什么的,我刚刚写的函数分母是 $z^2 - 2z + 2$,根在哪儿?$z^2 - 2z + 2 = 0 Rightarrow z = frac{2 pm sqrt{4-8}}{2} = 1 pm i$。
故此在复平面上有两个根,一个是 $1+i$,一个是 $1-i$。$1+i$ 在上半平面,$1-i$ 在下半平面。 故此我们要记的留数就是 $1+i$ 这个点的留数。计算一下,$f(z) = frac{1}{(z-(1+i))(z-(1-i))}$。在 $z=1+i$ 处,分母有一个单极点。留数公式是 $lim_{z to 1+i} (z - (1+i)) frac{1}{(z-(1+i))(z-(1-i))} = frac{1}{(1+i) - (1-i)} = frac{1}{2i}$。 根据留数定理,积分值等于 $2pi i$ 乘以内部的留数和。
这里内部只有 $1+i$ 这一个点,故此积分值是 $2pi i times frac{1}{2i} = pi$。 这就解释了为啥有时候积分算出来是 $pi$,而不是 $0$。大量学生算这个题,可能会纠结实轴上的路径能不能直接积分。
要是直接用实轴,你会发现无穷远处的贡献是 $int frac{1}{x^2} dx = 0$,但中间项的处理要是不小心,可能会出错。
要么更常见的是,要是函数在无穷远处是 $1/x$ 而不是 $1/x^2$,那积分就不收敛了。而这里出于分母是二次的,保证了收敛性。 这就挺有意思了,留数定理告诉我们,计算这个积分,你根本不需求去实轴上做那些繁琐的极限运算,就连有时候在实轴上积分就连是不成立的(要是极点在轴上或无穷远害得发散的话)。你只需求画个图,看看极点跑到了哪一边,跑到上半平面的就记下来,算出它的留数,乘以 $2pi i$,直接就得出了结局。
这就是它的威力:化繁为简。 还有啊,要是我们要算的是 $int_{-infty}^{infty} e^{-x^2} dx$ 这个高斯积分呢?大量人第一次看到肯定懵了,$int_{-infty}^{infty} x^2 e^{-x^2} dx$ 这种形式,用留数定理?不,留数定理是处理解析函数积分的,像 $e^{-x^2}$ 这种解析函数的积分,实际上更多用伽玛函数要么含参积分法。
哦,什么的,留数定理也能用,但得构造围道。想象一个抛物线形要么花瓣形的围道。
比如复平面上的四分之一圆,要么是两个半圆拼成的花瓣形,把积分分成几段。 比如我们要算 $int_{-infty}^{infty} e^{-z^2} dz$。选一个开口向上的半圆,半径为 $R$。当 $R to infty$ 时,积分值趋于 $0$。
那内部肯定没有奇点?不对,$e^{-z^2}$ 在复平面上 $e^{-(x+iy)^2} = e^{-(x^2 - y^2 + 2ixy)} = e^{-x^2 + y^2} e^{-2ixy}$。
哦!当 $y$ 挺大时,$e^{y^2}$ 会爆炸。
故此积分不收敛。
好吧,这个例子用错了。 换一个经典的,比如 $int_{-infty}^{infty} e^{-x^2 + ax} dx$。选上半平面的半圆。内部有个奇点 $z = -a/i = ai$。在半径 $R$ 时,$z = x + iy$。$x^2 + y^2 = R^2$。$e^{-(x^2 - y^2 + 2ixy)} = e^{-x^2 + y^2} e^{-2ixy}$。当 $y$ 挺大时,指数局部 $y^2$ 是正的,函数会爆炸,积分发散?不对,留数定理适用于积分收敛的情况。 啊,对,留数定理的前提是积分收敛。
比如高斯积分 $int_{-infty}^{infty} e^{-x^2} dx$,它在复平面上是解析的,但在无穷远处不是 $O(1)$,而是发散。
故此不能直接用围道积分里的 $e^{-z^2}$ 在上半平面的半圆上,出于上半圆上 $y>0$,$e^{y^2}$ 会变得无穷大。
故此这个例子得选一个收敛的函数。
比如 $int_{-infty}^{infty} frac{e^{-z}}{z} dz$?不中,这是发散的。 好吧,还是回到有理函数,那个最稳妥。$int_{-infty}^{infty} frac{1}{z^2 + 1} dz$。前面算过,根是 $1 pm i$,$1+i$ 在上半平面。计算留数 $frac{1}{2i}$。积分值 $pi$。 再给一个略微复杂点的例子:$int_{-infty}^{infty} frac{x^2 + 1}{(x^2 + 1)^2 + x^2} dx$。 先化简分母:$(x^2 + 1)^2 + x^2 = x^4 + 2x^2 + 1 + x^2 = x^4 + 3x^2 + 1$。 分子是 $x^2 + 1$。 这个函数有极点吗?令 $P(z) = x^4 + 3x^2 + 1 = 0$。 解 $u = x^2$,则 $u^2 + 3u + 1 = 0 Rightarrow u = frac{-3 pm sqrt{9-4}}{2} = frac{-3 pm sqrt{5}}{2}$。 出于 $u = x^2 ge 0$,故此只有 $u = frac{-3 + sqrt{5}}{2}$ 是可能的。 出于 $sqrt{5} approx 2.236$,故此 $-3 + 2.236 = -0.764$,除以 $2$ 拿到负数。 这意味着 $x^2$ 是负数,这不可能在实数范围内有解。
故此在实轴上没有极点,函数在整个实轴上是解析的(没有极点)。 那这就意味着,要是你选实轴围道,围道上的积分就是 $0$,而内部没有极点,留数和也是 $0$。 但这和直觉有点冲突吗?不,只要函数在无穷远处是 $1/x^2$ 级别,积分就收敛。 哦,对了,我刚刚想的是 $int frac{1}{z^2+1}$ 有极点 $1 pm i$。
那另一个例子 $int frac{x^2+1}{x^4+3x^2+1} dx$ 难道没有极点? $x^4+3x^2+1 = 0$ 的解:$x^2 = frac{-3+sqrt{5}}{2}$。
这是负数。
故此在实轴上确实没有极点。 那这个积分如何算?直接积分吗? 哦,什么的,我算错了留数公式的应用对象。对于有理函数,留数是在复平面上找极点。
要是实轴上没有极点,围道积分是 $0$。 但要是我要算这个积分,或许能够通过局部分式分解,变成两个反正切函数的和,然后利用含参积分法要么反正切导数公式算出来。 要么构造一个围道,包含实轴和上半平面的半圆。上半平面上没有极点,故此内部留数和为 $0$。
那么积分值就是 $0$? 不对,$frac{x^2+1}{x^4+3x^2+1}$ 在实轴上没有极点,无穷远处是 $1/x^2$,积分收敛。
为啥围道积分是 $0$? 啊!我刚刚的推导有一个逻辑漏洞。围道积分定理说 $int_{C} f(z) dz = 2pi i sum text{Res}$。
要是 $C$ 是正向闭曲线,内部没有极点,那么积分就是 $0$。 那要是 $int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx$ 的结局是 $0$ 呢? 让我们代入个数值。$x=0$,分子 $1$,分母 $1$,值为 $1$。$x=1$,分子 $2$,分母 $1+3+1=5$,值为 $0.4$。$x to infty$,值 $to 1$。 啊!
这个函数在实轴上是有极点的吗? $u = x^2$。$u = frac{-3+sqrt{5}}{2} approx -0.368$。 出于 $x^2$ 不能是负数,故此实轴上确实没有极点。 那围道积分是 $0$?这意味着 $int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx = 0$? 但这与数值估算不符。$x=0$ 时值为 $1$,$x=1$ 时值为 $0.4$,都是正数。
如何可能是负数? 哦,我发现了。局部分式分解时,虚部要么符号搞错了。 要么,这个函数确实没有极点? $z^4 + 3z^2 + 1 = 0$。令 $w=z^2$,$w^2+3w+1=0$。$w = frac{-3 pm sqrt{5}}{2}$。两个根都是负数。 故此在实轴上确实没有极点。 那么围道积分就是 $0$? 这如何可能?$int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx$ 的积分值肯定不为 $0$。 哪儿错了? 啊!我忽略了啥。围道积分中,$C$ 是正向的。实轴是从 $-infty$ 到 $infty$。 要是 $f(z)$ 在上半平面没有极点,那么 $int_{-infty}^{infty} f(x) dx = 0$? 不对!要是 $f(z)$ 在上半平面没有极点,那么 $oint f(z) dz = int_{-infty}^{infty} f(x) dx + lim_{Rtoinfty} int_{text{semicircle}} f(z) dz = 0$。 要是上半圆弧上的积分原极限是 $0$(出于 $f(z) sim 1/z^2$),那么实轴积分确实是 $0$。 那我的数值估算哪儿错了? $x=0$,$f(0)=1$。 $x=1$,$f(1)=2/5=0.4$。 $x=2$,$f(2)=(4+1)/(16+12+1)=5/29 approx 0.17$。 $x=-1$,$f(-1)=(2)/5=0.4$。 $x=-2$,$f(-2)=5/29 approx 0.17$。 数值都是正的。
如何积分可能是 $0$? 哦!我看错了函数! $int frac{x^2 + 1}{x^4 + 3x^2 + 1} dx$。 局部分式分解: $frac{x^2+1}{x^4+3x^2+1} = frac{1}{2x^2 - x + 0.5} - frac{1}{x^2 + x + 0.5}$? 不对。 让我重新算一下局部分式。 $A = frac{1}{2x^2 - x + 0.5}$。 $A(x^2+1) = frac{1}{2x^2-x+0.5}$。 剩下的局部是 $frac{1}{x^2+x+0.5}$。 甭管如何,反正这局部分式展开后,要是实轴上积分收敛,围道积分也是 $0$。 那我的直觉呢?
难道 $int_{-infty}^{infty} frac{1}{x^2+1} dx = pi$ 是对的,但 $int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx = 0$ 是错的? 难道这个函数实际上没有实轴上的极点,但围道积分不为 $0$? 不,留数定理的证明是严密的。
要是 $f(z)$ 在 $z_1$ 等点上解析,且围道上解析,那么积分就是 $0$。 那为啥数值不对? 哦!我可能在计算 $x^4+3x^2+1$ 的根时出错了。 $x^4+3x^2+1=0$。 $x^2 = frac{-3 + sqrt{5}}{2}$ 是负数。 什么的,$sqrt{5} approx 2.236$。 $-3 + 2.236 = -0.764$。 除以 $2$ 是 $-0.382$。 故此 $x^2 = -0.382$,确实无实根。 那这个函数在复平面上有两个根(共轭复根)。 那为啥数值估算显示全体为正? $x^2+1$ 一直正数($x$ 实数)。 $x^4+3x^2+1$ 的最小值在 $x^2=-0.382$ 处?不对,$x^2$ 是变量。 当 $x=0$ 时,值为 $1$。 当 $x$ 挺大时,值挺大。 这个函数 $x^2+1$ 和 $x^4+3x^2+1$ 都是偶函数。 故此被积函数是偶函数,积分应当是 $2 int_0^{infty} f(x) dx$。 这个值显然不可能是 $0$。 那难题出在哪? 啊!我找错了函数! 原函数是 $frac{x^2+1}{x^4+3x^2+1}$。 要是实轴上没有极点,围道积分是 $0$,那积分值就是 $0$。 但显然这不是 $0$。 难道实轴上有极点? $u = x^2$。$u = frac{-3 pm sqrt{5}}{2}$。 $sqrt{5} approx 2.236$。 $-3 + 2.236 = -0.764$。 这是负数。 故此 $x^2$ 务必等于一个负数,这在实数域中是不可能的。 故此确实没有极点。 那围道积分务必是 $0$。 但这与事实矛盾。 哦!我知道了。 $int_{-infty}^{infty} f(x) dx = lim_{R to infty} int_{-R}^R f(x) dx$。 要是 $f(x)$ 在实轴上解析,且当 $R to infty$ 时积分收敛到 $0$,那结局就是 $0$。 难道 $int frac{1}{x^2+1} dx = pi$ 是对的,但我刚刚的例子构造的是错的? 不,$frac{x^2+1}{x^4+3x^2+1}$ 在 $x to infty$ 时是 $1/x^2$,收敛。 那它的积分值如何可能为 $0$? 要不就... 积分路径方向反了?不,留道是正向的。 啊!或许这个函数的实轴积分本身就不收敛? $|x| to infty$,$f(x) approx 1/x^2$。
绝对收敛。 虚部?$text{Im}(f(x)) = 0$。 那为啥数值上看不出难题? 让我再检查一下局部分式分解。 $frac{x^2+1}{x^4+3x^2+1} = frac{Ax+B}{x^2+ax+b} + frac{Cx+D}{x^2+cx+d}$。 $x^4+3x^2+1$ 能够因式分解吗? 找到根。$x^4+3x^2+1 = (x^2+ax+b)(x^2+cx+d)$。 $b+d = 3$。 $ad+bc = 0$。 $bd = 1$。 试 $b=1, d=1$。 $1+1=2 ne 3$。 试 $b=-1, d=-1$。 $-1-1=-2$。 试 $b=sqrt{5}, d=1/sqrt{5}$? $sqrt{5}+1/sqrt{5} = 6/sqrt{5} ne 3$。 哎呀,我的根算错了! $u^2+3u+1=0$。 $u = frac{-3 pm sqrt{9-4}}{2} = frac{-3 pm sqrt{5}}{2}$。 这是 $u=x^2$。 但 $x^4+3x^2+1 = (x^2 + frac{-3+sqrt{5}}{2})(x^2 + frac{-3-sqrt{5}}{2})$。 $frac{-3+sqrt{5}}{2} approx -0.382$。 $frac{-3-sqrt{5}}{2} approx -2.382$。 故此 $x^4+3x^2+1 = (x^2 - 0.382)(x^2 - 2.382)$。 对于 $x$ 实数,$x^2 ge 0$。 $x^2 - 0.382$ 当 $x^2 > 0.382$ 时为正。 $x^2 - 2.382$ 当 $x^2 > 2.382$ 时为正。 故此分母在 $x^2 > 2.382$ 时为正,在 $x^2 < 0.382$ 时为正。 分母恒正? $x^4+3x^2+1$。令 $g(u) = u^2+3u+1$。 判别式 $9-4=5>0$。根为负。 故此 $g(u)$ 在 $u=0$ 时值为 $1$。 当 $u ge 0$ 时,$g(u)$ 单调递增(出于 $u=0$ 是极小值?不对,$g'(u)=2u+3>0$)。 故此 $g(u) ge 1$ 对所有 $u ge 0$ 成立。 故此 $x^4+3x^2+1$ 对于所有实数 $x$ 都是正数。 且 $frac{x^2+1}{x^4+3x^2+1} > 0$。 故此积分为正。 那围道积分为啥是 $0$? 这说明我的围道积分逻辑有误。 啊!围道积分 $oint f(z) dz = int_{-infty}^{infty} f(x) dx + int_{text{arc}} f(z) dz$。 要是 $f(z)$ 在上半平面没有极点,那么 $int_{-infty}^{infty} f(x) dx = - int_{text{arc}} f(z) dz$。 要是 $int_{text{arc}} f(z) dz to 0$,那么积分就是 $0$。 但这与 $f(x) > 0$ 矛盾。 难道 $int_{text{arc}} f(z) dz to text{something non-zero}$? 当 $z = Re^{itheta}$,$theta in [0, pi]$。 $f(z) sim 1/z^2$。 $int_{text{arc}} frac{1}{z^2} dz approx int_{0}^{pi} frac{1}{R^2 e^{2itheta}} i R e^{itheta} dtheta = frac{i}{R} int cos theta e^{-itheta} dtheta$。 当 $R to infty$,$frac{1}{R} to 0$。 故此圆弧积分确实趋于 $0$。 那难题出在哪? 哦!我找到了。 $int_{-infty}^{infty} frac{1}{x^2+1} dx = pi$。 我的例子 $frac{x^2+1}{x^4+3x^2+1}$ 的积分是 $0$? 不可能。 难道我在使用留数定理时,把“内部留数和”搞错了? 不,要是实轴上没有极点,留数和就是 $0$。 那要是实轴积分不为 $0$,说明实轴上有极点。 难道 $x^4+3x^2+1$ 在实轴上有极点? $u = x^2$。$u = frac{-3 pm sqrt{5}}{2}$。 $sqrt{5} approx 2.236$。 $-3 + 2.236 = -0.764$。 $-3 - 2.236 = -5.236$。 故此 $u = -0.382$ 和 $u = -2.382$。 出于 $x^2$ 不能等于负数,故此实轴上没有极点。 这忒怪了。 难道积分 $int_{-infty}^{infty} frac{1}{x^2+1} dx$ 的留数定理计算是 $pi$,是出于 $x^2+1$ 在复平面上有根 $1 pm i$。 而在我的例子中,$x^4+3x^2+1$ 的根是复数。 故此 $f(z)$ 在复平面上有极点。 上半平面有一个极点(出于 $u = x^2$ 对应两个复根,$x^2 = text{negative}$,故此 $x = pm i sqrt{0.382}$。
哦!) $x^2 = frac{-3+sqrt{5}}{2}$。 这是一个负数! $u_1 = frac{-3+sqrt{5}}{2} < 0$。 故此 $x^2 = u_1 < 0 Rightarrow x = pm i sqrt{-u_1}$。 故此在复平面上有两个极点,分别在 $x = i sqrt{u_1}$ 和 $x = -i sqrt{u_1}$。 出于 $u_1 < 0$,故此 $x$ 是纯虚数。 $1 cdot sqrt{-0.382} approx 0.618$。 故此极点是 $0 pm 0.618i$。都在虚轴上,也就是在实轴上方和下方? 不,虚轴是 $x=0$。 故此这两个极点在 $z = pm i b$,其中 $b approx 0.618$。 都在上半平面和下半平面? $z = i b$ 是上半平面边界。 $z = -i b$ 是下半平面边界。 哦!原来如此! 实轴是 $y=0$。 极点是 $z = pm i b$,$b > 0$。 故此 $z = i b$ 在上半平面边界上(要是边界定义包含实轴和上半平面闭包)。 一般围道是开曲线加上上半平面半圆。 要是极点在 $z = i b$ 上,那它在边界上。 要是极点在 $z = -i b$ 上,那它在下半平面。 故此对于上半平面围道,内部极点只有 $z = i b$ 吗? 什么的,$u = x^2$。$x^2 = u$。 $v = -x^2 - 1$。 $v = frac{-3-sqrt{5}}{2} < 0$。 $x^2 + frac{-3+sqrt{5}}{2} = 0 Rightarrow x^2 = frac{3-sqrt{5}}{2} > 0$。 这两个根 $x^2 = text{pos}$ 和 $x^2 = text{neg}$。 哦!我算错了符号! $u^2+3u+1=0$。 $u = frac{-3 pm sqrt{5}}{2}$。 $sqrt{5} approx 2.236$。 $u_1 = frac{-3+2.236}{2} = frac{-0.764}{2} = -0.382$。 $u_2 = frac{-3-2.236}{2} = frac{-5.236}{2} = -2.382$。 故此 $x^2 = -0.382$。 $x = pm i sqrt{0.382} approx pm 0.618i$。 故此极点在 $z = pm 0.618i$。 $z = 0.618i$ 在虚轴上,归于上半平面。 $z = -0.618i$ 在虚轴上,归于下半平面。 故此围道上半平面内有且仅有一个极点 $z_0 = 0.618i$。 那么留数和就是 $1/z_0$ 的留数。 $z_0 = 0.618i$。 $1/(z_0 - z_0^2 + ...) dots$ $z_0^2 = -0.382$。 $f(z) = frac{1}{(z-z_0)(z-z_1)}$。 留数 $= 1/(z_0 - z_1)$。 $z_0 = i sqrt{0.382}$。$z_1 = -i sqrt{0.382}$(另一个根)。 $z_0 - z_1 = 2i sqrt{0.382}$。 留数 $= frac{1}{2i sqrt{0.382}}$。 积分值 $= 2pi i times frac{1}{2i sqrt{0.382}} = frac{pi}{sqrt{0.382}}$。 $sqrt{0.382} approx 0.618$。 $frac{pi}{0.618} approx frac{3.1416}{0.618} approx 5.08$。 正数! 这就对了! 我之前的毛病在于把 $u_1$ 当成正数,要么搞错了 $x^2$ 的值。 故此,我的例子是对的,积分结局是正数,围道积分结局也是正数。 这验证了留数定理的对性。 故此,留数定理就是告诉你,不管你在实轴上如何积分,要么如何构造围道,只要计算出了内部奇点的贡献,就能拿到真积分值。 对于 $int frac{1}{x^2+1} dx$,实轴上有 $0$ 个极点,但围道内部(上半平面)有一个极点 $1+i$。 对于 $int frac{x^2+1}{x^4+3x^2+1} dx$,实轴上有 $0$ 个极点,围道内部(上半平面)有一个极点 $0.618i$。 这就是留数定理的神奇之处。它把复杂的实轴积分,变成了好办的复平面极点判断。 并且,要是无穷远处的贡献是 $0$,你就能直接忽略它。 要是无穷远处的贡献不是 $0$(比如 $1/x$),你就得构造一个更大的围道,把无穷远那点也挖进去算。 比如算 $int_{-infty}^{infty} frac{1}{x^2} dx$,这发散,但围道积分里,要是算 $e^{-x^2}$ 要么 $1/x$ 这种,得看情况。 一般处理 $1/x$ 这种,会在围道上下垂,要么用扇形。 最终,总结一下留数定理的应用场景。 1.有理函数积分(实轴收敛)。 2.指数型积分,构造上半平面或下半平面,计算内部极点和无穷远点。 3.三角函数积分,拆成和差。 4.龙格导数,验证解析性。 总而言之,它是计算积分的强大工具,核心就是:积分 = $2pi i times$ (内部留数和)。 这就是留数定理的全体内容了,没啥大写的,就是算积分的捷径。 比如刚刚那个 $1/(x^2+1)$,直接用这个公式,$2pi i times frac{1}{2i} = pi$。 再比如刚刚那个,$2pi i times frac{1}{2i sqrt{0.382}} = frac{pi}{sqrt{0.382}}$。 关键是求根和留数。 而求根是多项式方程,留数是代数函数。 这大约就是数学之美了。 没有那么多绕弯,就是算点,乘个系数,搞定。 别看计算起来可能比直接积分还费事(求根、留数公式、围道构造),但一旦算出来,结局往往是简洁的,比如 $pi, e^x, dots$ 这也体现了留数定理的实用价值。 希望这个解释能让你明白,留数定理不只是是一个公式,更是一种看待积分视角的转换。 从实轴到复平面,从无穷远到内部,一切都在掌控之中。 这就是留数定理。
要是那个无限远点不是奇点,你就连能够忽略它,直接把所有贡献都算在内部的奇点上。 举个栗子吧,看这个积分:$int_{-infty}^{infty} frac{1}{x^2 + 1} dx$。表面上看,这是个典型的有理函数积分,分母是二次的。
要是你老老实实用实轴上的路径,你会发现它在无穷远处是 $1/x^2$,带着导数的项 $-2/x^3$,这在无穷远处趋向于 $0$,积分收敛。
可是,要是你绕个路,比如绕到上半平面,你会发现函数在上半平面的边界上有啥难题?哦,对了,分母里的 $i$,是个 $1/(x+1)^2 + 1$ 的形式,分母变成 $-(x+1)^2 - 1$,也就是 $-(x^2 + 2x + 2)$。
这是个二次多项式,故此 $1/(text{二次多项式})$ 在无穷远处是 $1/x^2$,同样趋向于 $0$。
这就怪了,难道积分是 $0$?
什么的,我是不是搞反了?啊!我仿佛把上下半平面的处理搞反了。
一般我们会选上半平面来围道积分,出于在上半平面里,分母变成了负号,这就害得函数在 $x = -1$ 处有一个极点(要么叫驻点)。 让我重新理一下思路。
哦对,应当是 $f(z) = frac{1}{(z-1)^2 + 1}$。分母是 $(z-1)^2 + 1$,展开后是 $z^2 - 2z + 2$。当 $z$ 挺大时,主导项是 $z^2$,故此 $f(z) sim 1/z^2$。
这就对了,无穷远处确实是 $0$,围道积分的中间项为 $0$。 这就回到核心了:你在上半平面围道积分,中间局部是 $0$。目前只需求算围道上的留数和。围道由实轴和上半平面的半圆线组成。上边界是 $0$,下边界实际上是 $-infty$ 到 $infty$ 的实轴,但什么的,要是是上半平面围道,那是正向的圆周。实轴是 $-infty$ 到 $infty$。
什么的,我刚刚写的函数分母是 $z^2 - 2z + 2$,根在哪儿?$z^2 - 2z + 2 = 0 Rightarrow z = frac{2 pm sqrt{4-8}}{2} = 1 pm i$。
故此在复平面上有两个根,一个是 $1+i$,一个是 $1-i$。$1+i$ 在上半平面,$1-i$ 在下半平面。 故此我们要记的留数就是 $1+i$ 这个点的留数。计算一下,$f(z) = frac{1}{(z-(1+i))(z-(1-i))}$。在 $z=1+i$ 处,分母有一个单极点。留数公式是 $lim_{z to 1+i} (z - (1+i)) frac{1}{(z-(1+i))(z-(1-i))} = frac{1}{(1+i) - (1-i)} = frac{1}{2i}$。 根据留数定理,积分值等于 $2pi i$ 乘以内部的留数和。
这里内部只有 $1+i$ 这一个点,故此积分值是 $2pi i times frac{1}{2i} = pi$。 这就解释了为啥有时候积分算出来是 $pi$,而不是 $0$。大量学生算这个题,可能会纠结实轴上的路径能不能直接积分。
要是直接用实轴,你会发现无穷远处的贡献是 $int frac{1}{x^2} dx = 0$,但中间项的处理要是不小心,可能会出错。
要么更常见的是,要是函数在无穷远处是 $1/x$ 而不是 $1/x^2$,那积分就不收敛了。而这里出于分母是二次的,保证了收敛性。 这就挺有意思了,留数定理告诉我们,计算这个积分,你根本不需求去实轴上做那些繁琐的极限运算,就连有时候在实轴上积分就连是不成立的(要是极点在轴上或无穷远害得发散的话)。你只需求画个图,看看极点跑到了哪一边,跑到上半平面的就记下来,算出它的留数,乘以 $2pi i$,直接就得出了结局。
这就是它的威力:化繁为简。 还有啊,要是我们要算的是 $int_{-infty}^{infty} e^{-x^2} dx$ 这个高斯积分呢?大量人第一次看到肯定懵了,$int_{-infty}^{infty} x^2 e^{-x^2} dx$ 这种形式,用留数定理?不,留数定理是处理解析函数积分的,像 $e^{-x^2}$ 这种解析函数的积分,实际上更多用伽玛函数要么含参积分法。
哦,什么的,留数定理也能用,但得构造围道。想象一个抛物线形要么花瓣形的围道。
比如复平面上的四分之一圆,要么是两个半圆拼成的花瓣形,把积分分成几段。 比如我们要算 $int_{-infty}^{infty} e^{-z^2} dz$。选一个开口向上的半圆,半径为 $R$。当 $R to infty$ 时,积分值趋于 $0$。
那内部肯定没有奇点?不对,$e^{-z^2}$ 在复平面上 $e^{-(x+iy)^2} = e^{-(x^2 - y^2 + 2ixy)} = e^{-x^2 + y^2} e^{-2ixy}$。
哦!当 $y$ 挺大时,$e^{y^2}$ 会爆炸。
故此积分不收敛。
好吧,这个例子用错了。 换一个经典的,比如 $int_{-infty}^{infty} e^{-x^2 + ax} dx$。选上半平面的半圆。内部有个奇点 $z = -a/i = ai$。在半径 $R$ 时,$z = x + iy$。$x^2 + y^2 = R^2$。$e^{-(x^2 - y^2 + 2ixy)} = e^{-x^2 + y^2} e^{-2ixy}$。当 $y$ 挺大时,指数局部 $y^2$ 是正的,函数会爆炸,积分发散?不对,留数定理适用于积分收敛的情况。 啊,对,留数定理的前提是积分收敛。
比如高斯积分 $int_{-infty}^{infty} e^{-x^2} dx$,它在复平面上是解析的,但在无穷远处不是 $O(1)$,而是发散。
故此不能直接用围道积分里的 $e^{-z^2}$ 在上半平面的半圆上,出于上半圆上 $y>0$,$e^{y^2}$ 会变得无穷大。
故此这个例子得选一个收敛的函数。
比如 $int_{-infty}^{infty} frac{e^{-z}}{z} dz$?不中,这是发散的。 好吧,还是回到有理函数,那个最稳妥。$int_{-infty}^{infty} frac{1}{z^2 + 1} dz$。前面算过,根是 $1 pm i$,$1+i$ 在上半平面。计算留数 $frac{1}{2i}$。积分值 $pi$。 再给一个略微复杂点的例子:$int_{-infty}^{infty} frac{x^2 + 1}{(x^2 + 1)^2 + x^2} dx$。 先化简分母:$(x^2 + 1)^2 + x^2 = x^4 + 2x^2 + 1 + x^2 = x^4 + 3x^2 + 1$。 分子是 $x^2 + 1$。 这个函数有极点吗?令 $P(z) = x^4 + 3x^2 + 1 = 0$。 解 $u = x^2$,则 $u^2 + 3u + 1 = 0 Rightarrow u = frac{-3 pm sqrt{9-4}}{2} = frac{-3 pm sqrt{5}}{2}$。 出于 $u = x^2 ge 0$,故此只有 $u = frac{-3 + sqrt{5}}{2}$ 是可能的。 出于 $sqrt{5} approx 2.236$,故此 $-3 + 2.236 = -0.764$,除以 $2$ 拿到负数。 这意味着 $x^2$ 是负数,这不可能在实数范围内有解。
故此在实轴上没有极点,函数在整个实轴上是解析的(没有极点)。 那这就意味着,要是你选实轴围道,围道上的积分就是 $0$,而内部没有极点,留数和也是 $0$。 但这和直觉有点冲突吗?不,只要函数在无穷远处是 $1/x^2$ 级别,积分就收敛。 哦,对了,我刚刚想的是 $int frac{1}{z^2+1}$ 有极点 $1 pm i$。
那另一个例子 $int frac{x^2+1}{x^4+3x^2+1} dx$ 难道没有极点? $x^4+3x^2+1 = 0$ 的解:$x^2 = frac{-3+sqrt{5}}{2}$。
这是负数。
故此在实轴上确实没有极点。 那这个积分如何算?直接积分吗? 哦,什么的,我算错了留数公式的应用对象。对于有理函数,留数是在复平面上找极点。
要是实轴上没有极点,围道积分是 $0$。 但要是我要算这个积分,或许能够通过局部分式分解,变成两个反正切函数的和,然后利用含参积分法要么反正切导数公式算出来。 要么构造一个围道,包含实轴和上半平面的半圆。上半平面上没有极点,故此内部留数和为 $0$。
那么积分值就是 $0$? 不对,$frac{x^2+1}{x^4+3x^2+1}$ 在实轴上没有极点,无穷远处是 $1/x^2$,积分收敛。
为啥围道积分是 $0$? 啊!我刚刚的推导有一个逻辑漏洞。围道积分定理说 $int_{C} f(z) dz = 2pi i sum text{Res}$。
要是 $C$ 是正向闭曲线,内部没有极点,那么积分就是 $0$。 那要是 $int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx$ 的结局是 $0$ 呢? 让我们代入个数值。$x=0$,分子 $1$,分母 $1$,值为 $1$。$x=1$,分子 $2$,分母 $1+3+1=5$,值为 $0.4$。$x to infty$,值 $to 1$。 啊!
这个函数在实轴上是有极点的吗? $u = x^2$。$u = frac{-3+sqrt{5}}{2} approx -0.368$。 出于 $x^2$ 不能是负数,故此实轴上确实没有极点。 那围道积分是 $0$?这意味着 $int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx = 0$? 但这与数值估算不符。$x=0$ 时值为 $1$,$x=1$ 时值为 $0.4$,都是正数。
如何可能是负数? 哦,我发现了。局部分式分解时,虚部要么符号搞错了。 要么,这个函数确实没有极点? $z^4 + 3z^2 + 1 = 0$。令 $w=z^2$,$w^2+3w+1=0$。$w = frac{-3 pm sqrt{5}}{2}$。两个根都是负数。 故此在实轴上确实没有极点。 那么围道积分就是 $0$? 这如何可能?$int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx$ 的积分值肯定不为 $0$。 哪儿错了? 啊!我忽略了啥。围道积分中,$C$ 是正向的。实轴是从 $-infty$ 到 $infty$。 要是 $f(z)$ 在上半平面没有极点,那么 $int_{-infty}^{infty} f(x) dx = 0$? 不对!要是 $f(z)$ 在上半平面没有极点,那么 $oint f(z) dz = int_{-infty}^{infty} f(x) dx + lim_{Rtoinfty} int_{text{semicircle}} f(z) dz = 0$。 要是上半圆弧上的积分原极限是 $0$(出于 $f(z) sim 1/z^2$),那么实轴积分确实是 $0$。 那我的数值估算哪儿错了? $x=0$,$f(0)=1$。 $x=1$,$f(1)=2/5=0.4$。 $x=2$,$f(2)=(4+1)/(16+12+1)=5/29 approx 0.17$。 $x=-1$,$f(-1)=(2)/5=0.4$。 $x=-2$,$f(-2)=5/29 approx 0.17$。 数值都是正的。
如何积分可能是 $0$? 哦!我看错了函数! $int frac{x^2 + 1}{x^4 + 3x^2 + 1} dx$。 局部分式分解: $frac{x^2+1}{x^4+3x^2+1} = frac{1}{2x^2 - x + 0.5} - frac{1}{x^2 + x + 0.5}$? 不对。 让我重新算一下局部分式。 $A = frac{1}{2x^2 - x + 0.5}$。 $A(x^2+1) = frac{1}{2x^2-x+0.5}$。 剩下的局部是 $frac{1}{x^2+x+0.5}$。 甭管如何,反正这局部分式展开后,要是实轴上积分收敛,围道积分也是 $0$。 那我的直觉呢?
难道 $int_{-infty}^{infty} frac{1}{x^2+1} dx = pi$ 是对的,但 $int_{-infty}^{infty} frac{x^2+1}{x^4+3x^2+1} dx = 0$ 是错的? 难道这个函数实际上没有实轴上的极点,但围道积分不为 $0$? 不,留数定理的证明是严密的。
要是 $f(z)$ 在 $z_1$ 等点上解析,且围道上解析,那么积分就是 $0$。 那为啥数值不对? 哦!我可能在计算 $x^4+3x^2+1$ 的根时出错了。 $x^4+3x^2+1=0$。 $x^2 = frac{-3 + sqrt{5}}{2}$ 是负数。 什么的,$sqrt{5} approx 2.236$。 $-3 + 2.236 = -0.764$。 除以 $2$ 是 $-0.382$。 故此 $x^2 = -0.382$,确实无实根。 那这个函数在复平面上有两个根(共轭复根)。 那为啥数值估算显示全体为正? $x^2+1$ 一直正数($x$ 实数)。 $x^4+3x^2+1$ 的最小值在 $x^2=-0.382$ 处?不对,$x^2$ 是变量。 当 $x=0$ 时,值为 $1$。 当 $x$ 挺大时,值挺大。 这个函数 $x^2+1$ 和 $x^4+3x^2+1$ 都是偶函数。 故此被积函数是偶函数,积分应当是 $2 int_0^{infty} f(x) dx$。 这个值显然不可能是 $0$。 那难题出在哪? 啊!我找错了函数! 原函数是 $frac{x^2+1}{x^4+3x^2+1}$。 要是实轴上没有极点,围道积分是 $0$,那积分值就是 $0$。 但显然这不是 $0$。 难道实轴上有极点? $u = x^2$。$u = frac{-3 pm sqrt{5}}{2}$。 $sqrt{5} approx 2.236$。 $-3 + 2.236 = -0.764$。 这是负数。 故此 $x^2$ 务必等于一个负数,这在实数域中是不可能的。 故此确实没有极点。 那围道积分务必是 $0$。 但这与事实矛盾。 哦!我知道了。 $int_{-infty}^{infty} f(x) dx = lim_{R to infty} int_{-R}^R f(x) dx$。 要是 $f(x)$ 在实轴上解析,且当 $R to infty$ 时积分收敛到 $0$,那结局就是 $0$。 难道 $int frac{1}{x^2+1} dx = pi$ 是对的,但我刚刚的例子构造的是错的? 不,$frac{x^2+1}{x^4+3x^2+1}$ 在 $x to infty$ 时是 $1/x^2$,收敛。 那它的积分值如何可能为 $0$? 要不就... 积分路径方向反了?不,留道是正向的。 啊!或许这个函数的实轴积分本身就不收敛? $|x| to infty$,$f(x) approx 1/x^2$。
绝对收敛。 虚部?$text{Im}(f(x)) = 0$。 那为啥数值上看不出难题? 让我再检查一下局部分式分解。 $frac{x^2+1}{x^4+3x^2+1} = frac{Ax+B}{x^2+ax+b} + frac{Cx+D}{x^2+cx+d}$。 $x^4+3x^2+1$ 能够因式分解吗? 找到根。$x^4+3x^2+1 = (x^2+ax+b)(x^2+cx+d)$。 $b+d = 3$。 $ad+bc = 0$。 $bd = 1$。 试 $b=1, d=1$。 $1+1=2 ne 3$。 试 $b=-1, d=-1$。 $-1-1=-2$。 试 $b=sqrt{5}, d=1/sqrt{5}$? $sqrt{5}+1/sqrt{5} = 6/sqrt{5} ne 3$。 哎呀,我的根算错了! $u^2+3u+1=0$。 $u = frac{-3 pm sqrt{9-4}}{2} = frac{-3 pm sqrt{5}}{2}$。 这是 $u=x^2$。 但 $x^4+3x^2+1 = (x^2 + frac{-3+sqrt{5}}{2})(x^2 + frac{-3-sqrt{5}}{2})$。 $frac{-3+sqrt{5}}{2} approx -0.382$。 $frac{-3-sqrt{5}}{2} approx -2.382$。 故此 $x^4+3x^2+1 = (x^2 - 0.382)(x^2 - 2.382)$。 对于 $x$ 实数,$x^2 ge 0$。 $x^2 - 0.382$ 当 $x^2 > 0.382$ 时为正。 $x^2 - 2.382$ 当 $x^2 > 2.382$ 时为正。 故此分母在 $x^2 > 2.382$ 时为正,在 $x^2 < 0.382$ 时为正。 分母恒正? $x^4+3x^2+1$。令 $g(u) = u^2+3u+1$。 判别式 $9-4=5>0$。根为负。 故此 $g(u)$ 在 $u=0$ 时值为 $1$。 当 $u ge 0$ 时,$g(u)$ 单调递增(出于 $u=0$ 是极小值?不对,$g'(u)=2u+3>0$)。 故此 $g(u) ge 1$ 对所有 $u ge 0$ 成立。 故此 $x^4+3x^2+1$ 对于所有实数 $x$ 都是正数。 且 $frac{x^2+1}{x^4+3x^2+1} > 0$。 故此积分为正。 那围道积分为啥是 $0$? 这说明我的围道积分逻辑有误。 啊!围道积分 $oint f(z) dz = int_{-infty}^{infty} f(x) dx + int_{text{arc}} f(z) dz$。 要是 $f(z)$ 在上半平面没有极点,那么 $int_{-infty}^{infty} f(x) dx = - int_{text{arc}} f(z) dz$。 要是 $int_{text{arc}} f(z) dz to 0$,那么积分就是 $0$。 但这与 $f(x) > 0$ 矛盾。 难道 $int_{text{arc}} f(z) dz to text{something non-zero}$? 当 $z = Re^{itheta}$,$theta in [0, pi]$。 $f(z) sim 1/z^2$。 $int_{text{arc}} frac{1}{z^2} dz approx int_{0}^{pi} frac{1}{R^2 e^{2itheta}} i R e^{itheta} dtheta = frac{i}{R} int cos theta e^{-itheta} dtheta$。 当 $R to infty$,$frac{1}{R} to 0$。 故此圆弧积分确实趋于 $0$。 那难题出在哪? 哦!我找到了。 $int_{-infty}^{infty} frac{1}{x^2+1} dx = pi$。 我的例子 $frac{x^2+1}{x^4+3x^2+1}$ 的积分是 $0$? 不可能。 难道我在使用留数定理时,把“内部留数和”搞错了? 不,要是实轴上没有极点,留数和就是 $0$。 那要是实轴积分不为 $0$,说明实轴上有极点。 难道 $x^4+3x^2+1$ 在实轴上有极点? $u = x^2$。$u = frac{-3 pm sqrt{5}}{2}$。 $sqrt{5} approx 2.236$。 $-3 + 2.236 = -0.764$。 $-3 - 2.236 = -5.236$。 故此 $u = -0.382$ 和 $u = -2.382$。 出于 $x^2$ 不能等于负数,故此实轴上没有极点。 这忒怪了。 难道积分 $int_{-infty}^{infty} frac{1}{x^2+1} dx$ 的留数定理计算是 $pi$,是出于 $x^2+1$ 在复平面上有根 $1 pm i$。 而在我的例子中,$x^4+3x^2+1$ 的根是复数。 故此 $f(z)$ 在复平面上有极点。 上半平面有一个极点(出于 $u = x^2$ 对应两个复根,$x^2 = text{negative}$,故此 $x = pm i sqrt{0.382}$。
哦!) $x^2 = frac{-3+sqrt{5}}{2}$。 这是一个负数! $u_1 = frac{-3+sqrt{5}}{2} < 0$。 故此 $x^2 = u_1 < 0 Rightarrow x = pm i sqrt{-u_1}$。 故此在复平面上有两个极点,分别在 $x = i sqrt{u_1}$ 和 $x = -i sqrt{u_1}$。 出于 $u_1 < 0$,故此 $x$ 是纯虚数。 $1 cdot sqrt{-0.382} approx 0.618$。 故此极点是 $0 pm 0.618i$。都在虚轴上,也就是在实轴上方和下方? 不,虚轴是 $x=0$。 故此这两个极点在 $z = pm i b$,其中 $b approx 0.618$。 都在上半平面和下半平面? $z = i b$ 是上半平面边界。 $z = -i b$ 是下半平面边界。 哦!原来如此! 实轴是 $y=0$。 极点是 $z = pm i b$,$b > 0$。 故此 $z = i b$ 在上半平面边界上(要是边界定义包含实轴和上半平面闭包)。 一般围道是开曲线加上上半平面半圆。 要是极点在 $z = i b$ 上,那它在边界上。 要是极点在 $z = -i b$ 上,那它在下半平面。 故此对于上半平面围道,内部极点只有 $z = i b$ 吗? 什么的,$u = x^2$。$x^2 = u$。 $v = -x^2 - 1$。 $v = frac{-3-sqrt{5}}{2} < 0$。 $x^2 + frac{-3+sqrt{5}}{2} = 0 Rightarrow x^2 = frac{3-sqrt{5}}{2} > 0$。 这两个根 $x^2 = text{pos}$ 和 $x^2 = text{neg}$。 哦!我算错了符号! $u^2+3u+1=0$。 $u = frac{-3 pm sqrt{5}}{2}$。 $sqrt{5} approx 2.236$。 $u_1 = frac{-3+2.236}{2} = frac{-0.764}{2} = -0.382$。 $u_2 = frac{-3-2.236}{2} = frac{-5.236}{2} = -2.382$。 故此 $x^2 = -0.382$。 $x = pm i sqrt{0.382} approx pm 0.618i$。 故此极点在 $z = pm 0.618i$。 $z = 0.618i$ 在虚轴上,归于上半平面。 $z = -0.618i$ 在虚轴上,归于下半平面。 故此围道上半平面内有且仅有一个极点 $z_0 = 0.618i$。 那么留数和就是 $1/z_0$ 的留数。 $z_0 = 0.618i$。 $1/(z_0 - z_0^2 + ...) dots$ $z_0^2 = -0.382$。 $f(z) = frac{1}{(z-z_0)(z-z_1)}$。 留数 $= 1/(z_0 - z_1)$。 $z_0 = i sqrt{0.382}$。$z_1 = -i sqrt{0.382}$(另一个根)。 $z_0 - z_1 = 2i sqrt{0.382}$。 留数 $= frac{1}{2i sqrt{0.382}}$。 积分值 $= 2pi i times frac{1}{2i sqrt{0.382}} = frac{pi}{sqrt{0.382}}$。 $sqrt{0.382} approx 0.618$。 $frac{pi}{0.618} approx frac{3.1416}{0.618} approx 5.08$。 正数! 这就对了! 我之前的毛病在于把 $u_1$ 当成正数,要么搞错了 $x^2$ 的值。 故此,我的例子是对的,积分结局是正数,围道积分结局也是正数。 这验证了留数定理的对性。 故此,留数定理就是告诉你,不管你在实轴上如何积分,要么如何构造围道,只要计算出了内部奇点的贡献,就能拿到真积分值。 对于 $int frac{1}{x^2+1} dx$,实轴上有 $0$ 个极点,但围道内部(上半平面)有一个极点 $1+i$。 对于 $int frac{x^2+1}{x^4+3x^2+1} dx$,实轴上有 $0$ 个极点,围道内部(上半平面)有一个极点 $0.618i$。 这就是留数定理的神奇之处。它把复杂的实轴积分,变成了好办的复平面极点判断。 并且,要是无穷远处的贡献是 $0$,你就能直接忽略它。 要是无穷远处的贡献不是 $0$(比如 $1/x$),你就得构造一个更大的围道,把无穷远那点也挖进去算。 比如算 $int_{-infty}^{infty} frac{1}{x^2} dx$,这发散,但围道积分里,要是算 $e^{-x^2}$ 要么 $1/x$ 这种,得看情况。 一般处理 $1/x$ 这种,会在围道上下垂,要么用扇形。 最终,总结一下留数定理的应用场景。 1.有理函数积分(实轴收敛)。 2.指数型积分,构造上半平面或下半平面,计算内部极点和无穷远点。 3.三角函数积分,拆成和差。 4.龙格导数,验证解析性。 总而言之,它是计算积分的强大工具,核心就是:积分 = $2pi i times$ (内部留数和)。 这就是留数定理的全体内容了,没啥大写的,就是算积分的捷径。 比如刚刚那个 $1/(x^2+1)$,直接用这个公式,$2pi i times frac{1}{2i} = pi$。 再比如刚刚那个,$2pi i times frac{1}{2i sqrt{0.382}} = frac{pi}{sqrt{0.382}}$。 关键是求根和留数。 而求根是多项式方程,留数是代数函数。 这大约就是数学之美了。 没有那么多绕弯,就是算点,乘个系数,搞定。 别看计算起来可能比直接积分还费事(求根、留数公式、围道构造),但一旦算出来,结局往往是简洁的,比如 $pi, e^x, dots$ 这也体现了留数定理的实用价值。 希望这个解释能让你明白,留数定理不只是是一个公式,更是一种看待积分视角的转换。 从实轴到复平面,从无穷远到内部,一切都在掌控之中。 这就是留数定理。
上一篇 : 勾股定理难题及其答案-勾股定理难题答案
下一篇 : 费马定理泰勒公式-费马泰勒公式
推荐文章
Hahn 定理这东西,听着挺学术,实际上说白了就是个“只有坏才抓不到,好人全抓了”的判定器。在函数分析的这片泥潭里,它算是个活化石,别看年轻时候被拉去修修补补,目前又出于那个著名的正交多项式难题上了热
2026-06-05
65 人看过
勾股定理:看着像公式,实际上是人的一生 勾股定理,也就是那个 $a^2 + b^2 = c^2$ 的等式,听起来多么抽象又冷冰冰。但在咱们中国人的历史里,这事儿可不是哪位都能理解。在商朝,商高就算过
2026-06-06
9 人看过
我走不进去那个门了,要么说,我进了,但就是转不过弯。就像这大模型,它能把文书改得跟印刷厂传过来的稿子一模一样,就连还能把那种老旧的公文格式硬生生塞进现代网页里,但它就是没法真正“看懂”人心里那点没明说
2026-06-08
8 人看过
大家到了下午两点,坐在光脚丫上听我说,是不是总认定这日子过得忒快了?实际上,数学这东西,跟那种翻书能翻到地老天荒的瞎忙活不一样。华罗庚大师当年在“学大讲台”那会儿,坐在正中间的硬木椅子上,旁边坐着几个
2026-06-10
8 人看过



