[论文解读] Uniqueness Theorems for Fourier Quasicrystals and Temperate Distributions with Discrete Support

S. Favorov|arXiv (Cornell University)|Jun 13, 2020

Analytic and geometric function theory被引用 4

一句话总结

本文通过证明：若两个此类分布的支集在无穷远处渐近接近且对应点的质量匹配，则它们必完全相同，从而建立了傅里叶准晶体与离散温带分布的唯一性定理。关键结果是：支集与质量在渐近意义下的接近性意味着完全相等，即使在支集的稀疏性和局域性条件被弱化的情况下，只要集合具有特定的几何密度，结论依然成立。

ABSTRACT

It is proved that if some points of the supports of two Fourier quasicrystals approach each other while tending to infinity and the same is true for the masses at these points, then these quasicrystals coincide. A similar statement is obtained for a certain class of discrete temperate distributions.

研究动机与目标

• 基于支集与质量在无穷远处的渐近行为，建立两个傅里叶准晶体或离散温带分布必须完全相同的条件。
• 将先前关于几乎周期函数与零点集的结果推广至具有离散支集与谱的更广泛分布类。
• 在保持渐近接近性条件的前提下，弱化稀疏性与均匀离散性的假设。
• 将理论扩展至非测度类分布，包括具有离散结构的原子或温带分布。
• 探究唯一性原理是否适用于除原子情形外的几乎周期测度，特别是当成分中混有绝对连续部分时。

提出的方法

• 将稀疏傅里叶准晶体定义为傅里叶变换为原子型且总变差测度亦为温带的离散温带分布。
• 通过对偶性在温带分布上使用傅里叶变换：⟨f̂, φ⟩ = ⟨f, φ̂⟩ 对所有 φ ∈ S(ℝ^d) 成立。
• 引入集合 E 上的几何条件 (4)：存在球体 B(x_k, r_k)，其中 r_k → ∞ 且 r_k/|x_k| → 0，确保 E 在无穷远处足够稠密。
• 应用由具有紧支集导数的测试函数 ψ_t 导出的平移函数 H(t) = f(ψ_t) − g(ψ_t) 的几乎周期性。
• 通过反证法：若 H(t) 在某点非零但沿相对稠密集 |H(t)| → 0，则产生矛盾。
• 利用测试函数导数的处处连续且有界性，使得远处分布系数的取值可由局部行为近似。

实验结果

研究问题

• RQ1 在何种条件下，两个具有渐近接近支集与质量的傅里叶准晶体必然重合？
• RQ2 唯一性结果能否从均匀离散或稀疏测度推广至更一般的离散温带分布？
• RQ3 若支集与质量沿满足条件 (4) 的集合 E 逼近，即使无全局稀疏性，两个分布是否仍重合？
• RQ4 唯一性原理能否推广至同时包含原子与绝对连续成分的分布？
• RQ5 唯一性结果是否对一般几乎周期测度成立，而不仅限于具有离散谱与支集的情形？

主要发现

• 若两个稀疏傅里叶准晶体 μ 与 ν 满足 λ_n − γ_n → 0 且 μ(λ_n) − ν(γ_n) → 0（当 n → ∞ 时），则 μ ≡ ν。
• 唯一性条件可局部化：若在满足性质 (4) 的集合 E 上，支集与质量渐近接近，则 μ ≡ ν，即使无全局稀疏性亦成立。
• 结果可推广至分组支集情形：若 μ 与 ν 为原子型，且其分量 Λ_n, Γ_n 满足 diam(Λ_n ∪ Γ_n) → 0 且 μ(Λ_n) − ν(Γ_n) → 0，则 μ ≡ ν。
• 证明依赖于构造一个几乎周期函数 H(t) = f(ψ_t) − g(ψ_t)，其在某点非零但沿相对稠密集趋于零，从而导出矛盾。
• 该方法适用于一般离散温带分布，而不仅限于测度，通过分析分布系数在平移与局域化下的行为实现。
• 即使测度的总变差不属于 S*(ℝ^d)，结论依然成立，从而放宽了经典傅里叶准晶体理论中的标准假设。