arXiv subjects

Igor Zelenko

Publications and source records attributed to Igor Zelenko.

40 records · Page 3Linked to original sources

arXiv2004

Complete systems of invariants for rank 1 curves in Lagrange Grassmannians

Curves in Lagrange Grassmannians naturally appear when one studies intrinsically "the Jacobi equations for extremals", associated with control systems and geometric structures. In this way one reduces the problem of construction of the curvature-type invariants for these objects to the much more concrete problem of finding of invariants of curves in Lagrange Grassmannians w.r.t. the action of the linear Symplectic group. In the present paper we develop a new approach to differential geometry of so-called rank 1 curves in Lagrange Grassmannian, i.e., the curves with velocities being rank one linear mappings (under the standard identification of the tangent space to a point of the Lagrange Grassmannian with an appropriate space of linear mappings). The curves of this class are associated with "the Jacobi equations for extremals", corresponding to control systems with scalar control and to rank 2 vector distributions. In particular, we construct the tuple of m principal invariants, where m is equal to half of dimension of the ambient linear symplectic space, such that for a given tuple of arbitrary m smooth functions there exists the unique, up to a symplectic transformation, rank 1 curve having this tuple, as the tuple of the principal invariants. This approach extends and essentially simplifies some results of our previous paper (J. Dynamical and Control Systems, 8, 2002, No. 1, 93-140), where only the uniqueness part was proved and in rather cumbersome way. It is based on the construction of the new canonical moving frame with the most simple structural equation.

math.DG↗

arXiv2004

On curvatures and focal points of dynamical Lagrangian distributions and their reductions by first integrals

Pairs (Hamiltonian system, Lagrangian distribution), called dynamical Lagrangian distributions, appear naturally in Differential Geometry, Calculus of Variations and Rational Mechanics. The basic differential invariants of a dynamical Lagrangian distribution w.r.t. the action of the group of symplectomorphisms of the ambient symplectic manifold are the curvature operator and the curvature form. These invariants can be seen as generalizations of the classical curvature tensor in Riemannian Geometry. In particular, in terms of these invariants one can localize the focal points along extremals of the corresponding variational problems. In the present paper we study the behavior of the curvature operator, the curvature form and the focal points of a dynamical Lagrangian distribution after its reduction by arbitrary first integrals in involution. The interesting phenomenon is that the curvature form of so-called monotone increasing Lagrangian dynamical distributions, which appear naturally in mechanical systems, does not decrease after reduction. It also turns out that the set of focal points to the given point w.r.t. the monotone increasing dynamical Lagrangian distribution and the corresponding set of focal points w.r.t. its reduction by one integral are alternating sets on the corresponding integral curve of the Hamiltonian system of the considered dynamical distributions. Moreover, the first focal point corresponding to the reduced Lagrangian distribution comes before any focal point related to the original dynamical distribution. We illustrate our results on the classical $N$-body problem.

math.DG↗

arXiv2004

On geodesic equivalence of Riemannian metrics and sub-Riemannian metrics on distributions of corank 1

The present paper is devoted to the problem of (local) geodesic equivalence of Riemannian metrics and sub-Riemannian metrics on generic corank 1 distributions. Using Pontryagin Maximum Principle, we treat Riemannian and sub-Riemannian cases in an unified way and obtain some algebraic necessary conditions for the geodesic equivalence of (sub-)Riemannian metrics. In this way first we obtain a new elementary proof of classical Levi-Civita's Theorem about the classification of all Riemannian geodesically equivalent metrics in a neighborhood of so-called regular (stable) point w.r.t. these metrics. Secondly we prove that sub-Riemannian metrics on contact distributions are geodesically equivalent iff they are constantly proportional. Then we describe all geodesically equivalent sub-Riemannian metrics on quasi-contact distributions. Finally we make the classification of all pairs of geodesically equivalent Riemannian metrics on a surface, which proportional in an isolated point. This is the simplest case, which was not covered by Levi-Civita's Theorem.

math.DG↗

arXiv2004

Variational Approach to Differential Invariants of Rank 2 Vector Distributions

In the present paper we construct differential invariants for generic rank 2 vector distributions on n-dimensional manifold. In the case n=5 (the first case containing functional parameters) E. Cartan found in 1910 the covariant fourth-order tensor invariant for such distributions, using his "reduction-prolongation" procedure. After Cartan's work the following questions remained open: first the geometric reason for existence of Cartan's tensor was not clear; secondly it was not clear how to generalize this tensor to other classes of distributions; finally there were no explicit formulas for computation of Cartan's tensor. Our paper is the first in the series of papers, where we develop an alternative approach, which gives the answers to the questions mentioned above. It is based on the investigation of dynamics of the field of so-called abnormal extremals (singular curves) of rank 2 distribution and on the general theory of unparametrized curves in the Lagrange Grassmannian, developed in our previous works with A. Agrachev . In this way we construct the fundamental form and the projective Ricci curvature of rank 2 vector distributions for arbitrary n greater than 4. For n=5 we give an explicit method for computation of these invariants and demonstrate it on several examples. In our next paper we show that in the case n=5 our fundamental form coincides with Cartan's tensor.

math.DG↗