Searcharxiv⌕ Search

arXiv subjects

Boris S. Mordukhovich

Publications and source records attributed to Boris S. Mordukhovich.

86 records · Page 5Linked to original sources
arXiv2017

Second-oder analysis in second-oder cone programming

The paper conducts a second-order variational analysis for an important class of nonpolyhedral conic programs generated by the so-called second-order/Lorentz/ice-cream cone $Q$. From one hand, we prove that the indicator function of $Q$ is always twice epi-differentiable and apply this result to characterizing the uniqueness of Lagrange multipliers at stationary points together with an error bound estimate in the general second-order cone setting involving ${\cal C}^2$-smooth data. On the other hand, we precisely calculate the graphical derivative of the normal cone mapping to $Q$ under the weakest metric subregularity constraint qualification and then give an application of the latter result to a complete characterization of isolated calmness for perturbed variational systems associated with second-order cone programs. The obtained results seem to be the first in the literature in these directions for nonpolyhedral problems without imposing any nondegeneracy assumptions.

math.OC↗
arXiv2017

Linear Openness and Feedback Stabilization of Nonlinear Control Systems

It is well known from the seminal Brockett's theorem that the openness property of the mapping on the right-hand side of a given nonlinear ODE control system is a necessary condition for the existence of locally asymptotically stabilizing continuous stationary feedback laws. However, this condition fails to be sufficient for such a feedback stabilization. In this paper we develop an approach of variational analysis to continuous feedback stabilization of nonlinear control systems with replacing openness by the linear openness property, which has been well understood and characterized in variational theory. It allows us, in particular, to obtain efficient conditions via the system data supporting the sufficiency in Brockett's theorem and ensuring local exponential stabilization by means of continuous stationary feedback laws. Furthermore, we derive new necessary conditions for local exponential and asymptotic stabilization of continuous-time control systems by using both continuous and smooth stationary feedback laws and establish also some counterparts of the obtained sufficient conditions for local asymptotic stabilization by continuous stationary feedback laws in the case of nonlinear discrete-time control systems.

math.OC↗
arXiv2017

Critical Multipliers in Variational Systems via Second-order Generalized Differentiation

In this paper we introduce the notions of critical and noncritical multipliers for subdifferential variational systems extending to a general framework the corresponding notions by Izmailov and Solodov developed for classical Karush-Kuhn-Tucker (KKT) systems. It has been well recognized that critical multipliers are largely responsible for slow convergence of major primal-dual algorithms of optimization. The approach of this paper allows us to cover KKT systems arising in various classes of smooth and nonsmooth problems of constrained optimization including composite optimization, minimax problems, etc. Concentrating on a polyhedral subdifferential case and employing recent results of second-order subdifferential theory, we obtain complete characterizations of critical and noncritical multipliers via the problem data. It is shown that noncriticality is equivalent to a certain error bound for a perturbed variational system and that critical multipliers can be ruled out by full stability of local minimizers in problems of composite optimization. For the latter class we establish the equivalence between noncriticality of multipliers and robust isolated calmness of the associated solution map and then derive explicit characterizations of these notions via appropriate second-order sufficient conditions. It is finally proved that the Lipschitz-like/Aubin property of solution maps yields their robust isolated calmness.

math.OC↗
arXiv2016

Complete Characterizations of Tilt Stability in Nonlinear Programming under Weakest Qualification Conditions

This paper is devoted to the study of tilt stability of local minimizers for classical nonlinear programs with equality and inequality constraints in finite dimensions described by twice continuously differentiable functions. The importance of tilt stability has been well recognized from both theoretical and numerical perspectives of optimization, and this area of research has drawn much attention in the literature, especially in recent years. Based on advanced techniques of variational analysis and generalized differentiation, we derive here complete pointbased second-order characterizations of tilt-stable minimizers entirely in terms of the initial program data under the new qualification conditions, which are the weakest ones for the study of tilt stability.

math.OC↗
arXiv2016

Second-order analysis of piecewise linear functions with applications to optimization and stability

This paper is devoted to second-order variational analysis of a rather broad class of extended-real-valued piecewise liner functions and their applications to various issues of optimization and stability. Based on our recent explicit calculations of the second-order subdifferential for such functions, we establish relationships between nondegeneracy and second-order qualification for fully amenable compositions involving piecewise linear functions. We then provide a second-order characterization of full stable local minimizers in composite optimization and constrained minimax problems.

math.OC↗
arXiv2016

Subdifferentials of Nonconvex Integral Functionals in Banach Spaces with Applications to Stochastic Dynamic Programming

The paper concerns the investigation of nonconvex and nondifferentiable integral functionals on general Banach spaces, which may not be reflexive and/or separable. Considering two major subdifferentials of variational analysis, we derive nonsmooth versions of the Leibniz rule on subdifferentiation under the integral sign, where the integral of the subdifferential set-valued mappings generated by Lipschitzian integrands is understood in the Gelfand sense. Besides examining integration over complete measure spaces and also over those with nonatomic measures, our special attention is drawn to a stronger version of measure nonatomicity, known as saturation, to invoke the recent results of the Lyapunov convexity theorem type for the Gelfand integral of the subdifferential mappings. The main results are applied to the subdifferential study of the optimal value functions and deriving the corresponding necessary optimality conditions in nonconvex problems of stochastic dynamic programming with discrete time on the infinite horizon.

