Open Access Open Access  Restricted Access Access granted  Restricted Access Subscription Access

Vol 292, No Suppl 1 (2016)

Article

Alexander Borisovich Kurzhanski

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):1-13
pages 1-13 views

On the estimation of backward stochastic differential equations

Ananyev B.I.

Abstract

We consider an estimation problem for a backward stochastic differential equation in the presence of statistically uncertain noise. We use the approach of the theory of guaranteed estimation and assume that the statistically uncertain noise, as well as some processes entering the equation, is subject to integral constraints. In the linear case, we prove a theorem on the approximation of random information sets by deterministic sets as the diffusion coefficient vanishes. Examples are considered.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):14-26
pages 14-26 views

Conditions for the absence of jumps of the solution to the adjoint system of the maximum principle for optimal control problems with state constraints

Arutyunov A.V., Karamzin D.Y., Pereira F.L.

Abstract

Properties of Lagrange multipliers from the Pontryagin maximum principle for problems with state constraints are investigated. Sufficient conditions for the continuity of the solution of the adjoint equation depending on how the extremal trajectory approaches the state constraint boundary are obtained. The proof uses the notion of closure with respect to measure of a Lebesgue measurable function and the Carathéodory theorem.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):27-35
pages 27-35 views

Some topological structures of extensions of abstract reachability problems

Chentsov A.G., Pytkeev E.G.

Abstract

We consider the problem of the reachability of states that are elements of a topological space under constraints of asymptotic nature on the choice of an argument of a given objective mapping. We study constructions that have the sense of extensions of the original space and are implemented with the use of methods that are natural for applied mathematics but employ elements of extensions used in general topology. The study is oriented towards the application in the problem on the construction and investigation of properties of reachability sets for control systems.

Constructions involving an approximate observation of constraints in control problems, as well as various generalized regimes, were widely used by N.N. Krasovskii and his students. In particular, this approach was applied in the proof of N.N. Krasovskii and A.I. Subbotin’s fundamental theorem of the alternative, which made it possible to establish the existence of a saddle point in a nonlinear differential game. In the investigation of impulse control problems, Krasovskii used techniques from the theory of generalized functions, which formed the basis for many studies in this direction. A number of A.B. Kurzhanski’s papers are devoted to the solution of control problems related in one way or another to the construction of reachability sets. Control problems with incomplete information, duality issues for control and observation problems, and team control problems constitute a far from exhaustive list of research areas where Kurzhanskii obtained profound results. These studies are characterized by the use of a wide range of tools and methods from applied mathematics and various constructions as well as by the combination of theoretical investigations and procedures related to the possibility of computer modeling.

The research direction developed in the present paper mainly concerns the problem of constraint observation (including “asymptotic” constraints) and involves other issues. Nevertheless, the idea of constructing generalized elements of various nature (in particular, generalized controls) seems to be useful for the purpose of asymptotic analysis of control problems that do not possess stability as well as problems on the comparison of different tendencies in the choice of control in the form of dependences on a complex of factors inherent in the original real-life problem. The use of such tools as the Stone–Čech compactification and Wallman’s extension is, of course, oriented toward the study of qualitative issues. In the authors’ opinion, the combined application of the approaches to the construction of extensions used in control theory and in general topology holds promise from the point of view of both pure and applied mathematics. Apparently, the present paper can be considered as a certain step in this direction.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):36-54
pages 36-54 views

Asymptotics of the solution in a problem of optimal boundary control of a flow through a part of the boundary

Danilin A.R.

Abstract

We consider a problem of optimal control through a part of the boundary of solutions to an elliptic equation in a bounded domain with smooth boundary with a small parameter at the Laplace operator and integral constraints on the control. A complete asymptotic expansion of the solution to this problems in powers of the small parameter is constructed.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):55-66
pages 55-66 views

Estimates of reachable sets of control systems with nonlinearity and parametric perturbations

Filippova T.F.

Abstract

