Volume 2017, Issue 1 3247364
Research Article
Open Access

Relation between Quaternion Fourier Transform and Quaternion Wigner-Ville Distribution Associated with Linear Canonical Transform

Mawardi Bahri

Corresponding Author

Mawardi Bahri

Department of Mathematics, Hasanuddin University, Makassar 90245, Indonesia unhas.ac.id

Search for more papers by this author
Muh. Saleh Arif Fatimah

Muh. Saleh Arif Fatimah

Department of Mathematics, Hasanuddin University, Makassar 90245, Indonesia unhas.ac.id

Search for more papers by this author
First published: 27 September 2017
Citations: 9
Academic Editor: Guowei Yang

Abstract

The quaternion Wigner-Ville distribution associated with linear canonical transform (QWVD-LCT) is a nontrivial generalization of the quaternion Wigner-Ville distribution to the linear canonical transform (LCT) domain. In the present paper, we establish a fundamental relationship between the QWVD-LCT and the quaternion Fourier transform (QFT). Based on this fact, we provide alternative proof of the well-known properties of the QWVD-LCT such as inversion formula and Moyal formula. We also discuss in detail the relationship among the QWVD-LCT and other generalized transforms. Finally, based on the basic relation between the quaternion ambiguity function associated with the linear canonical transform (QAF-LCT) and the QFT, we present some important properties of the QAF-LCT.

1. Introduction

The quaternion Fourier transform (QFT) is a nontrivial generalization of the real and complex classical Fourier transforms (FT) using quaternion algebra. Many useful properties of the QFT were obtained such as shift, modulation, convolution, correlation, differentiation, energy conservation, and uncertainty principle. It was first introduced in [1] for the analysis of 2D linear time-invariant partial differential systems and then applied in color image processing [2, 3]. It is a natural question to extend the QFT to the linear canonical transform (LCT) domains and then it is the so-called quaternionic linear transform (QLCT). This extension is constructed by substituting the kernel of the QFT with the kernel of the LCT. A number of useful properties of the QLCT have been investigated including shift, orthogonality relation, reconstruction formula, and Heisenberg uncertainty principle (see, for example, [46] and the references given therein).

In [7], the author studied that the fractional Fourier transform (FrFT) can be reduced to the classical Fourier transform. Based on this fact, some properties of the FrFT can be derived very easily from those of the classical Fourier transform by simple change variable. Recently, in [8], the authors developed this idea to derive an uncertainty principle associated with the quaternion linear canonical transform (QLCT) by using the fundamental relationship between the QLCT and the QFT [8]. In [9], the authors proposed the quaternion Wigner-Ville distribution associated with linear canonical transform (QWVD-LCT) and obtain its fundamental properties. In the present paper, we first establish the basic relationship between the QWVD-LCT and the QFT. We then show that some fundamental properties of the QWVD-LCT such as inversion formula and Moyal formula can be obtained by combining this relation and the properties of the QFT. We investigate that the QWVD-LCT can be reduced to the quaternion windowed Fourier transform and the continuous quaternion Fourier transform. We finally establish the relationship between the QAF-LCT and the QFT which enables us to derive some useful properties of the QAF-LCT.

2. Preliminaries

In the preliminaries we remind the reader of some facts of quaternions, the quaternion Fourier transform, and the quaternion linear canonical transform.

2.1. Basic Facts about Quaternions

The quaternion algebra over , denoted by , is an associative noncommutative four-dimensional algebra:
(1)
which obeys the following multiplication rules:
(2)
For a quaternion , q0 is called the scalar part of q denoted by Sc(q) and iq1 + jq2 + kq3 is called the vector (or pure) part of q. The vector part of q is conventionally denoted by q. Let and p, q be their vector parts, respectively. Equation (2) yields the quaternionic multiplication qp as
(3)
where q · p = (q1p1 + q2p2 + q3p3) and q × p = i(q2p3q3p2) + j(q3p1q1p3) + k(q1p2q2p1).
The quaternion conjugate of q, given by
(4)
is an anti-involution; that is,
(5)
From (4), we obtain the norm or modulus of defined as
(6)
It is not difficult to see that
(7)
Furthermore, it is easily seen that
(8)
Using conjugate (4) and the modulus of q, we can define the inverse of as
(9)
which shows that is a normed division algebra.
Now we observe that
(10)
This leads to the cyclic multiplication; that is,
(11)
We define an inner product for quaternion-valued functions as follows:
(12)
with symmetric real scalar part
(13)
In particular, for f = g, we obtain the -norm
(14)
This gives the -norm
(15)

2.2. Quaternion Linear Canonical Transform and Its Basic Properties

In this section, we briefly discuss the definition of the two-sided QFT and the two-sided quaternion linear canonical transform (QLCT) (for simplicity of notation, we write the QFT and QLCT instead of the two-sided QFT and the two-sided QLCT, resp., in the next section). We further collect some basic properties of the QLCT, which will be very useful later on.

Definition 1. The QFT of is the transform given by the integral

