Contents

Shearlet

One of the most important properties of shearlets is their ability to provide optimally sparse approximations (in the sense of optimality in ^[2]) for cartoon-like functions ${\displaystyle f}$. In imaging sciences, cartoon-like functions serve as a model for anisotropic features and are compactly supported in ${\displaystyle [0,1]^{2}}$ while being ${\displaystyle C^{2}}$ apart from a closed piecewise ${\displaystyle C^{2}}$ singularity curve with bounded curvature. The decay rate of the ${\displaystyle L^{2}}$-error of the ${\displaystyle N}$-term shearlet approximation obtained by taking the ${\displaystyle N}$ largest coefficients from the shearlet expansion is in fact optimal up to a log-factor:^[3][4]

${\displaystyle \|f-f_{N}\|_{L^{2}}^{2}\leq CN^{-2}(\log N)^{3},\quad N\to \infty ,}$

where the constant ${\displaystyle C}$ depends only on the maximum curvature of the singularity curve and the maximum magnitudes of ${\displaystyle f}$, ${\displaystyle f'}$ and ${\displaystyle f''}$. This approximation rate significantly improves the best ${\displaystyle N}$-term approximation rate of wavelets providing only ${\displaystyle O(N^{-1})}$ for such class of functions.

Shearlets are to date the only directional representation system that provides sparse approximation of anisotropic features while providing a unified treatment of the continuum and digital realm that allows faithful implementation. Extensions of shearlet systems to ${\displaystyle L^{2}(\mathbb {R} ^{d}),d\geq 2}$ are also available. A comprehensive presentation of the theory and applications of shearlets can be found in.^[5]

The construction of continuous shearlet systems is based on parabolic scaling matrices

${\displaystyle A_{a}={\begin{bmatrix}a&0\\0&a^{1/2}\end{bmatrix}},\quad a>0}$

as a mean to change the resolution, on shear matrices

${\displaystyle S_{s}={\begin{bmatrix}1&s\\0&1\end{bmatrix}},\quad s\in \mathbb {R} }$

as a means to change the orientation, and finally on translations to change the positioning. In comparison to curvelets, shearlets use shearings instead of rotations, the advantage being that the shear operator ${\displaystyle S_{s}}$ leaves the integer lattice invariant in case ${\displaystyle s\in \mathbb {Z} }$, i.e., ${\displaystyle S_{s}\mathbb {Z} ^{2}\subseteq \mathbb {Z} ^{2}.}$ This indeed allows a unified treatment of the continuum and digital realm, thereby guaranteeing a faithful digital implementation.

For ${\displaystyle \psi \in L^{2}(\mathbb {R} ^{2})}$ the continuous shearlet system generated by ${\displaystyle \psi }$ is then defined as

${\displaystyle \operatorname {SH} _{\mathrm {cont} }(\psi )=\{\psi _{a,s,t}=a^{3/4}\psi (S_{s}A_{a}(\cdot -t))\mid a>0,s\in \mathbb {R} ,t\in \mathbb {R} ^{2}\},}$

and the corresponding continuous shearlet transform is given by the map

${\displaystyle f\mapsto {\mathcal {SH}}_{\psi }f(a,s,t)=\langle f,\psi _{a,s,t}\rangle ,\quad f\in L^{2}(\mathbb {R} ^{2}),\quad (a,s,t)\in \mathbb {R} _{>0}\times \mathbb {R} \times \mathbb {R} ^{2}.}$

A discrete version of shearlet systems can be directly obtained from ${\displaystyle \operatorname {SH} _{\mathrm {cont} }(\psi )}$bydiscretizing the parameter set ${\displaystyle \mathbb {R} _{>0}\times \mathbb {R} \times \mathbb {R} ^{2}.}$ There are numerous approaches for this but the most popular one is given by

${\displaystyle \{(2^{j},k,A_{2^{j}}^{-1}S_{k}^{-1}m)\mid j\in \mathbb {Z} ,k\in \mathbb {Z} ,m\in \mathbb {Z} ^{2}\}\subseteq \mathbb {R} _{>0}\times \mathbb {R} \times \mathbb {R} ^{2}.}$

From this, the discrete shearlet system associated with the shearlet generator ${\displaystyle \psi }$ is defined by

${\displaystyle \operatorname {SH} (\psi )=\{\psi _{j,k,m}=2^{3j/4}\psi (S_{k}A_{2^{j}}\cdot {}-m)\mid j\in \mathbb {Z} ,k\in \mathbb {Z} ,m\in \mathbb {Z} ^{2}\},}$

and the associated discrete shearlet transform is defined by

${\displaystyle f\mapsto {\mathcal {SH}}_{\psi }f(j,k,m)=\langle f,\psi _{j,k,m}\rangle ,\quad f\in L^{2}(\mathbb {R} ^{2}),\quad (j,k,m)\in \mathbb {Z} \times \mathbb {Z} \times \mathbb {Z} ^{2}.}$

Trapezoidal frequency support of the classical shearlet.

Let ${\displaystyle \psi _{1}\in L^{2}(\mathbb {R} )}$ be a function satisfying the discrete Calderón condition, i.e.,

${\displaystyle \sum _{j\in \mathbb {Z} }|{\hat {\psi }}_{1}(2^{-j}\xi )|^{2}=1,{\text{for a.e. }}\xi \in \mathbb {R} ,}$

with ${\displaystyle {\hat {\psi }}_{1}\in C^{\infty }(\mathbb {R} )}$ and ${\displaystyle \operatorname {supp} {\hat {\psi }}_{1}\subseteq [-{\tfrac {1}{2}},-{\tfrac {1}{16}}]\cup [{\tfrac {1}{16}},{\tfrac {1}{2}}],}$ where ${\displaystyle {\hat {\psi }}_{1}}$ denotes the Fourier transformof${\displaystyle \psi _{1}.}$ For instance, one can choose ${\displaystyle \psi _{1}}$ to be a Meyer wavelet. Furthermore, let ${\displaystyle \psi _{2}\in L^{2}(\mathbb {R} )}$ be such that ${\displaystyle {\hat {\psi }}_{2}\in C^{\infty }(\mathbb {R} ),}$ ${\displaystyle \operatorname {supp} {\hat {\psi }}_{2}\subseteq [-1,1]}$ and

${\displaystyle \sum _{k=-1}^{1}|{\hat {\psi }}_{2}(\xi +k)|^{2}=1,{\text{for a.e. }}\xi \in \left[-1,1\right].}$

One typically chooses ${\displaystyle {\hat {\psi }}_{2}}$ to be a smooth bump function. Then ${\displaystyle \psi \in L^{2}(\mathbb {R} ^{2})}$ given by

${\displaystyle {\hat {\psi }}(\xi )={\hat {\psi }}_{1}(\xi _{1}){\hat {\psi }}_{2}\left({\tfrac {\xi _{2}}{\xi _{1}}}\right),\quad \xi =(\xi _{1},\xi _{2})\in \mathbb {R} ^{2},}$

is called a classical shearlet. It can be shown that the corresponding discrete shearlet system ${\displaystyle \operatorname {SH} (\psi )}$ constitutes a Parseval frame for ${\displaystyle L^{2}(\mathbb {R} ^{2})}$ consisting of bandlimited functions.^[5]

Another example are compactly supported shearlet systems, where a compactly supported function ${\displaystyle \psi \in L^{2}(\mathbb {R} ^{2})}$ can be chosen so that ${\displaystyle \operatorname {SH} (\psi )}$ forms a frame for ${\displaystyle L^{2}(\mathbb {R} ^{2})}$.^[4][6][7][8] In this case, all shearlet elements in ${\displaystyle \operatorname {SH} (\psi )}$ are compactly supported providing superior spatial localization compared to the classical shearlets, which are bandlimited. Although a compactly supported shearlet system does not generally form a Parseval frame, any function ${\displaystyle f\in L^{2}(\mathbb {R} ^{2})}$ can be represented by the shearlet expansion due to its frame property.

One drawback of shearlets defined as above is the directional bias of shearlet elements associated with large shearing parameters. This effect is already recognizable in the frequency tiling of classical shearlets (see Figure in Section #Examples), where the frequency support of a shearlet increasingly aligns along the ${\displaystyle \xi _{2}}$-axis as the shearing parameter ${\displaystyle s}$ goes to infinity. This causes serious problems when analyzing a function whose Fourier transform is concentrated around the ${\displaystyle \xi _{2}}$-axis.

To deal with this problem, the frequency domain is divided into a low-frequency part and two conic regions (see Figure):

${\displaystyle {\begin{aligned}{\mathcal {R}}&=\left\{(\xi _{1},\xi _{2})\in \mathbb {R} ^{2}\mid |\xi _{1}|,|\xi _{2}|\leq 1\right\},\\{\mathcal {C}}_{\mathrm {h} }&=\left\{(\xi _{1},\xi _{2})\in \mathbb {R} ^{2}\mid |\xi _{2}/\xi _{1}|\leq 1,|\xi _{1}|>1\right\},\\{\mathcal {C}}_{\mathrm {v} }&=\left\{(\xi _{1},\xi _{2})\in \mathbb {R} ^{2}\mid |\xi _{1}/\xi _{2}|\leq 1,|\xi _{2}|>1\right\}.\end{aligned}}}$

The associated cone-adapted discrete shearlet system consists of three parts, each one corresponding to one of these frequency domains. It is generated by three functions ${\displaystyle \phi ,\psi ,{\tilde {\psi }}\in L^{2}(\mathbb {R} ^{2})}$ and a lattice sampling factor ${\displaystyle c=(c_{1},c_{2})\in (\mathbb {R} _{>0})^{2}:}$

${\displaystyle \operatorname {SH} (\phi ,\psi ,{\tilde {\psi }};c)=\Phi (\phi ;c_{1})\cup \Psi (\psi ;c)\cup {\tilde {\Psi }}({\tilde {\psi }};c),}$

where

${\displaystyle {\begin{aligned}\Phi (\phi ;c_{1})&=\{\phi _{m}=\phi (\cdot {}-c_{1}m)\mid m\in \mathbb {Z} ^{2}\},\\\Psi (\psi ;c)&=\{\psi _{j,k,m}=2^{3j/4}\psi (S_{k}A_{2^{j}}\cdot {}-M_{c}m)\mid j\geq 0,|k|\leq \lceil 2^{j/2}\rceil ,m\in \mathbb {Z} ^{2}\},\\{\tilde {\Psi }}({\tilde {\psi }};c)&=\{{\tilde {\psi }}_{j,k,m}=2^{3j/4}\psi ({\tilde {S}}_{k}{\tilde {A}}_{2^{j}}\cdot {}-{\tilde {M}}_{c}m)\mid j\geq 0,|k|\leq \lceil 2^{j/2}\rceil ,m\in \mathbb {Z} ^{2}\},\end{aligned}}}$

with

${\displaystyle {\begin{aligned}&{\tilde {A}}_{a}={\begin{bmatrix}a^{1/2}&0\\0&a\end{bmatrix}},\;a>0,\quad {\tilde {S}}_{s}={\begin{bmatrix}1&0\\s&1\end{bmatrix}},\;s\in \mathbb {R} ,\quad M_{c}={\begin{bmatrix}c_{1}&0\\0&c_{2}\end{bmatrix}},\quad {\text{and}}\quad {\tilde {M}}_{c}={\begin{bmatrix}c_{2}&0\\0&c_{1}\end{bmatrix}}.\end{aligned}}}$

The systems ${\displaystyle \Psi (\psi )}$ and ${\displaystyle {\tilde {\Psi }}({\tilde {\psi }})}$ basically differ in the reversed roles of ${\displaystyle x_{1}}$ and ${\displaystyle x_{2}}$. Thus, they correspond to the conic regions ${\displaystyle {\mathcal {C}}_{\mathrm {h} }}$ and ${\displaystyle {\mathcal {C}}_{\mathrm {v} }}$, respectively. Finally, the scaling function ${\displaystyle \phi }$ is associated with the low-frequency part ${\displaystyle {\mathcal {R}}}$.

• Image processing and computer sciences^[5]
  • Denoising
  • Inverse problems
  • Image enhancement
  • Edge detection
  • Inpainting
  • Image separation
• PDEs^[5]
  • Resolution of the wavefront set
  • Transport equations
• Coorbit theory, characterization of smoothness spaces^[5]
• Differential geometry: manifold learning

• 3D-Shearlets ^[7][9]
• ${\displaystyle \alpha }$-Shearlets ^[7]
• Parabolic molecules ^[10]
• Cylindrical Shearlets ^[11][12]

• Wavelet transform
• Curvelet transform
• Contourlet transform
• Bandelet transform
• Chirplet transform
• Noiselet transform

• Homepage of Gitta Kutyniok
• Homepage of Demetrio Labate