Local infimum in optimal control
Pith reviewed 2026-05-25 19:51 UTC · model grok-4.3
The pith
Local infima in optimal control problems admit existence theorems and maximum-principle conditions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A local infimum is defined for an optimal control problem to extend the notion of an optimal process. An existence theorem is proved for local infima, and necessary conditions resembling maximum principles are derived, with examples showing these conditions extend and strengthen classical results in the field.
What carries the argument
The definition of local infimum, which supports an existence theorem and the derivation of maximum-principle-like necessary conditions.
Load-bearing premise
The definition of local infimum is well-posed and the underlying optimal control problem satisfies the regularity or compactness conditions needed for the existence theorem and the derivation of the maximum-principle-like conditions to hold.
What would settle it
An optimal control problem meeting the regularity conditions where no local infimum exists, or where a local infimum violates the derived necessary conditions.
read the original abstract
The concept of a local infimum for an optimal control problem is introduced. This definition extends that of an optimal process. For a~local infimum we prove an existence theorem and derive necessary conditions that resemble some family of "maximum principles". Examples are given to demostrate the meaningfulness of the necessary conditions obtained in the present paper, which extend and strengthen the classical results in this field.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the concept of a local infimum for an optimal control problem, extending the notion of an optimal process. It proves an existence theorem for local infima and derives necessary conditions resembling a family of maximum principles. Examples are given to demonstrate the meaningfulness of the obtained conditions and how they extend and strengthen classical results.
Significance. If the results hold, the work extends optimal control theory to local infima, which may apply when global optima are not attained, and strengthens necessary conditions beyond classical maximum principles. The examples provide concrete validation. The approach is a direct mathematical derivation with no free parameters or fitted quantities.
major comments (1)
- [§2–§3] §2 (Definition of local infimum) and §3 (Existence theorem): the existence result and the subsequent derivation of necessary conditions both require explicit regularity and compactness hypotheses on the dynamics, cost, and admissible set (e.g., weak compactness in L^1 or appropriate function spaces). These hypotheses are not stated with sufficient precision to verify that the claimed generality holds; without them the central theorems are not load-bearing.
minor comments (2)
- [Abstract] Abstract: 'demostrate' is a typographical error.
- [§4] Notation for the local-infimum definition should be cross-referenced explicitly when used in the necessary-conditions statement.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comment. We address the major point below and will revise the paper accordingly.
read point-by-point responses
-
Referee: [§2–§3] §2 (Definition of local infimum) and §3 (Existence theorem): the existence result and the subsequent derivation of necessary conditions both require explicit regularity and compactness hypotheses on the dynamics, cost, and admissible set (e.g., weak compactness in L^1 or appropriate function spaces). These hypotheses are not stated with sufficient precision to verify that the claimed generality holds; without them the central theorems are not load-bearing.
Authors: We agree that the hypotheses require more explicit and precise formulation to allow verification of the claimed generality. In the revised version we will insert, at the beginning of §2 and again in the statement of the existence theorem in §3, a self-contained list of the standing regularity assumptions on the dynamics, the cost integrand, and the admissible control set, together with the precise compactness requirement (weak compactness in L^1 for the controls and appropriate weak-* compactness for the trajectories). These additions will be cross-referenced in the proofs so that every invocation of compactness or regularity is traceable to an explicitly stated hypothesis. revision: yes
Circularity Check
No circularity: direct introduction of definition followed by independent existence theorem and necessary conditions.
full rationale
The paper introduces the concept of local infimum as an extension of an optimal process, then proves an existence theorem and derives necessary conditions resembling maximum principles. No steps reduce by construction to inputs via self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained against external benchmarks in optimal control theory, with the central claims resting on the new definition and standard regularity assumptions rather than circular reduction. This is the expected outcome for a theoretical derivation paper.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, a nd E. F. Mishchenko, The mathematical theory of optimal processes, Interscienc e Publishers, John Wiley & Sons, Inc., New York–London 1962
work page 1962
-
[2]
R. V. Gamkrelidze, Principles of optimal control theory , Tbilisi University Pub- lishing House, Tbilisi 1977, English transl., rev. ed., Mat h. Concepts Methods Sci. Eng., vol. 7, Plenum Press, New York–London 1978,
work page 1977
-
[3]
Some questions of optimal control theor y
A. F. Filippov, “Some questions of optimal control theor y”, Vest. Moskov. Univ. Ser. Mat. Mekh. Astron. Fiz. Khim., 1959, no. 2, 25–32
work page 1959
-
[4]
An implicit-funct ion theorem for inclu- sions
E. R. A vakov, G. G. Magaril-Il’yaev, “An implicit-funct ion theorem for inclu- sions”, Mat. Zametki, 91:6 (2012), 813–818; Math. Notes, 91 :6 (2012), 764–769
work page 2012
-
[5]
V. M. Alekseev, V. M. Tikhomirov, and S. V. Fomin, Optimal control, Contemp. Soviet Math., Consultants Bureau, New York, 1987
work page 1987
-
[6]
Lagrange’s prin- ciple in extremum problems with constraints
E. R. A vakov, G. G. Magaril-Il’yaev, and V. M. Tikhomirov , “Lagrange’s prin- ciple in extremum problems with constraints”, Uspekhi Mat. Nauk, 68:3(411) (2013), 5–38; Russian Math. Surveys, 68:3 (2013), 401–433
work page 2013
-
[7]
V. A. Zorich, Mathematical analysis, vol. II, Nauka, Mos cow 1984; English transl., Universitext, Springer-Verlag, Berlin 2004. 36
work page 1984
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.