Locus of Z for Z^2= (1+z)/(1-z) when |z|=1

[Mentallic]

Homework Statement

Given Z^2=\frac{1+z}{1-z} if |z|=1, find the locus of Z

Homework Equations

|z|=\sqrt{x^2+y^2}=1
let Z=X+iY
z=x+iy

The Attempt at a Solution

Z^2=\frac{1+z}{1-z}

=[\frac{(x+1)+iy}{(-x+1)-iy}][\frac{(-x+1)+iy}{(-x+1)+iy}]

=\frac{1-x^2+iy(x+1)+iy(-x+1)-y^2}{x^2-2x+1+y^2}

=\frac{1-(x^2+y^2)+2iy}{x^2+y^2+1-2x}

and since x^2+y^2=1

Z^2=\frac{iy}{1-x}

But Z^2=(X+iY)^2=X^2-Y^2+i2XY

Therefore, X^2-Y^2=0

and 2XY=\frac{y}{1-x}

The problem is that I can't rearrange these two equations to express the locus in terms of x and y. Any help is greatly appreciated as always.

 

[D.R.]

This problem requires a geometrical/graphical understanding before you can use any algebraic methods of solving it. I'm going to give you this insight, and the rest you can solve yourself. Your original try at a solution is not wrong, it just lacks an additional constraint.

The complex number z can also be interpreted as a 2 dimensional vector (x,y) where x is the real part and y the imaginary part. 1 + z and 1 - z are complex numbers (or vectors) where there is an offset of ±1 in the x-direction. So you have for example, for z = 1 + i, the numbers: 2 + i and - i and their vectors (2,1) and (0,-1). Because |z| = 1, both 1 + z and 1 - z describe a circle with radius 1 and with respectively an offset of -1 and +1.

Now capital z or Z is a complex or real number. It describes a ratio between 1 + z and 1 - z, where these numbers or vectors must lie on their respective circle. You should be able to figure out on your own that |Z^2| must equal 1 (or the ratio of the lengths of the vectors is 1). You can use this to solve the rest of the problem. In fact, you already have the necessary parts to find the loci.

 

[Mentallic]

Because |z| = 1, both 1 + z and 1 - z describe a circle with radius 1 and with respectively an offset of -1 and +1.

Sorry, but I couldn't follow this part, and onwards.
For z+1 it will be a circle with radius 1 (since |z|=1) and centre (-1,0)?
And for 1-z it will be a circle centre (1,0)?

 

[D.R.]

Sorry, but I couldn't follow this part, and onwards.
For z+1 it will be a circle with radius 1 (since |z|=1) and centre (-1,0)?
And for 1-z it will be a circle centre (1,0)?

I must apologize, I was completely wrong, offset values, etc. and there is one thing that must be wrong with this assignment or else it wouldn't make much sense.

To correct:
With 1 + z and 1 - z, the offsets are the same, +1, but they still describe a circle because |z| = 1. So basically, the vectors I described my previous reply, lie on the same circle with an offset of +1 and they 'rotate' in the same direction, however, they have a phase difference.

Algebraic proof of the phase difference:
1 + z = 1 + re^{i\phi} = 1 + e^{i\phi}

- e^{i\phi} = e^{i\pi}e^{i\phi} = e^{i(\phi + \pi)}

1 - z = 1 - re^{i\phi} = 1 - e^{i\phi} = 1 + e^{i(\phi + \pi)}

The phase difference is \pi.

I was wrong to say that |Z^2| must equal 1, because I claimed you could derive it from a geometrical interpretation. But Z^2 is definitely a ratio and |Z^2| is definitely the ratio between the lengths of two complex numbers. The main problem is that Z is a free variable. However, |Z^2| is a real number and must be equal or greater than zero, because it's a ratio of two semi-positive numbers.

You can find the locus by solving:
|Z^2|^2 = k = |\frac{1+z}{1-z}|^2

