Applied Mathematics Commons^™

Optimization And Equilibrium Problems With Equilibrium Constraints In Infinite-Dimensional Spaces, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to applications of modern variational f).nalysis to the study of constrained optimization and equilibrium problems in infinite-dimensional spaces. We pay a particular attention to the remarkable classes of optimization and equilibrium problems identified as MPECs (mathematical programs with equilibrium constraints) and EPECs (equilibrium problems with equilibrium constraints) treated from the viewpoint of multiobjective optimization. Their underlying feature is that the major constraints are governed by parametric generalized equations/variational conditions in the sense of Robinson. Such problems are intrinsically nonsmooth and can be handled by using an appropriate machinery of generalized differentiation exhibiting a rich/full calculus. The …

Decentralized Convex-Type Equilibrium In Nonconvex Models Of Welfare Economics Via Nonlinear Prices, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to applications of modern tools of variational analysis to equilibrium models of welfare economics involving nonconvex economies with infinite-dimensional commodity spaces. The main results relate to generalized/ extended second welfare theorems ensuring an equilibrium price support at Pareto optimal allocations. Based on advanced tools of generalized differentiation, we establish refined results of this type with the novel usage of nonlinear prices at the three types to optimal allocations: weak Pareto, Pareto, and strong Pareto. The usage of nonlinear (vs. standard linear) prices allow us to decentralized price equilibria in fully nonconvex models similarly to linear prices …

Discrete Approximations Of Differential Inclusions In Infinite-Dimensional Spaces, Boris S. Mordukhovich

Mathematics Research Reports

In this paper we study discrete approximations of continuous-time evolution systems governed by differential inclusions with nonconvex compact values in infinite-dimensional spaces. Our crucial result ensures the possibility of a strong Sobolev space approximation of every feasible solution to the continuous-time inclusion by its discrete-time counterparts extended as Euler's "broken lines." This result allows us to establish the value and strong solution convergences of discrete approximations of the Bolza problem for constrained infinite-dimensional differential/evolution inclusions under natural assumptions on the initial data.

Subdifferential Calculus In Asplund Generated Spaces, Marian Fabian, Philip D. Loewen, Boris S. Mordukhovich

Mathematics Research Reports

We extend the definition of the limiting Frechet subdifferential and the limiting Frechet normal cone from Asplund spaces to Asplund generated spaces. Then we prove a sum rule, a mean value theorem, and other statements for this concept.

Fréchet Subdifferential Calculus And Optimality Conditions In Nondifferentiable Programming, Boris S. Mordukhovich, Nguyen Mau Nam, N. D. Yen

Mathematics Research Reports

We develop various (exact) calculus rules for Frechet lower and upper subgradients of extended-realvalued functions in general Banach spaces. Then we apply this calculus to derive new necessary optimality conditions for some remarkable classes of problems in constrained optimization including minimization problems for difference-type functions under geometric and operator constraints as well as subdifferential optimality conditions for the so-called weak sharp minima.

Optimal Control Of Semilinear Evolution Inclusions Via Discrete Approximations, Boris S. Mordukhovich, Dong Wang

Mathematics Research Reports

This paper studies a Mayer type optimal control problem with general endpoint constraints for semilinear unbounded evolution inclusions in reflexive and separable Banach spaces. First, we construct a sequence of discrete approximations to the original optimal control problem for evolution inclusions and prove that optimal solutions to discrete approximation problems uniformly converge to a given optimal solution for the original continuous-time problem. Then, based on advanced tools of generalized differentiation, we derive necessary optimality conditions for discrete-time problems under fairly general assumptions. Combining these results with recent achievements of variational analysis in infinite-dimensional spaces, we establish new necessary optimality conditions …

Variational Stability And Marginal Functions Via Generalized Differentiation, Boris S. Mordukhovich, Nguyen Mau Nam

Mathematics Research Reports

Robust Lipschitzian properties of set-valued mappings and marginal functions play a crucial role in many aspects of variational analysis and its applications, especially for issues related to variational stability and optimizatiou. We develop an approach to variational stability based on generalized differentiation. The principal achievements of this paper include new results on coderivative calculus for set-valued mappings and singular subdifferentials of marginal functions in infinite dimensions with their extended applications to Lipschitzian stability. In this way we derive efficient conditions ensuring the preservation of Lipschitzian and related properties for set-valued mappings under various operations, with the exact bound/modulus estimates, as …

Subgradients Of Distance Functions At Out-Of-Set Points, Boris S. Mordukhovich, Nguyen Mau Nam

