[论文解读] Generalized Fresnel integrals as oscillatory integrals with positive real power phase functions and applications to asymptotic expansions

Toshio Nagano, Naoya Miyazaki|arXiv (Cornell University)|May 24, 2020

Mathematical functions and polynomials参考文献 11被引用 4

一句话总结

本文将Fresnel积分推广至形式为$x^p$（$p > 0$）的相位函数的振荡积分，利用复分析与解析延拓，推导出具有退化临界点的振荡积分的渐近展开。关键贡献在于为正实幂相位函数的积分提供了改进的渐近展开，通过广义Fresnel型积分将经典驻相法扩展至非退化与退化临界点。

ABSTRACT

In this paper, we first generalize the Fresnel integrals by changing of a path for integration in the proof of the Fresnel integrals by Cauchy's integral theorem. Next, according to oscillatory integral, we also obtain further generalization of the extended Fresnel integrals. Moreover by using this result, we have an asymptotic expansion of an oscillatory integral with a positive real parameter, for a phase function with a degenerate critical point expressed by positive real power, including a moderate oscillation, and for a suitable amplitude function. This result gives a finer extension of the stationary phase method in one variable, which is known as a method for an asymptotic expansion of an oscillatory integral of a phase function with a non-degenerate critical point.

研究动机与目标

• 通过围道积分与解析延拓，将经典Fresnel积分的相位函数从$x^2$推广至$x^p$（$p > 0$）
• 通过广义Fresnel积分，为具有正实幂相位函数和退化临界点的振荡积分建立严格的框架
• 将一元驻相法扩展至具有退化临界点的相位函数，包括中等振荡的情形
• 为比Schwartz空间更广类别的振幅函数（具体为$\mathcal{A}^{\tau}_{\delta}(\mathbb{R})$）提供渐近展开
• 将傅里叶变换的渐近行为推广至具有奇异临界点的相位函数，如$A_k$、$E_6$、$E_8$型

提出的方法

• 在复平面上使用扇形围道，对全纯函数$e^{-iz^p}z^{q-1}$应用柯西积分定理，以推广Fresnel积分
• 将广义Fresnel积分$\tilde{I}_{p,q}^{\pm}$定义为含截断函数$\chi(\varepsilon x)$的极限，通过振荡积分理论确保收敛性
• 对$p > 0$，$q > 0$，将$\tilde{I}_{p,q}^{\pm}$解析延拓为$\mathbb{C}$上的亚纯函数
• 利用$a(x)$在$x=0$处的泰勒展开及广义Fresnel积分，推导$\int_0^\infty e^{\pm i\lambda x^p} a(x) \chi(\varepsilon x) dx$在$\lambda \to \infty$时的渐近展开
• 对于$m \in \mathbb{N}$为偶数的情形，通过结合$x^m$与$(-x)^m$的贡献，将结果推广至整个实轴积分，得到系数$\tilde{c}_k^{\pm}$，其包含$\tilde{I}_{m,k+1}^{\pm}$与相位修正项
• 将该方法扩展至多变量情形，应用于具有退化临界点的相位函数，包括$A_k$、$E_6$、$E_8$型

实验结果

研究问题

• RQ1 经典Fresnel积分$\int_0^\infty e^{\pm i x^2} dx$如何推广至相位函数形式为$x^p$（$p > 0$）的情形？
• RQ2 当相位函数在$x=0$处具有退化临界点时，振荡积分$\int_0^\infty e^{\pm i\lambda x^p} a(x) dx$在$\lambda \to \infty$时的渐近行为是什么？
• RQ3 能否将一元驻相法扩展至具有非孤立或退化临界点的相位函数（如$m \geq 2$时的$x^m$）？
• RQ4 广义Fresnel积分$\tilde{I}_{p,q}^{\pm}$在构造此类振荡积分的渐近展开中起什么作用？
• RQ5 与Schwartz空间相比，振幅函数类$\mathcal{A}^{\tau}_{\delta}(\mathbb{R})$在实现此类渐近展开方面有何优势？

主要发现

• 广义Fresnel积分的表达式为$\tilde{I}_{p,q}^{\pm} = p^{-1} e^{\pm i \frac{\pi}{2} \frac{q}{p}} \varGamma\left(\frac{q}{p}\right)$，其中$p > 0$，$q > 0$，通过围道积分与解析延拓推导得出
• 当$p = m \in \mathbb{N}$时，$\int_{-\infty}^\infty e^{\pm i\lambda x^m} a(x) dx$在$\lambda \to \infty$时的渐近展开为$\sum_{k=0}^{N-m-1} \tilde{c}_k^{\pm} \frac{a^{(k)}(0)}{k!} \lambda^{-\frac{k+1}{m}} + O\left(\lambda^{-\frac{N-m+1}{m}}\right)$，其中$\tilde{c}_k^{\pm} = \tilde{I}_{m,k+1}^{+} + (-1)^k \tilde{I}_{m,k+1}^{\pm\pm_m}$
• 当$m=2$时，展开式简化为$\sqrt{\pi} \sum_{k=0}^{N-1} e^{\pm i \frac{\pi}{2}(k+\frac{1}{2})} \frac{a^{(2k)}(0)}{4^k k!} \lambda^{-k-\frac{1}{2}} + O(\lambda^{-N})$，与二次相位函数的已知结果一致
• 当$m=1$时，渐近展开对任意$N$均退化为$O(\lambda^{-2N})$，与$\mathcal{A}^{\tau}_{\delta}(\mathbb{R})$中光滑函数的傅里叶变换快速衰减一致
• 该方法可推广至多变量情形，并适用于$A_k$、$E_6$、$E_8$等奇异相位函数，表明其在奇点理论与渐近分析中具有更广泛的应用潜力
• 类$\mathcal{A}^{\tau}_{\delta}(\mathbb{R})$允许比Schwartz空间更广的振幅函数，使得在更弱的衰减与光滑性条件下，渐近展开仍能成立