A new version of the Strang--Fix conditions (Q1260639): Difference between revisions

Let \(\Phi\) be a finite collection of compactly supported functions in \(L_ 1(\mathbb{R}^ s)\), \(\text{span}(\Phi)\) denote the linear span of \(\Phi\), \(S(\Phi)\) the linear space spanned by the functions in \(\Phi\) and their shifts (shift means a multi-integer translate). Let \(\{e_ 1,e_ 2,\dots,e_ s\}\) be the standard basis for \(\mathbb{R}^ s\). The shift operator \(T_ j\) \((j=1,\dots,s)\) is defined by \(T_ j f:= f(\cdot -e_ j)\) for all functions \(f\) defined on \(\mathbb{R}^ s\), and the difference operator \(\nabla_ j\) is defined to be \(I-T_ j\), where \(I\) is the identity operator. Given a positive integer \(K\), the collection \(\Phi\) satisfies the Strang-Fix conditions of order \(K\) if there is an element \(\psi\) of \(S(\Phi)\) such that \(\widehat\psi(0)=1\) and \(D^ \lambda\widehat\psi(2\pi\alpha)=0\) for all \(\lambda\in\mathbb{N}^ s\) with \(|\lambda|<K\) and all \(\alpha\in\mathbb{Z}^ s\backslash\{0\}\), where \(\widehat\psi\) denotes the Fourier transforms of \(\psi\): \[ \widehat\psi(\xi)=\int_{\mathbb{R}^ s} \psi(x) e^{-ix\cdot\xi} dx,\quad \xi\in\mathbb{R}^ s. \] In this paper, a new version of the Strang- Fix conditions is formulated and it is used to give a new proof for the characterization of the local approximation order of the spaces generated by a finite number of compactly supported basis functions and their shifts. Main Theorem. The following statements are equivalent: (i) \(\Phi\) satisfies the Strang-Fix conditions of order \(K\). (ii) Then exists a sequence of elements \(\psi_ n\in S(\Phi)\) \((n=1,2,\dots)\) such that as \(n\to\infty\) the sequence \(\widehat\psi_ n(0)\to 1\) and \(D^ \lambda\widehat\psi_ n(2\pi\alpha)\to 0\) for all \(\lambda\in\mathbb{N}^ s\) with \(| \lambda|<K\) and all \(\alpha\in\mathbb{Z}^ s\backslash\{0\}\).