如何利用中心极限定理或其他方法证明余弦和函数的积分极限

嘿，这个问题用**鞍点法（拉普拉斯方法）**来解最直接，不过你提到的中心极限定理思路也能搭得上边，咱们一步步来拆解清楚：

一、先把积分转化为更易分析的形式 #

首先，原积分是在$[-\pi,\pi]^d$上的多重积分，我们可以把它和随机变量的期望联系起来：假设$x_1,x_2,\dots,x_d$是独立的、在$[-\pi,\pi]$上均匀分布的随机变量，令$Y_i = \cos(x_i)$，那么原积分可以写成：
$$(2\pi)^d \cdot \mathbb{E}\left[ \left( \sum_{i=1}^d Y_i \right)^{2n} \right]$$
代入原问题的表达式后，能简化成：
$$n^{d/2}d{-2n}\mathbb{E}\left[ \left( \sum_{i=1}^d Y_i \right)^{2n} \right]$$
这样我们就把积分问题转化为了随机变量和的矩的渐近分析问题。

二、用鞍点法直击核心（最直接的路径） #

当$n\to\infty$时，被积函数$(\sum_{i=1}^d \cos x_i)^{2n}$的主要贡献来自函数取最大值的区域——也就是所有$x_i=0$的点（因为$\cos x_i$的最大值是1，此时和为$d$）。我们在这个最大值点附近做变量替换来放大关键区域：

令$x_i = \frac{t_i}{\sqrt{n}}$，那么$dx_i = \frac{dt_i}{\sqrt{n}}$，整个$d$维体积元就变成$n^{-d/2}dt_1dt_2\cdots dt_d$。

接下来对$\cos x_i$做泰勒展开（只保留到二阶项，因为高阶项在$n\to\infty$时可以忽略）：
$$\cos\left(\frac{t_i}{\sqrt{n}}\right) = 1 - \frac{t_i^2}{2n} + o\left(\frac{1}{n}\right)$$
把所有项加起来：
$$\sum_{i=1}^d \cos x_i = d - \frac{1}{2n}\sum_{i=1}^d t_i^2 + o\left(\frac{1}{n}\right)$$

然后把这个代入被积函数，利用极限$\lim_{n\to\infty}(1+\frac{a}{n})^n = e^a$来化简：
$$\left( \sum_{i=1}^d \cos x_i \right)^{2n} = \left[ d\left(1 - \frac{\sum t_i^2}{2dn} + o\left(\frac{1}{n}\right)\right) \right]^{2n} \sim d^{2n} e^{-\frac{\sum t_i^2}{d}}$$

现在把积分区域扩展到整个$\mathbb{R}^d$（因为当$n$很大时，只有$t_i$在0附近的区域有显著贡献，边界的积分可以忽略），计算这个高斯积分：
$$\int_{\mathbb{R}^d} e^{-\frac{\sum t_i^2}{d}} dt_1\cdots dt_d = (\pi d)^{d/2}$$
（这是d维高斯积分的标准结果，一维高斯积分$\int_{-\infty}^\infty e^{-t2/(2\sigma^2)}dt = \sigma\sqrt{2\pi}$，这里$\sigma^2 = d/2$，d维就是一维结果的d次方）

最后把所有结果代回原表达式：
$$(2\pi)^{-d}n{d/2}d^{-2n} \cdot d^{2n} \cdot n^{-d/2} \cdot (\pi d)^{d/2} = (2\pi)^{-d} (\pi d)^{d/2} = 2\left( \frac{d}{4\pi} \right)^{d/2}$$
正好和题目要证的结果一致！

三、用中心极限定理的思路（绕一点但可行） #

如果一定要用CLT，我们可以结合正态近似和斯特林公式来推导：

首先，计算$Y_i = \cos x_i$的期望和方差：

• $\mathbb{E}[Y_i] = \frac{1}{2\pi}\int_{-\pi}^\pi \cos x dx = 0$
• $\mathbb{E}[Y_i^2] = \frac{1}{2\pi}\int_{-\pi}^\pi \cos^2 x dx = \frac{1}{2}$，所以方差$\sigma^2 = \frac{1}{2}$

令$S_d = \sum_{i=1}^d Y_i$，根据CLT，标准化后的变量$Z = \frac{S_d}{\sqrt{d\sigma^2}} = \frac{S_d}{\sqrt{d/2}}$会依分布收敛到标准正态分布$N(0,1)$。

对于标准正态变量$Z$，它的偶数矩$\mathbb{E}[Z^{2n}] = (2n-1)!! = \frac{(2n)!}{2^n n!}$，用斯特林公式$n! \sim n^n e^{-n}\sqrt{2\pi n}$来近似这个矩：
$$\mathbb{E}[Z^{2n}] \sim \frac{(2n)^{2n}e{-2n}\sqrt{4\pi n}}{2^n n^n e^{-n}\sqrt{2\pi n}} = 2^n n^n e^{-n}\sqrt{2}$$

把$S_d = Z\sqrt{d/2}$代入原表达式，经过化简后也能得到相同的极限结果，不过这个过程比鞍点法繁琐一些，因为需要处理矩的渐近近似。

总的来说，鞍点法是解决这类大指数积分极限问题的标准工具，思路更直接清晰。

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