HAL CCSD
Entropy and complexity of a path in sub-Riemannian geometry
Jean, Frédéric
Optimisation et commande (OC) ; Unité de Mathématiques Appliquées (UMA) ; École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris)
24 pages
International audience
ISSN: 1292-8119
EISSN: 1262-3377
ESAIM: Control, Optimisation and Calculus of Variations
EDP Sciences
hal-00849556
https://hal-ensta-paris.archives-ouvertes.fr/hal-00849556
https://hal-ensta-paris.archives-ouvertes.fr/hal-00849556
ESAIM: Control, Optimisation and Calculus of Variations, 2003, 9 (-), pp.485-508. ⟨10.1051/cocv:2003024⟩
DOI: 10.1051/cocv:2003024
info:eu-repo/semantics/altIdentifier/doi/10.1051/cocv:2003024
en
[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]
info:eu-repo/semantics/article
Journal articles
We characterize the geometry of a path in a sub-Riemannian manifold using two metric invariants, the entropy and the complexity. The entropy of a subset A of a metric space is the minimum number of balls of a given radius ? needed to cover A. It allows one to compute the Hausdorff dimension in some cases and to bound it from above in general. We define the complexity of a path in a sub-Riemannian manifold as the infimum of the lengths of all trajectories contained in an ?-neighborhood of the path, having the same extremities as the path. The concept of complexity for paths was first developed to model the algorithmic complexity of the nonholonomic motion planning problem in robotics. In this paper, our aim is to estimate the entropy, Hausdorff dimension and complexity for a path in a general sub-Riemannian manifold. We construct first a norm || * ||? on the tangent space that depends on a parameter ? > 0. Our main result states then that the entropy of a path is equivalent to the integral of this ?-norm along the path. As a corollary we obtain upper and lower bounds for the Hausdorff dimension of a path. Our second main result is that complexity and entropy are equivalent for generic paths. We give also a computable sufficient condition on the path for this equivalence to happen. © EDP Sciences, SMAI 2003.
2003