Next Article in Journal
Geometric Interpretation of a Non-Linear Extension of Quantum Mechanics
Previous Article in Journal
Estimating the Confidence Interval for the Common Coefficient of Variation for Multiple Inverse Gaussian Distributions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Novel Uncertainty Principles Related to Quaternion Linear Canonical S-Transform

Department of Mathematics, Hasanuddin University, Makassar 90245, Indonesia
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(7), 885; https://doi.org/10.3390/sym16070885
Submission received: 11 June 2024 / Revised: 27 June 2024 / Accepted: 8 July 2024 / Published: 11 July 2024
(This article belongs to the Section Mathematics)

Abstract

:
In this work, we introduce the quaternion linear canonical S-transform, which is a generalization of the linear canonical S-transform using quaternion. We investigate its properties and seek the different types of uncertainty principles related to this transformation. The obtained results can be looked as an extension of the uncertainty principles for the quaternion linear canonical transform and the quaternion windowed linear canonical transform.

1. Introduction

Over the last few years, the study of the quaternion Fourier transform and many other generalized transforms has become a new research topic. There are several published papers that try to study various transformations using quaternion algebra. For example, the authors of [1,2,3,4] have studied the quaternion windowed transform and corresponding uncertainty principle. In [5,6], the authors have developed the shearlet transform and the linear canonical using wavelet transform over a quaternion field, which are the generalizations of shearlet transform and the linear canonical wavelet transform. The authors of [7,8,9] have studied the quaternion Wigner–Ville distribution and quaternion ambiguity function, respectively. Further, in [10,11,12], several researchers have studied the Wigner–Ville distribution associated with the linear canonical transform and its application to noisy linear frequency-modulated signals. In [13,14], the authors have proposed the linear canonical S-transform (LCST), which is a non-trivial generalization of the classical S-transform in the context of the linear canonical transform (LCT). It is well-established that several fundamental properties of the classical S-transform, such as linearity, modulation, shifting, and uncertainty principles, can be applied to the LCST (see, e.g., [14,15]). Recently, in [16], the authors made significant strides in studying the quaternion linear canonical S-transform (QLCST), which can be looked as the extension of the linear canonical S-transform. Additionally, they also have derived several uncertainty principles, such as the Heisenberg-type and logarithmic uncertainty principles. However, many other uncertainty principles related to the new extended transformation like Pitt’s inequality and the sharp Hausdorff–Young inequality remain unexplored.
Therefore, in the present work, we extend the investigation initiated in [16] to gain a deeper understanding of the quaternion linear canonical S-transform (QLCST). We thoroughly demonstrate several fundamental properties related to this proposed transformation. It is known that the uncertainty principles are important properties and their specifics form each transformation, including the QLCST. Based on the properties, we build different types of the uncertainty principles associated with the QLCST, such as Pitt’s inequality and the Hausdorff–Young inequality. The important relations can be regarded as a non-trivial generalization of the uncertainty principles concerning the quaternion linear canonical transform (QLCT) and the quaternion windowed linear canonical transform (QWLCT). We emphasize that the considered uncertainty principles associated with the QLCST are a continuation the ones proposed in [16].
The main body of this paper is organized as follows: Section 2 compiles essential facts about quaternion algebra and its properties. This section also defines the quaternion Fourier transform (QFT) and outlines its useful properties. Section 3 provides a brief overview of the quaternion linear canonical transform (QLCT) and its connection to the QFT. Section 4 introduces the quaternion linear canonical S-transform (QLCST) and derives several fundamental properties and uncertainty principles related to this transformation. Lastly, Section 5 concludes this work.

2. Preliminaries

In this section, we discuss quaternion algebra and the quaternion Fourier transform, which serve as a backbone throughout this paper.

2.1. Quaternion Algebra

Let H be the associative algebra of real quaternions. The quaternion q H can be written in the form [17]
H = { q = q 0 + i q 1 + j q 2 + k q 3 q 0 , q 1 , q 2 , q 3 R } ,
where we use R to denote the set of real numbers. Here, the three different imaginary quaternion units i , j and k satisfy the multiplication rules:
ij = ji = k , jk = kj = i , ki = ik = j , i 2 = j 2 = k 2 = ijk = 1 .
Equation (2) tells us that the multiplication in H is not commutative. For any q H , it takes the form
q = q 0 + q = S c ( q ) + V ( q ) ,
where S c ( q ) = q 0 and V ( q ) = q = i q 1 + j q 2 + k q 3 denote the scalar part and vector part or pure quaternion, respectively.
The quaternion conjugate q ¯ is described through
q ¯ = q 0 i q 1 j q 2 k q 3 .
It satisfies
q p ¯ = p ¯ q ¯ .
For every q H , we may write the scalar and vector parts in the form
S c ( q ) = 1 2 ( q + q ¯ ) and V ( q ) = 1 2 ( q q ¯ ) .
The module (norm) of quaternion q is defined by the formula
| q | = q q ¯ = q 0 2 + q 1 2 + q 2 2 + q 3 2 .
It is straightforward to verify that for every q , t , p H , the following holds:
S c ( q ) | q | , | q | = | V ( q ) | | q | , and S c ( q p t ) = S c ( p t q ) = S c ( q p t ) .
Now, define the inner product of two quaternion functions f , g : R 2 H as
( f , g ) = R 2 f ( x ) g ( x ) ¯ d x , d x = d x 1 d x 2 .
with the symmetric scalar product
f , g = S c ( f , g ) = 1 2 ( f , g ) + ( g , f ) .
Based on Equation (10), we have the property:
S c ( f , g , h ) = S c ( g , f , h ) = S c ( h , g , f ) , f , g , h H .
For f = g in (9), we get L 2 ( R 2 ; H ) norm:
f L 2 ( R 2 ; H ) = R 2 | f ( x ) | 2 d x 1 / 2 .

