## Linear Fractional Transformation

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...
 PhysOrg.com science news on PhysOrg.com >> Ants and carnivorous plants conspire for mutualistic feeding>> Forecast for Titan: Wild weather could be ahead>> Researchers stitch defects into the world's thinnest semiconductor
 Recognitions: Homework Help Science Advisor 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).
 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.

Blog Entries: 27
Recognitions:
Gold Member
Homework Help

## 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}$$

= …

Recognitions:
Homework Help