Next Article in Journal
Quaternionic Product of Equilateral Hyperbolas and Some Extensions
Next Article in Special Issue
Schur Lemma and Uniform Convergence of Series through Convergence Methods
Previous Article in Journal
The Odd Exponentiated Half-Logistic Exponential Distribution: Estimation Methods and Application to Engineering Data
Previous Article in Special Issue
Regularity in Topological Modules
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The N-Dimensional Uncertainty Principle for the Free Metaplectic Transformation †

1
College of Science, Tianjin University of Technology, Tianjin 300384, China
2
School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071, China
*
Author to whom correspondence should be addressed.
This work was supported partially by the National Natural Science Foundation of China (11671214, 11971348, 12071230), the Natural Science Foundation of Tianjin (18JCYBJC16200), the Natural Science Research Project of Higher Education of Tianjin (2018KJ148).
Mathematics 2020, 8(10), 1685; https://doi.org/10.3390/math8101685
Submission received: 29 August 2020 / Revised: 26 September 2020 / Accepted: 27 September 2020 / Published: 1 October 2020
(This article belongs to the Special Issue Functional Analysis, Topology and Quantum Mechanics)

Abstract

:
The free metaplectic transformation is an N-dimensional linear canonical transformation. This transformation operator is useful, especially for signal processing applications. In this paper, in order to characterize simultaneously local analysis of a function (or signal) and its free metaplectic transformation, we extend some different uncertainty principles (UP) from quantum mechanics including Classical Heisenberg’s uncertainty principle, Nazarov’s UP, Donoho and Stark’s UP, Hardy’s UP, Beurling’s UP, Logarithmic UP, and Entropic UP, which have already been well studied in the Fourier transform domain.
100 MR Subject Classiflcation:
47B38; 42A38; 42B10; 70H15

1. Introduction

The free metaplectic transformation (FMT), which was first studied in Reference [1], is widely used in many fields such as filter design, pattern recognition, optics and analyzing the propagation of electromagnetic waves [2,3,4,5]. This useful transformation is also known as the N-dimensional nonseparable linear canonical transformation. In Table 1,
Some specific transformations can be obtained by taking special values for symplectic matrices.
The uncertainty principle (UP) is usually understood as the relationship between the simultaneous expansion of functions and its Fourier transform. In essence, uncertainty deals with the problem of concentration. Therefore, it can process the interaction of data loss, sparsity and bandwidth limitation in signal recovery. Plenty of scholars have studied and popularized UP [1,6,7,8,9].
In Reference [10], Qingyue Zhang studies the Zak transform and uncertainty principles associated with the linear canonical transform. In Reference [11], Haiye Huo studies the Uncertainty Principles (UP) for the offset linear canonical transformation (OLCT) and extends the existing uncertainty theory from the Fourier transform domain to the OLCT domain. Until now, most of the existing results are considered in one-dimension. For N-dimensional FMT, Zhichao Zhang has done a number of studies, for example, Reference [12]. He extends the classical N-dimensional Heisenberg’s uncertainty principle to the FMT. A lower bound for the complex signal’s uncertainty product u M 1 2 u M 2 2 is given in Reference [12], where M 1 = A 1 B 1 C 1 D 1 M 2 = A 2 B 2 C 2 D 2 are parameter matrices of the FMT. In Reference [13], he extends the classical N-dimensional Heisenberg’s uncertainty principle to the fractional Fourier transform (FRFT). To the best of our knowledge, there are no other results published about UPs associated with the FMT. Hence, in this paper, we mainly extend the various forms of N-dimensional UPs from the Fourier transform to the FMT domain.
The function f ^ ( u ) denotes the N-dimensional Fourier transform (FT) of f ( x ) ,
f ^ ( u ) = R N f ( x ) e 2 π i x u T d x .
and the inversion formula for the FT is shown to be
f ( x ) = R N f ^ ( u ) e 2 π i x u T d u
where x = ( x 1 , x 2 , , x N ) , u = ( u 1 , u 2 , , u N ) and x u T = k = 1 N x k u k . On the basis of FT, the classical N-dimensional Heisenberg’s uncertainty principle is given by the following:
If f ( x ) L 2 R N , and a , b R N are arbitrary, then
R N x a 2 | f ( x ) | 2 d x R N u b 2 f ^ ( u ) 2 d u N 2 16 π 2 f 2 4
where the norm of function f is L 2 -norm, that is, f = R N | f ( x ) | 2 d x 1 2 .
Our paper is organized as follows—in the next section, we give some basic definitions and lemmas. In Section 3, we extend the corresponding results of the Classical Heisenberg’s uncertainty principle, Nazarov’s UP, Donoho and Stark’s UP, Hardy’s UP, Beurling’s UP, Logarithmic UP and Entropic UP to the free metaplectic transformation domain, respectively.

2. Definitions and Preliminaries