math.OC↗
arXiv2015

Optimal control of a perturbed sweeping process via discrete discrete approximations

The paper addresses an optimal control problem for a perturbed sweeping process of the rate-independent hysteresis type described by a controlled "play and stop" operator with separately controlled perturbations. This problem can be reduced to dynamic optimization of a state-constrained unbounded differential inclusion with highly irregular data that cannot be treated by means of known results in optimal control theory for differential inclusions. We develop the method of discrete approximations, which allows us to adequately replace the original optimal control problem by a sequence of well-posed finite-dimensional optimization problems whose optimal solutions strongly converge to that of the controlled perturbed sweeping process. To solve the discretized control systems, we derive effective necessary optimality conditions by using second-order generalized differential tools of variational analysis that explicitly calculated in terms of the given problem data.

math.OC↗
arXiv2015

Optimality conditions for a controlled sweeping process with applications to the crowd motion model

The paper concerns the study and applications of a new class of optimal control problems governed by a perturbed sweeping process of the hysteresis type with control functions acting in both play-and-stop operator and additive perturbations. Such control problems can be reduced to optimization of discontinuous and unbounded differential inclusions with pointwise state constraints, which are immensely challenging in control theory and prevent employing conventional variation techniques to derive necessary optimality conditions. We develop the method of discrete approximations married with appropriate generalized differential tools of modern variational analysis to overcome principal difficulties in passing to the limit from optimality conditions for finite-difference systems. This approach leads us to nondegenerate necessary conditions for local minimizers of the controlled sweeping process expressed entirely via the problem data. Besides illustrative examples, we apply the obtained results to an optimal control problem associated with of the crowd motion model of traffic flow in a corridor, which is formulated in this paper. The derived optimality conditions allow us to develop an effective procedure to solve this problem in a general setting and completely calculate optimal solutions in particular situations.

math.OC↗
arXiv2015

Generalized differentiation of piecewise linear functions in second-order variational analysis

The paper is devoted to a comprehensive second-order study of a remarkable class of convex extended-real-valued functions that is highly important in many aspects of nonlinear and variational analysis, specifically those related to optimization and stability. This class consists of lower semicontinuous functions with possibly infinite values on finite-dimensional spaces, which are labeled as piecewise linear ones and can be equivalently described via the convexity of their epigraphs. In this the paper we calculate the second-order subdifferentials (generalized Hessians) of arbitrary convex piecewise linear functions, together with the corresponding geometric objects, entirely in terms of their initial data. The obtained formulas allow us, in particular, to justify a new exact (equality-type) second-order sum rule for such functions in the general nonsmooth setting.

math.OC↗
arXiv2015

Optimal control of the sweeping process over polyhedral controlled sets

The paper addresses a new class of optimal control problems governed by the dissipative and discontinuous differential inclusion of the sweeping/Moreau process while using controls to determine the best shape of moving convex polyhedra in order to optimize the given Bolza-type functional, which depends on control and state variables as well as their velocities. Besides the highly non-Lipschitzian nature of the unbounded differential inclusion of the controlled sweeping process, the optimal control problems under consideration contain intrinsic state constraints of the inequality and equality types. All of this creates serious challenges for deriving necessary optimality conditions. We develop here the method of discrete approximations and combine it with advanced tools of first-order and second-order variational analysis and generalized differentiation. This approach allows us to establish constructive necessary optimality conditions for local minimizers of the controlled sweeping process expressed entirely in terms of the problem data under fairly unrestrictive assumptions. As a by-product of the developed approach, we prove the strong $W^{1,2}$-convergence of optimal solutions of discrete approximations to a given local minimizer of the continuous-time system and derive necessary optimality conditions for the discrete counterparts. The established necessary optimality conditions for the sweeping process are illustrated by several examples.

math.OC↗
arXiv2011

The Smallest Enclosing Ball Problem and the Smallest Intersecting Ball Problem: Existence and Uniqueness of Solutions

In this paper we study the following problems: given a finite number of nonempty closed subsets of a normed space, find a ball with the smallest radius that encloses all of the sets, and find a ball with the smallest radius that intersects all of the sets. These problems can be viewed as generalized versions of the smallest enclosing circle problem introduced in the 19th century by Sylvester which asks for the circle of smallest radius enclosing a given set of finite points in the plane. We will focus on the sufficient conditions for the existence and uniqueness of an optimal solution for each problem, while the study of optimality conditions and numerical implementation will be addressed in our next projects.

math.OC↗
arXiv2011

Rated Extremal Principles for Finite and Infinite Systems

In this paper we introduce new notions of local extremality for finite and infinite systems of closed sets and establish the corresponding extremal principles for them called here rated extremal principles. These developments are in the core geometric theory of variational analysis. We present their applications to calculus and optimality conditions for problems with infinitely many constraints.

math.OC↗
arXiv2011

Tangential Extremal Principles for Finite and Infinite Systems of Sets, I: Basic Theory

In this paper we develop new extremal principles in variational analysis that deal with finite and infinite systems of convex and nonconvex sets. The results obtained, unified under the name of tangential extremal principles, combine primal and dual approaches to the study of variational systems being in fact first extremal principles applied to infinite systems of sets. The first part of the paper concerns the basic theory of tangential extremal principles while the second part presents applications to problems of semi-infinite programming and multiobjective optimization.

math.OC↗