# Branch cut when exponentiating by an imaginary number?

• Apr 17th 2011, 11:59 AM
ivalmian
Branch cut when exponentiating by an imaginary number?
Hello, I'm new to the forums, so hopefully this is the correct place for me to post.

What is the branch cut when the exponent is an imaginary number?

IE, am I incorrectly crossing a branch cut when performing the following set of operations:

http://quicklatex.com/cache3/ql_6106...0497473_l3.png

Is the problem somewhere else?
• Apr 17th 2011, 10:47 PM
InvisibleMan
The problem is obviously in the last step.

When you rasing some number by a complex you should use the following definition:
$\displaystyle z^i = exp( i Log z)$

So in your case we have $\displaystyle z=1=exp (2\pi i n)$, raising to the power i we get:
$\displaystyle exp( i Log(exp(2 \pi i n)))$

$\displaystyle Log(z)= log |z| + i arg(z)$, and this function is multivalued so you need to pick a branch cut for the argument.
In your case obviosuly the equality is wrong cause one side of the equality you pick n=0 and on the other you picked another different number, you can't do this.

Edit: Does some know why the tex doesn't get compiled?
• Apr 18th 2011, 10:32 AM
ivalmian
Quote:

Originally Posted by InvisibleMan
The problem is obviously in the last step.

When you rasing some number by a complex you should use the following definition:
$\displaystyle z^i = exp( i Log z)$

So in your case we have $\displaystyle z=1=exp (2\pi i n)$, raising to the power i we get:
$\displaystyle exp( i Log(exp(2 \pi i n)))$

$\displaystyle Log(z)= log |z| + i arg(z)$, and this function is multivalued so you need to pick a branch cut for the argument.
In your case obviosuly the equality is wrong cause one side of the equality you pick n=0 and on the other you picked another different number, you can't do this.

Edit: Does some know why the tex doesn't get compiled?

Thanks, yeah, you're completely correct about the log. I realized it had to be something like that but couldn't put 2 and 2 together!

Tex is broken so I suggest you use http://www.quicklatex.com/ to make images that you can imbed. Your (slightly modified tex) can be rendered as:

http://quicklatex.com/cache3/ql_ac92...d5b7f39_l3.png

Which is generated by
Code:

\begin{align*} z^i = \exp( i \log (z)) \\ z=1=\exp (2\pi i n) \\ \exp( i \log(\exp(2 \pi i n))) \\ \log(z)= \log |z| + i \arg(z) \end{align*}