# Linear Fractional Transformation

by Kreizhn
Tags: fractional, linear, transformation
 P: 743 1. The problem statement, all variables and given/known data Let $\mathbb{H}^2 = \{z=x+iy\in \mathbb{C} | y>0 \}.$ For $a,b,c,d\in \mathbb{R}$ satisfying ad-bc=1 define $T: \mathbb{H}^2 \rightarrow \mathbb{H}^2$ by $$T(z) = \frac{az+b}{cz+d}$$ Show that T maps that positive y-axis (imaginary axis) to the vertical line $x=\frac{b}{d}, x= \frac{a}{c}$ or a semicircle centred on the x-axis containing both $(\frac{b}{d},0) \text{ and } (\frac{a}{c},0)$ 3. The attempt at a solution This seems like it should be fairly easy, but the answer has been eluding me. I began by proceeding as we would in finding the isotropy group, by taking the linear fractional map as a change of variables. Doing this we can set $iy = \frac{aiy+b}{ciy+d}$ and conclude that in general $a=d \text{ and } b=-cy^2$. Then using ad-bc=1 we get that $a^2+c^2y^2=1$. I'm wondering if we need to use anything special about the fact that we can express this mapping as $$\begin{pmatrix} a&b\\ c&d \end{pmatrix} \in SL_2(\mathbb{R})$$ I can't quite seem to figure out where to go from there...
 Sci Advisor HW Helper Thanks P: 24,981 You are kind of off on the wrong track. Put z=i*t, t>=0. Then set Re(T(it))=x(t) and Im(T(it))=y(t). Now you have a parametric form of the curve (x(t),y(t)). It should be pretty clear that x=b/d corresponds to the c=0 case and x=a/c corresponds to the d=0 case. For the semicircle case you should be able to do brute force and show (x(t),y(t)) satisfies the equation of the given circle. I'm not sure if there is a cleverer way, but you can at least note (x(0),y(0))=(b/d,0) and limit t->infinity of (x(t),y(t))=(a/c,0).
 P: 743 Yes, I've looked at the parametric solutions and b/d and a/c are fairly clear. But the semi-circle case isn't entirely clear. Though I'm not too worried about it at this point. I'll just hand wave it.
HW Helper
Thanks
PF Gold
P: 26,118

## Linear Fractional Transformation

 Quote by Kreizhn For $a,b,c,d\in \mathbb{R}$ satisfying ad-bc=1 define $T: \mathbb{H}^2 \rightarrow \mathbb{H}^2$ by $$T(z) = \frac{az+b}{cz+d}$$ Show that T maps that positive y-axis (imaginary axis) to the vertical line $x=\frac{b}{d}, x= \frac{a}{c}$ or a semicircle centred on the x-axis containing both $(\frac{b}{d},0) \text{ and } (\frac{a}{c},0)$

$$(T(iy) - (q,0))^2 = (\frac{aiy\,+\,b}{ciy\,+\,d}\,-\,q)^2$$

$$=\,\frac{(aiy\,+\,b)\,-\,q(ciy\,+\,d)}{ciy\,+\,d}\,\frac{(-aiy\,+\,b)\,-\,q(-ciy\,+\,d)}{-ciy\,+\,d}$$

= …