Frames arising from irreducible solvable actions I

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).