Discrete Lagrange problems with constraints valued in a Lie group

The Lagrange problem is established in the discrete field theory subject to constraints with values in a Lie group. For the admissible sections that satisfy a certain regularity condition, we prove that the critical sections of such problems are the solutions of a canonically unconstrained variational problem associated with the Lagrange problem (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. The whole theory is applied to the Euler-Poincare reduction in the discrete field theory, concluding as an illustration with the remarkable example of the harmonic maps of the discrete plane in the Lie group SO(n).(c) 2023 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).