arxiv:math/ v1 [math.ca] 9 Jul 1993

Transcription

1 The q-harmonic Oscillator and the Al-Salam and Carlitz polynomials Dedicated to the Memory of Professor Ya. A. Smorodinskiĭ R. Askey and S. K. Suslov arxiv:math/ v1 [math.ca] 9 Jul 1993 Abstract. One more model of a q-harmonic oscillator based on the q- orthogonal polynomials of Al-Salam and Carlitz is discussed. The explicit form of q-creation and q-annihilation operators, q-coherent states and an analog of the Fourier transformation are established. A connection of the kernel of this transform with a family of self-dual biorthogonal rational functions is observed. Introduction Recent development in quantum groups has led to the so-called q-harmonic oscillators see, for example, Refs. [1 7] ). Presently known models of q-oscillators are closely related with q-orthogonal polynomials. The q-analogs of boson operators have been introduced explicitly in Refs. [3], [5] and [7], where the corresponding wave functions were constructed in terms of the continuous q-hermite polynomials of Rogers [8,9], in terms of the Stieltjes Wigert polynomials [10,11] and in terms of q-charlier polynomials of Al- Salam and Carlitz [12], respectively. The model related to the Rogers Szegö polynomials [13] was investigated in [1,6]. Here we introduce the explicit realization of q-creation and q-annihilation operators with the aid of another family of the Al-Salam and Carlitz polynomials [12] when eigenvalues of the corresponding q-hamiltonian are unbounded. An attempt to unify q-boson operators is also made. With a great deal of regret we dedicate this paper to the memory of Yacob A. Smorodinskiĭ, who suggested ten years ago that the special case q = 1 of this work is interesting and admits a generalization. 1. The Al-Salam and Carlitz Polynomials The aim of this Letter is to show that the q-orthogonal polynomials U n a) x; q) studied by Al-Salam and Carlitz are closely connected with the q-harmonic oscillator. To emphasize these relations we use the notation u µ nx; q) = µ n q nn)/2 U n ) x; q) for the Al-Salam and Carlitz polynomials. In our notation they can be defined by the three-term recurrence relation of the form µq n u µ n+1 x; q) + 1 qn ) u µ n x; q) = x 1 µ)qn ) u µ nx; q), 1) u µ 0 x; q) = 1, uµ 1 x; q) = µ x 1 + µ). These polynomials are orthogonal 1 u µ m x; q) uµ n x; q) dαx) = 1 + µ)q nn)/2 q; q) n µ n δ mn 2) Department of Mathematics, University of Wisconsin, Madison, WI 53706, USA Russian Scientific Center Kurchatov Institute, Moscow , Russia 1

2 with respect to a positive measure dαx), where αx) is a step function with jumps q k qµ; q) q, q/µ; q) k at the points x = q k, k = 0, 1,..., and jumps µq k q/µ; q) q, qµ; q) k at the points x = q k, k = 0, 1,... see, for example, [12,14,15] ). Here the usual notations are n a; q) n = 1 aq k ), k=0 a, b; q) n = a; q) n b; q) n, 3) a; q) = lim n a; q) n. The orthogonality relation 2) can also be written in terms of the q-integral of Jackson, where and 1 u µ mx; q) u µ nx; q) ρx) d q x = 1 q)d 2 n δ mn, 4) ρx) = qx, qx; q) q,, q/µ; q) ; µ > 0, 0 < q < 1 5) d 2 n = q nn)/2 q; q) n µ n. 6) For the definition of the q-integral, see [15]. The weight function ρs) = ρx) in 5) is a solution of the Pearson-type equation σρ) = ρτ x 1 with xs) = q s, σs) = 1 q s )µ + q s ) and σs)+τs) x 1 s) = µ. The polynomials y n s) = u µ nx; q) satisfy the hypergeometric-type difference equation in self-adjoint form, where [ σs) ρs) y ] ns) + λ n ρs) y n s) = 0, x 1 s) xs) λ n = q 3/2 q n 1 1 q) 2. Here fs) = fs + 1) fs) = fs + 1) and x 1 s) = xs + 1/2). For details, see [16 19]. ) The orthogonality property 2) or 4) can be proved by using standard Sturm Liouville-type arguments cf. [16 19]). 2

