本文研究局部凸拓扑向量空间中的集值优化问题。我们证明了由 Jeyakumar、Yang、Yang 与 Yang 及 Chen，以及 Zeng 提出的若干广义凸映射定义之间的等价性。随后，讨论了集值优化问题的弱有效解、真有效解和最优解的条件。
英文摘要：
In this article, we work with set-valued optimization problems in locally convex topological vector spaces. We prove the equivalencies of some definitions of generalized convex maps introduced by Jeyakumar, Yang, Yang & Yang & Chen, as well as Zeng. And then, we discuss the conditions of weakly efficient solutions, proper efficient solutions, and optimal solutions of set-valued optimization problems.
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…
The purpose of this paper is to establish first and second order necessary optimality conditions for optimal control problems of stochastic evolution equations with control and state constraints. The control acts both in the drift and diffusion terms and the control region is a nonempty closed subset of a separable Hilbert space. We employ some classical set-valued analysis tools and theories of the transposition solution of vector-valued backward stochastic evolution equations and the relaxed-transposition solution of operator-valued backward stochastic evolution equations to derive these opt…
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…
In the present paper, we are concerned with a class of constrained vector optimization problems, where the objective functions and active constraint functions are locally Lipschitz at the referee point. Some second-order constraint qualifications of Zangwill type, Abadie type and Mangasarian~--~Fromovitz type as well as a regularity condition of Abadie type are proposed in a nonsmooth setting. The connections between these proposed conditions are established. They are applied to develop second-order Karush--Kuhn--Tucker necessary optimality conditions for local (weak, Geoffrion properly) effic…
In this paper we consider (probability-)measure valued processes, which we call MVMs, which have a natural martingale structure. Following previous work of Eldan and Cox-Källblad, these processes are known to have a close connection to the solutions to the Skorokhod Embedding Problem. In this paper, we consider properties of these processes, and in particular, we are able to show that the MVMs connected to the Bass and Root embeddings have natural measure-valued analogues which also possess natural optimality properties. We also introduce a new MVM which is a generalisation of both the Bass an…
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 the present paper, some aspects of the finite-dimensional theory of set-inclusive generalized equations are studied. Set-inclusive generalized equations are problems arising in several contexts of optimization and variational analysis, involving multi-valued mappings and cones. The aim of this paper is to propose an approach to the local analysis of the solution set to such kind of generalized equations. In particular, a study of the contingent cone to the solution set is carry out by means of first-order approximations of set-valued mappings, which are expressed by prederivatives. Such an …
We establish the existence of fixed points for set-valued maps defined on metric spaces and satisfying a pointwise or a local version of Banach's contraction property. As an application, we demonstrate the existence of Nash equilibrium in a general class of strategic games played on metric spaces of strategies.
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 paper, we study a first order solution method for a particular class of set optimization problems where the solution concept is given by the set approach. We consider the case in which the set-valued objective mapping is identified by a finite number of continuously differentiable selections. The corresponding set optimization problem is then equivalent to find optimistic solutions to vector optimization problems under uncertainty with a finite uncertainty set. We develop optimality conditions for these types of problems, and introduce two concepts of critical points. Furthermore, we p…
We analyze a potentially risk-averse convex stochastic optimization problem, where the control is deterministic and the state is a Banach-valued essentially bounded random variable. We obtain strong forms of necessary and sufficient optimality conditions for problems subject to equality and conical constraints. We propose a Moreau--Yosida regularization for the conical constraint and show consistency of the optimality conditions for the regularized problem as the regularization parameter is taken to infinity.
This paper deals with approximate solutions of an optimization problem with interval-valued objective function. Four types of approximate solution concepts of the problem are proposed by considering the partial ordering $LU$ on the set of all closed and bounded intervals. We show that these solutions exist under very weak conditions. Under suitable constraint qualifications, we derive Karush--Kuhn--Tucker necessary and sufficient optimality conditions for convex interval-valued optimization problems.
In this paper, we establish some second order necessary/sufficient optimality conditions for optimal control problems of stochastic evolution equations in infinite dimensions. The control acts on both the drift and diffusion terms and the control region is convex. The concepts of relaxed and $V$-transposition solutions (introduced in our previous works) to operator-valued backward stochastic evolution equations are employed to derive these optimality conditions. The correction part of the second order adjoint equation, which does not appear in the (first order) Pontryagin-type stochastic maxim…
This article proposes a general gH-gradient efficient-direction method and a W-gH-gradient efficient method for the optimization problems with interval-valued functions. The convergence analysis and the step-wise algorithms of both the methods are presented. It is observed that the W-gH-gradient efficient method converges linearly for a strongly convex interval-valued objective function. To develop the proposed methods and to study their convergence, the idea of strong convexity and sequential criteria for gH-continuity of interval-valued function are illustrated. In the sequel, a new definiti…
Vectorization is a technique that replaces a set-valued optimization problem with a vector optimization problem. In this work, by using an extension of Gerstewitz function [1], a vectorizing function is defined to replace a given set-valued optimization problem with respect to set less order relation. Some properties of this function are studied. Also, relationships between a set-valued optimization problem and a vector optimization problem, derived via vectorization of this set-valued optimization problem, are examined. Furthermore, necessary and sufficient optimality conditions are presented…
This article considers the average optimality for a continuous-time Markov decision process with Borel state and action spaces and an arbitrarily unbounded nonnegative cost rate. The existence of a deterministic stationary optimal policy is proved under a different and general set of conditions as compared to the previous literature; the controlled process can be explosive, the transition rates can be arbitrarily unbounded and are weakly continuous, the multifunction defining the admissible action spaces can be neither compact-valued nor upper semi-continuous, and the cost rate is not necessar…
It is well-known that normal extremals in sub-Riemannian geometry are curves which locally minimize the energy functional. Most proofs of this fact do not make, however, an explicit use of relations between local optimality and the geometry of the problem. In this paper, we provide a new proof of that classical result, which gives insight into direct geometric reasons of local optimality. Also the relation of the regularity of normal extremals with their optimality becomes apparent in our approach.
In this paper, we consider a multiobjective optimal control problem where the preference relation in the objective space is defined in terms of a pointed convex cone containing the origin, which defines generalized Pareto optimality. For this problem, we introduce the set-valued return function V and provide a unique characterization for V in terms of contingent derivative and coderivative for set-valued maps, which extends two previously introduced notions of generalized solution to the Hamilton-Jacobi equation for single objective optimal control problems.
We associate with each convex optimization problem posed on some locally convex space with an infinite index set T, and a given non-empty family H formed by finite subsets of T, a suitable Lagrangian-Haar dual problem. We provide reverse H-strong duality theorems, H-Farkas type lemmas and optimality theorems. Special attention is addressed to infinite and semi-infinite linear optimization problems.
The aim of this paper is to derive a maximum principle for a control problem governed by a stochastic partial differential equation (SPDE) with locally monotone coefficients. In particular, necessary conditions for optimality for this stochastic optimal control problem are obtained by using the adjoint backward stochastic partial differential equation (BSPDE).
In this paper, we consider an optimal control problem for the two-dimensional evolutionary Navier-Stokes system. Looking for sparsity, we take controls as functions of time taking values in a space of Borel measures. The cost functional does not involve directly the control but we assume some constraints on them. We prove the well-posedness of the control problem and derive necessary and sufficient conditions for local optimality of the controls.
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-valu…
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.
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.
In this paper, we study second-order necessary and sufficient optimality conditions of Karush--Kuhn--Tucker-type for locally optimal solutions in the sense of Pareto to a class of multi-objective optimal control problems with mixed pointwise constraint. To deal with the problems, we first derive second-order optimality conditions for abstract multi-objective optimal control problems which satisfy the Robinson constraint qualification. We then apply the obtained results to our concrete problems. The proofs of obtained results are direct, self-contained without using scalarization techniques.
While the Pontryagin Maximum Principle can be used to calculate candidate extremals for optimal orbital transfer problems, these candidates cannot be guaranteed to be at least locally optimal unless sufficient optimality conditions are satisfied. In this paper, through constructing a parameterized family of extremals around a reference extremal, some second-order necessary and sufficient conditions for the strong-local optimality of the free-time multi-burn fuel-optimal transfer are established under certain regularity assumptions. Moreover, the numerical procedure for computing these optimali…
The paper is devoted to the study of the twice epi-differentiablity of extended-real-valued functions, with an emphasis on functions satisfying a certain composite representation. This will be conducted under the parabolic regularity, a second-order regularity condition that was recently utilized in [13] for second-order variational analysis of constraint systems. Besides justifying the twice epi-differentiablity of composite functions, we obtain precise formulas for their second subderivatives under the metric subregularity constraint qualification. The latter allows us to derive second-order…
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…
The local stability of the solution map to a parametric boundary control problem governed by semilinear elliptic equations with finite mixed pointwise constraints is considered in this paper. We prove that the solution map is locally Hölder continuous in $L^\infty-$norm of control variable when the strictly nonnegative second-order optimality conditions are satisfied for the unperturbed problem.
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…
We study necessary and sufficient conditions to attain solutions of set-optimization problems in therms of variational inequalities of Stampacchia and Minty type. The notion of a solution we deal with has been introduced Heyde and Loehne, for convex set-valued objective functions. To define the set-valued variational inequality, we introduce a set-valued directional derivative and we relate it to the Dini derivatives of a family of linearly scalarized problems. The optimality conditions are given by Stampacchia and Minty type Variational inequalities, defined both by the set valued directional…
The minimization of a multiobjective Lagrangian with non-constant discount is studied. The problem is embedded into a set-valued framework and a corresponding definition of the value function is given. Bellman's optimality principle and Hopf-Lax formula are derived. The value function is shown to be a solution of a set-valued Hamilton-Jacobi equation.
Given two n-dimensional measures $μ$ and $ν$ on Polish spaces, we propose an optimal transportation's formulation, inspired by classical Kan-torovitch's formulation in the scalar case. In particular, we established a strong duality result and as a consequence, optimality conditions are investigated. Wasserstein's metrics induced by our formulation are also investigated.
We consider a stochastic control problem where the set of strict (classical) controls is not necessarily convex, and the system is governed by a nonlinear backward stochastic differential equation. By introducing a new approach, we establish necessary as well as sufficient conditions of optimality for two models. The first concerns the relaxed controls, who are measure-valued processes. The second is a particular case of the first and relates to strict control problems.
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…
To a function with values in the power set of a pre-ordered, separated locally convex space a family of scalarizations is given which completely characterizes the original function. A concept of a Legendre-Fenchel conjugate for set-valued functions is introduced and identified with the conjugates of the scalarizations. Using this conjugate, weak and strong duality results are proven.
We analyze a convex stochastic optimization problem where the state is assumed to belong to the Bochner space of essentially bounded random variables with images in a reflexive and separable Banach space. For this problem, we obtain optimality conditions that are, with an appropriate model, necessary and sufficient. Additionally, the Lagrange multipliers associated with optimality conditions are integrable vector-valued functions and not only measures. A model problem is given demonstrating the application to PDE-constrained optimization under uncertainty with an outlook for further applicatio…
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.
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…
This paper deals with approximate solutions of a nonsmooth semi-infinite programming with multiple interval-valued objective functions. We first introduce four types of approximate quasi 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 approximate solutions. Sufficient conditions for approximate quasi Pareto solutions of such a problem are also provided by means of introducing the concepts of approxima…
To a function with values in the power set of a pre--ordered, separated locally convex space a family of scalarizations is given which completely characterizes the original function. A concept of a Legendre--Fenchel conjugate for set-valued functions is introduced and identified with the conjugates of the scalarizations. The concept of conjugation is connected to the notion of $(*,s)$--dualities and duality results are provided.
KKT Optimality Conditions for Multiobjective Optimal Control Problems with Endpoint and Mixed Constraints: Application to Sustainable Energy Management
Data in the real world frequently involve binary status: truth or falsehood, positiveness or negativeness, similarity or dissimilarity, spam or non-spam, and to name a few, with applications into the regression, classification problems and so on. To characterize the binary status, one of the ideal functions is the Heaviside step function that returns one for one status and zero for the other. Hence, it is of dis-continuity. Because of this, the conventional approaches to deal with the binary status tremendously benefit from its continuous surrogates. In this paper, we target the Heaviside step…
We introduce real vector spaces composed of set-valued maps on an open set. They are also complete metric spaces, lattices, commutative rings. The set of differentiable functions is a dense subset of these spaces and the classical gradient may be extended in these spaces as a closed operator. If a function f belongs to the domain of such extension, then f is locally lipschitzian and the values of extended gradient coincide with the values of Clarke's gradient. However, unlike Clarke's gradient, our generalized gradient is a linear operator.
This paper aims at providing further studies of the notion of quasi-relative interior for convex sets introduced by Borwein and Lewis. We obtain new formulas for representing quasi-relative interiors of convex graphs of set-valued mappings and for convex epigraphs of extended-real-valued functions defined on locally convex topological vector spaces. We also show that the role, which this notion plays in infinite dimensions and the results obtained in this vein, are similar to those involving relative interior in finite-dimensional spaces.
