arxiv:math/ v1 [math.qa] 9 Feb 2000

Transcription

1 Unitary Representations of the -Dimensional Euclidean Group in the Heisenberg Algebra H. Ahmedov and I. H. Duru, arxiv:math/000063v [math.qa] 9 Feb 000. Feza Gürsey Institute, P.O. Box 6, 80, Çengelköy, Istanbul, Turkey.. Trakya University, Mathematics Department, P.O. Box 6, Edirne, Turkey. Abstract: E() is studied as the automorphism group of the Heisenberg algebra H. The basis in the Hilbert space K of functions on H on which the unitary irreducible representations of the group are realized is explicitly constructed. The addition theorem for the Kummer functions is derived.. Introduction Febriary 000 Investigating the properties of manifolds by means of the symmetries they admit has a long history. Non-commutative geometries have become the subject of similar studies in recent decades. For example there exists an extensive literature on the q-deformed groups E q () and SU q () which are the automorphism groups of the quantum plane zz = qz z and the quantum sphere respectively []. Using group theoretical methods the invariant distance and the Green functions have also been written in these deformed spaces []. The purpose of the present work is to analyze yet another non-commutative space [z, z ] = σ ( i. e. the space generated by the Heisenberg algebra ) by means of its automorphism group E(). In Section we define E() in the Heisenberg algebra H and construct the unitary representations of the group in the Hilbert space X where H is realized. In Section 3 we give the unitary irreducible representations of E() in the Hilbert space K of the square integrable functions on H and construct the basis in K where the irreducible representations of the group are realized. The basis are found to be written in terms of the Kummer functions. Commutative limit as σ 0 is also discussed. Section 4 is devoted to the addition theorem for the Kummer functions. This theorem provides a group theoretical interpretation for the already existing identities involving the Kummer and Bessel functions. It may also lead to new identities. E mail : hagi@gursey.gov.tr and duru@gursey.gov.tr

2 . E() as the automorphism group of the Heisenberg algebra The one dimensional Heisenberg algebra H is the 3-dimensional vector space with the basis elements {z, z, } and the bilinear antisymmetric product [z, z ] =. () The -representation of H in the suitable dense subspace of the Hilbert space X with the complete orthonormal basis { n }, n = 0,,,... is given by z n = n n, z n = n + n +. () Let us represent the Euclidean group E() in the vector space H g z z = e iφ 0 re iψ 0 e iφ re iψ 0 0 Since these transformations preserves the commutation relation we conclude that z z. (3) [gz, gz ] = [z, z ] (4) gz = U(g)zU (g), gz = U(g)z U (g) (5) where U(g) is the unitary representation of E() in X: U(g )U(g ) = U(g g ), U (g) = U (g) = U(g ). (6) Simple verification shows that the normalized state satisfies the condition In the new orthonormal basis we have 0 = e r e re i(ψ φ) z 0 (7) gz 0 = 0. (8) n = (gz ) n 0 (9) gz n = n n, gz n = n + n +. (0) The unitary operator U(g) defines the transition between two complete orthonormal basis { n } and { n } n = U(g) n, n = U(g ) n. () Matrix elements of U(g) in the basis { n } reads m U(g) n = e r m (gz ) n e rei(ψ φ) z 0 ()

3 which after some simple algebra can be expressed in terms of the degenerate hypergeometric functions as m U(g) n = ( ) m e i(m n)ψ inφrn+m e r F 0 ( m, n; m! r). (3) Using the relations [5] F 0 ( m, n; r ) = (n m)! ( r )m Φ( m, +n m; r ), n m, (4) F 0 ( m, n; r ) = m! (m n)! ( r )n Φ( n, + m n; r ), m n (5) we can also express the matrix elements in terms of the Kummer function Φ. 3. Unitary representations of E() in the space of functions on H Let K 0 be set of finite sums F = (f n (ζ)z n + z n f n (ζ)). (6) Here f n (ζ) are functions of ζ = z z with finite support in Spect(ζ) = {0,,,...}. Completion of K 0 in the norm F = tr(f F) (7) forms the Hilbert space K of the square integrable functions in the linear space H with the scalar product The formula (F, G) = tr(f G). (8) T(g)F(z) = F(gz) (9) defines the representation of E() in K. () and (0) and the independence of the trace from the basis over which it is taken imply that the representation is unitary. Using (5) we can rewrite (9) in the form T(g)F(z) = U(g)F(z)U (g). (0) Now we consider the infinitesimal form of (9). Let g = g(re iψ, φ) in (3). With the one parameter subgroups g = g(ǫ, 0), g = g(iǫ, 0) and g 3 = g(0, ǫ) of E() we associate the linear operators K 0 K p k (F) = lim ǫ 0 ǫ (T(g k)f F) () with the limit taken in the strong operator topology. Inserting (0) into () we get p(f) = [F, z ], p(f) = [z, F], h(f) = [ζ, F], () 3

