HEISENBERG UNCERTAINTY PRINCIPLES FOR SOME q 2-ANALOGUE FOURIER TRANSFORMS q-Heisenberg Uncertainty Principles WAFA BINOUS Institut De Bio-technologie de Béjà Béjà, Tunisia. EMail: wafabinous@yahoo.fr Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page Contents Received: 07 December, 2007 Accepted: 20 May, 2008 JJ II Communicated by: S.S. Dragomir J I 2000 AMS Sub. Class.: 33D15, 26D10, 26D15. Key words: Heisenberg inequality, q-Fourier transforms. Abstract: The aim of this paper is to state q-analogues of the Heisenberg uncertainty principles for some q 2 -analogue Fourier transforms introduced and studied in [7, 8]. Page 1 of 12 Go Back Full Screen Close Contents 1 Introduction 3 2 Notations and Preliminaries 4 3 q-Analogue of the Heisenberg Uncertainly Principle 9 q-Heisenberg Uncertainty Principles Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page Contents JJ II J I Page 2 of 12 Go Back Full Screen Close 1. Introduction One of the most famous uncertainty principles is the so-called Heisenberg uncertainty principle. With the use of an inequality involving a function and its Fourier transform, it states that in classical Fourier analysis it is impossible to find a function f that is arbitrarily well localized together with its Fourier transform fb. In this paper, we will prove that similar to the classical theory, a non-zero function and its q 2 -analogue Fourier transform (see [7, 8]) cannot both be sharply localized. For this purpose we will prove a q-analogue of the Heisenberg uncertainly principle. This paper is organized as follows: in Section 2, some notations, results and definitions from the theory of the q 2 -analogue Fourier transform are presented. All of these results can be found in [7] and [8]. In Section 3, q-analogues of the Heisenberg uncertainly principle are stated. q-Heisenberg Uncertainty Principles Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page Contents JJ II J I Page 3 of 12 Go Back Full Screen Close 2. Notations and Preliminaries Throughout this paper, we will follow the notations of [7, 8]. We fix q ∈]0, 1[ such that Log(1−q) ∈ 2Z. For the definitions, notations and properties of the q-shifted Log(q) factorials and the q-hypergeometric functions, refer to the book by G. Gasper and M. Rahman [3]. Define Rq = {±q n : n ∈ Z} and Rq,+ = {q n : n ∈ Z}. We also denote q-Heisenberg Uncertainty Principles Wafa Binous vol. 9, iss. 2, art. 47, 2008 x [x]q = (2.1) 1−q , 1−q x∈C Title Page and Contents [n]q ! = (2.2) (q; q)n , (1 − q)n n ∈ N. The q 2 -analogue differential operator (see [8]) is −1 (2.3) ∂q (f )(z) = JJ II J I Page 4 of 12 −1 f (q z) + f (−q z) − f (qz) + f (−qz) − 2f (−z) . 2(1 − q)z Go Back Full Screen We remark that if f is differentiable at z, then limq→1 ∂q (f )(z) = f 0 (z). ∂q is closely related to the classical q-derivative operators studied in [3, 5]. The q-trigonometric functions q-cosine and q-sine are defined by (see [7, 8]): (2.4) cos(x; q 2 ) = ∞ X n=0 (−1)n q n(n+1) x2n [2n]q ! Close and 2 sin(x; q ) = (2.5) ∞ X (−1)n q n(n+1) n=0 x2n+1 . [2n + 1]q ! These functions induce a ∂q -adapted q 2 -analogue exponential function by e(z; q 2 ) = cos(−iz; q 2 ) + i sin(−iz; q 2 ). (2.6) e(z; q 2 ) is absolutely convergent for all z in the plane since both of its component functions are absolutely convergent. limq→1− e(z; q 2 ) = ez (exponential function) pointwise and uniformly on compacta. The q-Jackson integrals are defined by (see [4]) Z ∞ ∞ X (2.7) f (x)dq x = (1 − q) {f (q n ) + f (−q n )} q n −∞ n=−∞ and Z ∞ f (x)dq x = (1 − q) (2.8) 0 ∞ X n vol. 9, iss. 2, art. 47, 2008 Title Page Contents JJ II J I q f (q ), Page 5 of 12 n=−∞ −∞ ( Lpq (Rq,+ ) = Wafa Binous n provided that the sums converge absolutely. Using these q-integrals, we define for p > 0, ) ( Z ∞ p1 (2.9) Lpq (Rq ) = f : kf kp,q = |f (x)|p dq x <∞ , (2.10) q-Heisenberg Uncertainty Principles Z f: 0 ∞ |f (x)|p dq x p1 ) <∞ Go Back Full Screen Close and ( (2.11) L∞ q (Rq ) ) f : kf k∞,q = sup |f (x)| < ∞ . = x∈Rq The following result can be verified by direct computation. R∞ Lemma 2.1. If −∞ f (t)dq t exists, then R∞ R∞ 1. for all integers n, −∞ f (q n t)dq t = q −n −∞ f (t)dq t; R∞ 2. f odd implies that −∞ f (t)dq t = 0; R∞ R∞ 3. f even implies that −∞ f (t)dq t = 2 0 f (t)dq t. q-Heisenberg Uncertainty Principles Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page The following lemma lists some useful computational properties of ∂q , and reflects the sensitivity of this operator to the parity of its argument. The proof is straightforward. Lemma 2.2. Contents JJ II J I Page 6 of 12 1. If f is odd ∂q f (z) = f (z)−f (qz) (1−q)z and if f is even ∂q f (z) = f (q −1 z)−f (z) . (1−q)z 2. We have ∂q sin(x; q 2 ) = cos(x; q 2 ), ∂q cos(x; q 2 ) = − sin(x; q 2 ) and ∂q e(x; q 2 ) = e(x; q 2 ). 3. If f and g are both odd, then z z z −1 ∂q (f g)(z) = q (∂q f ) g(z) + q f (∂q g) . q q q −1 Go Back Full Screen Close 4. If f is odd and g is even, then ∂q (f g)(z) = (∂q f ) (z) g(z) + qf (qz) (∂q g) (qz) . 5. If f and g are both even, then z ∂q (f g)(z) = (∂q f )(z)g + f (z) (∂q g) (z) . q The following simple result, giving a q-analogue of the integration by parts theorem, can be verified by direct calculation. R∞ Lemma 2.3. If −∞ (∂q f )(x)g(x)dq x exists, then Z ∞ Z ∞ (2.12) (∂q f )(x)g(x)dq x = − f (x)(∂q g)(x)dq x. −∞ Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page −∞ With the use of the q-Gamma function (q; q)∞ Γq (x) = x (1 − q)1−x , (q ; q)∞ R.L. Rubin defined in [8] the q 2 -analogue Fourier transform as Z ∞ 2 b (2.13) f (x; q ) = K f (t)e(−itx; q 2 )dq t, −∞ 1 where K = q-Heisenberg Uncertainty Principles Contents JJ II J I Page 7 of 12 Go Back Full Screen Close (1+q) 2 . 2Γq2 ( 12 ) 2 We define the q -analogue Fourier-cosine and Fourier-sine transform as (see [2] and [6]) Z ∞ (2.14) Fq (f )(x) = 2K f (t) cos(xt; q 2 )dq t 0 and ∞ Z (2.15) q F(f )(x) f (t) sin(xt; q 2 )dq t. = 2K 0 Observe that if f is even then fb(·; q 2 ) = Fq and if f is odd then fb(·; q 2 ) =q F. It was shown in [8] that we have the following theorem. q-Heisenberg Uncertainty Principles Theorem 2.4. Wafa Binous 1. If f (u), uf (u) ∈ L1q (Rq ), then ∂q fb (x; q 2 ) = (−iuf (u))b(x; q 2 ). vol. 9, iss. 2, art. 47, 2008 2. If f, ∂q f ∈ L1q (Rq ), then (∂q f ) b(x; q 2 ) = ixfb (x; q 2 ) Title Page 3. For f ∈ L2q (Rq ), kfb (.; q 2 )k2,q = kf k2,q . Contents JJ II J I Page 8 of 12 Go Back Full Screen Close 3. q-Analogue of the Heisenberg Uncertainly Principle For a function f defined on Rq , we denote by f0 and fe its odd and even parts respectively. Let us begin with the following theorem. Theorem 3.1. If f , xf and xfb(x; q 2 ) are in L2q (Rq ), then h i 3 3 (3.1) kf k22,q ≤ kxfb(x; q 2 )k2,q q 1 + q − 2 kxfo k2,q + 1 + q 2 kxfe k2,q . Proof. Using the properties of the q 2 -analogue differential operator ∂q , the properties of the q-integrals, the Hölder inequality and Theorem 2.4, we can see that Z ∞ x∂ (f f )(x)d x q q −∞ Z ∞ = x qf 0 (x) + f e (q −1 x) (∂q f )(x)dq x −∞ Z ∞ + x (qf0 (qx) + fe (x)) (∂q f )(x)dq x −∞ Z ∞ Z ∞ ≤q |xf0 (x)||∂q f (x)|dq x + |xfe (q −1 x)||∂q f (x)|dq x −∞ −∞ Z ∞ Z ∞ + |xfe (x)||∂q f (x)|dq x + q |xf0 (x)||∂q f (x)|dq x −∞ −∞ " Z 1 Z 1 ∞ |xfo (x)|2 dq x ≤ k∂q f k2,q q ∞ 2 |xfe (q −1 x)|2 dq x + −∞ Z ∞ + −∞ |xfe (x)|2 dq x −∞ 12 Z ∞ +q −∞ |xfo (qx)|2 dq x 12 # 2 q-Heisenberg Uncertainty Principles Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page Contents JJ II J I Page 9 of 12 Go Back Full Screen Close i h 3 − 32 b 2 = kxf k2,q q 1 + q kxfo k2,q + 1 + q kxfe k2,q . On the other hand, using the q-integration by parts theorem, we obtain Z ∞ Z ∞ x∂q (f f )(x)dq x = − |f (x)|2 dq x = −kf k22,q , −∞ −∞ q-Heisenberg Uncertainty Principles which completes the proof. Wafa Binous Corollary 3.2. If f , xf and xfb are in L2q (Rq ), then (3.2) kxf k2,q kxfb(x; q 2 )k2,q ≥ vol. 9, iss. 2, art. 47, 2008 1 q − 12 +1+q+q 3 2 kf k22,q . Proof. The properties of the q-integral imply Z ∞ 2 kxf k2,q = x2 (fo (x) + fe (x)) f o (x) + f e (x) dq x Z−∞ Z ∞ ∞ 2 = x fo (x)f o (x)dq x + x2 fe (x)f e (x)dq x −∞ Title Page Contents JJ II J I Page 10 of 12 −∞ = kxfo k22,q + kxfe k22,q . So, kxfo k2,q ≤ kxf k2,q and kxfe k2,q ≤ kxf k2,q . These inequalities together with the previous theorem give the desired result. Go Back Full Screen Close Corollary 3.3. 1. If f , xf and xFq are in L2q (Rq,+ ), then Z ∞ 2 2 12 Z 0 2 2 x |f (x)| dq x (3.3) 12 ∞ x |Fq (x)| dq x 0 ≥ Z 1 1+q 3 2 ∞ |f (x)|2 dq x. 0 Wafa Binous 2. If f , xf and x q F are in L2q (Rq,+ ), then Z ∞ 2 2 12 Z x |f (x)| dq x (3.4) 0 q-Heisenberg Uncertainty Principles vol. 9, iss. 2, art. 47, 2008 ∞ x2 | q F(x)|2 dq x 12 Title Page 0 ≥ Z 1 q 1+q − 32 ∞ Contents |f (x)|2 dq x. 0 Proof. The proof is a simple application of the previous theorem on taking g(x) = f (x) if x is positive and g(x) = f (−x) (resp. g(x) = −f (−x)) if not in the first case (resp. second case). Remark 1. Corollary 3.2 gives a q-analogue of the Heisenberg uncertainty principle for the q 2 -analogue Fourier transform fb(·; q 2 ). Remark 2. Corollary 3.3 gives a q-analogue of the Heisenberg uncertainty principles for the q 2 -analogue Fourier-cosine and Fourier-sine transforms. These inequalities are slightly different from those given in [1]. This is due to the related q-analogue of special functions used. Remark 3. Note that when q tends to 1, these inequalities tend at least formally to the corresponding classical ones. JJ II J I Page 11 of 12 Go Back Full Screen Close References [1] N. BETTAIBI, A. FITOUHI AND W. BINOUS, Uncertainty principle for the q-trigonometric Fourier transforms, Math. Sci. Res. J., 11(7) (2007), 469–479. [2] F. BOUZEFFOUR, q-Cosine Fourier Transform and q-Heat Equation, Ramanujan Journal. [3] G. GASPER AND M. RAHMAN, Basic Hypergeometric Series, Encyclopedia of Mathematics and its Applications, Vol. 35, Cambridge Univ. Press, Cambridge, UK, 1990. [4] F.H. JACKSON, On a q-definite integrals, Quarterly Journal of Pure and Applied Mathematics, 41 (1910), 193-203. [5] V.G. KAC AND P. CHEUNG, Quantum Calculus, Universitext, Springer-Verlag, New York, (2002). [6] T.H. KOORNWINDER AND R.F. SWARTTOUW, On q-analogues of the Fourier and Hankel transforms, Trans. Amer. Math. Soc., 333 (1992), 445–461. 2 q-Heisenberg Uncertainty Principles Wafa Binous vol. 9, iss. 2, art. 47, 2008 Title Page Contents JJ II J I Page 12 of 12 2 [7] R.L. RUBIN, A q -Analogue Operator for q -analogue Fourier Analysis, J. Math. Analys. App., 212 (1997), 571–582. [8] R.L. RUBIN, Duhamel Solutions of non-Homogenous q 2 -Analogue Wave Equations, Proc. of Amer. Math. Soc., 135(3) (2007), 777–785. Go Back Full Screen Close