Total curvatures of convex hypersurfaces in hyperbolic space (Q1282983)

In [J. Appl. Probab. 9, 140-157 (1972; Zbl 0231.60010)] \textit{L. A. Santalo} and \textit{I. Yanez} proved that: If \(\{\Omega(t)\}_{t \in \mathbb{R}^+}\) is a family of compact \(h\)-convex domains in \(H^2\) which expands over the whole space then \[ \lim_{t\to\infty}{\text{Area}(\Omega(t))\over\text{Length}(\delta\Omega(t))}=1. \] Santalo and Yanez conjectured that this result would be true for convex domains in \(H^2\). This Conjecture was disproved by \textit{E. Gallego} and \textit{A. Reventos} [J. Differ. Geom. 21, 63-72 (1985; Zbl 0592.53051)]. In this paper the authors prove a general version of the Santalo-Yanez theorem for any family of \(h\)-convex domains in \(H^{n+1}\), which expands over the whole space, for any integer \(n\). In this connection the authors develop some sharper estimates for the difference between circum-radius and the in-radius of a compact \(h\) convex domain \(\Omega\) in the hyperbolic space and the angle between the radial vector and the normal to the boundary of a compact \(h\)-convex domain \(\Omega\) in the hyperbolic space. By using these estimates the authors prove the following generalization of the Santalo-Yanez theorem in \(H^{n+1}\), namely if \(\{\Omega(t)\}_{t\in \mathbb{R}^+}\) is a family of \(h\)-convex domains in \(H^{n+1}\) expanding over the whole space, then \[ \lim_{t\to \infty}{\text{Volume} (\Omega(t)) \over\text{Volume} (\partial \Omega (t))}= {1\over n}. \] The authors also prove that if \(\{\Omega(t)\}_{t \in \mathbb{R}^+}\) is a family of \(h\)-convex domains, expanding over the whole space, then \[ \lim_{t\to \infty} {M_k(\partial \Omega(t)) \over\text{Volume} (\partial \Omega(t))}=1, \] where \(M_k(\partial \Omega(t))= \int_{\partial \Omega}H_k\mu\), with \(H_k=(1/ {n\choose k}S_k)\), and \(S_k\) is the \(k\)-th elementary symmetric function on the principal curvatures of \(\partial\Omega\) and \(\mu\) is the volume element of \(\partial\Omega\). The authors conclude the paper with an interesting relationship between the in-radius (circum-radius) of the \(h\)-convex domain \(\Omega\) with the intrinsic diameter of \(\partial\Omega\), where \(\partial \Omega\) is a compact \(h\)-convex hypersurface of \(H^{n+1}\).