(16)
where x = x1e1 + x2e2, ω = ω1e1 + ω2e2 and the quaternion exponential product is the quaternion Fourier kernel. Here is called the quaternion Fourier transform operator.

Definition 2. If and , then the inverse transform of the QFT is given by

(17)
where is called the inverse QFT operator.

A useful property of the QFT is stated in the following lemma, which is needed to derive Moyal formula of the quaternion Wigner-Ville distribution associated with the linear canonical transform (QWVD-LCT).

Lemma 3 (QFT Parseval). Let . The relation between f, g and their QFT is given by

(18)
In particular, with f = g, we get the QFT version of the Plancherel formula; that is,
(19)

Definition 4 (QLCT definition). Suppose that A1 = (a1, b1, c1, d1) and A2 = (a2, b2, c2, d2) are real matrix parameters satisfying det(A1) = det(A2) = 1. The QLCT of a quaternion signal is defined by

(20)
where the kernel functions of the QLCT above are given by
(21)

From the definition of the QLCT, we can see easily that, when b1b2 = 0 and b1 = b2 = 0, the QLCT of a signal is essentially a quaternion chirp multiplication. Therefore, in this work, we always assume that b1b2 ≠ 0.

Lemma 5. The QLCT of a signal f can be seen as the QFT of the signal f in the following form:

(22)

It is worth noting that if A1 = A2 = (ai, bi, ci, di) = (0,1, −1,0) for i = 1,2, (22) will reduce to the QFT definition; that is,
(23)

Theorem 6 (QLCT Parseval). Two quaternion functions are related to their QLCT via the Parseval formula, given as

(24)
When f = h, we get
(25)

Proof. For a detailed proof of the above theorem, we refer the reader to [8].

3. Quaternion Wigner-Ville Distribution and Quaternion Ambiguity Function in Linear Canonical Transform Domains

Let us introduce the 2D quaternion Wigner-Ville distribution (QWVD) and quaternion ambiguity function QAF [10]. According to the QWVD and QAF definitions and the QLCT definition, we obtain a definition of the quaternion Wigner-Ville distribution associated with the linear canonical transform (QWVD-LCT) and the quaternion ambiguity function associated with the linear canonical transform (QAF-LCT) (see [9]). We establish the fundamental relationship between the QWVD-LCT and QFT. Applying this relation and the properties of the QFT, we in detail derive the inverse transform formula and Moyal’s formula for the QWVD-LCT and the QAF-LCT, where the proof of the properties is quite different from one proposed in [9]. We also study the relationship among the QWVD-LCT, the quaternion windowed Fourier transform, and the continuous quaternion Fourier transform.

3.1. Main Properties of QWVD-LCT and Relation among QAF-LCT, QWFT, and CQWT

Definition 7. The cross quaternion Wigner-Ville distribution of two-dimensional functions (or signals) is given by

(26)
provided that the integral exists.

It should be remembered that the kernel of the cross QWVD in (26) does not commute with quaternion functions f and g so that several properties of the classical Wigner-Ville distribution (WVD) are not valid in the cross QWVD [10].

Definition 8. The cross quaternion ambiguity function of two-dimensional functions (or signals) is given by

(27)
provided that the integral exists.

Definition 9. Suppose that A1 = (a1, b1, c1, d1) and A2 = (a2, b2, c2, d2) are real matrix parameters satisfying det⁡(A1) = det⁡(A2) = 1. The cross QWVD-LCT and cross QAF-LCT of a quaternion signal are defined by

(28)
(29)
Here the kernel functions of the above transforms are given by
(30)

It can be directly seen that if we write , we immediately obtain
(31)
This tells us that the cross QWVD-LCT is in fact the QLCT of the function hf,g(x, τ) with respect to τ. This fact is very important in proving Moyal’s formula for the cross QWVD-LCT. Similarly, we also get
(32)
where Rf,g is given by
(33)

The following result presents an inequality related to the cross QWVD-LCT.

Lemma 10. Suppose that , with 1/p + 1/q = 1. Then we have

(34)

Proof. We straightforwardly obtain from (28) that

(35)
Letting x + τ/2 = y and xτ/2 = z, we immediately obtain
(36)
Hence, the result follows.

Observe first that, for p = q = 2, (34) will reduce to
(37)
which shows that is bounded on .

Lemma 11. The cross QWVD-LCT of a signal f with matrix parameters A1 = (a1, b1, c1, d1) and A2 = (a2, b2, c2, d2) can be reduced as the QFT of the signal f in the following form:

(38)

Proof. By calculation directly, we get

(39)
where the last line follows directly from (28).

For abbreviation, we use the notation
(40)
Therefore, we can write (38) in the form
(41)

In the below theorem by combining the properties of the QFT and the fundamental relation between the QFT and the QWVD-LCT, we provide a new proof of reconstruction formula for the QWVD-LCT.

Theorem 12 (reconstruction formula for QWVD-LCT). The inverse transform of the cross the QWVD-LCT of the signal is given by

(42)
provided that .

Proof. From the inverse transform of the QFT (17), it follows that

