Abstract

The shearlet transform is a promising and powerful time-frequency tool for analyzing nonstationary signals. In this article, we introduce a novel integral transform coined as the Clifford-valued shearlet transform on Cl(p,q) algebras which is designed to represent Clifford-valued signals at different scales, locations, and orientations. We investigated the fundamental properties of the Clifford-valued shearlet transform including Parseval’s formula, isometry, inversion formula, and characterization of range using the machinery of Clifford Fourier transforms. Moreover, we derived the pointwise convergence and homogeneous approximation properties for the proposed transform. We culminated our investigation by deriving several uncertainty principles such as the Heisenberg–Pauli–Weyl uncertainty inequality, Pitt’s inequality, and logarithmic and local-type uncertainty inequalities for the Clifford-valued shearlet transform.

1. Introduction

Wavelet transforms have been proved to be a successful tool for analyzing nontransient signals and have been applied in a number of fields including signal and image processing, differential and integral equations, sampling theory, quantum mechanics, medicine, and so on [1]. However, the efficiency of the wavelet transforms is considerably reduced when applied to higher dimensional signals as they are not able to capture the geometric features like edges and corners at different scales efficiently. The detection of such geometric features in nontransient signals is often highly desirable in numerous practical applications such as medical imaging, remote sensing, crystallography, and several other areas. To circumvent these constraints, a number of novel directional representation systems have been introduced and employed in recent years, such as the wedgelets, ridgelets, ripplets, curvelets, contourlets, surfacelets, brushlets, and shearlets. Among all these geometrical wavelet systems, the shearlet systems have been widely acknowledged and emerged as one of the most effective frameworks for representing multidimensional data because they are nonisotropic nature, and they offer optimally sparse representations [2], allow compactly supported analysing elements [3], are associated with fast decomposition and reconstruction algorithms, and provide a unified treatment of continuum and digital data [4, 5].

Clifford algebras have dethroned both the Grossmann’s exterior algebra and Hamilton’s quaternion algebra in the sense that they incorporate both the geometrical and algebraic features of Euclidean space into a single structure [6]. As a result, the theory of Clifford algebras has attained an overwhelming response and gained a respectable status in higher-dimensional signal and image processing mainly due to the reason that such algebras encompass all dimensions at once unlike the multidimensional tensorial approach with tensor products of one-dimensional phenomena. This true multidimensional nature allows specific constructions of higher dimensional signal and image processing tools including the Clifford Fourier transforms [7, 8], Clifford Gabor transforms, Clifford wavelet transforms, and other integral transforms in general [913].

Motivated and inspired by the contemporary developments in the theory of shearlet transforms abreast the profound applicability of the Clifford algebras, we introduce the notion of Clifford-valued shearlet transforms on algebras in the context of multidimensional signal analysis. Unlike the conventional shearlet transform, the proposed transform inherits both the geometric and algebraic properties of shearlet transforms and Clifford algebras. Although a meek analgoue of shearlet transform in the Clifford domain has been proposed in [14], it only deals with the algebra, where . Therefore, the centre piece of this study is to construct the Clifford-valued shearlets and the corresponding shearlet transforms in the most general setting by employing translations, sharing, scaling, and spinning elements. Besides, we study the basic properties of the Clifford-valued shearlet transforms including Parseval’s and inversion formulae and range theorem using the machinery of Clifford Fourier transforms. Moreover, we derive the pointwise convergence and homogeneous approximation properties for the proposed transform. Finally, we formulate some uncertainty inequalities including the classical Heisenberg–Pauli–Weyl inequality, Pitt’s inequality, and logarithmic inequality for the Clifford shearlet transforms.

The structure of this article is as follows. Section 2 deals with the preliminaries of Clifford algebras, whereas a comprehensive analysis of the general Clifford-valued shearlet transforms is carried out in Section 3. In Section 4, we study the homogeneous approximation properties for proposed transform. Several uncertainty principles for the proposed transform are also being studied in Section 5. Finally, a conclusion is summarized in Section 6.

2. Basics of Clifford Algebras

In this section, we present a brief overview of the Clifford algebras including the definitions of Clifford Fourier transforms, spin group, and some unitary operators.

The Clifford algebra is a noncommutative, associative algebra generated by the orthonormal basis of the -dimensional Euclidean space governed by the multiplication rule:where , for and for , with denoting the usual Kronecker’s delta function. The noncommutative product and the additional axiom of associativity generates the dimensional Clifford geometric algebra , which can be decomposed aswhere denotes the space of -vectors given by

