Analysis vs. synthesis sparsity for \alpha-shearlets

MaRDI QIDQ6283077zbMATH OpenFDO

Authors Felix Voigtlaender, Anne Pein

Publication date 12 February 2017

Mathematics Subject Classification ID

Rate of convergence, degree of approximation (41A25) Approximation by other special function classes (41A30) Function spaces arising in harmonic analysis (42B35) General harmonic expansions, frames (42C15) Nontrigonometric harmonic analysis involving wavelets and other special systems (42C40)

Abstract: There are two notions of sparsity associated to a frame $Psi=(ps{i}_i{)}_{iinI}$: Analysis sparsity of $f$ means that the analysis coefficients $(langlef,ps{i}_{i}angle{)}_i$ are sparse, while synthesis sparsity means that $f=su{m}_i{c}_{i}ps{i}_i$ with sparse coefficients $(c_i{)}_i$. Here, sparsity of $c=(c_i{)}_i$ means $cinel{l}^p(I)$ for a given $p<2$. We show that both notions of sparsity coincide if $Psi=mSH(varphi,psi;delta)$ is a discrete (cone-adapted) shearlet frame with 'nice' generators $varphi,psi$ and fine enough sampling density $delta>0$. The required 'niceness' is explicitly quantified in terms of Fourier-decay and vanishing moment conditions. Precisely, we show that suitable shearlet systems simultaneously provide Banach frames and atomic decompositions for the shearlet smoothness spaces $mathscr{S}_s^{p,q}$ introduced by Labate et al. Hence, membership in $mathscr{S}_s^{p,q}$ is simultaneously equivalent to analysis sparsity and to synthesis sparsity w.r.t. the shearlet frame. As an application, we prove that shearlets yield (almost) optimal approximation rates for cartoon-like functions $f$: If $epsilon>0$, then $Vertf-f_{N}Ver{t}_{L^2}lesssim{N}^{-(1-epsilon)}$, where $f_N$ is a linear combination of N shearlets. This might appear to be well-known, but the existing proofs only establish this approximation rate w.r.t. the dual $ildePsi$ of $Psi$, not w.r.t. $Psi$ itself. This is not completely satisfying, since the properties of $ildePsi$ (decay, smoothness, etc.) are largely unknown. We also consider $alpha$-shearlet systems. For these, the shearlet smoothness spaces have to be replaced by $alpha$-shearlet smoothness spaces. We completely characterize the embeddings between these spaces, allowing us to decide whether sparsity w.r.t. $alph{a}_1$-shearlets implies sparsity w.r.t. $alph{a}_2$-shearlets.

This page was built for publication: Analysis vs. synthesis sparsity for $\alpha$-shearlets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6283077)