@article{AIHPA_1980__32_1_1_0, author = {Gotay, Mark J. and Nester, James M.}, title = {Presymplectic lagrangian systems. {II} : the second-order equation problem}, journal = {Annales de l'institut Henri Poincar\'e. Section A, Physique Th\'eorique}, pages = {1--13}, publisher = {Gauthier-Villars}, volume = {32}, number = {1}, year = {1980}, zbl = {0453.58016}, mrnumber = {574809}, language = {en}, url = {http://archive.numdam.org/item/AIHPA_1980__32_1_1_0/} }

TY - JOUR AU - Gotay, Mark J. AU - Nester, James M. TI - Presymplectic lagrangian systems. II : the second-order equation problem JO - Annales de l'institut Henri Poincaré. Section A, Physique Théorique PY - 1980 SP - 1 EP - 13 VL - 32 IS - 1 PB - Gauthier-Villars UR - http://archive.numdam.org/item/AIHPA_1980__32_1_1_0/ UR - https://zbmath.org/?q=an%3A0453.58016 UR - https://www.ams.org/mathscinet-getitem?mr=574809 LA - en ID - AIHPA_1980__32_1_1_0 ER -

Gotay, Mark J.; Nester, James M. Presymplectic lagrangian systems. II : the second-order equation problem. Annales de l'institut Henri Poincaré. Section A, Physique Théorique, Volume 32 (1980) no. 1, pp. 1-13. http://archive.numdam.org/item/AIHPA_1980__32_1_1_0/

[1] Presymplectic Lagrangian Systems I: The Constrain, Algorithm and the Equivalence Theorem. Ann. Inst. H. Poincaré, t. A 30, 1979t p. 129. | Numdam | MR | Zbl

and ,[2] Presymplectic Hamilton and Lagrange Systems, Gauge Transformations and the Dirac Theory of Constraints, in Proc. of the VIIth Intl. Colloq. on Group Theoretical Methods in Physics, Austin. 1978,Lecture Notes in Physics. Springer-Verlag, Berlin, t. 94, 1979, p. 272.

and ,[3] Generalized Constraint Algorithm and Special Presymplectic Manifolds, to appear in the Proc. of the NSF-CBMS Regional Conference on Geometric Methods in Mathematical Physics, Lowell, 1979. | MR | Zbl

and ,[4] Presymplectic Manifolds, Geometric Constraint Theory and the Dirac-Bergmann Theory of Constraints, Dissertation, Univ. of Maryland, 1979 (unpu blished).

,[5] Invariant Derivation of the Euler-Lagrange Equations (unpublished).

,[6] Ann. Inst. H. Poincaré, t. A 11, 1969, p. 393. | Numdam | MR | Zbl

,[7] For example, take L = (1 + y)v2x - zx2 + y on TQ = TR3.

[8] Throughout this paper, we assume for simplicity that all physical systems under consideration have a finite number of degrees of freedom; however, all of the theory developed in this paper can be applied when this restriction is removed with little or no modification. For details concerning the infinite-dimensional case, see references [3], [4] and [12].

[9] Ann. Inst. Fourier (Grenoble), t. 12, 1962, p. 1; Symposia Mathematica XIV (Rome Conference on Symplectic Manifolds), 1973, p. 181. | MR

,[10] Géométrie Différentielle et Mécanique Analytique (Hermann, Paris, 1969). | MR | Zbl

,[11] C. R. Acad. Sci. Paris, A 281, 1975, p. 643 ; A 282, 1976, p. 1307. | Zbl

,[12] Presymplectic Manifolds and the Dirac-Bergmann Theory of Constraints. J. Math. Phys., t. 19, 1978, p. 2388. | MR | Zbl

, and ,[13] Elsewhere [3] we have developed a technique which will construct such an S-if it exists-for a completely general Lagrangian canonical system. However, the corresponding second-order equation X on S need not be smooth if (TQ, Ω, P) is not admissible.

[14] The requirement of admissibility is slightly weaker than that of almost regularity, cf. [1].

[15] This is the case, e. g., in electromagnetism, cf. [4].

[16] Nonetheless, by utilizing the technique alluded to in [13], it is possible to construct a unique maximal submanifold S' with the desired properties for any Lagrangian system whatsoever. However, unless the existence of S' actually follows from the Second-Order Equation Theorem, one is guaranteed neither that S' will be nonempty nor that the associated second-order equation X on S' will be smooth.

[17] With regard to the constructions of reference [1], one is effectively replacing « almost regular» by « admissible » and (FL(TQ), ω1, dH1) by (L, Ω, d'E).

[18] This proposition has the following useful corollary: if a solution of (3.5) is globally a second-order equation (i. e. (3.2) is satisfied on all of P), then it is not semi-prolongable, cf. [15].