Fourier frames for singular measures and pure type phenomena

Abstract

Let μ \mu be a positive measure on R d \mathbb {R}^d . It is known that if the space L 2 ( μ ) L^2(\mu ) has a frame of exponentials, then the measure μ \mu must be of “pure type”: it is either discrete, absolutely continuous or singular continuous. It has been conjectured that a similar phenomenon should be true within the class of singular continuous measures, in the sense that μ \mu cannot admit an exponential frame if it has components of different dimensions. We prove that this is not the case by showing that the sum of an arc length measure and a surface measure can have a frame of exponentials. On the other hand we prove that a measure of this form cannot have a frame of exponentials if the surface has a point of non-zero Gaussian curvature. This is in spite of the fact that each “pure” component of the measure separately may admit such a frame.