Evaluate the Mobius transformation

  • Thread starter Thread starter docnet
  • Start date Start date
  • Tags Tags
    Transformation
Click For Summary
The discussion focuses on evaluating the Mobius transformation defined by the expression |z-a|/|1-âz|, where |z|=1 and 1-âz≠0. Participants explore methods to simplify the expression, suggesting approaches such as squaring the function and using Cartesian coordinates. By manipulating the expression, they find that the numerator and denominator can be shown to be equal, leading to the conclusion that the transformation evaluates to 1. The conversation emphasizes the importance of algebraic manipulation and understanding complex conjugates in this context. Ultimately, the evaluation confirms that the Mobius transformation yields a real number.
docnet
Messages
796
Reaction score
488
Homework Statement
evaluate the quotient of two complex numbers
Relevant Equations
evaluate the quotient of two complex numbers
Let ##|z|=1## and ##1-\bar{a}z\neq 0##.

Evaluate ##\frac{|z-a|}{|1-\bar{a}z|}##. It should be a real number.

I read that ##f=\frac{|z-a|}{|1-\bar{a}z|}## is a mobious transformation, but I do not know what it means. @fresh_42##z=e^{i\theta_1}, a=r_2e^{i\theta_2}##

##\frac{|z-a|}{|1-\bar{a}z|}=\frac{|e^{i\theta_1}-r_2e^{i\theta_2}|}{|1-r_2e^{i(\theta_1-\theta_2)}|}##
 
Physics news on Phys.org
Here is a short explanation with an interesting property (problem #8):
https://www.physicsforums.com/threads/math-challenge-august-2021.1005685/
(behind the 'solved by' note is a link to the solution @julian gave)
and here is a longer one:
https://en.wikipedia.org/wiki/Möbius_transformation

I would square the function:
$$
f^2=\dfrac{(z-a)(\bar{z}-\bar{a})}{(1-\bar{a}z)(1-a\bar{z})}
$$
and work with Cartesian coordinates: ##z=x+i y\, , \,\bar{z}=x- i y\, , \,a=u+ i v\, , \,\bar{a}=u-iv## and see if the expression simplifies. The polar coordinates might work as well, but I think it remains a mess. Of course, you could also use the sine and cosine functions, but I would definitely start with the Cartesian coordinates.
 
  • Like
Likes docnet
fresh_42 said:
Here is a short explanation with an interesting property (problem #8):
https://www.physicsforums.com/threads/math-challenge-august-2021.1005685/
(behind the 'solved by' note is a link to the solution @julian gave)
and here is a longer one:
https://en.wikipedia.org/wiki/Möbius_transformation

I would square the function:
$$
f^2=\dfrac{(z-a)(\bar{z}-\bar{a})}{(1-\bar{a}z)(1-a\bar{z})}
$$
and work with Cartesian coordinates: ##z=x+i y\, , \,\bar{z}=x- i y\, , \,a=u+ i v\, , \,\bar{a}=u-iv## and see if the expression simplifies. The polar coordinates might work as well, but I think it remains a mess. Of course, you could also use the sine and cosine functions, but I would definitely start with the Cartesian coordinates.
I would have never guessed to try complex squaring the function... I tried multiplying the denominator and the numerator by ##1-a\bar{z}## and was unable to simplify.

By doing the squaring, and plugging in ##z\bar{z}=1##, the function simplifies so that the denominator equals the numerator and it's just 1. (I didn't use cartesian coordinates and still got this result, and I really hope i didn't mess up the calculation because it really would be embarrassing)
 
##f^2=(\frac{|z-a|}{|1-\bar{a}z|} )^2=\frac{z\bar{z}-a\bar{z}-\bar{a}z+a\bar{a}}{1-\bar{a}z-a\bar{z}+a\bar{a}z\bar{z}}##

##\frac{1-a\bar{z}-\bar{a}z+a\bar{a}}{1-\bar{a}z-a\bar{z}+a\bar{a}}=1##

##\therefore \frac{|z-a|}{|1-\bar{a}z|} =1##

This question was on a midterm I took yesterday (so I'm not cheating!)
 
  • Like
Likes fresh_42
You can also multiply the numerator by ##|\bar{z}|## (which is 1) and then the numerator and denominator are complex conjugates of each other.
 
  • Informative
Likes docnet
Office_Shredder said:
You can also multiply the numerator by ##|\bar{z}|## (which is 1) and then the numerator and denominator are complex conjugates of each other.
and that is a clue that the quotient should be complex squared, right?
 
docnet said:
and that is a clue that the quotient should be complex squared, right?
Squaring was only meant to get rid of the root in the definition of the norm. After you saw the simplifications you made, you could write a root above every term of your calculation, so squaring wasn't actually necessary. However, it removed the "distraction" by the root behind ##|\, \text{.} \,|## and allowed us to concentrate on the essential parts.

I have two major principles approaching an algebraic expression: Get rid of what disturbs, and use the definitions.
 
  • Informative
Likes docnet
docnet said:
and that is a clue that the quotient should be complex squared, right?

Once the numerator and denominator are complex conjugates, then you know they have the same magnitude, so you're done.
 
  • Like
Likes docnet

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
6
Views
1K
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K