pith. sign in

arxiv: 2605.00311 · v1 · submitted 2026-05-01 · 🧮 math.OC · math.CA

A Unified Regularity Condition for Optimal Control: Bridging LICQ, MFCQ, and Subdifferentials

Majid Abbasov This is my paper

Pith reviewed 2026-05-09 19:34 UTC · model grok-4.3

classification 🧮 math.OC math.CA
keywords optimal controltransversality conditionsexact penalty functionsconstraint qualificationssubdifferentialsLICQMFCQnonsmooth constraints
0
0 comments X

The pith

A single separation condition on the subdifferential of an exact penalty function unifies classical constraint qualifications and derives transversality conditions for optimal control problems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper shows that requiring the origin to stay uniformly separated from the subdifferential of an exact penalty function near the admissible set gives one regularity condition that covers both smooth and nonsmooth constraints. The condition, called USC, reduces to the Mangasarian-Fromovitz condition for inequalities and the linear independence condition for equalities when everything is differentiable, as confirmed by Gordan's theorem. If the separation holds, the necessary transversality conditions at the endpoint follow directly for fixed or free terminal time, equality or inequality constraints, moving manifolds, and free initial points. A reader would care because the same argument works without building separate cones of variations or invoking separation theorems case by case, and it extends to settings where older qualifications are undefined.

Core claim

The paper claims that the origin is uniformly separated from the subdifferential of the penalty function in a neighborhood of the admissible set. This Unified Separation Condition (USC) generalizes the classical Mangasarian-Fromovitz constraint qualification for inequalities and the linear independence constraint qualification for equalities; the classical conditions are equivalent to USC in the smooth case via Gordan's theorem. Assuming exactness of the penalty, the condition produces transversality conditions for all major endpoint configurations in a uniform derivation that avoids cones and separation theorems.

What carries the argument

The Unified Separation Condition (USC): the origin is uniformly separated from the subdifferential of the exact penalty function in a neighborhood of the admissible set.

If this is right

  • Transversality conditions are obtained for both fixed and free terminal times.
  • The same derivation covers equality and inequality constraints together.
  • Results extend to problems with moving terminal manifolds and free left endpoints.
  • The condition applies when constraint functions are nondifferentiable.
  • Numerical penalty-based solutions match the exact transversality conditions from the maximum principle.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The separation view may let solvers check regularity by monitoring the subdifferential numerically before optimization.
  • Similar penalty constructions could unify necessary conditions in problems with state constraints or infinite-dimensional controls.
  • The approach suggests that exactness plus separation is the minimal structure needed to replace multiple classical qualifications at once.

Load-bearing premise

The penalty function must be exact and the origin must remain uniformly separated from its subdifferential near every point of the admissible set.

What would settle it

An optimal control problem where the uniform separation holds yet the derived transversality conditions disagree with those obtained from Pontryagin's maximum principle, or a problem satisfying classical LICQ or MFCQ where the separation fails.

Figures

Figures reproduced from arXiv: 2605.00311 by Majid Abbasov.

