Decomposition systems for function spaces (Q4484596)

Let \(\theta^e_I\), \(\tilde\theta^e_I\) be a decomposition system for \(L^2({\mathbb R^d})\), i.e., \[ f=\sum_{e,I} \langle f,\widetilde\theta^e_I\rangle \theta^e_I \quad\text{and}\quad \| f\|_2^2 \simeq \sum_{e,I} | \langle f,\widetilde\theta^e_I\rangle | ^2, \] where \(I\) runs over all dyadic cubes and \(e\) over all non zero vertices of the unit cube of \(\mathbb R^d\). The aim of the main theorems of the paper is to give sufficient conditions on the smoothness and decay of the system so that it also constitute a decomposition system for homogeneous Triebel-Lizorkin and Besov spaces. For these spaces, \(f=\sum_{e,I} \langle f,\widetilde\theta^e_I\rangle \theta^e_I\) is obtained, with the convergence in a weak sense. The corresponding results for inhomogeneous Triebel-Lizorkin and Besov spaces are only presented within the framework of biorthogonal wavelet bases. The main tool is the \(\Phi\)-transform of Frazier and Jawerth, and the use of the corresponding sequence spaces. The convergence in the distributional sense for the Calderón's reproduction formula is carefully presented in an appendix of the paper.