We consider estimation techniques for trajectory tubes of a nonlinear control system with uncertainty in the initial data and under the assumption of quadratic nonlinearity of the velocity vectors with respect to the states of the system. It is assumed that the uncertain initial states and admissible controls are subject to ellipsoidal constraints. We study problems of sensitivity of reachable sets and of their ellipsoidal estimates to a finite-dimensional parameter appearing in the constraints and in the dynamics of the uncertain control system. The results are based on algorithms and techniques of the theory of ellipsoidal estimation and the theory of differential inclusions.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):67-75
pages 67-75 views

On an eigenvalue for the Laplace operator in a disk with Dirichlet boundary condition on a small part of the boundary in a critical case

Gadyl’shin R.R., Rep’evskii S.V., Shishkina E.A.

Abstract

A boundary-value problem of finding eigenvalues is considered for the negative Laplace operator in a disk with Neumann boundary condition on almost all the circle except for a small arc of vanishing length, where the Dirichlet boundary condition is imposed. A complete asymptotic expansion with respect to a parameter (the length of the small arc) is constructed for an eigenvalue of this problem that converges to a double eigenvalue of the Neumann problem.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):76-90
pages 76-90 views

First and second order optimality conditions in vector optimization problems with nontransitive preference relation

Gorokhovik V.V., Trafimovich M.A.

Abstract

We present first and second order conditions, both necessary and sufficient, for ≺-minimizers of vector-valued mappings over feasible sets with respect to a nontransitive preference relation ≺. Using an analytical representation of a preference relation ≺ in terms of a suitable family of sublinear functions, we reduce the vector optimization problem under study to a scalar inequality, from which, using the tools of variational analysis, we derive minimality conditions for the initial vector optimization problem.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):91-105
pages 91-105 views

Construction of a terminal control for a second-order system with state constraints

Grigorenko N.L., Anisimov A.V., Luk’yanova L.N.

Abstract

We consider a terminal control problem with state constraints and additional constraints on the qualitative behavior of the terminal trajectory for a second-order system in two-dimensional Euclidean space under geometric constraints on control parameters. A class of control functions solving this control problem is proposed. Numerical results for the control system with model parameters are presented.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):106-114
pages 106-114 views

On elimination of state constraints in the construction of reachable sets

Gusev M.I.

Abstract

The paper is devoted to the problem of approximating reachable sets of a nonlinear control system with state constraints given as a solution set of a nonlinear inequality. A state constraint elimination procedure based on the introduction of an auxiliary constraintfree control system is proposed. The equations of the auxiliary system depend on a small parameter. It is shown that the reachable set of the original system can be approximated in the Hausdorff metric by reachable sets of the auxiliary control system as the small parameter tends to zero. Estimates of the convergence rate are given.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):115-124
pages 115-124 views

Construction of a maximal stable bridge in games with simple motions on the plane

Kamneva L.V., Patsko V.S.

Abstract

It is known that the solvability set (the maximal stable bridge) in a zero-sum differential game with simple motions, fixed terminal time, geometric constraints on the controls of the first and second players, and convex terminal set can be constructed by means of a program absorption operator. In this case, a backward procedure for the construction of t-sections of the solvability set does not need any additional partition times. We establish the same property for a game with simple motions, polygonal terminal set (which is generally nonconvex), and polygonal constraints on the players’ controls on the plane. In the particular case of a convex terminal set, the operator used in the paper coincides with the program absorption operator.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):125-139
pages 125-139 views

On the polyhedral method of solving problems of control strategy synthesis

Kostousova E.K.

Abstract

We consider control synthesis problems for linear and bilinear differential systems. Two types of problems are studied: when controls are additive and when they enter the matrix of the system. For both types, we consider cases without uncertainty and cases with uncertainty, including additive parallelotope-valued uncertainties and interval uncertainties in the coefficients of the system. We continue to develop the methods of “polyhedral” synthesis of controls with the use of polyhedral (parallelotope-valued) solvability tubes. Nonlinear systems of ordinary differential equations describing the mentioned polyhedral solvability tubes are presented. We propose new control strategies, which can be calculated by explicit formulas based on the mentioned tubes. In addition, we consider similar synthesis problems for multistage systems.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):140-155
pages 140-155 views

