The polynomials in the linear span of integer translates of a compactly supported function (Q1092248): Difference between revisions

We suppose that \(\pi_{\alpha}\) is the space of all polynomials of degree \(\leq \alpha\), i.e., \(\pi_{\alpha}:=span(\| \|^{\beta})_{\beta \leq \alpha}\) and \(\pi:=span(\| \|^{\beta}).\) We define the convolution *' by \(\phi *'f=\sum_{j\in z^ d}\phi (\cdot,-j)f(j),\) where \(\phi\) is a function of several variables. The author proves that if \(\phi\) is normalized, then \(\pi_{\phi}:=\{f\in \pi: \phi *'f\in \pi \}=\{f\in \pi: \phi *'f=f*'\phi \}=\{f\in \pi: \phi *'f+\pi \}.\) Also, the linear map \(L:=\phi *'| \pi_{\phi}\) is onto, and \(LD^{\alpha}=D^{\alpha}L,\quad \forall \alpha \in z^ d_+,\) \(E^ yL=LE^ y\), \(\forall y\in R^ d\). In particular, \(\pi_{\phi}\) is D- invariant and translation invariant. Further, he proves that \(\pi_{\phi}\) is the largest E-invariant subspace of \(\pi_{\phi}\), where \(\pi_{\phi}:=\{p\in \pi: p(-iD){\hat \phi}=0\) on \(2\pi\) \(z^ d/0\}\) and \({\hat \phi}\) is the Fourier transform of \(\phi\). He also considers in detail various types of quasi-interpolants for smooth functions.