Frames arising from irreducible solvable actions Part I

Abstract

Let $G$ be a simply connected, connected completely solvable Lie group with Lie algebra $\mathfrak{g}=\mathfrak{p}+\mathfrak{m}.$ Next, let $π$ be an infinite-dimensional unitary irreducible representation of $G$ obtained by inducing a character from a closed normal subgroup $P=\exp\mathfrak{p}$ of $G.$ Additionally, we assume that $G=P\rtimes M,$ $M=\exp\mathfrak{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 $λ\in\mathfrak{p}^{\ast}$ such that the representation $π=π_λ=\mathrm{ind}_{P}^{G}\left( χ_λ\right) $ is realized as acting in $L^{2}\left( M,dμ_{M}\right) .$ Making no assumption on the integrability of $π_λ$, we describe explicitly a discrete subgroup $Γ\subset G$ and a vector $\mathbf{f}\in L^{2}\left( M,dμ_{M}\right) $ such that $π_{λ}\left( Γ\right) \mathbf{f}$ is a tight frame for $L^{2}\left( M,dμ_{M}\right) .$ We also construct compactly supported smooth functions $\mathbf{s}$ and discrete subsets $Γ\subset G$ such that $π_{λ}\left( Γ\right) \mathbf{s}$ is a frame for $L^{2}\left( M,dμ_{M}\right) .$