| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
International youth conference "Geometry & Control"
|
|||
|
|
|||
|
Nilpotent Sub-Riemannian Problem on the Engel Group Andrey Ardentov PSI RAS, Pereslavl-Zalessky, Russia |
|||
|
Abstract: The following sub-Riemannian problem is considered: \begin{eqnarray*} &&\dot{q} = u_1 X_1 + u_2 X_2, \quad q = (x,y,z,v)^T \in M=\mathbf{R}^4, \quad (u_1, u_2) \in \mathbf{R}^2, \\ &&X_1 = \bigg(1, 0, - \frac{y}{2}, 0\bigg)^T, \quad X_2 = \bigg(0, 1, \frac{x}{2}, \frac {x^2+y^2}{2} \bigg)^T, \\ &&q(0) = q_0 = (0,0,0,0)^T, \quad q(t_1) = q_1, \\ &&l = \int_0^{t_1} \sqrt{u_1^2 + u_2^2} \, dt \to \min. \end{eqnarray*} It arises as a nilpotent approximation to nonholonomic systems in four-dimensional space with two-dimensional control, for instance for the system describing motion of a mobile robot with a trailer on a plane. Vector fields at the controls Pontryagin's maximum principle has been applied. Projections of abnormal extremals on the plane XY are straight lines. Family of all normal extremals is parametrized by the phase cylinder of pendulum $$C=T_{q_0}^*M\cap\{H=1/2\}=\{\lambda = (\theta, c, \alpha) \,|\, \theta \in S^1; c, \alpha \in \mathbf{R}\},$$ where Adjoint subsystem of the Hamiltonian system is reduced to the equation of pendulum: $$\ddot \theta = -\alpha \sin \theta, \qquad \alpha = \operatorname{const}.$$ The cylinder $$\operatorname{Exp}\nolimits: N \rightarrow M, \qquad N= C\times \mathbf{R}_+.$$ Discrete symmetries of exponential mapping have been considered in order to find the first Maxwell time which gives upper bound for the cut time (i. e., the time of loss of global optimality) along extremal trajectories: $$t_{\operatorname{cut}} (\lambda) \leq t_{\operatorname{MAX}^1} (\lambda).$$ Moreover, the first conjugate time (i. e., the time of loss of local optimality) along the trajectories has been investigated [5]. The function that gives the upper bound of the cut time provides the lower bound of the first conjugate time: $$t_{\operatorname{MAX}^1} (\lambda) \leq t_{\operatorname{conj}^1} (\lambda).$$ So the first Maxwell time defines the decomposition of the preimage and the image of the exponential mapping into corresponding subdomains. Hadamard theorem about global diffeomorphism has been applied to prove that restriction of the exponential mapping for these subdomains is a diffeomorphism. Finally the following theorem has been proved. Theorem. For any $$t_{\operatorname{cut}} (\lambda) = t_{\operatorname{MAX}^1} (\lambda)$$ On the basis of the results obtained, a software for numerical computation of a global solution to the sub-Riemannian problem on the Engel group has been developed. Language: English References
|
|||