Any general element of the Clifford algebra is called a multivector and every multivector can be represented in the following form:where and . Moreover, is called as the grade -part of , and , respectively, denote the scalar part, vector part, bivector part, and so on. The Clifford conjugate of a multivector is given bywhere the scalar product of multivectors and is defined as

Moreover, for any pair of multivectors , it can be easily verified that

We now intend to recall the fundamental notion of Clifford Fourier transforms in , as

It is imperative to mention that any function can be expressed as a combination of the real-valued functions and the basis elements as

Due to the noncommutativity of Clifford-valued functions, several analogues of the Clifford Fourier transforms have been introduced in the literature. However, we shall be interested in following definition due to Bahri et al. [15].

Definition 1. Let be a square root of . The Clifford Fourier transform of any function is defined bywhere n, , , and .
The inversion and Plancherel formulae associated with the Clifford Fourier transform (10) are given by In this case, the inner product of two multivector functions and is described throughand its scalar part is given byFor an efficient representation of Clifford-valued functions, we employ the spin elements obtained from the spin group as defined below.

Definition 2. The spin-group is a double covering of special orthogonal group of and is defined bywhere is a subgroup of the invertible elements in the Clifford algebra .
To facilitate the construction of Clifford-valued shearlets, we define the fundamental unitary operators acting on the space . For , and , and the scaling, shearing, spin-rotation, and translation operators are denoted by , , , , respectively, and are defined asand the matrices involved in equation (15) arewhere , and  and denote the well-known Signum function and the null vector, respectively. Moreover, the composition of the scaling matrix and the shearing matrix is given by

3. The Clifford-Valued Shearlet Transform on Algebras

In this section, we shall construct the Clifford-valued shearlets on algebras by using the combined action of the scaling, sharing, spin-rotation and translation operators. Besides, we study the fundamental properties of the Clifford-valued shearlet transform including Parseval’s formula, inversion formula, and obtain a complete characterization of the range. Prior to that, we shall demonstrate that the novel family of Clifford-valued shearlets is endowed with an affine group structure.

Consider that the set endowed with the binary operation is defined aswhere . Clearly, is the neutral element of , whereas is the inverse of any arbitrary element . Moreover, it is easy to verify thatHence, we conclude that constitutes a group and is formally called as the similitude group of dilations, translations, shearing, and spinning.

Furthermore, we claim that the left Haar measure on is given by . In fact, for any function , we have

Making use of the substitution , i.e., , the above expression becomeswhich validates the claim that is indeed the left Haar measure on .

Next, we shall construct a novel class of shearlet systems on algebras by the combined action of the scaling , sharing , spin-rotation , and translation operators on any analyzing function .

For any , and , consider the family of analyzing functions:which is called as the family of Clifford-valued shearlets on the geometric algebra-. The system of functions (22) satisfies the following properties:(i)The system (22) is a dense subspace of (ii)The following norm equality holds good:(iii)The Clifford Fourier transform of the family of functions reads

Next, we shall present the notion of an admissible Clifford-valued shearlet on the space of Clifford-valued functions .

Definition 3. (Admissibility). A nontrivial function is called an admissible Clifford-valued shearlet ifwhich is an invertible multivector and finite, i.e., .

Remark 1. It is worth noticing that , for ; that is, andwhich in turn implies that for every component of the Clifford-valued shearlet is zero; that is, Based on the novel family of Clifford-valued shearlets defined in equation (22), we have the following main definition of the continuous Clifford-valued shearlet transform.

Definition 4. The continuous Clifford-valued shearlet transform of any multivector signal with respect to an analysing Clifford-valued shearlet is defined bywhere is given by equation (22).
The corresponding spectral representation of the Clifford-valued shearlet transform isWe now present an example for the lucid illustration of the proposed Clifford-valued shearlet transform (28).

Example 1. Consider the Clifford-valued Hermite wavelets [16]asTherefore, the corresponding Clifford-valued shearlets of are obtained asand the Clifford-valued shearlet transform (28) of any function , with respect to the analyzing shearlets (31) can be computed asFor simplicity, we shall compute the two-dimensional Clifford-valued shearlet transform for the given function with respect to the shearlets:where . After simplifying, we obtainThe two-dimensional analyzing shearlets given by equation (34) at different values of , and are plotted in Figure 1. The parameters and determine the scaling anisotropy and the decaying rate of shearlets providing more accurate location and orientation. In comparison with wavelets, shearlets not only inherits advantages of wavelets but also provide detailed information of position, normal and curvature of discontinuities.
The Clifford-valued shearlet transform of is computed asFor different values of , and , the corresponding Clifford-valued shearlet transforms of with respect the analysing shearlets (34) are depicted in Figure 2 after computing the integrals (35) in Mathematica software. From the simulation, we infer that the Clifford-valued shearlet transform enables a precise characterization of location, orientation, and curvature of discontinuities in two dimensional signals.
In the following theorem, we assemble some of the basic properties of the Clifford-valued shearlet transform (28).

