Coorbit spaces and Banach frames on homogeneous spaces with applications to the sphere (Q1431335)

It is well known that wavelet and Gabor transforms can be described in a unified way by means of a unitary, square integrable representation \(U:G\rightarrow L_{2}\left( {\mathbb R}^{n}\right) \) on certain locally compact groups \(G\). In recent years, several authors used this group-theoretic approach to introduce wavelets on manifolds. Even in the case of the sphere \({\mathbb S}^{n-1}\) the general theory could not be applied because the underlying representations are not square integrable; several attempts have been made to handle this case, e.g. \textit{M. Holschneider} [J. Math. Phys. 37, No. 8, 4156--4165 (1996; Zbl 0859.42022)], \textit{B. Torresani} [Signal Process. 43, No. 3, 341--346 (1995; Zbl 0901.94004)] and the recent work by \textit{J.-P.Antoine, L. Demanet, L. Jacques} and \textit{P. Vandergheynst} [Appl. Comput. Harmon. Anal. 13, No. 3, 177--200 (2002; Zbl 1021.42022)] and the references there. Most of the problems in the general theory have been resolved by introducing the concept of square-integrability modulo a closed subgroup \(P\) and a Borel section \(\sigma :G/P\rightarrow G\) defined on the coset space \( G/P\) which does not have a group structure in general. A detailed description of this approach can be found in the excellent book [Coherent states, wavelets and their generalizations. Graduate Texts in Contemporary Physics, New York: Springer (2000; Zbl 1064.81069)] by \textit{S. T. Ali}, \textit{J. P. Antoine} and \textit{J.-P. Gazeau}. For a compact introduction we refer to [J. Phys. A, Math. Gen. 36, No. 47, 11817--11835 (2003; Zbl 1053.81047)]. This approach generalizes fundamental work of \textit{R. Gilmore} and \textit{A. Peremolov}. The main objective of the paper under preview is to generalize the work of \textit{H. G. Feichtinger} and \textit{K. Gröchenig} [J. Funct. Anal. 86, No. 2, 307--340 (1989; Zbl 0691.46011)] about atomic decompositions in coorbit spaces and the construction of Banach frames to the setting of a representation \( U:G\rightarrow L_{2}\left( N\right) \) on a manifold \(N\) which is square integrable modulo \(\left( P,\sigma \right) \). Then there exists a non-zero \( \psi \in L_{2}\left( N\right) \) such that for all \(f\in L_{2}\left( N\right) \) \[ \int_{G/P}\left| \left\langle f,U\left( \sigma \left( h\right) ^{-1}\psi \right) \right\rangle \right| ^{2}\,d\mu \left( h\right) <\infty , \] where \(\mu \) is the unique quasi-invariant measure on the coset space \(G/P\). Under some additional assumptions (strictly admissibility) the operator \( V_{\psi }:L_{2}\left( N\right) \rightarrow L_{2}\left( G/P\right) \) defined by \[ V_{\psi }f\left( h\right) =\left\langle f,U\left( \sigma \left( h\right) ^{-1}\right) \psi \right\rangle _{L_{2}\left( N\right) } \] is an isometry and \(V_{\psi }\) is called the generalized wavelet or Gabor transform. The functions \(U\left( \sigma \left( h\right) ^{-1}\right) \psi \in L_{2}\left( N\right) \) with \(h\in G/P\) are called the (generalized) coherent states. Coorbit spaces can be considered as generalized Besov or modulation spaces. For the somewhat technical definition one puts \( H_{1}:=\left\{ f\in L_{2}\left( N\right) :V_{\psi }f\in L_{2}\left( G/P\right) \right\} \), and the coorbit space \(M_{p}\) is defined by \[ M_{p}:=\left\{ f\in H_{1}^{\prime }:V_{\psi }f\in L_{p}\left( G/P\right) \right\} \] where \(H_{1}^{\prime }\) is the topological dual. The authors show that \(M_{p} \) is isomorphic to a subspace of \(L_{p}\left( G/P\right) \) defined in terms of a reproducing kernel. One of the major results says that each \(f\in M_{p}\) can be written in the form \[ f=\sum_{i\in I_{\sigma }}c_{i}U\left( \sigma \left( h_{i}\right) ^{-1}\right) \psi \] where the decomposition depends on the Borel section \(\sigma \) and a well-chosen family of points \(\left( x_{i}\right) _{i\in I_{\sigma }}\) in \(G\) (\(U\)-dense and relatively separated) and \(h_{i}\) is defined by \(x_{i}=\sigma \left( h_{i}\right) \) for \(i\in I_{\sigma }.\) Under some additional assumptions the authors show that \(U\left( \sigma \left( h_{i}\right) ^{-1}\right) \psi \) with \(i\in I_{\sigma }\) is a Banach frame for \(M_{p}\). Moreover nonlinear approximation schemes based on the atomic decompositions are discussed. In the last section the authors illustrate their interesting results in case of the unit circle \({\mathbb S}^{1}\) based on the above-mentioned approach of B. Torresani.