Figure 1
Figure 1. Figure 1: Phase portrait of the optimal trajectory. The motion starts at (2 view at source ↗
Figure 2
Figure 2. Figure 2: Optimal trajectory (position x1 and velocity x2) and control u for the harmonic oscillator problem, obtained by the exact penalty method with N = 200, Topt = 2.41237. The control exhibits a bang–bang structure with a single switching, and the velocity vanishes at the terminal time. 9 Conclusions In this paper we have presented a unified derivation of transversality conditions in optimal control problems us… view at source ↗
read the original 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, these classical conditions are equivalent to USC, as shown via Gordan's theorem. The USC remains applicable even when constraint functions are nondifferentiable, where classical constraint qualifications are not defined. 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. Remarkably, this approach yields these classical results in a concise and transparent manner, avoiding the need for constructing cones of endpoint variations or applying separation theorems. The theoretical results are complemented by a numerical implementation applied to the time-optimal control of a harmonic oscillator. The numerical implementation converges to the exact solution obtained via Pontryagin's maximum principle combined with transversality conditions, confirming the consistency and practical applicability of the proposed methodology.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The paper introduces a Unified Separation Condition (USC) stating that the origin is uniformly separated from the subdifferential of an exact penalty function in a neighborhood of the admissible set. This condition is claimed to generalize LICQ for equalities and MFCQ for inequalities; in the smooth case the equivalence follows from Gordan's theorem. Assuming exactness of the penalty, the USC is used to derive transversality conditions concisely for optimal control problems covering fixed/free terminal time, equality/inequality constraints, moving manifolds, and free left endpoint, without explicit cone constructions or separation theorems. A numerical example on time-optimal control of the harmonic oscillator is provided to illustrate consistency with Pontryagin's maximum principle.

Significance. If the USC can be shown to support exact penalization and the claimed derivations without additional hidden assumptions, the framework would offer a compact, unified route to transversality conditions that extends naturally to nonsmooth constraints where classical CQs are undefined. The avoidance of variation cones and the direct numerical validation against PMP are concrete strengths that could simplify both theoretical and computational work in optimal control.

major comments (3)
  1. [Abstract] Abstract and the statement of the main results: exactness of the penalty function is assumed separately to derive the transversality conditions, yet no argument is given that USC itself implies exactness (i.e., that the penalized problem shares the same minimizers for some finite penalty parameter). This assumption is load-bearing for the claim that USC unifies and extends the classical conditions to nondifferentiable cases.
  2. [Derivation of transversality conditions (all endpoint cases)] The section deriving transversality conditions for the various endpoint cases: while the separation property is invoked to obtain the necessary conditions, the argument does not explicitly verify that the uniform separation persists under the USC when the constraint functions are merely subdifferentiable rather than smooth, leaving open whether the derivation remains valid without additional regularity.
  3. [Numerical implementation] Numerical example section: the harmonic-oscillator test recovers the known PMP solution, but the example uses smooth dynamics and constraints where LICQ/MFCQ already hold; it therefore does not provide evidence that USC yields new results or remains sufficient in regimes where classical CQs fail.
minor comments (2)
  1. [Definition of USC] The definition of the admissible set and the precise neighborhood in which the uniform separation is required should be stated with an explicit radius or open set to avoid ambiguity in the USC statement.
  2. [Introduction] A short comparison table or paragraph contrasting the USC with the standard statements of LICQ and MFCQ would improve readability for readers familiar with classical constraint qualifications.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the thorough and constructive review. The comments highlight important points regarding the assumptions, generality, and illustrative aspects of the work. We address each major comment below and outline the planned revisions.

read point-by-point responses

  1. Referee: [Abstract] Abstract and the statement of the main results: exactness of the penalty function is assumed separately to derive the transversality conditions, yet no argument is given that USC itself implies exactness (i.e., that the penalized problem shares the same minimizers for some finite penalty parameter). This assumption is load-bearing for the claim that USC unifies and extends the classical conditions to nondifferentiable cases.

    Authors: We agree that exact penalization is introduced as a standing assumption rather than derived from the USC. The manuscript uses USC to obtain the transversality conditions once exactness is granted, and the unification with LICQ/MFCQ is shown in the smooth case via Gordan's theorem. In the revision we will add a dedicated remark clarifying the logical separation between USC (as a regularity condition ensuring separation from the subdifferential) and the exact-penalty hypothesis, together with references to existing results on exact penalization in nonsmooth optimization that indicate when such separation supports exactness. A full self-contained proof that USC alone implies exactness for arbitrary subdifferentiable constraints lies beyond the present scope and will be noted as such. revision: partial

  2. Referee: [Derivation of transversality conditions (all endpoint cases)] The section deriving transversality conditions for the various endpoint cases: while the separation property is invoked to obtain the necessary conditions, the argument does not explicitly verify that the uniform separation persists under the USC when the constraint functions are merely subdifferentiable rather than smooth, leaving open whether the derivation remains valid without additional regularity.

    Authors: The USC is stated directly in terms of the Clarke subdifferential of the penalty function, which is defined for subdifferentiable (not necessarily smooth) constraint functions. The uniform separation hypothesis is imposed in a neighborhood of the admissible set and is used via standard subdifferential calculus rules; no smoothness of the original constraints is invoked in the separation argument itself. We will insert an explicit sentence in the derivation section confirming that the reasoning relies only on the subdifferential formulation of USC and therefore carries over verbatim to the nondifferentiable setting. revision: yes

  3. Referee: [Numerical implementation] Numerical example section: the harmonic-oscillator test recovers the known PMP solution, but the example uses smooth dynamics and constraints where LICQ/MFCQ already hold; it therefore does not provide evidence that USC yields new results or remains sufficient in regimes where classical CQs fail.

    Authors: The example is presented solely to verify that the transversality conditions obtained via USC reproduce the classical PMP solution in a smooth regime where both frameworks apply. We accept that it does not demonstrate USC in situations where LICQ or MFCQ are violated. In the revision we will add a short paragraph stating the illustrative purpose of the example and noting that numerical validation of USC for genuinely nonsmooth constraints is an interesting direction for future computational work. revision: partial

Circularity Check

0 steps flagged

No circularity: USC defined independently, equivalence via external Gordan theorem, exactness stated as separate assumption

full rationale

The paper defines the Unified Separation Condition (USC) directly as uniform separation of the origin from the subdifferential of the penalty function near the admissible set. Equivalence to LICQ/MFCQ in the smooth case is shown via the external Gordan theorem rather than by redefinition or self-reference. Transversality conditions are explicitly derived under the separate assumption of exactness of the penalty function, without claiming USC implies exactness. No load-bearing step reduces a claimed result to a fitted input, self-citation chain, or ansatz smuggled from prior work by the same authors. The derivation chain remains self-contained against standard results in nonsmooth analysis and optimal control.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the definition of the USC, the assumption that the penalty function is exact, and the invocation of Gordan's theorem for the smooth-case equivalence. No free parameters are introduced. The USC itself is the main new construct.

axioms (1)
  • standard math Gordan's theorem
    Invoked to establish equivalence between USC and classical LICQ/MFCQ in the smooth case.
invented entities (1)
  • Unified Separation Condition (USC) no independent evidence
    purpose: Provide a single regularity condition based on subdifferentials that works for both smooth and nonsmooth constraints
    Defined as uniform separation of the origin from the subdifferential of the exact penalty function near the admissible set.

pith-pipeline@v0.9.0 · 5515 in / 1312 out tokens · 26509 ms · 2026-05-09T19:34:13.337864+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

37 extracted references · 16 canonical work pages

  1. [1]

    M. E. Abbasov , Optimality conditions for an exhausterable function on an exhausterable set , Journal of Global Optimization, 76 (2020), pp. 57--67, https://doi.org/10.1007/s10898-019-00832-4

    work page doi:10.1007/s10898-019-00832-4 2020

  2. [2]

    M. E. Abbasov and V. F. Demyanov , Extremum conditions for a nonsmooth function in terms of exhausters and coexhausters , Proceedings of the Steklov Institute of Mathematics, 269 (2010), pp. 6--15, https://doi.org/10.1134/S0081543810060027

    work page doi:10.1134/s0081543810060027 2010

  3. [3]

    R. S. Burachik and A. Rubinov , Abstract convexity and augmented lagrangians , SIAM J. Optim., 18 (2007), pp. 413--436

    2007

  4. [4]

    J. V. Burke , A new exact penalty function , SIAM J. Optim., 9 (1999), pp. 682--702

    1999

  5. [5]

    Clarke , Optimization and Nonsmooth Analysis , Wiley-Interscience, New York, 1983

    F. Clarke , Optimization and Nonsmooth Analysis , Wiley-Interscience, New York, 1983

    1983

  6. [6]

    Colombo, B

    G. Colombo, B. S. Mordukhovich, and D. Nguyen , Optimization of a perturbed sweeping process by constrained discontinuous controls , SIAM J. Control Optim., 58 (2020), pp. 2678--2709

    2020

  7. [7]

    Courant , Variational methods for the solution of problems of equilibrium and vibrations , Bulletin of the American Mathematical Society, 49 (1943), pp

    R. Courant , Variational methods for the solution of problems of equilibrium and vibrations , Bulletin of the American Mathematical Society, 49 (1943), pp. 1--23

    1943

  8. [8]

    M. d. R. de Pinho, M. M. A. Ferreira, and G. Smirnov , Optimal control problem with regular mixed constraints via penalty functions , J. Optim. Theory Appl., 203 (2024), pp. 1564--1586, https://doi.org/10.1007/s10957-024-02510-6

    work page doi:10.1007/s10957-024-02510-6 2024

  9. [9]

    Demyanov , Conditions for an extremum in metric spaces , Journal of Global Optimization, 17 (2000), pp

    V. Demyanov , Conditions for an extremum in metric spaces , Journal of Global Optimization, 17 (2000), pp. 55--63

    2000

  10. [10]

    Demyanov , Conditions for Extremum and Calculus of Variations , Vysshaya Shkola, Moscow, 2005

    V. Demyanov , Conditions for Extremum and Calculus of Variations , Vysshaya Shkola, Moscow, 2005. in Russian

    2005

  11. [11]

    Demyanov, G

    V. Demyanov, G. Di Pillo, and F. Facchinei , Exact penalization via dini and hadamard conditional derivatives , Optimization Methods and Software, 9 (1998), pp. 19--36

    1998

  12. [12]

    Demyanov, F

    V. Demyanov, F. Giannessi, and V. Karelin , Optimal control problems via exact penalty functions , Journal of Global Optimization, 12 (1998), pp. 215--223

    1998

  13. [13]

    Demyanov and A

    V. Demyanov and A. Rubinov , Constructive Nonsmooth Analysis , Peter Lang Verlag, Frankfurt a/M, 1995

    1995

  14. [14]

    Demyanov and G

    V. Demyanov and G. Tamasyan , Exact penalty functions in isoperimetric problems , Optimization, 60 (2011), pp. 153--177

    2011

  15. [15]

    Dmitruk and N

    A. Dmitruk and N. Osmolovskii , Local minimum principle for an optimal control problem with a nonregular mixed constraint , SIAM Journal on Control and Optimization, 60 (2022), pp. 1919--1941, https://doi.org/10.1137/21M1411469

    work page doi:10.1137/21m1411469 2022

  16. [16]

    Dolgopolik , Exact penalty functions for optimal control problems ii: Exact penalisation of terminal and pointwise state constraints , arXiv preprint, arXiv:1909.09886 (2019)

    M. Dolgopolik , Exact penalty functions for optimal control problems ii: Exact penalisation of terminal and pointwise state constraints , arXiv preprint, arXiv:1909.09886 (2019)

    work page arXiv 1909

  17. [17]

    penalties

    I. Eremin , The method of "penalties" in convex programming , Soviet Mathematics Doklady, 143 (1967), pp. 748--751

    1967

  18. [18]

    Frankowska and N

    H. Frankowska and N. Osmolovskii , Second-order sufficient conditions, part 2: Weak local minima in an optimal control problem with a general control constraint , Systems and Control Letters, 182 (2023), p. 105673, https://doi.org/10.1016/j.sysconle.2023.105673

    work page doi:10.1016/j.sysconle.2023.105673 2023

  19. [19]

    M. A. Goberna and M. Volle , Duality for convex infinite optimization on linear spaces , Optim. Lett., 16 (2022), pp. 2501--2510, https://doi.org/10.1007/s11590-022-01865-x

    work page doi:10.1007/s11590-022-01865-x 2022

  20. [20]

    Gordan , Über die auflösungen linearer gleichungen mit reellen coefficienten , Mathematische Annalen, 6 (1873), pp

    P. Gordan , Über die auflösungen linearer gleichungen mit reellen coefficienten , Mathematische Annalen, 6 (1873), pp. 23--28

  21. [21]

    Hantoute, A

    A. Hantoute, A. Y. Kruger, and M. A. L \'o pez , Optimality conditions and subdifferential calculus for infinite sums of functions , J. Optim. Theory Appl., 208 (2026), p. 88, https://doi.org/10.1007/s10957-025-02916-w

    work page doi:10.1007/s10957-025-02916-w 2026

  22. [22]

    X. M. Hu and D. Ralph , Convergence of a penalty method for mathematical programming with complementarity constraints , J. Optim. Theory Appl., 123 (2004), pp. 365--390, https://doi.org/10.1007/s10957-004-5154-0

    work page doi:10.1007/s10957-004-5154-0 2004

  23. [23]

    A. D. Ioffe , Variational analysis of regular mappings , Springer Monographs in Mathematics, (2017), https://doi.org/10.1007/978-3-319-64277-2

    work page doi:10.1007/978-3-319-64277-2 2017

  24. [24]

    A. Y. Kruger , About regularity of collections of sets , Set-Valued Anal., 14 (2006), pp. 187--206, https://doi.org/10.1007/s11228-006-0014-8

    work page doi:10.1007/s11228-006-0014-8 2006

  25. [25]

    Mangasarian and S

    O. Mangasarian and S. Fromovitz , The fritz john necessary optimality conditions in the presence of equality and inequality constraints , Journal of Mathematical Analysis and Applications, 17 (1967), pp. 37--47

    1967

  26. [26]

    R. D. Mill \'a n, N. Sukhorukova, and J. Ugon , Variational properties of the abstract subdifferential operator , J. Optim. Theory Appl., 204 (2025), p. 14, https://doi.org/10.1007/s10957-024-02583-3

    work page doi:10.1007/s10957-024-02583-3 2025

  27. [27]

    Moiseev , Numerical Methods in the Theory of Optimal Systems , Nauka, Moscow, 1971

    N. Moiseev , Numerical Methods in the Theory of Optimal Systems , Nauka, Moscow, 1971. in Russian

    1971

  28. [28]

    B. S. Mordukhovich , Variational Analysis and Generalized Differentiation I : Basic Theory , vol. 330 of Fundamental Principles of Mathematical Sciences, Springer-Verlag, Berlin, 2006

    2006

  29. [29]

    B. S. Mordukhovich , Variational Analysis and Generalized Differentiation II : Applications , vol. 331 of Fundamental Principles of Mathematical Sciences, Springer-Verlag, Berlin, 2006

    2006

  30. [30]

    B. S. Mordukhovich , Second-order variational analysis in optimization, variational stability, and control: Theory, algorithms, applications , Springer Series in Operations Research and Financial Engineering, (2024), https://doi.org/10.1007/978-3-031-53476-8

    work page doi:10.1007/978-3-031-53476-8 2024

  31. [31]

    B. S. Mordukhovich and R. T. Rockafellar , Second-order subdifferential calculus with applications to tilt stability in optimization , SIAM J. Optim., 22 (2012), pp. 953--986

    2012

  32. [32]

    N. P. Osmolovskii and V. M. Veliov , On the strong subregularity of the optimality mapping in an optimal control problem with pointwise inequality control constraints , Applied Mathematics and Optimization, 87 (2023), https://doi.org/10.1007/s00245-022-09959-9

    work page doi:10.1007/s00245-022-09959-9 2023

  33. [33]

    Pontryagin, V

    L. Pontryagin, V. Boltyanskii, R. Gamkrelidze, and E. Mishchenko , The Mathematical Theory of Optimal Processes , Nauka, Moscow, 1983. in Russian; English translation: Wiley, 1962

    1983

  34. [34]

    Roshchina, N

    V. Roshchina, N. Sukhorukova, and J. Ugon , Uniqueness of solutions in multivariate chebyshev approximation problems , Optim. Lett., 18 (2024), pp. 33--55, https://doi.org/10.1007/s11590-023-02048-y

    work page doi:10.1007/s11590-023-02048-y 2024

  35. [35]

    Sukhorukova and J

    N. Sukhorukova and J. Ugon , A generalisation of de la Vall \'e e-Poussin procedure to multivariate approximations , Adv. Comput. Math., 48 (2022), p. 5, https://doi.org/10.1007/s10444-021-09919-x

    work page doi:10.1007/s10444-021-09919-x 2022

  36. [36]

    R. B. Vinter and G. Pappas , A maximum principle for nonsmooth optimal-control problems with state constraints , J. Math. Anal. Appl., 89 (1982), pp. 212--232

    1982

  37. [37]

    Zangwill , Nonlinear programming via penalty functions , Management Science, 13 (1967), pp

    W. Zangwill , Nonlinear programming via penalty functions , Management Science, 13 (1967), pp. 344--358

    1967