Necessary and sufficient optimality conditions for mathematical programs with equilibrium constraints

In this paper we consider a mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with complementarity constraints. Various stationary conditions for MPECs exist in literature due to different reformulations. We give a simple proof to the M-stationary condition and show that it is sufficient for global or local optimality under some MPEC generalized convexity assumptions. Moreover, we propose new constraint qualifications for M-stationary conditions to hold. These new constraint qualifications include piecewise MFCQ, piecewise Slater condition, MPEC weak reverse convex constraint qualification, MPEC Arrow-Hurwicz-Uzawa constraint qualification, MPEC Zangwill constraint qualification, MPEC Kuhn-Tucker constraint qualification, and MPEC Abadie constraint qualification.     

On sufficient second order optimality conditions in multiobjective optimization

A second order sufficient optimality criterion is presented for a multiobjective problem subject to a constraint given just as a set. To this aim, we first refine known necessary conditions in such a way that the sufficient ones differ by the replacement of inequalities by strict inequalities. Furthermore, we show that no relationship holds between this criterion and a sufficient multipliers rule, when the constraint is described by inequalities and equalities. Finally, improvements of this criterion for the unconstrained case are presented, stressing the differences with single-objective optimization     

On sufficient optimality conditions for mathematical programs with equaiity constraints

A number of sufficiency theorems in the mathematical programming literature, concerning problems with equality constraints, are shown to be trivial consequences of the corresponding results for inequality constraints.This work was supported by NSF Grant No. ECS-8214081. Research by the first author was done while a visitor at La Trobe University.     

On sufficient optimality conditions for a quasiconvex programming problem

Some remarks are made on a paper by Bector, Chandra, and Bector (see Ref. 1) concerning the Fritz John and Kuhn-Tucker sufficient optmality conditions as well as duality theorems for a nonlinear programming problem with a quasiconvex objective function.This research was supported by the Italian Ministry of University Scientific and Technological Research.     

Necessary and sufficient optimality conditions for fractional multi-objective problems

Using a special scalarization, we give necessary optimality conditions for fractional multiobjective optimization problems. Under a generalized invexity, sufficient optimality conditions are also given. All over the article, the data are assumed to be continuous but not necessarily Lipschitz.     

Applying the Leitmann-Stalford sufficient conditions to maximization control problems with non-concave Hamiltonian

The main result in this short note is that the integral form of the Leitmann-Stalford sufficiency conditions can be verified for a class of optimal control problems whose Hamiltonian is not concave with respect to the state variable. The main requirement for this class of problems is that the dynamics is sufficiently dissipative. An application to a Stackelberg differential game between a producer and a developer is exemplified. Using our result we show that the necessary conditions implied by Pontryagin’s maximum principle are also sufficient. This allows a complete characterization of the solution.     

Second-order necessary and sufficient optimality conditions for minimizing a sup-type function

In this paper, we give second-order necessary and sufficient optimality conditions for a minimization problem of a sup-type functionS(x)=sup{f(x,t);t T}, whereT is a compact set in a metric space and f is a function defined on ⁿ ×T. Our conditions are stated in terms of the first and second derivatives of f(x, t) with respect tox, and involve an extra term besides the second derivative of the ordinary Lagrange function. The extra term is essential when {f(x,t)} _t forms an envelope. We study the relationship between our results, Wetterling [14], and Hettich and Jongen [6].     

Optimality conditions for piecewiseC 2 nonlinear programming

Several types of finite-dimensional nonlinear programming models are considered in this article. Second-order optimality conditions are derived for these models, under the assumption that the functions involved are piecewiseC ². In rough terms, a real-valued function defined on an open subsetW orR ⁿ is said to be piecewiseC ^k onW if it is continuous onW and if it can be constructed by piecing together onW a finite number of functions of classC ^k .     

Necessary and sufficient optimality conditions for a class of nonsmooth minimization problems

The purpose of this paper is to derive, in a unified way, second order necessary and sufficient optimality criteria, for four types of nonsmooth minimization problems: thediscrete minimax problem, thediscrete l ₁-approximation, the minimization of theexact penalty function and the minimization of theclassical exterior penalty function. Our results correct and supplement conditions obtained by various authors in recent papers.     

Second-order sufficient optimality conditions for local and global nonlinear programming

This paper presents a new approach to the sufficient conditions of nonlinear programming. Main result is a sufficient condition for the global optimality of a Kuhn-Tucker point. This condition can be verified constructively, using a novel convexity test based on interval analysis, and is guaranteed to prove global optimality of strong local minimizers for sufficiently narrow bounds. Hence it is expected to be a useful tool within branch and bound algorithms for global optimization.     

