Vector subdivision schemes and multiple wavelets

Abstract

We consider solutions of a system of refinement equations written in the form ϕ = ∑ α ∈ Z a ( α ) ϕ ( 2 ⋅ − α ) , \begin{equation*}\phi = \sum _{\alpha \in \mathbb {Z}} a(\alpha )\phi (2\cdot -\alpha ),\end{equation*} where the vector of functions ϕ = ( ϕ 1 , … , ϕ r ) T \phi =(\phi ^{1},\ldots ,\phi ^{r})^{T} is in ( L p ( R ) ) r (L_{p}(\mathbb {R}))^{r} and a a is a finitely supported sequence of r × r r\times r matrices called the refinement mask. Associated with the mask a a is a linear operator Q a Q_{a} defined on ( L p ( R ) ) r (L_{p}(\mathbb {R}))^{r} by Q a f := ∑ α ∈ Z a ( α ) f ( 2 ⋅ − α ) Q_{a} f := \sum _{\alpha \in \mathbb {Z}} a(\alpha )f(2\cdot -\alpha ) . This paper is concerned with the convergence of the subdivision scheme associated with a a , i.e., the convergence of the sequence ( Q a n f ) n = 1 , 2 , … (Q_{a}^{n}f)_{n=1,2,\ldots } in the L p L_{p} -norm. Our main result characterizes the convergence of a subdivision scheme associated with the mask a a in terms of the joint spectral radius of two finite matrices derived from the mask. Along the way, properties of the joint spectral radius and its relation to the subdivision scheme are discussed. In particular, the L 2 L_{2} -convergence of the subdivision scheme is characterized in terms of the spectral radius of the transition operator restricted to a certain invariant subspace. We analyze convergence of the subdivision scheme explicitly for several interesting classes of vector refinement equations. Finally, the theory of vector subdivision schemes is used to characterize orthonormality of multiple refinable functions. This leads us to construct a class of continuous orthogonal double wavelets with symmetry.