Two-Dimensional Quaternion Linear Canonical Transform: Properties, Convolution, Correlation, and Uncertainty Principle

Bahri, Mawardi; Ashino, Ryuichi

doi:https://doi.org/10.1155/2019/1062979

Journal of Mathematics

On this page

Abstract Introduction Preliminaries Data Availability Conflicts of Interest Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2019 | Article ID 1062979 | https://doi.org/10.1155/2019/1062979

Two-Dimensional Quaternion Linear Canonical Transform: Properties, Convolution, Correlation, and Uncertainty Principle

Mawardi Bahri¹and Ryuichi Ashino²

Academic Editor: Viliam Makis

Received21 Mar 2019

Revised06 Jul 2019

Accepted04 Aug 2019

Published09 Sept 2019

Abstract

A definition of the two-dimensional quaternion linear canonical transform (QLCT) is proposed. The transform is constructed by substituting the Fourier transform kernel with the quaternion Fourier transform (QFT) kernel in the definition of the classical linear canonical transform (LCT). Several useful properties of the QLCT are obtained from the properties of the QLCT kernel. Based on the convolutions and correlations of the LCT and QFT, convolution and correlation theorems associated with the QLCT are studied. An uncertainty principle for the QLCT is established. It is shown that the localization of a quaternion-valued function and the localization of the QLCT are inversely proportional and that only modulated and shifted two-dimensional Gaussian functions minimize the uncertainty.

1. Introduction

The quaternion Fourier transform (QFT) is a nontrivial generalization of the classical Fourier transform (FT) using the quaternion algebra. The QFT has been shown to relate to the other quaternion signal analysis tools, such as quaternion wavelet transform [1–3], fractional quaternion Fourier transform [4, 5], quaternionic windowed Fourier transform [6–9], and quaternion Wigner transform [10]. Because of the noncommutative property of quaternion multiplication, we obtain at least three different kinds of two-dimensional QFTs as follows (see [11–15]):where and are any two unit pure quaternions () that are orthogonal to each other. These three QFTs are so-called left-sided, right-sided, and double-sided QFTs or type I, II, and III QFTs, respectively. As is well known, the linear canonical transform (LCT) is a general form of the FT, and the quaternion linear canonical transform (QLCT) is a generalization of the QFT in the LCT domain.

In the recent years, the LCT and QLCT have received much attention. Kou et al. [16, 17], for instance, constructed the windowed LCT, with a local window function. It can reveal the local LCT-frequency contents and enjoys high concentrations and eliminates the cross term. It is used to study the generalized prolate spheroidal wave functions and the connection with energy concentration problems. In [18–20], Kou et al. also proposed the (right-sided) quaternion linear canonical transform (QLCT) which is a generalization of the quaternion Fourier transform (QFT) in the LCT domain. This generalization is obtained by replacing the Fourier kernel with the right-sided QFT (type III QFT) kernel in the LCT definition. Some important properties such as Parseval’s theorem, reconstruction formula, uncertainty principles, and asymptotic behaviour are discussed. Like the uncertainty principle for the QFT [3], they also showed that only a two-dimensional Gaussian signal minimizes the uncertainty. However, the convolution theorem is an important result of the QLCT which does not hold using this construction because of the noncommutative property of the right-sided quaternion Fourier kernel.

Our attention in this article is to introduce a definition of the QLCT (compared to [21–23]). This definition is obtained by substituting the Fourier kernel with the type II QFT kernel (see [24]) in the LCT definition, which is essentially different from the kernel of the type III QFT. We investigate some important properties such as linearity, shift, and modulation and Plancherel’s and Parseval’s theorems. We study the convolution theorems associated with the QLCT, which can be useful in digital signal and image processing. Based on the convolution definitions of the LCT [25–27] and QFT, we also propose a new correlation definition for the QLCT and obtain its correlation theorems. We finally establish an uncertainty principle for the QLCT and show that only modulated and shifted two-dimensional Gaussian functions minimize the uncertainty.

We display here the organization of the paper: Section 2 describes the preliminaries about the quaternion Fourier transform and its basic properties, which will be used in the next section. The construction of the QLCT is presented in Section 3; its important properties are also discussed in this section. The definition of the convolution in the QLCT domain is introduced and the theorem on the QLCT of the convolution of two quaternion-valued functions is constructed in Section 4. Section 5 provides the definition of the correlation in the QLCT domain and discusses the theorem on the QLCT of a correlation of two quaternion functions. Section 6 establishes an uncertainty principle for the QLCT, which shows that the spread of a quaternion-valued function and its QLCT are inversely proportional. It is shown that only modulated and shifted two-dimensional Gaussian functions minimize the uncertainty.

