On the No-Gap Second-Order Optimality Conditions for a Discrete Optimal Control Problem with Mixed Constraints

Motivated by our recent works on optimality conditions in discrete optimal control problems under a nonconvex cost function, in this paper, we study second-order necessary and sufficient optimality conditions for a discrete optimal control problem with a nonconvex cost function and state-control constraints. By establishing an abstract result on second-order optimality conditions for a mathematical programming problem, we derive second-order necessary and sufficient optimality conditions for a discrete optimal control problem. Using a common critical cone for both the second-order necessary and sufficient optimality conditions, we obtain “no-gap” between second-order optimality conditions.     

Global optimality conditions for quadratic 0-1 optimization problems

In the present work, we intend to derive conditions characterizing globally optimal solutions of quadratic 0-1 programming problems. By specializing the problem of maximizing a convex quadratic function under linear constraints, we find explicit global optimality conditions for quadratic 0-1 programming problems, including necessary and sufficient conditions and some necessary conditions. We also present some global optimality conditions for the problem of minimization of half-products.     

Necessary Optimality Conditions for Optimal Control Problems with Nonsmooth Mixed State and Control Constraints

In this paper we study an optimal control problem with nonsmooth mixed state and control constraints. In most of the existing results, the necessary optimality condition for optimal control problems with mixed state and control constraints are derived under the Mangasarian-Fromovitz condition and under the assumption that the state and control constraint functions are smooth. In this paper we derive necessary optimality conditions for problems with nonsmooth mixed state and control constraints under constraint qualifications based on pseudo-Lipschitz continuity and calmness of certain set-valued maps. The necessary conditions are stratified, in the sense that they are asserted on precisely the domain upon which the hypotheses (and the optimality) are assumed to hold. Moreover necessary optimality conditions with an Euler inclusion taking an explicit multiplier form are derived for certain cases.     

Robust stochastic dominance and its application to risk-averse optimization

We introduce a new preference relation in the space of random variables, which we call robust stochastic dominance. We consider stochastic optimization problems where risk-aversion is expressed by a robust stochastic dominance constraint. These are composite semi-infinite optimization problems with constraints on compositions of measures of risk and utility functions. We develop necessary and sufficient conditions of optimality for such optimization problems in the convex case. In the nonconvex case, we derive necessary conditions of optimality under additional smoothness assumptions of some mappings involved in the problem.     

Nonlinear Lagrangian Theory for Nonconvex Optimization

The Lagrangian function in the conventional theory for solving constrained optimization problems is a linear combination of the cost and constraint functions. Typically, the optimality conditions based on linear Lagrangian theory are either necessary or sufficient, but not both unless the underlying cost and constraint functions are also convex.We propose a somewhat different approach for solving a nonconvex inequality constrained optimization problem based on a nonlinear Lagrangian function. This leads to optimality conditions which are both sufficient and necessary, without any convexity assumption. Subsequently, under appropriate assumptions, the optimality conditions derived from the new nonlinear Lagrangian approach are used to obtain an equivalent root-finding problem. By appropriately defining a dual optimization problem and an alternative dual problem, we show that zero duality gap will hold always regardless of convexity, contrary to the case of linear Lagrangian duality.     

Minimax Control of Parabolic Systems with Dirichlet Boundary Conditions and State Constraints

In this paper we formulate and study a minimax control problem for a class of parabolic systems with controlled Dirichlet boundary conditions and uncertain distributed perturbations under pointwise control and state constraints. We prove an existence theorem for minimax solutions and develop effective penalized procedures to approximate state constraints. Based on a careful variational analysis, we establish convergence results and optimality conditions for approximating problems that allow us to characterize suboptimal solutions to the original minimax problem with hard constraints. Then passing to the limit in approximations, we prove necessary optimality conditions for the minimax problem considered under proper constraint qualification conditions. Accepted 7 June 1996     

多值非线性系统最优控制的一阶必要条件

