做复变函数结课报告时我几乎没有犹豫就选了狄利克雷积分这道题。就是那个经典的$$\int_0^\infty \frac{\sin x}{x},dx \frac{\pi}{2}.$$第一次在数学分析课上看到它时我其实是很不适应的被积函数 $\sin x / x$ 的原函数不是初等函数换元、分部积分、级数展开这些常规招数全都不好使可结果偏偏是一个这么简洁的常数。后来学完复变函数里的留数定理和围道积分再回头看这个积分才真正有种“原来如此”的感觉。这篇博客就把我当时结课报告里准备的几种证明完整写下来包括每一步推导背后的理由、容易栽跟头的细节以及做展示时的节奏安排给同样被这个积分折磨过的朋友一个参考。1. 问题背景、工具准备与三种证明的思路对比1.1 狄利克雷积分为什么值得做一次结课报告先把这个积分的基本性质说清楚。$\sin x / x$ 在 $x0$ 处其实没有定义但极限 $\lim_{x\to 0}\sin x / x 1$ 存在所以被积函数可以光滑地延拓到 $x0$。而在无穷远处它按 $1/x$ 的量级衰减配合分子 $\sin x$ 的正负振荡整个广义积分是条件收敛的而不是绝对收敛——这一点非常关键后面很多证明步骤的合理性都要回到这里来检查。从实分析的角度当然也有办法处理它比如利用含参量积分、傅里叶积分定理或者拉普拉斯变换。但作为复变函数课程的报告它的价值恰恰在于这个积分完美展示了围道积分如何把实轴上的振荡积分转化为复平面上的留数计算。这里面的核心思想可以概括为把实变量 $x$ 换成复变量 $z$让 $e^{iz}$ 在上半平面指数衰减从而把实轴上“慢慢衰减”的积分变成复平面上一段“迅速消失”的圆弧积分。这个思路贯穿了复变函数里一大类三角积分的处理狄利克雷积分是其中最典型的训练场。1.2 为什么复变方法能一锤定音很多人第一次看到复变解法时都会疑惑为什么要引入 $e^{iz}$ 而不是直接用 $\sin z$原因是 $\sin z$ 在复平面上并不“乖巧”。把 $z x iy$ 代入$$\sin z \sin x \cosh y i\cos x \sinh y,$$当 $y \to \infty$ 时$\cosh y$ 和 $\sinh y$ 都按 $e^{y}/2$ 的量级爆炸增长。也就是说在上半平面的圆弧上$\sin z$ 的模不会趋向于零Jordan 引理的条件完全不成立圆弧积分根本压不住。而 $e^{iz}$ 就不同了$$|e^{iz}| |e^{i(xiy)}| e^{-y},$$在上半平面 $y 0$ 时指数衰减圆弧半径越大这段积分贡献越小。所以标准的做法是把 $\sin x$ 用 Euler 公式拆成 $e^{ix}$ 和 $e^{-ix}$ 的组合分别处理或者干脆直接考虑 $e^{iz}/z$ 的围道积分最后取虚部。说到底复变方法的优势就是把这个“不那么好的”实函数替换成了一个在复平面上“方向性好”的指数函数。1.3 三种证明方法的整体对比我在报告里选择了三种侧重点不同的证法这样既能体现复变方法的威力也能展示不同技巧之间的内在联系。方法核心工具思路特点严格性难点经典半圆围道Jordan 引理、小圆弧留数贡献直接对 $e^{iz}/z$ 围道积分取虚部小圆弧方向与符号参数化法含参量积分、微分方程先引入收敛因子 $e^{-ax}$求导消去分母积分号下求导的合法性与 $a\to 0$ 过渡Euler 拆分法上下半平面两个围道把 $\sin x$ 拆成两个指数各用半边平面下半平面围道的方向与符号三种方法殊途同归但每一条路径都会遇到一个共同的难点在原点附近怎么绕开极点以及绕行方向带来的符号变化。这个细节我放到下一节专门讲因为它是整个证明中最容易被扣分的地方。2. 两个绕不开的引理Jordan 引理与小圆弧贡献2.1 Jordan 引理内容与证明Jordan 引理是处理三角积分围道的看家本领它的标准表述如下设 $f(z)$ 在上半平面的圆弧 $C_R: z Re^{i\theta}, 0 \le \theta \le \pi$ 上连续且当 $R \to \infty$ 时$$M_R \max_{z \in C_R} |f(z)| \to 0,$$那么对任意 $a 0$有$$\lim_{R\to\infty} \int_{C_R} f(z) e^{iaz},dz 0.$$证明的关键在于把被积函数的模压出一个可积的衰减因子。具体写出来就是$$\left|\int_{C_R} f(z)e^{iaz},dz\right| \le M_R \int_0^\pi e^{-aR\sin\theta} R,d\theta.$$这里用到了 $|e^{iaz}| e^{-aR\sin\theta}$。接下来利用不等式 $\sin\theta \ge 2\theta/\pi$对 $\theta\in[0,\pi/2]$ 成立把积分放缩为$$2M_R R \int_0^{\pi/2} e^{-2aR\theta/\pi},d\theta \le \frac{\pi M_R}{a}(1 - e^{-aR}).$$因为 $M_R \to 0$右边整体趋向于 0。这个证明虽然只有几行但整个技术的灵魂就在那个 $\sin\theta \ge 2\theta/\pi$ 的不等式上——它把三角函数的衰减转换成了指数函数的可积衰减。我在准备报告时曾经想过能不能用 $e^{iz}/z$ 而不拆成 $e^{iz}$ 和 $f(z)$ 的形式直接套引理。答案是当然可以因为在这个例子里 $f(z) 1/z$在圆弧上的模 $M_R 1/R \to 0$满足条件。这也是经典半圆围道法能够成立的根本原因。2.2 小圆弧上的积分符号来自方向当围道需要挖掉原点时小圆弧段的贡献是一个极其容易算错的环节。还是以 $e^{iz}/z$ 为例。设小圆弧为$$\gamma_\varepsilon: z \varepsilon e^{i\theta}, \quad \theta \text{ 从 } \pi \text{ 到 } 0,$$也就是从实轴上 $- \varepsilon$ 点出发沿上半平面的小半圆绕到 $\varepsilon$。积分直接代入$$\int_{\gamma_\varepsilon} \frac{e^{iz}}{z},dz \int_\pi^0 \frac{e^{i\varepsilon e^{i\theta}}}{\varepsilon e^{i\theta}}, i\varepsilon e^{i\theta},d\theta i\int_\pi^0 e^{i\varepsilon e^{i\theta}},d\theta.$$当 $\varepsilon \to 0^$ 时$e^{i\varepsilon e^{i\theta}} \to 1$ 一致成立所以极限是$$i\int_\pi^0 d\theta -i\pi.$$注意这个结果是负的。很多人凭直觉会以为绕原点半圈留数是 $1$贡献应该是 $\pi i$但实际上方向决定了符号小圆弧的积分方向是顺时针所以是 $-i\pi$。从这里我总结出一个经验不要背圆弧贡献的抽象公式直接参数化算一遍最稳妥。符号搞错的话最后会得到 $\int \sin x / x,dx -\pi$整个证明就崩了。2.3 为什么不能直接用 $\sin z / z$ 做围道这个误区我在报告前的试讲里踩过一次。当时我想既然目标是 $\sin x / x$那直接对 $\sin z / z$ 做上半圆围道积分不就行了吗结果一算就发现问题$$\sin z \frac{e^{iz} - e^{-iz}}{2i},$$ 其中 $e^{-iz}$ 在上半平面是爆炸增长的Jordan 引理完全不适用。即使把围道分成两半处理$e^{-iz}$ 部分的圆弧积分也无法控制。正确的做法是把 $\sin x$ 拆开来或者一开始就敏锐地意识到既然要利用上半平面的指数衰减就必须只用 $e^{iz}$。这个教训让我在后面看很多参考书时特别注意他们选取辅助函数的动机——不是随便找一个解析函数而是要保证它在围道的“衰减方向”上乖乖听话。3. 证法一经典半圆围道3.1 围道的选取与各段参数化第一种方法也是最经典的方法直接考虑辅助函数$$f(z) \frac{e^{iz}}{z},$$取围道由四段组成实轴上的 $[-R, -\varepsilon]$、上半平面小半圆 $\gamma_\varepsilon$从 $-\varepsilon$ 到 $\varepsilon$、实轴上的 $[\varepsilon, R]$、以及上半平面大半圆 $\Gamma_R: z Re^{i\theta}, 0 \le \theta \le \pi$。整体围成一个“上半大圆盘挖去原点小圆盘”的区域。在这个区域内 $f(z)$ 是解析的因为唯一的奇点 $z0$ 被小圆挖掉了。由 Cauchy 积分定理围道积分的总和为 0$$\int_{-R}^{-\varepsilon} \frac{e^{ix}}{x},dx \int_{\gamma_\varepsilon} \frac{e^{iz}}{z},dz \int_{\varepsilon}^{R} \frac{e^{ix}}{x},dx \int_{\Gamma_R} \frac{e^{iz}}{z},dz 0.$$这里的顺序和符号之所以能这么写是因为我按围道的自然方向逆时针走从实轴左侧走到 $-\varepsilon$再沿小半圆到 $\varepsilon$然后沿实轴到 $R$最后沿大半圆回到 $-R$。每一段的参数化方向都明确不容易乱。3.2 极限计算大圆弧、小圆弧与实轴现在分别取极限。先看大半圆由 Jordan 引理$$\int_{\Gamma_R} \frac{e^{iz}}{z},dz \xrightarrow{R\to\infty} 0.$$严格来说这里取的是 $f(z) 1/z$$M_R 1/R$满足引理条件。再看小半圆按 2.2 节的计算$$\int_{\gamma_\varepsilon} \frac{e^{iz}}{z},dz \xrightarrow{\varepsilon \to 0^} -i\pi.$$把这两项代回等式实轴部分就满足$$\lim_{\substack{R\to\infty \ \varepsilon\to 0^}} \left(\int_{-R}^{-\varepsilon} \frac{e^{ix}}{x},dx \int_{\varepsilon}^{R} \frac{e^{ix}}{x},dx\right) i\pi.$$左边这个极限正是 $e^{ix}/x$ 在实轴上的 Cauchy 主值积分通常记为$$\mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{ix}}{x},dx i\pi.$$这里需要说明一点$e^{ix}/x$ 在原点是有极点的所以这个积分本身并不收敛只能在主值意义下理解。好在最后我们关心的是虚部而虚部对应的是 $\sin x / x$它在 $x0$ 处是可去奇点广义积分与主值积分一致所以这个技术处理不影响最终结果。3.3 取虚部得到 $\pi/2$ 及验证把主值积分拆成实部和虚部$$\mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{ix}}{x},dx \mathrm{PV}\int_{-\infty}^{\infty} \frac{\cos x}{x},dx i\int_{-\infty}^{\infty} \frac{\sin x}{x},dx.$$第一项是奇函数在整个实轴上的主值积分对称截断后恰好为 0。第二项就是我们要的东西。于是$$i\int_{-\infty}^{\infty} \frac{\sin x}{x},dx i\pi,$$两边约去 $i$得到$$\int_{-\infty}^{\infty} \frac{\sin x}{x},dx \pi.$$被积函数是偶函数所以$$\int_0^\infty \frac{\sin x}{x},dx \frac{\pi}{2}.$$证毕。整个过程逻辑链非常紧凑圆弧压掉、小圆贡献一个 $-i\pi$、实轴主值等于 $i\pi$、取虚部结束。这也是为什么大多数教材都把这种方法作为标准证法。我在实际讲的时候会特别强调最后一步的“取虚部”操作虚部对应的是 $\sin x$而 $\cos x$ 那一项因为奇函数性质消失这两个事实缺一不可。如果只记得围道积分的结果而不清楚虚实部分工很容易在套用到其他积分时弄混。4. 证法二参数化微分方程Feynman 技巧4.1 引入 $e^{-ax}$ 作为收敛因子第二种证明走的是参数化路线俗称 Feynman 技巧。思路很直接$\sin x / x$ 之所以难处理是因为分母上的 $x$ 和分子的振荡混在一起。如果能引入一个参数让被积函数在积分号下求导后把分母消掉问题就简单了。定义$$I(a) \int_0^\infty e^{-ax},\frac{\sin x}{x},dx, \quad a \ge 0.$$当 $a 0$ 时$I(0)$ 就是狄利克雷积分。当 $a 0$ 时被积函数多了一个指数衰减因子 $e^{-ax}$积分绝对收敛性质好得多。具体来说因为 $|\sin x| \le x$所以$$|I(a)| \le \int_0^\infty e^{-ax},dx \frac{1}{a},$$有限且有界。这个收敛因子就是整个方法的杠杆支点。对 $a 0$ 在积分号下求导。这里需要验证合法性不过因为有了 $e^{-ax}$ 的保护被导函数 $\partial_a(e^{-ax}\sin x / x) -e^{-ax}\sin x$ 在 $[0,\infty)$ 上绝对可积且被一个与 $a$ 无关的可积函数控制求导与积分可以交换$$I(a) -\int_0^\infty e^{-ax}\sin x,dx.$$这一步是整个技巧的精华分母上的 $x$ 被参数求导“吃掉”了。4.2 求导计算中的复积分视角剩下的积分$$J(a) \int_0^\infty e^{-ax}\sin x,dx$$是一个标准的指数衰减积分。最快捷的算法是把它看成某个复变量积分的虚部$$J(a) \operatorname{Im}\int_0^\infty e^{-(a-i)x},dx \operatorname{Im}\left[\frac{1}{a-i}\right].$$这里用到了$$\int_0^\infty e^{-(a-i)x},dx \frac{1}{a-i},$$因为 $a 0$ 时 $e^{-(a-i)x}$ 在无穷远处趋于 0这个复积分收敛且有明确值。然后$$\frac{1}{a-i} \frac{ai}{a^21},$$所以$$J(a) \operatorname{Im}\left(\frac{ai}{a^21}\right) \frac{1}{a^21}.$$于是$$I(a) -\frac{1}{a^21}.$$这里用复积分算实积分的手法在 Feynman 技巧里很常见而且它和复变函数课程的核心思想一脉相承把一个实轴上的积分放进复变量的框架里利用指数函数的解析性质直接求值。4.3 解方程、定常数、令 $a \to 0$对 $I(a)$ 积分得到$$I(a) -\arctan a C.$$为了确定常数 $C$考察 $a \to \infty$ 的极限。此时$$|I(a)| \le \frac{1}{a} \to 0,$$而 $\arctan a \to \pi/2$所以$$0 -\frac{\pi}{2} C, \quad C \frac{\pi}{2}.$$因此$$I(a) \frac{\pi}{2} - \arctan a.$$最后令 $a \to 0^$。由于 $I(a)$ 在 $a \ge 0$ 上连续可以用控制收敛定理或者直接由 $\sin x / x \le 1$ 得到一致收敛所以$$I(0) \lim_{a\to 0^} I(a) \frac{\pi}{2}.$$这个方法的优点是不需要处理任何围道和奇点逻辑链条极其简洁。缺点是它依赖“积分号下求导”这个技巧对严格性的要求更高。在报告里我把这个方法放在经典围道法之后作为“不同思路的验证”同时也展示了复变计算不同分支之间的互通。5. 证法三Euler 拆分与上下半平面对偶5.1 把正弦写成两个指数之差第三种证明把 $\sin x$ 拆成两个指数函数充分利用上下两个半平面的衰减性质。出发点仍然是 Euler 公式$$\frac{\sin x}{x} \frac{e^{ix} - e^{-ix}}{2ix}.$$如果分别能求出$$P_ \mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{ix}}{x},dx, \quad P_- \mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{-ix}}{x},dx,$$那么$$\int_{-\infty}^{\infty} \frac{\sin x}{x},dx \frac{1}{2i}(P_ - P_-).$$$P_$ 就是 3.2 节已经求出来的 $i\pi$。关键是要独立求出 $P_-$并在计算过程中注意上半平面与下半平面的所有细节都是镜像对称但符号相反的。5.2 上半平面的结果回顾与下半平面独立计算回顾一下 $P_ i\pi$ 的得来因为 $e^{iz}$ 在上半平面衰减所以围道取上半平面半圆小圆弧从 $-\varepsilon$ 到 $\varepsilon$ 绕上半圆贡献是 $-i\pi$实轴主值因此等于 $i\pi$。现在求 $P_-$。$e^{-iz}$ 在什么时候衰减看$$e^{-iz} e^{-i(xiy)} e^{-ix}e^{y},$$当 $y 0$ 时$e^{y} e^{-|y|}$ 指数衰减。所以这次必须把围道取在下半平面。下半平面围道由四段组成实轴 $[-R, -\varepsilon]$、下半平面小圆弧 $\gamma_\varepsilon^-$从 $-\varepsilon$ 到 $\varepsilon$经过点 $-i\varepsilon$、实轴 $[\varepsilon, R]$、下半平面大半圆 $\Gamma_R^-: z Re^{i\theta}, -\pi \le \theta \le 0$。围道内部没有奇点由 Cauchy 积分定理总和为 0$$\int_{-R}^{-\varepsilon} \frac{e^{-ix}}{x},dx \int_{\gamma_\varepsilon^-} \frac{e^{-iz}}{z},dz \int_{\varepsilon}^{R} \frac{e^{-ix}}{x},dx \int_{\Gamma_R^-} \frac{e^{-iz}}{z},dz 0.$$大半圆上$|e^{-iz}| e^{R\sin\theta}$而 $\sin\theta 0$所以指数衰减积分趋于 0。这正是和上半平面对偶的地方同一个指数函数的两个方向分别被两个半平面“收编”。小圆弧的参数化要特别小心。下半平面小圆弧的方向是$$z \varepsilon e^{i\theta}, \quad \theta \text{ 从 } -\pi \text{ 到 } 0,$$代入计算$$\int_{\gamma_\varepsilon^-} \frac{e^{-iz}}{z},dz i\int_{-\pi}^{0} e^{-i\varepsilon e^{i\theta}},d\theta \xrightarrow{\varepsilon\to 0^} i\int_{-\pi}^{0} d\theta i\pi.$$注意这里的结果是 $i\pi$和上半平面的 $-i\pi$ 正好差一个符号。原因有两层圆弧的圆心角同样是 $\pi$但参数化的方向相反同时被积函数从 $e^{iz}$ 换成了 $e^{-iz}$。这两个变化叠加就得到了符号相反的贡献。5.3 组合求值把大圆弧为 0、小圆弧为 $i\pi$ 代回去得到$$\mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{-ix}}{x},dx i\pi 0,$$所以$$P_- -i\pi.$$于是$$\int_{-\infty}^{\infty} \frac{\sin x}{x},dx \frac{1}{2i}(P_ - P_-) \frac{1}{2i}(i\pi i\pi) \pi.$$又因为偶函数性质最后得到$$\int_0^\infty \frac{\sin x}{x},dx \frac{\pi}{2}.$$这个证明的美妙之处在于上下半平面的对称性$P_ i\pi$ 与 $P_- -i\pi$ 互相呼应组合之后刚好把实轴的奇函数部分消掉留下纯虚数部分对应的 $\sin$ 积分。我在报告里特意把这个方法放在最后作为对前两种方法的“升华”让听众看到同一个积分如何从不同角度被层层剥开。6. 实操中的常见坑与结课报告演示建议6.1 常见错误速查表准备报告期间我反复踩过几个坑也看了不少同学的作业发现错误高度集中在下面的表格里。错误类型典型表现正确做法后果小圆弧方向搞反把圆弧贡献写成 $i\pi$参数化算一遍别凭直觉最终符号错误得到 $-\pi/2$对 $\sin z/z$ 直接用围道上半圆压不住必须拆成 $e^{iz}$ 或 $e^{-iz}$Jordan 引理不成立忘记主值积分把 $e^{ix}/x$ 当普通积分明确写出 $\mathrm{PV}$ 记号逻辑不严谨被老师追问取虚部时丢掉 $\cos$ 项混入 $\cos x/x$ 的贡献单独说明奇函数主值为 0等式混乱参数化方法中 $a\to 0$ 不说明直接令 $a0$先证明连续性再取极限严格性扣分其中最隐蔽的是第一个。因为我第一次算小圆弧时也差点写成 $i\pi$后来用参数化重新算才确认是 $-i\pi$。建议所有人在写完围道积分后选一个具体的小 $\varepsilon$ 值代入数值检验一下符号比如取 $\varepsilon 0.1$用数值积分近似圆弧段马上就能发现符号对不对。6.2 报告结构、板书与时间分配建议如果做 30 分钟左右的结课报告我的建议是这样分配时间前 5 分钟讲积分来源和为什么复变方法有效中间 15 分钟集中讲第一种经典半圆围道法把 Jordan 引理和小圆弧贡献这两个关键工具讲透最后 10 分钟快速讲第二种和第三种方法作为不同视角的展示。板书方面围道图一定要画清楚。我试过用幻灯片也试过板书经验是围道图要画两遍第一遍画整体轮廓第二遍在计算圆弧贡献时单独放大原点附近的局部图并用箭头标出小圆弧的绕行方向。很多同学听不明白围道法问题就出在没看清小圆弧的方向。如果你用幻灯片建议用动态演示画出参数 $\theta$ 从 $\pi$ 到 $0$ 的变化过程。6.3 自查清单报告提交前我用下面的清单反复检查自己的推导你也可以直接拿来用[ ] 围道的区域内部是否确实没有奇点[ ] 大圆弧上使用的指数衰减方向是否正确[ ] 小圆弧参数化的起点、终点和方向是否明确[ ] 主值积分的记号是否出现且解释清楚[ ] 最终取实部/虚部时被消掉的奇函数项是否单独说明[ ] 参数化方法中微分和积分交换的合法性是否交代把这些项都打上勾推导基本就牢固了。做这个报告最大的体会是狄利克雷积分虽然只是一个小小的常数但它把复变函数课程中最核心的几个工具——Cauchy 积分定理、留数的概念、Jordan 引理、含参积分——全都串在了一起。我当时准备三种证明方法本来担心内容太多讲不完后来发现正是因为有了对比整个问题的结构才算完全看清了。你在准备类似报告时也不妨试试这种“一题多解”的路线收获往往比做十道普通习题还要大。
一题多解：从复变函数视角探究狄利克雷积分
做复变函数结课报告时我几乎没有犹豫就选了狄利克雷积分这道题。就是那个经典的$$\int_0^\infty \frac{\sin x}{x},dx \frac{\pi}{2}.$$第一次在数学分析课上看到它时我其实是很不适应的被积函数 $\sin x / x$ 的原函数不是初等函数换元、分部积分、级数展开这些常规招数全都不好使可结果偏偏是一个这么简洁的常数。后来学完复变函数里的留数定理和围道积分再回头看这个积分才真正有种“原来如此”的感觉。这篇博客就把我当时结课报告里准备的几种证明完整写下来包括每一步推导背后的理由、容易栽跟头的细节以及做展示时的节奏安排给同样被这个积分折磨过的朋友一个参考。1. 问题背景、工具准备与三种证明的思路对比1.1 狄利克雷积分为什么值得做一次结课报告先把这个积分的基本性质说清楚。$\sin x / x$ 在 $x0$ 处其实没有定义但极限 $\lim_{x\to 0}\sin x / x 1$ 存在所以被积函数可以光滑地延拓到 $x0$。而在无穷远处它按 $1/x$ 的量级衰减配合分子 $\sin x$ 的正负振荡整个广义积分是条件收敛的而不是绝对收敛——这一点非常关键后面很多证明步骤的合理性都要回到这里来检查。从实分析的角度当然也有办法处理它比如利用含参量积分、傅里叶积分定理或者拉普拉斯变换。但作为复变函数课程的报告它的价值恰恰在于这个积分完美展示了围道积分如何把实轴上的振荡积分转化为复平面上的留数计算。这里面的核心思想可以概括为把实变量 $x$ 换成复变量 $z$让 $e^{iz}$ 在上半平面指数衰减从而把实轴上“慢慢衰减”的积分变成复平面上一段“迅速消失”的圆弧积分。这个思路贯穿了复变函数里一大类三角积分的处理狄利克雷积分是其中最典型的训练场。1.2 为什么复变方法能一锤定音很多人第一次看到复变解法时都会疑惑为什么要引入 $e^{iz}$ 而不是直接用 $\sin z$原因是 $\sin z$ 在复平面上并不“乖巧”。把 $z x iy$ 代入$$\sin z \sin x \cosh y i\cos x \sinh y,$$当 $y \to \infty$ 时$\cosh y$ 和 $\sinh y$ 都按 $e^{y}/2$ 的量级爆炸增长。也就是说在上半平面的圆弧上$\sin z$ 的模不会趋向于零Jordan 引理的条件完全不成立圆弧积分根本压不住。而 $e^{iz}$ 就不同了$$|e^{iz}| |e^{i(xiy)}| e^{-y},$$在上半平面 $y 0$ 时指数衰减圆弧半径越大这段积分贡献越小。所以标准的做法是把 $\sin x$ 用 Euler 公式拆成 $e^{ix}$ 和 $e^{-ix}$ 的组合分别处理或者干脆直接考虑 $e^{iz}/z$ 的围道积分最后取虚部。说到底复变方法的优势就是把这个“不那么好的”实函数替换成了一个在复平面上“方向性好”的指数函数。1.3 三种证明方法的整体对比我在报告里选择了三种侧重点不同的证法这样既能体现复变方法的威力也能展示不同技巧之间的内在联系。方法核心工具思路特点严格性难点经典半圆围道Jordan 引理、小圆弧留数贡献直接对 $e^{iz}/z$ 围道积分取虚部小圆弧方向与符号参数化法含参量积分、微分方程先引入收敛因子 $e^{-ax}$求导消去分母积分号下求导的合法性与 $a\to 0$ 过渡Euler 拆分法上下半平面两个围道把 $\sin x$ 拆成两个指数各用半边平面下半平面围道的方向与符号三种方法殊途同归但每一条路径都会遇到一个共同的难点在原点附近怎么绕开极点以及绕行方向带来的符号变化。这个细节我放到下一节专门讲因为它是整个证明中最容易被扣分的地方。2. 两个绕不开的引理Jordan 引理与小圆弧贡献2.1 Jordan 引理内容与证明Jordan 引理是处理三角积分围道的看家本领它的标准表述如下设 $f(z)$ 在上半平面的圆弧 $C_R: z Re^{i\theta}, 0 \le \theta \le \pi$ 上连续且当 $R \to \infty$ 时$$M_R \max_{z \in C_R} |f(z)| \to 0,$$那么对任意 $a 0$有$$\lim_{R\to\infty} \int_{C_R} f(z) e^{iaz},dz 0.$$证明的关键在于把被积函数的模压出一个可积的衰减因子。具体写出来就是$$\left|\int_{C_R} f(z)e^{iaz},dz\right| \le M_R \int_0^\pi e^{-aR\sin\theta} R,d\theta.$$这里用到了 $|e^{iaz}| e^{-aR\sin\theta}$。接下来利用不等式 $\sin\theta \ge 2\theta/\pi$对 $\theta\in[0,\pi/2]$ 成立把积分放缩为$$2M_R R \int_0^{\pi/2} e^{-2aR\theta/\pi},d\theta \le \frac{\pi M_R}{a}(1 - e^{-aR}).$$因为 $M_R \to 0$右边整体趋向于 0。这个证明虽然只有几行但整个技术的灵魂就在那个 $\sin\theta \ge 2\theta/\pi$ 的不等式上——它把三角函数的衰减转换成了指数函数的可积衰减。我在准备报告时曾经想过能不能用 $e^{iz}/z$ 而不拆成 $e^{iz}$ 和 $f(z)$ 的形式直接套引理。答案是当然可以因为在这个例子里 $f(z) 1/z$在圆弧上的模 $M_R 1/R \to 0$满足条件。这也是经典半圆围道法能够成立的根本原因。2.2 小圆弧上的积分符号来自方向当围道需要挖掉原点时小圆弧段的贡献是一个极其容易算错的环节。还是以 $e^{iz}/z$ 为例。设小圆弧为$$\gamma_\varepsilon: z \varepsilon e^{i\theta}, \quad \theta \text{ 从 } \pi \text{ 到 } 0,$$也就是从实轴上 $- \varepsilon$ 点出发沿上半平面的小半圆绕到 $\varepsilon$。积分直接代入$$\int_{\gamma_\varepsilon} \frac{e^{iz}}{z},dz \int_\pi^0 \frac{e^{i\varepsilon e^{i\theta}}}{\varepsilon e^{i\theta}}, i\varepsilon e^{i\theta},d\theta i\int_\pi^0 e^{i\varepsilon e^{i\theta}},d\theta.$$当 $\varepsilon \to 0^$ 时$e^{i\varepsilon e^{i\theta}} \to 1$ 一致成立所以极限是$$i\int_\pi^0 d\theta -i\pi.$$注意这个结果是负的。很多人凭直觉会以为绕原点半圈留数是 $1$贡献应该是 $\pi i$但实际上方向决定了符号小圆弧的积分方向是顺时针所以是 $-i\pi$。从这里我总结出一个经验不要背圆弧贡献的抽象公式直接参数化算一遍最稳妥。符号搞错的话最后会得到 $\int \sin x / x,dx -\pi$整个证明就崩了。2.3 为什么不能直接用 $\sin z / z$ 做围道这个误区我在报告前的试讲里踩过一次。当时我想既然目标是 $\sin x / x$那直接对 $\sin z / z$ 做上半圆围道积分不就行了吗结果一算就发现问题$$\sin z \frac{e^{iz} - e^{-iz}}{2i},$$ 其中 $e^{-iz}$ 在上半平面是爆炸增长的Jordan 引理完全不适用。即使把围道分成两半处理$e^{-iz}$ 部分的圆弧积分也无法控制。正确的做法是把 $\sin x$ 拆开来或者一开始就敏锐地意识到既然要利用上半平面的指数衰减就必须只用 $e^{iz}$。这个教训让我在后面看很多参考书时特别注意他们选取辅助函数的动机——不是随便找一个解析函数而是要保证它在围道的“衰减方向”上乖乖听话。3. 证法一经典半圆围道3.1 围道的选取与各段参数化第一种方法也是最经典的方法直接考虑辅助函数$$f(z) \frac{e^{iz}}{z},$$取围道由四段组成实轴上的 $[-R, -\varepsilon]$、上半平面小半圆 $\gamma_\varepsilon$从 $-\varepsilon$ 到 $\varepsilon$、实轴上的 $[\varepsilon, R]$、以及上半平面大半圆 $\Gamma_R: z Re^{i\theta}, 0 \le \theta \le \pi$。整体围成一个“上半大圆盘挖去原点小圆盘”的区域。在这个区域内 $f(z)$ 是解析的因为唯一的奇点 $z0$ 被小圆挖掉了。由 Cauchy 积分定理围道积分的总和为 0$$\int_{-R}^{-\varepsilon} \frac{e^{ix}}{x},dx \int_{\gamma_\varepsilon} \frac{e^{iz}}{z},dz \int_{\varepsilon}^{R} \frac{e^{ix}}{x},dx \int_{\Gamma_R} \frac{e^{iz}}{z},dz 0.$$这里的顺序和符号之所以能这么写是因为我按围道的自然方向逆时针走从实轴左侧走到 $-\varepsilon$再沿小半圆到 $\varepsilon$然后沿实轴到 $R$最后沿大半圆回到 $-R$。每一段的参数化方向都明确不容易乱。3.2 极限计算大圆弧、小圆弧与实轴现在分别取极限。先看大半圆由 Jordan 引理$$\int_{\Gamma_R} \frac{e^{iz}}{z},dz \xrightarrow{R\to\infty} 0.$$严格来说这里取的是 $f(z) 1/z$$M_R 1/R$满足引理条件。再看小半圆按 2.2 节的计算$$\int_{\gamma_\varepsilon} \frac{e^{iz}}{z},dz \xrightarrow{\varepsilon \to 0^} -i\pi.$$把这两项代回等式实轴部分就满足$$\lim_{\substack{R\to\infty \ \varepsilon\to 0^}} \left(\int_{-R}^{-\varepsilon} \frac{e^{ix}}{x},dx \int_{\varepsilon}^{R} \frac{e^{ix}}{x},dx\right) i\pi.$$左边这个极限正是 $e^{ix}/x$ 在实轴上的 Cauchy 主值积分通常记为$$\mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{ix}}{x},dx i\pi.$$这里需要说明一点$e^{ix}/x$ 在原点是有极点的所以这个积分本身并不收敛只能在主值意义下理解。好在最后我们关心的是虚部而虚部对应的是 $\sin x / x$它在 $x0$ 处是可去奇点广义积分与主值积分一致所以这个技术处理不影响最终结果。3.3 取虚部得到 $\pi/2$ 及验证把主值积分拆成实部和虚部$$\mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{ix}}{x},dx \mathrm{PV}\int_{-\infty}^{\infty} \frac{\cos x}{x},dx i\int_{-\infty}^{\infty} \frac{\sin x}{x},dx.$$第一项是奇函数在整个实轴上的主值积分对称截断后恰好为 0。第二项就是我们要的东西。于是$$i\int_{-\infty}^{\infty} \frac{\sin x}{x},dx i\pi,$$两边约去 $i$得到$$\int_{-\infty}^{\infty} \frac{\sin x}{x},dx \pi.$$被积函数是偶函数所以$$\int_0^\infty \frac{\sin x}{x},dx \frac{\pi}{2}.$$证毕。整个过程逻辑链非常紧凑圆弧压掉、小圆贡献一个 $-i\pi$、实轴主值等于 $i\pi$、取虚部结束。这也是为什么大多数教材都把这种方法作为标准证法。我在实际讲的时候会特别强调最后一步的“取虚部”操作虚部对应的是 $\sin x$而 $\cos x$ 那一项因为奇函数性质消失这两个事实缺一不可。如果只记得围道积分的结果而不清楚虚实部分工很容易在套用到其他积分时弄混。4. 证法二参数化微分方程Feynman 技巧4.1 引入 $e^{-ax}$ 作为收敛因子第二种证明走的是参数化路线俗称 Feynman 技巧。思路很直接$\sin x / x$ 之所以难处理是因为分母上的 $x$ 和分子的振荡混在一起。如果能引入一个参数让被积函数在积分号下求导后把分母消掉问题就简单了。定义$$I(a) \int_0^\infty e^{-ax},\frac{\sin x}{x},dx, \quad a \ge 0.$$当 $a 0$ 时$I(0)$ 就是狄利克雷积分。当 $a 0$ 时被积函数多了一个指数衰减因子 $e^{-ax}$积分绝对收敛性质好得多。具体来说因为 $|\sin x| \le x$所以$$|I(a)| \le \int_0^\infty e^{-ax},dx \frac{1}{a},$$有限且有界。这个收敛因子就是整个方法的杠杆支点。对 $a 0$ 在积分号下求导。这里需要验证合法性不过因为有了 $e^{-ax}$ 的保护被导函数 $\partial_a(e^{-ax}\sin x / x) -e^{-ax}\sin x$ 在 $[0,\infty)$ 上绝对可积且被一个与 $a$ 无关的可积函数控制求导与积分可以交换$$I(a) -\int_0^\infty e^{-ax}\sin x,dx.$$这一步是整个技巧的精华分母上的 $x$ 被参数求导“吃掉”了。4.2 求导计算中的复积分视角剩下的积分$$J(a) \int_0^\infty e^{-ax}\sin x,dx$$是一个标准的指数衰减积分。最快捷的算法是把它看成某个复变量积分的虚部$$J(a) \operatorname{Im}\int_0^\infty e^{-(a-i)x},dx \operatorname{Im}\left[\frac{1}{a-i}\right].$$这里用到了$$\int_0^\infty e^{-(a-i)x},dx \frac{1}{a-i},$$因为 $a 0$ 时 $e^{-(a-i)x}$ 在无穷远处趋于 0这个复积分收敛且有明确值。然后$$\frac{1}{a-i} \frac{ai}{a^21},$$所以$$J(a) \operatorname{Im}\left(\frac{ai}{a^21}\right) \frac{1}{a^21}.$$于是$$I(a) -\frac{1}{a^21}.$$这里用复积分算实积分的手法在 Feynman 技巧里很常见而且它和复变函数课程的核心思想一脉相承把一个实轴上的积分放进复变量的框架里利用指数函数的解析性质直接求值。4.3 解方程、定常数、令 $a \to 0$对 $I(a)$ 积分得到$$I(a) -\arctan a C.$$为了确定常数 $C$考察 $a \to \infty$ 的极限。此时$$|I(a)| \le \frac{1}{a} \to 0,$$而 $\arctan a \to \pi/2$所以$$0 -\frac{\pi}{2} C, \quad C \frac{\pi}{2}.$$因此$$I(a) \frac{\pi}{2} - \arctan a.$$最后令 $a \to 0^$。由于 $I(a)$ 在 $a \ge 0$ 上连续可以用控制收敛定理或者直接由 $\sin x / x \le 1$ 得到一致收敛所以$$I(0) \lim_{a\to 0^} I(a) \frac{\pi}{2}.$$这个方法的优点是不需要处理任何围道和奇点逻辑链条极其简洁。缺点是它依赖“积分号下求导”这个技巧对严格性的要求更高。在报告里我把这个方法放在经典围道法之后作为“不同思路的验证”同时也展示了复变计算不同分支之间的互通。5. 证法三Euler 拆分与上下半平面对偶5.1 把正弦写成两个指数之差第三种证明把 $\sin x$ 拆成两个指数函数充分利用上下两个半平面的衰减性质。出发点仍然是 Euler 公式$$\frac{\sin x}{x} \frac{e^{ix} - e^{-ix}}{2ix}.$$如果分别能求出$$P_ \mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{ix}}{x},dx, \quad P_- \mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{-ix}}{x},dx,$$那么$$\int_{-\infty}^{\infty} \frac{\sin x}{x},dx \frac{1}{2i}(P_ - P_-).$$$P_$ 就是 3.2 节已经求出来的 $i\pi$。关键是要独立求出 $P_-$并在计算过程中注意上半平面与下半平面的所有细节都是镜像对称但符号相反的。5.2 上半平面的结果回顾与下半平面独立计算回顾一下 $P_ i\pi$ 的得来因为 $e^{iz}$ 在上半平面衰减所以围道取上半平面半圆小圆弧从 $-\varepsilon$ 到 $\varepsilon$ 绕上半圆贡献是 $-i\pi$实轴主值因此等于 $i\pi$。现在求 $P_-$。$e^{-iz}$ 在什么时候衰减看$$e^{-iz} e^{-i(xiy)} e^{-ix}e^{y},$$当 $y 0$ 时$e^{y} e^{-|y|}$ 指数衰减。所以这次必须把围道取在下半平面。下半平面围道由四段组成实轴 $[-R, -\varepsilon]$、下半平面小圆弧 $\gamma_\varepsilon^-$从 $-\varepsilon$ 到 $\varepsilon$经过点 $-i\varepsilon$、实轴 $[\varepsilon, R]$、下半平面大半圆 $\Gamma_R^-: z Re^{i\theta}, -\pi \le \theta \le 0$。围道内部没有奇点由 Cauchy 积分定理总和为 0$$\int_{-R}^{-\varepsilon} \frac{e^{-ix}}{x},dx \int_{\gamma_\varepsilon^-} \frac{e^{-iz}}{z},dz \int_{\varepsilon}^{R} \frac{e^{-ix}}{x},dx \int_{\Gamma_R^-} \frac{e^{-iz}}{z},dz 0.$$大半圆上$|e^{-iz}| e^{R\sin\theta}$而 $\sin\theta 0$所以指数衰减积分趋于 0。这正是和上半平面对偶的地方同一个指数函数的两个方向分别被两个半平面“收编”。小圆弧的参数化要特别小心。下半平面小圆弧的方向是$$z \varepsilon e^{i\theta}, \quad \theta \text{ 从 } -\pi \text{ 到 } 0,$$代入计算$$\int_{\gamma_\varepsilon^-} \frac{e^{-iz}}{z},dz i\int_{-\pi}^{0} e^{-i\varepsilon e^{i\theta}},d\theta \xrightarrow{\varepsilon\to 0^} i\int_{-\pi}^{0} d\theta i\pi.$$注意这里的结果是 $i\pi$和上半平面的 $-i\pi$ 正好差一个符号。原因有两层圆弧的圆心角同样是 $\pi$但参数化的方向相反同时被积函数从 $e^{iz}$ 换成了 $e^{-iz}$。这两个变化叠加就得到了符号相反的贡献。5.3 组合求值把大圆弧为 0、小圆弧为 $i\pi$ 代回去得到$$\mathrm{PV}\int_{-\infty}^{\infty} \frac{e^{-ix}}{x},dx i\pi 0,$$所以$$P_- -i\pi.$$于是$$\int_{-\infty}^{\infty} \frac{\sin x}{x},dx \frac{1}{2i}(P_ - P_-) \frac{1}{2i}(i\pi i\pi) \pi.$$又因为偶函数性质最后得到$$\int_0^\infty \frac{\sin x}{x},dx \frac{\pi}{2}.$$这个证明的美妙之处在于上下半平面的对称性$P_ i\pi$ 与 $P_- -i\pi$ 互相呼应组合之后刚好把实轴的奇函数部分消掉留下纯虚数部分对应的 $\sin$ 积分。我在报告里特意把这个方法放在最后作为对前两种方法的“升华”让听众看到同一个积分如何从不同角度被层层剥开。6. 实操中的常见坑与结课报告演示建议6.1 常见错误速查表准备报告期间我反复踩过几个坑也看了不少同学的作业发现错误高度集中在下面的表格里。错误类型典型表现正确做法后果小圆弧方向搞反把圆弧贡献写成 $i\pi$参数化算一遍别凭直觉最终符号错误得到 $-\pi/2$对 $\sin z/z$ 直接用围道上半圆压不住必须拆成 $e^{iz}$ 或 $e^{-iz}$Jordan 引理不成立忘记主值积分把 $e^{ix}/x$ 当普通积分明确写出 $\mathrm{PV}$ 记号逻辑不严谨被老师追问取虚部时丢掉 $\cos$ 项混入 $\cos x/x$ 的贡献单独说明奇函数主值为 0等式混乱参数化方法中 $a\to 0$ 不说明直接令 $a0$先证明连续性再取极限严格性扣分其中最隐蔽的是第一个。因为我第一次算小圆弧时也差点写成 $i\pi$后来用参数化重新算才确认是 $-i\pi$。建议所有人在写完围道积分后选一个具体的小 $\varepsilon$ 值代入数值检验一下符号比如取 $\varepsilon 0.1$用数值积分近似圆弧段马上就能发现符号对不对。6.2 报告结构、板书与时间分配建议如果做 30 分钟左右的结课报告我的建议是这样分配时间前 5 分钟讲积分来源和为什么复变方法有效中间 15 分钟集中讲第一种经典半圆围道法把 Jordan 引理和小圆弧贡献这两个关键工具讲透最后 10 分钟快速讲第二种和第三种方法作为不同视角的展示。板书方面围道图一定要画清楚。我试过用幻灯片也试过板书经验是围道图要画两遍第一遍画整体轮廓第二遍在计算圆弧贡献时单独放大原点附近的局部图并用箭头标出小圆弧的绕行方向。很多同学听不明白围道法问题就出在没看清小圆弧的方向。如果你用幻灯片建议用动态演示画出参数 $\theta$ 从 $\pi$ 到 $0$ 的变化过程。6.3 自查清单报告提交前我用下面的清单反复检查自己的推导你也可以直接拿来用[ ] 围道的区域内部是否确实没有奇点[ ] 大圆弧上使用的指数衰减方向是否正确[ ] 小圆弧参数化的起点、终点和方向是否明确[ ] 主值积分的记号是否出现且解释清楚[ ] 最终取实部/虚部时被消掉的奇函数项是否单独说明[ ] 参数化方法中微分和积分交换的合法性是否交代把这些项都打上勾推导基本就牢固了。做这个报告最大的体会是狄利克雷积分虽然只是一个小小的常数但它把复变函数课程中最核心的几个工具——Cauchy 积分定理、留数的概念、Jordan 引理、含参积分——全都串在了一起。我当时准备三种证明方法本来担心内容太多讲不完后来发现正是因为有了对比整个问题的结构才算完全看清了。你在准备类似报告时也不妨试试这种“一题多解”的路线收获往往比做十道普通习题还要大。