3 The explicit form of the polynomials u µ nx; q) is u µ nx; q) = 2 ϕ 1 q n, x ; 0 ; q, q µ x ) 7) = ) n 2ϕ 1 q n, x ; 0 ; q, qx), x = q s. It means u µ nx; q) = ) n u 1/µ n x; q). In the limit q 1 it easy to see from 1) or 7) that lim q 1 u1 q)µ n q s ; q) = 2 F 0 n, s; ; /µ) = c µ n s), 8) where c µ nx) are the Charlier polynomials. 2. Model of q-harmonic Oscillator The Al-Salam and Carlitz polynomials u µ nx; q) allow us to consider an interesting model of a q-oscillator cf. [7] ). We can introduce a q-version of the wave functions of the harmonic oscillator as ψ n s) = ψ n x) = d n ρx) x )1/2 u µ n x; q), x = qs, 9) where ρx) and d 2 n are defined in 5) and 6), respectively. These q-wave functions satisfy the orthogonality relation 1 q) 1 ψ n x) ψ m x) x d q x = δ nm, 10) which is equivalent to 2) and 4). The q-annihilation b and q-creation b + operators have the following explicit form b = 1 q) 2 b + = 1 q) 2 [ µ 1 2 q s ] 1 q s+1 )µq + q s )q s e s, [ µ 1 2 q s e s 1 q s+1 )µq + q s ) q s], 11) where s d ds, eα s fs) = fs + α). These operators are adjoint, b + ψ, χ) = ψ, bχ), with respect to the scalar product 10). They satisfy the q-commutation rule and act on the q-wave functions defined in 9) by b b + q b + b = 1 12) b ψ n = ẽ 1/2 n ψ n, b + ψ n = ẽ 1/2 n+1 ψ n+1, 13) 3

4 where ẽ n = 1 q n 1 q. The q-hamiltonian H = b + b acts on the wave functions 9) as and has the following explicit form Hψ n = ẽ n ψ n 15) H = 1 q) [ µq 2s + 1 q s )µ + q s ) q 1 2s 16) µ 1 2 q 2s 1 q s+1 )µq + q s )e s µ 1 2 q 2 2s 1 q s )µq + q s )e s ]. By factorizing the Hamiltonian or the difference equation for the Al-Salam and Carlitz polynomials ) we arrive at the explicit form 11) for the q-boson operators. The equations 13) are equivalent to the following difference-differentiation formulas µq s u µ nx; q) = 1 q n ) u µ n x; q), q s [ ρs) u µ n x; q) ] = ρs) uµ n+1 x; q), respectively. Therefore, the main properties of the Al-Salam and Carlitz polynomials admit a simple group-theoretical interpretation in terms of the q-heisenberg Weyl algebra 12). The symmetric case µ = 1 in the above formulas corresponds to the discrete q-hermite polynomials H n x; q) [12,15]. 3. The q-coherent States For the model of the q-oscillator under discussion, by analogy with [7] we can construct explicitly the q-coherent states α defined by where By using 9) one can obtain α = f α ρ q s ) 1 2 b α =α α, 17) α n ψ n s) α =f α, α α = 1, ẽ n!) 1/2 ẽ n! =ẽ 1 ẽ 2...ẽ n = q nn)/2 q; q) n 1 q) n, f α = q) α 2 ; q ) /2. u µ nx; q) q nn)/2 t n, t = αµ q) 2. 18) q; q) n 4

5 With the aid of the Brenke-type generating function [12,14] for the Al-Salam and Carlitz polynomials, u µ t n n x; q) qnn)/2 = t, t/µ; q), q; q) n xt/µ; q) t x µ < 1, 19) we arrive at the following explicit form for the q-coherent states α = f α ρ q s ) 1 2 α1 q) 1/2 µ 1/2, α1 q) 1/2 µ /2 ; q ) α1 q) 1/2 µ /2 q s ; q ), 20) where ρs) = q 1+s, q 1+s ; q) /q,, q/µ; q) nfty. These coherent states are not orthogonal q)α β ; q) α β =, q) α 2, q) β 2 ; q) 1/2 where denotes the complex conjugate. 4. Analog of the Fourier Transformation To define an analog of the Fourier transform we begin, in the spirit of Wiener s approach to the classical Fourier transform [20] see also [7,21,22] ), by deriving the kernel of the form K t x, y) = t n ψn x) ψ n y) 21) = ρx) ρy) xy ) 1 2 u µ nx; q) u µ nn)/2 µt)n ny; q) q. q; q) n The series can be summed with the aid of the bilinear generating function of Al-Salam and Carlitz [12] u µ 1 n x; q) u µ 2 n y; q) q nn)/2 t n = t, t/µ 1, t/µ 2 ; q) q; q) n tx/µ 1, ty/µ 2 ; q) 3ϕ 2 x, y, qt qµ 1 tx), qµ 2 ty) ; q, q the 3 ϕ 2 -series is terminating and max t/µ 1, t/µ 2 ) < 1 ). The answer is K t x, y) = ρx) ρy) xy ) 1 t, t, t ; q) 2 x, y, qµt) ) 3ϕ 2 tx, ty ; q) qtx), qty) ; q, q ; ) 22) 23) = ρx) ρy) xy ) 1 t, t, t ; q) 2 x, y, qµt ) tx, 3ϕ 2 ty ; q) qµtx) ; q, q, qµty) at x = q s and at x = q s for s = 0, 1,..., respectively. 5

