Approximation and optimization of Darboux type differential inclusions with set-valued boundary conditions

The present paper is devoted to an optimal control problem given by hyperbolic discrete (P _D ) and differential inclusions (P _C ) of generalized Darboux type and ordinary discrete inclusions. The results are extended to non-convex problems. An approach concerning necessary and sufficient conditions for optimality is proposed. In order to formulate sufficient conditions of optimality for problem (P _C ) the approximation method is used. Formulation of these conditions is based on locally adjoint mappings. Moreover for construction of adjoint partial differential inclusions the equivalence theorems of locally adjoint mappings are proved. One example with homogeneous boundary conditions is considered.     

Approximation and optimization of higher order discrete and differential inclusions

This paper is mainly concerned with the necessary and sufficient conditions of optimality for Cauchy problem of higher order discrete and differential inclusions. Applying optimality conditions of problems with geometric constraints, for arbitrary higher order (say s-order) discrete inclusions optimality conditions are formulated. Also some special transversality conditions, which are peculiar to problems including third order derivatives are formulated. Formulation of sufficient conditions both for convex and non-convex discrete and differential inclusions are based on the apparatus of locally adjoint mappings. Furthermore, an application of these results is demonstrated by solving the problems with third order linear discrete and differential inclusions.     

Optimization of Second-Order Discrete Approximation Inclusions

The present article studies the approximation of the Bolza problem of optimal control theory with a fixed time interval given by convex and non-convex second-order differential inclusions (P _C ). Our main goal is to derive necessary and sufficient optimal conditions for a Cauchy problem of second-order discrete inclusions (P _D ). As a supplementary problem, discrete approximation problem (P _DA ) is considered. Necessary and sufficient conditions, including distinctive transversality, are proved by incorporating the Euler-Lagrange and Hamiltonian type of inclusions. The basic concept of obtaining optimal conditions is the locally adjoint mappings (LAM) and equivalence theorems, one of the most characteristic features of such approaches with the second-order differential inclusions that are peculiar to the presence of equivalence relations of LAMs. Furthermore, the application of these results are demonstrated by solving some non-convex problem with second-order discrete inclusions.     

Optimization of Mayer Problem with Sturm–Liouville-Type Differential Inclusions

The present paper studies a new class of problems of optimal control theory with Sturm–Liouville-type differential inclusions involving second-order linear self-adjoint differential operators. Our main goal is to derive the optimality conditions of Mayer problem for differential inclusions with initial point constraints. By using the discretization method guaranteeing transition to continuous problem, the discrete and discrete-approximation inclusions are investigated. Necessary and sufficient conditions, containing both the Euler–Lagrange and Hamiltonian-type inclusions and “transversality” conditions are derived. The idea for obtaining optimality conditions of Mayer problem is based on applying locally adjoint mappings. This approach provides several important equivalence results concerning locally adjoint mappings to Sturm–Liouville-type set-valued mappings. The result strengthens and generalizes to the problem with a second-order non-self-adjoint differential operator; a suitable choice of coefficients then transforms this operator to the desired Sturm–Liouville-type problem. In particular, if a positive-valued, scalar function specific to Sturm–Liouville differential inclusions is identically equal to one, we have immediately the optimality conditions for the second-order discrete and differential inclusions. Furthermore, practical applications of these results are demonstrated by optimization of some “linear” optimal control problems for which the Weierstrass–Pontryagin maximum condition is obtained.     

Optimization of higher order differential inclusions with initial value problem

This paper concerns the sufficient conditions of optimality for initial value problem with higher order differential inclusions (HODIs) and free endpoint constraints. Formulation of the transversality conditions plays a substantial role in the next investigations without which hardly any necessary or sufficient conditions would be obtained. In terms of Euler–Lagrange and Hamiltonian forms the sufficient conditions of optimality both for convex and “non-convex” HODIs are based on the apparatus of locally adjoint mappings. Moreover, by applying the main result to a Bolza problem described by a polynomial differential operator with constant coefficients in terms of the adjoint differential operator the sufficient condition of optimality is obtained.     

Approximation and optimization of discrete and differential inclusions described by inequality constraints

In the first part of this article optimization of polyhedral discrete and differential inclusions is considered, the problem is reduced to convex minimization problem and the necessary and sufficient condition for optimality is derived. The optimality conditions for polyhedral differential inclusions based on discrete-approximation problem according to continuous problems are formulated. In particular, boundedness of the set of adjoint discrete solutions and upper semi-continuity of the locally adjoint mapping are proved. In the second part of this article an optimization problem described by convex inequality constraint is studied. By using the equivalence theorem concerning the subdifferential calculus and approximating method necessary and sufficient condition for discrete-approximation problem with inequality constraint is established.     

Necessary and sufficient conditions for discrete and differential inclusions of elliptic type

This paper deals for the first time with the Dirichlet problem for discrete (PD), discrete approximation problem on a uniform grid and differential (PC) inclusions of elliptic type. In the form of Euler-Lagrange inclusion necessary and sufficient conditions for optimality are derived for the problems under consideration on the basis of new concepts of locally adjoint mappings. The results obtained are generalized to the multidimensional case with a second order elliptic operator.     

Generalized Higher-Order Optimality Conditions for Set-Valued Optimization under Henig Efficiency

In this paper, generalized mth-order contingent epiderivative and generalized mth-order epiderivative of set-valued maps are introduced, respectively. By virtue of the generalized mth-order epiderivatives, generalized necessary and sufficient optimality conditions are obtained for Henig efficient solutions to a set-valued optimization problem whose constraint set is determined by a fixed set. Generalized Kuhn–Tucker type necessary and sufficient optimality conditions are also obtained for Henig efficient solutions to a set-valued optimization problem whose constraint set is determined by a set-valued map.     

