Abstract
Hypercomplex Fourier transforms are increasingly used in signal processing for the analysis of higher-dimensional signals such as color images. A main stumbling block for further applications, in particular concerning filter design in the Fourier domain, is the lack of a proper convolution theorem. The present paper develops and studies two conceptually new ways to define convolution products for such transforms. As a by-product, convolution theorems are obtained that will enable the development and fast implementation of new filters for quaternionic signals and systems, as well as for their higher dimensional counterparts.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, there has been an increased interest in applying hypercomplex Fourier transforms (FTs) in various aspects of signal processing where higher dimensional or vector signals are used, such as color image processing [29, 37], flow visualization [25, 26], and even spoken word recognition [4]. The main idea behind these applications is the representation of a signal (say, a color image) as a pure quaternion or as an element of a suitable Clifford algebra (see Sect. 2 for a precise definition). This representation is subsequently analysed using a generalisation of the classical Fourier transform to a hypercomplex FT, which takes into account the multi-dimensional and multi-component nature of the signal under consideration. This stands in stark contrast to a component based classical analysis, sometimes also called marginal analysis. Successful further developments of the hypercomplex approach include the design of a color edge filter [42], as well as other filters [45], construction of FFT methods to compute hypercomplex FTs [40], etc.
The main issue that hinders further development of applications (and in particular of filter design not based on ad hoc assumptions or ideas) is the lack of a suitable convolution theorem. Indeed, in [10] it was shown that hypercomplex FTs such as the quaternionic FT do not interact nicely with the classical convolution product, but rather lead to very complicated expressions in the Fourier domain. This means that, up to now, no filter design was possible in the Fourier domain, and hence that no fast implementations as multiplication operators have been obtained so far.
The main aim of the present paper is to tackle that problem. We will investigate, on theoretical grounds, the different possible convolution products that can be defined for a wide class of hypercomplex FTs. It turns out that two conceptual ways exist to achieve this, both having a left and right version. Before explaining these two definitions, let us recall that in the recent literature three different approaches to hypercomplex FTs have been considered. We can identify them as follows
-
A: Eigenfunction approach
-
B: Generalized roots of −1 approach
-
C: Characters of Spin group approach
The first approach is mainly studied in [6–8, 15–21], and aims at constructing new hypercomplex transforms by prescribing eigenvalues to a suitable basis of a Clifford-algebra valued L 2 space. The choice of suitable eigenvalues implies that there is a huge design freedom in this approach. The transforms of this class also have a deep connection with quantum mechanics and exhibit a very particular underlying algebraic structure, namely that of the Lie superalgebra \(\mathfrak{osp}(1|2)\). For a recent review from this point of view, we refer the reader to [13].
The second approach is mainly advocated in [9, 10] and boils down to replacing the imaginary unit i in the exponent of the ordinary Fourier transform by a generalized root of −1, belonging to a Clifford algebra (see e.g. [32, 34] for a detailed study of such roots). It encompasses several of the hypercomplex FTs often used in applications, such as the quaternionic Fourier transform [29], the Sommen-Bülow transform [11, 46], the Clifford Fourier transform (written without hyphen) introduced in [26] and further extended in [1, 33], and the cylindrical Fourier transform [8]. Again this approach exhibits a huge design freedom, as the set of roots of −1 is very big and as the roots can in principle be chosen independently for each application.
Finally, a third approach is given in [2, 3], and uses the notion of character (or group morphism) to generalize the ordinary Fourier transform to the setting of the group Spin(3), resp. Spin(5) for direct application in grey scale, resp. color image processing. Although the conceptual ideas of this third approach are very different from the second approach B, the resulting transforms can nevertheless be written as special cases of the transforms in B. For that reason we will only focus on the first two approaches in the sequel.
The classical FT and the classical convolution product will serve as a guide to define the generalized convolution products. Recall that the classical convolution product for two functions f and g is defined by
with τ y g(x):=g(x−y). The classical FT, defined over ℝm, is given by
for f∈L 1(ℝm), where \({\langle}x,y{\rangle}= \sum_{j=1}^{m} x_{j} y_{j}\) is the standard inner product. It interacts nicely with the convolution product. Namely, one has
A first possibility to generalize the convolution product is hence obtained by taking the inverse FT of the right-hand side of (1) as a definition. This idea was first explored by Mustard for the fractional Fourier transform, see [38].
Another way to generalize the convolution product is obtained by introducing a generalization of the (geometric) translation operator τ y . This is also the strategy which is e.g. used for the Dunkl transform (see [41, 49]). Let us first illustrate the concept in some more detail for the ordinary FT. First we compute the FT of the translation over z of a function f:
This means that, formally, the ordinary translation is recovered via
Here, the inverse FT acts on the y variable and yields the u variable.
Now let K(x,y) be the integral kernel of a hypercomplex FT \(\mathcal{F}_{K}\) and \(\widetilde{K(x,y)}\) be the kernel of its inverse \(\mathcal{F}_{K}^{-1}\). Upon replacing e −i〈z,y〉 by the kernel of the hypercomplex FT under consideration in formula (2), one obtains the definition of a generalized translation operator:
Note that this definition immediately reduces to geometric translation (i.e. formula (2)) when K is the kernel of the classical FT.
We can hence summarize the four possible definitions for a generalized convolution product, related to a hypercomplex FT \(\mathcal{F}_{K}\):
-
The first type of definition is inspired by convolution for the fractional Fourier transform. It is given by
$$f *_1 g(x):= \mathcal{F}_K^{-1} \bigl( \mathcal{F}_K(f) \mathcal {F}_K(g) \bigr) (x) $$or
$$f *_2 g(x):= \mathcal{F}_K^{-1} \bigl( \mathcal{F}_K(g) \mathcal {F}_K(f) \bigr) (x). $$These two versions in general do not coincide due to the non-commutativity of the Clifford algebra. However, one immediately observes that f∗1 g=g∗2 f. For symmetry reasons it is nevertheless convenient to introduce both versions.
This definition is clearly interesting as it forces a convolution theorem to hold for the hypercomplex FT under consideration. As we will see in the sequel, it is possible to derive explicit formulas for these new convolutions in terms of classical convolutions (see e.g. the subsequent Theorem 9).
-
Using the generalized translation operator τ K on the other hand, one can also define
$$f *_3 g(x):= \int_{\mathbb{R}^m} \bigl[ \tau_y^K f(x)\bigr] g(y)dy $$or
$$f *_4 g(x):= \int_{\mathbb{R}^m} f(y) \bigl[ \tau_y^K g(x) \bigr]dy. $$Both definitions are again different due to the non-commutativity of the Clifford algebra. Moreover, in this case there is no immediate relation expressing f∗3 g in terms of f∗4 g or vice versa.
This definition is interesting for a different reason: it allows to obtain inversion theorems for hypercomplex FTs in a way similar to Theorem 8.4 in [21].
For hypercomplex FTs, so far only definition f∗3 g has been applied, in only one particular case, see [21]. In the present paper, we will perform a detailed study of the four different products mentioned above, for transforms belonging to approach A and B. In both cases, we will introduce specific notations to distinguish between the various definitions. An overview of these notations and the results obtained in the paper is given in Table 1. Note that the methods developed in the paper can equally be extended to other hypercomplex FTs that have not been designed yet.
The paper is organized as follows. After some preliminaries on Clifford algebras and analysis, we introduce in Sect. 3 the most general hypercomplex FT that can be considered within the approach A. Its integral kernel takes the form of an infinite series in terms of Gegenbauer polynomials and Bessel functions. We discuss several examples and calculate the action of the associated transform on a basis of the relevant function space. We also construct the inverse of this general transform. In Sect. 3.2 we define the four types of convolution for this general transform, and study their basic properties. Next, in Sect. 3.3, we compute the action of the generalized translation operator on the special class of radial functions and prove that, for this special set of functions, the new translation coincides in many cases with ordinary translation. The proof of this result is technical, and the reader may wish to skip it during a first reading of the paper. In Sect. 4, we turn our attention to the transforms belonging to approach B. We give the general definition and compute the eigenvalues and eigenfunctions (thus establishing a connection with the techniques used in approach A). Then we revisit the different convolution definitions in this context. Both in the case of Mustard convolution (Sect. 4.2) and in the generalized translation operator approach (Sect. 4.3), we can now obtain very explicit formulas for the new convolutions, which can moreover easily be implemented in software packages. In Sect. 4.4 we restate our results for the special case of the quaternionic Fourier transform (qFT). This is the most well-known hypercomplex FT used in engineering, and hence deserves a separate treatment. We end the paper with Table 1 where the results are summarized for the two approaches A and B.
2 Preliminaries on Clifford Algebras and Analysis
The Clifford algebra \(\mathcal{C}l_{0,m}\) over ℝm is the algebra generated by e i , i=1,…,m, under the relations
This algebra has dimension 2m as a vector space over ℝ. It can be decomposed as \(\mathcal{C}l_{0,m} = \bigoplus_{k=0}^{m} \mathcal {C}l_{0,m}^{k}\) with \(\mathcal{C}l_{0,m}^{k}\) the space of k-vectors defined by
In the applied literature, Clifford algebras are usually called geometric algebras. For a detailed exposition from this point of view, including geometric interpretations and applications in computer vision, we refer the reader to [24].
In the sequel, we will always consider functions f taking values in \(\mathcal{C}l_{0,m}\), unless explicitly mentioned. Such functions can be decomposed as
with f 0,f i ,f ij ,…,f 1⋯m all real- or complex-valued functions on ℝm.
The Dirac operator is given by \(\partial_{\underline{x}}:= \sum_{j=1}^{m} \partial _{x_{j}} e_{j}\) and the vector variable by \(\underline{x}:= \sum_{j=1}^{m} x_{j} e_{j}\). The square of the Dirac operator equals, up to a minus sign, the Laplace operator in ℝm: \(\partial_{\underline{x}}^{2} = - \Delta\). For more information regarding Clifford analysis, we refer the reader to [5, 22].
Denote by \(\mathcal{P}\) the space of polynomials taking values in \(\mathcal{C} l_{0,m}\), i.e.
The space of homogeneous polynomials of degree k is then denoted by \(\mathcal{P}_{k}\). The space \(\mathcal{M}_{k} : = \ker{\partial_{\underline{x}}} \cap \mathcal{P}_{k}\) is called the space of spherical monogenics of degree k.
Next we define the inner product and the wedge product of two vectors \(\underline{x}\) and \(\underline{y}\)
Remark 1
From now on, we will use the following convention for denoting variables, resp. vectors. When x=(x 1,…,x m )∈ℝm is used as a variable we will not underline it (in order not to overload notations). When it is used as a vector \(\underline{x}:= \sum_{j=1}^{m} x_{j} e_{j}\) involving Clifford multiplication, we use the underlined notation.
We introduce two different bases for the space \(\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\), where \(\mathcal{S}(\mathbb{R}^{m})\) denotes the Schwartz space. Define the functions ψ j,k,ℓ by
where j,k∈ℕ, \(\{M_{k}^{(\ell)} \in\mathcal{M}_{k}: \ell= 1, \ldots , \dim\mathcal{M}_{k}\}\) is a basis for \(\mathcal{M}_{k}\), and \(L_{j}^{\alpha}\) are the Laguerre polynomials. The set {ψ j,k,ℓ } forms a basis of \(\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\), see [47]. This basis is called the Clifford-Hermite basis or the spherical basis. Alternatively, define the one-dimensional Hermite functions (see e.g. [48]) by
for k∈ℕ. Then the set \(\{ \psi_{j_{1},j_{2}, \ldots, j_{m}}\}\) with
and j 1,…,j m ∈ℕ is also a basis of \(\mathcal {S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\), called the tensor product or Cartesian basis. Both bases interact nicely with the ordinary FT. One has
It is interesting to compare this result with the subsequent Theorems 1 and 7. For more information about these two bases, we refer the reader to [12].
3 Convolution Products in Approach A
3.1 Definition of the Transforms, Eigenfunctions, Eigenvalues and Inverse
In this section we consider a general kernel of the following form
with
and α k ,β k ∈ℂ, \(\tilde{z} = (|x||y|)/ \sin{\alpha}\), w=〈x,y〉/(|x||y|), λ=(m−2)/2 and α∈[−π,π]. Here, J ν is the Bessel function and \(C_{k}^{{\lambda}}\) the Gegenbauer polynomial. We exclude the cases where α=0 or α=±π.
The integral transform associated with this kernel is defined by
with
and with dx the standard Lebesgue measure on ℝm. The precise form of the kernel in formula (7) is inspired by the results obtained in [16]. In particular, it encompasses all previously studied kernels in the eigenfunction approach A.
Remark 2
In order to ensure good analytic behavior of the transform (8), we additionally demand that both \(A(w,\tilde{z})\) and \(B(w,\tilde{z})\) satisfy polynomial bounds of the following type
with j∈ℕ and c a constant.
This is the case for all subsequent examples, and allows us to prove that the transform (8) yields a continuous map on \(\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\), by adaptation of the proof in [16].
3.1.1 Some Examples
In the special case where α=π/2, the kernel takes the form
with
and z=|x||y|, w=〈x,y〉/(|x||y|), λ=(m−2)/2. The corresponding integral transform is given by
where \(\rho_{\frac{\pi}{2},m} = (2 \pi)^{-m/2}\).
Note that the kernel of the classical Fourier transform \(\mathcal{F}\), which can equally be expressed as the operator exponential \(e^{ \frac{i \pi m}{4}}e^{ \frac{i \pi}{4}(\Delta- |x|^{2} )}\), takes the form (9) with
Also the Clifford-Fourier transform (see [6–8, 21]), a generalization of the classical Fourier transform in the framework of Clifford analysis, takes this form. It is defined by the following exponential operator
with
In case of the Clifford-Fourier transform \(\mathcal{F}_{-}\), the coefficients α k and β k in the kernel (9) take the form:
For the transform \(\mathcal{F}_{+}\), similar expressions hold. Moreover, in [15], an entire class of kernels of the form (9), for particular values of the coefficients α k and β k , was determined. They yield new integral transforms that have the same calculus properties (i.e. interaction with the Dirac operator) as the original Clifford-Fourier transform, but with different spectrum.
Also for general α, concrete examples have been studied. The fractional Fourier transform (see [39]) is a generalization of the classical Fourier transform. It is usually defined using the operator expression
Recently, a fractional version of the Clifford-Fourier transform was introduced (see [16]). It is defined by the following exponential operator
The integral kernel of this transform takes the form (7) with
3.1.2 Eigenvalues
Now we calculate the action of the transform (8) on the basis (4) of \(\mathcal{S}(\mathbb{R}^{m}) \otimes \mathcal{C}l_{0,m}\). We start with the following auxiliary result, expressing the radial behavior of the integral transform.
Proposition 1
Let \(M_{k} \in\mathcal{M}_{k}\) be a spherical monogenic of degree k. Let f(x)=f 0(|x|) be a real-valued radial function in \(\mathcal {S}(\mathbb{R}^{m})\). Further, put \(\underline{\xi}= \underline{x}/|x|\) and \(\underline {\eta} = \underline{y}/|y|\). Then one has, putting β 0=0,
and
with \(\tilde{z}= (r |y|)/\sin{\alpha}\), λ=(m−2)/2 and
Proof
The proof goes along similar lines as the proof of Theorem 6.4 in [21]. □
We then have the following theorem.
Theorem 1
One has, putting β 0=0,
and
Proof
This follows from the explicit expression (4) of the basis and the identity (see [31, p. 847, formula 7.421, number 4 with α=1]):
□
Remark 3
Theorem 1 is very important; it allows us to design a hypercomplex Fourier transform \(\mathcal{F}_{K}\) by prescribing the eigenvalues on the basis {ψ j,k,ℓ } via
for any set of numbers λ k ,μ k ∈ℂ. Indeed, it suffices to solve the system of equations
to determine the integral kernel K(x,y) in terms of the coefficients α k and β k .
3.1.3 Inverse Transform
In order to construct the inverse of the general transform \(\mathcal {F}_{K}\) on the basis {ψ j,k,ℓ } we consider the following integral transform:
where the kernel is given by
with
and γ k ,δ k ∈ℂ, \(\tilde{z}= (|x| |y|)/\sin{\alpha}\), w=〈x,y〉/(|x||y|), λ=(m−2)/2.
Similarly as for the transform \(\mathcal{F}_{K}\), we can consecutively calculate the radial behavior of the transform \(\mathcal{F}_{K}^{\ast}\) and determine its action on the basis {ψ j,k,ℓ }. This yields the following result.
Theorem 2
One has, putting δ 0=0,
and
Proof
Similar to the proof of Theorem 1. □
Combining Theorems 1 and 2, we are now able to construct the inverse of the general transform \(\mathcal {F}_{K}\) on the basis {ψ j,k,ℓ }.
Theorem 3
The inverse of \(\mathcal{F}_{K}\) on the basis {ψ j,k,ℓ } is given by
with
where
and
Proof
Put \(\widetilde{K(x,y)} = ( \widetilde{A(w,\tilde{z})} + (\underline{x}\wedge\underline{y}) \widetilde{B(w,\tilde{z})} ) \times e^{-\frac{i}{2}( \cot\alpha) (|x|^{2} + |y|^{2})} \) where
and with γ k ,δ k ∈ℂ. We need to have that
Using Theorems 1 and 2, this condition is equivalent with the system of equations (k=0,1,…)
and
Solving these two equations for γ k and δ k then yields the statement of the theorem. □
3.2 Four Types of Generalized Convolution
3.2.1 Definitions Based on an Idea of Mustard
The definitions of the first two types of convolutions are based on the observation that in the classical case the following interaction between the convolution and the Fourier transform holds:
In our case, this leads to the following:
Definition 1
For \(f,g \in\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal {C}l_{0,m}\), the generalized convolution f∗ C,L g is defined for x∈ℝm by
Similarly, the generalized convolution f∗ C,R g takes the form
Note that, as already mentioned in the introduction, f∗ C,R g=g∗ C,L f.
Taking into account the integral expression for \(\mathcal{F}_{K}\) and its inverse \(\mathcal{F}_{K}^{-1}\), see formula (8) and Theorem 3, we obtain the following explicit formulas.
Proposition 2
The generalized convolutions f∗ C,L g and f∗ C,R g take the following explicit form:
and
with
3.2.2 Definitions Using the Generalized Translation Operator
We first define a generalized translation operator related to the integral transform \(\mathcal{F}_{K}\) defined in Sect. 3.1.
Definition 2
Let \(f \in\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\). For y∈ℝm the generalized translation operator \(f \longmapsto\tau^{K}_{y} f\) is defined by
It can be expressed, by the inverse of \(\mathcal{F}_{K}\) (see Sect. 3.1.3), as an integral operator
Using this generalized translation, we can again define two types of convolution for functions with values in the Clifford algebra.
Definition 3
For \(f,g \in\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal {C}l_{0,m}\), the generalized convolution f∗ L g, resp. f∗ R g, is defined for x∈ℝm by
resp.
Using the integral expression for the generalized translation operator (see (10)):
we obtain the explicit formulas for the generalized convolutions introduced above.
Proposition 3
The generalized convolutions f∗ L g and f∗ R g take the following explicit form:
and
3.2.3 Connection Between the Four Types of Convolution and Further Properties
For scalar functions the four types of convolution defined in the previous subsections are strongly related.
Proposition 4
Let \(f,g \in\mathcal{S}(\mathbb{R}^{m})\) be scalar functions. Then one has
-
(i)
(f∗ C,L g)(x)=(f∗ R g)(x)
-
(ii)
(f∗ C,R g)(x)=(f∗ L g)(x)
-
(iii)
(f∗ L g)(x)=(g∗ R f)(x)
-
(iv)
(f∗ C,L g)(x)=(g∗ C,R f)(x).
Proof
These relations follow immediately from the explicit formulas of the convolutions (see Propositions 2 and 3). □
The following proposition quantifies the difference between the left and right versions of the generalized convolutions.
Proposition 5
Let \(f,g \in\mathcal{S}(\mathbb{R}^{m})\) be scalar functions. Then one has
where the commutator of K(y,u) and K(t,u) takes the form
with \(\tilde{z}_{1} = (|y| |u|)/\sin{\alpha}\), \(\tilde{z}_{2} = (|t| |u|)/\sin{\alpha}\), w 1=〈ξ 1,η 1〉, w 2=〈ξ 2,η 1〉 where y=|y|ξ 1, u=|u|η 1 and t=|t|ξ 2.
From the definition of the convolutions f∗ C,L g and f∗ C,R g we immediately obtain the following result.
Theorem 4
For \(f,g \in\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal {C}l_{0,m}\), one has
and
Taking into account Proposition 4 we obtain in case of scalar functions a similar result for the convolutions f∗ L g and f∗ R g.
Proposition 6
For \(f,g \in\mathcal{S}(\mathbb{R}^{m})\) scalar functions, one has
and
3.3 Generalized Translation of Radial Functions
The generalized translation defined in formula (10) no longer equals geometric translation. However, in the special case when we compute the translation of a radial function and when α=π/2, we still find that generalized translation equals geometric translation. That is the main result we will obtain in this section. As a consequence, we will be able to give more results on the new convolution products when one of the functions is radial.
The key ingredient we need is a compact formula for the integral over the unit sphere
where \(\int_{\mathbb{S}^{m-1}} d \omega(\eta) = 1\). This is derived using the series representation of the kernel function and some lemmas which are proven in [21]. We state them again for the convenience of the reader.
Lemma 1
For k,ℓ∈ℕ, λ=(m−2)/2 and x′,y′∈𝕊m−1, one has
Lemma 2
For k,ℓ∈ℕ, λ=(m−2)/2 and x′,y′∈𝕊m−1, one has
We can now show the following result.
Theorem 5
For x,y∈ℝm and r∈ℝ+, one has
with \(u = \frac{r}{\sin{\alpha}} \sqrt{|x|^{2}+|y|^{2}-2 \langle x, y \rangle} = \frac{r}{\sin{\alpha}} |x - y|\) and λ=(m−2)/2.
Proof
First we slightly rewrite K(x,y) (see Sect. 3.1) and \(\widetilde{K(x,y)}\) (see Theorem 3) as
with
where \(s_{k} = (\beta_{k} \sin{\alpha} + \alpha_{k})/N_{k}^{\lambda}\), \(t_{k} = -\beta_{k}/N_{k}^{\lambda}\),
and \(x' = x/|x|, y' =y/|y|, w = \langle x' , y' \rangle, \tilde{z} = (|x||y|) /\sin{\alpha}\), λ=(m−2)/2.
Using these decompositions, we obtain
where we calculate the 4 pieces I 1,I 2,I 3 and I 4 separately.
For I 1, we use the reproducing property of the spherical harmonics to obtain
where we use the notations \(\tilde{z}_{1} = (r |x|)/\sin{\alpha}\), \(\tilde{z}_{2} = (r |y|)/ \sin{\alpha}\), w 1=〈η,x′〉 and w 2=〈y′,η〉. For I 2, we use Lemma 1 yielding
and similarly for I 3
Finally, we can calculate the term I 4 using Lemma 2 as follows
Adding these 4 terms then gives
It is easy to check for all k that t k α k +s k β k +sinαt k β k =0, so the term in \((\underline{x}' \wedge\underline{y} ')\) vanishes. Similarly we can compute that
hence we conclude that
Now we invoke the addition formula for Bessel functions (see e.g. [36], p. 107) yielding
with \(u = \frac{r}{\sin{\alpha}} \sqrt{|x|^{2}+|y|^{2} - 2 \langle x, y \rangle}\). This completes the proof of the theorem. □
We can now prove the main theorem in this section.
Theorem 6
Let \(f \in\mathcal{S}(\mathbb{R}^{m})\) be a real-valued radial function on ℝm, i.e. f(x)=f 0(|x|) with f 0:ℝ+↦ℝ, then
with λ=(m−2)/2, \(\mathcal{F}_{\alpha}\) the fractional version of the classical Fourier transform given by the integral transform
and H λ the Hankel transform defined by
Proof
If f(x)=f 0(|x|) is real-valued and radial, then by means of Proposition 1 we obtain that \(\mathcal{F}_{K} ( f ) \) is a radial function as well and it coincides (up to a factor) with the fractional version \(\mathcal{F}_{\alpha}\) of the ordinary Fourier transform. More precisely we have
Hence, by definition of \(\tau^{K}_{y}\) we obtain
Taking the inverse and using polar coordinates x=rη, r=|x|, we obtain
In view of Theorem 5 this becomes
with \(u= \frac{r}{\sin{\alpha}} |x'-y|\). Taking into account the definition of the Hankel transform H λ , we finally obtain
□
In the special case when α=π/2, it follows from Theorem 6 that the generalized translation operator \(\tau ^{K}_{y}\) coincides, up to a constant, with geometric translation if f is a radial function.
Corollary 1
Let \(f \in\mathcal{S}(\mathbb{R}^{m})\) be a real-valued radial function on ℝm, i.e. f(x)=f 0(|x|) with f 0:ℝ+↦ℝ, then in case of α=π/2, one has
with λ=(m−2)/2.
Proof
In case of α=π/2, the fractional Fourier transform \(\mathcal{F} _{\alpha}\) reduces to the classical Fourier transform \(\mathcal{F}\). Moreover, taking into account that for radial functions the classical Fourier transform coincides with the Hankel transform H λ and that the inverse Hankel transform is given by
which holds under mild conditions on f, the desired result follows. □
These results allow us to give more details about the new convolution products, when one of the functions involved is radial. This is summarized in the following proposition.
Proposition 7
If \(g \in\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\) and \(f \in\mathcal{S}(\mathbb{R} ^{m})\) is a real-valued radial function, then
In particular, under these assumptions one has
Proof
If f is a real-valued radial function, then from Proposition 1 we obtain that \(\mathcal{F}_{K} ( f )\) is a real-valued radial function as well. This implies that \(\mathcal{F}_{K} ( f ) h = h \mathcal{F}_{K} ( f )\) for any Clifford algebra-valued function h. Moreover, from Theorem 6 we observe that also \(\tau^{K}_{y}f\) commutes with any Clifford algebra-valued function.
Let us now, for example, show that \(\mathcal{F}_{K} ( f \ast_{L} g ) = \rho_{{\alpha},m}^{-1} \mathcal{F}_{K} ( f ) \mathcal {F}_{K} ( g )\). The other statements are proved similarly. By definition of the transform \(\mathcal{F}_{K}\), the convolution ∗ L and the Fubini theorem, we obtain consecutively
where we have used Definition 2 and the fact that \(K(y,x) \mathcal{F}_{K} ( f )= \mathcal{F}_{K} ( f ) K(y,x)\).
Finally, by applying the inverse transform \(\mathcal{F}_{K}^{-1}\) on
we obtain
□
4 Convolution Products in Approach B
4.1 Definition, Eigenvalues and Eigenfunctions
Let us start by defining the family of transforms we will be looking at in this section.
Definition 4
Denote by \(\mathcal{I}_{m}\) the set \(\{ i \in\mathcal{C}l_{0,m}\mid i^{2}=-1\}\) of geometric square roots of minus one. Let F 1:={i 1,…,i μ },F 2:={i μ+1,…,i m } be two ordered finite sets of such square roots, \(i_{k}\in\mathcal{I}_{m},\forall k=1,\ldots,m\). The geometric Fourier transform (GFT) \(\mathcal{F}_{F_{1},F_{2}}\) of a function \(f: \mathbb{R}^{m} \rightarrow\mathcal{C}l_{0,m}\) takes the form:
This definition is a special case of the general geometric Fourier transforms from [9], where also non-linear functions in the exponentials are allowed. We will use this restriction to guarantee that the inverse transform of any GFT is a GFT itself, namely
Moreover, the restriction also allows us to obtain the eigenvalues and eigenfunctions of the GFT. They are given in the following theorem.
Theorem 7
The basis \(\{ \psi_{j_{1},j_{2}, \ldots, j_{m}}\}\) of \(\mathcal{S}(\mathbb{R}^{m}) \otimes\mathcal{C}l_{0,m}\) diagonalizes the GFT. One has
Proof
By direct computation, we find
Here, we used the result
which is a special case of formula (6). □
An important example of this family of transforms is the two-sided quaternionic Fourier transform (qFT). We will treat it in detail in Sect. 4.4.
Remark 4
Note that all subsequent results also hold in the more general setup of functions \(f: \mathbb{R}^{m} \rightarrow\mathcal{C}l_{p,q}\), compare [9]. However, this is not the case for the transforms of approach A, due to the fact that the Dirac operator is no longer elliptic in arbitrary signature.
4.2 Convolution Formula Based on Mustard’s Idea
Based on the idea of Mustard we define a generalized convolution for any geometric Fourier transform.
Definition 5
For any GFT \(\mathcal{F}_{F_{1},F_{2}}\) we define the convolution \(*_{F_{1},F_{2}}\) by
Now we want to express the convolution \(*_{F_{1},F_{2}}\) by means of the standard convolution
To that aim, we introduce the following notation.
Notation 8
For functions \(f,g:\mathbb{R}^{m}\to\mathcal{C}l_{0,m}\) and multi-indices ϕ,γ∈{0,1}m we put
The following theorem is our main result.
Theorem 9
Let J={0,1}4×m with j 1,k +j 2,k +j 3,k ∈{0,2} and j 4,k =0 for all k=1,…,m be a set of multi-indices. Any generalized convolution \(*_{F_{1},F_{2}}\) from Definition 5 can be expressed as a sum of classical convolutions using Notation 8 by
with the sign c j,ϕ,γ given by
where
Proof
For the multi-indices j∈{0,1}3×m, which we address by j ν,k ∈{0,1} for ν=1,2,3 representing the integration variables x,y,z and k=1,…,m representing the coordinates, we use the notation
and for ν=2,3 corresponding to y,z analogously. Note that \(e^{-i_{k} x_{k} u_{k}}_{j_{1,k}}\) is always real valued and therefore in the center of the Clifford algebra. We get
In order to calculate the integration over the u-variable, we use the trigonometric equalities
For each index k=1,…,m and j 1,k +j 2,k +j 3,k =0 we have that the u k -integrand takes the form
and for j 1,k +j 2,k +j 3,k =2 we have
Hence for j 1,k +j 2,k +j 3,k even we can summarize both in
with
In case of j 1,k +j 2,k +j 3,k odd, the trigonometric equations (11) immediately show that \(e^{i_{k} x_{k} u_{k}}_{j_{1,k}} e^{-i_{k} y_{k} u_{k}}_{j_{2,k}} e^{-i_{k} z_{k} u_{k}}_{j_{3,k}}\) equals a sum of sine functions.
Hence, by splitting the equation
into real and imaginary part:
one sees that all summands with j 1,k +j 2,k +j 3,k odd vanish after integration over u k , while the even ones become delta distributions. As a result we have
with j 4,k =0 ∀k and also
For each index k=1,…,m using
we obtain
Finally we execute the substitution \(y'_{k} = (-1)^{\phi_{k}} y_{k}\), k=1,…,m, and obtain
□
Remark 5
One can now introduce an immediate analog of the convolution f∗2 g mentioned in the introduction, by considering \(g \ast_{F_{1},F_{2}} f\).
4.3 Convolution Formula Based on Generalized Translation
We define a generalized translation operator related to the GFT \(\mathcal{F} _{F_{1},F_{2}}\). Contrary to our original definition in formula (3), we now have to take into account that the kernel consists of two parts.
Definition 6
For any GFT \(\mathcal{F}_{F_{1},F_{2}}\) the general translation operator \(\tau ^{F_{1},F_{2}}_{y}\) is defined by the relation
With calculations analogous to the ones in the previous section we can express the generalized translation operator \(\tau^{F_{1},F_{2}}_{y}\) by means of the standard translation
Theorem 10
Let J={0,1}4×m with j 1,k +j 2,k +j 3,k ∈{0,2} and j 4,k =0 for all k=1,…,m be a set of multi-indices. The generalized translation operator \(\tau^{F_{1},F_{2}}_{y}\) from Definition 6 can be expressed as the sum of classical translations \(\tau_{y^{\boldsymbol{\phi}}}f^{\boldsymbol{\gamma}}(x) = f^{\boldsymbol{\gamma }}(x-y^{\boldsymbol{\phi}})\) using Notation 8 and \(y^{\boldsymbol{\phi}} = ((-1)^{\phi_{1}} y_{1}, \ldots, (-1)^{\phi_{m}} y_{m})\) by
with \(c_{\mathbf{j},\boldsymbol{\phi},\boldsymbol{\gamma}}=\prod_{k=1}^{m}(-1)^{(j_{(2{\phi}_{k} +{\gamma}_{k}+1,k)}+1)(\delta _{(j_{1,k}+j_{2,k}+j_{3,k})}-1)}\).
Proof
Similar to the proof of Theorem 9. □
Using this result, we can now give an explicit expression for the convolution product defined using the translation operator.
Corollary 2
Let J={0,1}4×m with j 1,k +j 2,k +j 3,k ∈{0,2} and j 4,k =0 for all k=1,…,m be a set of multi-indices. The convolution \(*^{\tau}_{F_{1},F_{2}}\) defined by
with \(\tau^{F_{1},F_{2}}_{y}\) from Definition 6 can be expressed as a sum of classical convolutions using Notation 8 by
Note that a similar expression as in Corollary 2 can be obtained for
4.4 Special Case: the Two-Sided Quaternionic Fourier Transform
4.4.1 Definition of the qFT
The quaternion algebra ℍ is isomorphic with the Clifford algebra \(\mathcal{C}l_{0,2}\) under the identification \({\bf i} = e_{1}\), \({\bf j} =e_{2}\) and \({\bf k} = e_{1} e_{2}\).
Let μ,ν∈ℍ be quaternions with μ 2=ν 2=−1. Then, following [35], we define the two-sided qFT as
for functions f∈L 1(ℝ2;ℍ) where we have introduced a different normalization (2π)−1. The first definition of this two-sided transform, with \(\mu={\bf j}\) and \(\nu={\bf k}\), was introduced in the Ph.D. thesis [27], see also [28]. In earlier work, a one sided version was given by Ernst et al. [30] and by Delsuc [23], although these authors use an adaptation of the quaternion algebra. The applicability of the qFT to color image processing was first demonstrated in [43] using a discrete version. At that point, the switch was made to two general orthogonal axes μ and ν instead of \({\bf j}\) and \({\bf k}\). Indeed, for color image processing there is an arbitrary but preferred axis of the grey-line in the color space, so the transform kernel axes are generally aligned to or perpendicular to this axis. At the same time ([44]), a change was again made to one-sided transforms, mostly driven by the complexity of the resulting operational formula when using the two-sided qFT definition. Finally, the orthogonality condition on μ and ν was relaxed in [35]. For a recent review on the use of the qFT in image processing, we refer the reader to [29].
4.4.2 Convolution for the qFT
In this section, we discuss the Mustard and generalized translation definitions of the convolution product for the qFT. First, we give the interaction of the qFT with the ordinary convolution. To that aim, we need the following definition.
Definition 7
For an invertible multivector \(b\in\mathcal{C}l_{0,m}\) and an arbitrary multivector \(a\in\mathcal{C}l_{0,m}\) we define the commutative and anticommutative part of a with respect to b by
Using this definition, the quaternionic Fourier transform of the ordinary convolution (f∗g)(x) is given by
This formula is a special case of the convolution theorem for a general GFT, obtained in [10]. In the discrete case, a similar formula was earlier obtained in [29]. Note that, in particular,
The Mustard convolution, as obtained explicitly in Theorem 9 for an arbitrary GFT, reduces in the case of the two-sided qFT to
It can be checked that this expression coincides with the more symmetric formula
where
and
The advantage of the Mustard definition is that in this case, contrary to formula (12), the following holds:
The situation is quite different for the convolution defined using the generalized translation. First of all, it can easily be proven (see e.g. [14]) for any function f that the generalized translation in the case of the qFT coincides with geometric translation:
As a consequence, the associated convolution also coincides with the classical convolution, i.e.
This can also be proven starting from the result in Corollary 2.
5 Conclusions
In this paper, we have studied two conceptual ways of defining convolution products, namely using the method of Mustard and using the generalized translation operator. We applied these ideas to two important families of hypercomplex Fourier transforms. A summary of our results can be found in Table 1.
We expect that in particular the Mustard convolution will find many applications in color image processing. Currently, the design of filters for such images using hypercomplex methods is hindered by the lack of a proper convolution theorem. Our results now enable the development of a complete theory of linear system design in the quaternionic case (as well as in higher dimensions, which may be interesting for other applications). A Fourier domain analysis, using the Mustard convolution, of the color edge filter constructed in [42] will serve as the guiding example to achieve this.
References
Bahri, M., Hitzer, E.: Clifford Fourier transformation and uncertainty principle for the Clifford geometric algebra \({\rm Cl}_{3,0}\). Adv. Appl. Clifford Algebras 16, 41–61 (2006)
Batard, T., Berthier, M., Saint-Jean, C.: Clifford-Fourier transform for color image processing. In: Bayro-Corrochano, E., Scheuermann, G. (eds.) Geometric Algebra Computing for Engineering and Computer Science, pp. 135–161. Springer, London (2010)
Batard, T., Berthier, M.: Clifford-Fourier transform and spinor representation of images. In: Hitzer, E., Sangwine, S. (eds.) Quaternion and Clifford Fourier Transforms and Wavelets. TIM/Birkhauser (to appear)
Bayro-Corrochano, E., Trujillo, N., Naranjo, M.: Quaternion Fourier descriptors for the preprocessing and recognition of spoken words using images of spatiotemporal representations. J. Math. Imaging Vis. 28, 179–190 (2007)
Brackx, F., Delanghe, R., Sommen, F.: Clifford analysis. Research Notes in Mathematics, vol. 76. Pitman, Boston (1982)
Brackx, F., De Schepper, N., Sommen, F.: The Clifford-Fourier transform. J. Fourier Anal. Appl. 11, 669–681 (2005)
Brackx, F., De Schepper, N., Sommen, F.: The two-dimensional Clifford-Fourier transform. J. Math. Imaging Vis. 26, 5–18 (2006)
Brackx, F., De Schepper, N., Sommen, F.: The Fourier transform in Clifford analysis. Adv. Imaging Electron Phys. 156, 55–203 (2008)
Bujack, R., Scheuermann, G., Hitzer, E.: A general geometric Fourier transform. In: Hitzer, E., Sangwine, S. (eds.) Quaternion and Clifford Fourier Transforms and Wavelets. TIM/Birkhauser (to appear)
Bujack, R., Scheuermann, G., Hitzer, E.: A general geometric Fourier transform convolution theorem. Adv. Appl. Clifford Algebras 23, 15–38 (2013). doi:10.1007/s00006-012-0338-4
Bülow, T., Sommer, G.: Hypercomplex signals—a novel extension of the analytic signal to the multidimensional case. IEEE Trans. Signal Process. 49, 2844–2852 (2001)
Coulembier, K., De Bie, H., Sommen, F.: Orthogonality of the Hermite polynomials in superspace and Mehler type formulae. Proc. Lond. Math. Soc. 103, 786–825 (2011)
De Bie, H.: Clifford algebras, Fourier transforms and quantum mechanics. Math. Methods Appl. Sci. 35, 2198–2228 (2012)
De Bie, H.: New techniques for the two-sided quaternionic Fourier transform. In: Proceedings of AGACSE (2012)
De Bie, H., De Schepper, N., Sommen, F.: The class of Clifford-Fourier transforms. J. Fourier Anal. Appl. 17, 1198–1231 (2011)
De Bie, H., De Schepper, N.: The fractional Clifford-Fourier transform. Complex. Anal. Oper. Theory 6, 1047–1067 (2012)
De Bie, H., De Schepper, N.: Fractional Fourier transforms of hypercomplex signals. Signal Image Video Process. 6, 381–388 (2012)
De Bie, H., Ørsted, B., Somberg, P., Souček, V.: Dunkl operators and a family of realizations of \(\mathfrak {osp}(1|2)\). Trans. Am. Math. Soc. 364, 3875–3902 (2012)
De Bie, H., Ørsted, B., Somberg, P., Souček, V.: The Clifford deformation of the Hermite semigroup. arXiv:1101.5551, 27 pp.
De Bie, H., Sommen, F.: Vector and bivector Fourier transforms in Clifford analysis. In: Gürlebeck, K., Könke, C. (eds.) 18th International Conference on the Application of Computer Science and Mathematics in Architecture and Civil Engineering, Weimar, Germany (2009), 11 pp.
De Bie, H., Xu, Y.: On the Clifford-Fourier transform. Int. Math. Res. Not. 22, 5123–5163 (2011)
Delanghe, R., Sommen, F., Souček, V.: Clifford Algebra and Spinor-Valued Functions. Mathematics and Its Applications, vol. 53. Kluwer Academic, Dordrecht (1992)
Delsuc, M.A.: Spectral representation of 2D NMR spectra by hypercomplex numbers. J. Magn. Reson. 77, 119–124 (1988)
Dorst, L., Fontijne, D., Mann, S.: Geometric Algebra for Computer Science. Morgan Kaufmann, Burlington (2007)
Ebling, J., Scheuermann, G.: Clifford convolution and pattern matching on vector fields. In: Proceedings of IEEE Visualization ’03, pp. 193–200. IEEE Comput. Soc., Los Alamitos (2003)
Ebling, J., Scheuermann, G.: Clifford Fourier transform on vector fields. IEEE Trans. Vis. Comput. Graph. 11, 469–479 (2005)
Ell, T.A.: Hypercomplex spectral transformations. Ph.D. Thesis. University of Minnesota, University Microfilms International Number 9231031 (1992)
Ell, T.A.: Quaternion-Fourier transforms for analysis of two-dimensional linear time-invariant partial differential systems. In: Proc. 32nd IEEE Conf. on Decision and Control, San Antonio, TX, vols. 1–4, pp. 1830–1841 (1993)
Ell, T.A., Sangwine, S.J.: Hypercomplex Fourier transforms of color images. IEEE Trans. Image Process. 16, 22–35 (2007)
Ernst, R.R., Bodenhausen, G., Wokaun, A.: Principles of Nuclear Magnetic Resonance in One and Two Dimensions. International Series of Monographs on Chemistry. Oxford University Press, London (1987)
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products. Academic Press, New York (1980)
Hitzer, E., Ablamowicz, R.: Geometric roots of −1 in Clifford algebras \(\mathcal{C} l_{p,q}\) with p+q≤4. Adv. Appl. Clifford Algebras 21, 121–144 (2011)
Hitzer, E., Bahri, M.: Clifford Fourier transform on multivector fields and uncertainty principles for dimensions \(n=2\ (\operatorname{mod}4)\) and \(n=3\ (\operatorname{mod}4)\). Adv. Appl. Clifford Algebras 18, 715–736 (2008)
Hitzer, E., Helmstetter, J., Ablamowicz, R.: Square roots of −1 in real Clifford algebras. In: Hitzer, E., Sangwine, S. (eds.) Quaternion and Clifford Fourier Transforms and Wavelets. TIM/Birkhauser (to appear). arXiv:1204.4576v2, 31 pp.
Hitzer, E., Sangwine, S.J.: The orthogonal 2D planes split of quaternions and steerable quaternion Fourier transformations. In: Hitzer, E., Sangwine, S. (eds.): Quaternion and Clifford Fourier Transforms and Wavelets. TIM/Birkhauser (to appear)
Magnus, W., Oberhettinger, F., Soni, R.P.: Formulas and Theorems for the Special Functions of Mathematical Physics. Springer, Berlin (1966)
Moxey, C.E., Sangwine, S.J., Ell, T.A.: Hypercomplex correlation techniques for vector images. IEEE Trans. Signal Process. 51, 1941–1953 (2003)
Mustard, D.: Fractional convolution. J. Aust. Math. Soc. Ser. B, Appl. Math 40, 257–265 (1998)
Ozaktas, H., Zalevsky, Z., Kutay, M.: The Fractional Fourier Transform. Wiley, Chichester (2001)
Pei, S.-C., Ding, J.-J., Chang, J.-H.: Efficient implementation of quaternion Fourier transform, convolution, and correlation by 2-D complex FFT. IEEE Trans. Signal Process. 49, 2783–2797 (2001)
Rösler, M.: A positive radial product formula for the Dunkl kernel. Trans. Am. Math. Soc. 355, 2413–2438 (2003)
Sangwine, S.J.: Color image edge detector based on quaternion convolution. Electron. Lett. 34, 969–971 (1998)
Sangwine, S.J.: Fourier transforms of color images using quaternion, or hypercomplex, numbers. Electron. Lett. 32, 1979–1980 (1996)
Sangwine, S.J., Ell, T.A.: The discrete Fourier transform of a color image. In: Blackledge, J.M., Turner, M.J. (eds.) Image Processing II Mathematical Methods, Algorithms and Applications, pp. 430–441. Horwood Publishing, Chichester (2000)
Sangwine, S.J., Ell, T.A.: Color image filters based on hypercomplex convolution. IEE Proc., Vis. Image Signal Process. 147, 89–93 (2000)
Sommen, F.: Hypercomplex Fourier and Laplace transforms. I. Ill. J. Math. 26, 332–352 (1982)
Sommen, F.: Special functions in Clifford analysis and axial symmetry. J. Math. Anal. Appl. 130(1), 110–133 (1988)
Szegő, G.: Orthogonal Polynomials, 4th edn. Amer. Math. Soc. Colloq. Publ., vol. 23. Am. Math. Soc., Providence (1975)
Thangavelu, S., Xu, Y.: Convolution operator and maximal function for the Dunkl transform. J. Anal. Math. 97, 25–55 (2005)
Acknowledgements
The authors would like to thank Todd Ell and Stephen Sangwine for email communication about the qFT, as well as Eckhard Hitzer for communication about the GFT and proofreading Sect. 4.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bujack, R., De Bie, H., De Schepper, N. et al. Convolution Products for Hypercomplex Fourier Transforms. J Math Imaging Vis 48, 606–624 (2014). https://doi.org/10.1007/s10851-013-0430-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10851-013-0430-y