---
title: Wavelet Coorbit Spaces
url: https://www.emergentmind.com/topics/wavelet-coorbit-spaces
type: topic
---

# Wavelet Coorbit Spaces

Wavelet coorbit spaces are representation-theoretic smoothness spaces defined from continuous wavelet transforms. In their standard form, one starts from a semidirect product \(G=\mathbb{R}^d\rtimes H\), where \(H\leq GL(\mathbb{R}^d)\) is a dilation group, and measures a function or distribution \(f\) by the size of its wavelet transform \(W_\psi f(x,h)=\langle f,\pi(x,h)\psi\rangle\) in a weighted mixed-norm space on \(G\). Modern theory identifies these spaces with Fourier-side decomposition spaces determined by the dual action of \(H\), so the continuous transform, its discretization, and the induced frequency covering become different realizations of the same structure [1606.04924, 1404.4298].

## 1. Historical formation and conceptual scope

The modern theory of wavelet coorbit spaces is rooted in the convergence of three lines of development: the Frazier–Jawerth dyadic coefficient characterizations of Besov and Triebel–Lizorkin spaces, abstract coorbit theory in the sense of Feichtinger and Gröchenig, and Fourier-side decomposition spaces. In the Frazier–Jawerth setting, a distribution \(f\) is analyzed into coefficients indexed by dyadic cubes
\[
Q_{\nu,k}=\left\{x\in\mathbb{R}^d:2^{-\nu}k_i\le x_i<2^{-\nu}(k_i+1),\ \forall i=1,\dots,d\right\},
\]
and membership in a smoothness space is equivalent to membership of the coefficient sequence in a solid BK-space. In modern language, this is already a Banach-frame characterization, and the Frazier–Jawerth atoms can be written in representation-theoretic form as
\[
\psi_Q(x)=2^{-\nu d/2}\psi_\nu(x-x_Q)=[\pi(x_Q,2^{-\nu})\psi](x)
\]
for \(\ell(Q)=2^{-\nu}\) [1606.04924].

Coorbit theory abstracts this mechanism. Starting from a unitary representation \(\pi\) on a Hilbert space, it replaces the specific dyadic analysis by the voice transform
\[
V_gf(x)=\langle f,\pi(x)g\rangle,
\]
and defines function spaces by requiring \(V_gf\) to belong to a prescribed solid function space on the group. In the wavelet case, \(V_gf\) is the continuous wavelet transform, so the older dyadic coefficient theory appears as a discrete prototype of a more general representation-theoretic construction. The resulting viewpoint is that wavelet coorbit spaces are not an isolated class of spaces; they sit at the intersection of affine harmonic analysis, Banach-frame theory, and Fourier decomposition methods [1606.04924].

A central shift in this development is that the continuous transform is no longer treated as a purely analytic device for producing coefficients. It becomes the concrete realization of a group representation, and the corresponding smoothness space is read off from the geometry of the associated dilation action. This is why coorbit theory, decomposition spaces, and wavelet-frame decompositions are now routinely regarded as different formulations of one structural phenomenon [1606.04924].

## 2. Representation-theoretic construction

For a closed matrix group \(H\leq GL(\mathbb{R}^d)\), the relevant affine group is
\[
G=\mathbb{R}^d\rtimes H,
\qquad
(x,h)(y,g)=(x+hy,hg),
\]
with left Haar measure
\[
d(x,h)=|\det h|^{-1}\,dx\,dh.
\]
The quasi-regular representation is
\[
\pi:G\to U(L^2(\mathbb{R}^d)),
\qquad
[\pi(x,h)f](y)=|\det(h)|^{-1/2}f\bigl(h^{-1}(y-x)\bigr),
\]
and the associated generalized wavelet transform is
\[
W_\psi f(x,h)=\langle f,\pi(x,h)\psi\rangle
\]
[1606.04924].

