Characterizations of strict local minima and necessary conditions for weak sharp minima

In nonlinear programming, sufficient conditions of orderm usually identify a special type of local minimizer, here termed a strict local minimizer of orderm. In this paper, it is demonstrated that, if a constraint qualification is satisfied, standard sufficient conditions often characterize this special sort of minimizer. The first- and second-order cases are treated in detail. Necessary conditions for weak sharp local minima of orderm, a larger class of local minima, are also presented.This paper was completed during a sabbatical leave at the University of Waterloo. The author is grateful for the help and support of the Department of Combinatorics and Optimization. The helpful comments of the referees are also appreciated.     

On second-order optimality conditions for continuously Fréchet differentiable vector optimization problems

ABSTRACT

In this paper, we study a vector optimization problem (VOP) with both inequality and equality constraints. We suppose that the functions involved are Fréchet differentiable and their Fréchet derivatives are continuous or stable at the point of study. By virtue of a second-order constraint qualification of Abadie type, we provide second-order Karush–Kuhn–Tucker type necessary optimality conditions for the VOP. Moreover, we also obtain second-order sufficient optimality conditions for a kind of strict local efficiency. Both the necessary conditions and the sufficient conditions are shown in equivalent pairs of primal and dual formulations by using theorems of the alternative for the VOP.     

Second-order conditions in c1, 1 optimization with applications

Second-order necessary conditions for inequality and equality constrained C^{1, 1} optimization problems are derived. A constraint qualification condition which uses the recent generalized second-order directional derivative is employed to obtain these conditions. Various second-order sufficient conditions are given under appropriate conditions on the generalized second-order directional derivative in a neighborhood of a given point. An application of the secondorder conditions to a new class of nonsmooth C^{1, 1} optimization problems with infinitely many constraints is presented.     

Second-Order Optimality Conditions for Mathematical Programs with Equilibrium Constraints

We study second-order optimality conditions for mathematical programs with equilibrium constraints (MPEC). Firstly, we improve some second-order optimality conditions for standard nonlinear programming problems using some newly discovered constraint qualifications in the literature, and apply them to MPEC. Then, we introduce some MPEC variants of these new constraint qualifications, which are all weaker than the MPEC linear independence constraint qualification, and derive several second-order optimality conditions for MPEC under the new MPEC constraint qualifications. Finally, we discuss the isolatedness of local minimizers for MPEC under very weak conditions.     

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.     

Second-Order Epi-Derivatives of Composite Functionals

We compute two-sided second-order epi-derivatives for certain composite functionals f=gF where F is a C ¹ mapping between two Banach spaces X and Y, and g is a convex extended real-valued function on Y. These functionals include most essential objectives associated with smooth constrained minimization problems on Banach spaces. Our proof relies on our development of a formula for the second-order upper epi-derivative that mirrors a formula for a second-order lower epi-derivative from [7], and the two-sided results we obtain promise to support a more precise sensitivity analysis of parameterized optimization problems than has been previously possible.     

Second-order necessary and sufficient conditions in multiobjective programming ∗

In this paper we study second-order optimality conditions for the multi-objective programming problems with both inequality constraints and equality constraints. Two weak second-order constraint qualifications are introduced, and based on them we derive several second-order necessary conditions for a local weakly efficient solution. Two second-order sufficient conditions are also presented.     

<Emphasis Type="Italic">ε</Emphasis>-Optimality and <Emphasis Type="Italic">ε</Emphasis>-Lagrangian Duality for a Nonconvex Programming Problem with an Infinite Number of Constraints

In this paper, ε-optimality conditions are given for a nonconvex programming problem which has an infinite number of constraints. The objective function and the constraint functions are supposed to be locally Lipschitz on a Banach space. In a first part, we introduce the concept of regular ε-solution and propose a generalization of the Karush-Kuhn-Tucker conditions. These conditions are up to ε and are obtained by weakening the classical complementarity conditions. Furthermore, they are satisfied without assuming any constraint qualification. Then, we prove that these conditions are also sufficient for ε-optimality when the constraints are convex and the objective function is ε-semiconvex. In a second part, we define quasisaddlepoints associated with an ε-Lagrangian functional and we investigate their relationships with the generalized KKT conditions. In particular, we formulate a Wolfe-type dual problem which allows us to present ε-duality theorems and relationships between the KKT conditions and regular ε-solutions for the dual. Finally, we apply these results to two important infinite programming problems: the cone-constrained convex problem and the semidefinite programming problem.     

