SearcharxivSearch

arXiv subjects

A. V. Podobryaev

Publications and source records attributed to A. V. Podobryaev.

11 recordsLinked to original sources

Existence of the longest arcs for left-invariant three-dimensional contact sub-Lorentzian structures

The problem of finding optimal curves (the longest arcs) for sub-Lorentzian structures is an optimal control problem with an unbounded control set and a concave cost functional. The question of existence of an optimal solution is nontrivial for such problems. We solve here this question for some left-invariant three-dimensional contact sub-Lorentzian structures, whose classification is known. We propose sufficient conditions for the existence of the longest arcs for left-invariant (sub-)Lorentzian structures on solvable Lie groups and on the universal cover of the Lie group SL(2, R).

math.DG

One-parametric series of SO(1,1)-symmetric (sub-)Lorentzian structures on the universal covering of SL(2,R)

We consider a one-parametric series of left-invariant Lorentzian structures on the universal covering of the Lie group SL(2,R). These structures have SO(1,1)-symmetry and they are deformations of the anti-de Sitter Lorentzian manifold. We study the global optimality of extremal trajectories, i.e., we describe the longest arcs. The sub-Lorentzian structure appears as a limit case of the considered series of Lorentzian structures. We study how the several properties of the Lorentzian structures deform to the properties of the sub-Lorentzian structure.

math.DG

Cut loci of Berger type Lorentzian structures

Consider the deformation of the standard Lorentzian metric on the anti de-Sitter space along the fibers of the Hopf fibration. We study the universal covering of this Lorentzian manifold to exclude a priori presence of time-like cycles. We describe the sets attainable by admissible curves and study the question of the existence of the longest arcs. Next, we investigate Lorentzian geodesics for optimality: we find the cut time and the cut locus. As a geometric application we compute the injectivity radius of the corresponding Lorentzian manifold.

math.DG

Existence theorem for sub-Lorentzian problems

In this paper, we prove the existence theorem for longest paths in sub-Lorentzian problems, which generalizes the classical theorem for globally hyperbolic Lorentzian manifolds. We specifically address the case of invariant structures on homogeneous spaces, as the conditions for the existence theorem in this case can be significantly simplified. In particular, it turns out that longest paths exist for any left-invariant sub-Lorentzian structures on Carnot groups.

math.DG

Sub-Lorentzian extremals defined by an antinorm

We consider a left-invariant (sub-)Lorentzian structure on a Lie group. We assume that this structure is defined by a closed convex salient cone in the corresponding Lie algebra and a continuous antinorm associated with this cone. We derive the Hamiltonian system for (sub-)Lorentzian extremals and give conditions under that normal extremal trajectories keep their causal type. Tangent vectors of abnormal extremal trajectories are either light-like or tangent vectors of sub-Riemannian extremal trajectories for the sub-Riemannian distribution spanned by the cone.

math.OC

Attainable set for rank 3 step 2 free Carnot group with positive controls

We find the attainable set for a control system on the free Carnot group of rank $3$ and step $2$ with positive controls. This kind of control systems is connected with the theory of free Lie semigroups; with some estimates for probabilities of inequalities for independent random variables; with the nilpotent approximation of robotic control systems and with contour recovering without cusps in image processing. We investigate the boundary of the attainable set with the help of the Pontryagin maximum principle for the time-optimal control problem. We study extremal trajectories that correspond to bang-bang, singular and mixed controls. We obtain upper bounds for the number of switchings for optimal controls. This implies a parametrization of the boundary faces of the attainable set.

math.OC

Homogeneous geodesics in sub-Riemannian geometry

We study homogeneous geodesics of sub-Riemannian manifolds, i.e., normal geodesics that are orbits of one-parametric subgroups of isometries. We obtain a criterion for a geodesic to be homogeneous in terms of its initial momentum. We prove that any weakly commutative sub-Riemannian homogeneous space is geodesic orbit, that means all geodesics are homogeneous. We discuss some examples of geodesic orbit sub-Riemannian manifolds. In particular, we show that geodesic orbit Carnot groups are only groups of step $1$ and $2$. Finally, we get a broad condition for existence of at least one homogeneous geodesic.

math.DG

Symmetries in left-invariant optimal control problems

We consider left-invariant optimal control problems on connected Lie groups such that generic stabilizer of the coadjoint action is connected and has dimension not more than 1. We introduce a construction for symmetries of the exponential map. These symmetries play a key role in investigation of optimality of extremal trajectories.

math.OC

Symmetric Riemannian problem on the group of proper isometries of hyperbolic plane

We consider the Lie group PSL(2) (the group of orientation preserving isometries of the hyperbolic plane) and a left-invariant Riemannian metric on this group with two equal eigenvalues that correspond to space-like eigenvectors (with respect to the Killing form). For such metrics we find a parametrization of geodesics, the conjugate time, the cut time and the cut locus. The injectivity radius is computed. We show that the cut time and the cut locus in such Riemannian problem converge to the cut time and the cut locus in the corresponding sub-Riemannian problem as the third eigenvalue of the metric tends to infinity. Similar results are also obtained for SL(2).

math.DG

Cut locus of a left invariant Riemannian metric on SO(3) in the axisymmetric case

We consider a left invariant Riemannian metric on SO(3) with two equal eigenvalues. We find the cut locus and the equation for the cut time. We find the diameter of such metric and describe the set of all most distant points from the identity. Also we prove that the cut locus and the cut time converge to the cut locus and the cut time in the sub-Riemannian problem on SO(3) as one of the metric eigenvalues tends to infinity.

math.DG