[论文解读] A Simple Crystalline Measure

Alexander Olevskiı̆, Alexander Ulanovskii|arXiv (Cornell University)|Jun 22, 2020

Crystallization and Solubility Studies参考文献 11被引用 6

一句话总结

本文通过使用具有虚频率的指数多项式对，提出了一种非平凡晶体测度的简单构造方法。利用此类多项式零点集导出的泊松型求和公式，作者证明了$\mathrm{Exp}_r$中的某些指数多项式可生成其支撑集不包含无限等差数列的晶体测度——从而在调和分析中提供了明确可构造的准晶体结构实例。

ABSTRACT

We prove that every pair of exponential polynomials with imaginary frequencies generates a Poisson-type formula.

研究动机与目标

• 构造支撑集不包含无限等差数列的非平凡晶体测度的显式例子。
• 为具有虚频率的指数多项式的零集所生成的均匀离散集建立泊松型求和公式。
• 证明此类测度的傅里叶变换同样是纯离点的，满足晶体测度的定义。
• 提供一种系统方法，从$\mathrm{Exp}$与$\mathrm{Exp}_s$中的指数多项式对（系数有界）生成晶体测度。
• 通过零点集分析与整函数傅里叶分析，拓展先前构造，提供更简单、更清晰的框架。

提出的方法

• 该方法依赖于一对指数多项式$\psi \in \mathrm{Exp}$与$\varphi \in \mathrm{Exp}_s$，其中$\varphi$具有单零点，且其零点集$\Lambda_\varphi$为均匀离散集。
• 推导出泊松型公式：$\sum_{\lambda \in \Lambda_\varphi} c_\lambda f(\lambda) = \sum_{s \in S} a_s \hat{f}(s)$，其中$c_\lambda = \psi(\lambda)/\varphi'(\lambda)$，且$S \subset \mathbb{R}$满足多项式增长。
• 该公式对满足$f(x+iy) \in \mathcal{S}(\mathbb{R})$（固定$y$）的整函数$f$成立，确保两边绝对收敛。
• 当$\varphi \in \mathrm{Exp}_r$（实零点集）时，系数$a_s$有界，且公式可延拓至$f \in \mathcal{S}(\mathbb{R})$，从而可应用标准傅里叶分析。
• 构造使用复分析工具，包括围道积分与罗西定理，以验证零点分布与增长条件。
• 通过贝塞尔不等式及一个具有紧致傅里叶支撑的测试函数$\psi_{\beta,s}$，控制$L^1$-范数并分离各项，从而证明$a_s$的有界性。

实验结果

研究问题

• RQ1 能否为具有虚频率的指数多项式的零点集构造泊松型求和公式，即使零点集并非等差数列？
• RQ2 在何种$\psi$与$\varphi$条件下，公式$\sum_{\lambda \in \Lambda_\varphi} c_\lambda f(\lambda) = \sum_{s \in S} a_s \hat{f}(s)$成立，且系数有界、$S$局部有限？
• RQ3 此类公式能否生成测度$\mu = \sum_{\lambda \in \Lambda_\varphi} c_\lambda \delta_\lambda$，其傅里叶变换亦为纯离点测度？
• RQ4 是否可仅通过初等指数多项式构造支撑集避开无限等差数列的晶体测度？
• RQ5 在假设$\Lambda_\varphi \subset \mathbb{R}$的条件下，如何建立傅里叶系数$a_s$的有界性？

主要发现

• 每对$\psi \in \mathrm{Exp}$，$\varphi \in \mathrm{Exp}_s$，满足$\Lambda_\varphi \not\subset \Lambda_\psi$，均生成具有有界系数$c_\lambda = \psi(\lambda)/\varphi'(\lambda)$的泊松型公式。
• 当$\varphi \in \mathrm{Exp}_r$时，公式对所有$f \in \mathcal{S}(\mathbb{R})$成立，且傅里叶系数$a_s$有界。
• 当$\varphi \in \mathrm{Exp}_r$时，测度$\mu = \sum_{\lambda \in \Lambda_\varphi} \delta_\lambda$为晶体测度，因其傅里叶变换为在局部有限集上支撑的纯离点测度。
• 对于$\varphi(z) = \sin \pi z + \delta \sin z$且$0 < \delta \leq 1/2$，零点集$\Lambda_\varphi = \{k + \delta_k : k \in \mathbb{Z}\}$满足$|\delta_k| \leq 1/6$，为均匀离散集，且不包含无限等差数列。
• 通过反证法证明零点集避免等差数列：若$\alpha + \beta \mathbb{Z} \subset \Lambda_\varphi$，则$\beta$必为无理数（导致投影稠密）或有理数（导致零点集周期性），二者均与$\varphi$的结构矛盾。
• 该构造可推广至$\varphi(z) = \sin \pi z + \sum_{j=1}^n d_j \sin \alpha_j z$，其中$\sum |d_j| \leq 1/2$且至少一个$\pi/\alpha_j$为无理数，此时可得到具有非等差支撑的类似晶体测度。