Mathematics Research Reports

This paper deals with the classical distance function to closed sets and its extension to the case of set-valued mappings. It has been well recognized that the distance functions play a crucial role in many aspects of variational analysis, optimization, and their applications. One of the most remarkable properties of even the classical distance function is its intrinsic nonsmoothness, which requires the usage of generalized differential constructions for its study and applications. In this paper we present new results in theser directions using mostly the generalized differential constructions introduced earlier by the first author, as well as their recent modifications. …

Asymptotic Solutions Of Semilinear Stochastic Wave Equations, Pao-Liu Chow

Mathematics Research Reports

Large-time asymptotic properties of solutions to a class of semilinear stochastic wave equations with damping in a bounded domain are considered. First an energy inequality and the exponential bound for a linear stochastic equation are established. Under appropriate conditions, the existence theorem for a unique global solution is given. Next the questions of bounded solutions and the exponential stability of an equilibrium solution, in mean-square and the almost sure sense, are studied. Then, under some sufficient conditions, the existence of a unique invariant measure is proved. Two examples are presented to illustrate some applications of the theorems.

Optimal Control Of Delay Systems With Differential And Algebraic Dynamic Constraints, Boris S. Mordukhovich, Lianwen Wang

Mathematics Research Reports

This paper concerns constrained dynamic optimization problems governed by delay control systems whose dynamic constraints are described by both delay-differential inclusions and linear algebraic equations. This is a new class of optimal control systems that, on one hand, may be treated as a specific type of variational problems for neutral functional-differential inclusions while, on the other hand, is related to a special class of differential-algebraic systems with a general delay-differential inclusion and a linear constraint link between "slow" and "fast" variables. We pursue a two-hold goal: to study variational stability for this class of control systems with respect to discrete …

Optimal Boundary Control Of Hyperbolic Equations With Pointwise State Constraints, Boris S. Mordukhovich, Jean-Pierre Raymond

Mathematics Research Reports

In this paper we consider dynamic optimization problems for hyperbolic systems with boundary controls and pointwise state constraints. In contrast to parabolic dynamics, such systems have not been sufficiently studied in the literature. The reason is the lack of regularity in the case of hyperbolic dynamics. We present necessary optimality conditions for both Neumann and Dirichlet boundary control problems and discuss differences and relationships between them.

Discrete Approximations And Necessary Optimality Conditions For Functional-Differential Inclusions Of Neutral Type, Boris S. Mordukhovich, Lianwen Wang

Mathematics Research Reports

This paper deals with necessary optimality conditions for optimal control systems governed by constrained functional-differential inclusions of neutral type. While some results are available for smooth control systems governed by neutral functional-differential equations, we are not familiar with any results for neutral functional-differential inclusions, even with smooth cost functionals in the absence of endpoint constraints. Developing the method of discrete approximations and employing advanced tools of generalized differentiation, we conduct a variational analysis of neutral functional-differential inclusions and obtain new necessary optimality conditions of both Euler-Lagrange and Hamiltonian types.

Equilibrium Problems With Equilibrium Constraints Via Multiobjective Optimization, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns a new class of optimization-related problems called Equilibrium Problems with Equilibrium Constraints (EPECs). One may treat them as two level hierarchical problems, which involve equilibria at both lower and upper levels. Such problems naturally appear in various applications providing an equilibrium counterpart (at the upper level) of Mathematical Programs with Equilibrium Constraints (MPECs). We develop a unified approach to both EPECs and MPECs from the viewpoint of multiobjective optimization subject to equilibrium constraints. The problems of this type are intrinsically nonsmooth and require the use of generalized differentiation for their analysis and applications. This paper presents necessary …

Necessary Conditions In Nonsmooth Minimization Via Lower And Upper Subgradients, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns first-order necessary optimality conditions for problems of minimizing nonsmooth functions under various constraints in infinite-dimensional spaces. Based on advanced tools of variational analysis and generalized differential calculus, we derive general results of two independent types called lower subdifferential and upper subdifferential optimality conditions. The former ones involve basic/limiting subgradients of cost functions, while the latter conditions are expressed via Frechetjregular upper subgradients in fairly general settings. All the upper subdifferential and major lower subdifferential optimality conditions obtained in the paper are new even in finite dimensions. We give applications of general optimality conditions to mathematical programs with …

Optimal Control Of Delayed Differential-Algebraic Inclusions, Boris S. Mordukhovich, Lianwen Wang