Abstractly, if \(G\) carries a square-integrable unitary representation \(\pi\), the voice transform is
\[
V_gf(x)=\langle f,\pi(x)g\rangle.
\]
For a suitable control weight \(w\), one defines the test space
\[
\mathcal H_w^1=\{f\in\mathcal H:V_gf\in L_w^1(G)\},
\qquad
L_w^1(G)=\{F:Fw\in L^1(G)\},
\]
and the anti-dual reservoir \((\mathcal H_w^1)^\angle\). If
\[
A_w(G)=\{g\in\mathcal H:V_gg\in L_w^1\},
\]
then for \(0\neq g\in A_w\) the coorbit space attached to a solid translation-invariant BF-space \(Y\) is
\[
\operatorname{Co}Y=\{f\in(\mathcal H_w^1)^\angle:V_gf\in Y\},
\qquad
\|f\|_{\operatorname{Co}Y}=\|V_gf\|_Y.
\]
A main theorem is that \(\operatorname{Co}Y\) is independent of the chosen \(g\in A_w\setminus\{0\}\) [1606.04924].

For wavelet coorbit spaces associated with general dilation groups, a basic model class is
\[
Y=L_m^{p,q}(G),
\]
with norm
\[
\|F\|_{L_m^{p,q}}
=
\left\|
h\mapsto
m(h)\,\|F(x,h)\|_{L^p(\mathbb R^d,dx)}
\right\|_{L^q(H,\,dh/|\det h|)}.
\]
The corresponding coorbit space is
\[
\operatorname{Co}(L_m^{p,q}(G))
=
\{f\in R:W_\varphi f\in L_m^{p,q}(G)\},
\]
for a suitable reservoir \(R\), and if \(\varphi,\psi\in A_{v_0}\setminus\{0\}\), then
\[
W_\varphi f\in L_m^{p,q}
\Longleftrightarrow
W_\psi f\in L_m^{p,q},
\]
with equivalent norms [1606.04924].

A concrete specialization is the one-dimensional affine group
\[
\operatorname{Aff}=\mathbb R\times \mathbb R^*,
\qquad
(b_1,a_1)(b_2,a_2)=(b_1+a_1b_2,a_1a_2),
\]
with left Haar measure
\[
d\mu(b,a)=\frac{db\,da}{a^2},
\qquad
\Delta(b,a)=|a|.
\]
The wavelet representation is
\[
\pi(b,a)f(x)=|a|^{-1/2}f\!\left(\frac{x-b}{a}\right),
\]
and
\[
W_g f(b,a)=|a|^{-1/2}\int_{\mathbb R} f(t)\,\overline{g\!\left(\frac{t-b}{a}\right)}\,dt.
\]
Using the affine weights
\[
m_s(b,a)=|a|^{-s},
\qquad
w_\rho(b,a)=|a|^\rho+|a|^{-\rho},
\]
one obtains
\[
\operatorname{Co}L_{m_s}^p(\operatorname{Aff})
=
\{f\in\mathcal R_{w_\rho}:W_\psi f\in L_{m_s}^p(\operatorname{Aff})\},
\]
and within this weighted-\(L^p\) framework the paper identifies
\[
\operatorname{Co}L_{m_s}^p
\quad\text{with}\quad
\dot B_{\,s-\frac12+\frac1p}^{p,p}
\]
with equivalent norms [2401.12387].

