arXiv:math/0307356v2 [math.QA] 18 Aug 2003
submited to the Proceedings of the international seminar DAY on DIFFRACTION’ 2003
Generalized coherent states for q-oscillator connected with
q-Hermite Polynomials 1 V.V.Borzov,∗ E.V.Damaskinsky∗∗ St.-Petersburg University of Telecommunications E-mail:
[email protected] ∗
St.-Petersburg University of the Defence Engineering Constructions E-mail:
[email protected]
∗∗
Abstract For the oscillator-like systems, connected with q-Hermite polynomials, coherent states of Barut-Girardello type are defined. The well-known Arik-Coon oscillator naturally arose in the framework of suggested approach as oscillator, connected with the Rogers q-Hermite polynomials, in the same way as usual oscillator with standard Hermite polynomials. The results about the coherent states for discrete q-Hermite polynomials of II type are quite new.
1
Introduction
We consider the oscillator-like systems (or generalized oscillators), connected with q-Hermite polynomials in the same way as usual boson oscillator connected with the standard Hermite polynomials. We define the analogues of coherent states of Barut-Girardello type for these generalized oscillators. One year ago we talked here about GCS connected with classical polynomials. Our approach to such construction is developed in the following papers [1] - [8]. Within of Askey - Wilson scheme [9], [10], we know q-Hermite polynomials of three kind only 1
This research is supported in parts by RFFI grants No 03-01-00837, 03-01-00593.
1
1. The Rogers q-Hermite polynomials Hn (x; q) =
n X k=1
(q; q)n exp {i(n − 2k)θ} , (q; q)k (q; q)n−k
(1)
where x = cos θ, 0 < q < 1 and k Y (q; q)k = (1 − aq s−1 ),
(q; q)∞
s=1
∞ Y = (1 − aq s−1).
(2)
s=1
2. The discrete q-Hermite polynomials of I-type n q −n , x−1 ) ( q; −qx hn (x; q) = q q 2 φ1 0
3. The discrete q-Hermite polynomials of II-type −n , q −n+1 q n 2 −2 ˜ hn (x; q) = x 2 φ1 . q ; −x 0
(3)
(4)
In the first case we get the well-known q-oscillator of Arik - Coon [11]. We want to stress that in this case we obtain these well-known results using a new approach. In the second case, it turned out, that no GCS exist. This is due to the fact, that the radius of convergence for normalizing factor of GCS equals zero. Finally, in the third case we will construct GCS. These results are quite new. Unfortunately, we do not know the measure involved in ”resolution of unity”. So the completeness of GCS has not yet been established. The main results are • We show that our approach to construction of coherent states works in the deformed case as well as in the classical one. • The well-known Arik -Coon oscillator naturally arose in our approach as oscillator connected with the q-Hermite polynomials in the same way as usual oscillator with standard Hermite polynomials.
2 2.1
Coherent states for Rogers q-Hermite polynomials Hn (x; q) and Arik - Coon oscillator q-Oscillator, connected with Hn (x; q)
In the Hilbert space 2
Hq = L ([−1, 1]; dµq (x)) ,
2 (q; q)∞ (e2iθ ; q)∞ √ , dµq (x) = 2π 1 − x2 2
(5)
we consider the orthonormal basis given by Rogers q-Hermite polynomials ϕn (x; q) = (q; q)−1/2 Hn (x; q). n
(6)
The recurrence relations for the polynomials ϕn (x; q) have the form xϕn (x; q) = bn ϕn+1 (x; q)+ bn−1 ϕn−1 (x; q),
ϕ0 (x; q) = 1,
(7)
with coefficients
1p 1 − q n+1 , n ≥ 0, b−1 = 0. (8) 2 We consider Hq as the Fock space for the deformed oscillator defined by the following operators (|ni := ϕn (x; q)) bn =
where
Xq |ni = bn |n + 1i + bn−1 |n − 1i; Pq |ni = i (bn |n + 1i − bn−1 |n − 1i) ; q + + − 12 aq = (1 − q) (Xq − iPq ) , aq |ni = [n + 1]q |n + 1i; q − 21 − a− = (1 − q) (Xq + iPq ) , aq |ni = [n]q |n − 1i, q
(9) (10) (11) (12)
1 − qn 1−q is the ”mathematical” q-number and we consider the case 0 < q < 1. From above relations we obtain + + − a− (13) q aq − qaq aq = 1, [n]q =
which means that we obtain the Arik - Coon oscillator. The polynomials |ni = ϕn (x; q) are eigenfunctions of the Hamiltonian − − + Hq = Xq 2 + Pq 2 = a+ q aq + aq aq ,
λ0 =
4b20 = 1; 1−q
Hq |ni = λn |ni; 4 λn = b2n−1 + b2n = ([n]q + [n + 1]q ) 1−q
(14)
The equation (14) is equivalent to q-difference equation for the Rogers q-Hermite polinomials where
with
(1 − q)Dq [w(x)Dq ϕn (x; q)] + 4q 1−n [n]q w(x)ϕn (x; q) = 0, 2 w(x) = (e2iθ ; q)∞ ,
δq f (x) , δq x
(16)
x = cos θ.
(17)
Dq f (x) := 1
1
δq f (eiθ ) = f (q 2 eiθ ) − f (q − 2 eiθ ),
(15)
The unitary equivalence of the position and the momentum operators is given by a generalization of the Fourier transform. Besides, the Hamiltonian (14) is invariant under generalized Fourier transform as well as in the classical case. Let’s note that from the other point of view the connection of Arik - Coon oscillator with Rogers q-Hermite polynomials was mentioned in [12, 13]. 3
2.2
Generalized Fourier transform for Rogers q-Hermite polynomials
We define Generalized Fourier transform (GFT) related to the orthonormal system {ϕn (x; q)}∞ 0 by the relation Z 1
Fϕ f (y) =
−1
Kϕ (x, y; −i)f (x)µq (x),
(18)
where the Poisson kernel is given by Kϕ (x, y; t) =
∞ X n=0
tn ϕn (x; q)ϕn (y; q) and Kϕ (x, y; −i) = lim Kϕ (x, y; t). t→−i
From q-Mehler formula for Rogers q-Hermite polynomials Hn (x; q) we obtain Kϕ (x, y; t) =
(t2 ; q)∞ . |(te2iθ ; q)∞ (t; q)∞ |2
(19)
It is easily to check, that our definition of GFT conforms with given (from the different considerations) in [14].
2.3
Coherent states for the q-oscillator, connected with Rogers qHermite polynomials Hn (x; q)
The Barut - Girardello coherent states are defined by a− q |zi where 2
N =
= z|zi;
∞ X |z|2n n=0
[n]q !
|zi = N
−1
∞ X Hn (x; q) z n p p , [n]q ! (q; q)n n=0
= e˜q ((1 − q)|z|2 );
R= √
1 . 1−q
(20)
(21)
Here R is the radius of convergence and by definition e˜q (x) :=
∞ X n=0
xn . (q; q)n
(22)
(Let’s note that we reserve the notation eq (x) for slightly different definition of q-exponential function ∞ X xn eq (x) := = e˜q ((1 − q)x), (23) [n] ! q n=0 which is more customary for quantum groups theory.)
4
Using the generation function for the Rogers q-Hermite polinomials, from (20) we obtain √ √ eq (e−iθ 1 − qz) e˜q (eiθ 1 − qz)˜ p . (24) |zi = e˜q ((1 − q)|z|2 )
The overlap of two coherent states is given by
hz1 |z2 iq = e˜q ((1 − q)¯ z1 z2 ). To prove ”resolution of identity” property Z Z |ziq hz|dµ(|z|2 ) = I, dµ(|z|2 ) = W (|z|2 )d(Rez)d(Im z),
(25)
(26)
C1/(1−q)
which means that the set of coherent states is complete (really, over complete) we must solve the moment problem Z 1/(1−q) [n]q ! W (t) dt = . (27) tn 2 N π 0 Its solution is given by the distribution ∞ 1 − q X N 2t qk W (t) = , (28) δ t− π k=0 eq (qt) 1−q which can be obtained from the relation ([11]): Z 1/(1−q) In (q) = eq −1 (qx) xn dq x = [n]q !,
(29)
0
where In (q) is the so-called Jackson integral Z
0
a
f (x)dq x := a(1 − q)
∞ X
q k f (q k a).
(30)
k=0
Thus the measure in (26) is given by ∞ 1 − q X N 2|z|2 qk 2 dµ(|z| ) = d2 z δ |z| − 2 π k=0 eq (q|z| ) 1−q ∞ 1 − q X |z|2 eq (|z|2 ) qk 2 = d2 z. δ |z| − π k=0 eq (q|z|2 ) 1−q 2
(31)
For the completeness we give the simple proof of the essential relation (29). It is well known that for q-derivative defined as d dx q
f (x) =
f (x) − f (qx) , x(1 − q) 5
(32)
one has (and easily verified) d
xn = [n]q xn−1 ,
dx q
From the Leibnitz relation for q-derivative d (u(x)v(x)) = u(x) dx q
d dx q
d dx q
eq (x) = eq (x) .
v(x) + v(qx)
d dx q
u(x) ,
it follows the integration by parts rule for the Jackson integral in the form Z a Z a a d d d v(qx) dx u(x) dx q v(x)dq x = dx q (u(x)v(x)) − u(x)dq x. q 0
0
(33)
(34)
(35)
0
By differentiating the identity eq (x) · eq−1 (x) = 1 one obtains −1 d e (x) = −eq−1 (qx) . dx q q
(36)
Using this relation and integrating by parts the Jackson integral In (q) (29) we have In (q) =
Z
1 1−q
n
=x
x
0
n
−
−
d dx q
d
eq−1 (x)
e −1 (x) dx q q
1 1−q
dq x =
+
0
Z
1 1−q
0
eq−1 (qx)
d dx q
xn dq x .
(37)
1 In view of the relation eq−1 ( 1−q ) = 0 one gets from (37) the recurrent relation
In (q) = [n]q In−1 (q) ,
n ≥ 1,
(38)
so that In (q) = [n]q ! I0 (q) .
(39)
which gives the relation (29), because I0 (q) =
Z
0
1 1−q
1 1−q
eq−1 (qx)dq x = −eq−1 (x)
0
= eq−1 (0) = 1.
(40)
Let us note that over completeness of this coherent states was considered from another point of view, for example in [15].
3 3.1
Coherent states for discrete q-Hermite polynomials II Discrete q-Hermite polynomials II
The discrete q-Hermite polynomials of II-type are defined by q −n , q −n+1 2 n ˜ n (x; q) = x 2 φ1 q ; −x−2 , h 0
6
(41)
where 2 φ1
∞ X (a; q)k (b; q)k z k q; z = . c (c; q) (q; q) k k k=0
a, b
(42)
These polynomials fulfill the following orthogonality condition
∞ h i X k k k k ˜ ˜ ˜ ˜ hm (cq ; q)hn (cq ; q)+ hm (−cq ; q)hn (−cq ; q) w(cq k )q k = 0, c(1−q)
(43)
k=−∞
where m 6= n, w(x) = [(ix; q)∞ (−ix; q)∞ ]−1 and c > 0. We denote by H the Hilbert space, spanned by the set of discrete q-Hermite polynomials of II-type. The orthonormal polynomials 1
˜ n (x; q)q 21 n2 (q; q)n − 2 , ψn (x; q) = h
(44)
form the basis in H and fulfill the recurrence relation xψn (x; q) = bn ψn+1 (x; q) + bn−1 ψn−1 (x; q); where
1
bn = q −n− 2
3.2
p
1 − q n+1 ,
n ≥ 0;
ψ0 (x; q) = 1, b−1 = 0.
(45) (46)
Deformed oscillator connected with discrete q-Hermite polynomials II
We consider Hq as the Fock space for a deformed oscillator defined by the following operators (|ni := ψn (x; q)) Xq |ni = bn |n + 1i + bn−1 |n − 1i; Pq |ni = i (bn |n + 1i − bn−1 |n − 1i) ; r r 1 q q + + aq = (Xq − iPq ) , aq |ni = bn |n + 1i; 2 1−q 1−q r r q q 1 − − (Xq + iPq ) , aq |ni = bn−1 |n − 1i, aq = 2 1−q 1−q
N|ni = n|ni; where [n]q =
1−q n 1−q
+ −2N a− [N + I]q ; q aq = q
− −2N +2I a+ [N]q ; q aq = q
(47) (48) (49) (50) (51)
is the ”mathematical” q-number. From the above relations we obtain + −1 + − −2N a− , q aq − q aq aq = q
+ −2 + − −N or a− . q aq − q aq aq = q
(52)
The polynomials |ni = ϕn (x; q) are eigenfunctions of the Hamiltonian 1 q − − + Xq 2 + Pq 2 = a+ q aq + aq aq , 21−q Hq |ni = λn |ni; −2n λn = q [n + 1]q + q 2−2n [n]q , n ≥ 0.
Hq =
7
(53) (54) (55)
The equation (54) is equivalent to q-difference equation for the discrete q-Hermite polynomials II ˜ n (x; q) = −(1 − q n )x2 h ˜ n (x − i; q) − (1 + q + x2 )h ˜ n (x; q) + (1 + x2 )h ˜ n (x + i; q). = qh
3.3
(56) (57)
˜ n (x; q) Coherent states for the q-oscillator, connected with h
The Barut - Girardello coherent states are defined by a− q |zi = z|zi; where 2
N =
|zi = N
−1
n ∞ X 1−q n=0
q
∞ X n=0
qn
2
1
(q(1 − q)) 2 n q n
2 −n
˜ n (x; q) h
z 2n ≡ ǫb (z 2 ); (q; q)n
zn , (q; q)n
R = ∞.
(58)
(59)
Using the generation function for the for the discrete q-Hermite polynomials II, from ( [10]) we obtain p ix 1 p √ |zi = i q(1 − q)z; q q; −i q(1 − q)z , (60) 1 φ1 i q(1−q)z ∞ ǫb (z 2 ) where
X ∞ a (a; q)k z k . q; z = 1 φ1 b (b; q)k (q; q)k k=0
(61)
Acknowledgements This research was supported by RFFI grants No 03-01-00837, 03-01-00593
References [1] V.V.Borzov, E.V.Damaskinsky, P.P.Kulish, Construction of the spectral measure for deformed oscillator position operator in the case of undetermined Hamburger moment problem, Reviews Math.Phys., 12, pp.691–710 (2001); (math.QA/9803089). [2] V.V.Borzov, Orthogonal polynomials and generalized oscillator algebras, Integral Transforms and Special Functions, 12, pp.115–138 (2001); (math.CA/0002226). [3] V.V.Borzov, E.V.Damaskinsky, Realization of the annihilation operator for an oscillatorlike system by a differential operator and Hermite-Chihara polynomials, Integral Transforms and Special Functions, 13, pp.1–8 (2002); (math.QA/0101215). 8
[4] V.V.Borzov, E.V.Damaskinsky, Coherent states for Legendre oscillator, ZNS POMI, 285, pp.35–51 (2002) (in Russian); (English translation in math.QA/0307187). [5] V.V.Borzov, E.V.Damaskinsky, Generalized Coherent states for Classical Orthogonal Polynomials, Day on Diffraction 2002, SPb 2002; (math.QA/0209181).. [6] V.V.Borzov, E.V.Damaskinsky, Coherent states and Chebyshev polynomials, in Proc. of the international conference Mathematical ideas of P.L.Chebyshev and their applications to the contemporary problems of natural science, Obninsk, 2002, (in Russian); (English translation in quant-ph/0307133). [7] V.V.Borzov, E.V.Damaskinsky, Barut-Girardello Coherent states for Gegenbauer oscillator, ZNS POMI, 291, pp.43–63 (2002), (in Russian). [8] V.V.Borzov, E.V.Damaskinsky, Generalized Coherent states: A Novel Approach, ZNS POMI, 300, pp.65–70 (2003). [9] R.A.Askey, A.W.Wilson, Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials Mem.Amer.Math.Soc, 54, no.319, pp.1–55 (1985). [10] R.Koekoek, R.F.Swarttouw, The Askey sheme of hypergeometric orthogonal polynomials and its q-analogue Report no. 94-05, Delft University of Technology, 1994, (math.CA/9602214). [11] M.Arik, D.D.Coon, Hilbert space of analytic function and generalized coherent states, J.Math.Phys., 17, 524, (1976). [12] A.J.Macfarlane, On q-analogues of the quantum harmonic oscillator and the quantum group suq (2), J.Phys.A. 22, 4581 (1989) [13] R.Floreanini, J.Le Tourneaux, L.Vinet, More on the q-oscillator algebra and q-orthogonal polynomials J.Phys.A., 28, no.10, L287-294 (1994), (preprint CRM-2248). [14] R.Askey, N.M.Atakishiyev, S.K.Suslov, An analogue of Fourier transform for a q-harmonic oscillator, pp.57–63, In: Symmetries in Science: Spectrum Generating Algebras and Dynamics in Physics, ed. by B.Gruber, Plenum, New York (1993); (math.CA/9307205). [15] A.M.Perelomov, On the Completness of some Subsystems of q-deformed Coherent states, Helv.Phys.Acta, 68, 554 (1996); (math.QA/9607006).
9