This section give some useful definitions and lemmas about the free metaplectic transformation.
Definition 1.
(Zhang [12]) The metaplectic operator of a function f ( x ) L 2 ( R N ) with the free symplectic matrix M = A B C D , (equivalently ( det ( B ) 0 ) ) is defined as
L M [ f ] ( u ) = f M ^ ( u ) = 1 | det ( B ) | R N f ( x ) e π i ( u D B 1 u T + x B 1 A x T ) 2 π i x B 1 u T d x ,
where u = ( u 1 , , u N ) , and A = ( a k l ) , B = ( b k l ) , C = ( c k l ) , D = ( d k l ) are all N × N real matrices satisfying the following constraints:
A B T = B A T , C D T = D C T , A D T B C T = I N ,
and where I N denotes an N × N identity matrix. The corresponding inverse formula is given by f ( x ) = L M 1 [ f M ^ ] ( x ) , where M 1 = D T B T C T A T .
Here
M M 1 = A B C D D T B T C T A T = A D T B C T A B T + B A T C D T D C T C B T + D A T = I N 0 0 I N .
For the convenience of writing, L M 1 ( f ) represents the inversion formula of the free metaplectic transformation about function f. The following definition is also a significant basic content for the study of free metaplectic transformation.
Definition 2.
(Zhang [12]) Let f ^ ( u ) be the N-dimensional FT of f ( x ) L 2 ( R N ) , and f M ^ ( u ) be the free metaplectic transformation of f ( x ) with the symplectic matrix M = A B C D . Assume that x f ( x ) , u f ^ ( u ) L 2 ( R N ) . Then we can define
(i) The covariance in the time domain:
x 2 = R N x x 0 2 | f ( x ) | 2 d x ,
where the moment vector in the time domain is
x 0 = ( x 1 0 , , x N 0 ) , x k 0 = R N x k | f ( x ) | 2 d x / f 2 2 , k = 1 , , N .
(ii) The covariance in the frequency domain:
u 2 = R N u u 0 2 f ^ ( u ) 2 d u ,
where the moment vector in the frequency domain is
u 0 = ( u 1 0 , , u N 0 ) , u k 0 = R N u k f ^ ( u ) 2 d u / f 2 2 , k = 1 , , N .
(iii) The covariance in the free metaplectic transformation domain:
u M 2 = R N u u M , 0 2 f M ^ ( u ) 2 d u ,
where the moment vector in the free metaplectic transformation domain is
u M , 0 = ( u 1 M , 0 , , u N M , 0 ) , u k M , 0 = R N u k f M ^ ( u ) 2 d u / f 2 2 , k = 1 , , N .
We first give the definition of infinitesimal of the same order.
Definition 3.
(Gordon, Kusraev and Kutateladze [14]) Let f ( x ) and g ( x ) be two infinitely small functions as x a . We call f ( x ) an infinitesimal of the same order of g ( x ) , record as f ( x ) = O ( g ( x ) ) , if
0 < lim x a f ( x ) g ( x ) < .
The following is the definition of the Schwartz class. It is useful in Section 3.
Definition 4.
(Grochenig [9]) The Schwartz class consists of all C -functions f on R N , such that
sup | D α X β f ( x ) | <
for all α , β Z + N , where D α = α 1 x 1 α 1 α N x N α N for the partial derivative and X α f ( x ) = x α f ( x ) for the multiplication operator. S ( R N ) denotes the Schwartz class.
In addition, Gamma function will also be used in this paper.
Definition 5.
In real number field, Gamma function’s formula is that
Γ ( x ) = 0 + e t t x 1 d t .
As an extension of factorial, Gamma function is defined in the complex range of meromorphic function, which is usually written as Γ ( x ) . When the variable of a function is a positive integer, then Γ ( n + 1 ) = n !
For a set T R N , the characteristic function of T is
χ T ( x ) = 1 , x T 0 , x T .
Let P : E F be a bounded linear operator. Then the operator norm of P is
P = sup | x | 1 P x = sup | x | = 1 P x = sup x E , x 0 P x x .
more theories on operator norm can be seen in Reference [15].
The key players are the transition from free metaplectic transform to Fourier transform and the research on norm of free metaplectic transformation. The corresponding results are given by the following lemmas.
Lemma 1.
Let f L 2 ( R N ) and g ( x ) = f ( x ) e π i x B 1 A x T , then the relationship between g ^ ( u ) and f M ^ ( u ) is
| g ^ ( u ) | = det ( B ) f M ^ ( u B T ) .
Proof. 
From Definition 1, for all u R N , the free metaplectic transformation of u B T
f M ^ ( u B T ) = 1 | det ( B ) | R N f ( x ) e π i ( u B T D B 1 B u T + x B 1 A x T ) 2 π i x B 1 B u T d x = 1 | det ( B ) | R N f ( x ) e π i ( u B T D u T + x B 1 A x T ) 2 π i x u T d x = 1 | det ( B ) | e π i u B T D u T R N f ( x ) e π i x B 1 A x T e 2 π i x u T d x .
Let g ( x ) = f ( x ) e π i x B 1 A x T , then
| g ( x ) | = | f ( x ) | .
Furthermore,
f M ^ ( u B T ) = 1 | det ( B ) | e π i u B T D u T g ^ ( u ) .
Taking modulus on both sides of the equation, then
f M ^ ( u B T ) = 1 det ( B ) | g ^ ( u ) | ,
that is,
g ^ ( u ) = det ( B ) f M ^ ( u B T ) .
Next, we provide the fundamental result for the free metaplectic transformation. The Parseval formula is generalized.
Lemma 2.
If f L 1 R N L 2 R N , then
f M ^ 2 = f 2 .
Proof. 
By Definition 1,
f M ^ ( u ) = 1 | det ( B ) | e π i u D B 1 u T g ^ u B 1 T .
Equation (6) follows from the calculation
f M ^ 2 2 = R f M ^ ( u ) 2 d u = R 1 | det ( B ) | g ^ u ( B 1 ) T 2 d u = R g ^ ( w ) 2 d w = R | g ( x ) | 2 d x = R | f ( x ) | 2 d x = f 2 2 .

