Simple complex power: why is e^( i (2*Pi*n*t)/T ) not 1?

Click For Summary
The discussion centers on the complex form of the Fourier series, specifically the term e^(i(2πnt)/T) and its behavior. It highlights that while e^(i(2πn)) equals 1 for integer n, the expression's dependence on t complicates the assumption that the entire series simplifies to f(t) = Σc. The conversation emphasizes that in complex numbers, 1 raised to a fractional power does not necessarily equal 1, which is crucial for understanding the Fourier series' behavior. Examples illustrate that the identity e^(a*b) ≠ (e^a)^b holds in complex contexts, leading to unexpected results. Ultimately, the discussion clarifies the importance of considering the phase and nature of complex numbers in such mathematical expressions.
Aziza
Messages
189
Reaction score
1
the complex form of Fourier series is:

f(t) = Ʃ c*e^[iωnt]
where c are the coefficients, the sum is from n= -inf to +inf; ω= 2*pi/T, where T is period...

but if you just look at e^[iωnt] = e^[ i (2*pi*n*t)/T] = {e^[ i (2*pi*n)] }^(t/T)

where I just took out the t/T...
well, e^[ i (2*pi*n)] = 1, since n is integer...and (1)^(t/T) is still equal to 1...so shouldn't the complex Fourier form just reduce to f(t) = Ʃ c ?

I feel i must be doing something stupid, if someone could just please point out what exactly...
 
Mathematics news on Phys.org
Every complex number, except 0, but including 1, has n distinct nth roots.
When dealing with complex numbers, 1 to a fractional power is not just 1.
 
In general, e^(a*b) != (e^a)^b with complex numbers a,b - unless you care about the phase of the expression in some other way.
 
HallsofIvy said:
When dealing with complex numbers, 1 to a fractional power is not just 1.

Nice one!
I'm just realizing that ##1^\pi## is the complex unit circle! :)
 
Hello Aziza,
In case you're still skeptical, here's a couple of examples. If you had something like:

eiπ/3 = (e)1/3 = (ei/3) = 1/2+sqrt(3)/2.

Then the identity applies, but take a look here:

(e2πi)i = 1i =/= e-2π = e2∏ii

The identity does not hold, and you can't really guess when and where it does, or doesn't.
In your case, you know it doesn't work because you get such an odd result, 0 for all t,and 00 for t=0, when we know for a fact that eiωnt are n rotating vectors in the complex plain!
 
Last edited:
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 1 ·
Replies
1
Views
944
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K