The problem of Lagrange in discrete field theory

JOURNAL OF GEOMETRY AND PHYSICS

卷:146

Article

Chacon, Pablo M.^1,2  Fernandez, Antonio^3,4  Garcia, Pedro L.^5,6  Rodrigo, Cesar^7,8 

[1] Univ Salamanca, IUFFyM, Plaza Merced 1-4, E-37008 Salamanca, Spain

[2] Univ Salamanca, Dept Matemat, Plaza Merced 1-4, E-37008 Salamanca, Spain

[3] Univ Salamanca, IUFFyM, Casas Parque 2, E-37008 Salamanca, Spain

[4] Univ Salamanca, Dept Matemat Aplicada, Casas Parque 2, E-37008 Salamanca, Spain

[5] USAL, IUFFyM, Plaza Merced 1-4, Salamanca 37008, Spain

[6] Real Acad Ciencias, Plaza Merced 1-4, Salamanca 37008, Spain

[7] CMAF CIO, Av Conde Castro Guimaraes 27, P-20113 Amadora, Portugal

[8] CINAMIL, Av Conde Castro Guimaraes 27, P-20113 Amadora, Portugal

关键词: Discrete Lagrange problems;    Abstract cellular complexes;    Discrete Cartan forms;    Discrete Noether theorem;    Variational integrators;   

DOI  :  10.1016/j.geomphys.2019.103511

来源: Elsevier

【 摘 要 】

A discrete Lagrange problem in a fibered manifold on a cellular complex is defined as a Lagrangian density and a constraint submanifold in the 1-jets space of the manifold. After defining the concepts of admissible section and infinitesimal admissible variation, the aim of these problems is to find admissible sections that are critical for the action functional of the Lagrangian density with respect to the infinitesimal admissible variations. For admissible sections satisfying a certain regularity condition, we prove that such critical sections are the solutions of an extended unconstrained discrete variational problem canonically associated to the problem of Lagrange (discrete Lagrange multiplier rule). This variational problem has a discrete Cartan 1-form, from which a Noether theory of symmetries and a multisymplectic form formula are established for the discrete Lagrange problems considered. Finally, the whole theory is illustrated with an example of geometric interest: the discrete harmonic 1-forms on the elliptic or hyperbolic discrete plane, for which we obtain two explicit variational integrators: one with initial conditions (Cauchy problem) and other with boundary conditions (Dirichlet problem). (C) 2019 Elsevier B.V. All rights reserved.

【 授权许可】

Free