6 In view of 10) and 21), t m ψm x) = 1 q) 1 K t x, y) ψ m y) y d q y. 24) Letting t = i, we find that the q-wave functions 9) are eigenfunctions of the following q-fourier transform, i m ψm x) = 1 q) 1 An easy corollary of 21) or 24) is 1 q) 1 K i x, y) ψ m y) y d q y. 25) K t x, y) K t x, y) y d q y = K tt x, x ). 26) Putting t = t = i, we obtain the orthogonality relation of the kernel, 1 q) 1 K i x, y) K i x, y) y d q y = δ xx, 27) which implies the orthogonality of the rational functions 23) and leads to an inversion formula for the q-transformation 25). In view of 8), in the limit q 1 we get one of the discrete Fourier transforms considered in [21]. 5. Some Biorthogonal Rational Functions The rational functions 23) have appeared as the kernel of the discrete q-fourier transform 25). They admit the following extension. With the aid of the bilinear generating function 22) and the orthogonality property of a special case of the q-meixner polynomials, which are dual to the polynomials 7), we obtain the biorthogonality relation, 1 2 ux, y) vx, y) ρy) d q y = 1 q) d 2 x δ xx, 28) for the 3 ϕ 2 -rational functions of the form x, y, qt ) 1 ux, y) = 3 ϕ 2 qµ 1 t 1 x) ; q, q ;, qµ 2 t 1 y) = 3 ϕ 2 1 x, 2 y, qt 2 qt 2 x, qt 2 y at x = q s and at x = 1 q s for s = 0, 1,..., respectively, and ) ; q, q 29) vx, y) = ux, y) t1 t 2 ; t 1 t 2 = µ 1 µ 2. 30) 6

7 Here, ρy) = = qy, 2 qy ; q) t1 µ 2 y, t 2µ 2 y ; q) qy, 2 qy ; q) t 1 y, t 2 y ; q) at x, x = {q s ; s = 0, 1,... } and at x, x = { 1 q s ; s = 0, 1,... }, respectively; ; ρy) = = qy, 2 qy ; q) t1 µ 2 y, t 1 y ; q) ; qy, 2 qy ; q) t 2 y, t 2µ 2 y ; q) at x, x = {q s, 1 q s } and vice versa, respectively. The squared norm is d 2 x = = q, q, 1, 2, qµ 1, qµ 2 ; q) t1 µ 1 t1, t 2, t 1 µ 1, t 2µ 1, t 1µ 2, t 2µ 2 ; q) x, t 2µ 1 x; q) qx, 1 qx ; q) x ; q, q, 1, 2, qµ 1, qµ 2 ; q) t 1 x, t t 1, t 2, µ 1t 1, µ 1t2, µ 2t 1, µ 2t 2 ; q) qx, 2 x; q) 1 qx ; q) x for x = q s and for x = 1 q s, respectively. The functions 29) 30) are self-dual and belong to classical biorthogonal rational functions [23 27]. It is interesting to compare the biorthogonality relation 28) with the orthogonality property for the big q-jacobi polynomials [28], which live at the same terminating 3 ϕ 2 -level. 6. Concluding Remarks In view of 11), it is natural to introduce operators of the form a = αs) βs) e, a + = αs) e βs) with two arbitrary functions αs) and βs) and to satisfy the commutation rule a a + qa + a = 1. The result is αs + 1) = qαs), 1 q)α 2 s) + β 2 s) qβ 2 s 1) = 1 and we can choose αs) = εq s and β 2 s) = ε 2 q s+1 γ)q s δ) with 1 q)γδε 2 = 1. Since a + ψ, χ) ψ, aχ) = [βs 1) ψ s 1) χs)], s 7