由 E,(?)的最大单调性,及 int(D(?))∩D(E)≠φ得,E+(?)为 Y→2~(Y′) 的最大单调算子.再由(H_(?))知 E+(?)为强制的,故由多值最大单调算子的满射性得,(1.3)存在唯一解 y∈D(E),即 y 满足(1.1).证毕.记θ为(1.1)从控制到状态 y 的解映射.现考虑其最优控制问题.设允许控制集(?)_(ad)为(?)=L~∞(0,T;U)中的有界弱~*     

Investigation of regularity conditions in optimal control problems with geometric mixed constraints

We investigate regularity conditions in optimal control problems with mixed constraints of a general geometric type, in which a closed non-convex constraint set appears. A closely related question to this issue concerns the derivation of necessary optimality conditions under some regularity conditions on the constraints. By imposing strong and weak regularity condition on the constraints, we provide necessary optimality conditions in the form of Pontryagin maximum principle for the control problem with mixed constraints. The optimality conditions obtained here turn out to be more general than earlier results even in the case when the constraint set is convex. The proofs of our main results are based on a series of technical lemmas which are gathered in the Appendix.     

多目标半定规划的最优性条件及对偶理论

在不变凸的假设下来讨论多目标半定规划的最优性条件、对偶理论以及非凸半定规划的最优性条件．首先给出了非凸半定规划的一个KKT条件成立的充分必要条件, 并利用此定理证明了其最优性必要条件．其次讨论了多目标半定规划的最优性必要条件、充分条件, 并对其建立Wolfe对偶模型, 证明了弱对偶定理和强对偶定理．     

A tutorial on the deterministic Impulse Control Maximum Principle: Necessary and sufficient optimality conditions

This paper considers a class of optimal control problems that allows jumps in the state variable. We present the necessary optimality conditions of the Impulse Control Maximum Principle based on the current value formulation. By reviewing the existing impulse control models in the literature, we point out that meaningful problems do not satisfy the sufficiency conditions. In particular, such problems either have a concave cost function, contain a fixed cost, or have a control-state interaction, which have in common that they each violate the concavity hypotheses used in the sufficiency theorem. The implication is that the corresponding problem in principle has multiple solutions that satisfy the necessary optimality conditions. Moreover, we argue that problems with fixed cost do not satisfy the conditions under which the necessary optimality conditions can be applied. However, we design a transformation, which ensures that the application of the Impulse Control Maximum Principle still provides the optimal solution. Finally, we show for the first time that for some existing models in the literature no optimal solution exists.     

Characterizations for Optimality Conditions of General Robust Optimization Problems

In this paper, by virtue of the image space analysis, the general scalar robust optimization problems under the strictly robust counterpart are considered, among which, the uncertainties are included in the objective as well as the constraints. Besides, on the strength of a corrected image in a new type, an equivalent relation between the uncertain optimization problem and its image problem is also established, which provides an idea to tackle with minimax problems. Furthermore, theorems of the robust weak alternative as well as sufficient characterizations of robust optimality conditions are achieved on the frame of the linear and nonlinear (regular) weak separation functions. Moreover, several necessary and sufficient optimality conditions, especially saddle point sufficient optimality conditions for scalar robust optimization problems, are obtained. Finally, a simple example for finding a shortest path is included to show the effectiveness of the results derived in this paper.     

On strong and weak second-order necessary optimality conditions for nonlinear programming

Second-order necessary optimality conditions play an important role in optimization theory. This is explained by the fact that most numerical optimization algorithms reduce to finding stationary points satisfying first-order necessary optimality conditions. As a rule, optimization problems, especially the high dimensional ones, have a lot of stationary points so one has to use second-order necessary optimality conditions to exclude nonoptimal points. These conditions are closely related to second-order constraint qualifications, which guarantee the validity of second-order necessary optimality conditions. In this paper, strong and weak second-order necessary optimality conditions are considered and their validity proved under so-called critical regularity condition at local minimizers.     

Necessary optimality conditions for a special class of bilevel programming problems with unique lower level solution