Second-order invex functions in nonlinear programming

We introduce a notion of a second-order invex function. A Fréchet differentiable invex function without any further assumptions is second-order invex. It is shown that the inverse claim does not hold. A Fréchet differentiable function is second-order invex if and only if each second-order stationary point is a global minimizer. Two complete characterizations of these functions are derived. It is proved that a quasiconvex function is second-order invex if and only if it is second-order pseudoconvex. Further, we study the nonlinear programming problem with inequality constraints whose objective function is second-order invex. We introduce a notion of second-order type I objective and constraint functions. This class of problems strictly includes the type I invex ones. Then we extend a lot of sufficient optimality conditions with generalized convex functions to problems with second-order type I invex objective function and constraints. Additional optimality results, which concern type I and second-order type I invex data are obtained. An answer to the question when a kernel, which is not identically equal to zero, exists is given.     

Partial Augmented Lagrangian Method and Mathematical Programs with Complementarity Constraints

In this paper, we apply a partial augmented Lagrangian method to mathematical programs with complementarity constraints (MPCC). Specifically, only the complementarity constraints are incorporated into the objective function of the augmented Lagrangian problem while the other constraints of the original MPCC are retained as constraints in the augmented Lagrangian problem. We show that the limit point of a sequence of points that satisfy second-order necessary conditions of the partial augmented Lagrangian problems is a strongly stationary point (hence a B-stationary point) of the original MPCC if the limit point is feasible to MPCC, the linear independence constraint qualification for MPCC and the upper level strict complementarity condition hold at the limit point. Furthermore, this limit point also satisfies a second-order necessary optimality condition of MPCC. Numerical experiments are done to test the computational performances of several methods for MPCC proposed in the literature. This research was partially supported by the Research Grants Council (BQ654) of Hong Kong and the Postdoctoral Fellowship of The Hong Kong Polytechnic University. Dedicated to Alex Rubinov on the occassion of his 65th birthday.     

Second-order and related extremality conditions in nonlinear programming

This paper is concerned with the problem of characterizing a local minimum of a mathematical programming problem with equality and inequality constraints. The main object is to derive second-order conditions, involving the Hessians of the functions, or related results where some other curvature information is used. The necessary conditions are of the Fritz John type and do not require a constraint qualification. Both the necessary conditions and the sufficient conditions are given in equivalent pairs of primal and dual formulations.This research was partly supported by Project No. NR-947-021, ONR Contract No. N00014-75-0569, with the Center for Cybernetic Studies, and by the National Science Foundation, Grant No. NSF-ENG-76-10260.     

Second order sufficient optimality conditions in vector optimization

In this paper, we mainly consider second-order sufficient conditions for vector optimization problems. We first present a second-order sufficient condition for isolated local minima of order 2 to vector optimization problems and then prove that the second-order sufficient condition can be simplified in the case where the constrained cone is a convex generalized polyhedral and/or Robinson??s constraint qualification holds.     

Global Convergence of Algorithms Under Constant Rank Conditions for Nonlinear Second-Order Cone Programming

In Andreani et al. (Weak notions of nondegeneracy in nonlinear semidefinite programming, 2020), the classical notion of nondegeneracy (or transversality) and Robinson’s constraint qualification have been revisited in the context of nonlinear semidefinite programming exploiting the structure of the problem, namely its eigendecomposition. This allows formulating the conditions equivalently in terms of (positive) linear independence of significantly smaller sets of vectors. In this paper, we extend these ideas to the context of nonlinear second-order cone programming. For instance, for an m-dimensional second-order cone, instead of stating nondegeneracy at the vertex as the linear independence of m derivative vectors, we do it in terms of several statements of linear independence of 2 derivative vectors. This allows embedding the structure of the second-order cone into the formulation of nondegeneracy and, by extension, Robinson’s constraint qualification as well. This point of view is shown to be crucial in defining significantly weaker constraint qualifications such as the constant rank constraint qualification and the constant positive linear dependence condition. Also, these conditions are shown to be sufficient for guaranteeing global convergence of several algorithms, while still implying metric subregularity and without requiring boundedness of the set of Lagrange multipliers.

     

