Abstract
A new metric on the open 2-dimensional unit disk is defined making it a geodesically complete metric space whose geodesic lines are precisely the Euclidean straight lines. Moreover, it is shown that the unit disk with this new metric is not isometric to any hyperbolic model of constant negative curvature, nor to any convex domain in \(\mathbb {R}^2\) equipped with its Hilbert metric.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
On the 8th August 1900, at the Second International Congress of Mathematics held in Paris, David Hilbert delivered a lecture entitled “The future problems of mathematics”, in which he presented a collection of open problems. The fourth problem of the list can be stated as follows: If \(\Omega \) is a convex subset of a Euclidean space, find a characterization of all metrics on \(\Omega \) for which the Euclidean lines are geodesics. We can put additional conditions on these metrics on \(\Omega \) by requiring geodesic completeness and Euclidean lines being the unique geodesics. These geometries with the extra requirements are of particular interest and they have been studied extensively.
Before Hilbert, Beltrami (1868) had already shown that the unit disc in the plane, with the Euclidean chords taken as geodesics of infinite length, is a model of the hyperbolic geometry. However, Beltrami did not give a formula for this distance, and this led (Klein 1871) to express the distance in the unit disc in terms of the cross radio. Hilbert’s fourth problem became a very active research area and it was gradually realized that the discovery of all metrics satisfying Hilbert’s problem was not plausible. Consequently, each metric resolving Hilbert’s problem defines a new geometry worth to be studied. A very important class of such metrics, defined by means of the cross ratio, are referred to as Hilbert metrics and play a central role in this research area.
Among the prominent mathematicians worked on the Hilbert’s fourth problem, it is worthy to mention Busemann and Pogorelov, see for instance (Busemann 1966; Pogorelov 1979, 1973). The ideas of the latter to solve Hilbert’s fourth problem came from Busemann, who introduced integral geometry techniques to approach Hilbert’s problem. Busemann’s idea was to consider for every two points x and y in a convex subset \(\Omega \) of the real projective space \(RP^{n},\) the unique geodesic segment [x, y] joining these points, and the subset of hyperplanes of \(RP^{n}\) intersecting [x, y] equipped with a non negative measure having specific properties. In dimension 2, Pogorelov’s solution consisted in showing that every distance between x and y satisfying Hilbert’s problem is given by a metric d(x, y) constructed with the help of the measure constructed by Busemann on the subset of hyperplanes mentioned above. There are generalizations of Pogorelov’s theorem in greater dimensions and one may see in Papadopoulos (2014) a detailed discussion on Hilbert’s fourth problem.
However, Pogorelov’s approach is very general and does not allow for further study of the geometry of these metrics. On the contrary, in the present work a concrete new metric satisfying Hilbert’s problem is defined without the use of cross ratio and its geometry is studied. More precisely, it is shown that this metric makes the open unit disk a geodesically complete metric space whose geodesics are of infinite length and are precisely the Euclidean lines. Moreover it is shown that this metric space is not isometric to any hyperbolic model of constant curvature nor to any convex domain in the plane equipped with its Hilbert metric. Finally, the natural Euclidean boundary of the unit disk is shown to coincide with the visual boundary with respect to the new metric, namely, with the set of equivalence classes of asymptotic geodesic rays.
2 Definitions
Let \(f:\left( -1,1\right) \longrightarrow \mathbb {R}\) be the function
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs13366-023-00721-y/MediaObjects/13366_2023_721_Figa_HTML.png)
and define a metric \(d_{I}\) on the interval \(\left( -1,1\right) \) by
Clearly,
and
Moreover, this metric has the following two properties:
-
P1:
For \(s,t\in (-1,1),\) \(d_{I}\left( s,t\right) \longrightarrow \infty \) as \( t\longrightarrow -1\) or 1.
-
P2:
For \( q,s,t\in (-1,1)\) with \(q<s<t\) we have \(d_{I}\left( q,s\right) +d_{I}\left( s,t\right) =d_{I}\left( q,t\right) . \)
We now define a metric D on the open 2-dimensional unit disk \(\mathbb {D}^{2}\) as follows: consider the unit disk in the xy-plane and identify each ray with an angle \(\theta \in \left[ 0,2\pi \right] .\) For each such ray (eg. angle \( \theta \)) denote by \(\Delta _{\theta }\) the diameter determined by that ray. Observe that the Euclidean length of \(\Delta _{\theta }\) is 2. For any point z in the disk, denote by \(z_{\theta }\) its projection to the diameter \(\Delta _{\theta }.\) Let x, y be two points in the disk.
For each \(\theta \in \left[ 0,2\pi \right] ,\) set \(d_{\theta }\left( x,y\right) :=d_{I}\left( x_{\theta },y_{\theta }\right) \) where the projection points \(x_{\theta },y_{\theta }\) in \(\Delta \theta \) are identified with the corresponding points in the interval \((-1,1). \) Define
Since, for every \(\theta \in [0,\pi ]\) the diameters \(\Delta _{\theta }\) and \( \Delta _{\theta +\pi }\) coincide, we have \(d_{\theta }\left( x,y\right) = d_{\pi +\theta }\left( x,y\right) \) for any two points x, y. It follows that
Lemma 1
(Triangle Inequality) Let x, y, z be three points in the disk. (a) If the Euclidean segment [x, z] in the unit disk contains the point y then
(b) If y is a point not contained in [x, z] then
Proof
(a) The projection \(y_{\theta } \) will be in the interior of the segment \(\left[ x_{\theta },z_{\theta }\right] \subset \Delta _{\theta }\) for all directions \(\theta \) except in the case the direction \(\theta \) is perpendicular to the segment [x, z] (in which case \(x_{\theta }\equiv z_{\theta }\)). By Property P2
which shows the desired equality.
(b) Set \(\theta _{yx}\) (resp. \(\theta _{yz}\)) to be the angle which, viewed as a ray, is perpendicular to the Euclidean segment [y, x] (resp. [y, z]). We may assume that \(\theta _{yx}<\theta _{yz}.\) Then for every \(\theta \notin [\theta _{yx}, \theta _{yz}]\) the point \(y_{\theta }\) is contained in the segment \([x_{\theta },z_{\theta }]\) so that by Property P2 we have
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs13366-023-00721-y/MediaObjects/13366_2023_721_Figb_HTML.png)
For \(\theta \in [\theta _{yx}, \theta _{yz}]\) the point \(y_{\theta }\) is not contained in the segment \([x_{\theta },z_{\theta }]\) which implies that
depending on whether \(x_{\theta }\in [y_{\theta },z_{\theta }]\) or, \(z_{\theta }\in [y_{\theta },x_{\theta }].\) In the first case we have
and the same strict inequality follows in the second case. This completes the proof of part (b).
Lemma 2
The function \(D\left( x,y\right) =\int _{0}^{\pi }d_{\theta }\left( x,y\right) d\theta \) defines a metric on the open unit disk.
Proof
To complete the proof that D is a metric we only need to show that the integral
is finite. By Lemma 1, it suffices to show that for any x in the unit disk the integral \(\int _{0}^{\pi }d_{\theta }\left( O, x\right) d\theta \) is finite.
Recall that the point O in the diameter \(\Delta _{\theta }\) is identified with \(0\in (-1,1)\) and observe that by definition of the function f the orientation of the diameter \(\Delta _{\theta }\) is irrelevant. Let \(\Vert \cdot \Vert \) denote Euclidean length. Clearly,
We then have
It is well known that a curve with endpoints x, z is a geodesic segment with respect to a metric d if and only if for every y in the curve we have \( d(x,y)+d(y,z)=d(x,z).\) It follows, by part (a) of Lemma 1 above, that Euclidean lines in the unit disk are geodesics with respect to the metric D and part (b) shows that only the Euclidean lines are geodesics with respect to D. Hence, we have the following
Proposition 3
The metric space \(\left( \mathbb {D}^{2},D\right) \) is a geodesic metric space whose geodesics are precisely the Euclidean lines in \(\mathbb {D}^{2}.\)
The following properties follow from the definition of the metric D.
Proposition 4
(a) Every Euclidean rotation \(R_{\phi }: \mathbb {D}^{2} \longrightarrow \mathbb {D}^{2}, \phi \in [0,2\pi ],\) centered at the origin is an isometry of the metric space \(\left( \mathbb {D}^{2},D\right) . \)
(b) Every Euclidean reflection \(Q_{\phi }: \mathbb {D}^{2} \longrightarrow \mathbb {D}^{2}\) with respect to a line forming an angle \(\phi \in [0,2\pi ]\) with the x-axis is an isometry of the metric space \(\left( \mathbb {D}^{2},D\right) . \)
Proof
As \(\int _{0}^{2\pi }d_{\theta }\left( x,y\right) d\theta = \int _{\phi }^{2\pi +\phi }d_{\theta }\left( x,y\right) d\theta \) part (a) follows.
For (b), it suffices, by (a), to show that the Euclidean reflection \(R_0\) with respect to the x-axis is an isometry. Clearly, for arbitrary \(x,y\in \mathbb {D}^{2}\) and for every \(\theta \in [0,2\pi ]\) we have
which implies that \( D(x,y)=D\left( R_0(x),R_0(y) \right) \). \(\square \)
We now proceed to show that the metric space \(\left( \mathbb {D}^{2},D\right) \) is geodesically complete, that is, every geodesic segment extends uniquely to a geodesic line of infinite length.
If \(\xi \) a point on the boundary, \(d_{\theta }\left( O,\xi \right) \) can be defined via projections as before and it is a positive real for all \(\theta ,\) except for a single value in \(\left[ 0,\pi \right) .\) Thus, the integral \( \int _{0}^{\pi }d_{\theta }\left( O, \xi \right) d\theta \) makes sense and we have
Lemma 5
If O is the center of the unit disk and \(\xi \) a point on the boundary, the integral \(\int _{0}^{\pi }d_{\theta }\left( O,\xi \right) d\theta \) is not bounded.
Proof
As above, the point O in the diameter \(\Delta _{\theta }\) is identified with \(0\in (-1,1)\) and, if \(\theta _{\xi }\) is the angle determined by \(\xi ,\) for all \(\theta \ne \theta _{\xi }\) we have
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs13366-023-00721-y/MediaObjects/13366_2023_721_Figc_HTML.png)
Then the integral \(\int _{0}^{\pi }d_{\theta }\left( O,\xi \right) d\theta \) equals
The above Lemma permits us to say that the D-length of a Euclidean ray (or, diameter) is infinite. In a similar manner, if \(\xi , \eta \) are two points on the boundary, \(d_{\theta }\left( \xi , \eta \right) \) is a positive real for all \(\theta ,\) except for two values of \(\theta \) in \(\left[ 0,\pi \right) .\) Thus, the integral \(\int _{0}^{\pi }d_{\theta }\left( \xi ,\eta \right) d\theta \) makes sense and we have
Lemma 6
If \(\xi , \eta \) are two points on the boundary, the integral \(\int _{0}^{\pi }d_{\theta }\left( \xi ,\eta \right) d\theta \) is not bounded.
Proof
By Proposition 4, we may assume that the geodesic line determined by \(\xi ,\eta \) is perpendicular to the x-axis with intersection point, say, A. It suffices to show that \(\int _{0}^{\pi }d_{\theta }\left( A, \xi \right) d\theta \) is not bounded.
Let \(\theta _{\xi }\) be the angle formed by the x-axis and the geodesic ray joining O with \(\xi .\) For all \(\theta \in \left[ 0,\pi /2\right] {\setminus } \left\{ \theta _{\xi }\right\} \) we have
and for all \(\theta \in \left[ 0,\pi /2\right] \) we have
Therefore, the triangle inequality
holds for all \(\theta \in \left[ 0,\right] {\setminus } \left\{ \theta _{\xi }\right\} .\) By Lemma 5, \(\int _{0}^{\pi }d_{\theta }\left( O, \xi \right) d\theta \) is not bounded and \(\int _{0}^{\pi }d_{\theta }\left( O, A\right) d\theta = D(O,A)\) is a positive real, thus,
cannot be bounded.
Remark 7
There exists a large family of metrics making the open unit disk a geodesic metric space satisfying Propositions 3, 4 and Lemmas 5, 6. In fact, for every strictly increasing function \(g: (-1,1)\rightarrow \mathbb {R}\) which satisfies
we may apply the above construction using g instead of f and obtain a metric on the open unit disk with the above mentioned properties.
3 Further properties of \(\left( \mathbb {D}^{2},D\right) \)
For any \(\kappa >0,\) let \(\mathbb {H}_{-\kappa ^{2}}^{2}\) denote the standard hyperbolic model of constant negative curvature on the open unit disk with distance function \(d_{\kappa }.\) For a convex domain U in \(\mathbb {R}^{2}\) denote by \(d_{\mathcal {H}}\) the Hilbert metric for which we refer the reader to (Papadopoulos 2013, Ch.5, Section 6).
Theorem 8
For all \(\kappa >0,\) the metric spaces \(\left( \mathbb {D}^{2},D\right) \) and \(\left( \mathbb {H}_{-\kappa ^{2}}^{2},d_{\kappa }\right) \) are not isometric. Moreover, for any convex domain U in \(\mathbb {R}^{2}\) equipped with the Hilbert metric \(d_{\mathcal {H}}\) the metric spaces \(\left( \mathbb {D}^{2},D\right) \) and \(\left( U,d_{\mathcal {H}}\right) \) are not isometric.
Proof
Assume \(F_{\kappa }:\mathbb {D}^{2}\longrightarrow \mathbb {H}_{-\kappa ^{2}}^{2}\) is such an isometry which, by homogeneity of \(\mathbb {H}_{-\kappa ^{2}}^{2},\) we may assume that \(F_{\kappa }\) preserves the center O of the disk. Moreover, as the image of the x-axis under \(F_{\kappa }\) is a line in \(\mathbb {H}_{-\kappa ^{2}}^{2}\) containing the origin, by composing \( F_{\kappa }\) with a rotation in \(\mathbb {H}_{-\kappa ^{2}}^{2},\) we may assume that \(F_{\kappa }\) preserves the x-axis. We next show that \(F_{\kappa }\) necessarily preserves the y-axis as well, by showing that the image of the y-axis under \(F_{\kappa }\) is a line perpendicular to the x-axis. To see this, for any \( x\in \left( 0,1\right) \) consider the quadrilateral XYZW where \(X=(x,0),\) \( Y=(0,x),\) \(Z=\left( -x,0\right) \) and \(W=\left( 0,-x\right) .\) Clearly, XYZW is a square with respect to the metric D and, hence, so must be its image under \(F_{\kappa }.\) The geodesic segments \(\left[ F_{\kappa }(X),F_{\kappa }\left( Z\right) \right] \) and \(\left[ F_{\kappa }(Y),F_{\kappa }\left( W\right) \right] \) intersect at \(O=F_{\kappa }(O)\) which is the midpoint for both segments. Moreover, these segments must form a right angle at O, otherwise the quadrilateral \(F_{\kappa }(X)F_{\kappa }\left( Y\right) F_{\kappa }(Z)F_{\kappa }\left( W\right) \) cannot be a square.
Define the function \(h:\left[ 0,\infty \right] \longrightarrow \mathbb {R}\) where h(b), for \(b\in \left[ 0,\infty \right) ,\) is the \(d_{1}\)-length of the height of the right angle hyperbolic triangle in \(\mathbb {H}_{-1}^{2}\) with side lengths equal to b. For \(b=\infty ,\) \(h\left( \infty \right) \) is the \(d_{1}\)-length of the height of the right angle ideal hyperbolic triangle in \(\mathbb {H}_{-1}^{2}\) with vertices O, (1, 0) and (0, 1). By elementary calculations, \(h\left( \infty \right) \) is the \(d_{1}\)-length of the segment with endpoints O and \(\left( 1-\sqrt{2}/2,1-\sqrt{2}/2\right) . \) Thus its Euclidean length is \(\sqrt{2}-1\) and
For \(b\in \left[ 0,\infty \right) \) let B be the point on the positive x-axis so that OB has hyperbolic length b and denote by C the trace from the origin of the height of the right angle hyperbolic triangle in \(\mathbb {H}_{-1}^{2}\) with side lengths equal to b. Then the triangle \(\triangle (OCB)\) has a right angle at C and \(\widehat{COB}=\pi /4.\) Using the formula
we find
We next define an analogous function \(h^{D}\) for the metric space \(\left( \mathbb {D}^{2},D\right) \) with a different domain
where for \(x\in \left[ 0,1 \right) ,\) \(h^{D}(x)\) is the D-length of the height of the right angle geodesic triangle \(T_{x}\) with vertices O, (x, 0) and \(\left( 0,x\right) .\) For \(x=1,\) \(h^{D}\left( 1\right) \) is the length of the height of the corresponding ideal geodesic triangle. As all rotations of the unit disk are isometries of \(\left( \mathbb {D}^{2},D\right) \) we have
We will explicitly compute the D-lengths of the heights of the triangles \(T_{\sqrt{2}/2}\) and \(T_{1}\) and compare them with the corresponding \(d_{k}\)-lengths of the heights of the triangles \(F_{\kappa }\left( T_{\sqrt{2}/2}\right) \) and \(F_{\kappa }\left( T_{1}\right) .\) The comparison of the lengths of the heights of \(T_{1}\) and \(F_{\kappa }\left( T_{1}\right) \) will suffice to reach a contradiction for the case \(\kappa =1.\) The triangles \(T_{\sqrt{2}/2}\) and \(F_{\kappa }\left( T_{\sqrt{2}/2}\right) \) are deployed in order to reach a contradiction for all \(\kappa .\)
We first compute the D-lengths of the heights of the triangles \(T_{\sqrt{2}/2}\) and \(T_{1}.\)
For the triangle \(T_{\sqrt{2}/2},\) by (5) and using the easily verified fact that the derivative with respect to \(\theta \) of the function \(\frac{4\tan ^{-1}\left( \frac{1}{\sqrt{3}}\tan \left( \frac{\theta }{2} \right) \right) }{\sqrt{3}} \) is \(\frac{2}{2-\cos x },\) we have
A similar computation, using again the easily verified fact that the derivative with respect to \(\theta \) of the function \(2\sqrt{2}\tan ^{-1}\left( \frac{ \left( \sqrt{2}+2\right) \tan \left( \frac{\theta }{2}\right) }{\sqrt{2}} \right) \) is \(\frac{2+\sqrt{2}}{-(1+\sqrt{2})\cos \theta +\sqrt{2}+2},\) shows
The above calculation along with (3) shows that
and, thus, the triangles \(T_{1}\) and \(F_{1}\left( T_{1}\right) \) cannot be isometric. It follows that \(F_{\kappa }\) cannot be an isometry in the case \(\kappa =1.\)
Before proceeding with the general case, we compute the \(d_{1}\)-length of the height of the triangle \(F\left( T_{\sqrt{2}/2}\right) .\) This triangle, being isometric to \(T_{\sqrt{2}/2},\) has side lengths \(D\left( O,\frac{\sqrt{2}}{2}\right) \) and, using (4), its height has \(d_{1}\)-length
We proceed now with the general case. Recall that geodesic lines in \(\mathbb {H}_{-\kappa ^{2}}^{2}\) and \(\mathbb {H}_{-1}^{2}\) coincide as subsets of \(\mathbb {D}^{2}\) and lengths are multiplied by \(\kappa .\) Therefore, \(F_{\kappa } \left( T_{1}\right) = F_{1} \left( T_{1}\right) \) and the \(d_{\kappa }\)-length of the height of the triangle \(F_{\kappa } \left( T_{1}\right) \) is equal to \(\kappa \,h\left( \infty \right) . \) By (8), it follows that \(F_{\kappa }\) can be an isometry only for the model \(\mathbb {H}_{-\kappa ^{2}_0}^{2}\) where
To rule out this last case we compare the D-length of the height of the triangle \(T_{\sqrt{2}/2}\) (computed in (6) above) with the \(d_{\kappa _0}\)-length of the height of the triangle \(F_{\kappa _0}\left( T_{\sqrt{2}/2}\right) .\) As before, the triangles \(F_{1}\left( T_{\sqrt{2}/2}\right) \) and \(F_{\kappa _0}\left( T_{\sqrt{2}/2}\right) \) coincide as sets and the \(d_{\kappa _0}\)-length of its height is its \(d_{1}\)-length (computed in (9) above) multiplied by \(\kappa _0.\) Therefore, if the triangles \(T_{\sqrt{2}/2}\) and \(F_{\kappa _0}\left( T_{\sqrt{2}/2}\right) \) were isometric, \(\kappa _0\) would have to satisfy
which is impossible because \(\kappa _0 >3\) (see (10)) and the ratio of \(h^{D}\left( \frac{\sqrt{2}}{2}\right) \) and \(h\left( D\left( O,\frac{\sqrt{2}}{2}\right) \right) \) is, by (6) and (9), equal to
This completes the proof for arbitrary curvature.
To see that \(\left( \mathbb {D}^{2},D\right) \) is not isometric to any convex domain U equipped with its Hilbert metric \(d_{\mathcal {H}}\), we will use a result of Busemann and Kelly (see 1953, §29.2) which states the following: let U be a bounded open convex domain in \(\mathbb {R}^2.\) Reflections with respect to all lines in U through one fixed point exist if and only if U is the interior of an ellipse.
The reflection assumption holds for the metric space \(\left( \mathbb {D}^{2},D\right) ,\) see Proposition 4. If \(\left( \mathbb {D}^{2},D\right) \) were isometric to some \(\left( U,d_{\mathcal {H}}\right) \) then the same reflection assumption would hold for U and, hence, U would have to be the interior of an ellipse making \(d_{\mathcal {H}}\) the hyperbolic metric. As shown above this cannot be the case.
We next restrict our attention to geodesic rays, that is, isometric maps \([0,\infty ) \rightarrow \mathbb {D}^2.\)
Definition 9
Two geodesic rays \(r_1, r_2: [0,\infty ) \rightarrow \mathbb {D}^2\) in the geodesic metric space \(\left( \mathbb {D}^{2},D\right) \) are called asymptotic if the distance function \(t\rightarrow D(r_1(t),r_2 (t))\) is bounded.
Remark 10
Asymptoticity of geodesic rays may be seen as a generalization to arbitrary metric spaces of parallelism of geodesic rays in Euclidean space. Moreover, equivalence classes of asymptotic geodesic rays are the tool to define the visual boundary of a geodesic metric space. It is well known, see for example (Papadopoulos 2013, Prop. 10.1.4), that two geodesic rays in a geodesic metric space are asymptotic if and only if their images are at finite Hausdorff distance, a notion defined below.
Definition 11
For two geodesic rays \(r_{1}\) and \(r_{2}\) in a geodesic metric space (X, d), define their Hausdorff distance by
where the distance of a point \(\alpha \) from a set B is \(d\left( \alpha ,B\right) =\inf _{\beta \in B}d\left( \alpha ,\beta \right) .\)
As geodesics in \(\left( \mathbb {D}^2, D\right) \) coincide with Euclidean lines, it is natural to examine whether the natural Euclidean boundary \(\mathbb {S}^1\) of \(\mathbb {D}^2\) coincides with the set of equivalence classes of asymptotic geodesic rays in \(\left( \mathbb {D}^2, D\right) . \)
We say that two geodesics rays \(r_{1}\) and \(r_{2}\) coincide at infinity if, as Euclidean lines, intersect the same point of \(\mathbb {S}^1 \equiv \partial \mathbb {D}^2.\)
Theorem 12
Let \(r_{1}\) and \(r_{2}\) be two geodesic rays in \(\left( \mathbb {D}^2, D\right) . \) Then \(r_{1}\) and \(r_{2}\) coincide at infinity if and only if they are asymptotic.
Proof
The only if direction follows from Lemma 6. In view of the above Remark we will show that \(r_{1}\) and \(r_{2}\) coincide at infinity then their images are at finite Hausdorff distance.
Since rotations around the origin O are isometries (see Proposition 4) we may assume that the common point at infinity is \( (1,0)\in \partial \mathbb {D}^{2}.\) We will first examine the case where one of the geodesic rays is the positive x-axis and the other one is contained in the upper half disk forming an angle \(\omega \in [0,\pi /2)\) with the x-axis at (1, 0). Clearly, the Hausdorff distance is increasing with respect to \(\omega .\) Thus, we may consider a geodesic ray being contained entirely in the first quadrant forming an angle \(\omega \in [\pi /4,\pi /2)\) with the x-axis at (1, 0). The general case will then follow easily.
Set \(\lambda =\tan \omega \) and for any x satisfying \(0<x<1\) consider the point \(B=(x,0)\) on the (geodesic) x-axis and the point \(A=\left( x,\lambda (1-x)\right) \) on the other geodesic ray. Set \(\theta _{x}\) to be the angle formed by the segment OA and the x-axis. Clearly the distance \(D\left( A,B\right) \) depends on x and it suffices to show that
Recall that for a direction \(\Delta _{\theta },\) \(\theta \in \left[ 0,\pi \right] \) and a point X in the interior of the unit disk we denote by \( X_{\theta }\) its projection on the diameter \(\Delta _{\theta }.\) For the points A and B we have
As A is contained in the first quadrant, for all \(\theta \in \left[ 0,\frac{ \pi }{2}\right] \) we obtain
In a similar manner we find
In view of (12) we will only examine the limit as \(x\rightarrow 1\) of the integral
for sufficiently small \(\theta _{0}\) (to be chosen later) because all the above expressions for \(d_{\theta }\left( A,B\right) \) are continuous and bounded on \(\left[ \theta _{0},\pi -\theta _{0}\right] \) and the integral \( \int _{\pi -\theta _{0}}^{\pi }d_{\theta }\left( A,B\right) d\theta \) is treated similarly. By substituting
in (13) we obtain
Define
and a straightforward calculation shows that
Therefore, there exists a unique angle \(\omega _{x}\in \left( \theta _{x}, \frac{\pi }{2}\right) \) such that
Using the equalities \(\cos \omega _{x}=x\) and \(\sin \omega _{x}=\sqrt{1-x^{2} }\) it is easily shown that
The choice of x determines both A and B as well as \(\theta _{x}\), thus, we may choose \(\theta _{0}\) such that
As the quantity \(\Phi \left( \theta \right) \) attains its maximum at \(\theta =\omega _{x}\) we have, using (14),
where the latter inequality follows from (16). It suffices to show that \(\int _{0}^{\theta _{0}}\frac{\sqrt{1-x}}{\left( 1-x\cos \theta \right) } d\theta \) is bounded which follows from the following identity
and the observation that the range of the inverse tangent function is a bounded interval:
We now discuss the case of two arbitrary asymptotic geodesic rays \(r_{1}\) and \(r_{2}.\) As mentioned at the beginning of the proof, we may assume that the common boundary point is \((1,0)\in \partial \mathbb {D}^{2}.\) Let \( \omega _{i}\in \left( -\pi /2,\pi /2\right) ,\) \(i=1,2\) be the angle formed by \(r_{i}\) and the x-axis. Denote by \(r_{x}\) the geodesic ray whose image is the positive x-axis in the unit disk. If both \(\omega _{1},\omega _{2}\) are positive and, say, \(\omega _{1}<\omega _{2}\) then \(d_{H}\left( r_{1},r_{2}\right) <d_{H}\left( r_{x},r_{2}\right) \). If \(\omega _{1}\omega _{2}<0\) then a triangle inequality argument asserts that \(d_{H}\left( r_{1},r_{2}\right) \le d_{H}\left( r_{x},r_{1}\right) +d_{H}\left( r_{x},r_{1}\right) .\) This completes the proof of the theorem.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Beltrami, E.: Saggio di Interpretazione della geometria non-Euclidea. Giornaledi Matematiche vol. VI (1868). Beltrami’s Works, Vol. I, pp. 374–405. French translation: Essai d’interprétation de la gé ométrie noneucilienne, by J. Hoüel, Annales ENS, 1re Sér. t. 6 (1869), p. 251-288. English translation: Essay on the interpretation of non-Euclidean geometry, by J. Stillwell, in [1996] pp. 7–34
Busemann, H.: On Hilbert fourth problem. Uspechi Mat. Nauk 21(1 (127)), 155–164 (1966)
Busemann, H., Kelly, P.J.: Projective Geometry and Projective Metrics. Academic Press, New York (1953)
Klein, F.: Uber die sogenannte Nicht-Euklidische Geometrie (erster Aufsatz). Math. Ann. IV, 573–625 (1871)
Papadopoulos, A.: Metric Spaces, Convexity and Nonpositive Curvature, IRMA Lectures in Mathematics and Theoretical Physics 6. European Mathematical Society (2013)
Papadopoulos, A.: Hilbert’s fourth problem. In: Papadopoulos, A., Troyanov, M. (eds.) Handbook of Hilbert Geometry, Irma Lectures in Mathematics and Theoretical Physics 22. EMS (2014)
Pogorelov, A.V.: Hilbert’s fourth problem. In: Zaustinskyi, E. (ed.) Translated by R. A. Silverman, Edited by I. Kra. V. H. Winston & Sons, Washington D.C. (1979) . (Original by Nauka)
Pogorelov, A.V.: A complete solution of Hilbert’s fourth problem. Sov. Math. 14, 46–49 (1973)
Stillwell, J.: Sources of hyperbolic geometry, History of Mathematics series, vol. 10. AMS-LMS (1996)
Acknowledgements
The authors would like to thank the anonymous referee for very helpful comments and suggestions which, among other things, improved the exposition of the proof of Theorem 8.
Funding
Open access funding provided by HEAL-Link Greece.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Charitos, C., Papadoperakis, I. & Tsapogas, G. A specific model of Hilbert geometry on the unit disc. Beitr Algebra Geom (2023). https://doi.org/10.1007/s13366-023-00721-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13366-023-00721-y