含指数与三角函数的类贝塞尔积分的闭式表达求解咨询

嘿，我来帮你把这个积分的闭式解推导完，你猜测修正贝塞尔函数（Modified Bessel function）确实找对了方向，咱们接着你的思路往下完善～

请问有没有人知道下面这个积分能不能写成闭式表达式，具体该怎么做？谢谢大家！
$$I = \int_{\phi=0}^{2\pi} \sin\phi e^{\alpha\cos\phi+\beta\sin\phi} d\phi, \alpha, \beta \in\mathbb{R}^{+}$$
我猜测这里涉及到修正贝塞尔函数，但卡壳了。

我的尝试： #

$$ I =\int_{0}^{2\pi} \frac{d}{d\beta} e^{\alpha\cos\phi+\beta\sin\phi} d\phi $$
$$ = \frac{d}{d\beta} \int_{0}^{2\pi} e^{\alpha\cos\phi+\beta\sin\phi} d\phi$$
$$= \frac{d}{d\beta} \int_{0}^{2\pi} e^{{\sqrt{\alpha}{2}+\beta^{2}}\cos(\phi-\phi_{0})} d\phi$$
$$ = \frac{d}{d\beta} \int_{t=0}^{2\pi} e^{{\sqrt{\alpha}{2}+\beta^{2}}\cos(t)} dt $$
$$= \frac{d}{d\beta} \left[ 2\pi I_{0}\left(\sqrt{\alpha^{2}+\beta{2}}\right) \right]$$

完成推导： #

接下来只需要处理这个导数项就好啦：

1. 首先回忆修正贝塞尔函数的导数性质：一阶修正贝塞尔函数是零阶修正贝塞尔函数的导数，即 $\frac{d}{dx}I_0(x) = I_1(x)$
2. 令 $x = \sqrt{\alpha^2 + \beta^2}$，对$\beta$求导时用链式法则：
   $$\frac{d}{d\beta}I_0\left(\sqrt{\alpha^2 + \beta^2}\right) = I_1\left(\sqrt{\alpha^2 + \beta^2}\right) \cdot \frac{d}{d\beta}\sqrt{\alpha^2 + \beta^2}$$
3. 计算根号项的导数：$\frac{d}{d\beta}\sqrt{\alpha^2 + \beta^2} = \frac{\beta}{\sqrt{\alpha^2 + \beta^2}}$

把这些结果代入回去，就能得到积分的闭式解：
$$I = 2\pi \cdot \frac{\beta}{\sqrt{\alpha^2 + \beta^2}} I_1\left(\sqrt{\alpha^2 + \beta^2}\right)$$

另外也可以用复分析的思路验证：把指数项写成 $e^{\text{Re}((\alpha - i\beta)e^{i\phi})}$，不过你的求导思路已经非常简洁高效啦，补全导数步骤就完美解决了～

备注：内容来源于stack exchange，提问作者Nelly Clarks