Sufficient conditions for a strong relative minimum in an optimal control problem

In this paper, on the basis of Young's method (Ref. 1), sufficient conditions for a strong relative minimum in an optimal control problem are given. Young's method generalizes geodesic coverings and the simplest Hilbert integral from the standard variational calculus. This paper carries Young's method over to nonparametric problems.     

Uniformly overtaking and weakly overtaking optimal solutions in infinite-horizon optimal control: When optimal solutions are agreeable

In this paper, we investigate the relationship between two classes of optimality which have arisen in the study of dynamic optimization problems defined on an infinite-time domain. We utilize an optimal control framework to discuss our results. In particular, we establish relationships between limiting objective functional type optimality concepts, commonly known as overtaking optimality and weakly overtaking optimality, and the finite-horizon solution concepts of decision-horizon optimality and agreeable plans. Our results show that both classes of optimality are implied by corresponding uniform limiting objective functional type optimality concepts, referred to here as uniformly overtaking optimality and uniformly weakly overtaking optimality. This observation permits us to extract sufficient conditions for optimality from known sufficient conditions for overtaking and weakly overtaking optimality by strengthening their hypotheses. These results take the form of a strengthened maximum principle. Examples are given to show that the hypotheses of these results can be realized.This research was supported by the National Science Foundation, Grant No. DMS-87-00706, and by the Southern Illinois University at Carbondale, Summer Research Fellowship Program.     

Structure of minimizers in linear-quadratic Bolza problems of optimal control

In this paper, we study intersections of extremals in a linear-quadratic Bolza problem of optimal control. The structure of the inter-sections is described. We show that this structure implies the semipositive definiteness of the quadratic cost functional. In addition, we derive necessary and sufficient conditions for the existence of minimizers.     

No-gap optimality conditions for an optimal control problem with pointwise control-state constraints

An optimal control problem with pointwise mixed constraints of the instationary three-dimensional Navier–Stokes–Voigt equations is considered. We derive second-order optimality conditions and show that there is no gap between second-order necessary optimality conditions and second-order sufficient optimality conditions. In addition, the second-order sufficient optimality conditions for the problem where the objective functional does not contain a Tikhonov regularization term are also discussed.     

拟凸多目标优化问题近似解的最优性条件

研究了拟凸多目标优化问题近似弱有效解、近似有效解的最优性条件.首先,在已有拟凸函数次微分的基础上引进4种近似次微分的概念,并给出它们之间的关系.然后,将4种近似次微分的概念应用到拟凸多目标优化问题中,给出了拟凸多目标优化问题近似弱有效解和近似有效解的充分条件和必要条件,并给出实例加以说明.     

Periodic optimal control in Hilbert space

Optimal control problem governed byy=Ay + Bu, y(0)=y (T), =±1 are studied, whereA is the infinitesimal generator of a nonasymptotically stableC _o semigroup andB is a linear operator from a controller spaceU into a state spaceH. Both distributed (B L(U, H)) and boundary cases (B L(U, (D(A ^*)))) are investigated. Some applications to periodic control of wave equations are given.This work was supported by the National Science Foundation under Grant No. DMS-91-11794.     

Necessary conditions for stochastic optimal control problems in infinite dimensions

The purpose of this paper is to establish the first and second order necessary conditions for stochastic optimal controls in infinite dimensions. The control system is governed by a stochastic evolution equation, in which both drift and diffusion terms may contain the control variable and the set of controls is allowed to be nonconvex. Only one adjoint equation is introduced to derive the first order necessary optimality condition either by means of the classical variational analysis approach or, under an additional assumption, by using differential calculus of set-valued maps. More importantly, in order to avoid the essential difficulty with the well-posedness of higher order adjoint equations, using again the classical variational analysis approach, only the first and the second order adjoint equations are needed to formulate the second order necessary optimality condition, in which the solutions to the second order adjoint equation are understood in the sense of the relaxed transposition.     

Sufficient conditions for a control to be a strong minimum

The control literature either presents sufficient conditions for global optimality (for example, the Hamilton-Jacobi-Bellman theorem) or, if concerned with local optimality, restricts attention to comparison controls which are local in theL -sense. In this paper, use is made of an exact expression for the change in cost due to a change in control, a natural extension of a result due to Weierstrass, to obtain sufficient conditions for a control to be a strong minimum (in the sense that comparison controls are merely required to be close in theL ₁-sense).     

Conjugate points and shocks in nonlinear optimal control

