Frames arising from irreducible solvable actions I

Abstract

In this work, we provide a unified method for the construction of reproducing systems arising from unitary irreducible representations of some solvable Lie groups. In contrast to other well-known techniques such as the coorbit theory, the generalized coorbit theory and other discretization schemes, we make no assumption on the integrability or square-integrability of the representations of interest. Moreover, our scheme produces explicit constructions of frames with precise frame bounds. As an illustration of the scope of our results, we highlight that a large class of representations which naturally occur in wavelet theory and time–frequency analysis is handled by our scheme. For example, the affine group, the generalized Heisenberg groups, the shearlet groups, solvable extensions of vector groups and various solvable extensions of non-commutative nilpotent Lie groups are a few examples of groups whose irreducible representations are handled by our method. The class of representations studied in this work is described as follows. Let G be a simply connected, connected, completely solvable Lie group with Lie algebra g=p+m. Next, let π be an infinite-dimensional unitary irreducible representation of G obtained by inducing a character from a closed normal subgroup P=exp⁡p of G. Additionally, we assume that G=P⋊M, M=exp⁡m is a closed subgroup of G, dμM is a fixed Haar measure on the solvable Lie group M and there exists a linear functional λ∈p⁎ such that the representation π=πλ=indPG(χλ) is realized as acting in L2(M,dμM). Making no assumption on the integrability of πλ, we describe explicitly a discrete subset Γ of G and a vector f∈L2(M,dμM) such that πλ(Γ)f is a tight frame for L2(M,dμM). We also construct compactly supported smooth functions s and discrete subsets Γ⊂G such that πλ(Γ)s is a frame for L2(M,dμM).