Poisson summation formula

g (x + 2k ) =
k=

1 2

g (n)einx
n=

Proof: Let h(x) =

k=

g (x + 2k ). 1 2
2 0

Then h is 2 -periodic and its Fourier coecients are hn = = 1 2

k= 0 2

h(x)einx dx 1 2

g (x + 2k )einx dx =

1 2

2 (k+1)

k= 2k

g (x)einx dx =

g (x)einx dx =

1 g (n) 2

Theorem: {(x k ) : k Z} is an orthonormal set

k=

|( + 2k )|2 = 1

Proof: Let L2 (R) and let k = (x k ).

Let g ( ) = || and h( ) =
k=

g ( + 2k ) =
k=

|( + 2k )|2 . 1 g (n). 2

Then h is 2 -periodic and by the Poisson summation formula, its Fourier coecients are hn =

Now k =

(x k )eix dx =

(x)ei(x+k) dx = eik , so by Plancherels theorem

m , n =

1 1 1 m , n = eim , ein = 2 2 2

ei(mn) ||2 d =

1 g (m n) = hmn 2

Thus, m , n = mn h0 = 1 and hn = 0 for n = 0 h( ) 1

Copyright 1993 Dmitry Gokhman