Uniform Estimation of Sub-Riemannian Balls

AbstractA fundamental result of sub-Riemannian geometry, the ball-box theorem, states that small sub-Riemannian balls look like boxes $$[ - \varepsilon ^{\omega _1 } ,\varepsilon ^{\omega _1 } ]$$ × ··· × $$[ - \varepsilon ^{\omega _n } ,\varepsilon ^{\omega _n } ]$$ in privileged coordinates. This description is not uniform in general. Thus, it does allow us neither to compute Hausdorff measures and dimensions nor to prove the convergence of certain motion planning algorithms.In this paper, we present a description of the shape of small sub-Riemannian balls depending uniformly on their center and their radius. This result is a generalization of the ball-box theorem. The proof is based on the one hand on a lifting method, which replaces the sub-Riemannian manifold by an extended equiregular one (where the ball-box theorem is uniform); and on the other hand, it based on an estimate of sets defined by families of vector fields, which allows us to project the balls in suitable coordinates.

[1]  J. Mitchell.  On Carnot-Carathéodory metrics , 1985 .

[2]  P. M. Cohn.  GROUPES ET ALGÉBRES DE LIE , 1977 .

[3]  E. Stein,et al.  Hypoelliptic differential operators and nilpotent groups , 1976 .

[4]  E. Stein,et al.  Balls and metrics defined by vector fields I: Basic properties , 1985 .

[5]  P J Fox,et al.  THE FOUNDATIONS OF MECHANICS. , 1918, Science.

[6]  Géométrie sous-riemannienne , 1996 .

[7]  T. Nagano.  Linear differential systems with singularities and an application to transitive Lie algebras , 1966 .

[8]  C. Godbillon.  Géométrie différentielle et mécanique analytique , 1969 .

[9]  Henry Hermes,et al.  Nilpotent and High-Order Approximations of Vector Field Systems , 1991, SIAM Rev..

[10]  Marilena Vendittelli,et al.  Steering nonholonomic systems via nilpotent approximations: the general two-trailer system , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[11]  C. Rockland,et al.  Intrinsic nilpotent approximation , 1987 .

[12]  F. Jean.  Complexity of nonholonomic motion planning , 2001 .

[13]  A. Bellaïche.  The tangent space in sub-riemannian geometry , 1994 .

[14]  Michael Taylor.  Nilpotent Lie groups , 1986 .

[15]  G. Mostow,et al.  Some remarks on the definition of tangent cones in a Carnot-Carathéodory space , 2000 .

[16]  Wei-Liang Chow.  Über Systeme von liearren partiellen Differentialgleichungen erster Ordnung , 1940 .

[17]  M. Gromov.  Carnot-Carathéodory spaces seen from within , 1996 .

[18]  Frédéric Jean,et al.  Entropy and complexity of a path in sub-Riemannian geometry , 2003 .

[19]  Wei-Liang Chow.  Über Systeme von linearen partiellen Differential-gleichungen erster Ordnung , 1941 .

[20]  H. Sussmann.  An extension of a theorem of Nagano on transitive Lie algebras , 1974 .