非驻相分部积分 | Codeboy's Blog

复指数 $e^{i\lambda\phi(t)}$ 的绝对值始终为 1。积分随 $\lambda$ 增大而变小，靠的是方向不同的复数互相抵消，不能用指数衰减解释。如果相位的导数不为零，就可以把这种抵消写进一个精确的分部积分公式。

形式陈述

从一次分部积分开始

设 $a<b$ ，实函数 $\phi\in C^2([a,b])$ 、复振幅 $A\in C^1([a,b])$ ，且存在 $c>0$ 使相位导数满足 $|\phi'(t)|\ge c$ 。定义复值 Riemann 积分

I(\lambda)=\int_a^b A(t)e^{i\lambda\phi(t)}\,dt,\qquad\lambda>0.

由链式法则， $d(e^{i\lambda\phi})/dt=i\lambda\phi'e^{i\lambda\phi}$ 。对乘积导数应用微积分基本定理，即得分部积分恒等式

I(\lambda)= \left[\frac{A(t)e^{i\lambda\phi(t)}}{i\lambda\phi'(t)}\right]_a^b -\frac1{i\lambda}\int_a^b \left(\frac A{\phi'}\right)'(t)e^{i\lambda\phi(t)}\,dt.

把绝对值移入最后一个积分，得到可直接核验的界

|I(\lambda)|\le\frac1\lambda \left[ \frac{|A(a)|}{|\phi'(a)|}+\frac{|A(b)|}{|\phi'(b)|} +\int_a^b\left|\left(\frac A{\phi'}\right)'\right|dt \right].

因此固定振幅和相位时 $I=O(\lambda^{-1})$ 。相比粗界 $|I|\le\int|A|$ ，这里额外得到的 $1/\lambda$ 正是振荡抵消的收益。

直觉

端点不会自动消失

取 $A=1,\phi(t)=t,[a,b]=[0,1]$ ，有精确公式

\int_0^1e^{i\lambda t}\,dt=\frac{e^{i\lambda}-1}{i\lambda}.

由于导数振幅为零，所有贡献都来自端点。沿 $\lambda=2\pi n$ 积分恰为零；沿 $\lambda=(2n+1)\pi$ ，模长为 $2/\lambda$ 。所以这里有统一的 $O(\lambda^{-1})$ ，却没有一个非零常数 $C$ 使积分始终等价于 $C/\lambda$ ，更不能仅因振幅无限光滑就宣称任意次幂衰减。

这也解释了截断一个光滑函数为何会制造慢衰减：突然截断产生边界贡献，即使区间内部的函数很平滑。

例子与边界

在哪里必须停下来

若 $\phi'(t_0)=0$ ，分母 $1/\phi'$ 可能发散。例子 $\phi(t)=t^2/2$ 在零点驻定，那里不能继续套用本页公式；应切分积分，把远离零点的部分交给本方法，把零附近交给驻相法。

“导数非零”还必须在参数族里有统一下界。对 $\phi_\mu(t)=\mu t$ ，固定 $\mu\ne0$ 时可得 $O((\lambda|\mu|)^{-1})$ 。若 $\mu=1/\lambda$ ，实际振荡频率只有 1，积分不随 $\lambda$ 衰减。省略隐藏常数对 $\mu$ 的依赖，会把一个正确的固定参数结论误用成错误的一致结论。

复算时可以先用本页的两个精确线性相位例子检查 $i$ 的符号和端点方向，再处理非线性相位。一个漂亮的数值抵消结果只能验证特定参数；可靠的衰减阶来自分部积分后的导数范数及其参数依赖。

推论与应用

反复积分时保留什么不变量

令

A_0=A,\qquad A_{k+1}=\left(\frac{A_k}{\phi'}\right)'.

只要相位和振幅足够光滑，反复应用同一个公式便得

I(\lambda)= \sum_{k=0}^{N-1}\frac{(-1)^k}{(i\lambda)^{k+1}} \left[\frac{A_k(t)}{\phi'(t)}e^{i\lambda\phi(t)}\right]_a^b +\frac{(-1)^N}{(i\lambda)^N}\int_a^b A_N(t)e^{i\lambda\phi(t)}dt.

每一轮的不变量是“已累计的端点项 + 当前缩放余积分，严格等于原积分”。余积分模长至多 $\lambda^{-N}\|A_N\|_{L^1}$ 。如果希望写出 $N$ 个端点项后余项为 $O(\lambda^{-N-1})$ ，还需再做一次分部积分并界定相应导数；不能只从当前这个粗界多写出一阶。

例如 $A(t)=t,\phi(t)=t$ 。有 $A_1=1,A_2=0$ ，两轮后得到精确结果

\int_0^1t e^{i\lambda t}\,dt =\frac{e^{i\lambda}}{i\lambda}+\frac{e^{i\lambda}-1}{\lambda^2}.

这是一种有限算法：给定可求导的振幅与相位表达式，递推生成端点项和残差。需要 $N$ 轮微分和积分上界评估；表达式可能迅速膨胀，不能在未指定表示方式时把总计算成本简单写成 $O(N)$ 。

光滑支撑为何给出任意阶衰减

若 $A$ 在端点附近恒为零，则 $A_k$ 也在端点附近为零，全部边界项消失。若 $A,\phi$ 无限光滑，且 $\phi'$ 在 $A$ 的支撑附近远离零，则对每个固定整数 $N$ ，

|I(\lambda)|\le C_N\lambda^{-N}.

常数 $C_N$ 可随 $N$ 增长，因此这是“比每个固定负幂都快”，不自动意味着存在 $Ce^{-c\lambda}$ 的指数上界。光滑性与解析性不能混为一谈。

对 Fourier 变换采用的约定

\widehat A(\xi)=\int_{\mathbb R}A(t)e^{-2\pi i t\xi}\,dt,

若 $A\in C_c^\infty(\mathbb R)$ ，令线性相位 $\phi(t)=-t$ 、参数 $\lambda=2\pi|\xi|$ 并处理频率符号，便得到频谱的任意阶衰减。这里比一般 $L^1$ 输入的“趋于零”更强，来自额外的可微性和无边界跳跃。

参考资料

NIST Digital Library of Mathematical Functions, §2.3(i) Integration by Parts，实变量振荡积分的端点展开。
John K. Hunter, Asymptotic Analysis and Singular Perturbation Theory, §3.3，非驻定区域的积分估计和 Fresnel 积分尾部。
Elias M. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, 1993, Chapter VIII，振荡积分估计。

形式陈述 ​

从一次分部积分开始 ​

端点不会自动消失 ​

在哪里必须停下来 ​

反复积分时保留什么不变量 ​

光滑支撑为何给出任意阶衰减 ​