3. Uncertainty Principles for the Free Metaplectic Transformation Domain

Apparently, there are many different forms of UP’s in the Fourier transform domain. Since the free metaplectic transformation is a generalized version of the Fourier transform and the linear canonical transform, it is natural and interesting to study this different forms of UP’s in the free metaplectic transformation domain. it can not give the exact location in both f and its free metaplectic transformation.

3.1. Classical Heisenberg’s Uncertainty Principle

In Reference [12], Zhang gives the measurement estimate about the lower bound of the product of two free metaplectic transformations under the premise of classical uncertainty. In this subsection, the lower bound of uncertainty corresponding to the free metaplectic transformation is given by the following theorem.
Theorem 1.
Let f ( x ) L 2 ( R N ) . If x 2 and u M 2 are the variances f ( x ) and the free metaplectic transformation of f ( x ) , then
x 2 u M 2 N 2 f 2 4 16 π 2 σ m i n 2 ( B ) .
where σ m i n ( B ) denotes the minimum singular value of matrix B.
Proof. 
Applying N-dimensional Heisenberg’s uncertainty principle to g ( x ) , we have
R N x a 2 | g ( x ) | 2 d x R N u b 2 g ^ ( u ) 2 d u N 2 16 π 2 g 2 4 .
Equality holds if and only if g ( x ) is an N-dimensional Gaussian function. The combination of (4), (5) and (7) yields
| det ( B ) | R N x a 2 | f ( x ) | 2 d x R N u b 2 f M ^ ( u B T ) 2 d u N 2 16 π 2 f 2 4 .
Let w = u B T , then u = w B T 1 . Therefore,
R N x a 2 | f ( x ) | 2 d x R N w B T 1 b 2 f M ^ ( w ) 2 d w N 2 16 π 2 f 2 4 .
Furthermore,
w B T 1 b 2 = ( w b B T ) B T 1 2 = ( w b B T ) B T 1 , ( w b B T ) ( B T ) 1 = ( w b B T ) B T 1 B 1 ( w b B T ) T = ( w b B T ) B B T 1 ( w b B T ) T .
Since ( B B T ) 1 is real and symmetric matrix by definition, there exits unitary matrix P such that
P T ( B B T ) 1 P = λ 1 λ 2 · · λ n ,
where λ 1 , , λ n are eigenvalues of ( B B T ) 1 . Now suppose that λ m i n ( B B T ) represents the minimum eigenvalue of matrix B B T , λ m a x ( B B T ) represents the maximum eigenvalue of matrix B B T . We have
w ( B T ) 1 b 2 = ( w b B T ) B B T 1 ( w b B T ) T 1 λ m i n ( B B T ) ( w b B T ) P E P T ( w b B T ) T = 1 λ m i n ( B B T ) w b B T 2 .
Then the result can be written as follows,
R N x a 2 | f ( x ) | 2 d x R N w b B T 2 f M ^ ( w ) 2 d w N 2 16 π 2 f 2 4 λ m i n B B T .
Since the relationship λ m i n ( B B T ) = σ m i n 2 ( B ) , the right of the inequality can be simplified as N 2 16 π 2 f 2 4 σ m i n 2 ( B ) . The equality holds if and only if
λ m i n ( B B T ) = λ m a x ( B B T ) = σ 2 ( B ) .
It is easy to see that if R N x a 2 | f ( x ) | 2 d x is finite, then it is minimized at x 0 , that is x 2 ; similarly, R N w b B T 2 f M ^ ( w ) 2 d w is minimized at b B T = u M , 0 , that is u M 2 . Therefore,
x 2 u M 2 N 2 16 π 2 f 2 4 σ m i n 2 ( B ) .
From the above discussion, if f ( x ) is an N-dimensional Gaussian function and
λ m i n ( B B T ) = λ m a x ( B B T ) = σ 2 ( B ) ,
then the equality holds. □
In particular, the result of Theorem 1 is consistent with Reference [16] for the N-dimentional FRFT if A = D = d i a g ( cos θ 1 , , cos θ N ) , B = C = d i a g ( sin θ 1 , , sin θ N ) .

3.2. Nazarov’s UP

