A Unified Regularity Condition for Optimal Control: Bridging LICQ, MFCQ, and Subdifferentials
Abstract
This paper presents a unified derivation of transversality conditions in optimal control problems using exact penalty functions. The key regularity condition is that the origin is uniformly separated from the subdifferential of the penalty function in a neighborhood of the admissible set. This condition, hereafter referred to as the Unified Separation Condition (USC), generalizes the classical Mangasarian--Fromovitz condition for inequalities and linear independence of gradients for equalities: in the smooth case, LICQ and MFCQ imply USC (for inequalities, the implication follows from Gordan's theorem). Unlike classical regularity conditions, which require differentiability of the active constraints, USC remains applicable when the terminal constraints are nondifferentiable, where LICQ and MFCQ are not defined; the converse implication does not hold in general. Assuming exactness, we derive transversality conditions for all major cases: fixed and free terminal time, equality and inequality constraints, moving manifolds, and free left endpoint. The approach yields these classical results in a concise and transparent manner, avoiding the need for constructing cones of endpoint variations or applying separation theorems. From the computational perspective, the exact penalty formulation allows the differential constraints to be eliminated from the optimization entirely, so that only the cost functional and the terminal constraints are penalized. A numerical implementation for the time-optimal control of a harmonic oscillator confirms the practical applicability of the approach: the computed optimal time agrees with the analytical value obtained via Pontryagin's maximum principle to high accuracy. This establishes USC as a unifying regularity concept encompassing classical LICQ and MFCQ and extending naturally to nonsmooth settings.
Related
- Topology and regularity of small sub-Riemannian balls under an index condition
- The Unified Separation Condition: A General Constraint Qualification for Smooth and Nonsmooth Optimization
- Optimal regularity of optimal transport and degenerations of convex cones
- Almost-optimal bulk regularity conditions in the CLT for GβE
- Optimal regularity for vectorial, higher order and non-minimizing Bernoulli problems
BibTeX
@misc{abbasov2026unified,
title = {{A Unified Regularity Condition for Optimal Control: Bridging LICQ, MFCQ, and Subdifferentials}},
author = {Majid Abbasov},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2605.00311},
eprint = {2605.00311},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.00311},
}
RIS
TY - UNPB
TI - A Unified Regularity Condition for Optimal Control: Bridging LICQ, MFCQ, and Subdifferentials
AU - Majid Abbasov
PY - 2026
DA - 2026/10/03
PB - arXiv
DO - 10.48550/arxiv.2605.00311
UR - https://arxiv.org/abs/2605.00311
AB - This paper presents a unified derivation of transversality conditions in optimal control problems using exact penalty functions. The key regularity condition is that the origin is uniformly separated from the subdifferential of the penalty function in a neighborhood of the admissible set. This condition, hereafter referred to as the Unified Separation Condition (USC), generalizes the classical Mangasarian--Fromovitz condition for inequalities and linear independence of gradients for equalities: in the smooth case, LICQ and MFCQ imply USC (for inequalities, the implication follows from Gordan's theorem). Unlike classical regularity conditions, which require differentiability of the active constraints, USC remains applicable when the terminal constraints are nondifferentiable, where LICQ and MFCQ are not defined; the converse implication does not hold in general. Assuming exactness, we derive transversality conditions for all major cases: fixed and free terminal time, equality and inequality constraints, moving manifolds, and free left endpoint. The approach yields these classical results in a concise and transparent manner, avoiding the need for constructing cones of endpoint variations or applying separation theorems. From the computational perspective, the exact penalty formulation allows the differential constraints to be eliminated from the optimization entirely, so that only the cost functional and the terminal constraints are penalized. A numerical implementation for the time-optimal control of a harmonic oscillator confirms the practical applicability of the approach: the computed optimal time agrees with the analytical value obtained via Pontryagin's maximum principle to high accuracy. This establishes USC as a unifying regularity concept encompassing classical LICQ and MFCQ and extending naturally to nonsmooth settings.
ER -