Hamilton-Jacobi theory for constrained systems D. Dominici and G. Longhi Dipartimento di Fisica. Universita di Firenze. Istituto Nazionale di Fisica Nucleare. Sezione di Firenze. Firenze. Italy J. Gomis and J. M. Pons Departament de Flsica Teorica. Universitat de Barcelona. Barcelona. Spain (Received 13 October 1982; accepted for publication 6 January 1984) We extend the Hamilton-Jacobi formulation to constrained dynamical systems. The discussion covers both the case of first-class constraints alone and that of first- and second-class constraints combined. The Hamilton-Dirac equations are recovered as characteristic of the system of partial differential equations satisfied by the Hamilton-Jacobi function. PACS numbers: 03.20. + i, 03.30. + p, 12.90. + b I. INTRODUCTION In recent years the old problem of a consistent formula- tion of relativistic Hamiltonian dynamics, for a system of particles in direct interaction, has received new interest. 1,2 It is now widely recognized that, in order to establish manifest covariance, it is convenient to look for a formulation in terms of constrained dynamics, where the constraints on the phase-space variables guarantee the correct number of phys- ical degrees offreedom, and essentially contain the dynamics of the system under consideration. From this point of view, relativistic Hamiltonian dy- namics can be seen as a theory of systems constrained in phase space. Such a theory was developed by Dirac 3 and reformulated in various respects by others, 4 so by now it seems to be a well-developed subject. The corresponding Hamilton-Jacobi theory has been the subject of various papers, mainly with regard to theoreti- cal field applications. 5 What seems to be lacking in the litera- ture on this subject, in the opinion of the present authors, is a unified systematic approach to the Hamilton-Jacobi theory for a system of particles, especially with regard to the possi- ble applications in the presence of second-class constraints. For this reason, the present work reviews the Hamil- ton-Jacobi method in a systematic and almost didactic way, presenting in some detail even those topics which are well known from the mathematical literature on systems of par- tial differential equations. In order to give a unified approach for both first- and second-class constraints, the concept of (Cauchy) character- istic vectors will be used, so that in both cases the equations of motion will appear as characteristic equations. In this way Dirac's bracket structure will emerge naturally, and the inte- grability conditions of the characteristic system will be expli- citly verified by using the properly generalized Jacobi identi- ty. With regard to this last point, the Mayer identity (that is, the generalization of the Jacobi identity to nonhomogen- eous Poisson brackets) appears to hold for Dirac's brackets also, as has been verified by explicit calculation. The analysis of the characteristic equations of the given set of constraints, though interesting by itself, is only pre- liminary to a Hamilton-Jacobi approach. The latter will be given, in the first-class case, by a review of Jacobi's method of integration. In the second-class case the integrability conditions for the existence of the Hamilton-Jacobi function are not satis- fied, so this function, as a function on all phase-space space, does not exist. Nevertheless, as we shall show in Sec. V. in a number of interesting cases, to which, in principle, the prob- lem may always be reduced, the Hamilton-Jacobi method can be used fruitfully to get the solution of the equations of motion. Since the authors were especially interested in this case, Sec. V is to be considered the central section of this paper. In that section two possible methods are discussed. The concept of weak equality, first introduced by Dirac, 3 is used throughout this paper. A careful discussion of its extension to vector fields and differential forms is present- ed in Appendices A and B. No applications are discussed in the present work, but the method is best suited for the formulation given by To- dorov 6 and Komar 7 of the dynamics of a system of particles, and an application can be found in Ref. 8, where the Hamil- ton-Jacobi function is calculated for a two-body system. An interesting topic which has not been discussed here, but which deserves further investigation, is the study ofsymme- tries from this point of view. The paper is organized as follows: In Sec. II we make a general discussion of the extension of the Hamilton-Jacobi theory to constrained systems. Section III is devoted to the study of the first-class constraints systems and Secs. IV and V to the case where second-class constraints are also present. In Sec. VI we show how we can recover the Hamilton-Dirac equations. 3 In Appendix A the problem of classification of constraints into first- and second-class constraints is studied. Finally in Appendices Band C we prove some useful geo- metric results for our discussion. In Appendix D the trans- formation properties of the Hamilton-Jacobi function under canonical transformations are briefly reviewed. II. A GENERAL DISCUSSION OF THE HAMILTON- JACOBI THEORY FOR CONSTRAINED SYSTEMS Let us assume that a dynamical system is described in terms of a canonical Hamiltonian He (Xi, Pi)' where the set 2439 J. Math. Phys. 25 (8). August 1984 0022-2488/84/082439-14$02.50 © 1984 American Institute of Physics 2439 Downloaded 14 Jul 2010 to 161.116.168.227. Redistribution subject to AIP license or copyright; see http://jmp.aip.org/jmp/copyright.jsp