On the Spectral Properties of a Class of Planar Sierpinski Self-Affine Measures

Abstract

We investigate the spectral properties of a class of Sierpinski-type self-affine measures defined by \[ μ_{M,D}(\cdot) = p^{-1} \sum_{d \in D} μ_{M,D}(M(\cdot) - d), \] where \( p \) is a prime number, \( M = \begin{bmatrix} ρ_1^{-1} & c 0 & ρ_2^{-1} \end{bmatrix} \) is a real upper triangular expanding matrix, and \( D = \{d_0, d_1, \cdots, d_{p-1}\} \subset \mathbb{Z}^2 \) satisfying \( \mathcal{Z}(\widehatδ_{D}) = \cup_{j=1}^{p-1} \left( \frac{j \bm{a}}{p} + \mathbb{Z}^2 \right) \) for some \( \bm{a} \in \mathcal{E}_{p}= \{ (i_1, i_2)^* : i_1, i_2 \in [1, p-1] \cap \mathbb{Z} \} \), where \( \mathcal{Z}(\widehatδ_{D}) \) denotes the set of zeros of \( \widehatδ_{D} \) with \( δ_{D} = \frac{1}{\# D} \sum_{d \in D} δ_d \). When ${\rho }_1={\rho }_2$, we derive necessary and sufficient conditions for ${\mu }_{M,D}$ to both: $(i)$ possess an infinite orthogonal set of exponential functions, and $(ii)$ be a spectral measure. When no infinite orthogonal exponential system exists in $L^2({\mu }_{M,D})$, we quantify the maximum number of orthogonal exponentials and provide precise estimates. For ${\rho }_1\ne {\rho }_2$, with restricted digit sets $D$, we obtain a necessary and sufficient condition for ${\mu }_{M,D}$ to be a spectral measure.

32pages