Non-spectral self-affine measure problem on the plane domain (Q982596): Difference between revisions

The self-affine measure \(\mu_{M, D}\) corresponding to an expanding integer matrix \[ M= \left( \begin{matrix} a & b \\ c & d \end{matrix} \right) \quad\text{and}\quad D= \left\{\binom 00, \binom 10, \binom 01 \right\} \] is supported on the attractor (or invariant set) of the iterated function system \(\{\phi_d(x) =M^{-1}(x+d)\}_{d \in D}\). The author shows that if \((a+d)^2 = 4(ad-bc)\), where \(ad-bc\) is not a multiple of \(3\), then there exist at most \(3\) mutually orthogonal exponential functions in \(L^2 (\mu_{M, D})\), and the number \(3\) is the best. This extends several known results on the non-spectral self-affine measure problem. The proof of such a result depends on the characterization of the zero set of the Fourier transform \(\widehat{\mu_{M, D}}\), and provides a way of dealing with the non-spectral problem.