Approximation orders of FSI spaces in \(L_2(\mathbb{R}^d)\) (Q5967027)

From authors' summary: A second look at the authors' characterization of the approximation order of a finitely generated shift-invariant (FSI) subspace \(S(\Phi)\) of \(L_2 (\mathbb{R}^d)\) results in a more explicit formulation entirely in terms of the (Fourier transform of the) generators \(\varphi\in \Phi\) of the subspace. Further, when the generators satisfy a certain technical condition, then, under the mild assumption that the set of 1-periodizations of the generators is linearly independent, such a space is shown to provide approximation order \(k\) if and only if \(\text{span} \{\varphi(\cdot-j):| j|<k\), \(\varphi\in\Phi\}\) contains a \(\psi\) (necessarily unique) satisfying \(D^j\widehat{\psi}(\alpha)= \delta_j \delta_\alpha\) for \(| j|<k\), \(\alpha\in 2\pi\mathbb{Z}^d\). The technical condition is satisfied, e.g., when the generators are \(O(|\cdot|^{-p})\) at infinity for some \(\rho> k+d\). In the case of compactly supported generators, this recovers an earlier result of Jia.