[论文解读] When is the Fourier transform of an elementary function elementary?

Pavel Etingof, David Kazhdan+1 more|arXiv (Cornell University)|Mar 2, 2000

Mathematical Dynamics and Fractals参考文献 8被引用 5

一句话总结

本文研究了当一个初等函数（定义为相位函数与多项式乘法特征的乘积）的傅里叶变换本身是否仍为初等函数的条件。通过平稳相位近似，作者证明：当且仅当傅里叶变换的相位函数是原相位函数的勒让德变换时，该情况成立，从而通过预齐次向量空间与塞韦里簇，建立了调和分析与代数几何之间的深刻联系。关键结果是在局部域上，当相位函数为齐次三次型时，对这类函数进行了分类。

ABSTRACT

Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method.

研究动机与目标

• 确定在局部域上的向量空间上，初等函数的傅里叶变换何时仍为初等函数。
• 建立初等函数的傅里叶变换保持初等性的充要条件，尤其在阿基米德与非阿基米德情形下。
• 对相位函数 Q = f(x)/t 进行分类，其中 f 为齐次三次多项式，使得原函数与变换后函数均具有该形式。
• 将结果推广至局部域有限扩张中范数的单项式形式。
• 通过分布恒等式与 Γ 函数恒等式，将结果与猜想的代数几何积分理论相联系。

提出的方法

• 应用形式化平稳相位方法，推导出必要条件：变换后的相位函数必须是原相位函数的勒让德变换。
• 利用半经典条件，刻画初等函数的傅里叶变换保持初等性的条件。
• 对形如 Q = f(x)/t 的相位函数进行分类，其中 f 为齐次三次多项式，t 为附加变量，证明其对应于三次度的正则预齐次向量空间的相对不变量。
• 借助扎克对塞韦里簇的分类定理，证明此类三次相位函数的分类结果。
• 为任意局部域 F 上的单项式型初等函数的傅里叶变换推导显式公式。
• 将结果推广至涉及 F 的有限扩张范数的分布情形，特别在预齐次向量空间的背景下。

实验结果

研究问题

• RQ1 在非退化相位函数条件下，初等函数的傅里叶变换在何种条件下仍为初等函数？
• RQ2 傅里叶变换的相位函数何时对应于原相位函数的勒让德变换？
• RQ3 哪些齐次三次多项式可生成形如 Q = f(x)/t 的相位函数，使得 Q 及其傅里叶变换相位 Q* 均具有相同形式？
• RQ4 如何在任意局部域上显式计算涉及单项式或有限扩张范数的初等函数的傅里叶变换？
• RQ5 在弱与强意义下，哪些局部 L 函数与 Γ 因子之间的恒等式，支撑了傅里叶变换恒等式的成立？

主要发现

• 仅当变换后的相位函数 Q* 是原相位函数 Q 的勒让德变换时，具有相位函数 Q 的初等函数的傅里叶变换才是初等的，该条件被称为‘半经典条件’。
• 对于形如 Q = f(x)/t 的相位函数，其中 f 为齐次三次多项式，当且仅当 f 是三次度正则预齐次向量空间的相对不变量时，Q 与 Q* 均具有该形式，且仅有七种此类情况。
• 此类三次相位函数的分类依赖于扎克对塞韦里簇的分类定理，从而在调和分析与代数几何时建立了深刻联系。
• 在任意局部域 F 上，为单项式型初等函数的傅里叶变换推导出显式公式，该公式在弱意义下成立，并在特定情形下可扩展为强收敛。
• 关于 F ⊕ E 上分布 φ_E 的恒等式 (1.2)，涉及立方特征与范数，其成立为强意义，而不仅为弱意义，这一点通过在原点处直接验证局部常数性得以证明。
• 建立了循环扩张与非交换扩张情形下的 Γ 函数恒等式与分布层面的傅里叶变换恒等式，推广了已知结果，并支持了代数几何积分理论的猜想。