научная статья по теме SUPERINTEGRABILITY ON -COALGEBRA SPACES Физика

Текст научной статьи на тему «SUPERINTEGRABILITY ON -COALGEBRA SPACES»

ЯДЕРНАЯ ФИЗИКА, 2008, том 71, № 5, с. 839-845

ЭЛЕМЕНТАРНЫЕ ЧАСТИЦЫ И ПОЛЯ

SUPERINTEGRABILITY ON sl(2)-COALGEBRA SPACES

© 2008 A. Ballesteros^*, F. J. Herranz2)**, O. Ragnisco3)***

Received August 20, 2007

A recently introduced set of N-dimensional quasi-maximally superintegrable Hamiltonian systems describing geodesic motions, that can be used to generate "dynamically" a large family of curved spaces, is revised. From an algebraic viewpoint, such spaces are obtained through kinetic energy Hamiltonians defined on either the sl(2) Poisson coalgebra or a quantum deformation of it. Certain potentials on these spaces and endowed with the same underlying coalgebra symmetry have been also introduced in such a way that the superintegrability properties of the full system are preserved. Several new N = 2 examples of this construction are explicitly given, and specific Hamiltonians leading to spaces of nonconstant curvature are emphasized.

PACS:02.30.Ik, 02.40.Ky

1. INTRODUCTION

Two infinite families of N-dimensional (ND) quasi-maximally superintegrable Hamiltonians endowed with a set of (2N — 3) integrals of the motion have been recently introduced in [1—5]. In the first family, the superintegrability properties of all these Hamiltonians are shown to be a consequence of a hidden sl(2) Poisson coalgebra symmetry [1]. The second family is just a q deformation of the former (see [2—5] and references therein), and the deformed coalgebra symmetry is given by slz(2) (q = ez), the Poisson analog of the nonstandard quantum deformation of sl(2) [6]. As a concrete application of these general results, some of these Hamiltonians can be shown to generate superintegrable geodesic motions on certain curved manifolds (see [1,3, 5]). In this contribution, we briefly review this approach and we provide new 2D explicit examples of such sl(2)-coalgebra spaces.

2. sl(2)-COALGEBRA SPACES

We recall that an ND completely integrable Hamiltonian H(N) is called maximally superintegrable (MS) if there exists a set of (2N — 2) globally

'-'Departamento de Física, Facultad de Ciencias, Universidad de Burgos, Spain.

2)Departamento de Física, Escuela Politécnica Superior, Universidad de Burgos, Spain.

3)Dipartimento di Fisica, Universita di Roma Tre and Instituto Nazionale di Fisica Nucleare sezione di Roma Tre, Italy.

E-mail E-mail E-mail

angelb@ubu.es

fjherranz@ubu.es

ragnisco@fis.uniroma3.it

defined functionally independent constants of the motion that Poisson-commute with H(N). Among them, at least, two different subsets of (N — 1) constants in involution can be found. In the same way, a system will be called quasi-maximally superintegrable (QMS) if there are (2N — 3) independent integrals with the abovementioned properties.

Let us now consider the sl(2) Poisson coalgebra generated by the following Lie—Poisson brackets and comultiplication map:

{.h ,J+ } = 2J+, {J3 ,J- } = —2J-, (1) {J- ,J+ } = 4J3,

A(Jí) = Ji ® 1 + 1® Ji, l = +, —, 3. (2) The Casimir function for sl(2) reads

C — J— J + — J2.

(3)

The following result holds [ 1 ]: Theorem 1. Let {q, p} = {(q\,...,qN), (pi,... ,pN)} be N pairs of canonical variables. The ND Hamiltonian

H(N) = H (J-,J+ ,J), with H any smooth function and

N

J- — £ q2 = q2

(4)

(5)

N

J.

+

i=1

£W +

i=1 bi

qi2

N

2

bi

P2 + E'2:

ih qi

N

J3 — Y^ qipi = q' p>

i=1

where bi are arbitrary real parameters, is a QMS system. The (2N — 3) functionally independent and "universal" integrals of the motion are explicitly given by

c(m) — E (qp - VP*)2 +

!<i<j K

(6)

