Jordan 引理

贡献者： JierPeter; int256

　　 Jordan 引理可以结合留数定理，利用围道积分来处理一些复杂的实函数定积分。

1. Jordan 引理的表述与证明

　　 证明：

　　 $C(R)$ 上从 $\theta_1$ 到 $\theta_2$ 的一段圆弧上的积分为：

　　 考虑复变函数的柯西不等式：$ \left\lvert \int_{C(R)}f(z) \,\mathrm{d}{z} \right\rvert \leq \int_{C(R)} \left\lvert f(z) \right\rvert \,\mathrm{d}{z} $，可知

　　 由于 $\lim\limits_{ \left\lvert z \right\rvert \to\infty}g(z)=0$，对于任何 $\epsilon>0$，总存在 $R_\epsilon$ 使得只要 $R>R_\epsilon$ 就有 $ \left\lvert g(R \mathrm{e} ^{\theta \mathrm{i} })) \right\rvert <\epsilon$，即此时有

　　 我们希望对整个 $C(R)$ 积分，也就是 $\theta_1=0$ 和 $\theta_2=\pi$。但是由于 $ \mathrm{e} ^{-aR\sin\theta}$ 的对称性，我们只需要计算其中一半的周期：

　　 又由于在 $[0, \pi/2]$ 上，$\sin\theta>\frac{2\theta}{\pi}$，故

　　 将式 5 和式 6 代入式 4 ，再代回式 3 ，即得

　　 由于 $\epsilon$ 可以任意小，都有足够大的 $R$ 能满足式 7 ，且绝对值恒为非负数，因此

　　 于是有

　　 证毕。

2. 应用实例

　　 在给出实例之前，我们先放上两个实用的引理。

　　 证明：

　　 由于 $ \mathrm{i} z$ 是 $z$ 逆时针旋转 $90^\circ$ 的结果，故在 $C(r)$ 上逆时针积分时，各点 $z$ 处有 $ \,\mathrm{d}{z} = \mathrm{i} z \,\mathrm{d}{\theta} $，其中 $\theta$ 是从起点绕圆弧到 $z$ 点的角度；换句话说，$\theta$ 是个实值函数，且 $ \,\mathrm{d}{\theta} = \left\lvert \,\mathrm{d}{z} \right\rvert / \left\lvert z \right\rvert $。

　　 故有

　　 由于 $zf(z)$ 在去心圆盘里连续，故当 $r\to 0$ 时，$z\to 0$ 且 $zf(z)$ 收敛到一个常数，即 $\lim_{z\to 0}zf(z)$ 存在。

　　 因此在 $r\to 0$ 极限下，被积部分趋于一个常数，我们就可以把它提出来，得到

　　 证毕。

　　 证明：

　　 首先有下面积分等式显然成立： $$\int_{C(R)} \frac{ \,\mathrm{d}{z} }{z} = i \left(\theta_2 - \theta_1\right) ~,$$ 所以 $$\left|\int_{C(R)} f(z) \,\mathrm{d}{z} - \mathrm{i} K (\theta_2 - \theta_1)\right| = \left| \int_{C(R)} \left[ f(z) - \frac{K}{z} \right] \,\mathrm{d}{z} \right| \le \int_{C(R)} \left| z f(z) - K \right| \cdot \frac{| \,\mathrm{d}{z} |}{|z|}~.$$

　　 而在命题所述的条件下，当 $|z| \rightarrow \infty$ 时，$z f(z)$ 一致地趋于 $K$，这表明，$\forall \epsilon > 0, \exists \mathcal M(\epsilon) > 0$（$\mathcal M(\epsilon)$ 与 $\arg z$ 无关），当 $|z| = R > \mathcal M(\epsilon)$ 时，$|zf(z) - K| < \epsilon$。所以 $$\left| \int_{C(R)} f(z) \,\mathrm{d}{z} - \mathrm{i} K(\theta_2 - \theta_1) \right| \le \epsilon (\theta_2 - \theta_1) ~,$$ 也就是 $$\lim_{R \rightarrow \infty} \int_{C(R)} f(z) \,\mathrm{d}{z} = \mathrm{i} (\theta_2 - \theta_1) K ~.$$

　　 证毕。

例 1　

　　

　　 定义 $ \operatorname{sinc} $ 函数为