2.2. Two-Sided Quaternion Fourier Transform

In this subsection, we start by defining the two-sided quaternion Fourier transform (QFT). We summarize several properties, which will be needed later. A complete account of the QFT and its properties can be found in [18,19,20,21,22].
Definition 1
([8,19]). Given g in L 2 ( R 2 ; H ) , the definition of the two-sided quaternion Fourier transform of g is described through
F Q { g } ( ω ) = R 2 e i 2 π ω 1 x 1 g ( x ) e j 2 π ω 2 x 2 d x .
The following definition presents the pointwise inversion of the QFT, which states that the original quaternion function can be generated using its QFT, as shown below.
Definition 2
([8,19]). Let g L 1 ( R 2 ; H ) and F Q { g } L 1 ( R 2 ; H ) . The inverse quaternion Fourier transform for g is described by
F Q 1 [ F Q { g } ] ( x ) = g ( x ) = R 2 e i 2 π ω 1 x 1 F Q { g } ( ω ) e j 2 π ω 2 x 2 d ω .
From relation (14), for every g L 2 ( R 2 ; H ) one gets
F Q { F Q { g } } ( x ) = g ( ω ) .

3. Quaternion Linear Canonical Transform (QLCT)

In this section, we recall the definition of the two-sided quaternion linear canonical transform (shortly QLCT) and then present its relation to the quaternion Fourier transform (QFT). We develop this relation in order to obtain the main result in the next section. For a detailed discussion of this transform, we refer the readers to [23,24,25,26].
Definition 3
([25,26]). Given A 1 = ( a 1 , b 1 , c 1 , d 1 ) = a 1 b 1 c 1 d 1 and A 2 = ( a 2 , b 2 , c 2 , d 2 ) = a 2 b 2 c 2 d 2 in S L ( 2 , R ) . The QLCT of f L ( R 2 ; H ) L 2 ( R 2 ; H ) is defined through
L A 1 , A 2 Q { f } ( ω ) = R 2 K A 1 ( x 1 , ω 1 ) f ( x ) K A 2 ( x 2 , ω 2 ) d x , for b 1 b 2 0 d 1 e i c 1 d 1 2 ω 1 2 f ( d 1 ω 1 , d 2 ω 2 ) d 2 e j c 2 d 2 2 ω 2 2 , for b 1 b 2 = 0 ,
where the kernel functions of the QLCT above are described by
K A 1 ( x 1 , ω 1 ) = 1 2 π b 1 e i 2 a 1 b 1 x 1 2 2 b 1 x 1 ω 1 + d 1 b 1 ω 1 2 π 2 ,
and
K A 2 ( x 2 , ω 2 ) = 1 2 π b 2 e j 2 a 2 b 2 x 2 2 2 b 2 x 2 ω 2 + d 2 b 2 ω 2 2 π 2 .
In this work, we consider the QLCT in the case of b 1 b 2 0 . For specific parameter matrices A 1 = A 2 = ( a i , b i , c i , d i ) = ( 0 , 1 , 1 , 0 ) with i = 1 , 2 , the two-sided QLCT Definition (16) boils down to the two-sided QFT definition:
L A 1 , A 2 Q { f } ( ω ) = R 2 e i π 4 2 π e i ω 1 x 1 f ( x ) e j ω 2 x 2 e j π 4 2 π d x = e i π 4 2 π F Q { f } ω 2 π e j π 4 2 π .
where F Q { f } is defined by (13).
Definition 4
([25,26]). For any f L 1 ( R 2 ; H ) with L A 1 , A 2 Q { f } L ( R 2 ; H ) , the inversion theorem of the QLCT is described by
f ( x ) = L A 1 , A 2 Q 1 L A 1 , A 2 Q { f } ( x ) = R 1 2 π b 1 e i 2 a 1 b 1 x 1 2 2 b 1 x 1 ω 1 + d 1 b 1 ω 1 2 π 2 L A 1 , A 2 Q { f } ( ω ) × 1 2 π b 2 e j 2 a 2 b 2 x 2 2 2 b 2 x 2 ω 2 + d 2 b 2 ω 2 2 π 2 d ω .
From the definition of the QLCT (16), we see that
L A 1 , A 2 Q { f } ( ω ) = R 2 1 2 π b 1 e i 2 a 1 b 1 x 1 2 2 b 1 x 1 ω 1 + d 1 b 1 ω 1 2 π 2 f ( x ) 1 2 π b 2 e j 2 a 2 b 2 x 2 2 2 b 2 x 2 ω 2 + d 2 b 2 ω 2 2 π 2 d x = R 2 e i π 4 2 π b 1 e i d 1 2 b 1 ω 1 2 e i x 1 ω 1 b 1 e i a 1 2 b 1 x 1 2 f ( x ) e j π 4 2 π b 2 e j d 2 2 b 2 ω 2 2 e j x 2 ω 2 b 2 e j a 2 2 b 2 x 2 2 d x .
Hence,
2 π b 1 e i π 4 e i d 1 2 b 1 ω 1 2 L A 1 , A 2 Q { f } ( ω ) e j d 2 2 b 2 ω 2 2 2 π b 2 e j π 4 = R 2 e i x 1 ω 1 b 1 e i a 1 2 b 1 x 1 2 f ( x ) e j a 2 2 b 2 x 2 2 e j x 2 ω 2 b 2 d x = F Q { h } ω 2 π b ,
where
h ( x ) = e i a 1 2 b 1 x 1 2 f ( x ) e j a 2 2 b 2 x 2 2
and
ω 2 π b = ω 1 2 π b 1 , ω 2 2 π b 2 .
For every f L 2 ( R 2 ; H ) , there is
R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω = R 2 | f ( x ) | 2 d x ,
which is known as Parseval’s theorem for the two-sided QLCT.

