Evaluate the Mobius transformation

  • Thread starter Thread starter docnet
  • Start date Start date
  • Tags Tags
    Transformation
Click For Summary
SUMMARY

The discussion focuses on evaluating the Möbius transformation defined by the expression ##\frac{|z-a|}{|1-\bar{a}z|}##, where ##|z|=1## and ##1-\bar{a}z\neq 0##. Participants confirm that this transformation simplifies to 1 by squaring the function and using properties of complex numbers. The transformation is shown to yield a real number, demonstrating the relationship between the numerator and denominator as complex conjugates. Key techniques discussed include working with Cartesian coordinates and leveraging the properties of complex conjugates.

PREREQUISITES
  • Understanding of Möbius transformations
  • Familiarity with complex numbers and their properties
  • Knowledge of Cartesian and polar coordinates
  • Ability to manipulate algebraic expressions involving complex variables
NEXT STEPS
  • Study the properties of Möbius transformations in detail
  • Learn about complex conjugates and their applications in simplification
  • Explore the use of Cartesian coordinates in complex analysis
  • Investigate the implications of squaring complex functions
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the properties and applications of Möbius transformations.

docnet
Messages
796
Reaction score
486
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   Reactions: 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   Reactions: 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   Reactions: 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   Reactions: 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   Reactions: docnet

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
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