On the complete symmetry group of the classical Kepler system

J. Krause

doi:10.1063/1.530708

Abstract

A rather strong concept of symmetry is introduced in classical mechanics, in the sense that some mechanical systems can be completely characterized by the symmetry laws they obey. Accordingly, a ‘‘complete symmetry group’’ realization in mechanics must be endowed with the following two features: (1) the group acts freely and transitively on the manifold of all allowed motions of the system; (2) the given equations of motion are the only ordinary differential equations that remain invariant under the specified action of the group. This program is applied successfully to the classical Kepler problem, since the complete symmetry group for this particular system is here obtained. The importance of this result for the quantum kinematic theory of the Kepler system is emphasized.

REFERENCES

1. See, for instance, P. J. Olver, Applications of Lie Groups to Differential Equations (Springer Verlag, New York, 1986); Google Scholar
this is perhaps the most exhaustive monography on this subject. See also G. W. Bluman and S. Kumei, Symmetries and Differential Equations (Springer Verlag, New York, 1989). Google Scholar
2. The geometry of configuration space-time, and its role for holonomic rheonomic systems in classical mechanics, has been considered by M. Trümper, Ann. Phys. (NY) 149, 203 (1983). Google ScholarCrossref
3. Even contact transformations, involving the velocity as an independent variable, have been used to study symmetries of some classical systems [see, i.e., E. L. Hill, Rev. Mod. Phys. 23, 253 (1951)]; , Google Scholar
but such transformations fail to produce a “complete symmetry group” in the sense required here. To take a case in point, contact transformations for the classical Kepler problem were studied by J. M. Levy-Leblond, Am. J. Phys. 39, 502 (1971), but they do not yield a complete group for this particular system. Google ScholarCrossref
4. M. Aguirre and J. Krause, J. Math. Phys. 29, 9 (1988). , Google ScholarScitation
5. M. Aguirre and J. Krause, J. Math. Phys. 29, 1746 (1988). , Google ScholarScitation
6. See, for instance, M. Aguirre and J. Krause, J. Phys. A 20, 3553 (1987), , Google Scholar
concerning the finite point realizations of $SL (3,R)$ yielding the complete symmetry group for the harmonic oscillator; Google Scholar
cf. also P. G. L. Leach, J. Math. Phys. 21, 300 (1980), for the realization of the Lie algebra $sl (3,R)$ in the case of the one-dimensional time-dependent harmonic oscillator. Google Scholar
Furthermore, it has been shown by G. E. Prince and C. J. Eliezer, J. Phys. A 13, 815 (1980), that the point symmetry group of the time-dependent n-dimensional harmonic oscillator is $SL (n +2,R);$ Google Scholar
nevertheless, it is not known if this group is complete for that system. All these results on point symmetries, and perhaps some few others, have been found by means of the traditional Lie method. Moreover, much of this subject was known already to Sophus Lie himself [S. Lie, Vorlesungen über Differential-Gleichungen Mit Bekannten Infinitesimal Transformationen (B. G. Teubner, Leipzig, 1981; Google Scholar
reprinted by Chelsea, New York, 1967)]; Google Scholar
however, it seems to be not so well known to most physicists. For instance, the rediscovery eighteen years ago by C. E. Wulfman and B. G. Wyborne, J. Phys. A 9, 507 (1976), that the equation of motion ${ẍ+ω}^{2} x = 0$ has point symmetry $SL (3,R)$ was a surprise to physicists. Google ScholarScitation
7. G. E. Prince and C. J. Eliezer, J. Phys. A 14, 587 (1981). , Google Scholar
Also: G. E. Prince, 16, L105 (1983)., J. Phys. A, Google ScholarCrossref
8. One could also enlarge $G_{L}$ considering its improper pieces in Eq. (3), but we are not concerned with such minor details now. , Google Scholar
9. The energy is given by $E = (M^{2} {−K}^{2})/2 J^{2} .$ The Hamilton vector is $W {= (KL)}^{−1} J \times M = \sqrt{(k/L)} ε n ̂;$ Google Scholar
cf.C. D. Collinson, Bull. Inst. Math. Applic. 9, 377 (1973). Google Scholar
10. P. Havas, Rev. Mod. Phys. 36, 938 (1964). Newtonian spacetime is today a rather familiar concept; Google Scholar
it was also introduced by A. Trautman, in Perspectives in Geometry and Relativity, edited by B. Hoffman (Indiana University, Bloomington, 1966), pp. 413–425. Google ScholarCrossref
11. One better solves this problem introducing the eccentric anomaly u [i.e., setting $t = t(u)$ and $x = x (u)]$ used by the astronomers; , Google Scholar
cf. i.e., A. Wintner, The Analytical Foundations of Celestial Mechanics (Princeton University, Princeton, NJ, 1947). With this approach, the exercise becomes essentially in a consistency control between Eqs. (32a) and (32b). Google Scholar
12. The existence of the symmetries $O_{+} (4)$ and SU (3) for all classical central potential problems was established by Fradkin many years ago; Google Scholar
D. M. Fradkin, Progr. Theor. Phys. 37, 798 (1967). The internal symmetry $O_{+} (4)$ associated with the Kepler problem has been known for a long time; Google Scholar
cf. V. Fock, Z. Physik 98, 145 (1935), Google Scholar
also: V. Bargmann, Z. Physik 99, 576 (1936). During the 1960s much work on the Kepler problem was directed towards imbedding $O_{+} (4)$ within a larger finite noncompact group, for example the De Sitter group $O(4,1);$ Google Scholar
see H. Bacry, Nuovo Cimento 41, A222 (1966), Google Scholar
A. Bohm, Nuovo Cim. 43, A665 (1966), and references quoted therein. The $O_{+} (4)$ symmetry of the Kepler system sets an “age” problem that has been much investigated, owing mainly to its important role in the quantum-mechanic theory of the hydrogen atom. Even more recently, the Fock quantization of the hydrogen atom has been reformulated by means of the symmetry $SO (2,n+l)$ of the n-dimensional Kepler problem; Google Scholar
B. Cordani, J. Phys. A 22, 2695 (1989). Google ScholarCrossref, CAS
13. A nonintegrable “quotient of differentials” is also used, for instance, in the Kustaanheimo-Stiefel transformation as a means of transforming the three-dimensional Kepler problem into that for a four-dimensional harmonic oscillator; , Google Scholar
P. Kustaanheimo and E. Stiefel, J. Reine Angew. Math. 218, 204 (1965), Google Scholar
cf., also, F. H. J. Cornish, J. Phys. A 17, 2191 (1984), where the same subject is discussed in terms of quaternions’ continuous mappings. Google ScholarCrossref, CAS
14. J. Krause, J. Phys. A 18, 1309 (1985). , Google ScholarCrossref, CAS
15. J. Krause, J. Math. Phys. 32, 348 (1991); , Google Scholar
J. Krause, J. Phys. A 26, 6285 (1993); Google Scholar
J. Krause, Int. J. Phys. 32, 1363 (1993). Google ScholarScitation, CAS
16. J. Krause, J. Math. Phys. 27, 2922 (1987). , Google ScholarScitation
17. J. Krause, J. Math. Phys. 29, 1309 (1988). , Google ScholarScitation