4. Quaternion Linear Canonical S-Transform and Uncertainty Principles

In this section, we introduce the quaternion linear canonical S-transform (QLCST). We are going to investigate its main properties, which will be useful to derive the main result in this work.
Definition 5
(QLCST definition). Let ϕ L 2 ( R 2 ; H ) be a non-zero quaternion window function. The quaternion linear canonical S-transform S ϕ Q , is defined for every function h L 2 ( R 2 ; H ) with respect to ϕ, by
S ϕ Q h ( u , ω ) = R 2 K A 1 ( x 1 , ω 1 ) h ( x ) ϕ ( u x , ω ) ¯ K A 2 ( x 2 , ω 2 ) d x .
We collect the following facts related to the above definition.
  • It is readily checked that
    S ϕ Q h ( u , ω ) = L A 1 , A 2 Q h ( x ) ϕ ( u x , ω ) ¯ .
  • Using the inverse QLCT (20) to (26) results in
    h ( x ) ϕ ( u x , ω ) ¯ = L A 1 , A 2 Q 1 S ϕ Q h ( u , ω ) .
Corollary 1.
Let ϕ L 1 ( R 2 ; H ) L 2 ( R 2 ; H ) satisfying
R 2 ϕ ( u x , ω ) d u = 1 ,
then for any h L 2 ( R 2 ; H )
R 2 S ϕ Q h ( u , ω ) d u = L A 1 , A 2 Q { h } ( ω ) .
If ϕ ( u x , ω ) = m ( ω ) , then
S ϕ Q h ( u , ω ) = m ( ω ) ¯ L A 1 , A 2 Q { h } ( ω ) .
If we assume that ϕ ( u x , ω ) = ϕ ( x u ) , then
S ϕ Q h ( u , ω ) = G ϕ Q h ( u , ω ) ,
where G ϕ Q is the quaternion windowed linear canonical transform (QWLCT) defined by
G ϕ Q h ( u , ω ) = R 2 K A 1 ( x 1 , ω 1 ) h ( x ) ϕ ( x u ) ¯ K A 2 ( x 2 , ω 2 ) d x .
Proof. 
We just derive Equation (29), and the others are similar. In fact, we have
R 2 S ϕ Q h ( u , ω ) d u = R 2 R 2 K A 1 ( x 1 , ω 1 ) h ( x ) ϕ ( u x , ω ) ¯ K A 2 ( x 2 , ω 2 ) d u d x = R 2 K A 1 ( x 1 , ω 1 ) h ( x ) K A 2 ( x 2 , ω 2 ) R 2 ϕ ( u x , ω ) ¯ d u d x = L A 1 , A 2 Q { h } ( ω ) ,
and the proof is complete. □
Theorem 1.
Let ϕ be a quaternion window function. If h , g L 2 ( R 2 ; H ) are two quaternion functions, then the following orthogonality relation holds:
R 2 R 2 S c S ϕ Q h ( u , ω ) S ϕ Q g ( u , ω ) ¯ d ω d u = h ϕ u , ω , g L 2 ( R 2 ; H ) ,
where
ϕ u , ω = R 2 | ϕ ( u , ω ) | 2 d u .
In particular, for h = g , we obtain:
R 2 R 2 | S ϕ Q h ( u , ω ) | 2 d ω d u = ϕ u , ω h L 2 ( R 2 ; H ) 2 .
Proof. 
By the QLCST Definition (32) and Equation (5), we have
R 2 R 2 S c S ϕ Q h ( u , ω ) S ϕ Q g ( u , ω ) ¯ d u d ω = R 2 R 2 R 2 S c ( 1 2 π b 1 e i 2 a 1 b 1 x 1 2 2 b 1 x 1 ω 1 + d 1 b 1 ω 1 2 π 2 h ( x ) ϕ ( u x , ω ) ¯ × 1 2 π b 2 e j 2 a 1 b 2 x 2 2 2 b 2 x 2 ω 2 + d 2 b 2 ω 2 2 π 2 × R 2 1 2 π b 2 e j 2 a 2 b 2 t 2 2 2 b 2 t 2 ω 2 + d 2 b 2 ω 2 2 π 2 × ϕ ( u t , ω ) g ( x ) ¯ 1 2 π b 1 e i 2 ( a 1 b 1 t 1 2 2 b 1 t 1 ω 1 + d 1 b 1 ω 1 2 π 2 ) ) d t d x d u d ω .
Using Equation (11), we obtain
R 2 R 2 S c S ϕ Q h ( u , ω ) S ϕ Q g ( u , ω ) ¯ d u d ω = R 2 R 2 R 2 S c ( 1 2 π b 1 e i a 1 2 b 1 ( x 1 2 t 1 2 ) 1 2 π b 1 e i b 1 ( t 1 x 1 ) ω 1 h ( x ) ϕ ( u x , ω ) ¯ × 1 2 π b 2 e j a 2 2 b 2 ( x 2 2 t 2 2 ) 1 2 π b 2 e j b 2 ( t 2 x 2 ) ω 2 R 2 ϕ ( u t , ω ) g ( x ) ¯ ) d t d x d u d ω = R 2 R 2 R 2 S c ( e i a 1 2 b 1 ( x 1 2 t 1 2 ) h ( x ) ϕ ( u x , ω ) ¯ × e j a 2 2 b 2 ( x 2 2 t 2 2 ) g ( x ) ¯ ϕ ( u t , ω ) δ ( t x ) ) d t d x d u = R 2 R 2 S c h ( t ) ϕ ( u t , ω ) ¯ ϕ ( u t , ω ) g ( t ) ¯ d u d t = R 2 S c h ( t ) g ( t ) ¯ R 2 | ϕ ( u , ω ) | 2 d u d t = h ϕ u , ω , g L 2 ( R 2 ; H ) .
The proof is complete. □
Remark 1.
Based on (31) we obtain
R 2 R 2 S c G ϕ Q h ( u , ω ) G ϕ Q g ( u , ω ) ¯ d ω d u = ϕ L 2 ( R 2 ; H ) h , g L 2 ( R 2 ; H ) ,
and
R 2 R 2 | G ϕ Q h ( u , ω ) | 2 d ω d u = ϕ L 2 ( R 2 ; H ) 2 h L 2 ( R 2 ; H ) 2 .
In the next theorem, we will derive a reconstruction formula associated with the linear canonical S-transform.
Theorem 2.
Let ϕ L 2 ( R 2 ; H ) be a quaternion window functions that ϕ satisfies the condition:
R 2 | ϕ ( u , ω ) | 2 d u = ϕ u , ω , 0 < ϕ u , ω < .
Then, every quaternion signal h L 2 ( R 2 ; H ) can be generated using inversion formula for the QLCST:
h ( x ) = 1 ϕ u , ω R 2 R 2 S ϕ Q h ( u , ω ) ϕ ( u x , ω ) K A 1 ( x 1 , ω 1 ) K A 2 ( x 2 , ω 2 ) d u d ω .
Proof. 
An application of (33) and (8) yields
h R 2 | ϕ ( u , ω ) | 2 d u , g L 2 ( R 2 ; H ) = R 2 R 2 S c S ϕ Q h ( u , ω ) S ϕ Q g ( u , ω ) ¯ d u d ω = R 2 R 2 S c S ϕ Q h ( u , ω ) R 2 K A 1 ( x 1 , ω 1 ) ϕ ( u x , ω ) g ( x ) ¯ K A 2 ( x 2 , ω 2 ) d x d u d ω = R 2 R 2 R 2 S c S ϕ Q h ( u , ω ) ϕ ( u x , ω ) K A 1 ( x 1 , ω 1 ) K A 2 ( x 2 , ω 2 ) g ( x ) ¯ d u d ω d x = R 2 R 2 S ϕ Q h ( u , ω ) ϕ ( u x , ω ) K A 1 ( x 1 , ω 1 ) K A 2 ( x 2 , ω 2 ) d u d ω , g .
Since relation (40) holds for any g L 2 ( R 2 ; H ) , we have
h ( x ) R 2 | ϕ ( u , ω ) | 2 d u = R 2 R 2 S ϕ Q h ( u , ω ) ϕ ( u x , ω ) K A 1 ( x 1 , ω 1 ) K A 2 ( x 2 , ω 2 ) d u d ω .
This means that
h ( x ) = 1 ϕ u , ω R 2 R 2 S ϕ Q h ( u , ω ) ϕ ( u x , ω ) K A 1 ( x 1 , ω 1 ) K A 2 ( x 2 , ω 2 ) d u d ω .
Therefore, the proof is complete. □

