Necessary Optimality Conditions in Isoperimetric Constrained Optimal Control Problems

: In this paper, we focus on a new class of optimal control problems governed by a simple integral cost functional and isoperimetric-type constraints (constant level sets of some simple integral functionals). By using the notions of a variational differential system and adjoint equation, necessary optimality conditions are established for a feasible solution in the considered optimization problem. More precisely, under simpliﬁed hypotheses and using a modiﬁed Legendrian duality, we establish a maximum principle for the considered optimization problem.


Introduction
Currently, the optimal control theory is under continuous development. This theory is based on the optimization of some functionals with ordinary differential equations/partial differential equations (in short, ODE/PDE) constraints, all depending on the control functions (for variational control problems with first-order PDE constraints, the reader is directed to Mititelu and Treanţȃ [1], Treanţȃ [2,3], and Treanţȃ and Arana-Jiménez [4,5]). There are three approaches: variational calculus, the maximum principle, and dynamic programming. One of the most important approaches is the second (see Pontriaguine et al. [6]), providing necessary optimality conditions. Also, in additional conditions, from this principle one can derive the Euler-Lagrange or Hamilton equations (see Treanţȃ [7,8]). Noether-type theorems between symmetries and conservation laws for dynamical systems (governed by autonomous second-order Lagrangians) have been investigated in Treanţȃ [9]. The sufficient optimality conditions are more complicated and they have most frequently been formulated in simplified versions (see, for instance, Hestenes [10], Maurer and Pickenhain [11], Rosenblueth and Sanchez Licea [12,13], and Treanţȃ [14]). In [15], Agrachev et al. provided sufficient conditions for a bang-bang extremal (to be a strong local minimizer) in a Mayer control problem, where the state space and the end point constraints are finite-dimensional smooth submanifolds and the controls take values in a polyhedron and appear linearly. Caputo (see [16,17]) has developed fundamental identities linking the optimal solution functions and optimal value functions for reciprocal pairs of isoperimetric control problems. In Aronsson and Barron [18], Aronsson-Euler equations have been obtained for L ∞ variational problems with holonomic, nonholonomic, isoperimetric, and isosupremic constraints on the minimizer.
Motivated and inspired by the aforementioned research works, the main aim of this paper is to formulate and prove necessary optimality conditions for a feasible solution in isoperimetric-type constrained control problems. More precisely, by using the concepts of a variational differential system , adjoint equation and a modified Legendrian duality, under simplified hypotheses, we establish a maximum principle for the considered optimal control problem.
The optimal control problems with isoperimetric constraints are governed by some basic elements: (1) the control u(t) (arising in the objective functional and isoperimetric constraints) so that any change in the control u(t) involves a change in the state x(t), (2) the state equation (the isoperimetric constraints) provides the dependence between the control and the state, (3) the functional to be extremized, called the objective functional or the cost functional, depending on the control and the state. The goal is to find an admissible control that generates a satisfactory state and extremizes the value of the objective functional (the admissible control having this property is called optimal control in the considered optimization problem). For other ideas that are connected to this subject, the reader is directed to Evans [19], Kalaba and Spingarn [20,21], Lee and Markus [22], Barbu et al. [23], van Brunt [24], and Treanţȃ [25,26].

