Given a non-parabolic transformation which is also an orientation preserving isometry in the hyperbolic upper half plane union the boundary, if I know the two fixed points and they are two different irreducible fractions on the boundary, how can I find the corresponding Möbius transformation?
Finding Möbius transformation from fixed points
-
0Small correction - they are hyperbolic, not elliptic, transformations. Beardon's book is indeed a great reference. – 2011-02-13
2 Answers
It is an important and beautiful accident that the orientation preserving isometry group of the upper half plane $\bf{H}$ is $PSL(2,\bf{R})$. The action of the matrix $A = [[a,b],[c,d]]$ is given by $A\cdot z = (az + b)/(cz + d)$. In addition, we allow the point $\infty = 1/0$: this has image $a/c$. Likewise the real number $-d/c$ is sent to infinity.
Now to your question: Suppose that $p, q$ are distinct real numbers, thus two points in $\partial \bf{H}$. Then there is a hyperbolic geodesic connecting them. A calculation using the above reveals that there is a one-parameter family of hyperbolic isometries fixing $p, q$. To get you started here is the first line of the computation supposing that you have explicit, simple, values of $p, q \in \bf{R}$ in mind.
Fix $A$. Then $A \cdot p = p$ implies that $ap + b = cp^2 + dp$. Solve this, do the same for $q$ and remember that $kA = A$ for non-zero $k \in \bf{R}$. (That is what the $P$ stands for in $PSL$.)
As a final note - as the comment suggests it is also possible to find a matrix $B$ sending $p, q$ to $0, \infty$, solve the problem for those very special values, and conjugate back. But perhaps it is important to understand the problem both ways.
-
0Ah, I see. Thanks for this explanation. – 2011-02-13
Let T:z\to z' be such a Moebius transform and let $p, q\in{\mathbb R}$, $\ p, be its two fixed points. As z'=p iff $z=p$ and z'=q iff $z=q$, the two variables $z$ and z' have to be related by a formula of the form {z'-q \over z'-p}=\lambda {z-q \over z- p} for some complex constant $\lambda$. This constant has to fulfill conditions to guarantee that (a) $T$ maps the real axis to itself and (b) $T$ maps, e.g., the point $i$ to a point in the upper half plane.