4 where For example p = p ip, p = p + ip, h = ip 3. (3) p(f(ζ)z n ) = (nf(ζ) + ζ(f(ζ + ) f(ζ)))z n. (4) (8) and () imply the real structure in the Lie algebra of E() p = p, h = h. (5) The irreducible representations of E() defined by the weight λ R can be constructed in the space of square integrable functions on the circle and the matrix elements are given in terms of the Bessel functions [4] t λ kn(g) = i n k e i(nφ+(k n)ψ) J n k (λr). (6) Coming to our case the basis Dk λ in K where the unitary irreducible representations of the group are realized will be the eigenfunctions of the complete set of commuting operators pp and h: The solutions of the equation (8) are pp D λ k = λ D λ k, (7) hd λ k = kdλ k. (8) Dk λ (z) = { z k fk λ (ζ) if k 0 f k λ (ζ)z k if k 0 (9) Inserting (8) into (7) we get (k + + ζ)fk λ (ζ + ) + (λ 4 ζ k )fλ k (ζ) + ζfλ k (ζ ) = 0. (30) By the virtue of the recurrence relation [5] aφ(a +, b; c) + (a b)φ(a, b; c) + (b a c)φ(a, b; c) = 0 (3) we observe that the solutions are given in terms of the Kummer functions as fk λ (ζ) = ( λ ) k/ e λ λ k 8 Φ( ζ, + k; ). (3) k! 4 The formula L k (k + n)! n (x) = Φ( n, + k; x) (33) k! allows us to express the basis elements in terms of the Laguerre polynomials too fk λ (ζ) = ( λ ) k/ ζ! λ k (k + ζ)! e 8 L k ζ ( λ ). (34) 4 The above formula is well defined since the spectrum of the operator ζ is the set of positive integers with zero. It has been well known that the Laguerre 4

5 polynomials are related to the group of complex third order triangular matrices [4]. The group parameters appears in the argument of the Laguerre polynomials. However in our case the group parameter appear in the index of this function. To obtain the orthogonality relations we first take z limit in the summation formula [6] (n + k)! Lk n (x)lk n (y)zn = (xyz) k/ z x+y z e z Ik ( then use the asymptotic relation for the Bessel functions [3] I ν (x) and employ the representation for the Dirac delta function. As the result we have xyz ), z <, (35) z ex πx + e x+(ν+/)π πx (36) δ(x) = lim e x ǫ (37) ǫ 0 πǫ (D λ k, Dλ n ) = δ knδ(λ λ ). (38) Let us make the substitution z σ z in (). In σ 0 limit the linear space H reduces to the complex plane; and D λ k(z) reduces to t λ k0(g) which are the restriction of the matrix elements (6) on the complex plane E()/U(): lim σ 0 D σλ k ( re iψ ) = t λ σ k0 (g). (39) To prove the above limit we used the asymptotic relation [5] lim Φ(a, b; c a a ) = Γ(b) c b I b ( c). (40) 4. The addition theorem Let us consider the representations of E() in the basis Dk λ: T(g)Dk(z) λ = t λ kn(g)dn(z). λ (4) n= By making use of (0) the above formula can be rewritten as U(g)Dk(z)U λ (g) = t λ kn(g)dn(z) λ (4) n= 5

6 which is an addition theorem useful in deriving many identities involving the Kummer and Bessel functions. For example let g = g(r, o), k 0 and x = λ/. Then (4) reads x k k! Uz k Φ( ζ, + k; x )U = where U = e r n,m=0 n= x n J k n(rx)z n Φ( ζ, + n; x ) + ( x) n J k+n (rx)φ( ζ, + n; x )z n, (43) ( ) m r n+m F 0 ( m, n; m! r) m n. (44) Sandwiching (43) between the states 0 and 0 we get r n Φ( n, + k; x ) = k!(xr) k e r J k (xr). (45) Multiplying (43) by U from the left and then sandwiching it between the states m + k and 0 we obtain another formula (m + k)! ( x m!k! r )k Φ( m, +k; x ( xr) n ) = F 0 ( m k, n; r )J k n(xr). (46) It is clear that (4) can lead to many more identities, that some of them may not exist in the literature. References [] N. Ya. Vilenkin and A. U. Klimyk, Representations of Lie Groups and Special Functions, vol 3, Kluwer Academic Press, The Netherland (99); S. L. Woronowicz, Comm. Math. Phys., 44, 47 (99), Comm. Math. Phys., 49, 637 (99), Lett. Math. Phys., 3, 5 (99); L. L. Vacsman and L. I. Korogodski, Dokl. Akad. Nauk SSSR, 304, 036 (989); [] H. Ahmedov and I. H. Duru, J. Phys. A: Math. Gen, 3, 574 (998), J. Phys. A: Math. Gen, 3, 655 (999). [3] I. S. Gradshtein and I. M. Ryzhik, Tables of Integrals, Series and Products, Academic Press, New-York, 980. [4] N. Ya. Vilenkin and A. U. Klimyk, Representations of Lie Groups and Special Functions, vol, Kluwer Academic Press, The Netherland (99). [5] H. Bateman and A. Erdelyi, Higher Transcendental Functions, vol. Mc Graw-Hill Book Company, New-York (953). [6] H. Bateman and A. Erdelyi, Higher Transcendental Functions, vol. Mc Graw-Hill Book Company, New-York (953). 6