Throughout this paper, is used to denote a set of real numbers.

2. Preliminaries

2.1. Quaternion

The quaternion, which is a type of hypercomplex number, was originally invented by William Hamilton in 1843 [28]. It is a generalization of a complex number to a 4D algebra and is denoted by . Every element of can be written in the hypercomplex form as follows:

Here, the three different imaginary parts satisfy the following multiplication rules:

For a quaternion , is called the scalar part of q denoted by and is called the pure part of q denoted by . A quaternionic conjugation is given by

Any quaternion q can be represented in the polar form as (see [29])where , , is the eigen angle or phase of q and μ is an arbitrarily fixed unit quaternion such that . When , q is a unit quaternion. Note that Euler’s formula holds for quaternions; that is, . We also have . Hereinafter, besides the quaternion units , , and and the vector part of a quaternion , we shall use the following real vector notation:and so on when there is no confusion. We may define the left quaternion inner product for two functions f and by

We see that, for , we obtain the norm induced by the above inner product as

We find it convenient to introduce the space as follows:

2.2. Convolution Associated with QFT

The quaternion Fourier transform (QFT) was originally proposed by Ell [11] and applied in quaternion color image processing [12, 30]. Some results related to the fundamental properties of the QFT can be found in [31–33]. We introduce a definition of the QFT as follows.

Definition 1. The QFT of is the function given bywhere µ is an arbitrarily fixed pure quaternion such that . The inverse transform of the QFT is given byprovided that the integral exists.

Definition 2. The convolution of and , denoted by , is defined byWe have the following important result on the QFT of a convolution of two quaternion functions.

Theorem 1 [34]. Let f, have the following representations:Then, we have

It is easily seen that the convolution theorem in the FT domain is a special case of Theorem 1.

3. Quaternion Linear Canonical Transform

The linear canonical transform (LCT) is a linear integral transformation with three free parameters which has widely been used in various fields such as spectral analysis, image processing, and optical system analysis [35, 36]. Several famous transforms such as the Fourier transform, the fractional Fourier transform, and the other transformations are special cases. This section will consider generalizing the LCT using the quaternion algebra. This extension is then called the quaternion linear canonical transform (QLCT).

3.1. Definition of QLCT

Based on the definition of the type II QFT, we obtain a definition of the QLCT by replacing the kernel of the FT with the kernel of the type II QFT in the classical LCT definition. The special linear group of degree 2 over , that is, the group of all real matrices with determinant one, is denoted by . Let

When , we define the kernels , , of the QLCT by

Definition 3. The QLCT of is defined bywhere , , are called chirp signals in signal processing. Here after, we will deal with the case when because is trivial for . When , the QLCT reduces to the QFT, that is,The polar form of the QLCT (17) can be found in [37].
The following describes the general relationship between the QLCT and the type II QFT of a signal f.

Lemma 1. The QLCT of a signal f with , , can be seen as the QFT of a signal f in the form

Proof. By a straightforward computation, it follows from Definition 3 thatthus proving the theorem.

Theorem 2. If and , then the inversion formula of the QLCT is given bywhich is equivalent towhere , .

Proof. A direct calculation givesthus proving the theorem.
The following proposition will be very useful when proving the uncertainty principle for the QLCT.

Proposition 1. Let the kernel functions , , be defined by (16). Then, we havewhere denotes the k-th derivative of the delta function δ.

Proof. For , we haveSince the distributional support of as a distribution of is , we havein the distributional sense. With (25) and (26), we have (24).

3.2. Useful Properties of the QLCT

Parseval’s theorem for Fourier transform can be generalized to the QLCT as well. Let us now formulate Parseval’s theorem in the QLCT domain.

Theorem 3 (QLCT Parseval). Let f, . Then, we have

Proof. For f, , we haveIn the second equality in Theorem 3, we have replaced the quaternion function f with its inverse QLCT expression in Theorem 2. In the third equality, we have interchanged the order of integration. In the fourth equality, we have applied the quaternion conjugation rule for p, , thus proving the theorem.
Due to the noncommutativity of the kernel of the QLCT, we only have a left linearity property with quaternion constants; that is,In the following, we will summarize the important properties of the QLCT. We will see that the results are generalizations of the basic properties of the LCT. Let . The translation operator by is defined byThe modulation operator by is defined byWe now begin with the shift property of the QLCT.

Theorem 4 (shift property). For , we have

Next, we are concerned about the behavior of the QLCT under modulation.

Theorem 5 (modulation property). For , we have

