Geometric versions of Schwarz’s lemma for spherically convex functions

We prove several sharp distortion and monotonicity theorems for spherically convex functions defined on the unit disk involving geometric quantities such as spherical length, spherical area, and total spherical curvature. These results can be viewed as geometric variants of the classical Schwarz lemma for spherically convex functions.