4.1. Heisenberg-Type Uncertainty Principle for QLCST

The following result presents the Heisenberg-type uncertainty principle for the QLCT, which is a non-trivial generalization of the QFT inequality studied by the authors in [25].
Theorem 3.
For any f L 2 ( R 2 ; H ) and α , γ 1 , we have
R 2 | x | 2 γ | f ( x ) | 2 d x α α + γ R 2 | ω | 2 α | F Q { f } ( ω ) | 2 d ξ γ α + γ R 2 | f ( x ) | 2 d x .
Its generalization in framework of the QLCT will lead to the following important result.
Theorem 4.
Under the same assumption as in Theorem 3, we have, for all L A 1 , A 2 Q { f } L 2 ( R 2 ; H ) ,
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 | ω | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω γ α + γ | 2 π b | 2 α γ α + γ R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω .
Proof. 
Replacing f ( x ) with h ( x ) defined by (23) in (43) we immediately get
( R 2 | x | 2 γ | e i a 1 2 b 1 x 1 2 f ( x ) e j a 2 2 b 2 x 2 2 | 2 d x ) α α + γ R 2 | ω | 2 α | F Q { h } ( ω ) | 2 d ω γ α + γ R 2 | e i a 1 2 b 1 x 1 2 f ( x ) e j a 2 2 b 2 x 2 2 | 2 d x .
Simplifying it results in
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 | ω | 2 α | 1 2 π b | 2 α + 1 | F Q { h } ω 2 π b | 2 d ω γ α + γ R 2 | f ( x ) | 2 d x .
By virtue of (22) we get
R 2 | x | 2 γ | f ( x ) | 2 d x α α + γ R 2 | ω | 2 α | 1 2 π b | 2 α 1 4 π | b 1 | | b 2 | | 2 π b 1 e i π 4 e i d 1 2 b 1 ω 1 2 L A 1 , A 2 Q { f } ( ω ) e j d 2 2 b 2 ω 2 2 2 π b 2 e j π 4 | 2 d ω γ α + γ R 2 | f ( x ) | 2 d x .
Hence,
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 | ω | 2 α | 1 2 π b | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω γ α + γ R 2 | f ( x ) | 2 d x .
Using Parseval’s theorem for the QLCT (24) in the right-hand side of the above identity yields
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 | 2 π b | 2 α | ω | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω γ α + γ R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω ,
which gives the required result. □
Remark 2.
For α = γ = 1 , one gets
R 2 | x | 2 | f ( x ) | 2 d x R 2 | ω | 2 | L A 1 , A 2 Q { f } | 2 d ω 4 π 2 | b | 2 R 2 | f ( x ) | 2 d x 2 .
The generalization of Theorem 3 in the framework of the QLCST is given by the following result.
Theorem 5.
For any f L 2 ( R 2 ; H ) and α , γ 1 , we have
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 R 2 | ω | 2 α | S ϕ Q { f } ( u , ω ) | 2 d ω d u γ α + γ | 2 π b | 2 α γ α + γ ϕ u , ω γ α + γ f L 2 ( R 2 ; H ) 2 .
Proof. 
From Equation (47), it follows that
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 | ω | 2 α | 2 π b | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω γ α + γ R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω .
Including (20) into the first term of the above identity results in
( R 2 | x | 2 γ | L A 1 , A 2 Q 1 L A 1 , A 2 Q { f } ( x ) | 2 d x ) α α + γ × R 2 | ω | 2 α | 2 π b | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω γ α + γ R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω .
Integrating the above relation with respect to d u will lead to
R 2 [ ( R 2 | x | 2 γ | L A 1 , A 2 Q 1 L A 1 , A 2 Q { f } ( x ) | 2 d x ) α α + γ × R 2 | ω | 2 α | 2 π b | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω γ α + γ ] d u R 2 R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω d u .
Therefore,
( R 2 R 2 | x | 2 γ | L A 1 , A 2 Q 1 L A 1 , A 2 Q { f } ( x ) | 2 d x d u ) α α + γ × R 2 R 2 | ω | 2 α | 2 π b | 2 α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω d u γ α + γ R 2 R 2 | L A 1 , A 2 Q { f } ( ω ) | 2 d ω d u .
We replace L A 1 , A 2 Q { f } by S ϕ Q { f } and get
( R 2 R 2 | x | 2 γ | L A 1 , A 2 Q 1 S ϕ Q { f } ( x ) | 2 d x d u ) α α + γ × R 2 R 2 | ω | 2 α | 2 π b | 2 α | S ϕ Q { f } ( u , ω ) | 2 d ω d u γ α + γ R 2 R 2 | S ϕ Q { f } ( u , ω ) | 2 d ω d u .
Applying relations (27) and (35), we further obtain
( R 2 R 2 | x | 2 γ | f ( x ) ϕ ( u x , ω ) ¯ | 2 d x d u ) α α + γ × R 2 R 2 | ω | 2 α | 2 π b | 2 α | S ϕ Q { f } ( u , ω ) | 2 d ω d u γ α + γ f L 2 ( R 2 ; H ) 2 R 2 | ϕ ( u , ω ) | 2 d u .
This is equivalent to
( R 2 | x | 2 γ | f ( x ) | 2 ϕ u , ω d x ) α α + γ R 2 R 2 | ω | 2 α | 2 π b | 2 α | S ϕ Q { f } ( u , ω ) | 2 d ω d u γ α + γ ϕ u , ω f L 2 ( R 2 ; H ) 2 .
Simplifying the above relation yields
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 R 2 | ω | 2 α | 2 π b | 2 α | S ϕ Q { f } ( u , ω ) | 2 d ω d u γ α + γ ϕ u , ω γ α + γ f L 2 ( R 2 ; H ) 2 .
The proof is complete. □
Remark 3.
Based on (31) and (37), we obtain
( R 2 | x | 2 γ | f ( x ) | 2 d x ) α α + γ R 2 R 2 | ω | 2 α | G ϕ Q { f } ( u , ω ) | 2 d ω d u γ α + γ | 2 π b | 2 α γ α + γ ϕ L 2 ( R 2 ; H ) 2 γ α + γ f L 2 ( R 2 ; H ) 2 .
which is known as the Heisenberg-type uncertainty principle for the QWLCT [3]. If the Relation (28) is satisfied, Theorem 5 boils down to Theorem 4.

