This paper studies properties of a subdifferential defined using a generalized conjugation scheme. We relate this subdifferential together with the domain of an appropriate conjugate function and the ε-directional derivative. In addition, we also present necessary conditions for ε-optimality and global optimality in optimization problems involving the difference of two convex functions. These conditions will be written via this generalized notion of subdifferential studied in the first sections of the paper.
In this paper, in the absence of any constraint qualifications, we develop sequential necessary and sufficient optimality conditions for a constrained multiobjective fractional programming problem characterizing a Henig proper efficient solution in terms of the $ε$-subdifferentials and the subdifferentials of the functions. This is achieved by employing a sequential Henig subdifferential calculus rule of the sums of $m \ (m\geq 2)$ proper convex vector valued mappings with a composition of two convex vector valued mappings. In order to present an example illustrating the main results of this p…
In this article, we introduce the idea of $gH$-weak subdifferential for interval-valued functions (IVFs) and show how to calculate $gH$-weak subgradients. It is observed that a nonempty $gH$-weak subdifferential set is closed and convex. In characterizing the class of functions for which the $gH$-weak subdifferential set is nonempty, it is identified that this class is the collection of $gH$-lower Lipschitz IVFs. In checking the validity of sum rule of $gH$-weak subdifferential for a pair of IVFs, a counterexample is obtained, which reflects that the sum rule does not hold. However, under a mi…
This paper focuses on second-order necessary optimality conditions for constrained optimization problems on Banach spaces. For problems in the classical setting, where the objective function is $C^2$-smooth, we show that strengthened second-order necessary optimality conditions are valid if the constraint set is generalized polyhedral convex. For problems in a new setting, where the objective function is just assumed to be $C^1$-smooth and the constraint set is generalized polyhedral convex, we establish sharp second-order necessary optimality conditions based on the Fréchet second-order subdi…
We provide a first-order necessary and sufficient condition for optimality of lower semicontinuous functions on Banach spaces using the concept of subdifferential. From the sufficient condition we derive that any subdifferential operator is monotone absorbing, hence maximal monotone when the function is convex.
In the work, the property of the second-order subdifferential is studied and second-order optimality conditions are obtained for the minimization problem. We also obtained necessary and sufficient conditions for an extremum for the extremal problem of operator inclusions.
We employ a fuzzy optimality condition for the Frechet subdifferential and some advanced techniques of variational analysis such as formulae for the subdifferentials of an infinite family of nonsmooth functions and the coderivative scalarization to investigate robust optimality condition and robust duality for a nonsmooth/nonconvex multiobjective optimization problem dealing with uncertain constraints in arbitrary Asplund spaces. We establish necessary optimality conditions for weakly and properly robust efficient solutions of the problem in terms of the Mordukhovich subdifferentials of the re…
In this paper, we introduce the second-order subdifferentials for functions which are Gâteaux differentiable on an open set and whose Gâteaux derivative mapping is locally Lipschitz. Based on properties of this kind of second-order subdifferentials and techniques of variational analysis, we derive second-order necessary conditions for weak Pareto efficient solutions of multiobjective programming problems with constraints.
The counting function on binary values is extended to the signed case in order to count the number of transitions between contiguous locations. A generalized subdifferential for the sign change counting function is given where classical subdifferentials remain intractable. An attempt to prove global optimality at some point, for the 4-dimensional first non trivial example, is made by using a sufficient condition specially tailored among all the cases for this subdifferential.
In this paper we first provide a general formula of inclusion for the Dini-Hadamard epsilon-subdifferential of the difference of two functions and show that it becomes equality in case the functions are directionally approximately starshaped at a given point and a weak topological assumption is fulfilled. To this end we give a useful characterization of the Dini-Hadamard epsilon-subdifferential by means of sponges. The achieved results are employed in the formulation of optimality conditions via the Dini-Hadamard subdifferential for cone-constrained optimization problems having the difference …
The framework of differential inclusions encompasses modern optimal control and the calculus of variations. Necessary optimality conditions in the literature identify potentially optimal paths, but do not show how to perturb paths to optimality. We first look at the corresponding discretized inclusions, estimating the subdifferential dependence of the optimal value in terms of the endpoints of the feasible paths. Our approach is to first estimate the coderivative of the reachable map. The discretized (nonsmooth) Euler-Lagrange and transversality conditions follow as a corollary. We obtain corr…
The paper is devoted to an analysis of a new constraint qualification and a derivation of the strongest existing optimality conditions for nonsmooth mathematical programming problems with equality and inequality constraints in terms of Demyanov-Rubinov-Polyakova quasidifferentials under the minimal possible assumptions. To this end, we obtain a novel description of convex subcones of the contingent cone to a set defined by quasidifferentiable equality and inequality constraints with the use of a new constraint qualification. We utilize these description and constraint qualification to derive t…
This paper is devoted to the study of second order optimality conditions for strong local minimizers in the frameworks of unconstrained and constrained optimization problems in finite dimensions via subgradient graphical derivative. We prove that the positive definiteness of the subgradient graphical derivative of an extended-real-valued lower semicontinuous proper function at a proximal stationary point is sufficient for the quadratic growth condition. It is also a necessary condition for the latter property when the function is either subdifferentially continuous, prox-regular, twice epi-dif…
We derive exact calculus rules for the directed subdifferential defined for the class of directed subdifferentiable functions. We also state optimality conditions, a chain rule and a mean-value theorem. Thus we extend the theory of the directed subdifferential from quasidifferentiable to directed subdifferentiable functions.
We investigate the value function of an infinite horizon variational problem in the infinite-dimensional setting. Firstly, we provide an upper estimate of its Dini--Hadamard subdifferential in terms of the Clarke subdifferential of the Lipschitz continuous integrand and the Clarke normal cone to the graph of the set-valued mapping describing dynamics. Secondly, we derive a necessary condition for optimality in the form of an adjoint inclusion that grasps a connection between the Euler--Lagrange condition and the maximum principle.
The first part of the paper provides new characterizations of the normal cone to the effective domain of the supremum of an arbitrary family of convex functions. These results are applied in the second part to give new formulas for the subdifferential of the supremum function, which use both the active and nonactive functions at the reference point. Only the data functions are involved in these characterizations, the active ones from one side, together with the nonactive functions multiplied by some appropriate parameters. In contrast with previous works in the literature, the main feature of …
Construction of an united theory of the subdifferentials of the first and second orders is interesting for many specialists in optimization \cite{morduchrockafel}. In the paper the rules for construction of the subdifferentials of the first and second orders are introduced. The constructions are done with the help of the Steklov integral of a Lipschitz function $f(\cdot)$ over the images of a set-valued mapping $D(\cdot)$. It is proved that the subdifferential of the first order consisting of the average integral limit values of the gradients $\nabla f(r(\cdot))$, calculated along the curves $…
In this paper, we study a nonsmooth/nonconvex multiobjective optimization problem with uncertain constraints in arbitrary Asplund spaces. We first provide necessary optimality condition in a fuzzy form for approximate weakly robust efficient solutions and then establish necessary optimality theorem for approximate weakly robust quasi-efficient solutions of the problem in the sense of the limiting subdifferential by exploiting a fuzzy optimality condition in terms of the Frechet subdifferential. Sufficient conditions for approximate (weakly) robust quasi-efficient solutions to such a problem ar…
The main goal of this paper is to apply the machinery of variational analysis and generalized differentiation to study infinite horizon stochastic dynamic programming (DP) with discrete time in the Banach space setting without convexity assumptions. Unlike to standard stochastic DP with stationary Markov processes, we investigate here stochastic DP in $L^p$ spaces to deal with nonstationary stochastic processes, which describe a more flexible learning procedure for the decision-maker. Our main concern is to calculate generalized subgradients of the corresponding value function and to derive ne…
We show that quadratic growth of a semi-algebraic function is equivalent to strong metric subregularity of the subdifferential --- a kind of stability of generalized critical points. In contrast, this equivalence can easily fail outside of the semi-algebraic setting. As a consequence, we derive necessary conditions and sufficient conditions for optimality in subdifferential terms.
In this paper, we present some new necessary and sufficient optimality conditions in terms of the Clarke subdifferentials for approximate Pareto solutions of a nonsmooth vector optimization problem which has an infinite number of constraints. As a consequence, we obtain optimality conditions for the particular cases of cone-constrained convex vector optimization problems and semidefinite vector optimization problems. Examples are given to illustrate the obtained results.
Normal cones to sublevel sets of convex and quasi-convex supremum functions
Faculty of Sciences, Institute of Exact and Natural Sciences, University Arturo Prat（阿图罗·普拉特大学精确与自然科学学院）；Mathematical Engineering Department, University of Chile（智利大学数学工程系）；Mathematical Department, University of Alicante（阿利坎特大学数学系）
We present new results on optimization problems where the involved functions are evenly convex. By means of a generalized conjugation scheme and the perturbation theory introduced by Rockafellar, we propose an alternative dual problem for a general optimization one defined on a separated locally convex topological space. Sufficient conditions for converse and total duality involving the even convexity of the perturbation function and $c$-subdifferentials are given. Formulae for the $c$-subdifferential and biconjugate of the objective function of a general optimization problem are provided, too…
This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain mappings, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderivative). It turns out that these tools can be used fruitfully out of the scope of Asplund spaces. Applications to infinite, stochastic and semi-definite programming are developed in separate sections.
These lecture notes for a graduate course cover generalized derivative concepts useful in deriving necessary optimality conditions and numerical algorithms for nondifferentiable optimization problems in inverse problems, imaging, and PDE-constrained optimization. Treated are convex functions and subdifferentials, Fenchel duality, monotone operators and resolvents, Moreau--Yosida regularization, proximal point and (some) first-order splitting methods, Clarke subdifferentials, and semismooth Newton methods. The required background from functional analysis and calculus of variations is also brief…
Optimization models involving quaternion matrices are widely used in color image process and other engineering areas. These models optimize real functions of quaternion matrix variables. In particular, $\ell_0$-norms and rank functions of quaternion matrices are discrete. Yet calculus with derivatives, subdifferentials and generalized subdifferentials of such real functions is needed to handle such models. In this paper, we introduce first and second order derivatives and establish their calculation rules for such real functions. Our approach is consistent with the subgradient concept for norm…
In the present paper, we focus on the vector optimization problems with inequality constraints, where objective functions and constrained functions are Fréchet differentiable, and whose gradient mapping is locally Lipschitz on an open set. By using the second-order symmetric subdifferential and the second-order tangent set, we propose two types of second-order regularity conditions in the sense of Abadie. Then we establish some strong second-order Karush--Kuhn--Tucker necessary optimality conditions for Geoffrion properly efficient solutions of the considered problem. Examples are given to ill…
In this paper, we introduce a new higher-order directional derivative and higher-order subdifferential of Hadamard type of a given proper extended real function. This derivative is harmonized with the classical higher-order Fréchet directional derivative in the sense that both derivatives of the same order coincide if the last one exists. We obtain necessary and sufficient conditions of order $n$ ($n$ is a positive integer) for a local minimum and isolated local minimum of order $n$ of the given function in terms of these derivatives and subdifferentials. We do not require any restrictions on …
In this paper we investigate necessary conditions of optimality for infinite-horizon optimal control problems with overtaking optimality as an optimality criterion. For the case of local Lipschitz continuity of the payoff function, we construct a boundary condition on the co-state arc that is necessary for the optimality. We also show that, under additional assumptions on the payoff function's asymptotic behavior, the Pontryagin Maximum Principle with this condition becomes a complete system of relations, and this boundary condition points out the unique co-state arc through a Cauchy-type form…
This expository paper contains a concise introduction to some significant works concerning the Karush-Kuhn-Tucker condition, a necessary condition for a solution in local optimality in problems with equality and inequality constraints. The study of this optimality condition has a long history and culminated in the appearance of subdifferentials. The 1970s and early 1980s were important periods for new developments and various generalizations of subdifferentials were introduced, including the Clarke subdifferential and Demyanov-Rubinov quasidifferential. In this paper, we mainly present four ge…
Optimization Problems with Difference of Tangentially Convex Functions under Uncertainty
Department of Applied Mathematics and Computer Sciences, Faculty of Mathematics and Statistics, University of Isfahan（伊斯法罕大学数学与统计学院应用数学与计算机科学系）；School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究院（IPM）数学学院）
This paper deals with Pareto solutions of a nonsmooth fractional interval-valued multiobjective optimization. We first introduce four types of Pareto solutions of the considered problem by considering the lower-upper interval order relation and then apply some advanced tools of variational analysis and generalized differentiation to establish necessary optimality conditions for these solutions. Sufficient conditions for Pareto solutions of such a problem are also provided by means of introducing the concepts of (strictly) generalized convex functions defined in terms of the limiting/Mordukhovi…
In the recent paper of Giorgi, Jiménez and Novo (J Optim Theory Appl 171:70--89, 2016), the authors introduced the so-called approximate Karush-Kuhn-Tucker (AKKT) condition for smooth multiobjective optimization problems and obtained some AKKT-type necessary optimality conditions and sufficient optimality conditions for weak efficient solutions of such a problem. In this note, we extend these optimality conditions to locally Lipschitz multiobjective optimization problems using Mordukhovich subdifferentials. Furthermore, we prove that, under some suitable additional conditions, an AKKT conditio…
In this paper, we show that higher-order optimality conditions can be obtain for arbitrary nonsmooth function. We introduce a new higher-order directional derivative and higher-order subdifferential of Hadamard type of a given proper extended real function. This derivative is consistent with the classical higher-order Fréchet directional derivative in the sense that both derivatives of the same order coincide if the last one exists. We obtain necessary and sufficient conditions of order $n$ ($n$ is a positive integer) for a local minimum and isolated local minimum of order $n$ in terms of thes…
Approximate necessary optimality conditions in terms of Fréchet subgradients and normals for a rather general optimization problem with a potentially non-Lipschitzian objective function are established with the aid of Ekeland's variational principle, the fuzzy Fréchet subdifferential sum rule, and a novel notion of lower semicontinuity relative to a set-valued mapping or set. Feasible points satisfying these optimality conditions are referred to as approximately stationary. As applications, we derive a new general version of the extremal principle. Furthermore, we study approximate stationarit…
In this article, we derive first-order necessary optimality conditions for a constrained optimal control problem formulated in the Wasserstein space of probability measures. To this end, we introduce a new notion of localised metric subdifferential for compactly supported probability measures, and investigate the intrinsic linearised Cauchy problems associated to non-local continuity equations. In particular, we show that when the velocity perturbations belong to the tangent cone to the convexification of the set of admissible velocities, the solutions of these linearised problems are tangent …
In this paper we consider the minimization of a continuous function that is potentially not differentiable or not twice differentiable on the boundary of the feasible region. By exploiting an interior point technique, we present first- and second-order optimality conditions for this problem that reduces to classical ones when the derivative on the boundary is available. For this type of problems, existing necessary conditions often rely on the notion of subdifferential or become non-trivially weaker than the KKT condition in the (twice-)differentiable counterpart problems. In contrast, this pa…
We present a unified study of first and second order necessary and sufficient optimality conditions for minimax and Chebyshev optimisation problems with cone constraints. First order optimality conditions for such problems can be formulated in several different forms: in terms of a linearised problem, in terms of Lagrange multipliers (KKT-points), in terms of subdifferentials and normal cones, in terms of a nonsmooth penalty function, in terms of cadres with positive cadre multipliers, and in an alternance form. We describe interconnections between all these forms of necessary and sufficient o…
We address the problem of optimal scale-dependent parameter learning in total variation image denoising. Such problems are formulated as bilevel optimization instances with total variation denoising problems as lower-level constraints. For the bilevel problem, we are able to derive M-stationarity conditions, after characterizing the corresponding Mordukhovich generalized normal cone and verifying suitable constraint qualification conditions. We also derive B-stationarity conditions, after investigating the Lipschitz continuity and directional differentiability of the lower-level solution opera…
The paper is devoted to an analysis of optimality conditions for nonsmooth multidimensional problems of the calculus of variations with various types of constraints, such as additional constraints at the boundary and isoperimetric constraints. To derive optimality conditions, we study generalised concepts of differentiability of nonsmooth functions called codifferentiability and quasidifferentiability. Under some natural and easily verifiable assumptions we prove that a nonsmooth integral functional defined on the Sobolev space is continuously codifferentiable and compute its codifferential an…
This paper deals with the optimization of Bolza problem with a system of convex and nonconvex, discrete and differential state variable inequality constraints of second order by deriving necessary and sufficient conditions for optimality. According to proposed discretization method and equivalence theorems for subdifferential inclusions, the problem with a system of discrete-approximation inequalities are investigated which highly contributes to the derivation of adjoint discrete inclusions generated by given system of nonlinear inequality constraints. Moreover, in the limit case, we obtain su…