with k a semi-positive number. The only freedom in the solution is k. It will show that for varying k from 0 to infinity that 1 + z and 1 - z both describe separate half-circles.

 

[gabbagabbahey]

... and there is one thing that must be wrong with this assignment or else it wouldn't make much sense.

What exactly is wrong with the assignment?

You can find the locus by solving:
|Z^2|^2 = k = |\frac{1+z}{1-z}|^2

with k a semi-positive number. The only freedom in the solution is k. It will show that for varying k from 0 to infinity that 1 + z and 1 - z both describe separate half-circles.

What are you implying that he solve this for? It's clearly true for all k, all z and all Z.

Therefore, X^2-Y^2=0

and 2XY=\frac{y}{1-x}

The problem is that I can't rearrange these two equations to express the locus in terms of x and y. Any help is greatly appreciated as always.

Remember that |z|=1, so you can write z in the polar form as z=cis(\theta). That allows you to express x and y as \cos(\theta) and \sin(\theta) respectively.

Now, let's look at your first equation: X^2-Y^2=0...what do the solutions to this equation look like?

Given that; if X and Y satisfy both equations, what are the possible values of theta for which any solution to 2XY=\frac{\sin(\theta)}{1-\cos(\theta)} will also satisfy X^2-Y^2=0?

 

[D.R.]

What exactly is wrong with the assignment?

What are you implying that he solve this for? It's clearly true for all k, all z and all Z.

It's me that's confused by this assignment. But nvm, ignore my replies. They make no sense.

 

[Mentallic]

Sorry D.R. but I just can't seem to follow where you are trying to go with it all. Also, there are too many terms being used that I'm not familiar with and it makes it quite unbearable to comprehend.

Remember that |z|=1, so you can write z in the polar form as z=cis(\theta). That allows you to express x and y as \cos(\theta) and \sin(\theta) respectively.

Now, let's look at your first equation: X^2-Y^2=0...what do the solutions to this equation look like?

Given that; if X and Y satisfy both equations, what are the possible values of theta for which any solution to 2XY=\frac{\sin(\theta)}{1-\cos(\theta)} will also satisfy X^2-Y^2=0?

ok well X^2-Y^2=0 \Rightarrow X^2=Y^2 therefore the lines Y=\pm X.

I honestly don't know what the possible solutions are to the last part.

 

[D.R.]

Sorry D.R. but I just can't seem to follow where you are trying to go with it all. Also, there are too many terms being used that I'm not familiar with and it makes it quite unbearable to comprehend.

Hey, no problem. It's my mistake screwing up the hints for not understanding the concept of this question.

 

[gabbagabbahey]

Sorry D.R. but I just can't seem to follow where you are trying to go with it all. Also, there are too many terms being used that I'm not familiar with and it makes it quite unbearable to comprehend.



ok well X^2-Y^2=0 \Rightarrow X^2=Y^2 therefore the lines Y=\pm X.

I honestly don't know what the possible solutions are to the last part.

Hmmm...I think my question may have been worded poorly...let's try it again... You have a system of two equations and two variables (X,Y) which you wish to find solutions for (your solutions will depend on theta--the phase angle of little z--)...You know that the only possible solutions to the 1st equation are the lines Y=\pm X, so the only possible solution to the system of equations will come from substituting Y=\pm X into your second equation ans solving for X and then plugging your X solutions back into Y=\pm X to find your possible (X,Y) pairs.

What do you get for possible solutions (you should get 4 of them) when you do that?

 

[Mentallic]

Hey, no problem. It's my mistake screwing up the hints for not understanding the concept of this question.

Well then that makes two of us

Hmmm...I think my question may have been worded poorly...let's try it again... You have a system of two equations and two variables (X,Y) which you wish to find solutions for (your solutions will depend on theta--the phase angle of little z--)...You know that the only possible solutions to the 1st equation are the lines Y=\pm X, so the only possible solution to the system of equations will come from substituting Y=\pm X into your second equation ans solving for X and then plugging your X solutions back into Y=\pm X to find your possible (X,Y) pairs.

