Mathematics Commons^™

Second-Order Analysis Of Polyhedral Systems In Finite And Infinite Dimensions With Applications To Robust Stability Of Variational Inequalities, René Henrion, Boris S. Mordukhovich, Nguyen Mau Nam

Mathematics Research Reports

This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly important for the study of optimization and equilibrium problems with equilibrium constraints. Systems of this type are described via variational inequalities over polyhedral convex sets and allow us to provide a comprehensive local analysis by using appropriate generalized differentiation of the normal cone mappings for such sets. In this paper we efficiently compute the required coderivatives of the normal cone mappings exclusively via the initial data of polyhedral sets in reflexive Banach spaces. This provides the main tools of second-order …

The Dixmier-Douady Invariant For Dummies, Claude Schochet

Mathematics Faculty Research Publications

The Dixmier-Douady invariant is the primary tool in the classification of continuous trace C*-algebras. These algebras have come to the fore in recent years because of their relationship to twisted K-theory and via twisted K-theory to branes, gerbes, and string theory.

This note sets forth the basic properties of the Dixmier-Douady invariant using only classical homotopy and bundle theory. Algebraic topology enters the scene at once since the algebras in question are algebras of sections of certain fibre bundles.

Banach Algebras And Rational Homotopy Theory, Gregory Lupton, N. Christopher Phillips, Claude Schochet, Samuel B. Smith

Mathematics Faculty Research Publications

Let A be a unital commutative Banach algebra with maximal ideal space Max(A). We determine the rational H-type of GL_n(A), the group of invertible n x n matrices with coefficients in A, in terms of the rational cohomology of Max(A). We also address an old problem of J. L. Taylor. Let Lc_n(A) denote the space of "last columns" of GL_n(A). We construct a natural isomorphism

Ȟ^s(Max(A);ℚ) ≅ π_2n-1-s(Lc_n(A)) ⊗ ℚ …

Hybrid Approximate Proximal Method With Auxiliary Variational Inequality For Vector Optimization, L C. Ceng, Boris S. Mordukhovich, Jen-Chih Yao

Mathematics Research Reports

This paper studies the general vector optimization problem of finding weakly efficient points for mappings in a Banach space Y, with respect to the partial order induced by a closed, convex, and pointed cone C C Y with nonempty interior. In order to find a solution of this problem, we introduce an auxiliary variational inequality problem for monotone, Lipschitz-continuous mapping. The approximate proximal method in vector optimization is extended to develop a hybrid approximate proximal method for the general vector optimization problem by the combination of extragradient method for finding a solution to the variational inequality problem and approximate proximal …

Robust Stability And Optimality Conditions For Parametric Infinite And Semi-Infinite Programs, M J. Cánovas, M A. Lopez, Boris S. Mordukhovich, J Parra

Mathematics Research Reports

This paper primarily concerns the study of parametric problems of infinite and semi-infinite programming, where functional constraints are given by systems of infinitely many linear inequalities indexed by an arbitrary set T, where decision variables run over Banach (infinite programming) or finite-dimensional (semi-infinite case) spaces, and where objectives are generally described by nonsmooth and nonconvex cost functions. The parameter space of admissible perturbations in such problems is formed by all bounded functions on T equipped with the standard supremum norm. Unless the index set T is finite, this space is intrinsically infinite-dimensional (nonreflexive and nonseparable) of the l(infinity)-type. By using …

Metric Regularity Of Mappings And Generalized Normals To Set Images, Boris S. Mordukhovich, Nguyen Mau Nam, Bingwu Wang

Mathematics Research Reports

The primary goal of this paper is to study some notions of normals to nonconvex sets in finite-dimensional and infinite-dimensional spaces and their images under single-valued and set-valued mappings. The main motivation for our study comes from variational analysis and optimization, where the problems under consideration play a crucial role in many important aspects of generalized differential calculus and applications. Our major results provide precise equality formulas (sometimes just efficient upper estimates) allowing us to compute generalized normals in various senses to direct and inverse images of nonconvex sets under single-valued and set-valued mappings between Banach spaces. The main tools …

Optimization Of Delay-Differential Inclusions Of Infinite Dimensions, Boris S. Mordukhovich, Dong Wang, Lianwen Wang

Mathematics Research Reports

No abstract provided.

Limiting Subgradients Of Minimal Time Functions In Banach Spaces, Boris S. Mordukhovich, Nguyen Mau Nam

Mathematics Research Reports

