4

Consider the upper-half plane model of the hyperbolic plane $\mathbb {H}^2.$

Now consider two lines in it given as $\ell_1:=\lbrace { (x, y)\in \mathbb {H}^2 \vert x^2 +y^2=r^2\rbrace}, \ell_2:=\lbrace { (x, y)\in \mathbb {H}^2 \vert x^2 +y^2=R^2\rbrace} $, where $0 <r <R.$

I would like to know the (minimal) distance between the lines and those two points $z*, w*$ on $\ell_1, \ell_2 $ which have the least distance, i.e. such that $d ( z*, w* )\leq d ( z, w) , \forall z\in\ell_1, w\in\ell_2. $

My suggestion is that the minimal distance should be between the points $(0, R), (0, r) $, but I could not prove it yet.

By now, I have computed for any fixed point $z=r_1 (\cos\theta, \sin \theta)\in\ell_1$ the unique point $w=w (\theta)\in\ell_2$ which has the minimal distance to z and computed the distance between them. But the formulas are so lengthy and complicated that it is not easy to compare the distances.

I hope there is a more elegant way or argument to investigate the distances.

Best wishes

asd
  • 1,079
  • In the Poincaré upper half model you refer to geodesics, not any arbitrary lines, Right? And you want minimum distance between skew / hyper or ultra parallels Right? – Narasimham Aug 02 '15 at 12:34
  • Yes. With Lines I meant Geodesics and I want to determine the minimum distance between two parallel geodesics – asd Aug 02 '15 at 19:20

2 Answers2

3

Two hyperbolic lines that don't intersect and are not parallel (that is, they are ultra parallel) do have a unique common perpendicular. The common perpendicular intersects the two hyperbolic lines at two points that are the closest points between the two lines. The task is to find the common perpendicular.

Since the Poincaré upper half plane model is conformal, angles seen by the Euclidean eye are actually the hyperbolic angles.

It can be seen clearly in the following figure that the green vertical line (hyperbolic straight) is perpendicular to both the red and blue circles (hyperbolic straights). That is, the green line is the common perpendicular.

enter image description here

This common perpendicular intersects the circles (hyperbolic straights) at $(0,r)$ and $(0,R)$. So, we have to calculate the distance between these points as the OP conjectured.

The distance formula in the Poincare half plane model can be applied:

$$d_{\text{min}}=\operatorname{arcosh}\left(1+\frac{(R-r)^2}{2rR}\right).$$

zoli
  • 20,452
  • Thanks @Narasimham. I corrected the link. (But the official name of the inverse of "cosh" is "arcosh".) – zoli Aug 02 '15 at 12:34
  • @Willemien: Thx for the fix. – zoli Aug 02 '15 at 22:09
  • 1
    Even better, the curve $\gamma(t) = i e^t$ is such that $d(\gamma(s), \gamma(t)) = |t-s|$, so we in fact have $d_\min = \ln(R) - \ln(r)$. – user24142 Aug 03 '15 at 04:25
  • @user24142, i am wondering aboutyour comment see http://math.stackexchange.com/questions/1386297/distance-formula-for-points-in-the-poincare-half-plane-model-on-a-vertical-geod – Willemien Aug 06 '15 at 06:54
2

A more general depiction of hyperbolic geodesic ultra-parallel lines is available by employing Bi-polar coordinates.

https://en.wikipedia.org/wiki/Bipolar_coordinates

Wikipedia link above gives the above in its geometrical description but not in the context of presently discussed Poincaré $ \mathbb {H}^2 $ shortest lines/minimum distance between skew lines /ultra parallels.

The two parameters are:

Log ratio of distances between two circles whose shifting centers are foci of Apollonius circles,

whereas the common orthogonal trajectories to either of the set are circles that includes a second parameter Angle between rays inside a circle segment.

$$ x/a = \sinh u /( \cosh u - \cos v ) ;\, \, y/a = \sin v /( \cosh u - \cos v ); $$

where $ u,v $ have geometric interpretation and hyperbolic relevance as above.

The required minimal separation distance can be expressed by means of these parameters... in my conjecture that pre supposes existence of an invariant $ a = 1/ \sqrt{-K}. $

EDIT1:

My conjecture is based on hyperbolic geodesics mentioned in Guggenheimer's Differential Geometry text book reference among other sources, but not explicitly brought out in the way I am indicating. The conjecture essentially further parameterizes Poincaré's $ \mathbb {H}^2 $ model.

EDIT2:

Earlier discussion here in SE Math.

DG_Lie_Gr_HypGeod

HG H2 Poincaré HalfPlane

Best Regards

Community
  • 1
Narasimham
  • 40,495