We consider a bilevel programming problem in Banach spaces whose lower level solution is unique for any choice of the upper level variable. A condition is presented which ensures that the lower level solution mapping is directionally differentiable, and a formula is constructed which can be used to compute this directional derivative. Afterwards, we apply these results in order to obtain first-order necessary optimality conditions for the bilevel programming problem. It is shown that these optimality conditions imply that a certain mathematical program with complementarity constraints in Banach spaces has the optimal solution zero. We state the weak and strong stationarity conditions of this problem as well as corresponding constraint qualifications in order to derive applicable necessary optimality conditions for the original bilevel programming problem. Finally, we use the theory to state new necessary optimality conditions for certain classes of semidefinite bilevel programming problems and present an example in terms of bilevel optimal control.     

Necessary and sufficient second order optimality conditions for multiobjective problems with C1 data

In this paper, we obtain necessary and sufficient second order optimality conditions for multiobjective problems using second order directional derivatives. We propose the notion of second order KT-pseudoinvex problems and we prove that this class of problems has the following property: a problem is second order KT-pseudoinvex if and only if all its points that satisfy the second order necessary optimality condition are weakly efficient. Also we obtain second order sufficient conditions for efficiency.     

Generalized Semi-Infinite Programming: Optimality Conditions Involving Reverse Convex Problems

This article deals with a generalized semi-infinite programming problem (S). Under appropriate assumptions, for such a problem we give necessary and sufficient optimality conditions via reverse convex problems. In particular, a necessary and sufficient optimality condition reduces the problem (S) to a min-max problem constrained with compact convex linked constraints.     

Necessary optimality conditions for minimax programming problems with mathematical constraints

In this paper, necessary optimality conditions in terms of upper and/or lower subdifferentials of both cost and constraint functions are derived for minimax optimization problems with inequality, equality and geometric constraints in the setting of non-differentiatiable and non-Lipschitz functions in Asplund spaces. Necessary optimality conditions in the fuzzy form are also presented. An application of the fuzzy necessary optimality condition is shown by considering minimax fractional programming problem.     

Bilevel programming problems with simple convex lower level

This article is dedicated to the study of bilevel optimal control problems equipped with a fully convex lower level of special structure. In order to construct necessary optimality conditions, we consider a general bilevel programming problem in Banach spaces possessing operator constraints, which is a generalization of the original bilevel optimal control problem. We derive necessary optimality conditions for the latter problem using the lower level optimal value function, ideas from DC-programming and partial penalization. Afterwards, we apply our results to the original optimal control problem to obtain necessary optimality conditions of Pontryagin-type. Along the way, we derive a handy formula, which might be used to compute the subdifferential of the optimal value function which corresponds to the lower level parametric optimal control problem.     

Fritz john second-order duality for nonlinear programming

A second-order dual to a nonlinear programming problem is formulated. This dual uses the Fritz John necessary optimality conditions instead of the Karush-Kuhn-Tucker necessary optimality conditions, and thus, does not require a constraint qualification. Weak, strong, strict-converse, and converse duality theorems between primal and dual problems are established.     

Duality for nondifferentiable minimax programming in complex spaces

Employing the optimality (necessary and sufficient) conditions of a nondifferentiable minimax programming problem in complex spaces, we formulate a one-parametric dual and a parameter free dual problems. On both dual problems, we establish three duality theorems: weak, strong, and strict converse duality theorem, and prove that there is no duality gap between the two dual problems with respect to the primal problem under some generalized convexities of complex functions in the complex programming problem.     

Global optimality principles for polynomial optimization over box or bivalent constraints by separable polynomial approximations

In this paper we present necessary conditions for global optimality for polynomial problems with box or bivalent constraints using separable polynomial relaxations. We achieve this by first deriving a numerically checkable characterization of global optimality for separable polynomial problems with box as well as bivalent constraints. Our necessary optimality conditions can be numerically checked by solving semi-definite programming problems. Then, by employing separable polynomial under-estimators, we establish sufficient conditions for global optimality for classes of polynomial optimization problems with box or bivalent constraints. We construct underestimators using the sum of squares convex (SOS-convex) polynomials of real algebraic geometry. An important feature of SOS-convexity that is generally not shared by the standard convexity is that whether a polynomial is SOS-convex or not can be checked by solving a semidefinite programming problem. We illustrate the versatility of our optimality conditions by simple numerical examples.