The construction of continuous shearlet systems is based on parabolic scaling matrices
as a mean to change the resolution, on shear matrices
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 S s {\displaystyle S_{s}} leaves the integer lattice invariant in case s ∈ Z {\displaystyle s\in \mathbb {Z} } , i.e., S s Z 2 ⊆ Z 2 . {\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 ψ ∈ L 2 ( R 2 ) {\displaystyle \psi \in L^{2}(\mathbb {R} ^{2})} the continuous shearlet system generated by ψ {\displaystyle \psi } is then defined as
and the corresponding continuous shearlet transform is given by the map
A discrete version of shearlet systems can be directly obtained from SH c o n t ( ψ ) {\displaystyle \operatorname {SH} _{\mathrm {cont} }(\psi )} by discretizing the parameter set R > 0 × R × R 2 . {\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
From this, the discrete shearlet system associated with the shearlet generator ψ {\displaystyle \psi } is defined by
and the associated discrete shearlet transform is defined by
Let ψ 1 ∈ L 2 ( R ) {\displaystyle \psi _{1}\in L^{2}(\mathbb {R} )} be a function satisfying the discrete Calderón condition, i.e.,
with ψ ^ 1 ∈ C ∞ ( R ) {\displaystyle {\hat {\psi }}_{1}\in C^{\infty }(\mathbb {R} )} and supp ψ ^ 1 ⊆ [ − 1 2 , − 1 16 ] ∪ [ 1 16 , 1 2 ] , {\displaystyle \operatorname {supp} {\hat {\psi }}_{1}\subseteq [-{\tfrac {1}{2}},-{\tfrac {1}{16}}]\cup [{\tfrac {1}{16}},{\tfrac {1}{2}}],} where ψ ^ 1 {\displaystyle {\hat {\psi }}_{1}} denotes the Fourier transform of ψ 1 . {\displaystyle \psi _{1}.} For instance, one can choose ψ 1 {\displaystyle \psi _{1}} to be a Meyer wavelet. Furthermore, let ψ 2 ∈ L 2 ( R ) {\displaystyle \psi _{2}\in L^{2}(\mathbb {R} )} be such that ψ ^ 2 ∈ C ∞ ( R ) , {\displaystyle {\hat {\psi }}_{2}\in C^{\infty }(\mathbb {R} ),} supp ψ ^ 2 ⊆ [ − 1 , 1 ] {\displaystyle \operatorname {supp} {\hat {\psi }}_{2}\subseteq [-1,1]} and
One typically chooses ψ ^ 2 {\displaystyle {\hat {\psi }}_{2}} to be a smooth bump function. Then ψ ∈ L 2 ( R 2 ) {\displaystyle \psi \in L^{2}(\mathbb {R} ^{2})} given by
is called a classical shearlet. It can be shown that the corresponding discrete shearlet system SH ( ψ ) {\displaystyle \operatorname {SH} (\psi )} constitutes a Parseval frame for L 2 ( R 2 ) {\displaystyle L^{2}(\mathbb {R} ^{2})} consisting of bandlimited functions.6
Another example are compactly supported shearlet systems, where a compactly supported function ψ ∈ L 2 ( R 2 ) {\displaystyle \psi \in L^{2}(\mathbb {R} ^{2})} can be chosen so that SH ( ψ ) {\displaystyle \operatorname {SH} (\psi )} forms a frame for L 2 ( R 2 ) {\displaystyle L^{2}(\mathbb {R} ^{2})} .78910 In this case, all shearlet elements in SH ( ψ ) {\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 f ∈ L 2 ( R 2 ) {\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 ξ 2 {\displaystyle \xi _{2}} -axis as the shearing parameter s {\displaystyle s} goes to infinity. This causes serious problems when analyzing a function whose Fourier transform is concentrated around the ξ 2 {\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):
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 ϕ , ψ , ψ ~ ∈ L 2 ( R 2 ) {\displaystyle \phi ,\psi ,{\tilde {\psi }}\in L^{2}(\mathbb {R} ^{2})} and a lattice sampling factor c = ( c 1 , c 2 ) ∈ ( R > 0 ) 2 : {\displaystyle c=(c_{1},c_{2})\in (\mathbb {R} _{>0})^{2}:}
where
with
The systems Ψ ( ψ ) {\displaystyle \Psi (\psi )} and Ψ ~ ( ψ ~ ) {\displaystyle {\tilde {\Psi }}({\tilde {\psi }})} basically differ in the reversed roles of x 1 {\displaystyle x_{1}} and x 2 {\displaystyle x_{2}} . Thus, they correspond to the conic regions C h {\displaystyle {\mathcal {C}}_{\mathrm {h} }} and C v {\displaystyle {\mathcal {C}}_{\mathrm {v} }} , respectively. Finally, the scaling function ϕ {\displaystyle \phi } is associated with the low-frequency part R {\displaystyle {\mathcal {R}}} .
Guo, Kanghui, Gitta Kutyniok, and Demetrio Labate. "Sparse multidimensional representations using anisotropic dilation and shear operators." Wavelets and Splines (Athens, GA, 2005), G. Chen and MJ Lai, eds., Nashboro Press, Nashville, TN (2006): 189–201. "PDF" (PDF). /wiki/Gitta_Kutyniok ↩
Donoho, David Leigh. "Sparse components of images and optimal atomic decompositions." Constructive Approximation 17.3 (2001): 353–382. "PDF". CiteSeerX 10.1.1.379.8993. /wiki/CiteSeerX_(identifier) ↩
Guo, Kanghui, and Demetrio Labate. "Optimally sparse multidimensional representation using shearlets." SIAM Journal on Mathematical Analysis 39.1 (2007): 298–318. "PDF" (PDF). http://www3.math.tu-berlin.de/numerik/mt/mt/www.shearlet.org/papers/OSMRuS.pdf ↩
Kutyniok, Gitta, and Wang-Q Lim. "Compactly supported shearlets are optimally sparse." Journal of Approximation Theory 163.11 (2011): 1564–1589. "PDF" (PDF). /wiki/Gitta_Kutyniok ↩
Kutyniok, Gitta, and Demetrio Labate, eds. Shearlets: Multiscale analysis for multivariate data. Springer, 2012, ISBN 0-8176-8315-1 /wiki/Gitta_Kutyniok ↩
Kittipoom, Pisamai, Gitta Kutyniok, and Wang-Q Lim. "Construction of compactly supported shearlet frames." Constructive Approximation 35.1 (2012): 21–72. Kittipoom, P.; Kutyniok, G.; Lim, W. (2010). "PDF". arXiv:1003.5481 [math.FA]. /wiki/Gitta_Kutyniok ↩
Kutyniok, Gitta, Jakob Lemvig, and Wang-Q Lim. "Optimally sparse approximations of 3D functions by compactly supported shearlet frames." SIAM Journal on Mathematical Analysis 44.4 (2012): 2962–3017. Kutyniok, Gitta; Lemvig, Jakob; Lim, Wang-Q (2011). "PDF". arXiv:1109.5993 [math.FA]. /wiki/Gitta_Kutyniok ↩
Purnendu Banerjee and B. B. Chaudhuri, “Video Text Localization using Wavelet and Shearlet Transforms”, In Proc. SPIE 9021, Document Recognition and Retrieval XXI, 2014 (doi:10.1117/12.2036077).Banerjee, Purnendu; Chaudhuri, B. B. (2013). "Video text localization using wavelet and shearlet transforms". In Coüasnon, Bertrand; Ringger, Eric K (eds.). Document Recognition and Retrieval XXI. Vol. 9021. pp. 90210B. arXiv:1307.4990. doi:10.1117/12.2036077. S2CID 10659099. /wiki/ArXiv_(identifier) ↩
Guo, Kanghui, and Demetrio Labate. "The construction of smooth Parseval frames of shearlets." Mathematical Modelling of Natural Phenomena 8.01 (2013): 82–105. "PDF" (PDF). http://www3.math.tu-berlin.de/numerik/mt/www.shearlet.org/papers/shear_construction.pdf ↩
Grohs, Philipp and Kutyniok, Gitta. "Parabolic molecules." Foundations of Computational Mathematics (to appear) Grohs, Philipp; Kutyniok, Gitta (2012). "PDF". arXiv:1206.1958 [math.FA]. /wiki/Gitta_Kutyniok ↩
Easley, Glenn R.; Guo, Kanghui; Labate, Demetrio; Pahari, Basanta R. (2020-08-10). "Optimally Sparse Representations of Cartoon-Like Cylindrical Data". The Journal of Geometric Analysis. 39 (9): 8926–8946. doi:10.1007/s12220-020-00493-0. S2CID 221675372. Retrieved 2022-01-22. https://link.springer.com/article/10.1007/s12220-020-00493-0 ↩
Bernhard, Bernhard G.; Labate, Demetrio; Pahari, Basanta R. (2019-10-29). "Smooth projections and the construction of smooth Parseval frames of shearlets". Advances in Computational Mathematics. 45 (5–6): 3241–3264. doi:10.1007/s10444-019-09736-3. S2CID 210118010. Retrieved 2022-01-22. https://link.springer.com/article/10.1007/s10444-019-09736-3 ↩