Exponential law and complex numbers

Click For Summary

Discussion Overview

The discussion revolves around the properties of complex exponentials, specifically the application of the exponential law \( a^{mn} = (a^m)^n \) when dealing with complex numbers. Participants explore why this law appears to fail for imaginary bases and exponents, and the implications of complex roots of unity.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant notes a discrepancy in their calculations involving \( e^{\frac{2\pi i}{5}} \) and questions why the exponential law fails for imaginary bases/exponents.
  • Another participant explains that while the fifth root of 1 is straightforward in real numbers, complex numbers yield multiple solutions, with \( e^{\frac{2\pi i}{5}} \) being one of them.
  • A different participant argues that the exponential law does apply to complex numbers but requires an understanding of branch cuts in the complex plane, suggesting that the law fails when only one "copy" of the complex plane is used.
  • Another response claims that the initial misunderstanding stems from not considering the magnitude of the complex number, asserting that the two methods used are equivalent when magnitudes are accounted for.

Areas of Agreement / Disagreement

Participants express differing views on the application of the exponential law to complex numbers, with some asserting it holds under certain conditions while others highlight its limitations. The discussion remains unresolved regarding the nuances of these mathematical properties.

Contextual Notes

There are references to the complexities of the complex plane, including the concept of branch cuts and the multivalued nature of roots, which may not be fully explored in the discussion.

Who May Find This Useful

This discussion may be of interest to those studying complex analysis, particularly in understanding the behavior of exponential functions and roots in the complex plane.

Positronized
Messages
16
Reaction score
0
I was playing around with complex exponentials and came to this result:

[tex]$\begin{eqnarray*}<br /> e^{\frac{2\pi i}{5}}&=&e^\left(\frac{2}{5}\right)\left(\pi i\right)\\<br /> &=&\left(e^{\pi i}\right)^{\frac{2}{5}}\\<br /> &=&\left(-1\right)^{\frac{2}{5}}\\<br /> &=&1\end{eqnarray*}$[/tex]

But obviously [tex]e^{\frac{2\pi i}{5}}=\mathrm{cos}\frac{2\pi}{5}+i \mathrm{sin}\frac{2\pi}{5}\approx 0.309+0.951i\neq 1[/tex]

So after some research I found that the exponential law [tex]a^{mn}=\left(a^{m}\right)^{n}[/tex] is only true when [tex]a,m,n\in\mathbb{R}[/tex] and not otherwise.

My question now is WHY does the index law fail for imaginary base/exponents?

Thanks!

*PS how can I get rid of that [tex](0)[/tex] appearing after the eqnarray in my [tex]$\LaTeX$[/tex] code above?? :P
 
Last edited:
Physics news on Phys.org
Because dealing only in real numbers, questions like "the fifth root of 1" is easy, its just 1. However with complex numbers we know that there are 5 solutions, and 1 is the only real one, the rest are imaginary. I think you will find that exp( 2*pi*i /5) is one of the roots =]
 
Positronized said:
So after some research I found that the exponential law [tex]a^{mn}=\left(a^{m}\right)^{n}[/tex] is only true when [tex]a,m,n\in\mathbb{R}[/tex] and not otherwise.
In fact, the rule does work for all [tex]a,m,n\in\mathbb{C}[/tex] but only by extending the complex plane using an infinite number of branch cuts and planes. The logarithm rule works in this way as well. The rule will fail if you are only using one "copy" of the complex plane.

The rule does work in your example as well. [tex](-1)^2 = 1[/tex], and one of the fifth roots of 1 is indeed [tex]e^{\frac{2\pi i}{5}}[/tex]. In fact, in the branced complex plane, this is the only fifth root of the 1 in question, as in the branched plane, roots are no longer multivalued.

It's all very confusing at first, but you'll get used to it.
 
Positronized, the awnser to your question is simple. The first expression you wrote, is equivalent to the second one. The only error you did was not to take the "magnitude" of your complexe number, this is the awnser you are looking for. All you do is:

Magnitude = ((Real)^2 + (Img)^2)^0.5

So, in your case, you find:

Magnitude = (Cos(2*pi/5)^2 + Sin(2*pi/5)^2)^0.5 = 1^0.5 = 1 hence the two methods you used are equivilent.

I suggest you go read wiki for any basic questions on complexe numbers.
 
Last edited:

Similar threads

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