康托尔集中的有理点与自相似谱测度的特征值问题
Rational points in Cantor sets and spectral eigenvalue problem for self-similar spectral measures
摘要 Abstract
给定$q\in \mathbb{N}_{\ge 3}$及有限集合$A\subset\mathbb{Q}$,令$$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$对于$p\in\mathbb{N}_{\ge 2}$,设$D_p\subset\mathbb{R}$为具有有限$p$进制展开的所有有理数的集合。本文证明了对于满足$\gcd(p,q)=1$的$p\in \mathbb{N}_{\ge 2}$,$D_p\cap K(q, A)$为有限集当且仅当$\dim_H K(q, A)<1$,这等价于$K(q, A)$无内部点的事实。我们将此结果应用于研究谱特征值问题。对于$\mathbb{R}$上的博雷尔概率测度$\mu$,若实数$t\in \mathbb{R}$使得$E(\Lambda) =\big\{ e^{2 \pi \mathrm{i} \lambda x}: \lambda \in \Lambda \big\}$和$E(t\Lambda) = \big\{ e^{2 \pi \mathrm{i} t\lambda x}: \lambda \in \Lambda \big\}$在某些$\Lambda \subset \mathbb{R}$下均为$L^2(\mu)$中的标准正交基,则称$t$为$\mu$的谱特征值。对于由Hadamard三元组生成的任何自相似谱测度,我们给出了一类在$[0,+\infty)$中稠密分布的谱特征值,并证明了这些特征值对应的每个特征子空间都是无限维的。
Given $q\in \mathbb{N}_{\ge 3}$ and a finite set $A\subset\mathbb{Q}$, let $$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$ For $p\in\mathbb{N}_{\ge 2}$ let $D_p\subset\mathbb{R}$ be the set of all rational numbers having a finite $p$-ary expansion. We show in this paper that for $p \in \mathbb{N}_{\ge 2}$ with $\gcd(p,q)=1$, the intersection $D_p\cap K(q, A)$ is a finite set if and only if $\dim_H K(q, A)<1$, which is also equivalent to the fact that the set $K(q, A)$ has no interiors. We apply this result to study the spectral eigenvalue problem. For a Borel probability measure $\mu$ on $\mathbb{R}$, a real number $t\in \mathbb{R}$ is called a spectral eigenvalue of $\mu$ if both $E(\Lambda) =\big\{ e^{2 \pi \mathrm{i} \lambda x}: \lambda \in \Lambda \big\}$ and $E(t\Lambda) = \big\{ e^{2 \pi \mathrm{i} t\lambda x}: \lambda \in \Lambda \big\}$ are orthonormal bases in $L^2(\mu)$ for some $\Lambda \subset \mathbb{R}$. For any self-similar spectral measure generated by a Hadamard triple, we provide a class of spectral eigenvalues which is dense in $[0,+\infty)$, and show that every eigen-subspace associated with these spectral eigenvalues is infinite.