Refinable subspaces of a refinable space (Q4955783)

A function \(\varphi:\mathbb{R} \to\mathbb{R}^n\) with components in \(L^1_{ \text{loc}}\) is called a generator. A generator is said to be refinable if there exists a finitely supported sequence \(b:\mathbb{Z} \to\mathbb{R}^{n \times n}\), called a mask for \(\varphi\), for which \[ \varphi= \sum_{j\in \mathbb{Z}} \varphi(2 \cdot-j)b (j). \] The authors consider a generator \(\psi:\mathbb{R} \to\mathbb{R}^m\) supported on \([0,1]\) that is refinable with a two-term mask \[ \bigl(a(0), a(1)\bigr),\;\psi= \psi(2 \cdot)a (0)+\psi (2\cdot-1) a(1) \] and construct refinable generators by using the shifts of \(\psi\), that is they consider generators of the form \(\varphi =\sum_{j\in \mathbb{Z}} \psi(\cdot-j) c(j)\) for some sequence \(c:\mathbb{Z} \to \mathbb{R}^{m \times n}\). A subspace \(V\) of \(L^1_{\text{loc}}\) is a finitely generated shift-invariant (FSI) space if it is the closure of the span \(\{\varphi_i (\cdot-j) \mid i=1, \dots,n; j\in\mathbb{Z}\}\), for some generator \(\varphi\), notation \(V=S(\varphi)\). An FSI space \(V\) is local if \(V=S(\varphi)\) for some compactly supported generator \(\varphi\), and it is refinable if \(f\in V \Rightarrow f(\cdot/2)\in V\). The main objective of this paper is: Given a refinable generator \(\psi\) supported on \([0,1]\) with mask \((a(0),a(1))\), characterize all local refinable FSI subspaces \(V\subset S(\psi)\). Under the condition that \(a(0)\) is invertible, the authors achieve this goal.