The C. Neumann problem as a completely integrable system on an adjoint orbit
The C. Neumann problem as a completely integrable system on an adjoint orbit
复制标题
DOI:
10.1090/s0002-9947-1981-0603766-3
复制
发表时间:
1981-02
影响因子:
1.3
通讯作者:
T. Ratiu
中科院分区:
文献类型:
--
作者:
T. Ratiu
It is shown by purely Lie algebraic methods that the C. Neumann problem-the motion of a material point on a sphere under the influence of a quadratic potential-is a completely integrable system of Euler-Poisson equations on a minimal-dimensional orbit of a semidirect product of Lie algebras. 1. The C. Neumann problem. The motion of a point on the sphere S`1 under the influence of a quadratic potential U(x) = 'Ax * x, x E R', A = diag(al,... , an) is a completely integrable Hamiltonian system. For n = 3 this has been shown by C. Neumann in 1859 [12] and for arbitrary n by K. Uhlenbeck [16], R. Devaney [3], J. Moser [10], [11], M. Adler, and P. van Moerbeke [2]. In this paper we show how this problem fits naturally in the framework of Euler-Poisson equations [41, [5], [14], [17] proving that the C. Neumann problem is a Hamiltonian system on a minimaldimensional adjoint orbit in a semidirect product of Lie algebras. Thus its complete integrability will follow entirely from Lie algebraic considerations. The equations of motion are i= -ax1 + AXx, i = 1,...,n, (1.1) where the Lagrange multiplier A = Ax' x 11x112 is chosen such that x E Sn-I during the motion. Set x = y and get the equivalent system to (1.1) xi = yi, yi = -a1xi + (Ax. x 11y112)xi, llxll = 1, x y = 0. (1.2) The following crucial remark that motivated the present investigation is due to K. Uhlenbeck and can be verified without any difficulties. LEMMA 1.1. Put X = (xixj), P = (yixj xiyj). System (1.2) is equivalent to X=[P,X, P =[X,A], lIxl = 1, x y = O. (1.3) Remark that if one replaces X and A by X Id/n and A (Tr(A))Id/n respectively, where Id is the n X n identity matrix, equations (1.3) remain unchanged. From now on we shall assume that in (1.3) this change has been made so that X, P, A E sl(n). The next section gives a Lie algebraic interpretation to these equations. Received by the editors March 12, 1980. 1980 Mathematics Subject Classification. Primary 58F07, 70H05; Secondary 53C15, 17B99.