Measured by smallness of support, Nazarov’s UP was first proposed by F.L. Nazarov in 1993 [17]. It argues what happens if a nonzero function and its Fourier transform are only small outside a compact set. We first introduce Nazarov’s UP for the Fourier transform.
Proposition 1.
(Jaming [18]) There exists a constant C , such that for finite Lebesgue measurable sets S , E R N and for every f L 2 R N ,
C e C m i n | S | E , | S | 1 / N w E , w ( S ) | E | 1 / N R N S | f ( x ) | 2 d x + R N E f ^ ( u ) 2 d u f 2 2
where w E is the mean width of E. In geometry, the mean width is a measure of the "size" of a body.
Motivated by Proposition 1, we extend the Nazarov’s UP to the free metaplectic transformation domain.
Theorem 2.
There exists a constant C , such that for finite Lebesgue measurable sets S , E R N and for every f L 2 R N ,
C e C m i n | S | E , | S | 1 / N w ( E ) , w ( S ) | E | 1 / N R N S | f ( x ) | 2 d x + R N ( E B T ) f ^ M ( u ) 2 d u f 2 2
where w E is the mean width of E.
Proof. 
Let w = u B T and C = C e C m i n | S | | E | , | S | 1 / N w ( E ) , w ( S ) | E | 1 / N . For g ( x ) , by Lemma 1, we have
R N | g ( x ) | 2 d x C R N S | g ( x ) | 2 d x + R N E | g ^ ( u ) | 2 d u .
Substituting (4), (5) into (9), we obtain
R N | f ( x ) | 2 d x C R N S | f ( x ) | 2 d x + | det ( B ) | R N E f ^ M ( u B T ) 2 d u .
Therefore,
R N | f ( x ) | 2 d x C R N S | f ( x ) | 2 d x + R N E B T f ^ M ( w ) 2 d w ,
which completes the proof. □

3.3. Donoho and Stark’s UP

The classical uncertainty principle is based on the interpretation of the standard deviation f x as the size of the “essential support” of f. By considering other notions of the support, it lead to different versions of the uncertainty principle. Considering the concentration degree of energy in a certain area, the beautiful uncertainty principle in this case has been received by Donoho and Stark in Reference [7].
Definition 6.
(Donoho and Stark [7]) A function f L 2 R N is ϵ-concentrated on a measurable set T R N , if
T c | f ( x ) | 2 d x 1 / 2 ϵ f 2 .
Here T c is the complement of set T on R N . The following proposition is the Donoho and Stark’s UP in fourier domain.
Proposition 2.
(Grochenig [9]) Suppose that f L 2 R N and f 0 is ϵ T -concentrated on T R N and f ^ is ϵ Ω -concentrated on Ω R N . Then
| T | | Ω | ( 1 ϵ T ϵ Ω ) 2 .
Similarly, it can be extended to the free metaplectic transformation domain.
Theorem 3.
Suppose that f L 2 R N and f 0 is ϵ T -concentrated on T R N and f ^ M is ϵ Ω -concentrated on Ω R N . Then
| T | | Ω | | det ( B ) | 1 ϵ T ϵ Ω 2 .
Proof. 
Without loss of generality, we assume that T and Ω have finite measure. In this proof we introduce two operators that occur frequently in problems of band-limited functions. Let
P T f = χ T · f
and
Q Ω f ( x ) = L M 1 χ Ω · f M ^ ( x ) .
With this notation f is ϵ T -concentrated on T if and only if
f P T f 2 ϵ T f 2 ,
and f ^ M is ϵ Ω -concentrated on Ω R N if and only if
f Q Ω f 2 = L M 1 χ Ω c · f ^ M 2 = χ Ω c · f ^ M 2 ϵ Ω f 2 .
Since Q Ω o p 1 , we obtain that
f Q Ω P T f 2 f Q Ω f 2 + Q Ω ( f P T f ) 2 ( ϵ Ω + ϵ T ) f 2 .
Consequently
Q Ω P T f 2 f 2 f Q Ω P T f 2 1 ϵ T ϵ Ω f 2 .
Next we compute the integral kernel and the Hilbert-Schmidt norm of Q Ω P T .
Let h ( w ) = χ Ω ( w ) · e π i w [ D B 1 ( D B 1 ) T ] w T , then
Q Ω P T f ( x ) = L M 1 χ Ω · ( P T f ) ^ M ( x ) = Ω T 1 | det ( B ) | f ( t ) e π i t B 1 A t T e π i x ( B 1 A ) T x T e π i w [ D B 1 ( D B 1 ) T ] w T e 2 π i w ( B T ) 1 ( t x ) T d t d w . = R N T 1 | det ( B ) | h ( w ) f ( t ) e π i t B 1 A t T e π i x ( B 1 A ) T x T e 2 π i w ( B T ) 1 ( t x ) T d t d w .
It follows from that the inverse formula of the free metaplectic transformation. Clearly, f L 2 ( T ) L 1 ( T ) . Since both T and Ω have finite measure, the double integral converges absolutely. By Fubini’s theorem, the order of integration can be exchanged, that is,
Q Ω P T f ( x ) = R N f ( t ) K ( x , t ) d t ,
where the kernel
K ( x , t ) = χ T ( t ) | det ( B ) | e π i t B 1 A t T π i x ( B 1 A ) T x T h ^ ( t x ) B 1 .
The Hilbert-Schmidt norm (Appendix A) of Q Ω P T is given by
Q Ω P T H S 2 = R N R N | K ( x , t ) | 2 d x d t .
So we have
R N | K ( x , t ) | 2 d x = χ T ( t ) det 2 ( B ) R N h ^ ( t x ) B 1 2 d x = χ T ( t ) det 2 ( B ) R N h ^ ( u B 1 ) 2 d u = χ T ( t ) | det ( B ) | R N h ^ ( w ) 2 d w = χ T ( t ) | det ( B ) | | Ω | ,
therefore
Q Ω P T H S 2 = | Ω | | det ( B ) | R N χ T ( t ) d t = 1 | det ( B ) | | T | | Ω | .
Finally, by (10), (11) and the operator norm Q Ω P T o p is dominated by the Hilbert Schmidt norm, we have
1 ϵ T ϵ Ω 2 f 2 2 Q Ω P T f 2 2 Q Ω P T o p 2 f 2 2 Q Ω P T H S 2 f 2 2 = 1 | det ( B ) | | T | | Ω | f 2 2 .
Consequently,
| T | | Ω | | det ( B ) | 1 ϵ T ϵ Ω 2 .