The paper mostly concerns the study of generalized differential properties of the so-called minimal time functions associated, in particular, with constant dynamics and arbitrary closed target sets in control theory. Functions of this type play a significant role in many aspects of optimization, control theory: and Hamilton-Jacobi partial differential equations. We pay the main attention to computing and estimating limiting subgradients of the minimal value functions and to deriving the corresponding relations for Frechet type epsilon-subgradients in arbitrary Banach spaces.

Necessary Conditions For Nonsmooth Optimization Problems With Operator Constraints In Metric Spaces, Boris S. Mordukhovich, Libin Mou

Mathematics Research Reports

This paper concerns nonsmooth optimization problems involving operator constraints given by mappings on complete metric spaces with values in nonconvcx subsets of Banach spaces. We derive general first-order necessary optimality conditions for such problems expressed via certain constructions of generalized derivatives for mappings on metric spaces and axiomatically defined subdifferentials for the distance function to nonconvex sets in Banach spaces. Our proofs arc based on variational principles and perturbation/approximation techniques of modern variational analysis. The general necessary conditions obtained are specified in the case of optimization problems with operator constraints dDScribcd by mappings taking values in approximately convex subsets of …

Failure Of Metric Regularity For Major Classes Of Variational Systems, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to the study of metric regularity, which is a remarkable property of set-valued mappings playing an important role in many aspects of nonlinear analysis and its applications. We pay the main attention to metric regularity of the so- called parametric variational systems that contain, in particular, various classes of parameterized/perturbed variational and hemivariational inequalities, complementarity systems, sets of optimal solutions and corresponding Lagrange multipliers in problems of parametric optimization and equilibria, etc. Based on the advanced machinery of generalized differentiation1 we surprisingly reveal that metric regularity fails for certain major classes of parametric variational systems, which …

Optimal Control Of Delay-Differential Inclusions With Multivalued Initial Conditions In Infinite Dimensions, Boris S. Mordukhovich, Dong Wang, Lianwen Wang

Mathematics Research Reports

This paper is devoted to the study of a general class of optimal control problems described by delay-differential inclusions with infinite-dimensional state spaces, endpoints constraints, and multivalued initial conditions. To the best of our knowledge, problems of this type have not been considered in the literature, except some particular cases when either the state space is finite-dimensional or there is no delay in the dynamics. We develop the method of discrete approximations to derive necessary optimality conditions in the extended Euler-Lagrange form by using advanced tools of variational analysis and generalized differentiation in infinite dimensions. This method consists of the …

Relative Pareto Minimizers To Multiobjective Problems: Existence And Optimality Conditions, Truong Q. Bao, Boris S. Mordukhovich

Mathematics Research Reports