We investigate characteristics of the Hamilton-Jacobi-Bellman
equation arising in nonlinear optimal control and their relationship with weak and strong local minima. This leads to an extension of the Jacobi conjugate points theory to the Bolza control problem. Necessary and sufficient optimality conditions for weak and strong local minima are stated in terms of the existence of a solution to a corresponding matrix Riccati differential equation.

     

Additional necessary conditions for optimal control with state-variable inequality constraints

It is shown that, when the set of necessary conditions for an optimal control problem with state-variable inequality constraints given by Bryson, Denham, and Dreyfus is appropriately augmented, it is equivalent to the (different) set of conditions given by Jacobson, Lele, and Speyer. Relationships among the various multipliers are given.This work was done at NASA Ames Research Center, Moffett Field, California, under a National Research Council Associateship.     

Sufficient optimality conditions for multidimensional optimal control problems with mixed constraints governed by an elliptic PDE

In this article, the idea of a dual dynamic programming is applied to the optimal control problems with multiple integrals governed by a semi-linear elliptic PDE and mixed state-control constraints. The main result called a verification theorem provides the new sufficient conditions for optimality in terms of a solution to the dual equation of a multidimensional dynamic programming. The optimality conditions are also obtained by using the concept of an optimal dual feedback control. Besides seeking the exact minimizers of problems considered some kind of an approximation is given and the sufficient conditions for an approximated optimal pair are derived.     

Regularity of solutions for an optimal control problem with mixed control-state constraints

A class of optimal control problems for a semilinear elliptic partial differential equation with mixed control-state constraints is considered. Existence results of an optimal control and necessary optimality conditions are stated. Moreover, a projection formula is derived that is equivalent to the necessary optimality conditions. As main result, the Lipschitz continuity of the optimal control is obtained.     

A maximum principle for an optimal control problem with integral constraints

In this paper, necessary corditions are obtained for an optimal control problem whose state variables are given in terms of integral equations. The conditions are obtained separately for Volterra equations and Fredholm equations. The main result for each case is the maximum principle and multiplier rule. For the Volterra equations, transversality conditions are obtained.     

On the optimal shape of a hydrofoil

On the basis of the results on domain shape optimization for elliptic systems developed in Ref. 1, the problem of the optimal shape of a hydrofoil, moving slowly in a viscous incompressible fluid, is formulated and studied. The otpimization problem consists in finding the shape of the hydrofoil having minimal drag, while satisfying certain constraints on the volume and hydrodynamic lift.     

Second-order conditions in stability analysis for state constrained optimal control

The paper presents an outline of the stability results, for state-constrained optimal control problems, recently obtained in Malanowski (Appl. Math. Optim. 55, 255–271, 2007), Malanowski (Optimization, to be published), Malanowski (SIAM J. Optim., to be published). The pricipal novelty of the results is a weakening of the second-order sufficient optimality conditions, under which the solutions and the Lagrange multipliers are locally Lipschitz continuous functions of the parameter. The conditions are weakened by taking into account strongly active state constraints.     

Optimal control of continuous-time deterministic systems with incomplete discrete feedback

Sufficient conditions for optimality are obtained for controls that depend on the current time and values of known functions of the state vector at finite points of the time interval. The equations for finding the required control laws are derived. An example is given for which an exact solution of the problem can be obtained.The author is grateful to Professor R. W. Rishel for his support during the preparation of the paper.     

Calculus of variations and descriptive set theory

If X is a locally compact Polish space, then LSC(X, ?) denotes the compact Polish space of lower semi‐continuous real‐valued functions on X equipped with the topology of epi‐convergence. Our purpose in this article is to prove the following: if –∞ < α < β < ∞ and –∞ < a < b < ∞, while r ∈ ? \ {0}, then the set CV of all f ∈ LSC([α, β ] × [a, b ] × ?, ?) for which there is u ∈ C^r ([α, β ], [a, b ]) such that for any v ∈ C^r ([α, β ], [a, b ]) we have that ∫_α^β f (x, u (x), v ′(x))dx ≥ ∫_α^β f (x, v (x), v (x))dx is not Borel (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Sufficient conditions for the optimal control of a class of systems with continuous lags

Sufficient conditions in the form of a maximum principle are obtained for the optimal control of a system described by integro-differential equations and subject to some specified path constraints. The conditions are relaxed to allow for jumps in the adjoint variables at the junction points, provided a certain convexity hypothesis is satisfied for the constraint set at these points.This research was partially supported at Stanford University by the Office of Naval Research, Contract No. N-00014-67-A-0112-0011, by the National Science Foundation, Grant No. GP-31393, and by the US Atomic Energy Commission, Contract No. AT(04-3)-326-PA-18. It was also supported by the Department of Economics at Rice University.