What do you get for possible solutions (you should get 4 of them) when you do that?

ok I will try that:

Y=\pm X (1)

2XY=\frac{sin\theta}{1-cos\theta} (2)

Substituting (1) into (2) \pm 2X^2=\frac{sin\theta}{1-cos\theta}

Therefore, X=\pm \sqrt{\pm \frac{sin\theta}{2-2cos\theta}} (3)

Substituting (3) back into (1) Y=\pm \sqrt{\pm \frac{sin\theta}{2-2cos\theta}} (4)

I'm unsure if these equations are completely correct so please correct me if any of my steps seem to be wrong. But now what do I do? This doesn't seem to be the locus yet

 

[gabbagabbahey]

Well then that makes two of us ok I will try that:

Y=\pm X (1)

2XY=\frac{sin\theta}{1-cos\theta} (2)

Substituting (1) into (2) \pm 2X^2=\frac{sin\theta}{1-cos\theta}

Therefore, X=\pm \sqrt{\pm \frac{sin\theta}{2-2cos\theta}} (3)

Substituting (3) back into (1) Y=\pm \sqrt{\pm \frac{sin\theta}{2-2cos\theta}} (4)

I'm unsure if these equations are completely correct so please correct me if any of my steps seem to be wrong. But now what do I do? This doesn't seem to be the locus yet

Okay good, so your possible solution pairs are

(X,Y)=\{(\sqrt{\frac{sin\theta}{2-2cos\theta}},\sqrt{\frac{sin\theta}{2-2cos\theta}}),(-\sqrt{\frac{sin\theta}{2-2cos\theta}},-\sqrt{\frac{sin\theta}{2-2cos\theta}}),(\sqrt{\frac{-sin\theta}{2-2cos\theta}},-\sqrt{\frac{-sin\theta}{2-2cos\theta}}),(-\sqrt{\frac{-sin\theta}{2-2cos\theta}},\sqrt{\frac{-sin\theta}{2-2cos\theta}})\}

Now, remember your definition Z=X+iY where X and Y are real...That tells you that for a given value of theta, only solutions that have real values for X and Y are valid.

So, let's see what happens when you slowly go counterclockwise around the circle |z|=1; by starting with \theta=0 and slowly increasing it to \theta=2\pi...What are your real solutions for \theta=0? How about \theta=\frac{\pi}{4}? How about \theta=\frac{\pi}{2}, \theta=\frac{3\pi}{4}, \theta=\pi, \theta=\frac{5\pi}{4}, \theta=\frac{3\pi}{2} and \theta=\frac{7\pi}{4}?...what do these solutions look like?

Apparently your locus is the two lines Y=\pm X, and as you go counterclockwise around the circle |z|=1, You start at the points (X,Y)=(\infty,\infty) and (X,Y)=(-\infty,-\infty) and move inwards along the line Y=X from both directions until you reach the origin at \theta=\pi. Then as you continue along the unit circle, you find that you move from the origin outwards in both directions along the line Y=-X.

Make sense?

 

[Mentallic]

I can see how as we travel anticlockwise around |z|=1, the locus of Z travels along the lines Y=\pm X, but these multiple solutions are getting to be too much. I understand that X and Y need to be real values, so any negatives within the surd are discarded. So for e.g.

For \theta=0, (X,Y)=(0,0)

For \theta=\frac{\pi}{4}, (X,Y)=(\pm \sqrt{\frac{1}{2\sqrt{2}-2}},\pm \sqrt{\frac{1}{2\sqrt{2}-2}})

For \theta=\frac{\pi}{2}, (X,Y)=(\pm \sqrt{\frac{1}{2\sqrt{2}}},\pm \sqrt{\frac{1}{2\sqrt{2}}})