4.2. Pitt’S Inequality for QLCST

In this subsection, we establish Pitt’s inequality from the QLCT domains to the QLCST domains. For this purpose, we first introduce Pitt’s inequality related to the QLCT.
Theorem 6
(QLCT Pitt’s inequality [23]). Let f S ( R 2 ; H ) and 0 α < 2 . Then, we have
R 2 | ω | α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω M α | b 1 b 2 | α R 2 | x | α | f ( x ) | 2 d x ,
where
M α = π α Γ 2 α 4 Γ 2 + α 4 2 .
Here S ( R 2 ; H ) is quaternion Schwartz space, and Γ ( t ) is the gamma function.
The following theorem explores an extension of Pitt’s inequality within the context of the QLCST.
Theorem 7
(QLCST Pitt’s Inequality). Let ψ S ( R 2 ; H ) be a non-zero quaternion window function. Then, for any f S ( R 2 ; H ) such that S ϕ Q { f } S ( R 2 ; H ) , one gets
R 2 R 2 | ω | α | S ϕ Q { f } ( u , ω ) | 2 d ω d u ϕ u , ω M α | b 1 b 2 | α R 2 | x | α | f ( x ) | 2 d x .
Proof. 
It follows with (59) that
R 2 | ω | α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω M α | b 1 b 2 | α R 2 | x | α | f ( x ) | 2 d x .
Applying (20) into the right hand-side of the identity (61) results in
R 2 | ω | α | L A 1 , A 2 Q { f } ( ω ) | 2 d ω M α | b 1 b 2 | α R 2 | x | α | ( L A 1 , A 2 Q ) 1 L A 1 , A 2 Q { f } ( x ) | 2 d x ,
Integrating the above relation with respect to d u yields
R 2 R 2 | ω | α | S ϕ Q { f } ( u , ω ) | 2 d ω d u M α | b 1 b 2 | α R 2 R 2 | x | α | ( L A 1 , A 2 Q ) 1 S ϕ Q { f } ( x ) | 2 d x d u .
With the help of Relation (27), we obtain
R 2 R 2 | ω | α | S ϕ Q { f } ( u , ω ) | 2 d ω d u M α | b 1 b 2 | α R 2 R 2 | x | α | f ( x ) ϕ ( u x , ω ) ¯ | 2 d x d u .
Hence,
R 2 R 2 | ω | α | S ϕ Q { f } ( u , ω ) | 2 d ω d u M α | b 1 b 2 | α R 2 | ϕ ( u , ω ) | 2 d u R 2 | x | α | f ( x ) | 2 d x ,
which is the desired result. □
As an easy consequence of Pitt’s inequality related to the QLCST above, we deduce the following remarks:
Remark 4.
It should be noticed that by setting α = 0 in Theorem 7, we obtain the following inequality
R 2 R 2 | S ϕ Q { f } ( u , ω ) | 2 d ω d u ϕ u , ω R 2 | f ( x ) | 2 d x .
Remark 5.
Due to Relations (31) and (37), Theorem 7 above will be reduced to
R 2 R 2 | ω | α | G ϕ Q { f } ( u , ω ) | 2 d ω d u M α | b 1 b 2 | α ϕ L 2 ( R 2 ; H ) 2 R 2 | x | α | f ( x ) | 2 d x ,
which is the Pitt’s uncertainty principle for the quaternion windowed linear canonical transform (compare to [3]).
Theorem 8
(Hausdorff–Young inequality for QLCST). Let r [ 1 , 2 ] and s such that 1 r + 1 s = 1 . Then, for all f L r ( R 2 ; H ) , we have
( R 2 R 2 | S ϕ Q { f } ( u , ω ) | s d ω d u ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 | ϕ ( u , ω ) | r d u 1 / r f L r ( R 2 ; H ) ,
where
C r = r 1 / r s 1 / s 1 / 2 .
Proof. 
It follows from the Hausdorff–Young inequality for the QLCT that
R 2 | L A 1 , A 2 Q { f } ( ω ) | s d ω 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 | f ( x ) | r d x 1 / r .
An application of Relation (20) into the right-hand side of Identity (69) above, we see that
( R 2 | L A 1 , A 2 Q { f } ( ω ) | s d ω ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 | ( L A 1 , A 2 Q ) 1 L A 1 , A 2 Q { f } ( x ) | r d x 1 / r .
This implies that
( R 2 | L A 1 , A 2 Q { f } ( ω ) | s d ω ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 | ( L A 1 , A 2 Q ) 1 L A 1 , A 2 Q { f } ( x ) | r d x 1 / r .
Therefore,
( R 2 R 2 | L A 1 , A 2 Q { f } ( ω ) | s d ω d u ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 R 2 | ( L A 1 , A 2 Q ) 1 L A 1 , A 2 Q { f } ( x ) | r d x d u 1 / r .
Consequently,
( R 2 R 2 | S ϕ Q { f } ( u , ω ) | s d ω d u ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 R 2 | ( L A 1 , A 2 Q ) 1 S ϕ Q { f } ( x ) | r d x d u 1 / r .
This will lead to
( R 2 R 2 | S ϕ Q { f } ( u , ω ) | s d ω d u ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 R 2 | f ( x ) ϕ ( u x , ω ) ¯ | r d x d u 1 / r .
This equation is equivalent to
( R 2 R 2 | S ϕ Q { f } ( u , ω ) | s d ω d u ) 1 / s C r 2 ( 2 π ) 2 / s 1 ( | b 1 | | b 2 | ) 1 / s 1 / 2 R 2 | ϕ ( u , ω ) | r d u 1 / r R 2 | f ( x ) | r d x 1 / r ,
which is the required result. □

5. Conclusions

This study introduced the quaternion linear canonical S-transform as a natural extension of the linear canonical S-transform within the framework of quaternion algebra. Detailed exploration of its key properties was conducted alongside an investigation into various uncertainty principles associated with this generalized transformation.
Future work would be related to further investigations of several uncertainty principles associated with the quaternion linear canonical S-transform, such as Nazarov’s uncertainty principle, Hardy’s-type uncertainty principle, Beurling’s uncertainty principle, Lieb’s inequality and Matolcsi-Szücs uncertainty principles.

Author Contributions

Conceptualization, D.D.; formal analysis, M.B.; funding acquisition, S.T. and M.B.; investigation, D.D. and M.B.; methodology, D.D. and M.B.; resources, S.T.; validation, M.B. and S.T.; writing—original draft, D.D. and M.B.; writing—review and editing, M.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors sincerely thank the referees for the valuable comments which has significantly enhanced the work.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Bahri, M.; Ashino, R. Uncertainty principles related to quaternionic windowed Fourier transform. Int. J. Wavelets Multiresolut. Inf. 2020, 18, 2050015. [Google Scholar] [CrossRef]
  2. Gao, W.B.; Li, B.Z. Quaternion windowed linear canonical transform of two-dimensional signals. Adv. Appl. Clifford Algebr. 2020, 30, 16. [Google Scholar] [CrossRef]
  3. Gao, W.B.; Li, B.Z. Uncertainty Principle for the two-sided quaternion windowed linear canonical transform. Circuits Syst. Signal Process. 2021, 41, 1324–1348. [Google Scholar] [CrossRef]
  4. Kamel, B.; Tefjeni, E. Uncertainty principle for the two-sided quaternion windowed Fourier transform. Integral Transform. Spec. Funct. 2019, 30, 362–382. [Google Scholar] [CrossRef]
  5. Shah, F.A.; Tantary, A.Y. Quaternionic shearlet transform. Optik 2018, 175, 115–125. [Google Scholar] [CrossRef]
  6. Shah, F.A.; Teali, A.A.; Tantary, A.Y. Linear canonical wavelet transform in quaternion domains. Adv. Appl. Clifford Algebr. 2021, 31, 42. [Google Scholar] [CrossRef]
  7. Bahri, M. On two-dimensional quaternion Wigner-Ville distribution. J. Apply. Math. 2014, 2014, 139471. [Google Scholar] [CrossRef]
  8. Bahri, M.; Saleh, M. Relation between Quaternion Fourier transform and quaternion Wigner-Ville distribution associated with linear canonical transform. J. Appl. Math. 2017, 2017, 3247364. [Google Scholar] [CrossRef]
  9. Sembe, I.A.; Bahri, M.; Bahtiar, N.; Zakir, M. Inequalities pertaining to quaternion ambiguity function. Adv. Appl. Clifford Algebr. 2024, 34, 15. [Google Scholar] [CrossRef]
  10. Xin, M.C.; Li, B.Z. On new Wigner-Ville distribution associated with linear canonical transform. EURASIP J. Adv. Signal Process. 2021, 2021, 56. [Google Scholar] [CrossRef]
  11. Wei, D.Y.; Li, Y.M. Linear canonical Wigner-Ville distribution and its application. Optik 2014, 125, 89–92. [Google Scholar] [CrossRef]
  12. Zhang, Z.C. The optimal linear canonical Wigner distribution of noisy linear frequency-modulated signals. IEEE Signal Process. Lett. 2009, 26, 1127–1131. [Google Scholar] [CrossRef]
  13. Shah, F.A.; Tantary, A.Y. Linear canonical Stockwell transform. J. Math. Anal. Appl. 2020, 484, 123673. [Google Scholar] [CrossRef]
  14. Bahri, M.; Toaha, S.; Lande, C. A generalized S-transform in linear canonical transform. J. Phys.Conf. 2019, 341, 062005. [Google Scholar] [CrossRef]
  15. Bhat, M.Y.; Dar, A.H. Multiresolution analysis for linear canonical S transform. Adv. Oper. Theory 2021, 6, 68. [Google Scholar] [CrossRef]
  16. Bhat, M.Y.; Dar, A.H. Quaternion linear canonical S-transform and associated uncertainty principles. Int. J. Wavelets Multiresolut. Inf. 2023, 21, 2250035. [Google Scholar] [CrossRef]
  17. Bülow, T. Hypercomplex Spectral Signal Representations for the Processing and Analysis of Images. Ph.D. Thesis, University of Kiel, Kiel, Germany, 1999. [Google Scholar]
  18. Chen, L.P.; Kou, K.I.; Liu, M.S. Pitt’s inequality and the uncertainty principle associated with the quaternion Fourier transform. J. Math. Anal. Appl. 2015, 423, 681–700. [Google Scholar] [CrossRef]
  19. Hitzer, E. Quaternion Fourier transform on quaternion fields and generalizations. Adv. Appl. Clifford Algebr. 2007, 20, 497–517. [Google Scholar] [CrossRef]
  20. Lian, P. Uncertainty principle for the quaternion Fourier transform. J. Math. Anal. Appl. 2018, 467, 1258–1269. [Google Scholar] [CrossRef]
  21. Lian, P. Sharp Hausdorff-Young inequalities for the quaternion Fourier transforms. Proc. Am. Math. Soc. 2020, 148, 697–703. [Google Scholar] [CrossRef]
  22. Abouelaz, A.; Achak, A.; Daher, R.; Safouane, N. Donoho-Stark’s Uncertainty Principle for the quaternion Fourier transform. Bol. Soc. Mat. Mex. 2020, 26, 587–597. [Google Scholar] [CrossRef]
  23. Zhu, X.; Zheng, S. Uncertainty principles for the two-sided quaternion linear canonical transform. Circuits Syst. Signal Process 2020, 39, 4436–4458. [Google Scholar] [CrossRef]
  24. Achak, A.; Abouelaz, A.; Daher, R.; Safouane, N. Uncertainty principles for the quaternion linear canonical transform. Adv. Appl. Clifford Algebr. 2019, 29, 99. [Google Scholar] [CrossRef]
  25. Zhu, X.; Zheng, S. On uncertainty principle for the two-sided quaternion linear canonical transform. J. Pseudo-Differ. Oper. Appl. 2021, 12, 3. [Google Scholar] [CrossRef]
  26. Zhang, Y.N.; Li, B.Z. Novel uncertainty principles for two-sided quaternion linear canonical transform. Adv. Appl. Clifford Algebr. 2018, 28, 15. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Damang, D.; Bahri, M.; Toaha, S. Novel Uncertainty Principles Related to Quaternion Linear Canonical S-Transform. Symmetry 2024, 16, 885. https://doi.org/10.3390/sym16070885

AMA Style

Damang D, Bahri M, Toaha S. Novel Uncertainty Principles Related to Quaternion Linear Canonical S-Transform. Symmetry. 2024; 16(7):885. https://doi.org/10.3390/sym16070885

Chicago/Turabian Style

Damang, Dahnial, Mawardi Bahri, and Syamsuddin Toaha. 2024. "Novel Uncertainty Principles Related to Quaternion Linear Canonical S-Transform" Symmetry 16, no. 7: 885. https://doi.org/10.3390/sym16070885

APA Style

Damang, D., Bahri, M., & Toaha, S. (2024). Novel Uncertainty Principles Related to Quaternion Linear Canonical S-Transform. Symmetry, 16(7), 885. https://doi.org/10.3390/sym16070885

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop