Differential calculus on the space of Steiner minimal trees in Riemannian manifolds

It is proved that the length of a minimal spanning tree, the length of a Steiner minimal tree, and the Steiner ratio regarded as functions of finite subsets of a connected complete Riemannian manifold have directional derivatives in all directions. The derivatives of these functions are calculated and some properties of their critical points are found. In particular, a geometric criterion for a finite set to be critical for the Steiner ratio is found. This criterion imposes essential restrictions on the geometry of the sets for which the Steiner ratio attains its minimum, that is, the sets on which the Steiner ratio of the boundary set is equal to the Steiner ratio of the ambient space.