3.4. Hardy’s UP

Hardy’s UP was first introduced by G.H. Hardy in 1933 [19]. Its localization is measured by fast decrease of a function and its Fourier transform. Hardy’s UP in the Fourier transform domain [20] was given as follows.
Proposition 3.
(Escauriaza, Kenig, Ponce and Vega [20]) If f ( x ) = O ( e | x | 2 / β 2 ) , f ^ ( ω ) = O ( ( 2 π ) N / 2 e 16 π 2 | ω | 2 / α 2 ) and 1 / α β > 1 / 4 , then f 0 . Also, if 1 / α β = 1 / 4 , then
f = C e | x | 2 / β 2 .
where C is a constant, C C .
Based on Proposition 2, we derive the corresponding Hardy’s UP for the free metaplectic transformation.
Theorem 4.
If f ( x ) = O ( e | x | 2 / β 2 ) , f M ^ ( u ) = O ( ( 2 π ) N / 2 e 16 π 2 | u ( B T ) 1 | 2 / α 2 ) and 1 / α β > 1 / 4 , then f 0 . Also, if 1 / α β = 1 / 4 , then
f = C e | x | 2 / β 2 π i x B 1 A x T ,
where C is a constant, C C .
Proof. 
Let g ( x ) = f ( x ) e π i x B 1 A x T . By (4) and (5), we have
| g ( x ) | = | f ( x ) | = O ( e | x | 2 / β 2 ) ,
and
| g ^ ( u ) | = | det ( B ) | f M ^ ( u B T ) = O ( ( 2 π ) N / 2 e 16 π 2 | u | 2 / α 2 ) .
Since g ( x ) satisfies Proposition 2 and 1 / α β > 1 / 4 , we have g 0 . The equation f 0 is immediately obtained. Also, if 1 / α β = 1 / 4 , then g ( x ) is a constant multiple of e | x | 2 / β 2 . Further,
f ( x ) = C e | x | 2 / β 2 π i x B 1 A x T .
This completes the proof. □
Clearly, the Proposition 2 can be received if A = 0 and B = E in Theorem 4.

3.5. Beurling’s UP

Beurling’s UP is a variant of Hardy’s UP. It implies the weak form of Hardy’s UP immediately. Beurling’s UP in the Fourier transform domain is as follows.
Proposition 4.
(Bonami, Demange and Jaming [21]) Let f L 2 ( R N ) and n 0 . Then
R N R N | f ( x ) | | f ^ ( y ) | ( 1 + x + y ) n e 2 π | x , y | d x d y < + .
if and only if f may be written as
f ( x ) = P ( x ) e π A x , x ,
where A is a real positive definite symmetric matrix and P is a polynomial of degree < n N 2 .
Here a polynomial of degree means that the degree of the highest degree term of a polynomial.
In particular, for n N , the function f is identically 0. Beurling-H o ¨ rmander’s original theorem is the above theorem for N = 1 and n = 0 . An extension to N 1 but still n = 0 first has been given by S.C. Bagchi and S.K. Ray in Reference [22] in a weaker form. Then S.K. Ray and E. Naranayan give in the present form. Next, we formulate the Beurling’s UP for the free metaplectic transformation domain.
Theorem 5.
Let f L 2 ( R N ) and n 0 . Then
R N R N | f ( x ) | f M ^ ( ω ) det ( B ) ( 1 + x + ω B ˜ ) n e 2 π | x , ω B ˜ | d x d ω < + .
if and only if f may be written as
f ( x ) = P ( x ) e π i x B 1 A x T π A x , x ,
where A is a real positive definite symmetric matrix and P is a polynomial of degree < n N 2 .
Proof. 
Let g ( x ) = f ( x ) e π i x B 1 A x T . By (4), (5) and the Proposition 4, we have
R N R N | g ( x ) | | g ^ ( u ) | ( 1 + x + u ) n e 2 π | x , u | d x d u = R N R N | f ( x ) | | | det ( B ) | f M ^ ( u B T ) ( 1 + x + u ) n e 2 π | x , u | d x d u = R N R N | f ( x ) | | f M ^ ( ω ) | det ( B ) ( 1 + x + ω ( B T ) 1 ) n e 2 π | x , ω B ˜ | d x d ω < +
if and only if g ( x ) = P ( x ) e π A x , x . Furthermore, f ( x ) = P ( x ) e π i x B 1 A x T π A x , x .
From Theorem 5, we know that it is not possible for a nonzero function f and its free metaplectic transformation to decrease very rapidly simultaneously.

3.6. Logarithmic’s UP

In Reference [23], a simple argument based on a sharp form of Pitt’s inequality is used to obtain a logarithmic estimate of uncertainty.
Proposition 5.
(Beckner [23]) For f S ( R N ) and 0 α < N
R N | ξ | α | f ^ ( ξ ) | 2 d ξ C α R N | x | α | f ( x ) | 2 d x ,
where
C α = π α [ Γ ( N α 4 ) / Γ ( N + α 4 ) ] 2 .
Here S ( R N ) denotes the Schwartz class.
Therefore, the Pitt’s inequality can be extended to the free metaplectic transformation domain. In the following, we will denote ( B T ) 1 by B ˜ .
Theorem 6.
For f S ( R N ) and 0 α < N
R N | ω B ˜ | α | f ^ M ( ω ) | 2 d ω C α R N | x | α | f ( x ) | 2 d x
where C α is given by (12).
Proof. 
Let g ( x ) = f ( x ) e π i x B 1 A x T , then g ( x ) satisfies the condition of Proposition 3, then
R N | u | α | g ^ ( u ) | 2 d u C α R N | x | α | g ( x ) | 2 d x .
Put (4), (5) into (13), we have
| det ( B ) | R N | u | α | f M ^ ( u B T ) | 2 d u C α R N | x | α | f ( x ) | 2 d x .
Let ω = u B T , then
R N | ω B ˜ | α | f M ^ ( ω ) | 2 d ω C α R N | x | α | f ( x ) | 2 d x .
Based on the generalized Pitt’s inequality for the free metaplectic transformation proposed in Theorem 6, we investigate the logarithmic UP associated with the free metaplectic transformation.
Theorem 7.
Let f S ( R N ) and f = 1 , then
R N ln | ω B ˜ | | f M ^ ( ω ) | 2 d ω + R N ln | x | | f ( x ) | 2 d x Γ ( N / 4 ) Γ ( N / 4 ) ln π .
Proof. 
Let H ( α ) R N | ω B ˜ | α f M ^ ( ω ) 2 d ω C α R N | x | α | f ( x ) | 2 d x , where C α is given by (12). Taking the derivative of H ( α ) about the variable α , we obtain
H ( α ) = R N ln ω B ˜ ω B ˜ α f M ^ ( ω ) 2 d ω C α R N | x | α ln | x | | f ( x ) | 2 d x C α R N | x | α | f ( x ) | 2 d x .
where
C α = π α ln π [ Γ ( N α 4 ) Γ ( N + α 4 ) ] 2 π α 2 Γ ( N α 4 ) Γ ( N α 4 ) + Γ 2 ( N α 4 ) Γ ( N + α 4 ) / Γ ( N + α 4 ) Γ 2 ( N + α 4 ) .
By Theorem 6, we know H ( α ) 0 for 0 α < N . From assumptions and Lemma 2,
H ( 0 ) = R N f M ^ ( ω ) 2 d ω R N | f ( x ) | 2 d x = 0 .
We get
H ( 0 + ) 0 .
Consequently,
R N ln ω B ˜ f M ^ ( ω ) 2 + R N ln | x | | f ( x ) | 2 d x Γ ( N / 4 ) Γ ( N / 4 ) ln π .

3.7. Entropic UP

Entropic UP is a fundamental tool in information theory, quantum physical and harmonic analysis. Its localization is measured by Shannon entropy. Let ρ be a probability density function on R N . The Shannon entropy of ρ is denoted by
E ( ρ ) = R N ρ ( t ) ln ρ ( t ) d t .
We revisit entropic UP associated with the Fourier transform in following proposition.
Proposition 6.
(Folland, Sitaram [24]) If f L 2 ( R N ) and f 2 = 1 , we have
E ( | f | 2 ) + E ( | f ^ | 2 ) N ( 1 ln 2 ) ,
whenever the left side is well defined.
Next, we propose the entropic UP in the free metaplectic transformation domain.
Theorem 8.
If f L 2 ( R N ) and f 2 = 1 , we have
E ( | f | 2 ) + E ( | f M ^ | 2 ) N ( 1 ln 2 ) + ln | det ( B ) | .
Proof. 
Let g ( x ) = f ( x ) e π i x B 1 A x T , then g ( x ) L 2 ( R N ) . Thus
R N | g ( x ) | 2 ln | g ( x ) | 2 d x R N | g ^ ( u ) | 2 ln | g ^ ( u ) | 2 d u N ( 1 ln 2 )
by Proposition 6. Substitute (4), (5) into (16),
R N | f ( x ) | 2 ln | f ( x ) | 2 d x R N | det ( B ) | f M ^ ( u B T ) 2 ln | det ( B ) | f M ^ ( u B T ) 2 d u N ( 1 ln 2 ) .
Let ω = u B T , then
R N | f ( x ) | 2 ln | f ( x ) | 2 d x R N f M ^ ( ω ) 2 ln | det ( B ) | f M ^ ( ω ) 2 d ω N ( 1 ln 2 ) .
That is,
R N | f ( x ) | 2 ln | f ( x ) | 2 d x R N | f M ^ ( ω ) | 2 ln | f M ^ ( ω ) | 2 d ω N ( 1 ln 2 ) + ln | det ( B ) | R N | f M ^ ( ω ) | 2 d ω .
By Lemma 2,
R N f M ^ ( ω ) 2 d ω = R N | f ( x ) | 2 d x = 1 .
Put (18) into (17), we have
R N | f ( x ) | 2 ln | f ( x ) | 2 d x R N f M ^ ( ω ) 2 ln f M ^ ( ω ) 2 d ω N ( 1 ln 2 ) + ln | det ( B ) | .