(43)
In view of (40) and (41), we easily get
(44)
Subsequently,
(45)
Letting τ/2 = x, the above expression will lead to
(46)
and the final result can be obtained by letting 2x = s; that is,
(47)
which completes the proof.

We now observe that from (45), we straightforwardly obtain the time marginal property of the QWVD-LCT; that is,
(48)
If we set τ = 0, the above identity will reduce to
(49)
and if we set τ = 0 and f = g, (48) becomes
(50)
Integrating (49) and (50) with respect to the x-variable gives
(51)
Applying Moyal’s formula for the QFT and the relation between the QFT and the QWVD-LCT, we establish general Moyal’s formula of the QWVD-LCT (compared to [9]).

Theorem 13 (Moyal’s formula for the QWVD-LCT). Let be quaternion-valued signals. Then the following equation holds:

(52)

Proof. Applying Parseval’s formula of the QFT (18) to ω-integral into the left-hand side of (52) yields

(53)
Using the cyclic multiplication symmetry (11) yields
(54)
The right-hand side of the above identity can be rewritten in the form
(55)
Making the change of variables y = x + τ/2 and z = xτ/2 and applying Fubini’s theorem we obtain
(56)
By comparing the last line of (54) with the last line of (56) finishes the proof of the theorem.

Based on the above theorem, we obtain the following consequences:
  • (i)

    If g1 = g2, then

    (57)

  • (ii)

    If f1 = f2, then

    (58)

  • (iii)

    If f1 = f2 and g1 = g2, then

    (59)

3.2. Relationship between QAF-LCT and QWFT

In this subsection, we introduce the quaternionic windowed Fourier transform (QWFT) and obtain the relationship between the QAF-LCT and QWFT. Following [11, 12], we define the QWFT as follows.

Definition 14 (QWFT). Let be a fixed nonzero quaternion window function. The QWFT of with respect to ϕ is defined to be the quaternion function on phase space given by

(60)

Before presenting the main result of this subsection, let us introduce the following carrier definition and its properties (see [13, 14]).

Definition 15 (carrier). Given two quaternions p and q, we define the right Cr and left Cl carrier operators as

(61)

Lemma 16. Carriers (61) above satisfy the following properties with :

(62)

We now describe the relationship between the QAF-LCT and the QWFT in the following theorem.

Theorem 17. The QAF-LCT of a quaternion signal can be expressed by the QWFT in the form

(63)

Proof. According to the definition of QWVD-LCT (28), we obtain the following by making the change of variable:

(64)
With the help of (61) and (62), we rewrite the above identity as
(65)
According to the definition of QWFT (60), we choose the quaternion window function
(66)
and obtain
(67)
The proof is complete.

3.3. Relationship between QAF-LCT and CQWT

Before proving the relationship between the QAF-LCT and the continuous quaternion wavelet transform (CQWT), we first introduce the definition of the CQWT (see [1517]).

Definition 18 (CQWT). The CQWT of a quaternion function with respect to the quaternion mother wavelet ψ is defined by

(68)
Here the family of the quaternion wavelets ψa,b is defined by
(69)

This definition will lead to the following result.

Theorem 19. The QAF-LCT of can be reduced to the CQWT

(70)

Proof. Applying the definition of the QAF-LCT (29) and following [18], we easily get

(71)
Again applying (61) and (62), we obtain
(72)
where the family of the quaternion wavelets ψ1,b is given by
(73)
This is the desired result.

4. Relationship between QAF-LCT and QFT

By a similar argument as in the proof of the Lemma 11, one may establish the following lemma, which describes the basic relationship between the QAF-LCT and the QFT.

Lemma 20. The cross QAF-LCT of a signal f with matrix parameters A1 = (a1, b1, c1, d1) and A2 = (a2, b2, c2, d2) can be reduced as the QFT of the signal f in the following form:

(74)

Applying (74) and inversion formula for the QFT (17), we easily obtain the following theorem.

Theorem 21 (reconstruction formula for QAF-LCT). The inverse transform of the cross the QAF-LCT of the signal is given by

(75)
provided that .

In the same kind of reasoning as Theorem 13, one can easily derive Moyal’s formula of the QAF-LCT as follows.

Theorem 22 (Moyal’s formula for QAF-LCT). Let be quaternion-valued signals. Then the following equation holds:

(76)

5. Conclusion

In this paper, we have presented the quaternion Wigner-Ville distribution associated with linear canonical transform (QWVD-LCT) and the quaternion ambiguity function associated with linear canonical transform (QAF-LCT). We provide alternative proof of well-known properties of the QWVD-LCT and QAF-LCT such as inversion formula and Moyal formula. The proof of the properties can be obtained using the properties of the QFT and relationship among the QWVD-LCT, QAF-LCT, and the QFT. We also studied that the QAF-LCT can be reduced to the QWFT and the CQWT.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This research is partially supported by WCU Percepatan Publikasi Internasional Tahun 2016 (no. 3834/UN4.21/PL.09/2016) from the Hasanuddin University, Indonesia.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.