Mapping of complex exponential

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
hadroneater
Messages
56
Reaction score
0

Homework Statement


Determine the image of the line segment joining e^(i*2*pi/3) to -e^(-i*2*pi/3) under the mapping f = e^(1/2*Log(z)).

Homework Equations





The Attempt at a Solution


The line joining the two points: {z | -0.5 < x 0.5, y = sqrt(3)/2}
f = the principle branch of sqrt(z).

I am not sure what to do next.
 
Physics news on Phys.org
hadroneater said:

Homework Statement


Determine the image of the line segment joining e^(i*2*pi/3) to -e^(-i*2*pi/3) under the mapping f = e^(1/2*Log(z)).

Homework Equations





The Attempt at a Solution


The line joining the two points: {z | -0.5 < x 0.5, y = sqrt(3)/2}
f = the principle branch of sqrt(z).

I am not sure what to do next.

Hi hadroneater! :smile:

So you have ##z=x+i \frac 1 2 \sqrt 3##.
What would Log(z) be?

As an alternative path, that might be easier, suppose you write your line as ##z=r e^{i\phi}##, with r a function of phi.
What would Log(z) in this case be?
 
So I have the image:
[itex]\left\{ e^{0.5Log(z)} | z = x + i√3/2}[/itex]

[itex]z = \sqrt{x^{2} + \frac{3}{4}}*e^{i*arctan(\frac{2x}{sqrt{3})}[/itex]

[itex]Log(z) = ln(\sqrt{x^{2} + \frac{3}{4}}) + i*arctan(\frac{2x}{sqrt{3})[/itex]

How would finding Log(z) help me find the square root of z exactly?

Hmm...am I messing up the latex formatting?
 
Last edited:
You're missing a '}' in your latex.

Anyway, now that you have Log(z), can you multiply by (1/2), and take the exponential function?
What you will get, is indeed the (principle) square root of z.
TBH, I'm not sure what your problem is...?

Did you just want to find the square root of z?
 
Ah, I see. I just expected the answer to be in some neat closed form.
 
Ah well, what you have now contains a singularity in the arctan at x=0.
You could fix that by using for instance the arccot.

And you can reparametrize to the form ##r(\phi)e^{i\phi}##, which will look better.
But your problem does not seem to ask for something like that...