Asymptotic behaviour of \(\lambda\)-convex sets in the hyperbolic plane (Q1303808)

The authors consider families \(\{K_n\}\) of compact \(\lambda\)-convex domains expanding over the whole hyperbolic plane \(\mathbb{H}^2\) (simply connected Riemannian manifold with constant curvature \(-1\), which can be represented by its Poincaré half-plane or disk model), studying in particular the asymptotic behaviour of the quotient \(q_n:=F_n/L_n\) \((F_n\) enclosed area, \(L_n\) perimeter = length of the boundary \(\partial K_n\) of \(K_n)\) for \(n\to\infty\). Definitions: For \(0\leq\lambda\leq 1\), the curves having geodesic curvature \(\lambda\) or \(-\lambda\) are called the \(\lambda\)-geodesic lines \((\lambda=0\): geodesics, \(\lambda=1\): horocycles); a subset \(K \subset\mathbb{H}^2\) said to be \(\lambda\)-convex if for each pair of points belonging to \(K\), the entire segments of the \((\leq 2)\) \(\lambda\)-geodesic lines joining them also belong to \(K\) (it follows that every convex set is 0-convex, and every \(\lambda\)-convex set, \(0\leq\lambda\leq 1\), is convex). The main result of the article is (Theorem 1): For each \(\alpha\in [\lambda,1]\), there exists a sequence of \(\lambda\)-convex polygons \(\{K_n\}\) expanding over the whole hyperbolic plane such that \(q_n(=F_n/L_n) \to\alpha\) when \(n\to\infty\); if \(\{K_n\}\) is an expanding family of compact \(\lambda\)-convex sets with piecewise \(C^2\) boundary, then the lim.sup and lim.inf of these ratios \(q_n\) lie between \(\lambda\) and 1. Remark: The polygons \(K_n\) mentioned in the first part of Theorem 1 can be derived from regular polygons formed by \(3\cdot 2^{n-1}\) isosceles triangles inscribed in a circle of radius \(R_n=\log (3\cdot 2^n)-\log(\pi \cdot\mu)\), where \(\mu\) \((0\leq \mu< \lambda)\) denotes the supremum of all nonnegative numbers such that the \(\mu\)-geodesics between any two points \(x,y\in \partial K_n\) are contained in \(K_n\).