Mathematics Research Reports

This paper concerns constrained dynamic optimization problems governed by delayed differential-algebraic systems. Dynamic constraints in such systems, which are particularly important for engineering applications, are described by interconnected delay-differential inclusions and algebraic equations. We pursue a two-hold goal: to study variational stability of such control systems with respect to discrete approximations and to derive necessary optimality conditions for both delayed differential-algebraic systems and their finite-difference counterparts using modern tools of variational analysis and generalized differentiation. We are not familiar with any results in these directions for differential-algebraic inclusions even in the delay-free case. In the first part of the paper …

The Approximate Maxium Principle In Constrained Optimal Control, Boris S. Mordukhovich, Ilya Shvartsman

Mathematics Research Reports

The paper concerns optimal control problems for dynamic systems governed by a parametric family of discrete approximations of control systems with continuous time. Discrete approximations play an important role in both qualitative and numerical aspects of optimal control and occupy an intermediate position between discrete-time and continuous-time control systems. The central result in optimal control of discrete approximations is the Approximate Maximum Principle (AMP), which is justified for smooth control problems with endpoint constraints under certain assumptions without imposing any convexity, in contrast to discrete systems with a fixed step. We show that these assumptions are essential for the validity …

Optimization And Feedback Control Of Constrained Parabolic Systems Under Uncertain Perturbations, Boris S. Mordukhovich, Ilya Shvartsman

Mathematics Research Reports

This paper concerns a minimax control design problem for a class of parabolic systems with nonregular boundary conditions and uncertain distributed perturbations under pointwise control and state constraints. We deal with boundary controllers acting through Dirichlet boundary conditions that are the most challenging for the parabolic dynamics.

Neumann Boundary Control Of Hyperbolic Equations With Pointwise State Constraints, Boris S. Mordukhovich, Jean-Pierre Raymond

Mathematics Research Reports

We consider optimal control problems for hyperbolic systems with controls in Neumann boundary conditions with pointwise (hard) constraints on control and state functions. Focusing on hyperbolic dynamics governed by the multidimensional wave equation with a nonlinear term, we derive new necessary optimality conditions in the pointwise form of the Pontryagin Maximum Principle for the state-constrained problem under consideration. Our approach is based on modern methods of variational analysis that allows us to obtain refined necessary optimality conditions with no convexity assumptions on integrands in the minimizing cost functional.

Dirichlet Boundary Control Of Hyperbolic Equations In The Presence Of State Constraints, Boris S. Mordukhovich, Jean-Pierre Raymond

Mathematics Research Reports

We study optimal control problems for hyperbolic equations (focusing on the multidimensional wave equation) with control functions in the Dirichlet boundary conditions under hard/pointwise control and state constraints. Imposing appropriate convexity assumptions on the cost integral functional, we establish the existence of optimal control and derive new necessary optimality conditions in the integral form of the Pontryagin Maximum Principle for hyperbolic state-constrained systems.

Optimization And Equilibrium Problems With Equilibrium Constraints, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns optimization and equilibrium problems with the so-called equilibrium constraints (MPEC and EPEC), which frequently appear in applications to operations research. These classes of problems can be naturally unified in the framework of multiobjective optimization with constraints governed by parametric variational systems (generalized equations, variational inequalities, complementarity problems, etc.). We focus on necessary conditions for optimal solutions to MPECs and EPECs under general assumptions in finite-dimensional spaces. Since such problems are intrinsically nonsmooth, we use advanced tools of generalized differentiation to study optimal solutions by methods of modern variational analysis. The general results obtained are concretized for special …

Optimal Control Of Differential-Algebraic Inclusions, Boris S. Mordukhovich, Lianwen Wang

Mathematics Research Reports

No abstract provided.

Natural Superconvergent Points Of Triangular Finite Elements, Zhimin Zhang, Runchang Lin

Mathematics Research Reports

In this work, we analytically identify natural superconvergent points of function values and gradients for triangular elements. Both the Poisson equation and the Laplace equation are discussed for polynomial finite element spaces (with degrees up to 8) under four different mesh patterns. Our results verify computer findings of [2], especially, we confirm that the computed data have 9 digits of accuracy with an exception of one pair (which has 8-7 digits of accuracy). In addition, we demonstrate that the function value superconvergent points predicted by the symmetry theory [14] are the only superconvergent points for the Poisson equation. Finally, we …

Validation Of The A Posteriori Error Estimator Based On Polynomial Preserving Recovery For Linear Elements, Zhimin Zhang, Ahmed Naga