8 the corresponding operators are adjoint for the two different cases considered in [7] and in this Letter with 0 < q < 1 and q > 1, respectively. For β = constant we can try and obtain aa + qa + a = 1 q, when a = e e αs) ), a + = e αs) ) e α 2 s + 1) = qα 2 s), αs + 2) = qαs), which is satisfied for α = εq s/2. This case has been considered in [5]. Finally, the operators a = ε eγ αs) + e γ βs) αs) βs), a + = ε αs)e γ + βs)e γ αs) βs) obey the q-commutation rule provided that αs)βs) = ±1 and αs + 2γ) = q αs). Therefore, α = q s for γ = 1/2 and ε 2 = q 1/2 1 q) cf. [3] ). We can also introduce the operators and obtain aa + qa + a = 1 q if a = α s) εβ s) e, a + = αs) εe βs) αs + 1) = qαs), βs + 2) = qβs), so α = q s and β = q s/2. This leads to the Rogers Szegö polynomials [13] orthogonal on the unit circle see [1,6] ). References 1. Macfarlane, A.J., J. Phys. A: Math. Gen. 22, ). 2. Biedenharn, L.C., J. Phys. A: Math. Gen. 22, L ). 3. Atakishiyev, N.M. and Suslov, S.K., Teor. i Matem. Fiz. 85, ). 4. Kulish, P.P. and Damaskinsky, E.V., J. Phys. A: Math. Gen. 23, L ). 5. Atakishiyev, N.M. and Suslov, S.K., Teor. i Matem. Fiz. 87, ). 6. Floreanini, R. and Vinet, L., Lett. Math. Phys. 22, ). 7. Askey, R. and Suslov, S.K., The q-harmonic Oscillator and an Analog of the Charlier Polynomials, Preprint No. 5613/1, Kurchatov Institute, Moscow 1993; J. Phys. A: Math. Gen., submitted. 8. Rogers, L.J., Proc. London Math. Soc. 25, ). 8

9 9. Askey, R. and Ismail, M.E.H., in Studies in Pure Mathematics P. Erdös, ed.), Birkhäuser, Boston, Massachusetts, 1983, p Stieltjes, T.J., Recherches sur les Fractions Continues, Annales de la Faculté des Sciences de Toulouse, ) 122 pp., ), 47 pp. Reprinted in Oeuvres Complétes, vol Wigert S., Arkiv för Matematik, Astronomi och Fysik, 1718), ). 12. Al-Salam, W.A. and Carlitz, L., Math. Nachr. 30, ). 13. Szegö, G., Collected Papers, Vol. 1 R. Askey, ed.), Birkhäuser, Basel, 1982, p Chihara, T.S., An Introduction to Orthogonal Polynomials, Gordon and Breach, New York, Gasper, G. and Rahman, M., Basic Hypergeometric Series, Cambridge Univ. Press, Cambridge, Nikiforov, A.F. and Suslov, S.K., Lett. Math. Phys. 11, ). 17. Suslov, S.K., Lett. Math. Phys. 14, ). 18. Suslov, S.K., Russian Math. Surveys, London Math. Soc. 44, ). 19. Nikiforov, A.F., Suslov, S.K., and Uvarov, V.B., Classical Orthogonal Polynomials of a Discrete Variable, Springer-Verlag, Berlin, Heidelberg, Wiener, N., The Fourier Integral and Certain of Its Applications, Cambridge University Press, Cambridge, Askey, R., Atakishiyev, N.M., and Suslov, S.K., Fourier Transformations for Difference Analogs of the Harmonic Oscillator, in: Proceedings of the XV Workshop on High Energy Physics and Field Theory, Protvino, Russia, 6 10 July 1992, to appear. 22. Askey, R., Atakishiyev, N.M., and Suslov, S.K., An Analog of the Fourier Transformations for a q-harmonic Oscillator, Preprint No. 5611/1, Kurchatov Institute, Moscow, Wilson, J.A., Hypergeometric Series Recurrence Relations and Some New Orthogonal Functions, Ph. D. Thesis, University of Wisconsin, Madison, Wisc., Wilson, J.A., SIAM J. Math. Anal. 22, ). 25. Rahman, M., Canad. J. Math. 38, ). 26. Rahman, M., SIAM J. Math. Anal. 22, ). 27. Rahman, M. and Suslov, S.K., Classical Biorthogonal Rational Functions, Preprint No. 5614/1, Kurchatov Institute, Moscow 1993; in Methods of Approximation Theory in Complex Analysis and Mathematical Physics A.A. Gonchar and E.B. Saff, eds. ), Lecture Notes in Mathematics, Vol. 1550, Springer-Verlag, Berlin, 1993, p Andrews, G. and Askey, R., in Polynômes orthogonaux et applications, Lecture Notes in Mathematics, Vol. 1171, Springer-Verlag, Berlin, 1985, p