On Second-order Sufficient Conditions in Constrained Nonsmooth Optimization

In this paper, we establish a second-order sufficient condition for constrained optimization problems of a class of so called t-stable functions in terms of the first-order and the second-order Dini type directional derivatives. The result extends the corresponding result of [D. Bednarik and K. Pastor, Math. Program. Ser. A, 113（2008）, 283-298] to constrained optimization problems.     

Optimality Conditions for Isolated Local Minimum of Nonsmooth Multiobjective Problems

This article is devoted to the study of Fritz John and strong Kuhn-Tucker necessary conditions for properly efficient solutions, efficient solutions and isolated efficient solutions of a nonsmooth multiobjective optimization problem involving inequality and equality constraints and a set constraints in terms of the lower Hadamard directional derivative. Sufficient conditions for the existence of such solutions are also provided where the involved functions have pseudoconvex sublevel sets. Our results are based on the concept of pseudoconvex sublevel sets. The functions with pseudoconvex sublevel sets are a class of generalized convex functions that include quasiconvex functions.     

Differential Conditions for Constrained Nonlinear Programming via Pareto Optimization

We deal with the differential conditions for local optimality. The conditions that we derive for inequality constrained problems do not require constraint qualifications and are the broadest conditions based on only first-order and second-order derivatives. A similar result is proved for equality constrained problems, although the necessary conditions require the regularity of the equality constraints.     

A Note on First-Order Sufficient Optimality Conditions for Pareto Problems

We take into consideration the first-order sufficient conditions, established by Jiménez and Novo (Numer. Funct. Anal. Optim. 2002; 23:303–322) for strict local Pareto minima. We give here a more operative condition for a strict local Pareto minimum of order 1.     

非光滑非凸多目标规划解的充分条件

Kuhn-Tucker型条件的充分性一直是最优化理论中引人注意的一个问题.本文对非光滑函数提出了几个非凸概念,然后,讨论了非光滑非凸多目标规划中Kuhn-Tucker型条件和Fritz John型条件的充分性,在很弱的条件下,建立了一系列充分条件.     

Optimality Conditions and Duality in Nonsmooth Semiinfinite Programming

In this article, we utilize the semiinfinite versions of Guignard's constraint qualification and Motzkin's theorem of the alternative to establish a set of Karush–Kuhn–Tucker-type necessary optimality conditions for a nonsmooth and nonconvex semiinfinite programming problem. Furthermore, we discuss some sufficient optimality conditions and duality relations for our semiinfinite programming problem.     

On Optimality Conditions for Generalized Semi-Infinite Programming Problems

Generalized semi-infinite optimization problems (GSIP) are considered. We generalize the well-known optimality conditions for minimizers of order one in standard semi-infinite programming to the GSIP case. We give necessary and sufficient conditions for local minimizers of order one without the assumption of local reduction. The necessary conditions are derived along the same lines as the first-order necessary conditions for GSIP in a recent paper of Jongen, Rückmann, and Stein (Ref. 1) by assuming the so-called extended Mangasarian–Fromovitz constraint qualification. Using the ideas of a recent paper of Rückmann and Shapiro, we give short proofs of necessary and sufficient optimality conditions for minimizers of order one under the additional assumption of the Mangasarian–Fromovitz constraint qualification at all local minimizers of the so-called lower-level problem.     

Strict Minimality Conditions in Nondifferentiable Multiobjective Programming

In this paper, sufficient conditions for superstrict minima of order m to nondifferentiable multiobjective optimization problems with an arbitrary feasible set are provided. These conditions are expressed through the Studniarski derivative of higher order. If the objective function is Hadamard differentiable, a characterization for strict minimality of order 1 (which coincides with superstrict minimality in this case) is obtained.     

一类非线性双层规划问题的最优性条件

双层规划模型是描述具有层次特性管理决策系统的有效方法.本文讨论了一类有广泛代表性的非线性双层规划模型,给出了该类模型最优解的条件.     

First-Order Necessary Optimality Conditions for General Bilevel Programming Problems

In Ref. 1, bilevel programming problems have been investigated using an equivalent formulation by use of the optimal value function of the lower level problem. In this comment, it is shown that Ref. 1 contains two incorrect results: in Proposition 2.1, upper semicontinuity instead of lower semicontinuity has to be used for guaranteeing existence of optimal solutions; in Theorem 5.1, the assumption that the abnormal part of the directional derivative of the optimal value function reduces to zero has to be replaced by the demand that a nonzero abnormal Lagrange multiplier does not exist.     

Optimality Conditions for C 1,1 Constrained Multiobjective Problems

The present paper is concerned with the study of the optimality conditions for constrained multiobjective programming problems in which the data have locally Lipschitz Jacobian maps. Second-order necessary and sufficient conditions for efficient solutions are established in terms of second-order subdifferentials of vector functions.     

On relations of vector optimization results with C 1,1 data

