Find Möbius transformation that send Re(z)=Im(z) to a circle and the real axis to itself

2.1k Views Asked by At

Problem 3.3.7d in Complex Variables, 2nd edition, by Stephen D. Fisher.

Find a linear fractional transformation $T$ that maps the real axis onto itself and the line $y=x$ onto the circle $|w+i|=\sqrt2$

where the convention is that a complex number is written in the form $w=x+iy; \{x,y\} \in \mathbb{R}$.

The "usual" method described so far in the book and used in the first problems of the chapter all work by the "method of triples" where three numbers $(z_1, z_2, z_3)$ on the original set is sent to three points $(w_1, w_2, w_3)$ on the image, and the transformation $L(z)$ that does this is given by

$$T(z)=\frac{z-z_1}{z-z_3}\frac{z_2-z_3}{z_2-z_1} \\ S(w)=\frac{w-w_1}{w-w_3}\frac{w_2-w_3}{w_2-w_1}=\frac{aw+b}{cw+d} \\ S^{-1}(z)=\frac{-dz+b}{cz-a} \\ L(z)=S^{-1}(T(z))$$

Using this method I can find a transformation that sends the triple $(0, 1+i, \infty)$ → $(-1-2i, -1, 1)$ where the first triple is on the line and the last three are on the final circle. With these points, my calculations give the transformation

$$L(z)=\frac{z-3-i}{z+1-i}$$

which can be checked to send the first triple to the second. But it doesn't at the same time send the real axis to itself, and I don't know how to modify it to retain the first property and attain the second, or if I should work from different principles altogether.

The solution portion of the book just gives the answer $L(z)=\frac{z-1}{z+1}$, which looks short and simple enough, so I can't imagine that it should be overly complicated to find it either.

After reading the chapter over and over I ask my first question on the mathematics portion of SE.

1

There are 1 best solutions below

2
On BEST ANSWER

The real line and $y=x$ intersect at $0$ and $\infty$ (in the extended complex plane), so these intersection points have to map to the intersection points of the real line and your circle, i.e., $\pm 1$. However, your solution maps $0$ to a different point, and that is why it does not work.