柯西积分公式推导第一类零阶修正贝塞尔函数积分表示

这道题是我在给学生答疑时碰到的，教材正好讲到柯西积分公式这一节。标题写着“习题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) 内部及其上解析，则对 (C) 内任意一点 (a)：

[
f(a)=\frac{1}{2\pi i}\oint_C\frac{f(z)}{z-a},dz.
]

当 (C) 取单位圆正向、(a=0) 时，它写起来特别漂亮：

[
f(0)=\frac{1}{2\pi i}\oint_{|z|=1}\frac{f(z)}{z},dz
=\frac{1}{2\pi}\int_0^{2\pi}f(e^{i\theta}),d\theta.
]

后一个等号就是“解析函数在圆心处的值等于它在圆周上的平均值”，这是理解本题的第一把钥匙。

第二个是单位圆参数化换元。令 (z=e^{i\theta})，有 (dz=ie^{i\theta}d\theta)，于是：

[
\frac{dz}{z}=i,d\theta.
]

这个关系极其常用。它能把关于 (\theta) 的实积分，直接翻译成关于 (z) 的单位圆围道积分。

第三个是洛朗展开和围道积分正交性。对整数 (k)：

[
\oint_{|z|=1}z^k,dz=
\begin{cases}
2\pi i, & k=-1,\
0, & k\neq -1.
\end{cases}
]

这个性质很像傅里叶级数里的正交性：在一圈积分里，只有 (z^{-1}) 这个“直流分量”的系数能被提取出来。本题里的洛朗展开刚好会蹦出一串 (I_n(x))，而 (I_0(x)) 正好对应那个被提取的“直流分量”。

注意：柯西积分公式要求被积函数在围道内部解析。但本题的被积函数在 (z=0) 处有本性奇点，直接套公式等于送命。正确姿势是先展开成洛朗级数，再逐项积分。这一点在后面会反复强调。

2. 核心思路：为什么特殊函数会从柯西积分公式里冒出来

2.1 一个辅助函数，把实指数变成复解析函数的边界值

很多同学会问：我学的是复变函数，怎么突然冒出一个第一类零阶修正贝塞尔函数？这就要回到修正贝塞尔函数的定义源头。修正贝塞尔函数 (I_n(x)) 有一个经典生成函数：

[
e^{\frac{x}{2}\left(z+\frac{1}{z}\right)}
=\sum_{n=-\infty}^{+\infty}I_n(x)z^n,\quad z\neq 0.
]

这个式子的意思是，等号左边那个看起来有点复杂的函数，如果按洛朗级数展开，每一项系数刚好就是 (I_n(x))。当 (n=0) 时，系数就是 (I_0(x))。这其实就是“第一类零阶修正贝塞尔函数”在复分析里最自然的出场方式。

现在把 (z) 限制在单位圆上，让 (z=e^{i\theta})。这时候：

[
\frac{x}{2}\left(z+\frac{1}{z}\right)
=\frac{x}{2}(e^{i\theta}+e^{-i\theta})
=x\cos\theta.
]

于是生成函数在单位圆上的取值就变成了：

[
e^{\frac{x}{2}\left(z+\frac{1}{z}\right)}
=e^{x\cos\theta}.
]

这一步是整个推导的枢纽：生成函数在单位圆上的边界值，恰好等于我们想要积的那个实函数。换句话说，对 (e^{x\cos\theta}) 做圆周平均，等价于对生成函数在单位圆上做复积分。

2.2 为什么盯住 (z^{-1}) 的系数不放

回到生成函数。如果我们在单位圆上做积分：

[
\oint_{|z|=1}\frac{e^{\frac{x}{2}(z+z^{-1})}}{z},dz,
]

把展开式代进去，就变成：

[
\oint_{|z|=1}\frac{1}{z}\sum_{n=-\infty}^{+\infty}I_n(x)z^n,dz
=\sum_{n=-\infty}^{+\infty}I_n(x)\oint_{|z|=1}z^{n-1},dz.
]

根据前面列的正交性，只有 (n-1=-1)，也就是 (n=0) 那一项能留下。最终：

[
\oint_{|z|=1}\frac{e^{\frac{x}{2}(z+z^{-1})}}{z},dz
=I_0(x)\cdot 2\pi i.
]

所以 (I_0(x)) 在这里不是被人为塞进去的，而是作为洛朗展开的常数项，被一圈积分自动过滤出来的。这个过程和傅里叶系数提取几乎一模一样：你有一堆频率分量，但围道积分只对 (z^{-1}) 这一个模式敏感，其他模式全部被积分吃掉。于是剩下的只有零阶修正贝塞尔函数。

这道题真正的思维转变，是从“我要算这个实积分”变成“我要提取某个复函数展开式里的常数项”。柯西积分公式的本质，就是一个系数提取器。

2.3 柯西积分公式的适用边界：解析时直接套，非解析时先展开

如果被积函数是 (e^z) 这种整函数，柯西积分公式可以直接用。比如后面要讲的经典变体：

[
\oint_{|z|=1}\frac{e^z}{z},dz=2\pi i e^0=2\pi i.
]

这就是标准柯西积分公式：因为 (e^z) 在全平面解析，原点处函数值等于围道积分的 (1/2\pi i) 倍。

但本题里的生成函数 (e^{(x/2)(z+z^{-1})}) 并不是全平面解析的，它在 (z=0) 处有本性奇点，不能直接令 (f(z)=e^{(x/2)(z+z^{-1})})。那怎么办？洛朗展开就是干这个用的。只要把非解析部分展开成负幂项，每一项依然是简单的 (z^k)，逐项积分时依然只需要记住 (k=-1) 才有贡献。

这就是“广义的柯西积分公式”思想：你的被积函数不解析不要紧，如果它能展开成洛朗级数，那么围道积分依然等于提取某个特定幂次的系数。可以说，柯西积分公式处理的是“可去奇点/简单极点”的温和情况，而洛朗展开+逐项积分可以硬刚本性奇点。

3. 手把手推导：三种写法得到同一个 (I_0(x))

3.1 标准推导：从生成函数到积分表示

我把完整推导拆成四步，每一步都写清楚理由。这样你以后遇到类似题，可以照着这个流程走。

第一步，构造围道积分。设单位圆 (C:|z|=1)，取正向，也就是逆时针方向。考察积分：

[
J=\oint_C\frac{e^{\frac{x}{2}(z+z^{-1})}}{z},dz.
]

为什么要除以 (z)？因为洛朗展开之后，(I_0(x)) 对应的是 (z^0) 项，除以一个 (z) 后它就变成 (z^{-1})，每一圈的积分里只有 (z^{-1}) 能留下非零值。这是为了“对齐”到能被积分提取的幂次上。

第二步，参数化到实积分。令 (z=e^{i\theta})，(\theta) 从 (0) 到 (2\pi)。那么：

[
\frac{dz}{z}=i,d\theta,
]

并且生成函数变成：

[
e^{\frac{x}{2}(z+z^{-1})}=e^{x\cos\theta}.
]

于是：

[
J=\int_0^{2\pi}\frac{e^{x\cos\theta}}{e^{i\theta}}\cdot ie^{i\theta},d\theta
=i\int_0^{2\pi