In this article we prove that some of the sufficient and necessary optimality conditions obtained by Ginchev, Guerraggio, Luc [Appl. Math., 51, 5-36 （2006）] generalize （strictly） those presented by Guerraggio, Luc [J. Optim. Theory Appl., 109, 615-629 （2001）]. While the former paper shows examples for which the conditions given there are effective but the ones from the latter paper fail, it does not prove that generally the conditions it proposes are stronger. In the present note we complete this comparison with the lacking proof.     

First Order Optimality Conditions for Generalized Semi-Infinite Programming Problems

We study first-order optimality conditions for the class of generalized semi-infinite programming problems (GSIPs). We extend various well-known constraint qualifications for finite programming problems to GSIPs and analyze the extent to which a corresponding Karush-Kuhn-Tucker (KKT) condition depends on these extensions. It is shown that in general the KKT condition for GSIPs takes a weaker form unless a certain constraint qualification is satisfied. In the completely convex case where the objective of the lower-level problem is concave and the constraint functions are quasiconvex, we show that the KKT condition takes a sharper form. The authors thank the anonymous referees for careful reading of the paper and helpful suggestions. The research of the first author was partially supported by NSERC.     

A Posteriori Verification of Optimality Conditions for Control Problems with Finite-Dimensional Control Space

In this article, we investigate non-convex optimal control problems. We are concerned with a posteriori verification of sufficient optimality conditions. If the proposed verification method confirms the fulfillment of the sufficient condition then a posteriori error estimates can be computed. A special ingredient of our method is an error analysis for the Hessian of the underlying optimization problem. We derive conditions under which positive definiteness of the Hessian of the discrete problem implies positive definiteness of the Hessian of the continuous problem. The article is complemented with numerical experiments.     

带有不等式约束的非线性规划问题的一个精确增广Lagrange函数

对求解带有不等式约束的非线性非凸规划问题的一个精确增广Lagrange函数进行了研究．在适当的假设下,给出了原约束问题的局部极小点与增广Lagrange函数,在原问题变量空间上的无约束局部极小点之间的对应关系．进一步地,在对全局解的一定假设下,还提供了原约束问题的全局最优解与增广Lagrange函数,在原问题变量空间的一个紧子集上的全局最优解之间的一些对应关系．因此,从理论上讲,采用该文给出的增广Lagrange函数作为辅助函数的乘子法,可以求得不等式约束非线性规划问题的最优解和对应的Lagrange乘子．     

Sufficient Optimality Conditions for Optimal Control Problems with State Constraints

It is well-known in optimal control theory that the maximum principle, in general, furnishes only necessary optimality conditions for an admissible process to be an optimal one. It is also well-known that if a process satisfies the maximum principle in a problem with convex data, the maximum principle turns to be likewise a sufficient condition. Here an invexity type condition for state constrained optimal control problems is defined and shown to be a sufficient optimality condition. Further, it is demonstrated that all optimal control problems where all extremal processes are optimal necessarily obey this invexity condition. Thus optimal control problems which satisfy such a condition constitute the most general class of problems where the maximum principle becomes automatically a set of sufficient optimality conditions.     

Sufficient Conditions for Global Optimality of Bivalent Nonconvex Quadratic Programs with Inequality Constraints

We present sufficient conditions for the global optimality of bivalent nonconvex quadratic programs involving quadratic inequality constraints as well as equality constraints. By employing the Lagrangian function, we extend the global subdifferential approach, developed recently in Jeyakumar et al. (J. Glob. Optim., 2007, to appear; Math. Program. Ser. A, 2007, to appear) for studying bivalent quadratic programs without quadratic constraints, and derive global optimality conditions. The authors are grateful to the referees for constructive comments and suggestions which have contributed to the final preparation of the paper. Z.Y. Wu’s current address: School of Information Technology and Mathematical Sciences, University of Ballarat, Ballarat, Victoria, Australia. The work of this author was completed while at the Department of Applied Mathematics, University of New South Wales, Sydney, Australia.     

Second-Order Sufficient Conditions for State-Constrained Optimal Control Problems

Second-order sufficient optimality conditions (SSC) are derived for an optimal control problem subject to mixed control-state and pure state constraints of order one. The proof is based on a Hamilton-Jacobi inequality and it exploits the regularity of the control function as well as the associated Lagrange multipliers. The obtained SSC involve the strict Legendre-Clebsch condition and the solvability of an auxiliary Riccati equation. They are weakened by taking into account the strongly active constraints.     

二层多目标规划的最优性条件

本文在集值优化的框架下提出了一个二层多目标规划模型（BLMOP）.利用集值映射的相依导数和相依上导数,给出了几个有关（BLMOP）的弱有效解的必要或充分最优性条件.     

A Dual Dynamic Programming for Multidimensional Elliptic Optimal Control Problems

This paper deals with the optimal control problems with multiple integrals and an elliptic partial differential equation. The sufficient conditions for optimality in these problems are proved through a dual dynamic programming. The concept of an optimal dual feedback is introduced, and the theorem guaranteeing its existence is established. For the purposes of numerical methods, the ε-version of the verification theorem provided appears to be very useful.