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 ...
Abstract.The left-invariant sub-Riemannian problem on the group of motions (rototranslations) of a plane SE (2) , extremal trajectories were defined, their local and global optimality were studied. In this paper the global structure of the exponential mapping is described. On this basis an explicit characterization of the cut locus and Maxwell set is obtained. The optimal synthesis is constructed.Mathematics Subject Classification. 49J15, 93B29, 93C10, 53C17, 22E30.
The classical Euler's problem on stationary configurations of elastic rod with fixed endpoints and tangents at the endpoints is considered as a left-invariant optimal control problem on the group of motions of a twodimensional plane E(2). The attainable set is described, existence and boundedness of optimal controls are proved. Extremals are parametrized by Jacobi's elliptic functions of natural coordinates induced by the flow of the mathematical pendulum on fibers of the cotangent bundle of E(2).The group of discrete symmetries of Euler's problem generated by reflections in the phase space of the pendulum is studied. The corresponding Maxwell points are completely described via the study of fixed points of this group. As a consequence, an upper bound on cut points in Euler's problem is obtained.
To model association fields that underly perceptional organization (gestalt) in psychophysics we consider the problem Pcurve of minimizing for a planar curve having fixed initial and final positions and directions. Here κ(s) is the curvature of the curve with free total length ℓ. This problem comes from a model of geometry of vision due to Petitot (in J. Physiol. Paris 97:265–309, 2003; Math. Inf. Sci. Humaines 145:5–101, 1999), and Citti & Sarti (in J. Math. Imaging Vis. 24(3):307–326, 2006). In previous work we proved that the range of the exponential map of the underlying geometric problem formulated on SE(2) consists of precisely those end-conditions (xfin,yfin,θfin) that can be connected by a globally minimizing geodesic starting at the origin (xin,yin,θin)=(0,0,0). From the applied imaging point of view it is relevant to analyze the sub-Riemannian geodesics and in detail. In this article we show that is contained in half space x≥0 and (0,yfin)≠(0,0) is reached with angle π,show that the boundary consists of endpoints of minimizers either starting or ending in a cusp,analyze and plot the cones of reachable angles θfin per spatial endpoint (xfin,yfin),relate the endings of association fields to and compute the length towards a cusp,analyze the exponential map both with the common arc-length parametrization t in the sub-Riemannian manifold and with spatial arc-length parametrization s in the plane . Surprisingly, s-parametrization simplifies the exponential map, the curvature formulas, the cusp-surface, and the boundary value problem,present a novel efficient algorithm solving the boundary value problem,show that sub-Riemannian geodesics solve Petitot’s circle bundle model (cf. Petitot in J. Physiol. Paris 97:265–309, [2003]),show a clear similarity with association field lines and sub-Riemannian geodesics.
We construct a new class of 1/4-BPS time dependent domain-wall solutions with null-like metric and dilaton in type II supergravities, which admit a null-like big bang singularity. Based on the domain-wall/QFT correspondence, these solutions are dual to 1/4-supersymmetric quantum field theories living on a boundary cosmological background with time dependent coupling constant and UV cutoff. In particular we evaluate the holographic c function for the 2-dimensional dual field theory living on the corresponding null-like cosmology. We find that this c function runs in accordance with the c-theorem as the boundary universe evolves, this means that the number of degrees of freedom is divergent at big bang and suggests the possible resolution of big bang singularity.
On the Engel group a nilpotent sub-Riemannian problem is considered, a 4-dimensional optimal control problem with a 2-dimensional linear control and an integral cost functional. It arises as a nilpotent approximation to nonholonomic systems with 2-dimensional control in a 4-dimensional space (for example, a system describing the navigation of a mobile robot with trailer). A parametrization of extremal trajectories by Jacobi functions is obtained. A discrete symmetry group and its fixed points, which are Maxwell points, are described. An estimate for the cut time (the time of the loss of optimality) on extremal trajectories is derived on this basis. Bibliography: 25 titles.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.