这道题是我在给学生答疑时碰到的,教材正好讲到柯西积分公式这一节。标题写着“习题2.3-5”,看起来阵仗不小,但真正卡住学生的往往不是“不会套公式”,而是想不明白:柯西积分公式和第一类零阶修正贝塞尔函数的特殊值,这两个东西怎么会出现在同一道题里?简单说,这类题想把一件反直觉的事情讲清楚——一个看起来只能硬积的实积分,可以通过单位圆参数化变成围道积分,再用柯西积分公式把“平均值”或者“展开系数”折叠成特殊函数值。整道题的落点,最终回到第一类零阶修正贝塞尔函数 (I_0(x)) 的积分表示,以及它在特殊点上的取值。这篇文章把推导拆开讲透,适合正在啃复变函数习题、但又没系统学过特殊函数的读者;哪怕你只学到了柯西积分公式这一节,也能顺着思路自己推完。
1. 先把题目看透:这道题到底在考什么
1.1 它属于哪类问题:围道积分“算”出来的积分表示
先说结论:这道题核心要做的不是求某个具体数值,而是证明一个含参数的积分表示,顺便得到第一类零阶修正贝塞尔函数在关键点的特殊值。
题目里通常会出现这样的形状:
[
I_0(x)=\frac{1}{2\pi}\int_0^{2\pi}e^{x\cos\theta},d\theta
=\frac{1}{\pi}\int_0^{\pi}e^{x\cos\theta},d\theta.
]
如果你第一次看到这串式子,可能会想:这玩意儿不就是把指数函数做了一次圆周平均吗?对,它确实就是圆周平均。但这个平均如果直接积,没人能写出初等原函数。柯西积分公式在这里的价值,是告诉你这种“平均”可以被重新解释成单位圆上的围道积分,而围道积分又可以用级数和留数型技巧算出来。
教材把这道题放在 2.3 柯西积分公式后面,不是没有原因。它想让你练三件事:第一,把实积分写成单位圆上的复积分;第二,在奇点是本性奇点的情况下,别硬套基本公式,先用洛朗展开把被积函数拆开;第三,用围道积分的正交性把无穷多项过滤掉,只剩零阶项。这三件事连在一起,才真正体现柯西积分公式的“工具性”,而不只是用来算 (\oint f(z)/(z-a)dz) 这种标准题。
1.2 前置知识清单:三个工具缺一不可
做题前先检查自己三样工具是否齐备。
第一个是柯西积分公式本身。设 (f(z)) 在简单闭曲线 (C) 内部及其上解析,则对
