1: \begin{abstract}It is hereby established that, in
2: Euclidean spaces of finite dimension, bounded self-contracted curves
3: have finite length. This extends the main result of \cite{DLS}
4: concerning \emph{continuous planar} self-contracted curves to any
5: dimension, and dispenses entirely with the continuity requirement.
6: The proof borrows heavily from a geometric idea of \cite{MP}
7: employed for the study of regular enough curves, and can be seen as
8: a nonsmooth adaptation of the latter, albeit a nontrivial one.
9: Applications to continuous and discrete dynamical systems are
10: discussed: continuous self-contracted curves appear as generalized
11: solutions of nonsmooth convex foliation systems, recovering a hidden
12: regularity after reparameterization, as consequence of our main
13: result. In the discrete case, proximal sequences (obtained through
14: implicit discretization of a gradient system) give rise to polygonal
15: self-contracted curves. This yields a straightforward proof for the
16: convergence of the exact proximal algorithm, under any choice of
17: parameters.
18: \end{abstract}
19: