独立正态随机变量乘积的右尾渐近分析

设 $X_1,\dots,X_n$ 为独立正态随机变量，满足 $X_i\sim N(\mu_i,\sigma_i^2)$，并设 $Z=\prod_{i=1}^n X_i$。我们推导当 $x\to\infty$ 时右尾概率 $\mathbb{P}(Z>x)$ 的渐近近似。当至少有一个均值非零时，渐近公式保持显式形式，涉及来自可接受符号模式（反映乘积为正的不同方式）的有限乘法因子；其中包含阶为 $x^{-1/n}$ 的显式第一相对校正项，其余相对误差为 $O(x^{-2/n})$。该证明使用边界鞍点/拉普拉斯方法：首先在边界鞍点附近进行多维拉普拉斯近似，然后进行一维端点拉普拉斯近似。