Second-Order Analysis for Control Constrained Optimal Control Problems of Semilinear Elliptic Systems

This paper presents a second-order analysis for a simple model optimal control problem of a partial differential equation, namely, a well-posed semilinear elliptic system with constraints on the control variable only. The cost to be minimized is a standard quadratic functional. Assuming the feasible set to be polyhedric, we state necessary and sufficient second-order optimality conditions, including a characterization of the quadratic growth condition. Assuming that the second-order sufficient condition holds, we give a formula for the second-order expansion of the value of the problem as well as the directional derivative of the optimal control, when the cost function is perturbed. Then we extend the theory of second-order optimality conditions to the case of vector-valued controls when the feasible set is defined by local and smooth convex constraints. When the space dimension n is greater than 3, the results are based on a two norms approach, involving spaces L ² and L ^s , with s>n/2 . Accepted 27 January 1997     

Sufficient conditions for optimality for differential inclusions of parabolic type and duality

Sufficient conditions for optimality are derived for partial differential inclusions of parabolic type on the basis of the apparatus of locally conjugate mapping, and duality theorems are proved. The duality theorems proved allow one to conclude that a sufficient condition for an extremum is an extremal relation for the direct and dual problems.      

Generalized Semi-Infinite Programming: Optimality Conditions Involving Reverse Convex Problems

This article deals with a generalized semi-infinite programming problem (S). Under appropriate assumptions, for such a problem we give necessary and sufficient optimality conditions via reverse convex problems. In particular, a necessary and sufficient optimality condition reduces the problem (S) to a min-max problem constrained with compact convex linked constraints.     

On MIMO model reduction by the weighted equation–error approach

The paper deals with the problem of approximating a stable continuous-time multivariable system by minimizing the L ₂-norm of a weighted equation error. Necessary and sufficient conditions of optimality are derived, and the main properties of the optimal reduced-order models are presented. Based on these conditions and properties, two efficient procedures for generating approximants that retain different numbers of Markov parameters and time moments are suggested and applied to benchmark examples. The results show that both the transient and the steady-state behaviour of the original systems are reproduced satisfactorily.     

Faedo–galerkin method for second-order evolution inclusions with <Emphasis Type="Italic">W</Emphasis><Subscript>λ</Subscript>-pseudomonotone mappings

A class of second-order operator differential inclusions with W _λ-pseudomonotone mappings is considered. The problem of the existence of solutions of the Cauchy problem for these inclusions is investigated by using the Faedo–Galerkin method. Important a priori estimates are obtained for solutions and their derivatives. An example that illustrates the proposed approach to the investigation of the problem considered is given.     

Global Optimality Conditions and Optimization Methods for Quadratic Knapsack Problems

The quadratic knapsack problem (QKP) maximizes a quadratic objective function subject to a binary and linear capacity constraint. Due to its simple structure and challenging difficulty, it has been studied intensively during the last two decades. This paper first presents some global optimality conditions for (QKP), which include necessary conditions and sufficient conditions. Then a local optimization method for (QKP) is developed using the necessary global optimality condition. Finally a global optimization method for (QKP) is proposed based on the sufficient global optimality condition, the local optimization method and an auxiliary function. Several numerical examples are given to illustrate the efficiency of the presented optimization methods.     

Sufficient conditions for a control to be a strong minimum

The control literature either presents sufficient conditions for global optimality (for example, the Hamilton-Jacobi-Bellman theorem) or, if concerned with local optimality, restricts attention to comparison controls which are local in theL -sense. In this paper, use is made of an exact expression for the change in cost due to a change in control, a natural extension of a result due to Weierstrass, to obtain sufficient conditions for a control to be a strong minimum (in the sense that comparison controls are merely required to be close in theL ₁-sense).     

Necessary and sufficient optimality conditions for a class of nonsmooth minimization problems

The purpose of this paper is to derive, in a unified way, second order necessary and sufficient optimality criteria, for four types of nonsmooth minimization problems: thediscrete minimax problem, thediscrete l ₁-approximation, the minimization of theexact penalty function and the minimization of theclassical exterior penalty function. Our results correct and supplement conditions obtained by various authors in recent papers.     

Second order optimality conditions for theL 1-minimization problem

In this paper we establish necessary and sufficient second order optimality conditions for theL ₁-problem. The approach is based on optimality criteria in terms of a curved second directional derivative, discussed in [3]. Our conditions generalize conditions for theL ₁-problem given in [6]. An example demonstrates the usefulness of our criteria.This research was supported by NSF Grant No. ECS-8214081 and the Fund for Promotion of Research at the Technion, andDeutsche Forschungsgemeinschaft.     

On the spectrum of a class of differential operators and embedding theorems

The author considers the embedding problem of weighted Sobolev spacesH _p ⁿ in weightedL _s spacesL _s,r , and some sufficient conditions and necessary conditions are given, when weight functions satisfy certain conditions. The author uses the results obtained to the qualitative analysis of the spectrum of 2n-order weighted differential operator, and gives some sufficient conditions and necessary conditions to ensure that the spectrum is discrete. Supported by the National Natural Science Fundation of China and the Natural Science Foundation of Inner Mongolia.     

Higher-Order Optimality Conditions for Set-Valued Optimization

This paper deals with higher-order optimality conditions of set-valued optimization problems. By virtue of the higher-order derivatives introduced in (Aubin and Frankowska, Set-Valued Analysis, Birkhäuser, Boston, [1990]) higher-order necessary and sufficient optimality conditions are obtained for a set-valued optimization problem whose constraint condition is determined by a fixed set. Higher-order Fritz John type necessary and sufficient optimality conditions are also obtained for a set-valued optimization problem whose constraint condition is determined by a set-valued map.