Toward the L1-theory of degenerate anisotropic elliptic variational inequalities

Kovalevsky A.A.

Abstract

We consider nonlinear elliptic second-order variational inequalities with degenerate (with respect to the spatial variable) and anisotropic coefficients and L1-data. We study the cases where the set of constraints belongs to a certain anisotropic weighted Sobolev space and to a larger function class. In the first case, some new properties of T-solutions and shift T-solutions of the investigated variational inequalities are established. Moreover, the notion of W1,1-regular T-solution is introduced, and a theorem of existence and uniqueness of such a solution is proved. In the second case, we introduce the notion of T-solution of the variational inequalities under consideration and establish conditions of existence and uniqueness of such a solution.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):156-172
pages 156-172 views

Control of a family of nonlinear dynamic systems under measurements with bounded disturbances

Kuntsevich V.M.

Abstract

We consider a control synthesis problem for nonlinear dynamic systems under parametric uncertainty and bounded measurement noises. Because of bounded disturbances in measurements of the state vector and the nonlinearity in the control object, the initially formulated control synthesis problem for a family of nonlinear systems as a generalized Zubov problem is transformed into a symbiosis of generalized Zubov–Bulgakov problems. The main result of the paper is the analytic solution of a minimax synthesis problem, which yields a constructive method for finding an invariant set.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):173-181
pages 173-181 views

On the approximation of nonlinear conflict-controlled systems of neutral type

Lukoyanov N.Y., Plaksin A.R.

Abstract

We consider approximations of systems of nonlinear neutral-type equations in Hale’s form by systems of high-order ordinary differential equations. A procedure is given for the mutual feedback tracking between the motion of the original neutral-type conflict-controlled system and the motion of the approximating system of ordinary differential equations. The proposed mutual tracking procedure makes it possible to use approximating systems of ordinary differential equations as finite-dimensional modeling guides for neutral-type systems.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):182-196
pages 182-196 views

On a control algorithm for a linear system with measurements of a part of coordinates of the phase vector

Maksimov V.I.

Abstract

We consider a feedback control problem for a system of ordinary differential equations in the case when only a part of coordinates of the phase vector are measured and propose a solution algorithm that is stable to perturbations. The algorithm is based on a combination of the theories of dynamical inversion and guaranteed control. It consists of two blocks: a block for the dynamical reconstruction of unmeasured coordinates and a control block.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):197-210
pages 197-210 views

Finite simple groups that are not spectrum critical

Maslova N.V.

Abstract

Let G be a finite group. The spectrum of G is the set ω(G) of orders of all its elements. The subset of prime elements of ω(G) is called the prime spectrum and is denoted by π(G). A group G is called spectrum critical (prime spectrum critical) if, for any subgroups K and L of G such that K is a normal subgroup of L, the equality ω(L/K) = ω(G) (π(L/K) = π(G), respectively) implies that L = G and K = 1. In the present paper, we describe all finite simple groups that are not spectrum critical. In addition, we show that a prime spectrum minimal group G is prime spectrum critical if and only if its Fitting subgroup F(G) is a Hall subgroup of G.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):211-215
pages 211-215 views

A boundary value problem for a second-order nonlinear equation with delta-like potential

Mukminov F.K., Gadyl’shin T.R.

Abstract

A Dirichlet nonlinear problem for a second-order equation is considered on an interval. The problem is perturbed by a delta-like potential ε−1Q(ε−1x), where the function Q(ξ) is compactly supported and 0 < ε ≪ 1. A solution of this boundary value problem is constructed with accuracy up to O(ε) with the use of the method of matched asymptotic expansions. The obtained asymptotic approximation is validated by means of the fixed-point theorem. All types of boundary conditions are considered for a linear boundary value problem.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):216-230
pages 216-230 views

