The Maxwell set in the generalized Dido problem

Sachkov, Yu. L.

doi:10.1070/sm2006v197n04abeh003771

Cited by 34 publications

(54 citation statements)

References 17 publications

(9 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the main Section 5 we obtain an explicit description of Maxwell strata corresponding to the group of discrete symmetries, and prove the upper bound on cut time. This approach was already successfully applied to the analysis of several invariant optimal control problems on Lie groups [15][16][17][18][19][20]. …”

mentioning

confidence: 99%

Maxwell strata in sub-Riemannian problem on the group of motions of a plane

Моисеев¹,

Sachkov²

2009

ESAIM: COCV

114

149

View full text Add to dashboard Cite

Abstract.The left-invariant sub-Riemannian problem on the group of motions of a plane is considered. Sub-Riemannian geodesics are parameterized by Jacobi's functions. Discrete symmetries of the problem generated by reflections of pendulum are described. The corresponding Maxwell points are characterized, on this basis an upper bound on the cut time is obtained. Mathematics Subject IntroductionProblems of sub-Riemannian geometry have been actively studied by geometric control methods, see books [2,3,7,10]. One of the central and hard questions in this domain is a description of cut and conjugate loci. Detailed results on the local structure of conjugate and cut loci were obtained in the 3-dimensional contact case [1,6]. Global results are restricted to symmetric low-dimensional cases, primarily for left-invariant problems on Lie groups (the Heisenberg group [5,22], the growth vector (n, n(n + 1)/2) [9,11,12], the groups SO(3), SU(2), SL(2) and the Lens Spaces [4]).The paper continues this direction of research: we start to study the left-invariant sub-Riemannian problem on the group of motions of a plane SE(2). This problem has important applications in robotics [8] and vision [13]. On the other hand, this is the simplest sub-Riemannian problem where the conjugate and cut loci differ one from another in the neighborhood of the initial point.The main result of the work is an upper bound on the cut time t cut given in Theorem 5.4: we show that for any sub-Riemannian geodesic on SE(2) there holds the estimate t cut ≤ t, where t is a certain function defined on the cotangent space at the identity. In a forthcoming paper [21] we prove that in fact t cut = t. The bound on the cut time is obtained via the study of discrete symmetries of the problem and the corresponding Maxwell points -points where two distinct sub-Riemannian geodesics of the same length intersect one another.This work has the following structure. In Section 1 we state the problem and discuss existence of solutions. In Section 2 we apply Pontryagin Maximum Principle to the problem. The Hamiltonian system for normal extremals is triangular, and the vertical subsystem is the equation of mathematical pendulum. In Section 3Keywords and phrases. Optimal control, sub-Riemannian geometry, differential-geometric methods, left-invariant problem, Lie group, Pontryagin Maximum Principle, symmetries, exponential mapping, Maxwell stratum. * The second author is partially supported by Russian Foundation for Basic Research, and we endow the cotangent space at the identity with special elliptic coordinates induced by the flow of the pendulum, and integrate the normal Hamiltonian system in these coordinates. Sub-Riemannian geodesics are parameterized by Jacobi's functions. In Section 4 we construct a discrete group of symmetries of the exponential mapping by continuation of reflections in the phase cylinder of the pendulum. In the main Section 5 we obtain an explicit description of Maxwell strata corresponding to the group of discrete symmetries, and prove the upper ...

show abstract

mentioning

confidence: 99%

Maxwell strata in sub-Riemannian problem on the group of motions of a plane

Моисеев¹,

Sachkov²

2009

ESAIM: COCV

114

149

View full text Add to dashboard Cite

show abstract

“…This techniques was already partially developed in the study of related optimal control problems (nilpotent sub-Riemannian problem with the growth vector (2, 3, 5) [13][14][15][16] and Euler's elastic problem [17,18]). The sub-Riemannian problem on SE(2) is the first problem in this series, where a complete solution was obtained (local and global optimality, cut time and cut locus, optimal synthesis).…”

Section: Resultsmentioning

confidence: 99%

Conjugate and cut time in the sub-Riemannian problem on the group of motions of a plane

Sachkov¹

2009

ESAIM: COCV

View full text Add to dashboard Cite

Abstract.The left-invariant sub-Riemannian problem on the group of motions (rototranslations) of a plane SE(2) is studied. Local and global optimality of extremal trajectories is characterized. Lower and upper bounds on the first conjugate time are proved. The cut time is shown to be equal to the first Maxwell time corresponding to the group of discrete symmetries of the exponential mapping. Optimal synthesis on an open dense subset of the state space is described.Mathematics Subject Classification. 49J15, 93B29, 93C10, 53C17, 22E30.

show abstract

“…Since θ(R(d τ )Ċ R (τ )) = θ(Ċ R (τ )) and θ(L π(C R (τ )) ξ R ) = (Ad * π(C R (τ )))p τ (ξ R ) = p t (ξ R ), we get θ(ċ R (τ )) = θ(Ċ R (τ )) − ∆ τ = θ(ċ L (t − τ )). So, since d 0 = d t = id, the curve c R satisfies the conditions (12). Let g p 0 = span ξ L , where ξ L = (Ad f )ξ R ∈ g p 0 .…”

Section: The Intersection γmentioning

confidence: 99%

“…It is well known (see for example [12]), that an extremal trajectory can not be optimal after a Maxwell point. That is why description of Maxwell points plays an important role in investigation of optimality of extremal trajectories.…”

mentioning

confidence: 99%

Symmetries in left-invariant optimal control problems

Podobryaev¹

2020

Sb. Math.

View full text Add to dashboard Cite

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.Geometric control theory (see for example [1]) deals with left-invariant optimal control problems on a Lie group G. Consider a family of left-invariant vector fields F u that depend analytically on u ∈ U ⊂ R n . Consider also a left-invariant analytic function ϕ : G × U → R, a point q 1 ∈ G, and a fixed time t 1 > 0. The problem is to find a control u ∈ L ∞ ([0, t 1 ], U ) and a Lipschitz curve q u : [0, t 1 ] → G such that t 1 0 ϕ(q u (t), u(t))dt → min,q u (t) = F u(t) (q u (t)), q u (0) = id, q u (t 1 ) = q 1 ∈ G. (1)

show abstract

The Maxwell set in the generalized Dido problem

Cited by 34 publications

References 17 publications

Maxwell strata in sub-Riemannian problem on the group of motions of a plane

Maxwell strata in sub-Riemannian problem on the group of motions of a plane

Conjugate and cut time in the sub-Riemannian problem on the group of motions of a plane

Symmetries in left-invariant optimal control problems

Contact Info

Product

Resources

About