1. Introduction
The
N-dimensional Wigner distribution [
1,
2] is one of the most fundamental non-stationary signals time-frequency analysis tools [
3,
4]. It has found many applications in mathematical physics [
5,
6], such as Fourier optics, matrix optics, radiometry, ray optics, wave optics, and geometrical optics.
Definition 1. The N-dimensional Wigner distribution of a function is defined aswhere the tensor product , the change of coordinates and the partial N-dimensional Fourier transform (FT) with respect to the second variables are given by , and , respectively. However, the information processing capability of the
N-dimensional Wigner distribution is subject to Heisenberg’s uncertainty principle [
7,
8]—more precisely, the lower bound of the uncertainty product [
9,
10]. This bound is a key factor which characteristics the time-frequency resolution limit in the
N-dimensional Wigner distribution domain [
4,
11]. This has previously been investigated, notably in [
9,
11], and more recently in [
12,
13]. To achieve time-frequency super-resolution, several attempts have been made to extend the
N-dimensional Wigner distribution to a parametric formulation. In this study, we primarily consider two representative parameterized Wigner distributions: the free metaplectic Wigner distribution [
14] and the
-Wigner distribution [
15].
Definition 2 (see [
16] Theorem (4.53) or [
17], Equation (3.9))
. Free metaplectic transformation (FMT) of a function with the symplectic matrix , where , is defined aswhere the kernel function takes and , , , are all real matrices satisfying The FMT is additive as
. Let the FMT with an identity matrix
be the identity transformation, i.e.,
. The FTM is then invertible as
, where the symplectic matrix
. The FMT with the specific symplectic matrix
becomes the classical
N-dimensional FT
. Motivated by the technique of FMTs
[
18], the free metaplectic Wigner distribution was proposed by first generalizing the instantaneous autocorrelation function
found in the
N-dimensional Wigner distribution to a closed-form instantaneous cross-correlation function
, and then generalizing the partial
N-dimensional FT
found in the
N-dimensional Wigner distribution to a partial FMT
.
Definition 3 (see [
14], Definition 4)
. Let , and be the FMTs of a function with the symplectic matrices , and , respectively. The free metaplectic Wigner distribution of the function associated with the symplectic matrices , , and is defined as The
N-dimensional Wigner distribution is a particular case of the free metaplectic Wigner distribution corresponding to
and
. Thanks to
degrees of freedom for three symplectic matrices
,
,
, the free metaplectic Wigner distribution surpasses the
N-dimensional Wigner distribution in non-stationary signals time-frequency analysis (see [
19,
20] for some examples regarding non-stationary signal processing). It also includes special cases in some celebrated distributions, such as the
N-dimensional affine characteristic Wigner distribution (
N-D ACWD) [
21], kernel function Wigner distribution (
N-D KFWD) [
22], convolution representation Wigner distribution (
N-D CRWD) [
23], and instantaneous cross-correlation function Wigner distribution (
N-D ICFWD) [
23]. Moreover, the free metaplectic Wigner distribution of
is none other than the closed-form instantaneous cross-correlation function Wigner distribution (CICFWD) [
23]. Therefore, the free metaplectic Wigner distribution is also known as the
N-dimensional nonseparable CICFWD [
14].
The
N-dimensional
k-Wigner distribution was previously referred to as the
-Wigner distribution [
24]. Since
is frequently used as an integrate variable, we utilize the parametric variable
k instead of
. The
N-dimensional
k-Wigner distribution was formulated by generalizing the change of fixed coordinates
found in the
N-dimensional Wigner distribution to the change of parameterized coordinates
according to
.
Definition 4 (see [
24], Definition 2.1)
. Let a parameter . The N-dimensional k-Wigner distribution of a function associated with the parameter k is defined as The
N-dimensional Wigner distribution is a particular case of the
N-dimensional
k-Wigner distribution corresponding to the value
. The cases
and
correspond to the
N-dimensional Rihaczek transform and conjugate
N-dimensional Rihaczek transform, respectively. Many basic theories of the
N-dimensional
k-Wigner distribution have been established, including its positivity [
25] and relation to pseudo-differential operators [
26,
27]. Since then, it has usually been used in signal processing [
24,
28,
29], time-frequency analysis [
30,
31] and quantum mechanics [
32,
33,
34].
Inspired by the idea of extending the change of coordinates, the N-dimensional k-Wigner distribution can be generalized further to the so-called -Wigner distribution by substituting the scalar matrix with a diagonal parameter matrix . To be exact, the -Wigner distribution was generated by replacing the change of single scale coordinates found in the N-dimensional k-Wigner distribution with the change of multiscale coordinates according to —namely, by replacing the change of fixed coordinates found in the N-dimensional Wigner distribution with the change of multiscale coordinates.
Definition 5 (see [
15], Definition 3)
. Let a parameter matrix , , . -Wigner distribution of a function associated with the parameter matrix is defined as The -Wigner distribution equips the scale at the nth dimension, extracting different types of features at different dimensions. Thus, it surpasses the N-dimensional Wigner distribution and k-Wigner distribution, with a permanent scale and only one scale k at all N dimensions, respectively, in time-frequency analysis of high-dimensional complex information whose features vary in different dimensions. The -Wigner distribution also includes particular cases the of N-dimensional Rihaczek transform and conjugate N-dimensional Rihaczek transform in addition to the N-dimensional k-Wigner distribution and N-dimensional Wigner distribution.
In brief, the free metaplectic Wigner distribution and -Wigner distribution are two representative parametric time-frequency analysis tools and have a superiority of their own. One of the main purposes of this paper is to combine them organically, achieving more freedom and flexibility in high-dimensional non-stationary signals time-frequency analysis. This develops a novel parameterized Wigner distribution; that is, the so-called free metaplectic -Wigner distribution.
Definition 6. Let , and be the FMTs of a function with the symplectic matrices , and , respectively, and let a parameter matrix , , . The free metaplectic -Wigner distribution (FMKWD) is associated with the symplectic matrices , , , and the parameter matrix is defined as Another main purpose of this paper is to explore uncertainty principles of the FMKWD, revealing the influence of the symplectic matrices , , and the parameter matrix on the time-frequency resolution limit in the FMKWD domain. This can not only enrich uncertainty principles for the free metaplectic Wigner distribution, revealing the influence of the symplectic matrices , , on the time-frequency resolution limit in the free metaplectic Wigner distribution domain, but also enrich uncertainty principles for the -Wigner distribution, revealing the influence of the parameter matrix on the time-frequency resolution limit in the -Wigner distribution domain.
The main tools we utilize to formulate lower bounds of the uncertainty product in FMKWD domains are some well-established uncertainty principles in two FMT domains (see our recent research series [
35,
36,
37,
38]). The research ideas are described below. It first reveals two relations between spreads in FMKWD and FMT domains. Then, it establishes an equivalence relation between the uncertainty product in FMKWD domains and those in two FMT domains. Finally, it proposes a lower bound of the uncertainty product in FMKWD domains for real-valued functions, and lower bounds of the uncertainty product in orthogonal FMKWD (OGFMKWD) domains, the uncertainty product in orthonormal FMKWD (ONFMKWD) domains, and the uncertainty product in the minimum or maximum eigenvalue commutative FMKWD (MINECFMKWD or MAXECFMKWD) domains for complex-valued functions.
The primary contributions of this paper are outlined below:
- •
We conduct an organic integration of the free metaplectic Wigner distribution and -Wigner distribution, giving birth to the definition of the so-called FMKWD.
- •
We establish various versions of Heisenberg’s uncertainty principles of the FMKWD.
- •
We demonstrate the superiority of the FMKWD over the free metaplectic Wigner distribution, -Wigner distribution and N-dimensional Wigner distribution in time-frequency super-resolution analysis.
- •
We discuss the application of the derived uncertainty principles in the estimation of the bandwidth in FMKWD domains.
- •
We illustrate that the FMKWD outperforms some state-of-the-art methods in linear frequency-modulated signal frequency rate feature extraction.
The main differences and connections between the current work and the previous ones are summarized as follows:
- •
The FMKWD differs essentially from the existing
N-dimensional Wigner distribution’s variants associated with the FMT, including the
N-D ACWD [
21], the
N-D KFWD [
22], the
N-D CRWD [
23], the
N-D ICFWD [
23], the free metaplectic Wigner distribution [
14], and the cross metaplectic Wigner distribution [
23].
- •
The FMKWD includes particular cases the free metaplectic Wigner distribution [
14],
-Wigner distribution [
15] and
N-dimensional Wigner distribution.
- •
The FMKWD can be regarded as a special case of the joint fractionization metaplectic Wigner distribution [
23] and metaplectic Wigner distributions [
39,
40] that deserves to be studied separately.
The remainder of this paper is structured below.
Section 2 revisits the definition of the FMKWD and proposes mathematical formulae for its time domain and FMT domain spreads. It also recalls some preliminary knowledge.
Section 3 proves a relation between FMKWD’s time domain spread and FMT domain spreads, in Lemma 5, and a relation between FMKWD’s FMT domain spread and FMT domain spreads, in Lemma 6. It then combines Lemmas 5 and 6 to prove a crucial uncertainty product relation between FMKWD’s time and FMT domains and two FMT domains, in Lemma 7.
Section 4 contains an uncertainty principle in FMKWD domains for real-valued functions, in Theorem 1.
Section 5 contains three kinds of uncertainty principles in OGFMKWD domains for complex-valued functions, in Theorems 2–4.
Section 6 contains an uncertainty principle in ONFMKWD domains for complex-valued functions, in Theorem 5.
Section 7 contains four kinds of uncertainty principles in the MINECFMKWD or MAXECFMKWD domains for complex-valued functions, in Theorems 6, 8, 10 and 12 (Theorems 7, 9, 11 and 13).
Section 8 discusses some potential applications of the derived results.
Section 9 draws a conclusion and presents future research directions.
5. Uncertainty Principles in OGFMKWD Domains for Complex-Valued Functions
This section first recalls a definition of the orthogonal FMT (OGFMT), and then uses it to propose a definition of the OGFMKWD. It also states two kinds of uncertainty inequalities in two OGFMT domains for complex-valued functions, and deduces two types of orthogonality conditions on the FMKWD. Finally, it formulates three kinds of lower bounds of the uncertainty product in orthogonal time-FMKWD and FMT-FMKWD domains for complex-valued functions.
Definition 11 (see [
37], Definition 1.2)
. FMT with the symplectic matrix , where and , is said to be orthogonal if and only if , , and are diagonal matrices: and Definition 12. FMKWD associated with the symplectic matrices , , and the parameter matrix , where , , is said to be orthogonal if and only if , , , and are OGFMTs.
Definition 13 (see [
37], Definition 1.5)
. A family of optimal chirp functions is defined asfor some and , where and where and satisfying and for . Lemma 9 (see [
37], Theorem 1.1)
. Let be the N-dimensional FT of a complex-valued function , and be the OGFMT of with the symplectic matrix , where and , . Assume that for any , the classical partial derivatives exist at any point , and , .(i) The inequality on the uncertainty product in two OGFMT domains reads (ii) When is continuous, and is non-zero almost everywhere, the equality holds if and only if is the optimal chirp function, and for all , .
Lemma 10 (see [
38], Theorem 6.2)
. Let be the N-dimensional FT of a complex-valued function , and be the OGFMT of with the symplectic matrix , where and , . Assume that for any , the classical partial derivatives exist at any point , and , .(i) The inequality on the uncertainty product in two OGFMT domains reads (ii) When is continuous, and is non-zero almost everywhere, the equality holds if and only if is the optimal chirp function, and is a constant independent of n and m.
Lemma 11. Let be the OGFMT of with the symplectic matrix , , and and be the FMTs of with the symplectic matrices and , respectively. When and , , then and are OGFMTs.
Proof. Recall that the symplectic matrices and . Due to and , there are , , and . Due to and , there are , , and . From Definition 11, the orthogonality of implies that , , and are diagonal matrices, . Thus, the matrices , , and are diagonal, , indicating that the FMTs and are orthogonal. □
Remark 4. Let and , ; and , . , , and are diagonal matrices:and. Lemma 12. Let and be the OGFMTs of with the symplectic matrices and , respectively, , and and be the FMTs of with the symplectic matrices and , respectively. When , , , , and , , then and are OGFMTs.
Proof. Recall that and . Due to , , , , and , there are , , and . Due to , , , , and , there are , , and . From Definition 11, the orthogonality of implies that , , and are diagonal matrices, ; the orthogonality of implies that , , and are diagonal matrices, . Thus, the matrices , , and are diagonal, , indicating that the FMTs and are orthogonal. □
Remark 5. Let , , , and , ; and , . , , and are diagonal matrices:and. Lemma 13. Let and be the OGFMTs of with the symplectic matrices and satisfying , , , respectively, , and and be the FMTs of with the symplectic matrices and , respectively. When , , , , and , , then and are OGFMTs.
Proof. Similar to the proof of Lemma 12, the FMTs
and
are orthogonal, because
,
, and
are diagonal matrices given by (
89)–(
91), respectively,
.
and
imply that
(or equivalently,
) and
(or equivalently,
), respectively,
. Then, it follows that
,
, and
,
, simplifying (
89)–(
91) into
and
. □
Theorem 2. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the OGFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and , .
(i) When , , , , , , and , , the FMKWD is orthogonal, and an inequality on the uncertainty product in orthogonal time-FMKWD and FMT-FMKWD domains reads (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function, and for all , .
Proof. Due to Lemmas 11 and 12, the FMTs
,
,
, and
are orthogonal. From Definition 12, the FMKWD
is thus orthogonal. By using the inequality (
84) of Lemma 9, there are
Adding (
96)–(
99) together, and subsequently, substituting into (
67) yields the required result (
95).
When
for all
, there are
for all
,
. From Part (ii) of Lemma 9, the equality of (
95) holds, since
and
for all
,
. □
Theorem 3. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the OGFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and , .
(i) When , , , , , , , , , and , , the FMKWD is orthogonal, and an inequality on the uncertainty product in orthogonal time-FMKWD and FMT-FMKWD domains is given by (95). (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function, and for all , .
Proof. By using Lemmas 9, 11 and 13 and Definition 12, the proof is similar to that of Theorem 2, and then it is omitted. □
Theorem 4. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the OGFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and , .
(i) When , , , , , , , , , and , , the FMKWD is orthogonal, and an inequality on the uncertainty product in orthogonal time-FMKWD and FMT-FMKWD domains reads (ii) When is continuous, and is non-zero almost everywhere, the equality holds if and only if is the optimal chirp function, and , are constants independent of n and m.
Proof. Due to Lemmas 11 and 13, the FMTs
,
,
, and
are orthogonal. From Definition 12, the FMKWD
is thus orthogonal. By using the inequality (
85) of Lemma 10, there are
Adding (
101)–(
104) together, and subsequently, substituting into (
67) yields the required result (
100).
Part (ii) of Theorem 4 seems straightforward because of Part (ii) of Lemma 10. □
7. Uncertainty Principles in the MINECFMKWD or MAXECFMKWD Domains for Complex-Valued Functions
This section first recalls a definition of the minimum or maximum eigenvalue commutative FMT (MINECFMT or MAXECFMT) and then uses it to propose a definition of the MINECFMKWD or MAXECFMKWD. It also states two kinds of uncertainty inequalities in two MINECFMT or MAXECFMT domains for complex-valued functions, and deduces two types of minimum or maximum eigenvalue commutativity conditions on the FMKWD. Finally, it formulates two kinds of lower bounds of the uncertainty product in the minimum or maximum eigenvalue commutative time-FMKWD and FMT-FMKWD domains for complex-valued functions.
Definition 16 (see [
36], Theorems 2.1 and 2.2)
. FMT with the symplectic matrix is said to be the minimum eigenvalue commutative if and only if and , and the maximum eigenvalue commutative if and only if and . Definition 17. FMKWD associated with the symplectic matrices , , and the parameter matrix , where , , is said to be the minimum or maximum eigenvalue commutative if and only if , , , and are the MINECFMTs or MAXECFMTs.
Lemma 17 (see [
36], Theorem 2.1)
. Let be the N-dimensional FT of a complex-valued function , and be the MINECFMT of with the symplectic matrix , . Assume that for any , the classical partial derivatives exist at any point , and , .(i) The inequality on the uncertainty product in two MINECFMT domains readswhere. (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , and , where and , .
Lemma 18 (see [
36], Theorem 2.2)
. Let be the N-dimensional FT of a complex-valued function , and be the MAXECFMT of with the symplectic matrix , . Assume that for any , the classical partial derivatives exist at any point , and , .(i) The inequality on the uncertainty product in two MAXECFMT domains readswhere. (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , and , where and , .
Lemma 19 (see [
38], Theorem 6.7)
. Let be the N-dimensional FT of a complex-valued function , and be the MINECFMT of with the symplectic matrix , . Assume that for any , the classical partial derivatives exist at any point , and , .(i) The inequality on the uncertainty product in two MINECFMT domains readswhere and , are given by (114) and (115), respectively. (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , and , where , .
Lemma 20 (see [
38], Theorem 6.8)
. Let be the N-dimensional FT of a complex-valued function , and be the MAXECFMT of with the symplectic matrix , . Assume that for any , the classical partial derivatives exist at any point , and , .(i) The inequality on the uncertainty product in two MAXECFMT domains readswhere and , are given by (117) and (118), respectively. (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , and , where , .
Lemma 21 (see [
41], Corollary 11)
. Let be an symmetric matrix and be an positive semidefinite matrix. Then, there are two inequalities: and Lemma 22. Let be the MINECFMT or MAXECFMT of with the symplectic matrix , , and and be the FMTs of with the symplectic matrices and , respectively. When and , , then and are the MINECFMTs or MAXECFMTs.
Proof. It is clear that if the minimum eigenvalue commutative case holds, then the maximum eigenvalue commutative case is trivial and vice versa, since
,
. It is therefore enough to prove the minimum eigenvalue commutative case. Recall that
,
, and
,
. From Definition 16, the minimum eigenvalue commutative property of
implies that
and
,
. Then, there are
and by using the inequality (
121) of Lemma 21, it follows that
. Equation (
123) and the inequality (
124) indicate that the FMTs
and
are the minimum eigenvalue commutative. □
Lemma 23. Let and be the MINECFMTs or MAXECFMTs of with the symplectic matrices and , respectively, , and and be the FMTs of with the symplectic matrices and , respectively. When , , , , and , , then and are the MINECFMTs or MAXECFMTs.
Proof. It is clear that, if the minimum eigenvalue commutative case holds then the maximum eigenvalue commutative case is trivial and vice versa, since
and
,
. It is therefore enough to prove the minimum eigenvalue commutative case. Recall that
,
, and
,
. From Definition 16, the minimum eigenvalue commutative property of
implies that
and
,
; the minimum eigenvalue commutative property of
implies that
and
,
. Then, there are
and by using the inequality (
121) of Lemma 21, it follows that
. Equation (
125) and the inequality (
126) indicate that the FMTs
and
are the minimum eigenvalue commutative. □
Lemma 24. Let and be the MINECFMTs or MAXECFMTs of with the symplectic matrices and satisfying , , , respectively, , and and be the FMTs of with the symplectic matrices and , respectively. When , , , , and , , then and are the MINECFMTs or MAXECFMTs.
Proof. The proof is similar to that of Lemma 23, and then it is omitted. □
Theorem 6. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MINECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , and , , the FMKWD is the minimum eigenvalue commutative, and an inequality on the uncertainty product in the minimum eigenvalue commutative time-FMKWD and FMT-FMKWD domains reads
(ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where , and , .
Proof. Due to Lemmas 22 and 23, the FMTs
,
,
, and
are the minimum eigenvalue commutative. From Definition 17, the FMKWD
is thus the minimum eigenvalue commutative. By using the inequality (
113) of Lemma 17, there are
Adding (
128)–(
131) together, and subsequently, substituting into (
67) yields the required result (
127).
When , , , and , there are , , and , . When , there are , . When , there are , .
When , , , , , , and , there are , , and , . When , there are , . When and , there are , .
From Part (ii) of Lemma 17, the equality of (
127) holds, since
,
and
, where
and
, and
,
and
, where
and
,
. □
Theorem 7. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MAXECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , and , , the FMKWD is the maximum eigenvalue commutative, and an inequality on the uncertainty product in the maximum eigenvalue commutative time-FMKWD and FMT-FMKWD domains reads
(ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where , and , .
Proof. By using Lemmas 18, 22 and 23, the proof is similar to that of Theorem 6, and then it is omitted. □
Theorem 8. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MINECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , , , , and , , the FMKWD is the minimum eigenvalue commutative, and an inequality on the uncertainty product in the minimum eigenvalue commutative time-FMKWD and FMT-FMKWD domains is given by (127). (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where , and , .
Proof. By using Lemmas 17, 22 and 24, the proof is the same as that of Theorem 6, and then it is omitted. □
Theorem 9. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MAXECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , , , , and , , the FMKWD is the maximum eigenvalue commutative, and an inequality on the uncertainty product in the maximum eigenvalue commutative time-FMKWD and FMT-FMKWD domains is given by (132). (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where , and , .
Proof. By using Lemmas 18, 22 and 24, the proof is similar to that of Theorem 6, and then it is omitted. □
Theorem 10. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MINECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , and , , the FMKWD is the minimum eigenvalue commutative, and an inequality on the uncertainty product in the minimum eigenvalue commutative time-FMKWD and FMT-FMKWD domains reads
(ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where and , .
Proof. Due to Lemmas 22 and 23, the FMTs
,
,
, and
are the minimum eigenvalue commutative. From Definition 17, the FMKWD
is thus the minimum eigenvalue commutative. By using the inequality (
119) of Lemma 19, there are
Adding (
134)–(
137) together, and subsequently, substituting into (
67) yields the required result (
133).
From Part (ii) of Lemma 19, the proof of Part (ii) of Theorem 10 is similar to that of Part (ii) of Theorem 6, and then it is omitted. □
Theorem 11. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MAXECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , and , , the FMKWD is the maximum eigenvalue commutative, and an inequality on the uncertainty product in the maximum eigenvalue commutative time-FMKWD and FMT-FMKWD domains reads
(ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where and , .
Proof. By using Lemmas 20, 22 and 23, the proof is similar to that of Theorem 10, and then it is omitted. □
Theorem 12. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MINECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , , , , and , , the FMKWD is the minimum eigenvalue commutative, and an inequality on the uncertainty product in the minimum eigenvalue commutative time-FMKWD and FMT-FMKWD domains is given by (133). (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where and , .
Proof. By using Lemmas 19, 22 and 24, the proof is the same as that of Theorem 10, and then it is omitted. □
Theorem 13. Let be the N-dimensional FT of a complex-valued function , be the FMKWD of associated with the symplectic matrices , , and the parameter matrix , where , , and and be the MAXECFMTs of with the symplectic matrices and , respectively, . Assume that for any , the classical partial derivatives exist at any point , and .
(i) When , , , , , , , , , and , , the FMKWD is the maximum eigenvalue commutative, and an inequality on the uncertainty product in the maximum eigenvalue commutative time-FMKWD and FMT-FMKWD domains is given by (138). (ii) When is continuous, and is non-zero almost everywhere, the equality holds if is the optimal chirp function with for all , and , , , , , , and , , where and , .
Proof. By using Lemmas 20, 22 and 24, the proof is similar to that of Theorem 10, and then it is omitted. □