Theorem 6 (time-frequency shift). For , we have

We present the following result, which is needed for deriving the uncertainty principle related to the QLCT.

Theorem 7. Let and for . Assume that , that , and that , . Then, we have

Proof. Recall the quaternion conjugation rule for p, . The distributional calculation givesUsing in Proposition 1, we getAgain taking in Proposition 1 givesSince the delta function is even function and , we haveThen, integration by parts in the sense of distribution implieswhich implies the desired result.

The above properties of the QLCT are summarized in Table 1.

4. Convolution Associated with QLCT

As we know, convolution is one of the fundamental results in the Fourier transform and LCT. Because the QLCT is a generalization of the LCT using the quaternion algebra, it makes possible to build the convolution theorem in the QLCT domain. For this reason, we introduce the following definition.

Definition 4. For f, , we define the convolution operator of the QLCT byThe above definition implies the following important theorem, which describes how the convolution of two quaternion-valued functions interacts with their QLCTs.

Theorem 8. Letbelong to . Then, the QLCTs of the convolution of f and are given by

Proof. Let and denote the QLCTs of f and , respectively. Expanding the QLCT of the left-hand side of the above identity, we obtainChanging variables in the above expression, we haveApplying the QLCT definition yieldsThe noncommutativity of the quaternion multiplication requires us to decompose into . This givesMultiplying both sides of the above identity by and , we obtainthus proving the theorem.

5. Correlation Theorem for QLCT

In this section, we define the correlation of the QLCT. Then, we investigate the relationship between the QLCT and the correlation of two quaternion functions.

Definition 5. For f, , we define the correlation operator of the QLCT byThen, we reap a consequence of the definition above.

Theorem 9. For f, , we have the QLCTs of correlation of f and byWhen , the above expression reduces to

Proof. From the definitions of the QLCT (17) and the convolution, we getSetting , we getUsing the QLCT definition, we obtainSubstituting , we haveMultiplying both sides of the above identity by and , we obtainWe finally obtainthus proving the theorem.

6. Uncertainty Principle for QLCT

As in the case of the LCT [38, 39], the uncertainty principle is an important result of the QLCT. In [18, 19, 21], the authors have established the uncertainty principle for the two-sided QLCT. Based on the definition of our proposed QLCT in this article, we investigate an uncertainty principle related to the QLCT. The proof of the uncertainty differs from ones mentioned above. This uncertainty principle describes that the spread of a quaternion-valued function and its QLCT are inversely proportional. It is found that modulated and shifted two-dimensional Gaussian functions minimize the uncertainty.

Theorem 10. Let , , and , , , and . Then, the following inequalities hold:Moreover, we have equality in the above expression for if and only if f is a modulated and shifted two-dimensional Gaussian function; that is, it has the formwhere is a quaternion constant and , are positive real constants.

Proof. We will prove this theorem in two parts. Firstly, we set . By inserting Theorem 7 into the left-hand side of (58), we obtainwhere the third equality follows from the quaternion Cauchy–Schwarz inequality.
Secondly, for , we can take similar steps as above and haveNow notice that, for , using integration by parts, we haveNote that the equality in equation (58) only holds for a two-dimensional Gaussian function:It is known that modulation and shift properties are valid for the type II QFT (compare to [40]). Moreover, equality in (58) holds if and only if f is a modulated and shifted two-dimensional Gaussian function, thus proving the theorem.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was partially supported by JSPS KAKENHI under Grant nos. JP16K05216, JP17K05298, and JP17K05363 and by Research Institute for Mathematical Sciences, an International Joint Usage/Research Center located in Kyoto University.

References