For \theta=\frac{3\pi}{4}, (X,Y)=(\pm \sqrt{\frac{1}{2\sqrt{2}+2}},\pm \sqrt{\frac{1}{2\sqrt{2}+2}})

For \theta=\pi, (X,Y)=(0,0)

etc...

Is this the correct locus of Z? It just 'moves' up and down along the lines Y=\pm X while the locus of z moves anticlockwise around |z|=1?

 

[gabbagabbahey]

I can see how as we travel anticlockwise around |z|=1, the locus of Z travels along the lines Y=\pm X, but these multiple solutions are getting to be too much. I understand that X and Y need to be real values, so any negatives within the surd are discarded. So for e.g.

For \theta=0, (X,Y)=(0,0)

Are you sure about this one...what is 0/0?

For \theta=\frac{\pi}{4}, (X,Y)=(\pm \sqrt{\frac{1}{2\sqrt{2}-2}},\pm \sqrt{\frac{1}{2\sqrt{2}-2}})

For \theta=\frac{\pi}{2}, (X,Y)=(\pm \sqrt{\frac{1}{2\sqrt{2}}},\pm \sqrt{\frac{1}{2\sqrt{2}}})

For \theta=\frac{3\pi}{4}, (X,Y)=(\pm \sqrt{\frac{1}{2\sqrt{2}+2}},\pm \sqrt{\frac{1}{2\sqrt{2}+2}})

For \theta=\pi, (X,Y)=(0,0)

etc...

Approximate numerical values would probably be more enlightening.

Is this the correct locus of Z? It just 'moves' up and down along the lines Y=\pm X while the locus of z moves anticlockwise around |z|=1?

You seem to be confusing the 'locus of Z' with the particular value of Z at a given theta. The locus of Z is all possible values of Z; which in this case is every point on the lines Y=\pm X. Therefor the locus of Z are the entire Y=\pm X lines.

It's the value of Z that changes as you go around the circle |z|=1. It's the value of Z that depends on the phase of z. The locus of Z is the set of all of those possible values.

 

[Mentallic]

Are you sure about this one...what is 0/0?

Oh yes I completely skipped the denominator and assumed 0. I hope I express this correctly: So Z is undefined when the phase of z is 0.

Approximate numerical values would probably be more enlightening.

True, but to get a clear picture of how Z moves as the phase of z rotates anticlockwise, I would need a few more angles, mainly those closer to 0^+ and 0^-.

You seem to be confusing the 'locus of Z' with the particular value of Z at a given theta. The locus of Z is all possible values of Z; which in this case is every point on the lines Y=\pm X. Therefor the locus of Z are the entire Y=\pm X lines.

It's the value of Z that changes as you go around the circle |z|=1. It's the value of Z that depends on the phase of z. The locus of Z is the set of all of those possible values.

Thankyou, this is the sort of clarification I'm looking for, as since I've yet to grip my mind around this topic, using the correct terminology and understanding what I'm saying are still very fuzzy.

Ok so the locus of Z is Y=\pm X.
since Z is satisfied by X^2-Y^2=0 and 2XY=\frac{y}{1-x} where Z=X+iY and z=x+iy, then as the phase of z rotates anticlockwise around the unit circle (since |z|=1), as the phase of z=0^+ the movement(?) of Z is from (\pm \infty, \pm \infty) towards the origin, as z\rightarrow \pi. As z rotates from \pi \rightarrow 2\pi, the locus of Z moves towards infinite but backwards? (this part I cannot seem to visualize very clearly).

I hope I'm on the right track. Thanks again gabbagabbahey.

 

[gabbagabbahey]

True, but to get a clear picture of how Z moves as the phase of z rotates anticlockwise, I would need a few more angles, mainly those closer to 0^+ and 0^-.

If that's what you feel you need to get a clear picture, then by all means plug some values closer to 0 into the equation.

You should find that for every value of theta, there are two possible values of Z. This should not come as a big surprise since Z was defined by a condition on Z^2, not a condition on Z.

