- #1

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,780

- 12

[tex]\frac{1}{2} + \sum_{j=1}^n cos(jx) = \frac{sin([n+\frac{1}{2}]x)}{sin(\frac{x}{2})}[/tex]

?? Thx!

- Thread starter quasar987
- Start date

- #1

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,780

- 12

[tex]\frac{1}{2} + \sum_{j=1}^n cos(jx) = \frac{sin([n+\frac{1}{2}]x)}{sin(\frac{x}{2})}[/tex]

?? Thx!

- #2

AKG

Science Advisor

Homework Helper

- 2,565

- 4

No, try n = x = 1.

- #3

- 695

- 0

I can't tell you off-hand whether or not that identity is true, but at least there is a very similar identity (which might be equal to the one you posted). First, note that

[tex]\cos{jx} = Re(\cos{jx} + i \sin{jx}) = Re(e^{ixj}) = Re(({e^{ix}})^j).[/tex]

The Re function is linear, which means that summing cos(jx) is equivalent to summing (e^(ix))^j and then calculating the real part of that. Hence the problem can be reduced to calculating the sum of a geometric series...

[tex]\cos{jx} = Re(\cos{jx} + i \sin{jx}) = Re(e^{ixj}) = Re(({e^{ix}})^j).[/tex]

The Re function is linear, which means that summing cos(jx) is equivalent to summing (e^(ix))^j and then calculating the real part of that. Hence the problem can be reduced to calculating the sum of a geometric series...

Last edited:

- #4

krab

Science Advisor

- 896

- 2

- #5

Galileo

Science Advisor

Homework Helper

- 1,989

- 6

It looks familiar. If I remember correctly, the name is the Dirichletkernel.

[tex]D_n:=\sum_{k=-n}^n e^{ikx}=1+2\sum_{k=1}^n \cos kx[/tex]

Use a geometric expansion to find a closed form. It only works if [itex]e^{ix}\not= 1[/itex]

[tex]D_n(x)=e^{-inx}\sum_{k=0}^{2n}e^{ikx}=\frac{\sin (n+1/2)x}{\sin x/2}[/tex]

If [itex]e^{ix}\not=1[/itex] you can expand the sum geometrically. After some algeblah you'll get the answer. Treat the case [itex]e^{ix}=1[/itex] seperately.

[tex]D_n:=\sum_{k=-n}^n e^{ikx}=1+2\sum_{k=1}^n \cos kx[/tex]

Use a geometric expansion to find a closed form. It only works if [itex]e^{ix}\not= 1[/itex]

[tex]D_n(x)=e^{-inx}\sum_{k=0}^{2n}e^{ikx}=\frac{\sin (n+1/2)x}{\sin x/2}[/tex]

If [itex]e^{ix}\not=1[/itex] you can expand the sum geometrically. After some algeblah you'll get the answer. Treat the case [itex]e^{ix}=1[/itex] seperately.

Last edited:

- #6

lurflurf

Homework Helper

- 2,436

- 135

There was a thread about the correct form a while back

https://www.physicsforums.com/showthread.php?t=86735

- #7

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,780

- 12

K, thanx, I proved it by induction like the OP.

- Replies
- 11

- Views
- 1K

- Replies
- 9

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 1K

- Last Post

- Replies
- 2

- Views
- 1K

- Last Post

- Replies
- 11

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 977

- Replies
- 3

- Views
- 742

- Replies
- 2

- Views
- 4K

- Last Post

- Replies
- 20

- Views
- 1K

- Last Post

- Replies
- 2

- Views
- 2K