Theorem 1. for , and admissible Clifford-valued shearlets and . The continuous Clifford-valued shearlet transform (28) satisfies the following properties:(i)(ii)(iii)(iv)(v)(vi)

Proof. For the sake of brevity, we omit the proof.
In our next theorem, we show that the Clifford-valued shearlet transform sets up an isometry from to .

Theorem 2. (Plancherel theorem). Let and be the Clifford-valued shearlet transforms of the multivector signals and , respectively. Then, we havewhere is given by equation (25).

Proof. .Invoking the spectral representation (29) of Clifford shearlet transforms, we obtainThen, equation (37) can be rewritten asThis completes the proof of Theorem 2.

Corollary 1. For , we have the following identity:By taking with , the Clifford-valued shearlet transform becomes an isometry from to .
The next theorem guarantees the reconstruction of the input Clifford-valued signal from the corresponding Clifford-valued shearlet transform.

Theorem 3 (Inversion formula). Any Clifford-valued signal can be reconstructed from the Clifford-valued shearlet transform via the formula:

Proof. Implication of Plancherel theorem of Clifford-valued shearlet transform (36) for every yields thatwhere we used the Fubini–Tonelli theorem in getting the second last step. Since is arbitrary, we haveor equivalentlyThis completes the proof of Theorem 3.
The next theorem presents a characterization of the range of the Clifford-valued shearlet transform . The result follows as a consequence of the reconstruction formula (40) and the well known Fubini theorem.

Theorem 4. (Characterization of range of ). If , let be an admissible Clifford-valued shearlet. Then, is a Clifford-valued shearlet transform of a function if and only if it satisfies the reproducing property:

Proof. Let belongs to the range of the Clifford-valued shearlet transform . Then, there exist a Clifford-valued function such that . In order to show that satisfies equation (44), we proceed asConversely, suppose that an arbitrary function satisfies equation (44). Then, we show that there exists , such that . Assume thatThen, it can be easily verified thatwhich implies that . Moreover, as a consequence of the well-known Fubini theorem and inversion Theorem (40), we haveThis evidently completes the proof of theorem.

Corollary 2. For an admissible Clifford shearlet , the range of the Clifford shearlet transform 28) is a reproducing kernel in with kernel that can be given by

4. HAP Property for the Clifford-Valued Shearlet Transforms

Homogeneous approximation property (HAP) means that the approximation rate in a reconstruction of signal is essentially invariant under time-scale shifts. The HAP is being extensively used for studying frame density [17]. In this section, we investigate the homogeneous approximation property for the proposed Clifford-valued shearlet transforms. Initially, we shall present some results related to the pointwise convergence of the reconstruction formula (40).

Theorem 5. Let be the Clifford-valued shearlet transform of any such thatwhere is an admissible Clifford-valued shearlet with , real valued. Then, we have

Proof. For , we defineThen, the application of Schwartz’s inequality implies thatThis shows that is well defined on .
Next, we show that is uniformly continuous on . For any , we haveFrom equation (54), we observe that as . Thus, we conclude that is uniformly continuous on .
Moreover, for any , we haveInvoking scalar part for the Clifford Fourier transform, we can deduce thatThis completes the proof of Theorem 5.

Theorem 6. Let be an admissible Clifford-valued shearlet. Then, for any ), we have

Proof. Using Parseval’s formula for the Clifford Fourier transforms together with an application of Theorem 5, we haveSince is given to be admissible, it follows thatTherefore, we haveUsing dominated convergence theorem in equation (58), we conclude thatProceeding in a manner similar to the above case, we can show thatThis completes the proof of Theorem 6.
In the sequel, we study the homogeneous approximation property for the proposed Clifford-valued shearlet transforms. Prior to that, we introduce some notations as given below:
For every and , we denotewhere and .

Theorem 7. Let be an admissible Clifford-valued shearlet with , real valued. Then, for any and , there exist some constants , such that for any , with any and , we havewhere .

Proof. For an arbitrary , we haveBy choosing and large enough and arbitrary small, we can make R. H. S as small as we need. This completes the proof of Theorem 7.

5. Uncertainty Principles for the Clifford-Valued Shearlet Transforms

