[论文解读] The $abc$-problem for Gabor systems

Xin-Rong Dai, Qiyu Sun|arXiv (Cornell University)|Apr 29, 2013

Mathematical Analysis and Transform Methods参考文献 30被引用 25

一句话总结

本文通过完全分类所有满足条件的三元组 $(a,b,c)$，解决了Gabor系统中的$abc$-问题，即当区间$I$的长度为$c$时，由特征函数$χ_I$生成的Gabor系统在$L^2(\mathbb{R})$中构成框架的条件。研究建立了Gabor框架性质与一个分段线性变换下最大不变集的平凡性之间的等价关系，采用新颖的动力系统技术，涉及非遍历性、非压缩性和非测度保持性映射。

ABSTRACT

A Gabor system generated by a window function $ϕ$ and a rectangular lattice $a \Z imes \Z/b$ is given by $${\mathcal G}(ϕ, a \Z imes \Z/b):=\{e^{-2πi n t/b} ϕ(t- m a):\ (m, n)\in \Z imes \Z\}.$$ One of fundamental problems in Gabor analysis is to identify window functions $ϕ$ and time-frequency shift lattices $a \Z imes \Z/b$ such that the corresponding Gabor system ${\mathcal G}(ϕ, a \Z imes \Z/b)$ is a Gabor frame for $L^2(\R)$, the space of all square-integrable functions on the real line $\R$. In this paper, we provide a full classification of triples $(a,b,c)$ for which the Gabor system ${\mathcal G}(χ_I, a \Z imes \Z/b)$ generated by the ideal window function $χ_I$ on an interval $I$ of length $c$ is a Gabor frame for $L^2(\R)$. For the classification of such triples $(a, b, c)$ (i.e., the $abc$-problem for Gabor systems), we introduce maximal invariant sets of some piecewise linear transformations and establish the equivalence between Gabor frame property and triviality of maximal invariant sets. We then study dynamic system associated with the piecewise linear transformations and explore various properties of their maximal invariant sets. By performing holes-removal surgery for maximal invariant sets to shrink and augmentation operation for a line with marks to expand, we finally parameterize those triples $(a, b, c)$ for which maximal invariant sets are trivial. The novel techniques involving non-ergodicity of dynamical systems associated with some novel non-contractive and non-measure-preserving transformations lead to our arduous answer to the $abc$-problem for Gabor systems.

研究动机与目标

• 完全分类所有满足条件的三元组$(a,b,c)$，使得Gabor系统${\mathcal{G}}(\chi_I, a\mathbb{Z} \times \mathbb{Z}/b)$构成$L^2(\mathbb{R})$的框架，其中$I$是长度为$c$的区间。
• 通过刻画理想窗函数$\chi_I$的框架条件，解决长期存在的Gabor系统$abc$-问题。
• 建立Gabor框架性质与特定分段线性变换$R_{a,b,c}$下最大不变集平凡性之间的深刻联系。
• 为分析这些不变集，发展针对非遍历性、非压缩性和非测度保持性变换的新动力系统技术。

提出的方法

• 在$\mathbb{R}/a\mathbb{Z}$上引入一个分段线性变换$R_{a,b,c}$，以建模Gabor系统中的时频平移。
• 将最大不变集$\mathcal{S}_{a,b,c}$定义为所有其正向轨道避开‘黑洞’区间$[c_0 + a - b, c_0) + a\mathbb{Z}$的点的集合。
• 建立等价关系：Gabor系统构成框架当且仅当$\mathcal{S}_{a,b,c} = \emptyset$，即最大不变集是平凡的。
• 使用去孔手术和标记直线上的增强操作，对具有平凡$\mathcal{S}_{a,b,c}$的三元组$(a,b,c)$进行参数化。
• 分别针对有理数和无理数$a/b$分析$R_{a,b,c}$的动力学，利用丢番图逼近和周期性性质。
• 证明$R_{a,b,c}$的非遍历性，并利用此性质推导出轨道无法稠密填充空间的条件，从而导致非平凡不变集的出现。

实验结果

研究问题

• RQ1 对于哪些三元组$(a,b,c)$，Gabor系统${\mathcal{G}}(\chi_I, a\mathbb{Z} \times \mathbb{Z}/b)$构成$L^2(\mathbb{R})$的框架，其中$I$是长度为$c$的区间？
• RQ2 Gabor框架性质与变换$R_{a,b,c}$下最大不变集结构之间的精确关系是什么？
• RQ3 变换$R_{a,b,c}$的动力学特性——特别是非遍历性和非测度保持性——如何影响非平凡不变集的存在性？
• RQ4 能否将框架参数的分类简化为变换$R_{a,b,c}$上的拓扑和动力学条件？
• RQ5 有理数或无理数$a/b$在决定$\mathcal{S}_{a,b,c}$的平凡性方面起到什么作用？

主要发现

• Gabor系统${\mathcal{G}}(\chi_I, a\mathbb{Z} \times \mathbb{Z}/b)$构成$L^2(\mathbb{R})$的框架当且仅当变换$R_{a,b,c}$下的最大不变集$\mathcal{S}_{a,b,c}$为空集。
• 当$a/b$为无理数时，$\mathcal{S}_{a,b,c} = \emptyset$当且仅当$R_{a,b,c}$下每个点的轨道最终进入黑洞$[c_0 + a - b, c_0) + a\mathbb{Z}$。
• 当$a/b = p/q$为最简分数形式的有理数时，$\mathcal{S}_{a,b,c} = \emptyset$当且仅当$c < \min\{a, b\}$，且满足关于$p,q$的某些丢番图条件。
• 通过结合去孔手术和标记直线上增强操作，对框架参数的分类实现了完全参数化。
• 证明揭示了$R_{a,b,c}$的动力学具有非遍历性和非测度保持性，即使在$a/b < 1$时，仍可能导致非平凡不变集的出现，这与遍历理论中的典型假设相反。
• 该结果为理想窗函数$\chi_I$的$abc$-问题提供了完整解法，其结果超越了已知的高斯窗和完全正定窗的情形。