A sufficient optimality theoriem for protoconvex programs

We establish two first order sufficient optimality theorems; one for unconstrained nonlinear minimization problem, and the other for constrained nonlinear minimization problems, both with non-differentiable protoconvex or quasiconvex data functions that are not necessarily locally Lipschitz     

On necessary optimality conditions in vector optimization problems

Necessary conditions of the multiplier rule type for vector optimization problems in Banach spaces are proved by using separation theorems and Ljusternik's theorem. The Pontryagin maximum principle for multiobjective control problems with state constraints is derived from these general conditions. The paper extends to vector optimization results established in the scalar case by Ioffe and Tihomirov.     

First-order optimality conditions in set-valued optimization

A a set-valued optimization problem min _C F(x), x ∈X ₀, is considered, where X ₀ ⊂ X, X and Y are normed spaces, F: X ₀ ⊂ Y is a set-valued function and C ⊂ Y is a closed cone. The solutions of the set-valued problem are defined as pairs (x ⁰,y ⁰), y ⁰ ∈F(x ⁰), and are called minimizers. The notions of w-minimizers (weakly efficient points), p-minimizers (properly efficient points) and i-minimizers (isolated minimizers) are introduced and characterized through the so called oriented distance. The relation between p-minimizers and i-minimizers under Lipschitz type conditions is investigated. The main purpose of the paper is to derive in terms of the Dini directional derivative first order necessary conditions and sufficient conditions a pair (x ⁰, y ⁰) to be a w-minimizer, and similarly to be a i-minimizer. The i-minimizers seem to be a new concept in set-valued optimization. For the case of w-minimizers some comparison with existing results is done.     

Necessary and sufficient conditions for nonsmooth mathematical programs with equilibrium constraints

In this paper we consider a mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with complementarity constraints. Then, we derive a necessary optimality result for nonsmooth MPEC on any Asplund space. Also, under generalized convexity assumptions, we establish sufficient optimality conditions for this program in Banach spaces.     

Sufficient optimality conditions and duality for a quasiconvex programming problem

Under differentiability assumptions, Fritz John Sufficient optimality conditions are proved for a nonlinear programming problem in which the objective function is assumed to be quasiconvex and the constraint functions are assumed to quasiconcave/strictly pseudoconcave. Duality theorems are proved for Mond-Weir type duality under the above generalized convexity assumptions.The first author is thankful to the Natural Science and Engineering Research Council of Canada for financial support through Grant No. A-5319. The authors are thankful to Professor B. Mond for suggestions that improved the original draft of the paper.     

Value function and optimality conditions for semilinear control problems

This paper is concerned with optimal control problems of Mayer and Bolza type for systems governed by a semilinear state equationx(t)=Ax(t) + f(t, x(t), u(t)), u(t) U, whereA is the infinitesimal generator of a strongly continuous semigroup in a Banach spaceX. We prove necessary and sufficient conditions for optimality and then use these conditions to investigate properties of the value function related to superdifferentials. Conversely, we use the value function to obtain criteria for optimality and feedback systems.Work (partially) supported by the Research Project Equazioni di evoluzione e applicazioni fisicomatematiche (M.U.R.S.T.-Italy).     

First-and second-order optimality conditions for mathematical programs with vanishing constraints

We consider a special class of optimization problems that we call Mathematical Programs with Vanishing Constraints, MPVC for short, which serves as a unified framework for several applications in structural and topology optimization. Since an MPVC most often violates stronger standard constraint qualification, first-order necessary optimality conditions, weaker than the standard KKT-conditions, were recently investigated in depth. This paper enlarges the set of optimality criteria by stating first-order sufficient and second-order necessary and sufficient optimality conditions for MPVCs. Dedicated to Jiří V. Outrata on the occasion of his 60th birthday. This research was partially supported by the DFG (Deutsche Forschungsgemeinschaft) under grant KA1296/15-1.     

Necessary optimality conditions for singular controls

A definition of singular controls with respect to components is given that includes, in particular, the conventional definition. On the basis of this definition, new necessary optimiality conditions for singular controls with respect to components are derived for the processes governed by systems of ordinary differential equations.     

On optimality conditions of relaxed non-convex variational problems

Non-convex variational problems in many situations lack a classical solution. Still they can be solved in a generalized sense, e.g., they can be relaxed by means of Young measures. Various sets of optimality conditions of the relaxed non-convex variational problems can be introduced. For example, the so-called “variations” of Young measures lead to a set of optimality conditions, or the Weierstrass maximum principle can be the base of another set of optimality conditions. Moreover the second order necessary and sufficient optimality conditions can be derived from the geometry of the relaxed problem. In this article the sets of optimality conditions are compared. Illustrative examples are included.