+ (bá + bS

C(m) —

N-m+1<i<j

+ Í&4+&4

< + E

i=1 N

E \ (qiPj— qj Pi)2 +

г+1<i<j I

N

qi

qj

n

T=2J+

2P

(7)

Moreover, the kinetic energy on ND Riemannian spaces with constant curvature k can be expressed in Hamiltonian form as a function of the sl(2) generators

in two different ways (see [1] for a detailed geometrical interpretation of this result):

^P=rP = i(l + KJ_)2J+ = i(l + Kq2)2p2,

(8)

HB = TB = - (1 + kJ— ) (J+ + n,J¡) =

+ E

i=N-m+1

where m — 2,...,N and C(N) — C(N). Moreover, the sets of N functions {H(N) ,C(m)} and {H(N), C(m)} (m — 2,...,N) are in involution.

The proof of this result is based on the fact that, for any choice of the function H, the Hamiltonian H(N) has an sl(2) Poisson coalgebra symmetry (see [7, 8]). Notice that for arbitrary N there is a single constant of the motion left in order to assure maximal superinte-grability. In case that an additional integral does exist, the latter does not come from the coalgebra symmetry and has to be found directly. Finally, note that in the case N — 2 quasi-maximal superintegrability is just equivalent to integrability (the coalgebra symmetry provides only (2N — 3) — 1 integral of the motion). However, these coalgebra systems can, by construction, be generalized to arbitrary dimension.

Let us now give some explicit examples of the QMS spaces coming from this construction as particular geodesic motion Hamiltonians.

2.1. sl(2)-Coalgebra Spaces with Constant Curvature

Let us consider the symplectic realization (5) with bi — 0, Vi. The kinetic energy T of a particle on the ND Euclidean space EN can be directly interpreted as the generator J+. Therefore, the EN space can be thought of as the manifold with geodesic motions given by

= -(l + Kq2) (p2 + fi(q • p)2) •

The first one HP is just the kinetic energy for a free particle on the spherical SN (k > 0) and hyperbolic HN (k < 0) spaces in terms of Poincare coordinates q (coming from a stereographic projection in RN+1) and their associated canonical momenta p. The second one HB corresponds to Beltrami coordinates and momenta (central projection). In the framework here presented, both Hamiltonians can immediately be interpreted as deformations (in terms of the curvature parameter k) of the flat Euclidean motion given by k = 0. By construction, and for any dimension, both geodesic motions are QMS ones since they Poisson-commute with the integrals (6).

2.2. sl(2) -Coalgebra Spaces with Nonconstant Curvature

Note that, in principle, any homogeneous quadratic function of the canonical momenta can provide an admissible geodesic motion. In particular, we can consider the sl(2) Hamiltonian (with bi — 0, Vi)

H = T=l-f{J.)J+=l-f{ q2)p2, (9)

with f an arbitrary smooth function, and we can derive from it the corresponding kinetic energy Lagrangian. Hence, the QMS geodesic motion is defined on a Riemannian manifold whose metric is given by

2

ds2 = Tr^dcf. (10)

f (q2)

In the N — 2 case we can easily compute the corresponding Gaussian curvature K of the space; namely

^ = 7¿2y{-q2/,(q2)+ (ii)

+ f (q2 )[f V ) + q2f "(Q2)]},

where f' and f'' are the derivatives with respect to the variable q2 — (qf + q|). Therefore, we have obtained an infinite family of N — 2 spaces with, in general, nonconstant curvature depending on the "radial" coordinate q2 (see [9—11] for the study of 2D and 3D

m

m

1

superintegrable systems on spaces with nonconstant curvature). Obviously, the constant-curvature spaces given in terms of Poincare coordinates (8) are just particular cases of this construction with f (J-) — — (1 + kJ-)2 /2, that is, K — к.

Another remarkable sl(2)-coalgebra space, contained in (9), is obtained by setting

H

r = I

J

+

l p2

2 а + J- 2 а + q2 '

(12)

The corresponding space is just the so-called Dar-boux space of type III [9], whose N = 2 nonconstant Gaussian curvature reads

K—

а

(а + q2 + q^'

(13)

l2

(15)

where a is a real parameter. For N = 2 this gives rise

to a space with a metric 2

+ (1 + 2aql)dq2 — 4aqiq2dqidq2],

also endowed with a constant Gaussian curvature K = —a. In contrast to the latter case, if one considers the free Hamiltonian

1 2 1 -J+ + aJ-J3 = -]

one finds a space whose metric for N = 2 reads

7í = ±J+ + aJ_J¡ = ±p2 + aq2(q.p)2) (17)

2 _ 2{l + 2aql{q{ + ql)) j 2 dS 1 + 20^ + ^)2 dQl +

2(1 + 2 aqM + qj)) 2

n : ~ — аЧ2 ~

(18)

За

l + 2а^2 + q|)2 q1q2(q2 + qi)

l + 2cy,(q\ + q2)2

dq1dq2,

A MS (intrinsic) Smorodinsky—Winternitz system [12,13] on the ND generalization of this Darboux space has been recently obtained in [14].

We stress that the Hamiltonian (9) does not exhaust all the possibilities for free motion, since J2 = = (q • p)2 is also a quadratic homogeneous function in the momenta. Therefore, we could consider more complicated kinetic energy terms including Jf. A particular choice of this type would be the one given by the Beltrami kinetic energy presented in (8), for which the metric of the space reads

л 2 _ (1 + /tq2)dq2 - к(д • dq)2 (1 + Kq2 )2

and all its sectional curvatures are constant and equal k. Another choice is given by the Hamiltonian

and whose nonconstant Gaussian curvature is found to be

K = -2a(q1 + ql). (19)

In any case, we stress that the geometric interpretation of the canonical variables (q, p) can be completely different for each s¿(2)-coalgebra space.

2.3. QMS Potentials

The underlying coalgebra symmetry of this construction is also helpful in order to define QMS potentials V on s¿(2)-coalgebra spaces. This can be achieved, in general, by adding some suitable functions depending on J- to the kinetic-energy term and by considering arbitrary centrifugal terms that come from symplectic realizations of the J+ generator with constants bi's that are different from zero. Such a Hamiltonian would be given by

H = T (J+ ,J- ) + V (J-). (20)

In the constant curvature case, the Hamiltonians that we would obtain in this way are the curved counterpart of the Euclidean systems for different values of the sectional curvature к, that lead to QMS potentials on the spaces SN (к > 0), HN (к < 0), and En (к = 0). A detailed description for such potentials can be found in [1]. The same scheme can be applied to the nonconstant-curvature spaces given in Section 2.2. In all the cases, the fact that Hamiltonian (20) is defined on the "abstract" sl(2)-coalgebra generators ensures the existence of the set of (2N — 3) "universal" integrals given in T

Для дальнейшего прочтения статьи необходимо приобрести полный текст. Статьи высылаются в формате PDF на указанную при оплате почту. Время доставки составляет менее 10 минут. Стоимость одной статьи — 150 рублей.

Показать целиком