Frame wavelets in subspaces of $L^2(\mathbb R^d)$ (Q4539845)

Let \(\psi \in L^2(\mathbb{R}^d)\) and \(A\) be a \(d\times d\) matrix with eigenvalues of modulus greater than 1 (expansive). An \(s\)-frame wavelet on a subspace \(X\subset L^2(\mathbb{R}^d)\) is a collection of functions \(\{\psi_{j,k}(x) = |\det (A)|^{j/2} \psi(A^jx-k)\), \(j \in Z\), \(k \in Z^d\}\), with the property \[ \forall f \in X, \quad f = \sum \langle f, \psi_{j,k} \rangle \psi_{j,k}, \] generated by \(\psi\) of the form \(\hat \psi = 1/(2\pi)^d \chi_E\), for some set \(E \subset\mathbb{R}^d\). The set \(E\) is called an \(s\)-frame wavelet set. \(X\) is called a reducing subspace of \(L^2(\mathbb{R}^d)\) if it is invariant under dilations by \(A\) and translations by integer vectors. In the present paper the authors characterize both, the reducing subspaces \(X\) for expansive dilations, and \(s\)-frame wavelet sets for such \(X\). They also prove that given any reducing subspace \(X\), the set of all \(s\)-frame wavelets for \(X\) is non-empty and path connected in the \(L^2\) norm. These results do not imply the result of \textit{D. M. Speegle} [Proc. Am. Math. Soc. 127, No. 1, 223-233 (1999; Zbl 0907.46015)] about the connectivity of \(s\)-elementary wavelet sets in \(L^2(\mathbb{R}^d)\).