In this section, we shall establish several uncertainty inequalities including Heisenberg–Pauli–Weyl uncertainty inequality, Pitt’s inequality, and logarithmic and local uncertainty inequality for the Clifford-valued shearlet transform as defined by equation (28). Prior to establishing the uncertainty principle for the Clifford-valued shearlet transform, we have the following lemma which shall be employed for deriving certain uncertainty inequalities and whose proof follows directly from the Parseval’s and inversion formulae of the Clifford Fourier transforms.

Lemma 1. Let be an admissible Clifford-valued shearlet. Then, for any ), we have

Theorem 8. (Heisenberg–Weyl inequality). Let be the Clifford-valued shearlet transform of any Clifford-valued function ). Then, the following inequality follows

Proof. For any Clifford-valued function , the Heisenberg–Paul–Weyl inequality for the Clifford Fourier transforms [8, 18] is given byConsidering as a function of and replacing by in (68), we getWe now integrate the above inequality with respect to measure , and using Schwartz inequality, to obtainUsing Lemma 1 together with Fubini theorem, we obtainEquivalently, we haveUsing the definition of in L. H. S and Corollary 1 in R. H. S, we obtain the desired result as followsThis completes the proof of Theorem 8.

Remark 2. For real-valued , Theorem 5 boils down toThe classical Pitt’s inequality expresses a fundamental relationship between a sufficiently smooth function and the corresponding Clifford Fourier transform [19]. We derive the Pitt’s type inequality for the proposed Clifford-valued shearlet transform (28). The Schwartz space on algebras is given bywhere is the class of smooth functions, and denote multiindices, and denotes the usual partial differential operator.

Theorem 9. (Pitt’s inequality for ). For any , the Pitt’s inequality for the Clifford-valued shearlet transform (28) is given bywhere is the admissibility condition of Clifford-valued shearlet, and is given bywhere denotes the well-known Euler’s gamma function.

Proof. Considering as a function of the translation variable , the Pitt’s inequality in the Clifford Fourier domain implies 13:which upon integration with respect to the measure yieldsInvoking Lemma 1, we can express the inequality (79) in the following manner:Equivalently, we haveSince is an admissible Clifford shearlet, inequality (81) boils down towhich is the desired Pitt’s inequality for the Clifford-valued shearlet transform.

Remark 3. For , equality which holds in equation (76) is equivalent to equation (39).
Next, we shall formulate the logarithmic uncertainty principle for the Clifford-valued shearlet transform given by equation (28).

Theorem 10. (Logarithmic uncertainty principle). For any , the Clifford-valued shearlet transform satisfies the following logarithmic estimate of the uncertainty inequality:provided the left hand side of this inequality is defined.

Proof. For the Clifford-valued function , the logarithmic uncertainty inequality in the Clifford Fourier domain yields [18]Upon replacing by in the above inequality, we obtainIntegrating equation (85) with respect to measure and then invoking the Fubini theorem, we obtainUsing Lemma 1, the inequality (86) can be further simplified asAlternatively, the above inequality can be rewritten asNoting that is admissible and using Corollary 1, we obtain the desired result asThis completes the proof of Theorem 10.
In the following, we establish a local-type uncertainty principle for the Clifford-valued sharelet transform defined by equation (28). More precisely, we shall demonstrate that the portion of lying outside some given set of finite Lebesgue measure cannot be arbitrarily small.

Theorem 11. (Concentration of in small sets). Let be an admissible Clifford-valued shearlet satisfying . Then, for any measurable subset of and , we havewhere denotes the measure of .

Proof. Using the definition of Clifford-valued shearlet transforms, we haveBy virtue of Holders inequality, we haveOn the other hand, we can writeApplication of Corollary 1 for the real-valued implies thatorThis completes the proof of Theorem 11.

6. Conclusion

In the present study, we formulated the notion of continuous Clifford-valued shearlet transform on the generalized geometric algebra Clp, q. The proposed transform has the advantage of efficiently handling Clifford-valued signals at various scales, positions and orientations while upholding the affine structure. Besides, studying the fundamental aspects of the Clifford-valued shearlet transform, the homogeneous approximation property is also investigated in detail. Nevertheless, some prominent uncertainty inequalities, such as the Hesienberg–Puali–Weyl logarithmic and local uncertainty principles are obtained at the end.

Data Availability

No data were generated.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The first author was supported by SERB (DST), Government of India under Grant No. EMR/2016/007951. Mawardi Bahri was funded by Grant from Ministry of Education, Culture, Research, and Technology, Indonesia under the WCR scheme.