Академический Документы
Профессиональный Документы
Культура Документы
M
obius Transformations
5.1. The linear transformation and the inversion.
In this section we investigate the Mobius transformation which provides
very convenient methods of finding a one-to-one mapping of one domain into
another. Let us start with the a linear transformation
w = (z) := Az + B,
(1)
w = (z) := |A|eiA(a) z + B.
As we see this transformation is a composition of a rotation about the
origin through the angle Arg (a)
w1 := eiArg
(a)
z,
a magnification
w2 = |A|w1
and a translation
w = w3 = w2 + B.
Each of these transformations are one-to-one mappings of the complex plane
onto itself and gap geometric objects onto congruent objects. In particular,
the the ranges of lines and of circles are line and circles, respectively.
Now we consider the inversion defined by
1
w := .
z
(2)
that the image is another line through the origin with an angle of inclination
.
Let now L be given by the equation
L : Ax + By = C, with C 6= 0, and |A| + |B| > 0.
1
(3)
w
u iv
= 2
2
|w|
u + v2
and so
u
u
,y= 2
.
2
+v
u + v2
Making these substitutions into (3), we get
x=
u2
u2
(4)
u
v
+B 2
= C,
2
+v
u + v2
or, equivalently,
A
B
u + v = 0.
C
C
This is apparently a equation of a circle.
u2 + v 2
(5)
az + b
, |a| + |c| > 0, ad bc 6= 0
cz + d
is called a M
obius transformation.
ad bc
6= 0
(cz + d)2
az + b
cz + d
(7)
dw b
.
cw + a
ai z + b i
, i = 1, 2
ci z + di
then
f1 f2 (z) := f1 (f2 (z)) =
a1 f2 (z) + b1
)
c1 f2 (z) + d2
It It is obvious that a Mobius transformation has not more that two double
points unless it coincides with the identity. Indeed, if (8) is fulfilled for three
distinct points, then the quadratic equation
az + b = cz 2 + dz
will have three distinct zeros, which implies a = d, b = c = 0. Notice that a
linear transformation has only one double point.
Let now zi , i = 1, 2, 3 and wi , i = 1, 2, 3 be given, zi 6= zj , wi 6= wj , i.j. =
1, 2, 3. We are looking for a transformation w = f (z) such that
f (zi ) = wi .
(9)
(z z1 )(z2 z3 )
.
(z z3 )(z2 z1 )
if some number zi equals infinity, then the factors containing it are replaced by the
unity
maps the real line R onto the circle C passing through the points i, 1, i. As
we know from the elementary geometry, C C0 (1).
5.4. The left-hand-rule. Consider the unit circle C0 (1). The points
1, i, 1 determine the direction 1 i 1 1 in traversing
C0 (1). The interior of the circle, the unit disk D0 (1) lies to the left of this
orientation. We use to say that the disk is the left region with respect to
the orientation 1 i 1. Analogously, the upper half plane is the
left region with respect to the direction 1, 0, . Since Mobius transformations transformations are conformal mappings, it can be shown that a Mobius
transformation that takes the distinct points z1 , z2 , z3 to the respective points
w1 , w2 , w3 must map the left region of the circle (or line) oriented by z1 , z2 , z3
onto the left region of the circle (or line) oriented by w1 , w2 , w3 . Using the
conformality, we summarize
Theorem 5.3. Let G be a domain in C, G := and assume that G is
left oriented with respect to the direction given by the points z1 z2
z3 , zi , i = 1, 2, 3 . Let w = T (z) be a Mobius transformationthat maps
onto and T (zi ) = wi , i = 1, 2, 3. Then T maps G onto that domain which
is left oriented to with respect to the direction w1 w2 w3 .
5
z
a
z =
,
z = a.
One can easily prove that in this definition each straight line or circle passing
through z and z intersects tCa (r) orthogonally. In the case of a line we have
the usual symmetry with respect to it.
Theorem 5.3. Given a circle C and a Mobius transformationw = T (z), assume that z, z are symmetric with respect to C. Then their images T (z), T (z )
are again symmetric with respect to the image T (C) of C.
Example 5.4: Find all Mobius transformationtransformations that map the
disk C0 (r) onto itself.
Solution; We fix in an arbitrary way a point a D0 (r). Its symmetric point
with respect to the unit circle is
a =
r2
.
a
(10)
za
z r2 a
(11)
with K being some constant maps the points a and a at 0 and infinity, respectively. Because of the symmetry, the image of C0 (r) will be a circle C centered
at the zero. Now we are going to choose the constant K in such a way that C
coincides with C0 (r). Take a point z0 := rei and calculate S(z0 ). We have, by
(10),
rei a
,
|S(z0 )| = K
a rei r2
or
|K| |rei a|
|S(z0 )| =
.
r |a rei |
Putting
|S(z0 )| = r,
we arrive at
T (z) = r2 ei
za
z r2 a