Generalized (<Emphasis Type="Italic">F</Emphasis>,<Emphasis Type="Italic">ρ</Emphasis>)-Convexity and Duality in Nonsmooth Problems of Multiobjective Optimization

A mixed-type dual for a nonsmooth multiobjective optimization problem with inequality and equality constraints is formulated. We obtain weak and strong duality theorems for a mixed-type dual without requiring the regularity assumptions and the nonnegativeness of the Lagrange multipliers associated to the equality constraints. We apply also a nonsmooth constraint qualification for multiobjective programming to establish strong duality results. In this case, our constraint qualification assures the existence of positive Lagrange multipliers associated with the vector-valued objective function. This work was supported by Center of Excellence for Mathematics, University of Isfahan, Isfahan, Iran.     

Constant-Rank Condition and Second-Order Constraint Qualification

The constant-rank condition for feasible points of nonlinear programming problems was defined by Janin (Math. Program. Study 21:127–138, 1984). In that paper, the author proved that the constant-rank condition is a first-order constraint qualification. In this work, we prove that the constant-rank condition is also a second-order constraint qualification. We define other second-order constraint qualifications.     

Characterizations of local upper Lipschitz property of perturbed solutions to nonlinear second-order cone programs

We characterize the local upper Lipschitz property of the stationary point mapping and the Karush–Kuhn–Tucker (KKT) mapping for a nonlinear second-order cone programming problem using the graphical derivative criterion. We demonstrate that the second-order sufficient condition and the strict constraint qualification are sufficient for the local upper Lipschitz property of the stationary point mapping and are both sufficient and necessary for the local upper Lipschitz property of the KKT mapping.     

Second-order global optimality conditions for convex composite optimization

In recent years second-order sufficient conditions of an isolated local minimizer for convex composite optimization problems have been established. In this paper, second-order optimality conditions are obtained of aglobal minimizer for convex composite problems with a non-finite valued convex function and a twice strictly differentiable function by introducing a generalized representation condition. This result is applied to a minimization problem with a closed convex set constraint which is shown to satisfy the basic constraint qualification. In particular, second-order necessary and sufficient conditions of a solution for a variational inequality problem with convex composite inequality constraints are obtained. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.     

Generalized second-order directional derivatives and optimization with C1,1 functions

In this paper, a new generalized second-order directional derivative and a set-valued generalized Hessian are introudced for C¹,¹ functions in real Banach spaces. It is shown that this set-valued generalized Hessian is single-valued at a point if and only if the function is twice weakly Gãteaux differentiable at the point and that the generalized second-order directional derivative is upper semi-continuous under a regularity condition. Various generalized calculus rules are also given for C^1,1 functions. The generalized second-order directional derivative is applied to derive second-order necessary optirnality conditions for mathematical programming problems.     

On Second-Order Optimality Conditions for Vector Optimization

In this article, two second-order constraint qualifications for the vector optimization problem are introduced, that come from first-order constraint qualifications, originally devised for the scalar case. The first is based on the classical feasible arc constraint qualification, proposed by Kuhn and Tucker (Proceedings of the Second Berkeley Symposium on Mathematical Statistics and Probability, vol. 1, pp. 481–492, University of California Press, California, 1951) together with a slight modification of McCormick’s second-order constraint qualification. The second—the constant rank constraint qualification—was introduced by Janin (Math. Program. Stud. 21:110–126, 1984). They are used to establish two second-order necessary conditions for the vector optimization problem, with general nonlinear constraints, without any convexity assumption.     

A second-order optimality condition with first- and second-order complementarity associated with global convergence of algorithms

We develop a new notion of second-order complementarity with respect to the tangent subspace related to second-order necessary optimality conditions by the introduction of so-called tangent multipliers. We prove that around a local minimizer, a second-order stationarity residual can be driven to zero while controlling the growth of Lagrange multipliers and tangent multipliers, which gives a new second-order optimality condition without constraint qualifications stronger than previous ones associated with global convergence of algorithms. We prove that second-order variants of augmented Lagrangian (under an additional smoothness assumption based on the Lojasiewicz inequality) and interior point methods generate sequences satisfying our optimality condition. We present also a companion minimal constraint qualification, weaker than the ones known for second-order methods, that ensures usual global convergence results to a classical second-order stationary point. Finally, our optimality condition naturally suggests a definition of second-order stationarity suitable for the computation of iteration complexity bounds and for the definition of stopping criteria.