Convergence of cascade algorithms in Sobolev spaces and integrals of wavelets (Q1601751)

Given a refinement equation \[ \phi=\sum_{\alpha\in \mathbb Z^s} a(\alpha)\phi(M\cdot-\alpha) \] with an isotropic dilation matrix \(M\), the refinement operator \[ Q_a f:= \sum_{\alpha\in \mathbb Z^s} a(\alpha)f(M\cdot-\alpha), \qquad f\in L_p(\mathbb R^s), \] induces for an initial function \(\phi_0\) in \(L_p(\mathbb R^s)\) with compact support the cascade algorithm \[ \phi_n:= Q_a \phi_{n-1},\qquad n\in\mathbb N. \] The main objective of the paper is to give a characterization of strong convergence of this cascade algorithm in Sobolev spaces \(W_p^k(\mathbb R^s)\), i.e. \[ \lim_{n\rightarrow \infty} \|Q_a^n \phi_0 - \phi\|_{W_p^k(\mathbb R^s)} = 0. \] The authors show first, that, if the cascade algorithm converges, then the initial function \(\phi_0\) have to satisfy a moment condition of order \(k+1\) and the mask \(a\) must satisfy certain sum rules of order \(k+1\). The main theorem of the paper gives a complete characterization for the convergence of cascade algorithms in Sobolev spaces in terms of the corresponding mask. These results are based on transition and subdivision operators associated with the given mask \(a\). Finally, those results are applied to deduce results on the computation of integrals of products of derivatives of refinable functions and wavelets.