Mathematics Research Reports

In this paper the quality of the error estimator based on the Polynomial Preserving Recovery (PPR) is investigated using the computer-based approach proposed by Babiiska et al. A comparison is made between the error estimator based on the PPR and the one based on the Superconvergence Patch Recovery (SPR). It was found that the PPR is at least as good as the SPR.

Subdifferential And Superdifferential Optimality Conditions In Nonsmooth Minimization, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns first-order necessary optimality conditions for problems of minimizing nonsmooth functions under various constraints in infinite-dimensional spaces. Based on advanced tools of variational analysis and generalized differential calculus, we derive general results of two independent types called subdifferential and superdifferential optimality conditions. The former ones involve basic/limiting subgradients of cost functions, while the latter conditions are expressed via Frechet superdifferentials provided that they are not empty. All the superdifferential and major subdifferential optimality conditions obtained in the paper are new even in finite dimensions. We give applications of general optimality conditions to mathematical programs with equilibrium constraints.

Pareto Optimal Allocations In Nonconvex Models Of Welfare Economics, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to applications of modern variational analysis to the study of Pareto (as well as weak and strong Pareto) optimal allocations in nonconvex models of welfare economics with infinite-dimensional commodity spaces. Our basic tool is the extremal principle of variational analysis that provides necessary conditions for set extremality and may be viewed as a variational extension of the classical convex separation principle to the case of nonconvex sets. In this way we obtain new versions of the generalized second welfare theorem for nonconvex economies in terms of appropriate concepts of normal cones.

The Cohomology Of The Steendrod Algebra And Representations Of The General Linear Groups, Nguyen H. V. Hu'ng

Mathematics Research Reports

Let Tr_k be the algebraic transfer that maps from the coinvariants of certain GL_k-representation to the cohomology of the Steenrod algebra. This transfer was defined by W. Singer as an algebraic version of the geometrical transfer tr_k : pi_*^S((B[doublestrike V]_k)_+) --> pi_*^S(S^0). It has been shown that the algebraic transfer is highly nontrivial, more precisely, that Tr_k is an isomorphism for k = 1, 2, 3 and that T_r = ⊕_k(Tr_k) is a homomorphism of algebras.

In this paper, we first recognize the phenomenon that if we start from any degree d, and apply Sq^0 repeatedly at most (k- 2) …

Optimal Control Of Neutral Functional-Differential Inclusions, Boris S. Mordukhovich, Lianwen Wang

Mathematics Research Reports

This paper deals with optimal control problems for dynamical systems governed by constrained functional-differential inclusions of neutral type. Such control systems contain time-delays not only in state variables but also in velocity variables, which make them essentially more complicated than delay-differential (or differential-difference) inclusions. Our main goal is to derive necessary optimality conditions for general optimal control problems governed by neutral functional-differential inclusions with endpoint constraints. While some results are available for smooth control systems governed by neutral functional-differential equations, we are not familiar with any results for neutral functional-differential inclusions, even with smooth cost functionals in the absence of …

A Posteriori Error Estimates Based On Polynomial Preserving Recovery, Zhimin Zhang, Ahmed Naga

Mathematics Research Reports

Superconvergence of order O(h^1+rho), for some rho is greater than 0, is established for gradients recovered using Polynomial Preserving Recovery technique when the mesh is mildly structured. Consequently this technique can be used in building a posteriori error estimator that is asymptotically exact.

Gradient Recovery And A Posteriori Estimate For Bilinear Element On Irregular Quadrilateral Meshes, Zhimin Zhang

Mathematics Research Reports

A polynomial preserving gradient recovery method is proposed and analyzed for bilinear element under general quadrilateral meshes. It has been proven that the recovered gradient converges at a rate O(h^{1+rho) for rho = min(alpha, 1) when the mesh is distorted O(h1+alpha) (alpha > 0) from a regular one. Consequently, the a posteriori error estimator based on the recovered gradient is asymptotically exact.}

Analysis Of Recovery Type A Posteriori Error Estimators For Mildly Structured Grids, Jinchao Xu, Zhimin Zhang

Mathematics Research Reports

Some recovery type error estimators for linear finite element method are analyzed under O(h^{1+alpha) (alpha greater than 0) regular grids. Superconvergence is established for recovered gradients by three different methods when solving general non-self-adjoint second-order elliptic equations. As a consequence, a posteriori error estimators based on those recovery methods are asymptotically exact.}