Dirac Structures and Reduction of Optimal Control Problems with Symmetries
Abstract
We study the symmetry reduction of optimal control problems using Dirac structures. The first-order conditions of the Pontryagin Maximum Principle are written as an implicit Dirac system on the Pontryagin bundle. For a problem invariant under a Lie group, we reduce both the Lagrange-Pontryagin variational principle and the underlying Dirac structure, and prove that they yield the same reduced equations, which we identify with the Hamiltonian equations on the dual of the Atiyah algebroid. Reconstruction, independence of the principal connection, and the relation between criticality and optimality complete the picture. Dropping regularity, we give the Gotay-Nester-Hinds constraint algorithm a Dirac-geometric form and prove that symmetry reduction commutes with it. For control-linear systems whose admissible directions are horizontal for a principal connection, abnormal extremals lie on the leaf where the base costate vanishes, and the first secondary constraint is the degeneracy of the curvature pairing. We also give a reduced criterion for strict abnormality and a metric-free index form. Examples: a spacecraft with rotors (flat connection), the Heisenberg group (nowhere-zero curvature) and the Martinet problem (curvature vanishing on a hypersurface).
Related
- OptimalControl.jl: a Julia package to model and solve optimal control problems with ODEs
- A Stochastic Optimization Approach to Control-Affine Optimal Control Problems
- Robust preconditioners for finite element approximations of control-state constrained optimal control problems governed by elliptic equations
- Connection between MP and DPP for Mean-Field Stochastic Optimal Control Problems
- On quantitative sufficient second-order optimality conditions for elliptic optimal control problems
BibTeX
@misc{ibort2026dirac,
title = {{Dirac Structures and Reduction of Optimal Control Problems with Symmetries}},
author = {A. Ibort and M. Leok and R. Salmoni and C. Sardón},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.31033},
eprint = {2610.31033},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.31033},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Dirac Structures and Reduction of Optimal Control Problems with Symmetries
AU - A. Ibort
AU - M. Leok
AU - R. Salmoni
AU - C. Sardón
PY - 2026
DA - 2026/10/22
PB - arXiv
DO - 10.48550/arxiv.2610.31033
UR - https://arxiv.org/abs/2610.31033
AB - We study the symmetry reduction of optimal control problems using Dirac structures. The first-order conditions of the Pontryagin Maximum Principle are written as an implicit Dirac system on the Pontryagin bundle. For a problem invariant under a Lie group, we reduce both the Lagrange-Pontryagin variational principle and the underlying Dirac structure, and prove that they yield the same reduced equations, which we identify with the Hamiltonian equations on the dual of the Atiyah algebroid. Reconstruction, independence of the principal connection, and the relation between criticality and optimality complete the picture. Dropping regularity, we give the Gotay-Nester-Hinds constraint algorithm a Dirac-geometric form and prove that symmetry reduction commutes with it. For control-linear systems whose admissible directions are horizontal for a principal connection, abnormal extremals lie on the leaf where the base costate vanishes, and the first secondary constraint is the degeneracy of the curvature pairing. We also give a reduced criterion for strict abnormality and a metric-free index form. Examples: a spacecraft with rotors (flat connection), the Heisenberg group (nowhere-zero curvature) and the Martinet problem (curvature vanishing on a hypersurface).
ER -