Reverse isoperimetric properties of thick $\lambda$-sausages in the hyperbolic plane and Blaschke's rolling theorem

In this paper we address the reverse isoperimetric inequality for convex bodies with uniform curvature constraints in the hyperbolic plane $\mathbb{H}^2$. We prove that thethick $\lambda$-sausage body, that is, the convex domain bounded by two equal circular arcs of curvature $\lambda$ and two equal arcs of hypercircle of curvature $1 / \lambda$, is the unique minimizer of area among all bodies $K \subset \mathbb{H}^2$ with a given length and with curvature of $\partial K$ satisfying $1 / \lambda \leq \kappa \leq \lambda$ (in a weak sense). We call this class of bodies thick $\lambda$-concave bodies, in analogy to the Euclidean case where a body is $\lambda$-concave if $0 \leq \kappa \leq \lambda$. The main difficulty in the hyperbolic setting is that the inner parallel bodies of a convex body are not necessarily convex. To overcome this difficulty, we introduce an extra assumption of thickness $\kappa \geq 1/\lambda$. In addition, we prove the Blaschke's rolling theorem for $\lambda$-concave bodies under the thickness assumption. That is, we prove that a ball of curvature $\lambda$ can roll freely inside a thick $\lambda$-concave body. In striking contrast to the Euclidean setting, Blaschke's rolling theorem for $\lambda$-concave domains in $\mathbb{H}^2$ does not hold in general, and thus has not been studied in literature before. We address this gap, and show that the thickness assumption is necessary and sufficient for such a theorem to hold.