TSny
Science Advisor
Homework Helper
Gold Member
- 14,799
- 4,800
For m+n odd, the numerator in your final expression is 2.haruspex said:Summing the geometric series for the first of those four terms:
##\Sigma_{p=0}^{N-1}e^{i\pi (p\frac {m+n}N)}=\frac{1-e^{i\pi (N\frac {m+n}N)}}{1-e^{i\pi (\frac {m+n}N)}}=\frac{1-e^{i\pi ( m+n)}}{1-e^{i\pi (\frac {m+n}N)}}##
If m+n is even then the numerator vanishes, but it's not going to if m+n is odd.
So, ##S1 \equiv \Sigma_{p=0}^{N-1}e^{i\pi (p\frac {m+n}N)} = \frac{2}{1-e^{i\pi (\frac {m+n}N)}} ##
Likewise, ##S2 \equiv \Sigma_{p=0}^{N-1}e^{-i\pi (p\frac {m+n}N)} = \frac{2}{1-e^{-i\pi (\frac {m+n}N)}}##.
Then, ##S1+S2 = 2##.
If m+n is odd, then m-n is also odd.
So, ##S3 + S4 = 2##, where ##S3 \equiv \Sigma_{p=0}^{N-1}e^{i\pi (p\frac {m-n}N)} ## and ##S4 \equiv \Sigma_{p=0}^{N-1}e^{-i\pi (p\frac {m-n}N)} ##
Thus, overall, we get ##S1 + S2 - S3 - S4 = 0##.