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.     

Optimal control in nonlinear infinite-dimensional systems with nondifferentiability of two types

We consider the optimal control problem for systems described by nonlinear equations of elliptic type. If the nonlinear term in the equation is smooth and the nonlinearity increases at a comparatively low rate of growth, then necessary conditions for optimality can be obtained by well-known methods. For small values of the nonlinearity exponent in the smooth case, we propose to approximate the state operator by a certain differentiable operator. We show that the solution of the approximate problem obtained by standard methods ensures that the optimality criterion for the initial problem is close to its minimal value. For sufficiently large values of the nonlinearity exponent, the dependence of the state function on the control is nondifferentiable even under smoothness conditions for the operator. But this dependence becomes differentiable in a certain extended sense, which is sufficient for obtaining necessary conditions for optimality. Finally, if there is no smoothness and no restrictions are imposed on the nonlinearity exponent of the equation, then a smooth approximation of the state operator is possible. Next, we obtain necessary conditions for optimality of the approximate problem using the notion of extended differentiability of the solution of the equation approximated with respect to the control, and then we show that the optimal control of the approximated extremum problem minimizes the original functional with arbitrary accuracy.     

Convexity with respect to a differential equation

The concepts of convexity of a set, convexity of a function and monotonicity of an operator with respect to a second-order ordinary differential equation are introduced in this paper. Several well-known properties of usual convexity are derived in this context, in particular, a characterization of convexity of function and monotonicity of an operator. A sufficient optimality condition for a optimization problem is obtained as an application. A number of examples of convex sets, convex functions and monotone operators with respect to a differential equation are presented.     

Regularity of the Optimal Feedback and the Value Function in Convex Problems of Optimal Control

An optimal feedback mapping, leading to necessary and sufficient conditions for optimality in terms of a closed-loop differential inclusion, is derived in the setting of fully convex generalized problems of Bolza. Results are translated to the format of control problems with linear dynamics and convex costs. Properties of the feedback mapping, with focus on single-valuedness and continuity, are analyzed through those of the value function and of the Hamiltonian. Conditions guaranteeing differentiability of the value function are obtained through the analysis of its subdifferential as a maximal monotone operator and of the generalized Hamiltonian dynamics.     

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.     

New optimality conditions for unconstrained vector equilibrium problem in terms of contingent derivatives in Banach spaces

This article presents necessary and sufficient optimality conditions for weakly efficient solution, Henig efficient solution, globally efficient solution and superefficient solution of vector equilibrium problem without constraints in terms of contingent derivatives in Banach spaces with stable functions. Using the steadiness and stability on a neighborhood of optimal point, necessary optimality conditions for efficient solutions are derived. Under suitable assumptions on generalized convexity, sufficient optimality conditions are established. Without assumptions on generalized convexity, a necessary and sufficient optimality condition for efficient solutions of unconstrained vector equilibrium problem is also given. Many examples to illustrate for the obtained results in the paper are derived as well.     

On the solvability in a weighted space of an initial–boundary value problem for a third-order operator-differential equation with a parabolic principal part

In a Sobolev-type space with an exponential weight, sufficient conditions are obtained for the correct and unique solvability of an initial–boundary value problem for a third-order operator-differential equation with a parabolic principal part having a multiple characteristic. The conditions are expressed in terms of the operator coefficients of the equation. Additionally, the norms of the operators of intermediate derivatives associated with the solvability conditions are estimated. The relation between the weight exponent and the lower boundary of the spectrum of the basic operator involved in the principal part of the equation is established. The results are illustrated as applied to a mixed problem for partial differential equations.     

Relatively optimal filtering on a Hilbert space for measure driven stochastic systems

In this paper we consider linear filtering for discontinuous processes determined by stochastic differential equations on a Hilbert space driven by signed measures in addition to Brownian motion. The dynamics of the observed data is governed by a differential equation driven by a square integrable martingale (not necessarily continuous) while perturbed by a signed measure. We formulate the filtering problem as an optimization problem on the space of bounded linear operator valued functions and present necessary and sufficient conditions for optimality. Further, we prove, under the assumption of finite dimensionality of the output space, that a Kalman-like filter exists and it is explicitly determined by a Riccati type evolution equation.     

Boundary value problem for a first-order partial differential equation with a fractional discretely distributed differentiation operator

We solve a boundary value problem for a first-order partial differential equation in a rectangular domain with a fractional discretely distributed differentiation operator. The fractional differentiation is given by Dzhrbashyan–Nersesyan operators. We construct a representation of the solution and prove existence and uniqueness theorems. The results remain valid for the corresponding equations with Riemann–Liouville and Caputo derivatives. In terms of parameters defining the fractional differential operator, we derive necessary and sufficient conditions for the solvability of the problem.     

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.     

The Fundamental Solution and Its Role in the Optimal Control of Infinite Dimensional Neutral Systems

