[论文解读] Fourier bases and Fourier frames on self-affine measures

Dorin Ervin Dutkay, Chun Kit Lai+1 more|arXiv (Cornell University)|Feb 15, 2016

Mathematical Analysis and Transform Methods参考文献 21被引用 3

一句话总结

本文提出一种矩阵分析方法，用于确定自仿射测度上的傅里叶基与框架，解决了长期存在的猜想：Hadamard三元组生成谱自仿射测度。该研究证明了在奇异分形测度上存在非平凡的傅里叶框架，并为探究中间三分之一康托测度是否具有傅里叶框架开辟了新路径。

ABSTRACT

This paper gives a review of the recent progress in the study of Fourier bases and Fourier frames on self-affine measures. In particular, we emphasize the new matrix analysis approach for checking the completeness of a mutually orthogonal set. This method helps us settle down a long-standing conjecture that Hadamard triples generates self-affine spectral measures. It also gives us non-trivial examples of fractal measures with Fourier frames. Furthermore, a new avenue is open to investigate whether the Middle Third Cantor measure admits Fourier frames.

研究动机与目标

• 解决长期存在的猜想：Hadamard三元组生成自仿射谱测度。
• 开发基于矩阵的方法，用于验证自仿射测度在 $L^2(\mu)$ 中正交集的完备性。
• 构建非平凡的分形测度示例，这些测度虽非谱测度，但仍具有傅里叶框架。
• 研究中间三分之一康托测度是否存在傅里叶框架，这是该领域的一个主要开放问题。

提出的方法

• 引入基于IFS $(R, B)$ 的矩阵框架，其中 $R$ 为扩张矩阵，$B$ 为有限数字集，关联傅里叶矩阵 $\mathcal{F}_n$。
• 通过MSS15定理应用Kadison-Singer问题的解，将傅里叶矩阵划分为子矩阵，使其具有近乎最优的框架界。
• 利用[NOU14]中的引理5.2，提取子集 $J_n \subset \overline{L}_n$，使得限制矩阵 $F_n$ 满足统一的框架界 $c_0 \|\mathbf{w}\|^2 \leq \|F_n \mathbf{w}\|^2 \leq C_0 \|\mathbf{w}\|^2$。
• 证明指数系 $\{e^{2\pi i \langle \lambda, x \rangle}\}_{\lambda \in J_n}$ 在 $L^2(\mu)$ 上构成框架，且具有通用框架界。
• 将该方法应用于由整数矩阵 $R$ 和数字集 $B$ 生成的自仿射测度。
• 证明正交系的完备性条件可简化为验证限制傅里叶矩阵上的统一下界和上界。

实验结果

研究问题

• RQ1 每个Hadamard三元组是否都生成一个自仿射谱测度？
• RQ2 非谱奇异测度（如自仿射集上的测度）是否仍可具有傅里叶框架？
• RQ3 是否可以为中间三分之一康托测度显式构造傅里叶框架？
• RQ4 何种矩阵理论条件可确保在自仿射测度的 $L^2(\mu)$ 中存在类似Parseval的框架？
• RQ5 如何利用有限维矩阵分析验证指数正交系的完备性？

主要发现

• 本文证明了每个Hadamard三元组均生成一个自仿射谱测度，从而解决了长期存在的猜想。
• 研究建立了在奇异自仿射测度上存在非平凡傅里叶框架，包括那些非谱测度的情形。
• 该方法得到与 $n$ 无关的通用框架界 $c_0, C_0 > 0$，确保所有IFS逼近层级上框架性质的统一性。
• 该构造表明，对于任意由IFS $(R, B)$ 生成的自仿射测度，均存在子集 $L_n \subset \overline{L}_n$，使得 $\{e^{2\pi i \langle \lambda, x \rangle}\}_{\lambda \in L_n}$ 构成 $L^2(\mu)$ 上的框架。
• 该方法提供了一种从标准正交傅里叶矩阵中提取近乎紧致框架的构造性方法，利用了Kadison-Singer问题的研究成果。
• 该框架为探究中间三分之一康托测度是否存在傅里叶框架开辟了新路径，该问题至今仍是开放问题。