In this paper we introduce and study enhanced notions of relative Pareto minimizers to constrained multiobjective problems that are defined via several kinds of relative interiors of ordering cones and occupy intermediate positions between the classical notions of Pareto and weak Pareto efficiency/minimality. Using advanced tools of variational analysis and generalized differentiation, we establish the existence of relative Pareto minimizers to general multiobjective problems under a refined version of the subdifferential Palais-Smale condition for set-valued mappings with values in partially ordered spaces and then derive necessary optimality conditions for these minimizers (as well as for conventional efficient and weak efficient …

Image Reconstruction In Multi-Channel Model Under Gaussian Noise, Veera Holdai, Alexander Korostelev

Mathematics Research Reports

The image reconstruction from noisy data is studied. A nonparametric boundary function is estimated from observations in N independent channels in Gaussian white noise. In each channel the image and the background intensities are unknown. They define a non-identifiable nuisance "parameter" that slows down the typical minimax rate of convergence. The large sample asymptotics of the minimax risk is found and an asymptotically optimal estimator for boundary function is suggested.

Necessary Conditions For Super Minimizers In Constrained Multiobjective Optimization, Truong Q. Bao, Boris S. Mordukhovich

Mathematics Research Reports

This paper concerns the study of the so-called super minimizers related to the concept of super efficiency in constrained problems of multiobjective optimization, where cost mappings are generally set-valued. We derive necessary conditions for super minimizers on the base of advanced tools of variational analysis and generalized differentiation that are new in both finite-dimensional and infinite-dimensional settings for problems with single-valued and set-valued objectives.

Optimization And Feedback Design Of State-Constrained Parabolic Systems, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to optimal control and feedback design of stateconstrained parabolic systems in uncertainty conditions. Problems of this type are among the most challenging and difficult in dynamic optimization for any kind of dynamical systems. We pay the main attention to considering linear multidimensional parabolic'systems with Dirichlet boundary controls and pointwise state constraints, while the methods developed in this study are applicable to other kinds of boundary controls and dynamical systems of the parabolic type. The feedback design problem is formulated in the minimax sense to ensure stabilization of transients within the prescribed diapason and robust stability of …

Suboptimality Conditions For Mathematical Programs With Equilibrium Constraints, Truong Q. Bao, Panjak Gupta, Boris S. Mordukhovich

Mathematics Research Reports

In this paper we study mathematical programs with equilibrium constraints (MPECs) described by generalized equations in the extended form 0 is an element of the set G(x,y) + Q(x,y), where both mappings G and Q are set-valued. Such models arise, in particular, from certain optimization-related problems governed by variational inequalities and first-order optimality conditions in nondifferentiable programming. We establish new weak and strong suboptimality conditions for the general MPEC problems under consideration in finite-dimensional and infinite-dimensional spaces that do not assume the existence of optimal solutions. This issue is particularly important for infinite-dimensional optimization problems, where the existence of optimal …

Some Results Of Backward Itô Formula, Guiseppe Da Prato, Jose-Luis Menaldi, Luciano Tubaro

Mathematics Faculty Research Publications

We use the notion of backward integration, with respect to a general Lévy process, to treat, in a simpler and unifying way, various classical topics as: Girsanov theorem, rst order partial differential equations, the Liouville (or Lyapunov) equations and the stochastic characteristic method.

Statistical Pronouncements V, Shlomo S. Sawilowsky

Theoretical and Behavioral Foundations of Education Faculty Publications

No abstract provided.

Existence Of Minimizers And Necessary Conditions In Set-Valued Optimization With Equilibrium Constraints, Truong Q. Bao, Boris S. Mordukhovich

Mathematics Research Reports

In this paper we study set-valued optimization problems with equilibrium constraints (SOPEOs) described by parametric generalized equations in the form 0 is an element of the set G(x) + Q(x) where both G and Q are set-valued mappings between infinite-dimensional spaces. Such models particularly arise from certain optimization-related problems governed by set-valued variational inequalities and first-order optimality conditions in nondifferentiable programming. We establish general results on the existence of optimal solutions under appropriate assumptions of the PalaisSmale type and then derive necessary conditions for optimality in the models under consideration by using advanced tools of variational analysis and generalized differentiation.

Suboptimal Minimax Design Of Constrained Parabolic Systems With Mixed Boundary Control, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns minimax control problems for linear multidimensional parabolic systems with distributed uncertain perturbations and control functions acting in mixed (Robin) boundary conditions. The main goal is to design a feedback control regulator that ensures the required state performance and robust stability under any feasible perturbations and minimize an energy-type functional under the worst perturbations from the given area. We design and justify an easily implemented suboptimal structure of the feedback boundary regulator and compute its optimal parameters ensuring the required state performance and robust stability of the nonlinear closed-loop control system on the infinite horizon.

Variational Analysis In Bilevel Programming, S Dempe, J Dutta, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to applications of advanced tools of modern variational analysis and generalized differentiation to problems of optimistic bilevel programming. In this way, new necessary optimality conditions are derived for two major classes of bilevel programs: those with partially convex and with fully convex lower-level problems. We provide detailed discussions of the results obtained and their relationships with known results in this area.

Variational Principles For Set-Valued Mappings With Applications To Multiobjective Optimization, Truong Q. Bao, Boris S. Mordukhovich

Mathematics Research Reports

This paper primarily concerns the study of general classes of constrained multiobjective optimization problems (including those described via set-valued and vector-valued cost mappings) from the viewpoint of modern variational analysis and generalized differentiation. To proceed, we first establish two variational principles for set-valued mappings, which~being certainly of independent interest are mainly motivated by applications to multiobjective optimization problems considered in this paper. The first variational principle is a set-valued counterpart of the seminal derivative-free Ekeland variational principle, while the second one is a set-valued extension of the subdifferential principle by Mordukhovich and Wang formulated via an appropriate subdifferential notion for …

Discrete Approximations, Relaxation, And Optimization Of One-Sided Lipschitzian Differential Inclusions In Hilbert Spaces, Tzanko Donchev, Elza Farkhi, Boris S. Mordukhovich

Mathematics Research Reports

We study discrete approximations of nonconvex differential inclusions in Hilbert spaces and dynamic optimization/optimal control problems involving such differential inclusions and their discrete approximations. The underlying feature of the problems under consideration is a modi- fied one-sided Lipschitz condition imposed on the right-hand side (i.e., on the velocity sets) of the differential inclusion, which is a significant improvement of the conventional Lipschitz continuity. Our main attention is paid to establishing efficient conditions that ensure the strong approximation (in the W^1,p-norm as p greater than or equal to 1) of feasible trajectories for the one-sided Lipschitzian differential inclusions under. consideration by …

Green And Poisson Functions With Wentzell Boundary Conditions, José-Luis Menaldi, Luciano Tubaro

Mathematics Faculty Research Publications

We discuss the construction and estimates of the Green and Poisson functions associated with a parabolic second order integro-di erential operator with Wentzell boundary conditions.

Asymmetric Games For Convolution Systems With Applications To Feedback Control Of Constrained Parabolic Equations, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to the study of some classes of feedback control problems for linear parabolic equations subject to hard/pointwise constraints on both Dirichlet boundary controls and state dynamic/output functions in the presence of uncertain perturbations within given regions. The underlying problem under consideration, originally motivated by automatic control of the groundwater regime in irrigation networks, is formalized as a minimax problemof optimal control, where the control strategy is sought as a feedback law. Problems of this type are among the most important in control theory and applications - while most challenging and difficult. Based on the Maximum Principle …

Suboptimal Feedback Control Design Of Constrained Parabolic Systems In Uncertainty Conditions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns minimax control problems forlinear multidimensional parabolic systems with distributed uncertain perturbations and control functions acting in the Dirichlet boundary conditions. The underlying parabolic control system is functioning under hard/pointwise constraints on control and state variables. The main goal is to design a feedback control regulator that ensures the required state performance and robust stability under any feasible perturbations and minimize an energy-type functional under the worst perturbations from the given area. We develop an efficient approach to the minimax control design of constrained parabolic systems that is based on certain characteristic features of the parabolic dynamics including …

Generalized Differentiation Of Parameter-Dependent Sets And Mappings, Boris S. Mordukhovich, Bingwu Wang

Mathematics Research Reports

The paper concerns new aspects of generalized differentiation theory that plays a crucial role in many areas of modern variational analysis, optimization, and their applications. In contrast to the majority of previous developments, we focus here on generalized differentiation of parameter-dependent objects (sets, set-valued mappings, and nonsmooth functions), which naturally appear, e.g., in parametric optimization and related topics. The basic generalized differential constructions needed in this case are different for those known in parameter-independent settings, while they still enjoy comprehensive calculus rules developed in this paper.

Optimal Control Of Nonconvex Differential Inclusions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns new aspects of generalized differentiation theory that plays a crucial role in many areas of modern variational analysis, optimization, and their applications. In contrast to the majority of previous developments, we focus here on generalized differentiation of parameter-dependent objects (sets, set-valued mappings, and nonsmooth functions), which naturally appear, e.g., in parametric optimization and related topics. The basic generalized differential constructions needed in this case are different for those known in parameter-independent settings, while they still enjoy comprehensive calculus rules developed in this paper.

Epi-Convergent Discretization Of The Generalizaed Bolza Problem In Dynamic Optimization, Boris S. Mordukhovich, Teemu Pennanen

Mathematics Research Reports

The paper is devoted to well-posed discrete approximations of the so-called generalized Bolza problem of minimizing variational functionals defined via extended-real-valued functions. This problem covers more conventional Bolza-type problems in the calculus of variations and optimal control of differential inclusions as well of parameterized differential equations. Our main goal is find efficient conditions ensuring an appropriate epi-convergence of discrete approximations, which plays a significant role in both the qualitative theory and numerical algorithms of optimization and optimal control. The paper seems to be the first attempt to study epi-convergent discretizations of the generalized Bolza problem; it establishes several rather general …

Multiobjective Optimization Problems With Equilibrium Constraints, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to new applications of advanced tools of modern variational analysis and generalized differentiation to the study of broad classes of multiobjective optimization problems subject to equilibrium constraints in both finite-dimensional and infinite-dimensional settings. Performance criteria in multiobjectivejvector optimization are defined by general preference relationships satisfying natural requirements, while equilibrium constraints are described by parameterized generalized equations/variational conditions in the sense of Robinson. Such problems are intrinsically nonsmooth and are handled in this paper via appropriate normal/coderivativejsubdifferential constructions that exhibit full calculi. Most of the results obtained are new even in finite dimensions, while the case of …