含参积分的渐进分析

原题: 011_analysis

背景

在数学分析中，常常会遇到含有大参数的积分问题，例如

$$I_n = \int_a^b f_n(x)\,dx, \quad n \to \infty.$$

这类问题的核心并不只是把积分算出来，而是判断当参数 $n$ 很大时，积分的主要贡献来自区间的哪一部分，以及它的主导量级是什么。对此，渐近分析提供了一个非常重要的思想工具，这就是 Laplace 方法。

Laplace 方法的基本思想可以概括为：当积分中含有形如

$$e^{\lambda \phi(x)}, \quad \lambda \to \infty,$$

这样的“大参数指数因子”时，整个积分的主要贡献通常集中在 $\phi(x)$ 取最大值的点附近。这是因为指数函数对函数值的大小极其敏感，哪怕 $\phi(x)$ 只比别处略大一点，在乘上大的参数 $\lambda$ 后，都会使对应部分的贡献迅速放大，从而主导整个积分的渐近行为。换句话说，在大参数情形下，积分不再是全区间平均发力，而往往是最大值附近一枝独秀。

这一思想不仅适用于标准的指数型积分，也可以推广到许多表面上不是指数形式、但实质上具有同样结构的积分。例如，对于

$$\int_0^a x^n f(x)\,dx,$$

我们可以写成

$$\int_0^a e^{n\ln x}f(x)\,dx.$$

于是，这个积分实际上也具有 Laplace 方法的典型形式，其中指数中的函数为

$$\phi(x)=\ln x.$$

由于 $\ln x$ 在区间 $[0,a]$ 上单调递增，因此它的最大值出现在右端点 $x=a$。这说明，当 $n \to \infty$ 时，积分

$$\int_0^a x^n f(x)\,dx$$

的主要贡献通常集中在右端点 $x=a$ 附近，而不是来自整个区间。这就是所谓的端点主导现象。

在具体问题中，确定了主贡献区域之后，还需要进一步考察被积函数中其余部分在该点附近的局部行为。例如，如果 $f(a)\neq 0$，那么它在端点附近可以近似看作常数；而如果 $f(a)=0$，那么就需要继续分析它在该点附近消失的阶数。正是这些局部性质，决定了积分主项的具体量级，也决定了不同积分之间的大小比较。

下面这道题正是这种思想的一个典型应用。考察两个含参数积分之比的极限：

$$\int_0^{\pi/2}x^n\sin x\,dx, \qquad \int_0^{\pi/2}x^n\cos x\,dx.$$

由于二者都含有因子 $x^n$，当 $n\to\infty$ 时，它们的主要贡献都集中在区间右端点 $x=\pi/2$ 附近。因此，问题的关键不在于分别精确求出两个积分，而在于比较 $\sin x$ 和 $\cos x$ 在端点 $x=\pi/2$ 附近的局部行为。

注意到

$$\sin\left(\frac{\pi}{2}\right)=1, \qquad \cos\left(\frac{\pi}{2}\right)=0,$$

这表明在右端点附近，$\sin x$ 保持非零，而 $\cos x$ 则在该点消失。于是，虽然两个积分都由 $x=\pi/2$ 附近主导，但分母中的 $\cos x$ 会比分子中的 $\sin x$ 多损失一个小量因子，从而使两个积分的量级不同。为了使它们的比值乘上 $n^\alpha$ 后收敛为非零有限常数，就需要准确判断这种量级差异，并选择合适的幂次进行平衡。

题目

设 $\alpha\in\mathbb{R}$，$A\in\mathbb{R}$，且 $A\neq 0$。已知

$$\lim_{n\to\infty} n^\alpha \frac{\int_0^{\pi/2}x^n\sin x\,dx} {\int_0^{\pi/2}x^n\cos x\,dx}=A.$$

求常数 $A$ 的值。

下载题目文件

📥 下载《011_analysis.tmu》题目文件

提交要求：

1. 将答案写在《011_analysis.tmu》文件末尾
2. 重命名为：011_你的姓名_学校.tmu
3. 发送至：jiadong@liii.pro
4. 截止时间：本周日 23:59

奖品： 《我的几何人生》丘成桐（首位答对者将获得特别奖品，所有答对者获得一个月 Liii STEM 会员）

参与方式： 见主页

← 返回每周一题活动主页