Ok so the locus of Z is Y=\pm X.

Yes.

since Z is satisfied by X^2-Y^2=0 and 2XY=\frac{y}{1-x} where Z=X+iY and z=x+iy, then as the phase of z rotates anticlockwise around the unit circle (since |z|=1), as the phase of z=0^+ the movement(?) of Z is from (\pm \infty, \pm \infty) towards the origin, as z\rightarrow \pi. As z rotates from \pi \rightarrow 2\pi, the locus of Z moves towards infinite but backwards? (this part I cannot seem to visualize very clearly).

Not really. For each value of little z, there are two values of big Z. If you start with the phase of little z equal to zero, and slowly increase its phase you will see the following:

--Z is undefined at \theta=0, but at \theta=0^{+}, it takes on two values Z=\infty+\infty i and Z=-\infty-\infty i. As you increase theta, the two values of Z move closer and closer to the origin along the line Y=X until finally at \theta=\pi the two points coincide at Z=0. Then as you continue to increase theta, you see the two values of Z move away from each other along the line Y=-X, outward to infinity.

The locus of Z doesn't move. The locus of Z is the collection of all possible values of Z, and all possible values of Z in this case, are all possible values along the lines Y=\pm X. Therefor, the locus of Z is the two lines Y=\pm X.

If you are still having trouble visualizing it, I suggest you plot a whole bunch of points in the complex plane.

 

[Mentallic]

If that's what you feel you need to get a clear picture, then by all means plug some values closer to 0 into the equation.

Oh no I just meant that it should probably be shown that as \theta is just slightly positive, Z is close to \pm \infty.

You should find that for every value of theta, there are two possible values of Z. This should not come as a big surprise since Z was defined by a condition on Z^2, not a condition on Z.

It was quite confusing when the 2nd \pm came into play. I wasn't sure if the x-coordinate of Z was going to be positive/negative, or the y-coordinate, or both

Not really. For each value of little z, there are two values of big Z. If you start with the phase of little z equal to zero, and slowly increase its phase you will see the following:

--Z is undefined at \theta=0, but at \theta=0^{+}, it takes on two values Z=\infty+\infty i and Z=-\infty-\infty i. As you increase theta, the two values of Z move closer and closer to the origin along the line Y=X until finally at \theta=\pi the two points coincide at Z=0. Then as you continue to increase theta, you see the two values of Z move away from each other along the line Y=-X, outward to infinity.

So that's how the \pm's worked for the values of Z... I had no idea what to do with it all!

The locus of Z doesn't move. The locus of Z is the collection of all possible values of Z, and all possible values of Z in this case, are all possible values along the lines Y=\pm X. Therefor, the locus of Z is the two lines Y=\pm X.

I'm trying to solve complex locus problems before I even know the meaning of the term 'locus'

If you are still having trouble visualizing it, I suggest you plot a whole bunch of points in the complex plane.

Your explanation was very clear and concise, I was able to follow it easily and its great that I can skip this tedious task! Thanks!

ok well I think this problem was put to rest. Gabbagabbahey, thank you once again! Your help is very much appreciated!

 

[gabbagabbahey]

It was quite confusing when the 2nd \pm came into play. I wasn't sure if the x-coordinate of Z was going to be positive/negative, or the y-coordinate, or both

The easiest way to keep the +/- 's straight is to treat two different cases: (1) solve the second equation using Y=+X and (2)Solve using Y=-X.

You should find that case (1) gives real solutions for X and Y only for 0<\theta\leq\pi and that case (2) only give real solutions for \pi\leq\theta <2\pi.

 

[Mentallic]

lol oh yeah. Its been 2 years since I began using \pm's and I quickly 'grew out' of considering them as 2 cases and working with them in that way, since I didn't need to do so from experience. Its weird that when there are multiple \pm's in an equation, that they aren't distinguished between each other with a number or something else.
Thanks gabbagabbahey, your help was awesome.