A density condition for interpolation on the Heisenberg group (Q691269): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Gabor fields and wavelet sets for the Heisenberg group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract harmonic analysis of continuous wavelet transforms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sampling theorems on locally compact groups from oscillation estimates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Shannon multiresolution analysis on the Heisenberg group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sampling of Paley-Wiener functions on stratified groups / rank | |||
Normal rank |
Revision as of 23:11, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A density condition for interpolation on the Heisenberg group |
scientific article |
Statements
A density condition for interpolation on the Heisenberg group (English)
0 references
30 November 2012
0 references
Gabor systems are arguably the most popular among group-related constructions of frames and of Riesz bases. In the abstract formulation of this paper, a Gabor frame is given by a unitary irreducible representation of the Heisenberg group \(N\) on \(L^2(\mathbb R)\), indexed by \(\lambda \in \widehat N\), a countable discrete subset \(\Gamma\) of \(N\), and a vector \(\psi \in L^2(\mathbb R)\), such that the map \[ C_\psi: L^2(\mathbb R) \to \ell^2(\Gamma), C_\psi f (g) = \langle f, \pi(g) \psi\rangle \] is bounded and has a bounded inverse. Extending the map \(V_\psi\) to all of \(N\) induces a left-invariant closed subspace \(\mathcal H\) of continuous functions in \(L^2(N)\), and then the range of \(C_\psi\) is obtained by sampling, restricting each function in \(\mathcal H\) to \(\Gamma\). A dual property to sampling is that of interpolation. For this, the map from the left-invariant function space \(\mathcal H\) to the sample values in \(\ell^2(\Gamma)\) must be surjective, or equivalently, the functions \(\{\pi(g) \psi \}_{g \in \Gamma}\) form a Riesz basis for \(L^2(\mathbb R)\). To have both properties is equivalent to having a family of reproducing kernel functions \(\{S_g\}_{g \in N}\) for \(\mathcal H\) which produces an orthonormal basis for \(\mathcal H\) when indexed by \(\Gamma\). Usually, Gabor systems are defined with one unitary irreducible representation of the Heisenberg group. The main point in this paper is to consider a family of unitary irreducible representations together in a direct integral decomposition of \(L^2(N)\). Following this idea, this paper describes the more general notion of Gabor fields, which provide frames for \(L^2(E \times \mathbb R)\), where \(E \subset \Lambda\) specifies the unitarily inequivalent Schrödinger representations of \(N\). Thus, \(\Lambda=\mathbb R\setminus \{0\}\), equipped with the measure \(\mu, d\mu = |\lambda|d\lambda\). The time-frequency shifts by \(k,l,m \in \mathbb R\) act in this ``extended'' representation by \[ {\widehat T}_{k,l,m} g(\lambda, t) = e^{2\pi i \lambda m} e^{-2\pi i \lambda l t} g(\lambda, t-k) \, . \] A function \(g \in L^2(E \times \mathbb R)\) is a Gabor field over \(E\) with respect to a lattice \(\Gamma_{\alpha, \beta}\) with spacing \(\alpha,\beta>0\) if for almost every \(\lambda \in E\), the time-frequency translates of \(|\lambda|^{1/2} g(\lambda, \cdot)\) form a Parseval frame for \(L^2(\mathbb R)\). The first main result is as follows: Let \(\mathcal H\) be a multiplicity free subspace of \(L^2(N)\), \(E\) the spectrum of \(\mathcal H\) and let \(\Gamma_{\alpha,\beta}\) be the lattice with lattice spacings \(\alpha, \beta >0\). Let \(g \in L^2(E \times \mathbb R)\) where the measure on the first component is \(\mu\). If a left-invariant subspace \(\mathcal H\) is embedded in \(L^2(E\times N)\) by the projection maps \(P_\lambda\) corresponding to each \(\lambda \in E\) in the direct integral decomposition, and if the sampling map, restricting each function to \(\Gamma_{\alpha,\beta}\) is a multiple of an isometry then that multiple is necessarily \(1/\alpha \beta\). Moreover, if \(\Gamma_{\alpha,\beta}\) is a set of sampling, then it has the interpolation property if and only if \(\mu(E)=1/\alpha \beta\). To illustrate this result, the authors construct Gabor fields for \(E=[-1,1]\) with respect to the lattice \(\Gamma_{1,1}\). The second main result is a characterization of Heisenberg orthonormal bases for arbitrary shift-invariant subspaces. This characterization uses the Fourier coefficients of a periodization function in analogy with the Wexler-Raz conditions for Gabor orthonormal bases.
0 references
Heisenberg group
0 references
Gabor frame
0 references
multiplicity free subspaces
0 references
left invariant subspaces
0 references
sampling spaces
0 references
interpolation property
0 references