CONSTR.Lt\INED HAMILTONIAN SYSTEMS

Total Page:16

File Type:pdf, Size:1020Kb

CONSTR.Lt\INED HAMILTONIAN SYSTEMS ACCADEMIA NAZIONALE DEI LINCEI ANNO CCCLXXIII - 1976 CONTRIBUTI DEL CENTRO LINCEO INTERDISCIPLINARE DI SCIENZE MATEMATICHE E LORO APPLICAZIONI N.22 i\NI)REW I-L.A.NSO:0J - ]'ULLIO REGGI~ -- CLi\UDIO TEI]'ELBOIlVI CONSTR.Lt\INED HAMILTONIAN SYSTEMS CICLO DI LEZIONI TENUTE DAL 29 APRILE AL 7 1vIAGGIO 1974 ROMA ACCADEMIA NAZIONALE DEI LINCEI 1976 --------.---------~---_._---,._- (, S (~ s- Dott. G. Hardi, Tipografo dell' Accademia :\azionale dei Lincei }{O:\IA, 19i(1 TABI~E OF CONTENrrS FORE\VORD Page 5 CHAPTER 1. 1) IRAC'S GE~ERAL ~IETHOD FOR CO~STRAI~EDHAl\lILTONIA~ SYSTEMS 7 ..c-\.. Forlnal Introduction . 8 B. !-lanzilton Variational Princzple 'zvitll Constraints 13 C. Extension to Infinite Degrees of j;reedo)Jz 16 D. Other Poisson Bracket Surfaces. ..... 18 E. IJynalnics on Curved Surfaces. ...... 20 F. Quantlun 7lzeory and Canonical l//ariables 24 CHAPTER 2. RELATIVISTIC POIXT PARTICLE. 27 ~r\. .J.Vo Gauge Constraint. 2i B. Gauge Constraint .. 29 C. Quantuln J11"ecllanics 31 CHAPTER 3. RELATIVISTIC SPI~NING PARTICLE 33 A. Revie'zv of Lagrangian ~4jJjJroacll to Top. 33 B. Constraints on Top Lagrangian 38 C. Dirac TreatlJzent of Top COllstraints 4° I). Quantum A1echanics. 47 CHAPTER 4. STRI~G MODEL. 51 A. System 'Zvithout Gauge Constraints 53 B. Ortllonorlnal Gauge Constraints 57 C. Dirac Brackets ........ 59 I). Fourier COlnponents of T/'ariables 68 E. Quantlan .J.~fecllanics 71 CHAPTER 5. :YIAXWELL ELECTRO:\L\GXETIC FIELD 73 A... /?lectnnn'lgnttic [{anziltonian 7oitlzout (7auge Constraillts . 74 B. Radiation Gauge Constraints 78 C. ~4 xial Gauge .... 80 D. iVull-Plane Brackets. 82 E. iVull-Plane Radiation Gauge ....... 86 CHAPTER 6. YANG-MILLS GAUGE FIELD 89 A.. Lie Groups ........ 89 B. Systenz lvithout Gauge Constraints 9° C. Radiation Gauge Constraints ... 94 I). ..4lternate Radiation (;auge Techniques. 97 E. ..4xial Gauge ............ 98 CHAPTER 7. EIKSTEI:r\'S THEORY OF GRAVITATION. lor A. General Form of tile Hanziltonian 102 B. The Lagrangian . l°S C. The Halniltonian ........ 1°7 D. ~4.~ymjJtotical(v Flat Space, .C;ur.face Integrals, Inzproved Hanliltoniall. Poincare Illvariance at .'::Jpacelike Infillity .. 1°9 -4- . Page 115 E. F'ixation of tile Sjacetinlc Coordinates (C'auge) I. ()pen Spaces: 118 (a) i\.Dl\I's "1'----T'" Gauge . 121 (h) Dirac's ":\laxilnal Slicing" (~augc o­ 1 -) 1. Closed Spaces: York's Gauge 128 ~Ietric . ..:'\PPE\"DIX .:\. Conventions. A.PPE\"\)IX B. 12 1. Extrinsic Cur\"aturc (llHl the Etnhedcling Equations of (~a uss and Codazzi 9 2. Prouf of Eq. (i. IS )................. 13° 3. :VIOll1entull1 and A.ngular :YIolllcntuln of t he l~rasitational Field. 13° 2 4. Relation of Eq. (-1-.16) to Eq. (1.83) .............. 13 13·+ I<.. EFERE :\CES .............................. F()R l~ \V()RIJ ]'his \v'ork is an outgro\vth of a serIes of lectures gi ven by one of us Cf. 1\..) under the auspices of the i\.ccaden1ia Nazionale dei Lincei in 1\.0111e in the spring of 1974. It is intended to help fill the need for a unified treat111cnt of Dirac's approach to the canonical Han1iltonian forn1ldation of singular I..a­ grangian systen1s. \\7c have attelnpted as far as possible to refer to the original literature on the subjcct, but there have undoubtedly been S0111C inad\'crtant 0111issions, for \vhich \ve apologize. \\ie \vish especially to thank Peter Goddard and Giorgio l)onzano for their essential participation in the for111ulation of the " string lTIodcl " gi \"en here, and Karel Kuchar for per111itting us to use parts of his unpublished lecture notes at Princeton in Chapter 7. C. T'. is grateful to J....~. \\lhceler for much encouragcn1ent, and to the National Science foundation for support under grant GP 30799X to Prin­ ceton lJni vcrsity \vhile i\.. ]. 1-1. thanks the Institute for i~d \'anced Study, the )Jational Science ~---oundation, and the U. S. i\t0111ic Energy COn1111ission for their support of various phases of this project. \\7e are indebted to .i\caclen1ic Press, Inc, the publishers of ...~nnals of Physics C:\". \T.), for perlnission to usc various sections of I-1anson and l\.eggc (1974) and Regge and Teitelboin1 (1974) in this ,,"ork. T\\'o of us (...-\. J. H. and 1'. R.) arc grateful to the ...~ccaden1ia X azionalc dei L.incci for the congenial hospitality enjoyed \vhile this \,'ork ,,'as being prepared. ..~. J. I-I A:\SO:\ ]'. REGCE C. ]'EITELBOI~1 I. I)IR~-\C'S GENI~RAr--J ~/II~TI-IOl) FOR (~O~SI"I{~-\I:\El) Hi\MILI"ONI~~X S\TSTElVIS Constrained canonical systen1s occur \vith ren1arkahlc frequency in phy­ sics. :\Iax\vell's theory of electrol11agnctisl11, I~instein's theory of gTa vitation, and nun1crous Inanifestly Lorentz in\·ariant 111echanical S)1'stCIT1S possess constraints \vhich invalidate the strictly canonical classical systen1s. It is clear that a correct Ha111iltonian for111ulation of a constrained classical systcln is interesting in its o-\\'n right, as \\'ell as being quite useful in de\·cloping a valid canonical quantization procedure for the syste111. Our purpose here is to introduce the reader to the systclnatic trcatll1cnt of constrained I-Ia1l1iltollian systelns devel0ped i11 itially by I)irac (I 9 50 ) and to ind icatcits rcIati() n to quantum 111echanics \vhere kno\vn. T'his chapter \vill deal \vith the for111al aspects of constrained 1-1 all1ilto­ nian systelns. rrhc ren1aining chapters are devoted to specific applications of the 11lethods. In particular, \VC \vill exan1ine relativistic spinless particles, relativistic spinning particles, the relati\,istic string, vector fields \\,ith ~\hclian and non-...\helian gauge groups, and gravitation. rrhe reader \vho v\·ishes to acquire a gcncr?l feeling for the applic~lti()n of these 11l,ethods \vithout getting bogged do\\'n in details is adyiscd to skinl Chapter I, and then carefully study a falTIiliar systenl. (e.g. ("hapter 2, 4 or 5), referring back to Chapter I \vhen necessary. \\Te define a singular Lagrangian L (ql 'Yl") as one for \vhich thc \'cloci­ tcs (jz" cannot be expressed uniquely in tern1S of the canonical 11101nenta pI" = I.:L/2Y 1o due to the existence of constraints a1110ng the canonical coordinates and 1110n1enta fol1o\ving fro1l1 the for111 of the Lagrangian alone. rrhe pl-O hlerll of developing a consistent classical H a111iltonian d ynalnics corresponding to a singular Lagrangian systen1 \,'as apparently attacked first by Dirac (1950). Subsequently Dirac (195 I), ...r\.nderson and Bergn1ann (1951), Bergll1ann and Goldberg (1954), Dirac (1958a) and })e\'/itt (1959) refined Dirac's original n1ethods. ...r\.n expanded treatlnent of the general constrained Hamiltonian systelTI appears in Dirac's lectures on quantun1 mechanics (1964); sec also Dirac (1969). IZundt (1966) and Shann1ugadhasan (1963, 1973) rcvic\v some fine points. Finally, \ve ll1ention several other approaches to the quantization of sin­ gular Lagrangian systelTIs. Schvvinger (1951 (l, I95 1 b, 1953) and l)eierls (195 2 ) utilize variational techniques; SY1l1anzik (1971) gives an extended treatlnent (see also the Appendix of rron1boulis (1973)). DeWitt (1967 b), l,"addce\' and Popov (1967 a, 1967 b) and Faddeev (1969) ll1ake use of Feynlnan path integrals to undcrstand singular systen1s. No attempt vvill be 111ade to treat these methods here. -8- '1'he forn1ulations of both classical and quantuln Inechanics have under­ gone profound changes in recent tilDes through the usc of modern mathernatical language and advanced techniques of functional analysis. \\"'"e think that ultin1atcly these concepts should be introduced into our treatlTIent to gi ve a less heuristic vic\v of the subject than \,'"C have succeeded in developing so far. V\TC have not pursued this lTIattcr in vic\\'" of the practical character of the present notes. Their usefulness, \,'"e feel, is in providing a set of direct guidelines to setting up a consistent canonical forlnalis111 for an an1azing variety of physically significant systelTIS \vhile a voiding lTIany COn11l10n pitfalls. ...\. f~OR:\IAL I XTRODLCTIO\, ()ur forn1aI discussion of constrained systcnls hegins \\'jth the consider­ ation of an action functional ..b (1.1) c= J ciT L(qi' q,) \vhere qi('r) is a canonical coordinate and qi = dq//d-: is a crlnonical \-clocity. We confine ourselyes to I-Jagrangians ",'"ithollt explicit 7-dependcncc. I)cfining the canonical n10n1enta as dL pi -- (1.2) dlo:. , Jl \ve find the l~ulcr equations ctpi 8L 0 (1·3) c1--r Jqi hy reqUIrIng the variation of the action S to be stationary. If \,'"e choose for our l)oisson brackets the con\'"entl011 ~~~\ 813 2:\. 2B ciqi 3pi cqi \ve have __ 61~ (1. 5) .I \\' here 0;° is the Kronecker delta. Hereafter, repeated indices \vill be sun1111ed over unless other\yise stated. The canonical I-IalTIiltonian (1.6) then forn1ally generates the I-Iamilton equations of motion • -- f !-]"} - -~!!~ q£ - tq£, ~c - djJ1: .' {' H} dH c pt == pt , c == - ~i~- · 9 N O\V \ve suppose that I ... (qi , qi) is singular, so that there is no unique solution qz" (q , p) expressing the velocities in terms of the canonical coordinates and 1110111enta. ..-\ necessarv and sufficient condition that I---t be singular is 'l'his is a sIgn that there exist certain prz'llzalJ! constraints (1.8) 11l ==-= I".., 1\1 follo\:ving fron1 the forn1 of the I ... agrangian alone. "fhe synlhol « ~' 0 » is read d \veakly zero" and 111eans that 9m 111ay have non\'anishing canonical Poisson brackets (1.4) \vith S0111C canonical variahles. l'he canonical Han1iltonian (1.6) is no\v not unique. \\7C 111ay in fact replace it by the effecti ve I-I anliltonian -~ -L 1! (r'j f lJ),~ (1.9) H -- I-I c im I JJl \ q 'L lIe.. II generates lle\\' equations of lTIotion replacing (1.7), L~I-I ( "'I l l',?m ql' {q/ , I-I j ~ 'dpz" 11 m lY;i (1.
Recommended publications
  • Dirac Brackets in Geometric Dynamics Annales De L’I
    ANNALES DE L’I. H. P., SECTION A JEDRZEJ S´ NIATYCKI Dirac brackets in geometric dynamics Annales de l’I. H. P., section A, tome 20, no 4 (1974), p. 365-372 <http://www.numdam.org/item?id=AIHPA_1974__20_4_365_0> © Gauthier-Villars, 1974, tous droits réservés. L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam. org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. Inst. Henri Poincaré, Section A : Vol. XX, n° 4, 1974, 365 Physique théorique. Dirac brackets in geometric dynamics Jedrzej 015ANIATYCKI The University of Calgary, Alberta, Canada. Department of Mathematics Statistics and Computing Science ABSTRACT. - Theory of constraints in dynamics is formulated in the framework of symplectic geometry. Geometric significance of secondary constraints and of Dirac brackets is given. Global existence of Dirac brackets is proved. 1. INTRODUCTION The successes of the canonical quantization of dynamical systems with a finite number of degrees of freedom, the experimental necessity of quan- tization of electrodynamics, and the hopes that quantization of the gravi- tational field could resolve difficulties encountered in quantum field theory have given rise to thorough investigation of the canonical structure of field theories. It has been found that the standard Hamiltonian formu- lation of dynamics is inadequate in the physically most interesting cases of electrodynamics and gravitation due to existence of constraints.
    [Show full text]
  • Non-Abelian Conversion and Quantization of Non-Scalar Second
    FIAN-TD/05-01 hep-th/0501097 Non-Abelian Conversion and Quantization of Non-scalar Second-Class Constraints I. Batalin,a M. Grigoriev,a and S. Lyakhovichb aTamm Theory Department, Lebedev Physics Institute, Leninsky prospect 53, 119991 Moscow, Russia bTomsk State University, prospect Lenina 36, 634050 Tomsk, Russia ABSTRACT. We propose a general method for deformation quantization of any second-class constrained system on a symplectic manifold. The constraints deter- mining an arbitrary constraint surface are in general defined only locally and can be components of a section of a non-trivial vector bundle over the phase-space manifold. The covariance of the construction with respect to the change of the constraint basis is provided by introducing a connection in the “constraint bundle”, which becomes a key ingredient of the conversion procedure for the non-scalar constraints. Unlike arXiv:hep-th/0501097v1 13 Jan 2005 in the case of scalar second-class constraints, no Abelian conversion is possible in general. Within the BRST framework, a systematic procedure is worked out for con- verting non-scalar second-class constraints into non-Abelian first-class ones. The BRST-extended system is quantized, yielding an explicitly covariant quantization of the original system. An important feature of second-class systems with non-scalar constraints is that the appropriately generalized Dirac bracket satisfies the Jacobi identity only on the constraint surface. At the quantum level, this results in a weakly associative star-product on the phase space. 2 BATALIN, GRIGORIEV, AND LYAKHOVICH CONTENTS 1. Introduction 2 2. Geometry of constrained systems with locally defined constraints 5 3.
    [Show full text]
  • Reduced Phase Space Quantization and Dirac Observables
    Reduced Phase Space Quantization and Dirac Observables T. Thiemann∗ MPI f. Gravitationsphysik, Albert-Einstein-Institut, Am M¨uhlenberg 1, 14476 Potsdam, Germany and Perimeter Institute f. Theoretical Physics, Waterloo, ON N2L 2Y5, Canada Abstract In her recent work, Dittrich generalized Rovelli’s idea of partial observables to construct Dirac observables for constrained systems to the general case of an arbitrary first class constraint algebra with structure functions rather than structure constants. Here we use this framework and propose how to implement explicitly a reduced phase space quantization of a given system, at least in principle, without the need to compute the gauge equivalence classes. The degree of practicality of this programme depends on the choice of the partial observables involved. The (multi-fingered) time evolution was shown to correspond to an automorphism on the set of Dirac observables so generated and interesting representations of the latter will be those for which a suitable preferred subgroup is realized unitarily. We sketch how such a programme might look like for General Relativity. arXiv:gr-qc/0411031v1 6 Nov 2004 We also observe that the ideas by Dittrich can be used in order to generate constraints equivalent to those of the Hamiltonian constraints for General Relativity such that they are spatially diffeomorphism invariant. This has the important consequence that one can now quantize the new Hamiltonian constraints on the partially reduced Hilbert space of spatially diffeomorphism invariant states, just as for the recently proposed Master constraint programme. 1 Introduction It is often stated that there are no Dirac observables known for General Relativity, except for the ten Poincar´echarges at spatial infinity in situations with asymptotically flat boundary conditions.
    [Show full text]
  • Theory of Systems with Constraints
    Theory of systems with Constraints Javier De Cruz P´erez Facultat de F´ısica, Universitat de Barcelona, Diagonal 645, 08028 Barcelona, Spain.∗ Abstract: We discuss systems subject to constraints. We review Dirac's classical formalism of dealing with such problems and motivate the definition of objects such as singular and nonsingular Lagrangian, first and second class constraints, and the Dirac bracket. We show how systems with first class constraints can be considered to be systems with gauge freedom. We conclude by studing a classical example of systems with constraints, electromagnetic field I. INTRODUCTION II. GENERAL CONSIDERATIONS Consider a system with a finite number, k , of degrees of freedom is described by a Lagrangian L = L(qs; q_s) that don't depend on t. The action of the system is [3] In the standard case, to obtain the equations of motion, Z we follow the usual steps. If we use the Lagrangian for- S = dtL(qs; q_s) (1) malism, first of all we find the Lagrangian of the system, calculate the Euler-Lagrange equations and we obtain the If we apply the least action principle action δS = 0, we accelerations as a function of positions and velocities. All obtain the Euler-Lagrange equations this is possible if and only if the Lagrangian of the sys- tems is non-singular, if not so the system is non-standard @L d @L − = 0 s = 1; :::; k (2) and we can't apply the standard formalism. Then we say @qs dt @q_s that the Lagrangian is singular and constraints on the ini- tial data occur.
    [Show full text]
  • Turbulence, Entropy and Dynamics
    TURBULENCE, ENTROPY AND DYNAMICS Lecture Notes, UPC 2014 Jose M. Redondo Contents 1 Turbulence 1 1.1 Features ................................................ 2 1.2 Examples of turbulence ........................................ 3 1.3 Heat and momentum transfer ..................................... 4 1.4 Kolmogorov’s theory of 1941 ..................................... 4 1.5 See also ................................................ 6 1.6 References and notes ......................................... 6 1.7 Further reading ............................................ 7 1.7.1 General ............................................ 7 1.7.2 Original scientific research papers and classic monographs .................. 7 1.8 External links ............................................. 7 2 Turbulence modeling 8 2.1 Closure problem ............................................ 8 2.2 Eddy viscosity ............................................. 8 2.3 Prandtl’s mixing-length concept .................................... 8 2.4 Smagorinsky model for the sub-grid scale eddy viscosity ....................... 8 2.5 Spalart–Allmaras, k–ε and k–ω models ................................ 9 2.6 Common models ........................................... 9 2.7 References ............................................... 9 2.7.1 Notes ............................................. 9 2.7.2 Other ............................................. 9 3 Reynolds stress equation model 10 3.1 Production term ............................................ 10 3.2 Pressure-strain interactions
    [Show full text]
  • Canonical Quantization of the Self-Dual Model Coupled to Fermions∗
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server Canonical Quantization of the Self-Dual Model coupled to Fermions∗ H. O. Girotti Instituto de F´ısica, Universidade Federal do Rio Grande do Sul Caixa Postal 15051, 91501-970 - Porto Alegre, RS, Brazil. (March 1998) Abstract This paper is dedicated to formulate the interaction picture dynamics of the self-dual field minimally coupled to fermions. To make this possible, we start by quantizing the free self-dual model by means of the Dirac bracket quantization procedure. We obtain, as result, that the free self-dual model is a relativistically invariant quantum field theory whose excitations are identical to the physical (gauge invariant) excitations of the free Maxwell-Chern-Simons theory. The model describing the interaction of the self-dual field minimally cou- pled to fermions is also quantized through the Dirac-bracket quantization procedure. One of the self-dual field components is found not to commute, at equal times, with the fermionic fields. Hence, the formulation of the in- teraction picture dynamics is only possible after the elimination of the just mentioned component. This procedure brings, in turns, two new interac- tions terms, which are local in space and time while non-renormalizable by power counting. Relativistic invariance is tested in connection with the elas- tic fermion-fermion scattering amplitude. We prove that all the non-covariant pieces in the interaction Hamiltonian are equivalent to the covariant minimal interaction of the self-dual field with the fermions. The high energy behavior of the self-dual field propagator corroborates that the coupled theory is non- renormalizable.
    [Show full text]
  • Arxiv:Math-Ph/9812022 V2 7 Aug 2000
    Local quantum constraints Hendrik Grundling Fernando Lledo´∗ Department of Mathematics, Max–Planck–Institut f¨ur Gravitationsphysik, University of New South Wales, Albert–Einstein–Institut, Sydney, NSW 2052, Australia. Am M¨uhlenberg 1, [email protected] D–14476 Golm, Germany. [email protected] AMS classification: 81T05, 81T10, 46L60, 46N50 Abstract We analyze the situation of a local quantum field theory with constraints, both indexed by the same set of space–time regions. In particular we find “weak” Haag–Kastler axioms which will ensure that the final constrained theory satisfies the usual Haag–Kastler axioms. Gupta– Bleuler electromagnetism is developed in detail as an example of a theory which satisfies the “weak” Haag–Kastler axioms but not the usual ones. This analysis is done by pure C*– algebraic means without employing any indefinite metric representations, and we obtain the same physical algebra and positive energy representation for it than by the usual means. The price for avoiding the indefinite metric, is the use of nonregular representations and complex valued test functions. We also exhibit the precise connection with the usual indefinite metric representation. We conclude the analysis by comparing the final physical algebra produced by a system of local constrainings with the one obtained from a single global constraining and also consider the issue of reduction by stages. For the usual spectral condition on the generators of the translation group, we also find a “weak” version, and show that the Gupta–Bleuler example satisfies it. arXiv:math-ph/9812022 v2 7 Aug 2000 1 Introduction In many quantum field theories there are constraints consisting of local expressions of the quantum fields, generally written as a selection condition for the physical subspace (p).
    [Show full text]
  • Lagrangian Constraint Analysis of First-Order Classical Field Theories with an Application to Gravity
    PHYSICAL REVIEW D 102, 065015 (2020) Lagrangian constraint analysis of first-order classical field theories with an application to gravity † ‡ Verónica Errasti Díez ,1,* Markus Maier ,1,2, Julio A. M´endez-Zavaleta ,1, and Mojtaba Taslimi Tehrani 1,§ 1Max-Planck-Institut für Physik (Werner-Heisenberg-Institut), Föhringer Ring 6, 80805 Munich, Germany 2Universitäts-Sternwarte, Ludwig-Maximilians-Universität München, Scheinerstrasse 1, 81679 Munich, Germany (Received 19 August 2020; accepted 26 August 2020; published 21 September 2020) We present a method that is optimized to explicitly obtain all the constraints and thereby count the propagating degrees of freedom in (almost all) manifestly first-order classical field theories. Our proposal uses as its only inputs a Lagrangian density and the identification of the a priori independent field variables it depends on. This coordinate-dependent, purely Lagrangian approach is complementary to and in perfect agreement with the related vast literature. Besides, generally overlooked technical challenges and problems derived from an incomplete analysis are addressed in detail. The theoretical framework is minutely illustrated in the Maxwell, Proca and Palatini theories for all finite d ≥ 2 spacetime dimensions. Our novel analysis of Palatini gravity constitutes a noteworthy set of results on its own. In particular, its computational simplicity is visible, as compared to previous Hamiltonian studies. We argue for the potential value of both the method and the given examples in the context of generalized Proca and their coupling to gravity. The possibilities of the method are not exhausted by this concrete proposal. DOI: 10.1103/PhysRevD.102.065015 I. INTRODUCTION In this work, we focus on singular classical field theories It is hard to overemphasize the importance of field theory that are manifestly first order and analyze them employing in high-energy physics.
    [Show full text]
  • On Gauge Fixing and Quantization of Constrained Hamiltonian Systems
    BEFE IC/89/118 INTERIMATIOIMAL CENTRE FOR THEORETICAL PHYSICS ON GAUGE FIXING AND QUANTIZATION OF CONSTRAINED HAMILTONIAN SYSTEMS Omer F. Dayi INTERNATIONAL ATOMIC ENERGY AGENCY UNITED NATIONS EDUCATIONAL, SCIENTIFIC AND CULTURAL ORGANIZATION 1989 MIRAMARE-TRIESTE IC/89/118 International Atomic Energy Agency and United Nations Educational Scientific and Cultural Organization INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS Quantization of a classical Hamiltonian system can be achieved by the canonical quantization method [1]. If we ignore the ordering problems, it consists of replacing the classical Poisson brackets by quantum commuta- tors when classically all the states on the phase space are accessible. This is no longer correct in the presence of constraints. An approach due to Dirac ON GAUGE FIXING AND QUANTIZATION [2] is widely used for quantizing the constrained Hamiltonian systems |3|, OF CONSTRAINED HAMILTONIAN SYSTEMS' [4]. In spite of its wide use there is confusion in the application of it in the physics literature. Obtaining the Hamiltonian which Bhould be used in gauge theories is not well-understood. This derives from the misunder- standing of the gauge fixing procedure. One of the aims of this work is to OmerF.Dayi" clarify this issue. The constraints, which are present when there are some irrelevant phase International Centre for Theoretical Physics, Trieste, Italy. space variables, can be classified as first and second class. Second class constraints are eliminated by altering some of the original Poisson bracket relations which is equivalent to imply the vanishing of the constraints as strong equations by using the Dirac procedure [2] or another method |Sj. ABSTRACT Vanishing of second class constraints strongly leads to a reduction in the number of the phase apace variables.
    [Show full text]
  • Characteristic Hypersurfaces and Constraint Theory
    Characteristic Hypersurfaces and Constraint Theory Thesis submitted for the Degree of MSc by Patrik Omland Under the supervision of Prof. Stefan Hofmann Arnold Sommerfeld Center for Theoretical Physics Chair on Cosmology Abstract In this thesis I investigate the occurrence of additional constraints in a field theory, when formulated in characteristic coordinates. More specifically, the following setup is considered: Given the Lagrangian of a field theory, I formulate the associated (instantaneous) Hamiltonian problem on a characteristic hypersurface (w.r.t. the Euler-Lagrange equations) and find that there exist new constraints. I then present conditions under which these constraints lead to symplectic submanifolds of phase space. Symplecticity is desirable, because it renders Hamiltonian vector fields well-defined. The upshot is that symplecticity comes down to analytic rather than algebraic conditions. Acknowledgements After five years of study, there are many people I feel very much indebted to. Foremost, without the continuous support of my parents and grandparents, sister and aunt, for what is by now a quarter of a century I would not be writing these lines at all. Had Anja not been there to show me how to get to my first lecture (and in fact all subsequent ones), lord knows where I would have ended up. It was through Prof. Cieliebaks inspiring lectures and help that I did end up in the TMP program. Thank you, Robert, for providing peculiar students with an environment, where they could forget about life for a while and collectively find their limits, respectively. In particular, I would like to thank the TMP lonely island faction.
    [Show full text]
  • Structure of Constrained Systems in Lagrangian Formalism and Degree of Freedom Count
    Structure of Constrained Systems in Lagrangian Formalism and Degree of Freedom Count Mohammad Javad Heidaria,∗ Ahmad Shirzada;b† a Department of Physics, Isfahan University of Technology b School of Particles and Accelerators, Institute for Research in Fundamental Sciences (IPM), P.O.Box 19395-5531, Tehran, Iran March 31, 2020 Abstract A detailed program is proposed in the Lagrangian formalism to investigate the dynam- ical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we introduce the notions of first class and second class Lagrangian constraints. We show each sequence of first class constraints leads to a Neother identity and consequently to a gauge transformation. We give a general formula for counting the dynamical variables in Lagrangian formalism. As the main advantage of Lagrangian approach, we show the whole procedure can also be per- formed covariantly. Several examples are given to make our Lagrangian approach clear. 1 Introduction Since the pioneer work of Dirac [1] and subsequent forerunner papers (see Refs. [2,3,4] arXiv:2003.13269v1 [physics.class-ph] 30 Mar 2020 for a comprehensive review), people are mostly familiar with the constrained systems in the framework of Hamiltonian formulation. The powerful tool in this framework is the algebra of Poisson brackets of the constraints. As is well-known, the first class constraints, which have weakly vanishing Poisson brackets with all constraints, generate gauge transformations. ∗[email protected][email protected] 1 However, there is no direct relation, in the general case, to show how they do this job.
    [Show full text]
  • An Extension of the Dirac and Gotay-Nester Theories of Constraints for Dirac Dynamical Systems
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Servicio de Difusión de la Creación Intelectual An extension of the Dirac and Gotay-Nester theories of constraints for Dirac dynamical systems Hern´anCendraa;1, Mar´ıaEtchechouryb and Sebasti´anJ. Ferraroc a Departamento de Matem´atica Universidad Nacional del Sur, Av. Alem 1253 8000 Bah´ıaBlanca and CONICET, Argentina. [email protected] b Laboratorio de Electr´onicaIndustrial, Control e Instrumentaci´on, Facultad de Ingenier´ıa,Universidad Nacional de La Plata and Departamento de Matem´atica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata. CC 172, 1900 La Plata, Argentina. [email protected] c Departamento de Matem´aticaand Instituto de Matem´aticaBah´ıaBlanca Universidad Nacional del Sur, Av. Alem 1253 8000 Bah´ıaBlanca, and CONICET, Argentina [email protected] Abstract This paper extends the Gotay-Nester and the Dirac theories of constrained systems in order to deal with Dirac dynamical systems in the integrable case. In- tegrable Dirac dynamical systems are viewed as constrained systems where the constraint submanifolds are foliated, the case considered in Gotay-Nester theory being the particular case where the foliation has only one leaf. A Constraint Al- gorithm for Dirac dynamical systems (CAD), which extends the Gotay-Nester algorithm, is developed. Evolution equations are written using a Dirac bracket adapted to the foliations and an abridged total energy which coincides with the total Hamiltonian in the particular case considered by Dirac. The interesting example of LC circuits is developed in detail. The paper emphasizes the point of view that Dirac and Gotay-Nester theories are dual and that using a com- bination of results from both theories may have advantages in dealing with a given example, rather than using systematically one or the other.
    [Show full text]