In the more general integrably admissible setting, one often replaces the abstract anti-dual reservoir by the Fourier-adapted distribution space
\[
\mathcal S'_{\mathcal O}(\mathbb R^d),
\qquad
\mathcal S_{\mathcal O}(\mathbb R^d)=\mathcal F^{-1}(C_c^\infty(\mathcal O)),
\]
and defines
\[
\operatorname{Co}(Y)
=
\{f\in \mathcal S'_{\mathcal O}(\mathbb R^d):W_\psi f\in Y\}.
\]
This formulation is tailored to reducible as well as irreducible quasi-regular representations and restores analyzing-vector independence by restricting the analyzer class to \(\mathcal S_{\mathcal O}\) [1903.11528].

## 3. Dilation groups, admissibility, and analyzing wavelets

The defining geometric datum of a wavelet coorbit space is the dual action of the dilation group. For \(H\leq GL(\mathbb R^d)\), it is
\[
\varrho:H\times \mathbb R^d\to \mathbb R^d,
\qquad
(h,\xi)\mapsto h^{-T}\xi,
\]
or equivalently \((\xi,h)\mapsto h^T\xi\), depending on convention. The quasi-regular representation is irreducible and square-integrable exactly when there exists \(\xi_0\neq 0\) such that the orbit
\[
\mathcal O=H^T\xi_0
\]
is open and conull, and the stabilizer
\[
H_{\xi_0}=\{h\in H:h^T\xi_0=\xi_0\}
\]
is compact. Such groups are called admissible dilation groups [1606.04924].

This orbit criterion is the basic classification principle for generalized wavelet transforms. In dimension \(2\), standard examples are the diagonal group
\[
H_1=\{\operatorname{diag}(a,b): a,b\in \mathbb R\setminus\{0\}\},
\]
with dual orbit \((\mathbb R\setminus\{0\})^2\), the similitude group
\[
H_2=(0,\infty)\cdot SO(\mathbb R^2),
\]
with orbit \(\mathbb R^2\setminus\{0\}\), and the shearlet-type groups
\[
H_3^{(c)}=
\left\{
\varepsilon
\begin{pmatrix}
a & b\\
0 & a^c
\end{pmatrix}
:
a\in(0,\infty),\ b\in\mathbb R,\ \varepsilon\in\{1,-1\}
\right\},
\]
whose dual orbit is
\[
\mathcal O=(\mathbb R\setminus\{0\})\times \mathbb R
\]
[1606.04924].

Analyzing wavelets are selected either abstractly, through the classes \(A_{v_0}\) and \(B_{v_0}\), or by explicit Fourier-side conditions. A basic sufficient criterion is
\[
\varphi\in \mathcal F^{-1}(C_c^\infty(\mathcal O))
\Longrightarrow
\varphi\in B_{v_0}\subset A_{v_0},
\]
so every compactly frequency-supported smooth wavelet inside the open orbit is a “better vector” and therefore yields Banach frames and atomic decompositions [1606.04924].

For compactly supported wavelets, the decisive concept is vanishing moments on the blind spot \(\mathcal O^c\). A function \(\psi\in L^1(\mathbb R^d)\) has vanishing moments on \(\mathcal O^c\) of order \(r\) if \(\widehat\psi\in C^r(\mathbb R^d)\) and
\[
(\partial^\alpha \widehat\psi)|_{\mathcal O^c}\equiv 0
\qquad\text{for }|\alpha|<r.
\]
The orbit-adapted envelope
\[
A(\xi)=\min\left(
\frac{\operatorname{dist}(\xi,\mathcal O^c)}
{1+\sqrt{|\xi|^2-\operatorname{dist}(\xi,\mathcal O^c)^2}},
\frac{1}{1+|\xi|}
\right)
\]
measures simultaneously the distance to the blind spot and decay at infinity. Integrals built from
\[
\Phi_\ell(h)=\int_{\mathbb R^d} A(\xi)^\ell A(h^T\xi)^\ell\,d\xi
\]
encode the interaction of orbit geometry and dilation, and lead to explicit criteria ensuring that sufficiently many vanishing moments plus enough smoothness imply \(\psi\in \mathcal B_{v_0}\) [1303.3135].

A later simplification replaces direct estimates on \(\Phi_\ell\) by comparison inequalities for the pullback
\[
A_H(h)=A(h^T\xi_0).
\]
If one can control \(w_0(h^{\pm1})\), \(\|h^{\pm1}\|\), \(|\det(h^{\pm1})|\), and \(\Delta_H(h^{\pm1})\) by powers of \(A_H(h)^{-1}\), then temperate embeddedness and strong temperate embeddedness follow automatically, yielding explicit atom criteria for broad classes of groups, in particular all irreducibly admissible abelian dilation groups and generalized shearlet dilation groups [1407.0824].

In dimension \(2\), the orbit condition is especially effective: every admissible dilation group has a temperately embedded dual orbit. As a consequence, the general vanishing-moment criteria apply uniformly to all two-dimensional admissible dilation groups, including shearlet groups [1208.2196].

## 4. Fourier-side structure and decomposition spaces

The decisive bridge from wavelet coorbits to Fourier analysis is the frequency-side expression for the wavelet transform. For the quasi-regular representation,
\[
\big(\mathcal F[W_\varphi f(\cdot,h)]\big)(\xi)
=
|\det h|^{1/2}\,\widehat f(\xi)\,\overline{\widehat\psi(h^T\xi)}.
\]
Hence, if \(\widehat\psi\) is supported in a bounded set \(U\subset\mathbb R^d\), then \(W_\varphi f(\cdot,h)\) only sees frequencies in
\[
h^{-T}U=\varrho(h,U).
\]
This is the structural reason why wavelet coorbit spaces admit a Fourier-side description by coverings induced from the dual action [1606.04924].

A decomposition space is built from an admissible covering \(\mathcal Q=(Q_i)_{i\in I}\) of an open frequency region, a BAPU \((\varphi_i)_{i\in I}\), an exponent \(p\), and a weighted sequence space \(\ell_u^q\). In the Fourier-side form used for wavelet coorbits,
\[
\|f\|_{\mathcal D_{\mathcal F}(\mathcal Q,L^p,\ell_u^q)}
=
\left\|
\left(
\|\mathcal F^{-1}(\varphi_i f)\|_{L^p}
\right)_{i\in I}
\right\|_{\ell_u^q},
\]
and
\[
\mathcal D_{\mathcal F}(\mathcal Q,L^p,\ell_u^q)
=
\{f\in\mathcal D'(\mathcal O):\|f\|_{\mathcal D_{\mathcal F}(\mathcal Q,L^p,\ell_u^q)}<\infty\}
\]
[1606.04924].

For wavelet coorbit spaces associated with an admissible dilation group \(H\), Führ and Voigtlaender proved the isomorphism
\[
\operatorname{Co}\big(L_m^{p,q}(\mathbb R^d\rtimes H)\big)
\cong
\mathcal D(\mathcal Q_H,L^p,\ell_u^q),
\]
where, for a well-spread family \((h_i)_{i\in I}\subset H\) and a bounded open set \(Q\subset\mathcal O\),
\[
\mathcal Q_H=(h_i^{-T}Q)_{i\in I},
\qquad
u_i=|\det h_i|^{\frac12-\frac1q}m(h_i).
\]
Thus the mixed-norm condition on the continuous wavelet transform is exactly equivalent to a decomposition-space norm for the frequency covering generated by the dual action [1606.04924].

The same result was formulated directly as a Fourier-transform isomorphism:
\[
\mathcal F:
\operatorname{Co}(L_v^{p,q})
\xrightarrow{\;\cong\;}
\mathcal D(\mathcal Q,L^p,\ell_u^q),
\]
with \(u\) obtained by transplanting
\[
v'(h)=|\det(h^{-1})|^{\frac12-\frac1q}v(h^{-1})
\]
from the group to the dual orbit. This gives a purely Fourier-analytic description of wavelet coorbit spaces and explains why their basic examples are Besov-type spaces [1404.4298].

This identification has several consequences. First, it shows that the actual structure of a wavelet coorbit space is encoded by the induced frequency covering, not merely by the existence of a continuous transform. Second, it makes embeddings and equivalence problems accessible through general decomposition-space criteria. Third, it extends beyond the classical irreducible setting: for integrably admissible groups, one again obtains coorbit spaces realized as Besov-type decomposition spaces, and for one-parameter groups generated by expansive matrices these coincide precisely with the corresponding anisotropic Besov spaces [1903.11528].

## 5. Discretization, Banach frames, and coefficient norms

One of the central achievements of coorbit theory is the passage from continuous transforms to discrete coefficient systems. Abstractly, if \(g\in B_w\), then sufficiently dense and well-separated sample sets \((x_i)_{i\in I}\subset G\) generate a Banach frame:
\[
f=R\big((c_i(f))_{i\in I}\big)
=
\sum_{i\in I} c_i(f)\,\pi(x_i)g,
\qquad
f\in \operatorname{Co}Y,
\]
with coefficients in a suitable solid BK-space \(Y_d\). The coefficient norm is equivalent to the coorbit norm, and this is the abstract analogue of the Frazier–Jawerth mechanism [1606.04924].

In Zimmermann’s weighted-\(L^p\) framework for the affine group, the discrete sets are regular affine lattices
\[
\Lambda(\beta,\alpha)
=
\{(\varepsilon \alpha^j \beta k,\ \varepsilon \alpha^j): j,k\in\mathbb Z,\ \varepsilon=\pm1\}
\subset \operatorname{Aff},
\]
with associated atoms
\[
\psi_{j,k,\varepsilon}(x)
=
\pi(\varepsilon \alpha^j\beta k,\varepsilon \alpha^j)\psi(x)
=
\alpha^{-j/2}\psi\!\left(\varepsilon \alpha^{-j}x-\beta k\right).
\]
For \(m_s(b,a)=|a|^{-s}\), the discretized weight is
\[
\widetilde m_s(j,k,\varepsilon)=\alpha^{-js}.
\]
Under sufficient vanishing moments, smoothness, and local oscillation assumptions, this yields a Banach frame for \(\operatorname{Co}L_{m_s}^p\), with coefficient norm
\[
\left(
\sum_{\varepsilon=\pm1}\sum_{j,k\in\mathbb Z}
|c_{j,k,\varepsilon}|^p\,\alpha^{-jsp}
\right)^{1/p},
\]
equivalent to the coorbit norm and hence to the corresponding homogeneous Besov norm [2401.12387].

For general matrix dilation groups, the discretization theorem has the form “any sufficiently fine sampling.” Once \(\psi\in\mathcal B_{v_0}\), there exists a neighborhood \(U\subset G\) such that every \(U\)-dense relatively separated family \(Z=(z_i)_{i\in I}\subset G\) yields
\[
f=\sum_{i\in I} C(f)(z_i)\,\pi(z_i)\psi
\]
with unconditional convergence in \(\mathrm{Co}(Y)\), and
\[
\|f\|_{\mathrm{Co}(Y)}
\asymp
\|(\mathcal W_\psi f(z_i))_{i\in I}\|_{Y_d(Z)}.
\]
The key point is that, once the analyzing wavelet satisfies the explicit decay, smoothness, and orbit-adapted vanishing-moment assumptions, the resulting discrete system works simultaneously for whole scales of coorbit spaces, including homogeneous Besov spaces and shearlet coorbit spaces [1303.3135].

This discretization theory is conceptually important because it shows that wavelet coorbit spaces are not only defined by continuous transforms. They admit stable atomic decompositions, Banach frames, and coefficient-space norms comparable to classical wavelet coefficient characterizations. In that sense, the continuous group-theoretic construction and the discrete wavelet expansion are two levels of the same theory [1606.04924].

## 6. Examples, equivalence, and later extensions

For the affine group in one dimension, the weighted-\(L^p\) theory recovers the diagonal Besov scale
\[
\operatorname{Co}L_{m_s}^p(\operatorname{Aff})
\cong
\dot B_{\,s-\frac12+\frac1p}^{p,p},
\]
while the mixed-norm formulation
\[
\operatorname{Co}L_s^{p,q}
\cong
\dot B_{\,s-\frac12+\frac1q}^{p,q}
\]
is available after extending the coefficient spaces from weighted Lebesgue spaces to mixed norms [2401.12387]. In the isotropic higher-dimensional setting, the similitude group yields homogeneous Besov spaces, and in the modern decomposition-space formulation ordinary isotropic wavelets, anisotropic wavelets, and shearlets are all treated as instances of wavelet coorbit spaces attached to different dilation groups [1606.04924].

Comparison of different dilation groups has become a major topic. In dimension \(2\), irreducibly admissible groups fall into three model types—similitude, diagonal, and shearlet \(H_{\shr}^c\)—and coorbit equivalence is governed almost completely by the open dual orbit: if the orbit has \(1\) or \(4\) connected components, orbit equality determines the coorbit class, whereas in the \(2\)-component case of shearlet type, coorbit equivalence forces equality of the groups themselves [2508.04521]. In dimension \(3\), all irreducibly admissible matrix groups were classified up to conjugacy and finite-index extension; every such group has compactly supported admissible vectors, and all except one exceptional case, labeled \((2.l)\), have compactly supported atoms \(\psi\in\mathcal B_{v_0}\) for every polynomially bounded control weight [1610.07739].

A later coarse-geometric theory treats both irreducible and reducible quasi-regular representations through integrably admissible dilation groups. In that framework, coorbit equivalence is characterized by equality of the essential frequency support and weak equivalence of the induced coverings, and for connectivity-respecting groups it is equivalent to a quasi-isometry between the large-scale geometries of the corresponding frequency-covering models. One consequence is that, among one-parameter groups, only the essentially isotropic case is coorbit equivalent to an irreducibly admissible group such as \(\mathbb R^+\cdot I_d\) [2411.08416].

This reducible perspective is complemented by a Fréchet-target extension of coorbit theory in which the usual \(L_w^1(G)\) test space is replaced by a Fréchet space \(\mathcal T\), notably
\[
\mathcal T=\bigcap_{p\in(1,+\infty)}L^p(G).
\]
That framework admits reproducing representations whose kernels are not \(L^1\)-integrable, including Shannon wavelets, whose kernel belongs to \(L^p\) for every \(p>1\) but not to \(L^1\). In this sense, classical integrable-kernel wavelet coorbit theory is a special case of a broader reproducing-kernel theory [1402.3917].

There are also non-group and non-Euclidean extensions. In the warped time-frequency framework, logarithmic warping
\[
\Phi(t)=\log_a(t)
\]
produces continuous wavelet transforms, and the resulting coorbit spaces coincide with the classical wavelet coorbit spaces after the reciprocal change of scale parameter [1503.05439]. For generalized shearlet dilation groups, dilational symmetries of the entire coorbit scale are characterized by quasi-isometries of the induced frequency metric, and for these groups the compatible dilations are exactly the normalizer:
\[
\mathcal S_{Co_H}=N_H
\]
[2303.17938]. Over disconnected local fields \(K\), the affine group
\[
G=K\rtimes K^*
\]
again supports a full wavelet coorbit theory; the homogeneous Besov spaces \(\dot B_{\alpha,s,t}(K)\) are identified as coorbits, every nonzero \(g\in\mathcal S_0(K)\) yields tight wavelet frames on suitable discrete subsets of \(G\), and orthonormal wavelet bases generated from \(\mathcal S_0(K)\) are unconditional bases for all associated coorbit spaces [2508.07242].

A persistent point of interpretation is that wavelet coorbit spaces are not exhausted by the phrase “spaces defined by a mixed \(L^{p,q}\)-condition on a continuous wavelet transform.” That formulation captures the norm, but not the structure. The deeper invariant is the action of the dilation group on frequency space, which determines admissibility, the orbit geometry, the induced decomposition covering, the discretization, and the comparison theory between different wavelet systems [1606.04924].

Source: https://www.emergentmind.com/topics/wavelet-coorbit-spaces