Solutions for the examples on Three Point Theorem
in “Conformal Mapping” lecture
Example 1. Find a linear fractional transformation 𝑇 which maps:
1. 3 → 𝑖, 1 − 𝑖 → 4 and 2 − 𝑖 → 6 + 2𝑖.
2. 𝑖 → 4𝑖, 1 → 3 − 𝑖, and 2 + 𝑖 → ∞.
Solution
# 1. 3 → 𝑖, (1 − 𝑖) → 4 and (2 − 𝑖) → (6 + 2𝑖).
Let 𝑤 = 𝑇 (𝑧) be the transformation. Then we have
(𝑤1 −𝑤)(𝑤3 −𝑤2 )(𝑧1 −𝑧2 )(𝑧3 −𝑧) = (𝑧1 −𝑧)(𝑧3 −𝑧2 )(𝑤1 −𝑤2 )(𝑤3 −𝑤) (1)
Now substituting 𝑧1 = 3, 𝑧2 = (1 − 𝑖), 𝑧3 = (2 − 𝑖), 𝑤1 = 𝑖, 𝑤2 = 4 and
𝑤3 = (6 + 2𝑖) in the above equation we get
(𝑖 − 𝑤)((6 + 2𝑖) − 4)(3 − (1 − 𝑖))((2 − 𝑖) − 𝑧) = (3 − 𝑧)((2 − 𝑖) − (1 − 𝑖))(𝑖 − 4)((6 + 2𝑖) − 𝑤)
⇒ (𝑖 − 𝑤)(2 + 2𝑖)(2 + 𝑖)((2 − 𝑖) − 𝑧) = (3 − 𝑧)(1 + 0)(𝑖 − 4)((6 + 2𝑖) − 𝑤)
⇒ (2 + 6𝑖)((2 − 𝑖) − 𝑧)(𝑖 − 𝑤) = (𝑖 − 4)(3 − 𝑧)((6 + 2𝑖) − 𝑤)
Then solving for 𝑤 in terms of 𝑧 we have:
⇒ [(10 + 10𝑖) − (2 + 6𝑖)𝑧](𝑖 − 𝑤) = [(−12 + 3𝑖) + (4 − 𝑖)𝑧][(6 + 2𝑖) − 𝑤]
⇒ [(−10 + 10𝑖) − (−6 + 2𝑖)𝑧] − [(10 + 10𝑖) − (2 + 6𝑖)𝑧]𝑤 = [(−778 − 6𝑖) + (26 + 2𝑖)𝑧] − [(4 − 𝑖)𝑧 − (12 − 3𝑖)]𝑤
⇒ [(4 − 𝑖)𝑧 − (12 − 3𝑖)]𝑤 + [(2 + 6𝑖)𝑧 − (10 + 10𝑖)]𝑤 = [(26 + 2𝑖)𝑧 − (78 + 6𝑖)] + [(−6 + 2𝑖)𝑧 − (−10 + 10𝑖)]
⇒ [(6 + 5𝑖)𝑧 + (−22 − 7𝑖)]𝑤 = (20 + 4𝑖)𝑧 − (68 + 16𝑖)
(20 + 4𝑖)𝑧 − (68 + 16𝑖)
⇒ 𝑤 = .
(6 + 5𝑖)𝑧 + (−22 − 7𝑖)
(20 + 4𝑖)𝑧 − (68 + 16𝑖)
Therefore the transformation is 𝑇 (𝑧) = .
(6 + 5𝑖)𝑧 − (22 + 7𝑖)
1
# 2. 𝑖 → 4𝑖, 1 → 3 − 𝑖, and 2 + 𝑖 → ∞.
In this case since we don’t have the third image, 𝑤3 , we omit from (1)
the terms involving 𝑤3 . Hence, instead we have
(𝑤1 − 𝑤)(𝑧1 − 𝑧2 )(𝑧3 − 𝑧) = (𝑧1 − 𝑧)(𝑧3 − 𝑧2 )(𝑤1 − 𝑤2 )
Then inserting 𝑧1 = 𝑖, 𝑧2 = 1, 𝑧3 = (2 + 𝑖), 𝑤1 = 4𝑖 and 𝑤2 = (3 − 𝑖) in the
above equation we get,
(4𝑖 − 𝑤)(𝑖 − 1)((2 + 𝑖) − 𝑧) = (𝑖 − 𝑧)((2 + 𝑖) − 1)(4𝑖 − (3 − 𝑖))
After simplification we get
[(1 − 𝑖)𝑧 − (3 − 𝑖)](4𝑖 − 𝑤) = (𝑧 − 𝑖)(−8 + 2𝑖)
Or
[(1 − 𝑖)𝑧 − (3 − 𝑖)]𝑤 = (4 + 4𝑖)𝑧 − (8 − 2𝑖)𝑧 + (−4 − 12𝑖) + (2 + 8𝑖)
Simplifying and solving for 𝑤 we have,
(4 − 6𝑖)𝑧 + (2 + 4𝑖)
𝑤=
(3 − 𝑖) − (1 − 𝑖)𝑧
(4 − 6𝑖)𝑧 + (2 + 4𝑖)
Therefore, the required transformation is 𝑇 (𝑧) = .
(3 − 𝑖) − (1 − 𝑖)𝑧
Note that the answer given on the slide for the second example seems
incorrect.