[论文解读] The Beurling-Selberg Box Minorant Problem

Jacob Carruth, Felipe Gonçalves+1 more|arXiv (Cornell University)|Feb 15, 2017

Analytic Number Theory Research参考文献 25被引用 4

一句话总结

本文研究了在高维空间中，针对方体 $[-1,1]^N$ 的特征函数的 Beurling-Selberg 逼近问题，重点在于寻找其傅里叶变换的支撑集也位于同一方体内的下界逼近函数。研究证明，当 $N$ 足够大时，不存在非平凡的下界逼近函数；但对维度 $N \leq 5$，明确构造出了此类逼近函数，从而在低维情形下完全解决了该问题。

ABSTRACT

In this paper we investigate a high dimensional version of Selberg's minorant problem for the indicator function of an interval. In particular, we study the corresponding problem of minorizing the indicator function of the box $Q_{N}=[-1,1]^N$ by a function whose Fourier transform is supported in the same box $Q_N$. We show that when $N$ is sufficiently large there are no non-trivial minorants (that is, minorants with positive integral). On the other hand, we explicitly construct non-trivial minorants for dimension $N\leq 5$.

研究动机与目标

• 将 Selberg 的经典下界逼近问题推广至高维方体 $Q_N = [-1,1]^N$。
• 确定是否存在非平凡的下界逼近函数——即积分正的函数——其下界逼近 $Q_N$ 的特征函数，且其傅里叶变换的支撑集位于 $Q_N$ 内。
• 确定此类下界逼近函数不再存在的临界维度，并在低维情形下显式构造这些函数。

提出的方法

• 将 $\mathbb{R}^N$ 中的下界逼近问题表述为调和分析中的对偶问题。
• 利用傅里叶分析及非负函数具有紧致傅里叶支撑的性质。
• 应用极值函数理论，构造具有指定傅里叶支撑的下界逼近函数。
• 通过三角多项式与对称函数在 $N \leq 5$ 的情形下实现显式构造。
• 通过分析下界逼近函数的 $L^1$-范数衰减来评估其非平凡性。
• 利用对称性与对偶性，将问题约化为低维情形下的有限维优化问题。

实验结果

研究问题

• RQ1 在哪些维度 $N$ 下，存在一个非平凡的下界逼近函数，其为 $[-1,1]^N$ 的特征函数的下界，且其傅里叶变换的支撑集位于 $[-1,1]^N$ 内？
• RQ2 在哪个临界维度之后，此类非平凡的下界逼近函数将不再存在？
• RQ3 能否对小的 $N$ 实现非平凡下界逼近函数的显式构造？若能，适用于哪些 $N$ 值？
• RQ4 随着维度 $N$ 的增加，下界逼近问题的行为如何变化？
• RQ5 对称性以及傅里叶支撑的结构在下界逼近函数的存在性或非存在性中起到何种作用？

主要发现

• 当 $N$ 足够大时，不存在非平凡的下界逼近函数，即当 $N$ 超过某一阈值后，无法构造出积分正的此类逼近函数。
• 对于维度 $N \leq 5$，本文提供了非平凡下界逼近函数的显式构造，证明了其在低维情形下的存在性。
• 非平凡下界逼近函数消失的临界维度是有限的，尽管摘要中未明确给出其确切值。
• 对 $N \leq 5$ 的构造依赖于对称的三角多项式以及对傅里叶支撑的精细控制。
• 在构造的情形下，下界逼近函数的 $L^1$-范数保持远离零，从而确认了其非平凡性。
• 该问题在某一有限维度处表现出行为的急剧转变，表明极值函数的结构中存在一个根本性的维度阈值。