Problem Formulation and Auxiliary Results
In this section, we investigate the following optimization problem governed by simple integral objective functional and isoperimetric-type constraints: Our working hypotheses and notations are: , is a C 2 -class function (called the state variable), and the space U of all functions u : [0, t 0 ] → R k , where u(t) = (u α (t)), α = 1, k, is a piecewise continuous function (called the control variable), satisfying (2) and (3), which define the feasible set associated with (CP); X a (t, x(t),ẋ(t), u(t)) , a = 1, r, r ≤ n, are C 1 -class functions; the objective functional (non-autonomous Lagrange functional) X (t, x(t), u(t)) is a C 1 -class function.
Further, in order to study the previous optimal control problem, let us introduce the auxiliary variables y a (t), a = 1, r, as follows In this way, the isoperimetric-type constraints are substituted by constraints of ODE type. In the following, Einstein's summation is assumed. By considering the Lagrange multiplier, p(t) = (p a (t)) , a = 1, r, also called co-state variable (co-state vector), we introduce a new Lagrangian changing the aforementioned isoperimetric-type constrained optimization problem into a new optimal control problem (without isoperimetric-type constraints): where P represents the set of all co-state functions (introduced in the next section). Now, by considering the control Hamiltonian or, equivalently, H = L + p aẏ a (modified Legendrian duality), we can rewrite the aforementioned optimal control problem under the next equivalent form: In the following, let us consider the relations formulated in (4). Now, we fix the control variable u(t) and the associated solution y(t) of (4). Denote by y(t, η) a differentiable variation for y(t), fulfillinġ y a (t, η) = X a (t, x(t, η),ẋ(t, η), u(t)) , y(t, 0) = y(t), a = 1, r, r ≤ n.
By a derivation with respect to η, for η = 0, we get the following variational differential systeṁ , we introduce the following adjoint differential equatioṅ associated with the previous variational differential system in the sense that p a (t)v a (t) is a first integral, that is,

Main Result: Necessary Optimality Conditions for (CP)
In this section, we formulate and prove the main result of this paper. More concretely, under simplified hypotheses, we establish necessary conditions of optimality for the considered optimal control problem (CP) involving isoperimetric-type constraints. For other connected ideas to this subject, the reader is directed to Treanţȃ [27], where several optimization problems governed by simple, multiple, or curvilinear integral functionals (involving second-order Lagrangians) subject to ODE, PDE, or isoperimetric constraints are considered. Also, Treanţȃ [28] introduced a modified multidimensional optimal control problem and established the associated saddle-point optimality criteria.
In the following, we consider the control variableû(t) = (û α (t)) , α = 1, k, withû ∈ U, as an optimal control for the considered optimization problem (CP). Select η > 0 and define the control variation u(t, η) =û(t) + ηh(t), where h(·) is some given function (called acceptable variation) selected so that u(·, η) is an admissible control for all sufficiently small η > 0. We shall use this η in our variational arguments.
Define P as the set of solutions forṗ that is, the Lagrange multiplier p = (p a ) is a constant (p = (p a (t)) is a constant function). Moreover, Finally, taking into account all the previous computations, we are able to formulate a simplified maximum principle. The following theorem represents the main result of the present paper. More precisely, necessary optimality conditions are established for the considered optimal control problem (CP) involving isoperimetric-type constraints. Theorem 1. Let (x,û) ∈ X × U be an optimal solution in the considered optimal control problem (CP). Then, there exists the constant co-state variable p = (p a ) such that the relations (5-9) are fulfilled, except at discontinuities.

Remark 1.
(i) The algebraic systems in (5) and (6) describe the critical points associated with H with respect to the control variable u = (u α ) and the state variable x = (x i ). (ii) The differential Equations (8) and (9) and the conditions formulated in (5), (6), and (7) represent the Euler-Lagrange ODEs, respectively, corresponding to the new Lagrangian L.
Further, by using the new Lagrangian L and the aforementioned remark, we establish the following result.

Corollary 1.
Consider (x,û) ∈ X × U is an optimal solution associated with the optimal control problem (CP). Then, there exists the constant co-state variable p = (p a ) such thaṫ y a (t) = X a (t, x(t),ẋ(t), u(t)) , y a (t 0 ) = l a , a = 1, r, r ≤ n and the following Euler-Lagrange ODEs associated with the Lagrangian L

Conclusions
In this paper, by using corresponding variational differential systems, adjoint equations and a modified Legendrian duality, we have derived necessary optimality conditions for a feasible point in the considered isoperimetric-type constrained optimal control problem. The main result of this work is original and complements previously known results (see, for instance, Treanţȃ [7,8,14,29]). The current research paper can be extended for other classes of optimal control problems such as variational control problems under uncertainty. Also, the study of sufficient optimality conditions for such optimal control problems is another topic open to research.
Funding: The APC was funded by University Politehnica of Bucharest, "PubArt" program.

Conflicts of Interest:
The author declares no conflict of interest.