\begin{equation} \operatorname{sinc} x = \left\{\begin{aligned} &\frac{\sin x}{x} &\quad & (x \ne 0)\\ &\quad 1 && (x = 0)~. \end{aligned}\right. \end{equation}

　　 我们来求 $\int_{-\infty}^{\infty} \operatorname{sinc} x \,\mathrm{d}{x} $，或者记为 $\int_{\mathbb{R}} \operatorname{sinc} x \,\mathrm{d}{x} $，表示在整个实数轴上积分。

　　 将问题改写为复函数上，对任意 $z\in\mathbb{R}$ 有

\begin{equation} \operatorname{sinc} z = \operatorname{Im} \frac{ \mathrm{e} ^{ \mathrm{i} z}}{z} \quad (z \ne 0)~. \end{equation}

　　 然后我们考虑 $\frac{ \mathrm{e} ^{ \mathrm{i} z}}{z}$ 在复平面上的围道积分，来解决式 15 在实数轴上的积分问题。

　　 和实数轴上的 $ \operatorname{sinc} x$ 不同，复平面上的 $\frac{ \mathrm{e} ^{ \mathrm{i} z}}{z}$ 在 $z=0$ 处有一个奇点，而围道上不应该有奇点。因此我们这里要用一个小技巧，绕开原点。

　　 由于 $ \operatorname{sinc} x$ 是实数轴上的连续函数，因此

\begin{equation} \int_{-\infty}^\infty \operatorname{sinc} x \,\mathrm{d}{x} =\lim\limits_{\epsilon\to 0^+} \left(\int_{-\infty}^\epsilon \operatorname{sinc} x \,\mathrm{d}{x} +\int_{-\epsilon}^\infty \operatorname{sinc} x \,\mathrm{d}{x} \right) ~. \end{equation}

　　 所以我们可以用如图 1 的回路来进行积分。

图 1：例 1 的回路积分示意图。积分路径是图示半径为 $R$ 的上半圆弧（下简称大圆弧）、两条 $x$ 轴上向右的有向线段以及半径为 $\epsilon$ 的下半圆弧（下简称小圆弧）。

　　 按照图 1 所描述的回路去计算回路积分，则两条有向线段和下半小圆弧路径上的积分，在 $R\to\infty$ 和 $\epsilon\to 0$ 的极限下就是我们要的结果。但我们不能直接算出来。

　　 我们能算出来的是两条有向线段、下半小圆弧和上半大圆弧构成的回路的路径积分，利用留数定理即可知其积分值为

\begin{equation} 2\pi \mathrm{i} \operatorname {Res}_0\frac{ \mathrm{e} ^{ \mathrm{i} z}}{z}=2\pi \mathrm{i} ~. \end{equation}

　　 当 $R\to \infty$ 时，由 Jordan 引理（定理 1 ）可知上半大圆弧上的积分值趋于 $0$，故在此极限下回路积分就是两条有向线段和下半小圆弧路径上的积分。

　　 但是我们要算的是两条有向线段上的积分，在 $\epsilon\to 0$ 下的极限，得排除掉小圆弧上的积分值。那么小圆弧上的积分值是多少呢？应用小圆弧引理 1 ，记下半小圆弧对应的路径为 $C(r)$，可知

\begin{equation} \lim_{\epsilon\to 0}\int_{C(r)}\frac{ \mathrm{e} ^{ \mathrm{i} z}}{z} \,\mathrm{d}{z} =\lim_{z\to 0} \mathrm{i} \mathrm{e} ^{ \mathrm{i} z}(2\pi-\pi)=\pi \mathrm{i} ~. \end{equation}

　　 因此，两条有向线段上的路径积分值就是 $2\pi \mathrm{i} -\pi \mathrm{i} =\pi \mathrm{i} $。

　　 注意这个运算过程中有两个极限，一个 $R\to\infty$ 结合 Jordan 引理抹去了大圆弧的影响，一个 $\epsilon\to 0$ 结合小圆弧引理得到了 $\frac{ \mathrm{e} ^{ \mathrm{i} z}}{z}$ 沿着整个实数轴积分的结果。

　　 由于在实数轴上的 $ \operatorname{sinc} x= \operatorname{Im} \frac{ \mathrm{e} ^{ \mathrm{i} z}}{z}$，因此

\begin{equation} \begin{aligned} \int_{\mathbb{R}} \operatorname{sinc} x \,\mathrm{d}{x} &= \operatorname{Im} \int_{\mathbb{R}}\frac{ \mathrm{e} ^{ \mathrm{i} z}}{z} \,\mathrm{d}{z} \\ &= \operatorname{Im} \pi \mathrm{i} \\ &=\pi~. \end{aligned} \end{equation}

　　 例 1 是非常重要的例题，在我们严格讨论狄拉克 delta 函数时有很大作用。

1. ^ 更一般地，只要要求存在一个半径 $r$，使得 $g$ 在 “复平面的上半平面” 和 “以 $r$ 为半径的圆弧之外的区域” 的交集里连续，即可。