What Are the Legal Steps in Calculating i^i?

  • Context: Undergrad 
  • Thread starter Thread starter Hyperreality
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the calculation of the complex exponentiation i^i, which is defined using the formula z^w := exp(w log z). Participants highlight that both i^i and i^(1/i) yield real numbers, demonstrating the surprising nature of complex exponentiation. The conversation also touches on the nuances of manipulating complex numbers, particularly the illegality of certain substitutions, and suggests using MATLAB for practical calculations involving complex exponentiation.

PREREQUISITES
  • Understanding of complex numbers and their properties
  • Familiarity with complex exponentiation and logarithms
  • Knowledge of MATLAB for computational verification
  • Basic principles of mathematical proofs and manipulations
NEXT STEPS
  • Study the properties of complex logarithms and their implications
  • Learn about the principal value of complex exponentiation
  • Explore MATLAB functions for complex number calculations
  • Investigate the nuances of complex number manipulation and common pitfalls
USEFUL FOR

Mathematicians, students of complex analysis, engineers using MATLAB, and anyone interested in the intricacies of complex exponentiation.

Hyperreality
Messages
201
Reaction score
0
What is i^i?? And how do we find it?
 
Mathematics news on Phys.org
By the definitions!

For complex numbers, exponentiation is defined by:

z^w := \exp(w \log z)

For the principal value of the exponential, you use the principal value of the logarithm.
 
Hurkyl said:
By the definitions!

For complex numbers, exponentiation is defined by:

z^w := \exp(w \log z)

For the principal value of the exponential, you use the principal value of the logarithm.

Quite remarkable,Hurkyl,that both i^{i} and i^{\frac{1}{i}} are real numbers.

Yap,sometimes mathematics offers surprises... :cool:
 
Alternate HINT:

i^i = \left(e^{i\pi /2}\right)^i
 
Tide said:
Alternate HINT:

i^i = \left(e^{i\pi /2}\right)^i

:smile: That's not a "HINT",that's the SOLUTION!Hurkyl gave a hint.Anyway,i hope it helps him... :smile:
 
well, what stumps me is how to find like (i+5)^(i+5)?
 
tongos said:
well, what stumps me is how to find like (i+5)^(i+5)?

HINT: Follow the hints offered above! :smile:
 
The fact that (a^b)^c=a^{bc} is not right with complex numbers.

As a matter of fact, let z a complex number,
e^z=e^{\frac{2i\pi z}{2i\pi}}=(e^{2i\pi})^{\frac{z}{2i\pi}}=1^{\frac{z}{2i\pi}}=1
there is a problem.
 
  • #10
or, if you are an engineer, just open MATLAB and do i^i will save you the valuable time :biggrin:
 
  • #11
Tsss said:
The fact that (a^b)^c=a^{bc} is not right with complex numbers.

As a matter of fact, let z a complex number,
e^z=e^{\frac{2i\pi z}{2i\pi}}=(e^{2i\pi})^{\frac{z}{2i\pi}}=1^{\frac{z}{2i\pi}}=1
there is a problem.

That's slick but

1^{\frac{z}{2\pi i}}=1

only if 1 = e^{0i} (on the LHS) but you explicitly took 1 = e^{2\pi i} and used a different expression of 1 in your final step. 1^z will be 1 only if arg z = 0.
 
  • #12
Tide said:
That's slick but

1^{\frac{z}{2\pi i}}=1

only if 1 = e^{0i} (on the LHS) but you explicitly took 1 = e^{2\pi i} and used a different expression of 1 in your final step. 1^z will be 1 only if arg z = 0.

So when manipulating complex numbers we can't simply make a substitution and say:
1^\frac{z}{2\pi i}=(e^{(0i)})^{\frac{z}{2\pi i}}=e^0=1 ??

Which step above is illegal when manipulating complex numbers?

Is there a webpage, which states these types of situations...
 
  • #13
learningphysics said:
So when manipulating complex numbers we can't simply make a substitution and say:
1^\frac{z}{2\pi i}=(e^{(0i)})^{\frac{z}{2\pi i}}=e^0=1 ??

Which step above is illegal when manipulating complex numbers?

Is there a webpage, which states these types of situations...

That is a valid root of 1 and there is nothing wrong with what you did. Tsss's problem arose because he inconsistently expressed the same number in two different ways going from one step to the next.

\left(e^{0 i}\right)^{1/2} = e^0 = 1

and

\left(e^{2\pi i}\right)^{1/2} = e^{i\pi} = -1

are distinct roots of 1 but if I applied Tsss's method to the second I could find only one square root of 1. Obviously, squaring either 1 or -1 both give 1.

Here's an appropriate web page: http://home.earthlink.net/~djbach/paradox.html
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
Replies
10
Views
2K
Replies
10
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
3
Views
620
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K