求伽马函数Γ(i)的闭合形式以计算i阶柯西重复积分

嘿，真的很佩服你能想到把柯西重复积分拓展到虚数阶，这个思路太有意思了！关于你卡在的Γ(i)闭合形式问题，我来给你梳理一下可行的解法：

首先明确：伽马函数$\Gamma(z)$的定义积分$\int_{0}^{\infty} t^{z-1}e{-t}dt$在$\text{Re}(z) > 0$时收敛，而$i$的实部是0，刚好在收敛边界上，不过我们可以通过解析延拓把伽马函数的定义域扩展到整个复平面（除了负整数点），所以$\Gamma(i)$是有明确值的。

用欧拉反射公式推导核心关系 #

欧拉反射公式是伽马函数的核心恒等式之一，对所有非整数的复数$z$都成立：
$$\Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin(\pi z)}$$

当$z=i$时，代入可得：
$$\Gamma(i)\Gamma(1-i) = \frac{\pi}{\sin(\pi i)}$$

接下来处理右边的$\sin(\pi i)$，利用双曲函数和三角函数的转换关系$\sin(ix) = i\sinh(x)$，可得$\sin(\pi i) = i\sinh(\pi)$，代入后等式变为：
$$\Gamma(i)\Gamma(1-i) = \frac{\pi}{i\sinh(\pi)} = -\frac{i\pi}{\sinh(\pi)}$$

结合共轭性质求模与完整形式 #

伽马函数有一个共轭性质：$\overline{\Gamma(z)} = \Gamma(\overline{z})$（因为积分中每一项取共轭后，对应$z$取共轭的积分结果），而$i$的共轭是$-i$，所以$\overline{\Gamma(i)} = \Gamma(-i)$。

再用伽马函数的递推公式$\Gamma(1+z) = z\Gamma(z)$，变形可得$\Gamma(1-i) = (-i)\Gamma(-i)$，把$\Gamma(-i) = \overline{\Gamma(i)}$代入后：
$$\Gamma(1-i) = (-i)\overline{\Gamma(i)}$$

将这个结果代回反射公式的等式：
$$\Gamma(i) \times (-i)\overline{\Gamma(i)} = -\frac{i\pi}{\sinh(\pi)}$$

左边的$\Gamma(i)\overline{\Gamma(i)}$就是$|\Gamma(i)|^2$（复数模的平方），整理后两边约去$-i$，就能得到$\Gamma(i)$的模：
$$|\Gamma(i)| = \sqrt{\frac{\pi}{\sinh(\pi)}}$$

如果要完整的复数形式，$\Gamma(i)$的辐角可以通过对数伽马函数的虚部确定，最终闭合形式可表示为：
$$\Gamma(i) = \sqrt{\frac{\pi}{\sinh(\pi)}} \exp\left( -i \left( \gamma + \int_{0}^{\infty} \frac{\sin(t)}{t(e^{\pi t} - 1)} dt \right) \right)$$
其中$\gamma$是欧拉-Mascheroni常数（约0.5772），不过如果只是用来计算虚数阶积分，保留$\Gamma(i)$的表达式，或者用它的数值近似（$\Gamma(i) \approx 0.4980 - 0.1549i$）就足够了。

为什么分部积分没奏效？ #

你之前尝试分部积分，其实对于复数$z$，伽马函数的递推公式$\Gamma(z) = \frac{\Gamma(z+1)}{z}$是成立的，但对于$z=i$，这只会把问题转化为求$\Gamma(1+i)$，而$\Gamma(1+i) = \int_{0}^{\infty} t^i e^{-t}dt$，这个积分很难用分部积分直接得到闭合形式，所以用欧拉反射公式是更高效的路径。

最后，如果你想继续探索虚数阶积分的话，这个属于复阶分数微积分的范畴，里面还有很多有趣的性质可以挖掘呢！

备注：内容来源于stack exchange，提问作者Study Jee