In this work, we shall consider standard optimal control problems for a class of neutral functional differential equations in Banach spaces. As the basis of a systematic theory of neutral models, the fundamental solution is constructed and a variation of constants formula of mild solutions is established. We introduce a class of neutral resolvents and show that the Laplace transform of the fundamental solution is its neutral resolvent operator. Necessary conditions in terms of the solutions of neutral adjoint systems are established to deal with the fixed time integral convex cost problem of optimality. Based on optimality conditions, the maximum principle for time varying control domain is presented. Finally, the time optimal control problem to a target set is investigated.     

Transversality condition and optimization of higher order ordinary differential inclusions

In the present paper, a Bolza problem of optimal control theory with a fixed time interval given by convex and nonconvex second-order differential inclusions (P_H) is studied. Our main goal is to derive sufficient optimality conditions for Cauchy problem of sth-order differential inclusions. The sufficient conditions including distinctive transversality condition are proved incorporating the Euler–Lagrange and Hamiltonian type inclusions. The basic concepts involved in obtaining optimality conditions are the locally adjoint mappings. Furthermore, the application of these results is demonstrated by solving the problems with third-order differential inclusions.     

Lipschitz B-Vex Functions and Nonsmooth Programming

In this paper, the equivalence between the class of B-vex functions and that of quasiconvex functions is proved. Necessary and sufficient conditions, under which a locally Lipschitz function is B-vex, are established in terms of the Clarke subdifferential. Regularity of locally Lipschitz B-vex functions is discussed. Furthermore, under appropriate conditions, a necessary optimality condition of the Slater type and a sufficient optimality condition are obtained for a nonsmooth programming problem involving B-vex functions.     

Resource allocation problem in a two-sector economic model of special form

In the present paper, we study the resource allocation problem for a two-sector economic model of special form, which is of interest in applications. The optimization problem is considered on a given finite time interval. We show that, under certain conditions on the model parameters, the optimal solution contains a singular mode. We construct optimal solutions in closed form. The theoretical basis for the obtained results is provided by necessary optimality conditions (the Pontryagin maximum principle) and sufficient optimality conditions in terms of constructions of the Pontryagin maximum principle.     

A General Optimality Conditions for Stochastic Control Problems of Jump Diffusions

We consider a stochastic control problem where the system is governed by a non linear stochastic differential equation with jumps. The control is allowed to enter into both diffusion and jump terms. By only using the first order expansion and the associated adjoint equation, we establish necessary as well as sufficient optimality conditions of controls for relaxed controls, who are a measure-valued processes.     

Optimality and duality in nonsmooth multiobjective fractional programming problem with constraints

In this paper, we establish some quotient calculus rules in terms of contingent derivatives for the two extended-real-valued functions defined on a Banach space and study a nonsmooth multiobjective fractional programming problem with set, generalized inequality and equality constraints. We define a new parametric problem associated with these problem and introduce some concepts for the (local) weak minimizers to such problems. Some primal and dual necessary optimality conditions in terms of contingent derivatives for the local weak minimizers are provided. Under suitable assumptions, sufficient optimality conditions for the local weak minimizers which are very close to necessary optimality conditions are obtained. An application of the result for establishing three parametric, Mond–Weir and Wolfe dual problems and several various duality theorems for the same is presented. Some examples are also given for our findings.

     

On a class of optimal control problems with distributed and lumped parameters

The optimal control of moving sources governed by a parabolic equation and a system of ordinary differential equations with initial and boundary conditions is considered. For this problem, an existence and uniqueness theorem is proved, sufficient conditions for the Fréchet differentiability of the cost functional are established, an expression for its gradient is derived, and necessary optimality conditions in the form of pointwise and integral maximum principles are obtained.     

A Smooth Regularization of the Projection Formula for Constrained Parabolic Optimal Control Problems

We present a smooth, that is, differentiable regularization of the projection formula that occurs in constrained parabolic optimal control problems. We summarize the optimality conditions in function spaces for unconstrained and control-constrained problems subject to a class of parabolic partial differential equations. The optimality conditions are then given by coupled systems of parabolic PDEs. For constrained problems, a non-smooth projection operator occurs in the optimality conditions. For this projection operator, we present in detail a regularization method based on smoothed sign, minimum and maximum functions. For all three cases, that is, (1) the unconstrained problem, (2) the constrained problem including the projection, and (3) the regularized projection, we verify that the optimality conditions can be equivalently expressed by an elliptic boundary value problem in the space-time domain. For this problem and all three cases we discuss existence and uniqueness issues. Motivated by this elliptic problem, we use a simultaneous space-time discretization for numerical tests. Here, we show how a standard finite element software environment allows to solve the problem and, thus, to verify the applicability of this approach without much implementation effort. We present numerical results for an example problem.     

带Poisson 跳跃的正倒向随机延迟系统递归最优控制问题的最大值原理

本文研究了带Poisson 跳跃的正倒向随机延迟系统的递归最优控制问题. 利用经典的针状变分方法、对偶技术和带Poisson 跳跃的超前倒向随机微分方程的相关结果, 证明了最优控制的最大值原理, 包括了最优控制满足的必要条件和充分条件.     

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.