贡献者: JierPeter; int256
Jordan 引理可以结合留数定理,利用围道积分来处理一些复杂的实函数定积分。
1. Jordan 引理的表述与证明
定理 1 Jordan 引理
如果 是一个连续的1函数,且总有 ,那么对于任何正实数 就有
其中 是半径为 的半圆弧路径,圆心为原点,坐落于复平面上半平面,路径方向顺逆时针都一样。
证明:
上从 到 的一段圆弧上的积分为:
考虑复变函数的柯西不等式:,可知
由于 ,对于任何 ,总存在 使得只要 就有 ,即此时有
我们希望对整个 积分,也就是 和 。但是由于 的对称性,我们只需要计算其中一半的周期:
又由于在 上,,故
将式 5 和式 6 代入式 4 ,再代回式 3 ,即得
由于 可以任意小,都有足够大的 能满足式 7 ,且绝对值恒为非负数,因此
于是有
证毕。
2. 应用实例
在给出实例之前,我们先放上两个实用的引理。
引理 1 小圆弧引理
给定复变函数 ,使 至少在一个以原点为圆心的圆盘里连续。考虑一段以原点为圆心的圆弧路径 ,半径为 ,角度从 到 ,方向为逆时针。
则当 时,有
证明:
由于 是 逆时针旋转 的结果,故在 上逆时针积分时,各点 处有 ,其中 是从起点绕圆弧到 点的角度;换句话说, 是个实值函数,且 。
故有
由于 在去心圆盘里连续,故当 时, 且 收敛到一个常数,即 存在。
因此在 极限下,被积部分趋于一个常数,我们就可以把它提出来,得到
证毕。
引理 2 大圆弧引理
给定复变函数 ,设 在 点的邻域内连续,仍考虑 “转圈”,在 的过程中,当 时, 一致趋于 ,则
其中 是以原点为圆心、 为半径、角度从 到 的逆时针圆弧路径,、。
证明:
首先有下面积分等式显然成立:
所以
而在命题所述的条件下,当 时, 一致地趋于 ,这表明,( 与 无关),当 时,。所以
也就是
证毕。
例 1
定义 函数为
我们来求 ,或者记为 ,表示在整个实数轴上积分。
将问题改写为复函数上,对任意 有
然后我们考虑 在复平面上的围道积分,来解决式 15 在实数轴上的积分问题。
和实数轴上的 不同,复平面上的 在 处有一个奇点,而围道上不应该有奇点。因此我们这里要用一个小技巧,绕开原点。
由于 是实数轴上的连续函数,因此
所以我们可以用如图 1 的回路来进行积分。
图 1:
例 1 的回路积分示意图。积分路径是图示半径为 的上半圆弧(下简称
大圆弧)、两条 轴上向右的有向线段以及半径为 的下半圆弧(下简称
小圆弧)。
按照图 1 所描述的回路去计算回路积分,则两条有向线段和下半小圆弧路径上的积分,在 和 的极限下就是我们要的结果。但我们不能直接算出来。
我们能算出来的是两条有向线段、下半小圆弧和上半大圆弧构成的回路的路径积分,利用留数定理即可知其积分值为
当 时,由 Jordan 引理(定理 1 )可知上半大圆弧上的积分值趋于 ,故在此极限下回路积分就是两条有向线段和下半小圆弧路径上的积分。
但是我们要算的是两条有向线段上的积分,在 下的极限,得排除掉小圆弧上的积分值。那么小圆弧上的积分值是多少呢?应用小圆弧引理 1 ,记下半小圆弧对应的路径为 ,可知
因此,两条有向线段上的路径积分值就是 。
注意这个运算过程中有两个极限,一个 结合 Jordan 引理抹去了大圆弧的影响,一个 结合小圆弧引理得到了 沿着整个实数轴积分的结果。
由于在实数轴上的 ,因此
例 1 是非常重要的例题,在我们严格讨论狄拉克 delta 函数时有很大作用。
例 2 瑕积分的例子
求瑕积分 。
同样地,我们考虑复变函数 的积分。由于 在整个除去实数轴的上半平面是处处连续的,因此根据定理 1 ,有
一共有两个极点,。 在 处的留数为
因此根据留数定理有:
取极限后仍有:
将式 20 代入式 23 ,得到
1. ^ 更一般地,只要要求存在一个半径 ,使得 在 “复平面的上半平面” 和 “以 为半径的圆弧之外的区域” 的交集里连续,即可。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。