Study of an optimal control problem related to the Solow control model

Nikol’skii M.S.

Abstract

We study the Solow model of optimal economic growth. The statement of the optimal control problem under consideration contains mixed constraints on the control. A special change of the control is used to reduce the problem to the study of a new controlled object with a usual geometric constraint. The reachable set of the original control system is found, an existence theorem for the optimal control is proved, and sufficient conditions for the absence of singular regimes are obtained.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):231-237
pages 231-237 views

On estimates for the uniform norm of the Laplace operator of the best interpolants on a class of bounded interpolation data

Novikov S.I.

Abstract

We consider an interpolation problem with minimum value of the uniform norm of the Laplace operator of interpolants for a class of bounded interpolated sequences. The data are interpolated at nodes of the grid formed by points from ℝ2 with integer coordinates. Two-sided estimates for the uniform norm of the best interpolant are found, which improve known estimates.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):238-244
pages 238-244 views

Characterization of the pseudovariety generated by finite monoids satisfying ℛ = ℋ

Pervukhina T.V.

Abstract

We consider the pseudovariety generated by all finite monoids on which Green’s relations ℛ and ℋ coincide. It is shown that any finite monoid S belonging to this pseudovariety divides the monoid of all upper triangular row-monomial matrices over a finite group with zero adjoined. The proof is constructive; given a monoid S, the corresponding group and the order of matrices can be effectively found.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):245-252
pages 245-252 views

On the weak polar cone of the solution set of a differential inclusion with conic graph

Polovinkin E.S.

Abstract

A differential inclusion with values in a reflexive Banach space such that its righthand side is at each time a convex closed cone is considered. The form of the weak polar cone of the cone of strongly bounded solutions to the Cauchy problem for this inclusion is found. A solution is called strongly bounded if it is an absolutely continuous function (in a wide sense) and its derivative is essentially bounded.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):253-261
pages 253-261 views

Difference scheme of highest accuracy order for a singularly perturbed reaction–diffusion equation based on the solution decomposition method

Shishkin G.I., Shishkina L.P.

Abstract

A Dirichlet problem is considered for a singularly perturbed ordinary differential reaction–diffusion equation. For this problem, a new approach is developed in order to construct difference schemes whose solutions converge in the maximum norm uniformly with respect to the perturbation parameter ε, ε ∈ (0, 1] (i.e., ε-uniformly) with order of accuracy significantly greater than the ultimate achievable accuracy order for the Richardson method on piecewise uniform grids. The main point of this approach is that uniform grids are used to solve grid subproblems for the regular and singular components of the discrete solution. Using the asymptotic construction technique, a basic difference scheme of the solution decomposition method is constructed that converges ε-uniformly in the maximum norm at the rate O(N−2 ln2N), where N + 1 is the number of nodes in the uniform grids used. The Richardson extrapolation technique on three embedded grids is applied to the basic scheme of the solution decomposition method. As a result, we have constructed the Richardson scheme of the solution decomposition method with highest accuracy order. The solution of this scheme converges ε-uniformly in the maximum norm at the rate O(N−6 ln6N).

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):262-275
pages 262-275 views

On a differential game in a system with distributed parameters

Vlasenko L.A., Chikrii A.A.

Abstract

We consider a game problem of approach for a system whose dynamics is described by a partial differential equation not of Kovalevskaya type, i.e., unsolved with respect to the time derivative. The equation with boundary conditions is written in a Hilbert function space in an abstract form as a differential operator equation. Using the method of resolving functionals, we obtain sufficient conditions for the approach of the system’s dynamical vector to a cylindrical terminal set. The results are exemplified by means of a model problem concerning a filtering process for a fluid in fractured porous rocks.

Proceedings of the Steklov Institute of Mathematics. 2016;292(Suppl 1):276-285
pages 276-285 views