[论文解读] Spectral and Tiling properties of the Unit Cube

Alex Iosevich, Steen Pedersen|arXiv (Cornell University)|Apr 8, 2001

Mathematical Analysis and Transform Methods参考文献 13被引用 14

一句话总结

本文建立了基本等价关系：离散集 𝒯 ⊂ ℝᵈ 是单位立方体 𝒬 = [0,1)ᵈ 的谱当且仅当平移集 𝒬 + t（t ∈ 𝒯）构成 ℝᵈ 的一个密铺。证明的核心在于贝塞尔不等式、普朗歇尔定理以及一个保持谱性质或密铺性质的滑动引理，凯勒定理在证明密铺集所对应的指数函数正交性方面起到关键作用。主要贡献在于在不假设格点结构的前提下，对单位立方体的谱集与密铺集进行了完整刻画。

ABSTRACT

Let $\Q=[0,1)^d$ denote the unit cube in $d$-dimensional Euclidean space \Rd and let \T be a discrete subset of \Rd. We show that the exponentials $e_t(x):=exp(i2πtx)$, $t\in\T$ form an othonormal basis for $L^2(\Q)$ if and only if the translates $\Q+t$, $t\in\T$ form a tiling of \Rd.

研究动机与目标

• 为解决如下猜想提供证明：一个集合存在指数函数的正交基（即谱）当且仅当其平移集密铺 ℝᵈ。
• 在不假设格点结构的前提下，建立单位立方体在 ℝᵈ 中谱性质与密铺性质之间的精确等价关系。
• 提出一种新的谱-密铺对偶性证明技术，不同于以往工作，利用平移不变性与傅里叶分析。
• 阐明凯勒定理在连接密铺集与 L²(𝒬) 中正交指数函数之间所起的作用。

提出的方法

• 利用贝塞尔不等式证明：若 {eₜ}ₜ∈𝒯 是 L²(𝒬) 中的规范正交基，则当贝塞尔不等式取等号时，f ∈ L²(𝒬) 属于 {eₜ} 的闭线性张成。
• 应用普朗歇尔定理，将 χ𝒬 的傅里叶变换的 L² 范数与平移集 𝒬 + t 的密铺性质联系起来。
• 引入一个滑动引理（引理 3.3），允许在保持谱性质或密铺性质的前提下对集合的某部分进行平移。
• 通过在平移向量差异非整数的坐标数上进行归纳，将问题约化为差异为整数的情形。
• 利用凯勒定理证明：若存在密铺集 𝒯，则指数函数 {eₜ}ₜ∈𝒯 在 L²(𝒬) 中正交。
• 通过结合密铺性、普朗歇尔定理以及指数函数的正交性，证明贝塞尔不等式中的等式几乎处处成立。

实验结果

研究问题

• RQ1 在 ℝᵈ 中，单位立方体的每个密铺集是否必然构成 L²(𝒬) 的谱？
• RQ2 即使不假设格点结构，单位立方体的谱性质能否完全由密铺条件刻画？
• RQ3 特征函数 χ𝒬 的傅里叶分析与 𝒬 的平移在 ℝᵈ 中的密铺之间存在何种精确关系？
• RQ4 能否仅使用调和分析工具（如普朗歇尔定理和贝塞尔不等式）证明谱-密铺对偶性？
• RQ5 是否存在一种构造性方法，可在平移集合元素时保持其谱性质或密铺性质？

主要发现

• 离散集 𝒯 ⊂ ℝᵈ 是单位立方体 𝒬 = [0,1)ᵈ 的谱当且仅当平移集 {𝒬 + t}ₜ∈𝒯 构成 ℝᵈ 的一个密铺。
• 指数函数 {eₜ(x) = exp(i2πtx)} 构成 L²(𝒬) 的规范正交基当且仅当平移集 𝒬 + t 密铺 ℝᵈ。
• 当 𝒯 为密铺集时，指数函数 {eₜ}ₜ∈𝒯 的正交性可直接由凯勒定理推出。
• 当 𝒯 为密铺集时，指数函数 {eₜ}ₜ∈𝒯 在 ℝᵈ 几乎处处满足贝塞尔不等式中的等式，这意味着这些指数函数张成 L²(𝒬)。
• 证明任意密铺集为谱集时，利用普朗歇尔定理与密铺性质，表明 ∑ₜ∈𝒯 |⟨eₛ, eₜ⟩|² = 1 几乎处处成立于 ℝᵈ。
• 滑动引理（引理 3.3）允许在保持谱结构或密铺结构的前提下对集合的某部分进行平移，从而实现将问题归纳化简至更简单的情形。