4. Concluding Remarks

Our paper mainly studies the UP for the free metaplectic transformation of f L 2 ( R N ) . We first give the relationship between the Fourier transformation and the free metaplectic transformation by Lemmas 1 and 2, then we study the UP for the free metaplectic transformation with seven different forms. In Section 3, we first show that it can not give the exact location in both f and its free metaplectic transformation by Theorem 1. Then we give the Nazarov’s UP, Donoho and Stark’s UP, Hardy’s UP, Beurling’s UP, Logarithmic UP, and Entropic UP in the free metaplectic transformation domain by Theorems 2–8.

Author Contributions

Conceptualization, B.L. and R.L. (Rui Liu); data curation, B.L. and R.L. (Rui Li); formal analysis, B.L and R.L. (Rui Li) and R.L. (Rui Liu); funding acquisition, B.L. and R.L. (Rui Liu); supervision, B.L. and R.L. (Rui Li); writing—original draft, R.J.; writing—review editing, B.L and R.L. (Rui Liu). All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by National Natural Science Foundation of China grant No. 11671214, National Natural Science Foundation of China grant No. 11971348, National Natural Science Foundation of China grant No. 12071230, Natural Science Foundation of Tianjin City grant No. 18JCYBJC16200 and the Natural Science Research Project of Higher Education of Tianjin grant No. 2018KJ148.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

Hilbert-Schmidt Operators. (Grochenig [9])A bounded operator A : H H is called a Hilbert-Schmidt operator if n = 1 A e n H 2 < for some orthonormal basis { e n : n N } of H . The Hilbert-Schmidt norm of A is given by
A H . S . = n = 1 A e n H 2 1 / 2 ,
and this quantity is independent of the choice of the orthonormal basis { e n } . If A is an integral operator with kernel k, that is, A f ( x ) = R d k ( x , y ) f ( y ) d y , then A is Hilbert-Schmidt if and only if k L 2 ( R 2 d ) , and in this case A H . S . = k 2 .

