Hyperbolically convex functions II

Unlike those for euclidean convex functions, the known characterizations for hyperbolically convex functions usually contain terms that are not holomorphic. This makes hyperbolically convex functions much harder to investigate. We give a geometric proof of a two-variable characterization obtained by Mejia and Pommerenke. This characterization involves a function of two variables which is holomorphic in one of the two variables. Various applications of the two-variable characterization result in a number of analogies with the classical theory of euclidean convex functions. In particular, we obtain a uniform upper bound on the Schwarzian derivative. We also obtain the sharp lower bound on |f'(z)| for all z in the unit disk, and the sharp upper bound on |f'(z)| when |z| ≤ √2 - 1.