Related papers: Non-holonomic equations for the normal extremals i…
We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a…
We consider how the problem of determining normal forms for a specific class of nonholonomic systems leads to various interesting and concrete bridges between two apparently unrelated themes. Various ideas that traditionally pertain to the…
We discuss contact geometry naturally related with optimal control problems (and Pontryagin Maximum Principle). We explore and expand the observations of [Ohsawa, 2015], providing simple and elegant characterizations of normal and abnormal…
In this paper we obtain an existence theorem for normal geodesics joining two given submanifolds in a globally hyperbolic stationary spacetime. The proof is based on both variational and geometric arguments involving the causal structure of…
We define harmonic maps between sub-Riemannian manifolds by generalizing known definitions for Riemannian manifolds. We establish conditions for when a horizontal map into a Lie group with a left-invariant metric structure is a harmonic…
Geodesics become an essential element of the geometry of a semi-Riemannian manifold. In fact, their differences and similarities with the (positive definite) Riemannian case, constitute the first step to understand semi-Riemannian Geometry.…
We study the geometry and holonomy of semi-Riemannian, time-like metric cones that are indecomposable, i.e., which do not admit a local decomposition into a semi-Riemannian product. This includes irreducible cones, for which the holonomy…
The geodesics for a sub-Riemannian metric on a three-dimensional contact manifold $M$ form a 1-parameter family of curves along each contact direction. However, a collection of such contact curves on $M$, locally equivalent to the solutions…
This paper addresses the equivalence problem of conic submanifolds in the tangent bundle of a smooth 2-dimensional manifold. Those are given by a quadratic relation between the velocities and are treated as nonholonomic constraints whose…
Nonholonomic systems are variational models commonly used for mechanical systems with ideal no-slip constraints. This note provides a differential-geometric derivation of the nonholonomic equations of motion for an arbitrary rigid body…
We treat the vakonomic dynamics with general constraints within a new geometric framework which will be appropriate to study optimal control problems. We compare our formulation with Vershik-Gershkovich one in the case of linear…
We compare the performances of symplectic and non-symplectic integrators for the computation of normal geodesics and conjugate points in sub-Riemannian geometry at the example of the Martinet case. For this case study we consider first the…
We obtain a sub-Riemannian version of the classical Gauss-Bonnet theorem. We consider subsurfaces of a three dimensional contact sub-Riemannian manifolds, and using a family of taming Riemannian metric, we obtain a pure sub-Riemannian…
We provide the first known family of examples of integrable homogeneous sub-Riemannian structures admitting strictly abnormal geodesics. These examples were obtained through the analysis of the equivalence problem for sub-Riemannian Engel…
These notes on Riemannian geometry use the bases bundle and frame bundle, as in Geometry of Manifolds, to express the geometric structures. It has more problems and omits the background material. It starts with the definition of Riemannian…
A geometric setup for control theory is presented. The argument is developed through the study of the extremals of action functionals defined on piecewise differentiable curves, in the presence of differentiable non-holonomic constraints.…
To a system of second order ordinary differential equations (SODE) one can assign a canonical nonlinear connection that describes the geometry of the system. In this work we develop a geometric setting that allows us to assign a canonical…
We prove a generalized version of the Morse index theorem for geodesics endowed with a non positive definite metric tensor (semi-Riemannian manifolds). We apply the result to obtain lower estimates on the number of geodesics joining two…
Takens Theorem for a partially hyperbolic dynamics provides a normal linearization along the center manifold. In this paper, we give the nonautonomous version of Takens Theorem under non-resonance conditions formulated in terms of the…
We prove sectional and Ricci-type comparison theorems for the existence of conjugate points along sub-Riemannian geodesics. In order to do that, we regard sub-Riemannian structures as a special kind of variational problems. In this setting,…