P. Fletcher and S. J. Sangwine, “The development of the quaternion wavelet transform,” Signal Processing, vol. 136, pp. 2–15, 2017.
View at: Publisher Site | Google Scholar
M. Bahri, “Quaternion algebra-valued wavelet transform,” Applied Mathematical Sciences, vol. 5, no. 71, pp. 3531–3540, 2011.
View at: Google Scholar
M. Bahri and R. Ashino, “A variation on uncertainty principle and logarithmic uncertainty principle for continuous quaternion wavelet transforms,” Abstract and Applied Analysis, vol. 2017, Article ID 3795120, 11 pages, 2017.
View at: Publisher Site | Google Scholar
X. Guanlei, W. Xiaotong, and X. Xiaogang, “Fractional quaternion Fourier transform, convolution and correlation,” Signal Processing, vol. 88, no. 10, pp. 2511–2517, 2008.
View at: Publisher Site | Google Scholar
H. De Bie and N. De Schepper, “Fractional Fourier transforms of hypercomplex signals,” Signal, Image and Video Processing, vol. 6, no. 3, pp. 381–388, 2012.
View at: Publisher Site | Google Scholar
L. Akila and R. Roopkumar, “Multidimensional quaternionic Gabor transforms,” Advances in Applied Clifford Algebras, vol. 26, no. 3, pp. 985–1011, 2016.
View at: Publisher Site | Google Scholar
Y. Fu, U. Kähler, and P. Cerejeiras, “The Balian-Low theorem for the windowed quaternionic Fourier transform,” Advances in Applied Clifford Algebras, vol. 22, no. 4, pp. 1025–1040, 2012.
View at: Publisher Site | Google Scholar
S. Hartmann, “Some results on the lattice parameters of quaternionic Gabor frames,” Advances in Applied Clifford Algebras, vol. 26, no. 1, pp. 137–149, 2016.
View at: Publisher Site | Google Scholar
B. Kamel and E. Tefjeni, “Uncertainty principle for the two-sided quaternion windowed Fourier transform,” Integral Transforms and Special Functions, vol. 30, no. 5, pp. 362–382, 2019.
View at: Publisher Site | Google Scholar
M. Bahri, “On two-dimensional quaternion Wigner-Ville distribution,” Journal of Applied Mathematics, vol. 2014, Article ID 139471, 13 pages, 2014.
View at: Publisher Site | Google Scholar
T. A. Ell, “Quaternion-Fourier transforms for analysis of two-dimensional linear time-invariant partial differential systems,” in Proceedings of the 32nd IEEE Conference on Decision and Control, vol. 2, pp. 1830–1841, Columbus, OH, USA, January 1993.
View at: Publisher Site | Google Scholar
T. A. Ell and S. J. Sangwine, “Hypercomplex Fourier transforms of color images,” IEEE Transactions on Image Processing, vol. 16, no. 1, pp. 22–35, 2007.
View at: Publisher Site | Google Scholar
M. Bahri, “A Modified uncertainty principle for two-sided quaternion Fourier transform,” Advances in Applied Clifford Algebras, vol. 26, no. 2, pp. 513–527, 2016.
View at: Publisher Site | Google Scholar
Y. El Haoui and S. Fahlaoui, “The uncertainty principle for the two-sided quaternion Fourier transform,” Mediterranean Journal of Mathematics, vol. 14, no. 6, 2017.
View at: Publisher Site | Google Scholar
E. M. S. Hitzer, “Quaternion Fourier transform on quaternion fields and generalizations,” Advances in Applied Clifford Algebras, vol. 17, no. 3, pp. 497–517, 2007.
View at: Publisher Site | Google Scholar
K.-I. Kou and R.-H. Xu, “Windowed linear canonical transform and its applications,” Signal Processing, vol. 92, no. 1, pp. 179–188, 2012.
View at: Publisher Site | Google Scholar
K.-I. Kou, R.-H. Xu, and Y.-H. Zhang, “Paley-Wiener theorems and uncertainty principles for the windowed linear canonical transform,” Mathematical Methods in the Applied Sciences, vol. 35, no. 17, pp. 2122–2132, 2012.
View at: Publisher Site | Google Scholar
K. I. Kou, J. Y. Ou, and J. Morais, “On uncertainty principle for quaternionic linear canonical transform,” Abstract and Applied Analysis, vol. 2013, 14 pages, 2013.
View at: Publisher Site | Google Scholar
Y. Yang and K. Ian Kou, “Uncertainty principles for hypercomplex signals in the linear canonical transform domains,” Signal Processing, vol. 95, pp. 67–75, 2014.
View at: Publisher Site | Google Scholar
K. I. Kou and J. Morais, “Asymptotic behaviour of the quaternion linear canonical transform and the Bochner-Minlos theorem,” Applied Mathematics and Computation, vol. 247, pp. 675–688, 2014.
View at: Publisher Site | Google Scholar
M. Bahri, Resnawati, and S. Musdalifah, “A Version of uncertainty principle for quaternion linear canonical transform,” Abstract and Applied Analysis, vol. 2018, Article ID 8732457, 7 pages, 2018.
View at: Publisher Site | Google Scholar
M. Bahri, “Relationships among various definitions of two-dimensional quaternion linear canonical transform,” IAENG International Journal of Applied Mathematics, vol. 49, no. 1, pp. 184–190, 2019.
View at: Google Scholar
Y.-N. Zhang and B.-Z. Li, “Novel uncertainty principles for two-sided quaternion linear canonical transform,” Advances in Applied Clifford Algebras, vol. 28, no. 1, 2018.
View at: Publisher Site | Google Scholar
M. Bahri, R. Ashino, and R. Vaillancourt, “Continuous quaternion Fourier and wavelet transforms,” International Journal of Wavelets, Multiresolution and Information Processing, vol. 12, no. 4, p. 21, 2014.
View at: Publisher Site | Google Scholar
M. Bahri, Zulfajar, and R. Ashino, “Convolution and correlation theorem for linear canonical transform and properties,” Information, vol. 17, no. 6b, pp. 2509–2521, 2014.
View at: Google Scholar
D. Wei, Q. Ran, and Y. Li, “A convolution and correlation theorem for the linear canonical transform and its application,” Circuits, Systems, and Signal Processing, vol. 31, no. 1, pp. 301–312, 2012.
View at: Publisher Site | Google Scholar
D. Wei, Q. Ran, and Y. Li, “New convolution theorem for the linear canonical transform and its translation invariance property,” Optik, vol. 123, no. 16, pp. 1478–1481, 2012.
View at: Publisher Site | Google Scholar
J. Morais, S. Georgiev, and W. Sprosig, Real Quaternion Calculus Handbook, Birkhäuser, Basel, Switzerland, 2014.
S. J. Sangwine and N. L. Bihan, “Quaternion polar representation with a complex modulus and complex argument inspired by the Cayley-Dickson form,” Advances in Applied Clifford Algebras, vol. 20, no. 1, pp. 111–120, 2010.
View at: Publisher Site | Google Scholar
S. J. Sangwine, “Fourier transforms of colour images using quaternion or hypercomplex, numbers,” Electronics Letters, vol. 32, no. 21, pp. 1979-1980, 1996.
View at: Publisher Site | Google Scholar
R. Bujack, H. De Bie, N. De Schepper, and G. Scheuermann, “Convolution products for hypercomplex Fourier transforms,” Journal of Mathematical Imaging and Vision, vol. 48, no. 3, pp. 606–624, 2014.
View at: Publisher Site | Google Scholar
D. Cheng and K. I. Kou, “Plancherel theorem and quaternion Fourier transform for square integrable functions,” Complex Variables and Elliptic Equations, vol. 64, no. 2, pp. 223–242, 2019.
View at: Publisher Site | Google Scholar
L.-P. Chen, K. I. Kou, and M.-S. Liu, “Pitt's inequality and the uncertainty principle associated with the quaternion Fourier transform,” Journal of Mathematical Analysis and Applications, vol. 423, no. 1, pp. 681–700, 2015.
View at: Publisher Site | Google Scholar
M. Bahri, A. Lawi, N. Aris, M. S. Af, and M. Nur, “Relationships between convolution and correlation for Fourier transform and quaternion Fourier transform,” International Journal of Mathematical Analysis, vol. 7, no. 43, pp. 2101–2109, 2013.
View at: Publisher Site | Google Scholar
Q. Xiang and K. Y. Qin, “The linear canonical transform and its application to time-frequency signal analysis,” in Proceedings of the International Conference on Information Engineering and Computer Science, Wuhan, China, 2009.
View at: Publisher Site | Google Scholar
Y. Li, F. Zhang, Y. Li, and R. Tao, “Application of linear canonical transform correlation for detection of linear frequency modulated signals,” IET Signal Processing, vol. 10, no. 4, pp. 351–358, 2016.
View at: Publisher Site | Google Scholar
B. Hu, Y. Zhou, L. D. Li, and J. Y. Zhang, “Polar linear canonical transform in quaternion domain,” Journal of Information Hiding and Multimedia Signal Processing, vol. 6, no. 6, pp. 1185–1193, 2015.
View at: Google Scholar
X. Guanlai, W. Xiaotong, and Y. Xiaogang, “On uncertainty principle for the linear canonical transform of complex signals,” IEEE Transactions on Signal Processing, vol. 58, no. 9, pp. 4916–4918, 2010.
View at: Publisher Site | Google Scholar
J. Zhao, R. Tao, Y. L. Li, and Y. Wang, “Uncertainty principles for linear canonical transform,” IEEE Transactions on Signal Processing, vol. 57, no. 7, pp. 2856–2858, 2009.
View at: Publisher Site | Google Scholar
E. M. S. Hitzer, “Directional uncertainty principle for quaternion Fourier transform,” Advances in Applied Clifford Algebras, vol. 20, no. 2, pp. 271–284, 2010.
View at: Publisher Site | Google Scholar

Copyright

Copyright © 2019 Mawardi Bahri and Ryuichi Ashino. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

1196

Downloads

1130

Citations