Linear Fractional Transformation


by Kreizhn
Tags: fractional, linear, transformation
Kreizhn
Kreizhn is offline
#1
Mar13-08, 06:12 PM
P: 743
1. The problem statement, all variables and given/known data
Let [itex]\mathbb{H}^2 = \{z=x+iy\in \mathbb{C} | y>0 \}. [/itex] For [itex]a,b,c,d\in \mathbb{R}[/itex] satisfying ad-bc=1 define [itex] T: \mathbb{H}^2 \rightarrow \mathbb{H}^2 [/itex] by
[tex] T(z) = \frac{az+b}{cz+d} [/tex]

Show that T maps that positive y-axis (imaginary axis) to the vertical line [itex] x=\frac{b}{d}, x= \frac{a}{c}[/itex] or a semicircle centred on the x-axis containing both [itex] (\frac{b}{d},0) \text{ and } (\frac{a}{c},0)[/itex]


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 [itex] iy = \frac{aiy+b}{ciy+d} [/itex] and conclude that in general [itex] a=d \text{ and } b=-cy^2 [/itex]. Then using ad-bc=1 we get that [itex] a^2+c^2y^2=1[/itex].

I'm wondering if we need to use anything special about the fact that we can express this mapping as
[tex] \begin{pmatrix} a&b\\ c&d \end{pmatrix} \in SL_2(\mathbb{R})[/tex]

I can't quite seem to figure out where to go from there...
Phys.Org News Partner Science news on Phys.org
Cougars' diverse diet helped them survive the Pleistocene mass extinction
Cyber risks can cause disruption on scale of 2008 crisis, study says
Mantis shrimp stronger than airplanes
Dick
Dick is offline
#2
Mar13-08, 10:27 PM
Sci Advisor
HW Helper
Thanks
P: 25,174
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).
Kreizhn
Kreizhn is offline
#3
Mar13-08, 10:56 PM
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.

tiny-tim
tiny-tim is offline
#4
Mar14-08, 05:26 AM
Sci Advisor
HW Helper
Thanks
tiny-tim's Avatar
P: 26,167

Linear Fractional Transformation


Quote Quote by Kreizhn View Post
For [itex]a,b,c,d\in \mathbb{R}[/itex] satisfying ad-bc=1 define [itex] T: \mathbb{H}^2 \rightarrow \mathbb{H}^2 [/itex] by
[tex] T(z) = \frac{az+b}{cz+d} [/tex]

Show that T maps that positive y-axis (imaginary axis) to the vertical line [itex] x=\frac{b}{d}, x= \frac{a}{c}[/itex] or a semicircle centred on the x-axis containing both [itex] (\frac{b}{d},0) \text{ and } (\frac{a}{c},0)[/itex]
How about using complex conjugates:

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

[tex] =\,\frac{(aiy\,+\,b)\,-\,q(ciy\,+\,d)}{ciy\,+\,d}\,\frac{(-aiy\,+\,b)\,-\,q(-ciy\,+\,d)}{-ciy\,+\,d}[/tex]

=
Dick
Dick is offline
#5
Mar14-08, 08:51 AM
Sci Advisor
HW Helper
Thanks
P: 25,174
Quote Quote by Kreizhn View Post
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.
Here's an argument assuming you know these transformations map lines and circles to lines and circles AND are angle preserving. T maps the x-axis to the x-axis. For T(t)=(x(t),y(t)), T(0)=(b/d,0), T(infinity)=(a/c,0). So T(t) is a curve passing through T(0) and T(infinity). But since the y-axis is orthogonal to the x-axis, the curve T(t) is also orthogonal to the x-axis at T(0). That's enough geometric facts to force it to be the circle you described.


Register to reply

Related Discussions
[SOLVED] linear algebra - inner product and linear transformation question Calculus & Beyond Homework 0
[SOLVED] Linear Transformation - Linear Algebra Calculus & Beyond Homework 3
Linear Algebra: Linear Transformation and Linear Independence Calculus & Beyond Homework 8
linear fractional transformation ... Calculus 12
LINEAR ALGEBRA - Describe the kernel of a linear transformation GEOMETRICALLY Calculus & Beyond Homework 6