Mathematical models of nonlinear systems of a certain class allow them represented as linear systems with nonlinear state feedback. In other words, let make the appropriate coordinate transformation of the original dynamic model. Such a transformation, using Lyapunov functions, a number of studies used to determine the parameters of regulators to ensure the asymptotic stability properties of the nonlinear system, ie guaranteeing bounded trajectories emanating from the initial states of the system. For linear systems, there is a powerful and convenient mathematical apparatus allows the synthesis of optimal controls, but this unit is not applicable or partially applicable for nonlinear systems. Unlike prior work in this paper for nonlinear systems linearizable feedback as in the synthesis of optimal control problems with quadratic performance applied the method based on the use of the Riccati equation with parameters depending on the state.
In this paper we consider games with preference relations. The main optimality concept for such games is concept of equilibrium. We introduce a notion of homomorphism for games with preference relations and study a problem concerning connections between equilibrium points of games which are in a homomorphic relation. The main result is finding covariantly and contravariantly complete families of homomorphisms.
The task of designing the control actions for a heavy water reactor under uncertainty changes its parameters considered in the key differential game. The possibility of representing nonlinear dynamics of the object in the form of a system with parameters depending on the state (State Dependent Coefficients) and quadratic functional qualities allow you to go from having to solve a scalar partial differential equation (the Hamilton-Jacobi-Bellman) to the Riccati equation with parameters depending on the state. Feasible solution obtained by applying the min-max method. The results of mathematical modeling system in the shutdown of a nuclear reactor.
For n person games with preference relations some types of optimality solutions are introduced. Elementary properties of their solutions are considered. One sufficient condition for nonempty Ca-core is found.
Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.
Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.