References

  1. Folland, G.B. Harmonic Analysis in Phase Space. Annals of Mathematics Studies; Princeton University Press: Princeton, NJ, USA, 1989; Volume 120. [Google Scholar]
  2. Zhang, Z.C. Unified Wigner-Ville distribution and ambiguity function in the linear canonical transform domain. Signal Process. 2015, 114, 45–60. [Google Scholar] [CrossRef]
  3. Zhang, Z.C. New Wigner distribution and ambiguity function based on the generalized translation in the linear canonical transform domain. Signal Process. 2016, 118, 51–61. [Google Scholar] [CrossRef]
  4. Zhang, Z.C.; Yu, T.; Luo, M.K.; Deng, K. Estimating instantaneous frequency based on phase derivative and linear canonical transform with optimized computational speed. IET Signal Process. 2018, 12, 574–580. [Google Scholar] [CrossRef]
  5. Zhang, Z.C.; Shi, J.; Liu, X.P.; He, L.; Han, M.; Li, Q.Z.; Zhang, N.T. Sampling and reconstruction in arbitrary measurement and approximation spaces associated with linear canonical transform. IEEE Trans. Signal Process. 2016, 64, 6379–6391. [Google Scholar]
  6. de Gosson, M. Symplectic Geometry and Quantum Mechanics; Birkhuser: Basel, Switzerland, 2006. [Google Scholar]
  7. Donoho, D.L.; Stark, P.B. Uncertainty principles and signal recovery. Siam J. Appl. Math. 1989, 49, 906–931. [Google Scholar] [CrossRef]
  8. Ricaud, B.; Torrésani, B. A survey of uncertainty principles and some signal processing applications. Adv. Comput. Math. 2014, 40, 629–650. [Google Scholar] [CrossRef] [Green Version]
  9. Grochenig, K. Foundations of Time-Frequency Analysis. In Applied and Numerical Harmonic Analysis; Birkhäuser: Basel, Switzerland, 2001. [Google Scholar]
  10. Zhang, Q. Zak transform and uncertainty principles associated with the linear canonical transform. IET Signal Process. 2016, 10, 791–797. [Google Scholar] [CrossRef]
  11. Huo, H.Y. Uncertainty Principles for the Offset Linear Canonical Transform. Circuits Syst. Signal Process. 2019, 38, 395–406. [Google Scholar] [CrossRef] [Green Version]
  12. Zhang, Z.C. Uncertainty principle for real functions in free metaplectic transformation domains. J. Fourier Anal. Appl. 2019, 25, 2899–2922. [Google Scholar] [CrossRef]
  13. Zhang, Z.C. N-dimensional Heisenberg’s uncertainty principle for fractional Fourier transform. Physics, Engineering, Mathematics. arXiv Preprint 2019, arXiv:1906.05451. Available online: https://arxiv.org/abs/1906.05451 (accessed on 13 June 2019).
  14. Gordon, E.I.; Kusraev, A.G.; Kutateladze, S.S. Infinitesimal Analysis; Springer Science & Business Media: Cham, Switzerland, 2013. [Google Scholar]
  15. Bohnenblust, H.F.; Sobczyk, A. Extentions of functional on complex linear spaces. Bull. Am. Math. Soc. 1938, 44, 91–93. [Google Scholar] [CrossRef] [Green Version]
  16. Li, Y.G.; Li, B.Z.; Sun, H.F. Uncertainty principles for wigner-ville distributionas-sociated with the linear canonical transforms. Abstr. Appl. Anal. 2014, 2014, 1–9. [Google Scholar]
  17. Nazarov, F.L. Local estimates for exponential polynomials and their applications to inequalities of the uncertainty principle type. Algebra I Anal. 1993, 5, 663–717. [Google Scholar]
  18. Jaming, P. Nazarov’s uncertainty principle in highter dimension. J. Approx. Theory 2007, 149, 30–41. [Google Scholar] [CrossRef] [Green Version]
  19. Hardy, G.H. A theorem concerning Fourier transforms. J. Lond. Math. Soc. 1933, 8, 227–231. [Google Scholar] [CrossRef]
  20. Escauriaza, L.; Kenig, C.E.; Ponce, G.; Vega, L. The sharp Hardy uncertainty principle for Schodinger evolutions. Duke Math. J. 2010, 155, 163–187. [Google Scholar] [CrossRef] [Green Version]
  21. Bonami, A.; Demange, B.; Jaming, P. Hermite functions and uncertainty principles for the Fourier and the windowed Fourier transforms. Rev. Mat. Iberoam. 2003, 19, 23–55. [Google Scholar] [CrossRef] [Green Version]
  22. Bagchi, S.C.; Ray, S.K. Uncertainty principles like Hardy’s theorem on some Lie groups. J. Aust. Math. Soc. 1999, A65, 289–302. [Google Scholar] [CrossRef] [Green Version]
  23. Beckner, W. Pitt’s inequality and the uncertainty principle. Proc. Am. Math. Soc. 1995, 123, 1897–1905. [Google Scholar]
  24. Folland, G.B.; Sitaram, A. The uncertainty principle: A mathematical survey. J. Fourier Anal. Appl. 1997, 3, 207–238. [Google Scholar] [CrossRef]
Table 1. Transition from the free metaplectic transformation (FMT) to various N-dimensional transformation.
Table 1. Transition from the free metaplectic transformation (FMT) to various N-dimensional transformation.
Free Symplectic Matrix M = A B C D Free Metaplectic Transformation
A = ( a k l ) N N , B = ( b k l ) N N , Nonseparable linear canonical transform
C = ( c k l ) N N , D = ( d k l ) N N
A = D = 0 , B = C = I N Fourier transform
A = d i a g ( a 11 , , a N N ) , B = d i a g ( b 11 , , b N N ) , Separable linear canonical transform
C = d i a g ( c 11 , , c N N ) , D = d i a g ( d 11 , , d N N )
A = D = d i a g ( cos θ 1 , , cos θ N ) , Fractional Fourier transform
B = C = d i a g ( sin θ 1 , , sin θ N )
A = D = d i a g ( cosh ϕ 1 , , cosh ϕ N ) , The Lorentz transform
B = C = d i a g ( sinh ϕ 1 , , sinh ϕ N )

Share and Cite

MDPI and ACS Style

Jing, R.; Liu, B.; Li, R.; Liu, R. The N-Dimensional Uncertainty Principle for the Free Metaplectic Transformation. Mathematics 2020, 8, 1685. https://doi.org/10.3390/math8101685

AMA Style

Jing R, Liu B, Li R, Liu R. The N-Dimensional Uncertainty Principle for the Free Metaplectic Transformation. Mathematics. 2020; 8(10):1685. https://doi.org/10.3390/math8101685

Chicago/Turabian Style

Jing, Rui, Bei Liu, Rui Li, and Rui Liu. 2020. "The N-Dimensional Uncertainty Principle for the Free Metaplectic Transformation" Mathematics 8, no. 10: 1685. https://doi.org/10.3390/math8101685

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