Intereting Posts

Do we know that we can't define a well-ordering of the reals?
Upper and Lower bounds on proof length
If a sequence is not a frame
Show that $a^x+b^x+c^x>(a+b+c)^x$ for all $a,b,c>0$ and $0<x<1$
Weil conjectures – motivation?
Topological Property of the Set of Integers
Find the unique pair of real numbers $(x,y)$ that satisfy $P(x)Q(y)=28$
Show that $\lim_{x\to \infty}\left( 1-\frac{\lambda}{x} \right)^x = e^{-\lambda}$
Continuous functions on a compact set
Differentiable almost everywhere of antiderivative function
Prove that if n is even then $n^2$ is even and if n is odd then $n^2$ is odd?
Proof using Cauchy Integral Theorem
About connected Lie Groups
Integral $\int_{-\infty}^\infty\frac{\Gamma(x)\,\sin(\pi x)}{\Gamma\left(x+a\right)}\,dx$
If the index $n$ of a normal subgroup $K$ is finite, then $g^n\in K$ for each $g$ in the group.

The objective of this post is to state that

1) the Poincaré hyperbolic metric results in a solution of complete geodesic circles in both half-plane and disk models.

2) the choice of one or other is quite arbitrary.

- Reference request: calculus of variations
- Introductory text for calculus of variations
- When is the moment of inertia of a smooth plane curve is maximum?
- Calculus of variations: Lagrange multipliers
- Maximum and minimum of an integral under integral constraints.
- minimal surface of revolution when endpoints on x-axis?

3) while for the half plane model negative side arbitrariness provides no new solution or insight, the disc model hyperbolic geodesic proposed outside the horizon/boundary can be validated in full.

EDIT1:

The derivation of geodesics of the two models follows in a straightforward manner from the metric.

For the half-plane we have in Cartesian coordinates

$$ ds^2 = (dx^2 + dy^2)/y^2 \tag{1} $$

Employing Euler-Lagrange (from calculus of variations approach )(primes wrt x)

$$ s = \int \dfrac{\sqrt{ 1 + y^{‘2}}}{ y } dx,\,\tag{2} $$

the functional is $$ F =\dfrac{\sqrt{ 1 + y^{‘2}}} { y } \tag{3}$$

$$ F – y^{‘}\dfrac {\partial F }{ \partial y^{‘} } = 1/c \tag{4} $$

where c is an arbitrary constant leading to (since $ y^{‘}= \tan\phi,$ $\phi =$ inclination to x-axis),

$$ \cos \phi = \frac{y}{c} \tag{5} $$

$$ \frac{dy}{dx}= \frac{\sqrt{c^2-y^2}}{y} \tag 6 $$

Let $ y^2= v,\, 2y dy = dv $ Integrating $$-2 \sqrt{c^2-v} = 2x-2h \tag7$$

where $2h$ is an integration constant.

$$ (x-h)^2 + y^2 = c^2 \tag8 $$

which are all *all full circles* centered on x-axis and lying on *either* side of x-axis. Argument about distances. Whether we approach from below the x-axis or from above, x-axis is at an infinite distance so lower symmetric half part may have been excluded (by Poincaré). Distance to points on x-axis is infinite whether we take the upper half or the lower, it appears to be entirely arbitrary. I.e, either of them could serve as a valid geodesic model.

But **the disc model has no such direct reflective symmetry, but possesses definitely an “inversion symmetry” arising from same metric **.

Similarly for the disc in Polar coordinates (primes with respect to $\theta $) we land into a situation for an arbitrarily forced choice of range.

$$ s = \int \dfrac{\sqrt{ r^2 + r^{‘2}}}{ (T^2-r^2) } d\theta,\, \tag{9} $$

Where $T$ is a more convenient symbol for the radius of fundamental circle than unity as we shall see..

$$ \dfrac{\sqrt{ r^2 + r^{‘2}}}{ (T^2-r^2) } – \dfrac{ r{‘}} {( T^2- r^2) } \cdot \dfrac{r^{‘}} {\sqrt{ r^2 + r^{‘2}}} = C_1 \tag{10} $$

and after error indicated by $A.\Gamma.$ corrected it leads to

$$ \frac{r^2}{T^2-r^2}\cdot\frac{1}{\sqrt{r^2+r’^2}}=C_1.\tag{11} $$

Using substitutions of (12) and (14) we get Equation (15) that is an ODE of product of segments constant property **for an entire circle**. At tangential point $T$ where $\psi =0, \pi $ we have the horizon/boundary circle $r=T.$

