Closure of dilates of shift-invariant subspaces (Q386360): Difference between revisions

Let \(A\) be an expansive linear map on \(\mathbb{R}^d\), \(d \geq 1\), such that \(A\mathbb{Z}^d \subset \mathbb{Z}^d\). Consider an \(A\)-reducing space, exactly, \[ H_G^2= \{ f \in L^2(\mathbb{R}^d) : \mathrm{Supp }\widehat{f} \subset G \}, \] where \(G \subset \mathbb{R}^d\) is a measurable set such that \(A^\ast G = G\) and \(A^\ast\) is the adjoint of \(A\). In addition, let \(V_0 \subset H^2_G\) be a shift-invariant subspace (not necessarily finitely generated). Define \(V_j = \{ f(\cdot) \in L^2(E) : f(A^{-j} \cdot) \in V_0 \)\}, \(j \in \mathbb{Z}\), and assume that \(V_j \subset V_{j+1}\). The author proves several necessary and sufficient conditions on the behaviour at a neighborhood of the origin of \(\sigma_{V_0}\), the spectral function of \(V_0\), in order that \(\bigcup_{j \in \mathbb{Z}} V_j\) is dense in \(H^2_G\). Perhaps the main result in this paper is that \(\overline{\bigcup_{j \in \mathbb{Z}} V_j}=H^2_G\) if and only if the origin is a point of \((G,A^\ast)\)-approximate continuity of \(\sigma_{V_0}\), provided \(\sigma_{V_0}({\mathbf 0})=1\). Note that this result is also new in the classical case, i.e., when \(G=\mathbb{\mathbb{R}}\) and \(A\) is the dyadic dilation. Finally, the author proves that the origin is a point of \(A^\ast\)-approximate continuity of the Fourier transform of any semiorthogonal tight frame wavelet if this value is assumed to be zero.