摘要 Abstract
考虑一个Moran型迭代函数系统(IFS)\( \{\phi_{k,d}\}_{d\in D_{2p_k}, k\geq 1} \),其中每个压缩映射定义为 \[ \phi_{k,d}(x) = (-1)^d b_k^{-1}(x + d), \] 并且整数序列 \( \{b_k\}_{k=1}^\infty \) 和 \( \{p_k\}_{k=1}^\infty \) 满足 \( b_k \geq 2p_k \geq 2 \),以及 \( k \geq 1 \) 时的数字集 \( D_{2p_k} = \{0, 1, \ldots, 2p_k - 1\} \)。我们首先证明该IFS唯一生成一个Borel概率测度 \( \mu \)。此外,在满足可整除性约束条件 \[ p_2 \mid b_2, \quad 2 \mid b_2, \quad \text{且} \quad 2p_k \mid b_k \ \text{对于} \ k \geq 3, \] 且 \( \{b_k\}_{k=1}^\infty \) 有界的情况下,我们证明 \( \mu \) 是一个谱测度,即 \( L^2(\mu) \) 存在一个指数函数的正交基。为了完全刻画其谱性,我们引入了多阶段分解策略用于谱的分析。通过附加假设所有参数 \( p_k \) 都为偶数,我们建立了关于 \( \mu \) 的谱性的完整刻画。这一结果统一并扩展了文献 \cite{An-He2014, Deng2022, Wu2024} 中提出的研究框架,提供了一个此类测度的广义判据。
Consider a Moran-type iterated function system (IFS) \( \{\phi_{k,d}\}_{d\in D_{2p_k}, k\geq 1} \), where each contraction map is defined as \[ \phi_{k,d}(x) = (-1)^d b_k^{-1}(x + d), \] with integer sequences \( \{b_k\}_{k=1}^\infty \) and \( \{p_k\}_{k=1}^\infty \) satisfying \( b_k \geq 2p_k \geq 2 \), and digit sets \( D_{2p_k} = \{0, 1, \ldots, 2p_k - 1\} \) for all \( k \geq 1 \). We first prove that this IFS uniquely generates a Borel probability measure \( \mu \). Furthermore, under the divisibility constraints \[ p_2 \mid b_2, \quad 2 \mid b_2, \quad \text{and} \quad 2p_k \mid b_k \ \text{for} \ k \geq 3, \] with \(\{b_k\}_{k=1}^\infty\) bounded, we prove that \( \mu \) is a spectral measure, that is, $ L^2(\mu) $ admits an orthogonal basis of exponentials. To fully characterize the spectral properties, we introduce a multi-stage decomposition strategy for spectrums. By imposing the additional hypothesis that all parameters \( p_k \) are even, we establish a complete characterization of \( \mu \)'s spectrality. This result unifies and extends the frameworks proposed in \cite{An-He2014, Deng2022, Wu2024}, providing a generalized criterion for such measures.