which are orthogonal red trajectories to unit “horizon” circles obtained by integrating this ODE. However they are these orthogonal hyperbolic geodesic circles *on either side of* the horizon or boundary.

It is well known that the half plane model is a special case of disc model where unit disc radius tends to $ \infty$.

Why Poincaré had deemed the portion of the red circle lying outside the horizon as not belonging to $ \mathbb H^2 $ .. is to me not clear, so the question here.

EDIT 2:

( .. In response to (since deleted) workaholic’s request for showing the above to be hyperbolic geodesics by integration)

Instead of integrating an eccentric circle in polar coordinates (8) can be differentiated to directly obtain pure formula of curvature in polar coordinates in $\mathbb R^2$.

$$ \kappa_g = \dfrac{r^2 + 2 r^{‘2 }- r r ^{”}}{{(r^2 + r^{‘2}})^{3/2}} = 2 C_1 $$

Direct integration is needlessly cumbersome and when direct methods are yielding the result readily.

*A second way* is the following. In the diagram above let

$$ OT =1=T, K=-1/T^2, MCB =\psi, OA =r, BC =a ,..$$

$$ AM = MB = a \sin \psi, C_1 = 1/(2 a)\tag{12}$$

where $a$ is another convenient arbitrary constant.

Note that the central circle has a radius $=T$ which is tangent to all arbitrary circles of radius $a$. If inversion circle/mirroring circle has radius $T,$ the inner hyperbolic geodesics are inversions of outer geodesic circles (and vice-versa) now brought into picture.

$$ \dfrac{r}{T^2-r^2} \cdot \dfrac{1}{\sqrt{1 + u^2 }} = \dfrac{1}{2 a} \tag{13} $$

where by geometry of differential right triangle

$$ u = \cot \psi = \dfrac{dr} {r d \theta }\tag{14} $$

$$ 2 a r \sin \psi = T^2 – r^2 $$

$$ r ( r+ 2 a \sin \psi) = T^2 \tag{15}$$

$$ OA \cdot OB = OT^2 = T^2 \tag{16}$$

which relation is readily recognized as the Circle property that product $T^2$ of the two cutting segments on circle is square of tangent $T$ or its *power*.

Alternately *in a third method* we can get the above into Liouville’s form for $2D$ curvature by differentiation with respect to arc and simplifying:

$$ \psi^{‘} + \dfrac{\sin \psi}{r} = \dfrac{1}{a} \tag{17} $$

Yet *a fourth way to compute geodesics* from Poincaré metric (9) is to take the object function for geodesic

$$ \dfrac{\sqrt{ r^2 + r^{‘2}}}{ (T^2-r^2) } \,\tag{18}$$

and apply Euler-Lagrange theorem of calculus of variations

$$ \dfrac{\sqrt{ r^2 + r^{‘2}}}{ (T^2-r^2) } – \dfrac{ r{‘}} {( T^2- r^2) } \cdot \dfrac{r^{‘}} {\sqrt{ r^2 + r^{‘2}}} = 1/2a \tag{19} $$

where wlog the constant is taken as reciprocal of diameter $2a.$ Simplifying,

$$ \dfrac{r}{ (T^2-r^2) } =\dfrac {\sqrt{ r^2 + r^{‘2}}}{2a} \tag {20}$$

Since in differential form we can plug in from (14)

$$ \cot \psi= \dfrac {r^{‘}}{r} \tag {21} $$

(20) simplifies to an eccentric circle radius $a$ and power $T$ which is the arbitrary hyperbolic geodesic:

$$ \dfrac{\sin \psi}{r}= \dfrac{1}{2a}\cdot \dfrac{r^2-T^2}{r^2} \tag {22} $$

BTW, the name *geodesic* has been introduced by Liouville.

**External geodesics mentioned here are inversions of internal geodesics with respect the boundary of unit radius horizon circle as mirror of inversion.**

$$ r_{outer geodesic} \rightarrow T^2/ r_{inner geodesic} \tag {23} $$

Thus we have circles of arbitrary radius $a$ orthogonally cutting $T$ radius as valid Poincaré disk model in $ \mathbb H^2 $ **on either side of the boundary circle which is hence no truncated geodesic arc in this sense, considered from Poincaré’s defining metric. Either side/segment is equally valid.**

*All points outside the horizon are at an infinite distance to the horizon along the given external geodesics $TQB$ as well.*

The outside hyperbolic geodesics mentioned here are indicated complementarily in red along with internal purple Poincaré hyperbolic geodesics around a unit (T=1) “boundary” in magenta.

EDIT 3:

*Distance of nearest(inner) and farthest (outer) hyperbolic geodesics from any point*

