[论文解读] Hadamard triples generate self-affine spectral measures

Dorin Ervin Dutkay, Chun‐Kit Lai+1 more|arXiv (Cornell University)|Jun 4, 2015

Mathematical Analysis and Transform Methods参考文献 40被引用 20

一句话总结

该论文证明了由Hadamard三元组$(R, B, L)$生成的任意自仿射测度——其中$R$为扩张整数矩阵，$B, L$为有限整数数字集——均为谱测度，即在$L^2(\mu)$中存在指数函数的正交基。证明使用归纳法、准积形式分解以及条件测度上的调和分析，确立了谱的存在性，从而解决了Jorgensen和Pedersen长期提出的猜想。

ABSTRACT

Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$. We prove that the associated self-affine measure $μ= μ(R,B)$ is a spectral measure, which means it admits an orthonormal bases of exponential functions in $L^2(μ)$. This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors.

研究动机与目标

• 为长期存在的猜想提供证明：所有由Hadamard三元组生成的自仿射测度均为谱测度。
• 确立在自仿射集上奇异的、非原子测度存在指数函数正交基的条件。
• 通过IFS的结构分解与条件测度的谱性质，将一维情形的先前结果推广至任意维度。
• 通过Hadamard三元组条件对谱自仿射测度进行完整刻画，统一了先前的局部结果。

提出的方法

• 在维度$d$上使用归纳法，从一维已知结果出发。
• 应用共轭变换以确保$\mathbb{Z}[R,B] = \mathbb{Z}^d$，从而简化代数结构。
• 利用命题2.7将系统分解为准积形式，将问题分离为低维分量。
• 通过归纳假设证明第一个分量测度$\mu_1$为谱测度。
• 利用准积结构，证明对$\mu_1$-几乎处处的$x$，条件测度$\mu_x^2$存在谱$\Gamma_2$。
• 将谱$\Lambda_1$与$\Gamma_2$组合为$\Lambda_1 \times \Gamma_2$，通过Parseval恒等式与傅里叶分析证明其为全测度$\mu$的谱。

实验结果

研究问题

• RQ1 每个由Hadamard三元组$(R,B,L)$生成的自仿射测度$\mu(R,B)$是否在$L^2(\mu)$中存在指数函数的正交基？
• RQ2 是否仅通过Hadamard三元组条件，无需额外假设（如可约性或对称性），即可在任意维度中建立自仿射测度的谱性质？
• RQ3 准积形式分解在构造高维自仿射测度谱的过程中起到何种作用？
• RQ4 纤维上的条件测度与自仿射测度整体谱性质之间有何关系？

主要发现

• 当$(R,B,L)$构成Hadamard三元组时，自仿射测度$\mu(R,B)$始终为谱测度，从而证实了Jorgensen和Pedersen的猜想。
• 测度$\mu(R,B)$的谱可构造为乘积$\Lambda_1 \times \Gamma_2$，其中$\Lambda_1$为第一分量测度的谱，$\Gamma_2$为几乎处处的条件测度$\mu_x^2$的谱。
• 证明依赖于测度的傅里叶变换满足一种Parseval型恒等式：几乎处处有$\sum_{\lambda_1, \gamma_2} |\widehat{\mu}(x + \lambda_1, y + \gamma_2)|^2 = 1$。
• 无重叠条件确保测度由其柱集唯一确定，从而可将原测度与共轭对应物$\mu_1^\dagger$等同。
• 准积形式分解使$d$维问题可降维为低维谱问题，从而实现谱的归纳构造。
• 该结果对所有扩张整数矩阵$R$及满足矩阵$H = \frac{1}{\sqrt{N}}[e^{2\pi i \langle R^{-1}b, \ell \rangle}]_{b \in B, \ell \in L}$单位性条件的有限数字集$B, L$均成立。