For a constant curvature $-1 /T^2$ Poincaré disk (Klein-Beltrami) model metric hyperbolic distance $ (0,0) – (r,0) $

$$ \frac{4 \,ds^2}{(T^2-r^2)} \tag{24}$$

$$ s=T^2\int_0^r \frac{2 dr}{T^2-r^2}= T \log\frac {T+r}{T-r} =2\,T \tanh^{-1}(r/T) \tag{25} $$

Finding Euclidean distances in the eccentric circle orthogonal to the hyperbolic boundary circle as:

$$r^2-2 a r \sin \psi -T^2 =0, \quad, r (r-2 a \sin \psi)=T^2 \tag{26} $$

Roots of quadratic:

$$r_{1,2}= a \sin \psi \pm \sqrt{(a \sin\psi)^2 +T^2} $$

Taking positive radius and plug in from above using $(h^2=a^2+T^2)$

$$r_{1,2}= a \sin \psi \pm \sqrt{h^2-(a \cos\psi)^2},\quad r_1\cdot r_2=T^2 \tag{27} $$

$$\frac{ s_{1,2}}{T}= log \frac{T+\sqrt{h^2-(a \cos \psi)^2}+a \sin \psi}{T -\sqrt{h^2-(a \cos \psi)^2}-a \sin \psi} \tag{28} $$

So the metric can be defined to work *both ways*

$$ \pm \frac{4 \,ds^2}{(T^2-r^2)} \tag{29}$$

Points on the present new outer hyperbolic locus points $(B,Q)$ correspond to the conventional inner hyperbolic locus points $(A,P)$ of disc model obtained by *mutual inversions.*

A diameter of the boundary circle maps to line at infinity in inversion.

Their Euclidean distances are $ (h-a, h, h+a) $ respectively, for the inner/outer extreme distant hyperbolic points.

Plugging in from (27) these hyperbolic distances are respectively:

$$ T \,log \frac{T+h+a}{T-h-a},\quad \infty,\,T \,log \frac{T+h-a}{T-h+a} \tag{30}$$

**Cross-Ratio is same for inner and outer hyperbolic arcs**

Cross Ratio of a pencil of four concurrent rays depends upon angles enclosed between them…as it is one valid way to define them. Whether the transverse cutting is by a straight line, a circle cutting them inside the tangent points as in case of standard Poincare model or *cutting them outside of the tangent points as in the model presently being proposed* is hence all thew same.

When the Poincare arc/geodesic shrinks to zero size, then in the limit a circle passing through the pencil point of concurrency on its arc anywhere stands as a valid and simple hyperbolic geodesic. It is a special case when $T=0,\sin \psi= r/2a$ … and yet another special case when touching externally..

- Generators of $H^1(T)$
- Tensors as matrices vs. Tensors as multi-linear maps
- Why isn't there a contravariant derivative? (Or why are all derivatives covariant?)
- When is the moment of inertia of a smooth plane curve is maximum?
- Why $S^1\times S^{2m-1}$ carries a complex structure.
- example of a non differentiable manifold
- Is there an example of a non-orientable group manifold?
- Proving left-invariance (and proof-verification for right-invariance) for metric constructed from left-invariant Haar measure
- Kähler form convention
- Diffeomorphism invariant scalars of a Riemannian manifold

The mistake is after the words “leading to” where the square root in the denominator is missing. It should be

$$

\frac{r^2}{1-r^2}\cdot\frac{1}{\sqrt{r^2+r’^2}}=C_1.

$$

P.S. Now it is much more fun integrating this guy 🙂

- Show that $(n!)^{(n-1)!}$ divides $(n!)!$
- Question about fields and quotients of polynomial rings
- When does it make sense to define a generator of a set system?
- $f$ not differentiable at $(0,0)$ but all directional derivatives exist
- Convergence of a decreasing sequence and its limit.
- Universal property of tensor products / Categorial expression of bilinearity
- What is the name of the vertical bar in $(x^2+1)\vert_{x = 4}$ or $\left.\left(\frac{x^3}{3}+x+c\right) \right\vert_0^4$?
- Is there a name for the closed form of $\sum_{n=0}^{\infty} \frac{1}{1+ a^n}$?
- How to compute the integral $\int_0^\infty\frac{x}{e^x+1}dx$ using the Residue theorem.
- Riesz's Lemma for $l^\infty$ and $\alpha = 1$
- Vector Spaces and Groups
- Question regarding the Fibonacci sequence
- Shortest distance between two objects moving along two lines
- Sum of the reciprocals of divisors of a perfect number is $2$?
- Do we get predicative ordinals above $\Gamma_0$ if we use hyperexponentiation?