SESSION 2012

Concours commun Mines-Ponts

DEUXIME PREUVE. FILIRE MP
A. Prliminaires
1) Soit f L. Soit R. La fonction x f(x)e
2ix
est continue par morceaux sur R. De plus, pour tout x R,
|f(x)e
2ix
| = |f(x)|. Puisque f est intgrable sur R, il en est de mme de la fonction x f(x)e
2ix
. En particulier,

f() existe dans R. On a montr que

f L,

f est dnie sur R.
Soit : R
2
R
(, x) f(x)e
2ix
.
Pour chaque R, la fonction x (, x) est continue par morceaux sur R.
Pour chaque x R, la fonction (, x) est continue sur R.
Pour chaque (, x) R
2
, |(, x)| = |f(x)| = (x) o est une fonction continue par morceaux et intgrable sur R.
Daprs le thorme de continuit des intgrales paramtres,

f est continue sur R.
f L,

f est continue sur R.
2) Montrons que W (resp. W

) est un sous-espace vectoriel de lespace vectoriel L (resp. L

). On a dj W L (resp.
W

).
La fonction nulle est dans L (resp. L

) et

0 = 0 est dans L (resp. L

). Donc la fonction nulle est dans W (resp. W

).
Soient f et g deux lments de W (resp. W

) et et deux nombres complexes. Alors, f et g sont dans L (resp. L

) et
de plus

f et g sont dans L (resp. L

). La fonction f +g est encore dans L (resp. L

) puis par linarit de lintgrale

f + g =

f + g.
Mais alors, puisque L (resp. L

) est un espace vectoriel,

f +g est dans L (resp. L

) et nalement f +g est dans

W (resp. W

).
W (resp. W

) est un sous-espace vectoriel de L (resp. L

).
Soit f W

. Alors f et

f sont dans L

ou encore f et

f sont continues sur R et sont domines en + ou par une
fonction du type x |x|

, > 1. On en dduit que f et

f sont continues par morceaux sur R et intgrables sur R et
donc que f est dans W . On a montr que
W

W .
3) Soient f L et > 0. Soit R. La fonction x f(x)e
2ix
est continue par morceaux sur R et en posant
u = x (lapplication x x est un C
1
-diomorphisme de R sur lui-mme), on obtient lintgrabilit sur R de la fonction
x f(x)e
2ix
et de plus

() =

f(x)e
2ix
dx =
1

f(u)e
2iu

du =
1

f
_

_
.
f L, > 0, R,

f

() =
1

f
_

_
.
http ://www.maths-france.fr 1 c Jean-Louis Rouget, 2012. Tous droits rservs.
De mme, pour (y, ) R
2
, en posant u = x + y, on obtient

f
y,
() =

f(x +y)e
2i(+)x
dx =

f(u)e
2i(+)(uy)
du = e
2iy(+)

f ( + ) .
f L, (y, ) R
2
, R,

f
y,
() = e
2iy(+)
f ( +).
On note en particulier que la transforme de Fourier de la fonction x f(x + y) est la fonction e
2iy

f ().
Maintenant, si f est dans W (resp. W

), il est clair que les fonctions f

, > 0, et f
y,
, (y, ) R
2
, sont encore dans W
(resp. W

).
4) La fonction s est dans L et donc s est dnie et continue sur R.
Soit R. s(0) =

1/2
1/2
dx = 1 et si = 0,
s() =

1/2
1/2
e
2ix
dx =
_
e
2ix
2i
_
x=1/2
x=1/2
=
e
i
e
i
2i
=
sin()

.
R, s() =

1 si = 0
sin()

si = 0
.
La fonction s est dans L et mme dans L

. Donc

t est dnie et continue sur R.

Soit R.

t(0) =

1
1
(1 |x|) dx = 1 et si = 0, une intgration par parties fournit

t() =

1
1
(1 |x|) cos(2x) dx i

1
1
(1 |x|) sin(2x) dx = 2

1
0
(1 x) cos(2x) dx (par parit)
= 2
_
_
(1 x)
sin(2x)
2
_
x=1
x=0
+
1
2

1
0
sin(2x) dx
_
=
1

cos(2x)
2
_
x=1
x=0
=
1 cos(2)
2
2

2
.
R,

t() =

1 si = 0
1 cos(2)
2
2

2
si = 0
.
On note que la fonction
2

t() est borne sur R et donc la fonction t est dans W

.
5) La fonction s est dans L. Donc la fonction s est continue sur R daprs la question 1). Vrions que la fonction s nest
pas intgrable sur R.

|s()| d

+
1
| sin()|

d =
+

n=1

n+1
n
| sin()|

n=1
1
(n + 1)

n+1
n
| sin()| d =
2

2
+

n=1
1
n +1
= +.
Donc,

|s()| d = + ou encore la fonction s nest pas intgrable sur R. Ainsi, la fonction s est un lment de L tel
que s nest pas un lment de L ou encore s nest pas dans W . Ceci montre que
W

W
=
L.
6) Pour tout entier naturel n et tout R,
http ://www.maths-france.fr 2 c Jean-Louis Rouget, 2012. Tous droits rservs.

f()

f
n
()

(f(x) f
n
(x))e
2ix
dx

|f(x) f
n
(x)| dx = f f
n

1
puis, pour tout entier naturel n,
_
_
_

f
n
_
_
_

f f
n

1
. Par hypothse, lim
n+
f f
n

1
= 0 et donc
lim
n+
_
_
_

f
n
_
_
_

= 0. Ceci montre que la suite de fonctions

_

f
n
_
nN
converge uniformment vers la fonction

f sur R. On
note que le rsultat persiste si on suppose simplement f et les f
n
, n N, dans L.
B. Formule sommatoire de Poisson
7) Soit f L

. Il existe > 1 et M > 0 tel que pour tout t rel, |t|

|f(t)| M.
Soit x R. Pour n Z tel que n = x,
f(x +n)|
M
|x +n|

.
Puisque > 1, les sries numriques de terme gnraux respectifs
M
|x +n|

, n N, n = x, et
M
|x n|

, n N, n = x,
sont convergentes. On en dduit que chacune des deux sries

n0
f(x + n) et

n0
f(x n) sont absolument convergentes
et donc convergentes. On en dduit encore que

f(x) existe.
Soit x R. En posant m = n +1, on obtient

f(x +1) =

nZ
f(x +1 +n) =

mZ
f(x +m) =

f(x).
f L

,

f est dnie sur R et 1-priodique.
Montrons que

f est continue sur [0, 1]. Pour n Z et x [0, 1], posons f

n
(x) = f(x+n) puis f
n

= sup{|f
n
(x)|, x [0, 1]}.
Soit n N

. Avec les notations de la question 7), pour tout x [0, 1],

|f
n
(x)| = |f(x + n)|
M
(x +n)

M
n

,
et donc f
n

M
n

. Puisque la srie numrique de terme gnral

M
n

, n N

, converge, la srie de fonctions de terme

gnral f
n
, n N

, converge normalement et en particulier uniformment sur [0, 1]. Puisque chaque fonction f
n
est
continue sur [0, 1], il en est de mme de la fonction
+

n=1
f
n
.
On montre de mme que la fonction
+

n=1
f
n
est continue sur [0, 1] et nalement

f =
+

n=1
f
n
+f +
+

n=1
f
n
est continue sur
[0, 1] puis sur R par 1-priodicit.
f L

,

f est continue sur R.
8) Soit n Z. Avec les notations de la question prcdente, pour tout rel x de [0, 1],

f(x)e
2inx
=

kZ
f
k
(x)e
2inx
=
+

k=1
f
k
(x)e
2inx
+ f(x)e
2inx
+
+

k=1
f
k
(x)e
2inx
.
Pour tout k Z et tout x [0, 1],

f
k
(x)e
2inx

= |f
k
(x)|. La question prcdente montre alors que les sries de fonctions
de termes gnraux respectifs x f
k
(x)e
2inx
, k N

, et x f
k
(x)e
2inx
, k N

, convergent uniformment sur le

segment [0, 1]. On peut donc intgrer terme terme et on obtient
c
n
_

f
_
=

kZ

1
0
f(x +k)e
2inx
dx =

kZ

k+1
k
f(y)e
2in(yk)
dy
=

kZ
e
2ink

k+1
k
f(y)e
2iny
dy =

kZ

k+1
k
f(y)e
2iny
dy
=

f(y)e
2iny
=

f(n).
http ://www.maths-france.fr 3 c Jean-Louis Rouget, 2012. Tous droits rservs.
n Z, c
n
_

f
_
=

f(n).
9) Soit f W

. Pour x R, posons S(x) =

nZ
c
n
_

f
_
e
2inx
=

nZ

f(n)e
2inx
.
Puisque

f L

, il existe M > 0 et > 1 tel que x R, |x|

|f(x)| M. Pour tout n Z

et tout x R, on a en
particulier

c
n
_

f
_
e
2inx

f(n)

M
|n|

.
Ceci montre que les sries de fonctions de termes gnraux respectifs x c
n
_

f
_
e
2inx
, n N

, et x c
n
_

f
_
e
2inx
,
n N

, convergent normalement sur R et en particulier uniformment et simplement sur R. La fonction S est donc dnie
sur R. De plus, S est continue sur R en tant que limite uniforme sur R dune suite de fonctions continues sur R et aussi S
est 1-priodique.
On peut calculer les coecients de Fourier de S. Soit n Z. Encore une fois, les sries de fonctions de termes gnraux
respectifs x c
k
_

f
_
e
2i(kn)x
, k N

, et x c
k
_

f
_
e
2i(kn)x
, k N

, convergent uniformment sur le segment

[0, 1]. On peut de nouveau intgrer terme terme et on obtient
c
n
(S) =

1
0
_

kZ
c
k
_

f
_
e
2ikx
_
e
2inx
dx
=

kZ
c
k
_

f
_

1
0
e
2i(kn)x
dx =

kZ
c
k
_

f
_

k,n
= c
n
_

f
_
.
Ainsi, les fonctions

f et S sont continues sur R, 1-priodiques et ont les mmes coecients de Fourier. On en dduit que
ces deux fonctions sont gales daprs le rappel de lnonc ou encore

f est gale la somme de sa srie de Fourier.
Par suite, pour tout rel x,

nZ
f(x +n) =

f(x) =

nZ
c
n
_

f
_
e
2inx
=

nZ

f(n)e
2inx
.
Pour x = 0, on obtient

nZ
f(n) =

f(0) =

nZ

f(n).
f W

nZ
f(n) =

nZ

f(n).
C. Application la formule dinversion de Fourier
10) Soit f W

. Soit (x, ) R
2
. Pour tout n Z, f
x,
(n) = f(x +n)e
2in
puis, daprs la question 3),

f
x,
(n) = e
2ix(+n)

f(n +).
La formule de Poisson applique la fonction f
x,
(qui est encore dans W

) fournit alors pour tout (x, ) R

2
,

nZ
f(x +n)e
2in
=

nZ
f
x,
(n) =

nZ

f
x,
(n) =

nZ

f(n +)e
2ix(+n)
.
Soit x R. Pour R, posons F
x
() =

f()e
2ix
. Puisque f est dans W

,

f est continue sur R et dans L

. Puisque
|F
x
| =

, F
x
est galement dans L

et daprs la partie B, on peut dnir sa priodise : pour tout R,

F
x
() =

nZ
F
x
( +n) =

nZ

f(n +)e
2ix(n+)
.
http ://www.maths-france.fr 4 c Jean-Louis Rouget, 2012. Tous droits rservs.
Dautre part, une nouvelle fois on peut intgrer terme terme, la srie de fonctions considre convergeant uniformment
sur le segment [0, 1],
c
n
_

F
x
_
=

1
0

F
x
()e
2in
d =

1
0
_
_

pZ
f(x +p)e
2ip
_
_
e
2in
d (daprs la formule de Poisson gnralise)
=

pZ
f(x +p)

1
0
e
2i(p+n)
d =

pZ
f(x +p)
p,n
= f(x n).
Le dveloppement de

F
x
en srie de Fourier est donc

nZ
f(x n)e
2in
=

nZ
f(x + n)e
2in
et

F
x
est gale la
somme de sa srie de Fourier.
11) Soit x R. Daprs la question 8), pour tout n Z,
c
n
_

F
x
_
=

F
x
(n) =

F
x
()e
2in
d =

f()e
2ix
e
2in
d =

f()e
2i(xn)
d
En particulier, daprs la question prcdente,
f(x) = c
0
_

F
x
_
=

f()e
2ix
d.
12) Daprs la formule dinversion de Fourier, pour tout f W

et x R,

f
_
(x) =

f()e
2ix
dx = f(x).
Soit alors C une valeur propre de la transformation de Fourier dans W

. Donc il existe un lment non nul f

0
de
W

tel que

f
0
= f
0
. La transformation de Fourier tant linaire, pour tout rel x,
f
0
(x) =

f
0
(x) =

f
0
(x) =
2
f
0
(x),
puis f
0
(x) = f
0
((x)) =
2
f
0
(x) =
4
f
0
(x). Finalement, f
0
=
4
f
0
puis
4
= 1 car f
0
= 0. On a ainsi montr quune
valeur propre de la transformation de Fourier est lment de {1, i, 1, i}.
Les seules valeurs propres relles possibles de la transformation de Fourier sont 1 et 1. Maintenant, la fonction t est
dans W

daprs la remarque de la n de la question 4).

Puisque pour tout rel x,

t(x) = t(x),

t est galement dans W

. Puisque t et

t sont dans W

, il en est de mme de
f
1
= t +

t et f
2
= t

t daprs la question 2).

Pour tout rel x, puisque t est paire

f
1
(x) =

t(x) +

t(x) =

t(x) +t(x) =

t(x) +t(x) = f
1
(x).
Ainsi, f
1
est un lment, clairement non nul, de W

tel que

f
1
= f
1
. Donc 1 est eectivement une valeur propre relle de
la transformation de Fourier dans W

.
De mme, pour tout rel x,

f
2
(x) =

t(x)

t(x) =

t(x) t(x) =

t(x) t(x) = f
2
(x).
Ainsi, f
2
est un lment non nul de W

tel que

f
2
= f
2
. Donc 1 est eectivement une valeur propre relle de la
transformation de Fourier dans W

.
Les valeurs propres relles de la transformation de Fourier dans W

sont 1 et 1.
http ://www.maths-france.fr 5 c Jean-Louis Rouget, 2012. Tous droits rservs.
D. Application au thorme dchantillonnage de Whittaker
13) Soit f W

telle que

f sannule en dehors de lintervalle
_

1
2
,
1
2
_
. Notons alors que

f sannule en
1
2
et
1
2
par
continuit.
Daprs la formule de Poisson gnralise de la question 10), utilise avec x = 0, pour tout rel , on a

nZ
f(n)e
2in
=

nZ

f(n +).
Supposons de plus
_

1
2
,
1
2
_
. Si n 1, n + 1
1
2
=
1
2
et donc

f(n +) = 0.
De mme, si n 1, n + 1 +
1
2
=
1
2
et donc

f(n +) = 0. Il reste

_

1
2
,
1
2
_
,

f() =

nZ
f(n)e
2in
.
(et dautre part,

f() = 0 si || >
1
2
). Ainsi, la donne des (f(n))
nZ
dtermine

f de manire unique. Mais alors, f est
dtermine de manire unique grce la formule dinversion de Fourier :
x R, f(x) =

f()e
2ix
d =

1/2
1/2
_

nZ
f(n)e
2in
_
e
2ix
d.
14) Soit > 0. Pour R, posons g() = t
_

1
2

_
t
_
+
1
2

_
. g est dans W

. On peut donc appliquer g la

formule dinversion de Fourier.
Pour x R, posons f(x) =

_
t
_

1
2

_
t
_
+
1
2

__
e
2ix
d = g(x).
Pour tout rel x, on a

f(x) = (

( g)(x)) = g(x).
Si >
1
2
+, alors
+
1
2

1
2

> 1 et donc

f() = g() = 0. On a aussi

f() = 0 si <
1
2
par parit.

f est donc
nulle en dehors de
_

1
2
,
1
2
+
_
. Dautre part, f est un lment de lespace vectoriel W

.
Dterminons maintenant les f(n), n Z. Daprs la question 3), pour tout rel ,
f() = g() =
_
e
i
e
i
_

t () = 2i sin()

t ().
Par suite, pour n Z,
f(n) = 2i sin(n)

t (n) = 0.
Ainsi, f est un lment de W

qui concide avec la fonction nulle sur Z. Mais f nest pas la fonction nulle car pour = 0,
f() = 2i sin()
1 cos(2)
2
2

2
. f nest donc pas uniquement dtermine par ses valeurs sur Z.
E. Contre-exemple de Katznelson
15) Puisque la fonction t sannule en chaque entier non nul, pour tout k N et tout n Z

, on a u
k
(n) = 0. Dautre part,
u
k
(0) = t(0) t(0) = 0. Ainsi, chaque fonction u
k
sannule sur Z. Mais alors, si x est un entier relatif, chaque u
k,N
k
(x)
est nul. On en dduit que f(x) existe et vaut 0.
On note maintenant que pour k N, la fonction u
k
sannule en dehors de
_

1
2
k
,
1
2
k
_
car si x est un rel tel que |x| >
1
2
k
,
alors |2
k
x| > 1 et |2
k+1
x| > 2 > 1 puis u
k
(x) = 0.
Soit
_
0,
1
2
_
puis K Z. Pour x [K +, K +1 ], on a |x n| pour tout entier relatif n. Soit alors k
0
un entier
naturel tel que
1
2
k
0
< (par exemple, k
0
= log
2
_
1

_
+ 1). Pour tout entier naturel k k
0
, on a
1
2
k

1
2
k
0
< et donc
pour tout x de [K + , K +1 ] et n Z, on a |x n| >
1
2
k
et donc
http ://www.maths-france.fr 6 c Jean-Louis Rouget, 2012. Tous droits rservs.
k k
0
, x [K + , K +1 ], n Z, u
k
(x n) = 0,
puis
k k
0
, x [K + , K +1 ], u
k,N
k
(x) = 0,
et donc
x [K +, K + 1 ], f(x) =
k
0

k=0
u
k,N
k
(x).
Ainsi, f
/[K+,K+1]
=
k
0

k=0
u
k,N
k/[K+,K+1]
. Puisque la somme est nie et que chaque u
k,N
k
est continue sur R, ceci
montre que f est dnie et continue sur [K +, K + 1 ]. Ceci tant vrai pour chaque K Z et chaque
_
0,
1
2
_
, on a
montr que
f est dnie sur R et continue sur R \ Z.
16) Daprs lnonc, f est continue par morceaux sur R. Ensuite,
si |x| >
1
2
k
, u
k
(x) = 0,
si
1
2
k+1
< |x|
1
2
k
, u
k
(x) = t(2
k
x) = 1 2
k
|x| 0,
si |x|
1
2
k
, u
k
(x) = (1 2
k
|x|) (1 2
k+1
|x|) = 2
k
|x|.
Donc, chaque fonction u
k
, k N, est positive sur R, puis chaque fonction u
k,N
k
, k N, est positive sur R et nalement
f est positive sur R.
Soit k N.

u
k
(x) dx =

1/2
k
1/2
k
t(2
k
x) dx

1/2
k+1
1/2
k+1
t(2
k+1
x) dx =
1
2
k

1
1
t(u) du
1
2
k+1

1
1
t(u) du =
1
2
k

1
2
k+1
=
1
2
k+1
.
Ensuite, pour tout k N et tout n Z,

u
k
(x n) dx =

u
k
(t) dt =
1
2
k+1
. Par suite,

u
k,N
k
(x) dx =
1
N
k

nZ,
|n|<N
k
_
1
|n|
N
k
_
+

u
k
(x n) dx =
1
N
k
2
k+1

nZ,
|n|<N
k
_
1
|n|
N
k
_
=
1
N
k
2
k+1
_
1 +2
N
k

n=1
_
1
n
N
k
_
_
=
1
N
k
2
k+1
_
1 + 2N
k

1
N
k
N
k
(N
k
+1)
_
=
1
2
k+1
.
On en dduit que la srie de terme gnral

u
k,N
k
(x) dx converge.
Ainsi,
Chaque fonction u
k,N
k
, k N, est continue par morceaux sur R.
La srie de fonctions de terme gnral u
k,N
k
, k N, converge simplement vers f sur R et f est continue par morceaux
sur R.
La srie numrique de terme gnral

|u
k,N
k
(x)| dx =

u
k,N
k
(x) dx, k N, converge.
Daprs un thorme dintgration terme terme, f est intgrable sur R et

f(x) dx =
+

k=0

u
k,N
k
(x) dx =
+

k=0
1
2
k+1
= 1.
http ://www.maths-france.fr 7 c Jean-Louis Rouget, 2012. Tous droits rservs.
Ensuite, pour K N,
_
_
_
_
_
f
K

k=0
u
k,N
k
_
_
_
_
_
1
=

k=K+1
u
k,N
k
(x)

dx =
+

k=K+1

u
k,N
k
(x) dx =
+

k=K+1
1
2
k+1
=
1
2
K
,
et donc
_
_
_
_
_
f
K

k=0
u
k,N
k
_
_
_
_
_
1
tend vers 0 quand K tend vers + ou encore la srie de terme gnral u
k,N
k
, k N, converge
en moyenne vers f sur R. Maintenant, f est dans L de mme que chaque
K

k=0
u
k,N
k
, K N. Les calculs eectus la
question 6) sont encore valables et montrent que la srie de terme gnral u
k,N
k
, k N, converge uniformment vers

f
sur R.
17) Daprs la question 3), pour chaque k N et chaque n Z, la transforme de Fourier de la fonction x u
k
(x n)
est la fonction e
2in
u
k
(). Par suite, pour tout rel non entier , pour tout k N et tout N N

,
u
k,N
() =
1
N

nZ,
|n|<N
_
1
|n|
N
_
e
2in
u
k
() =
1
N
_
_
_
_

nZ,
|n|<N
_
1
|n|
N
_
e
2in
_
_
_
_
u
k
() =
1
N
2
_
sin N
sin
_
2
u
k
().
et donc pour n Z et ]n, n +1[,

u
k,N
()

=
1
N
_
_
_
_

nZ,
|n|<N
_
1
|n|
N
_
e
2in
_
_
_
_
| u
k
()|
1
N
_
_
_
_

nZ,
|n|<N
_
1
|n|
N
_
e
2in
_
_
_
_
sup
[n,n+1]
| u
k
|,
ce qui reste vrai pour x = n ou x = n +1 par continuit. Mais alors,

u
k,N
()

d =

nZ

n+1
n

u
k,N
()

1
N

nZ
sup
[n,n+1]
| u
k
|

n+1
n
_
_
_
_

pZ
|p|<N
_
1
|p|
N
_
e
2ip
_
_
_
_
d
=
1
N

nZ
sup
[n,n+1]
| u
k
|
_
_
_
_
1 +

pZ

|p|<N
_
1
|p|
N
__
e
2ip
2ip
_
n+1
n
_
_
_
_
=
1
N

nZ
sup
[n,n+1]
| u
k
| .
Soit maintenant n Z \ {1, 0}. Pour [n, n +1], daprs les questions 3) et 4),
| u
k
()| =

1
2
k

t
_

2
k
_

1
2
k+1

t
_

2
k+1
_

1
2
k
1 cos
_
2

2
k
_
2
2

2
2
2k

1
2
k+1
1 cos
_
2

2
k+1
_
2
2

2
2
2k+2

2
k

2
+
2
k+1

2

3 2
k

2
n
2
.
et donc, pour tout n Z \ {1, 0}, sup
[n,n+1]
| u
k
|
3 2
k

2
n
2
. Ceci montre que

nZ
sup
[n,n+1]
| u
k
| < +.
18) Pour k N, on choisit N
k
= 2
k
_
E
_

nZ
sup
[n,n+1]
| u
k
|
_
+1
_
. (N
k
)
kN
est une suite dentiers strictement positifs et
pour tout k N,
http ://www.maths-france.fr 8 c Jean-Louis Rouget, 2012. Tous droits rservs.

u
k,N
k
()

d
1
N
k

nZ
sup
[n,n+1]
| u
k
|
1
2
k
.
Mais alors la srie de terme gnral

u
k,N
k
()

d, k N, converge.
Dautre part, f est continue par morceaux et intgrable sur R de mme que chaque u
k,N
k
, k N ou encore f et les u
k,N
k
sont dans L. La question 1) permet darmer que

f et les u
k,N
k
, k N, sont dnies et continues sur R.
Ainsi, comme la question 16),
Chaque fonction u
k,N
k
, k N, est continue par morceaux sur R.
La srie de fonctions de terme gnral u
k,N
k
, k N, converge simplement vers

f sur R et

f est continue par morceaux
sur R.
La srie numrique de terme gnral

u
k,N
k
()

d, k N, converge.
Daprs un thorme dintgration terme terme,

f est intgrable sur R puis la srie de fonctions de terme gnral u
k,N
k
,
k N, converge en moyenne vers

f.
Comme chaque fonction u
k,N
k
, k N est dans L de mme que

f, on en dduit encore que la srie de fonctions de terme
gnral

u
k,N
k
, k N, converge uniformment vers

f sur R.
Soi k N. La fonction u
k,N
k
est continue sur R et nulle sur un voisinage de . Donc la fonction u
k,N
k
est dans L

.
Ensuite, u
k,N
k
est continue sur R puis pour tout rel ,

u
k,N
k
()

1
N
k

nZ,
|n|<N
k
_
1
|n|
N
k
_
e
2in
u
k
()

1
N
k

nZ,
|n|<N
k
_
1
|n|
N
k
_
| u
k
()| = | u
k
()| =

1
2
k

t
_

2
k
_

1
2
k

_
t
2
k
_

.
La question 4) permet alors darmer que la fonction
2
u
k,N
k
() est borne sur R et nalement que la fonction
u
k,N
k
est dans W

. La formule dinversion de Fourier montre alors que pour tout R,

u
k,N
k
() = u
n,N
k
().
On en dduit que la srie de fonction de terme gnral u
k,N
k
converge uniformment sur R vers la fonction

f()
qui est donc aussi la fonction f. La formule dinversion de Fourier sapplique donc la fonction f.
19) On a dj vu que f sannule sur Z. Par suite,

nZ
f(n) = 0.
Pour tout k N et tout R, daprs la question 3),
u
k,N
k
() =
1
N
k

nZ,
|n|<N
k
_
1
|n|
N
k
_
e
2in
u
k
() =
1
N
k

nZ,
|n|<N
k
_
1
|n|
N
k
_
e
2in
_
1
2
k

t
_
p
2
k
_

1
2
k+1

t
_
p
2
k+1
_
_
.
En particulier, pour tout k N tout p Z,
u
k,N
k
(p) =
1
N
k

nZ,
|n|<N
k
_
1
|n|
N
k
_
u
k
(p)
= u
k
(p) (daprs le calcul de la question 16)
=
1
2
k

t
_
p
2
k
_

1
2
k+1

t
_
p
2
k+1
_
puis,
http ://www.maths-france.fr 9 c Jean-Louis Rouget, 2012. Tous droits rservs.

f(p) =
+

k=0
u
k,N
k
(p) =
+

k=0
_
1
2
k

t
_
p
2
k
_

1
2
k+1

t
_
p
2
k+1
_
_
= lim
m+
m

k=0
_
1
2
k

t
_
p
2
k
_

1
2
k+1

t
_
p
2
k+1
_
_
= lim
m+
_
1
2
0

t
_
p
2
0
_

1
2
m+1

t
_
p
2
m+1
_
_
(somme tlescopique)
=

t(p).
Ainsi, p Z,

f(p) =

t(p) =
p,0
puis

pZ

f(p) = 1 = 0 =

nZ
f(n). La formule de Poisson nest donc pas vrie par la
fonction f. On a donc un exemple de fonction vriant la formule dinversion de Fourier et ne vriant pas la formule
de Poisson.
F. Application la resommation dEwald
20) Pour x R, posons h(x) = g
_
x
100
_
. h est dans L et daprs la question 3), pour tout x R,

h(x) = 100 g(100x) =
100g(100x). Mais alors, h est dans W

et on peut lui applique la formule de Poisson. On obtient

1 +2S =
+

n=
g
_
n
100
_
=
+

n=
h(n) =
+

n=

h(n)
= 100
+

n=
g(100n) = 100
_
1 + 2
+

n=1
e
10000n
2
_
,
puis
S = 49, 5 +100
+

n=1
e
10000n
2
et donc
|S 49, 5| = 100
+

n=1
e
10000n
2
100
+

n=1
_
e
10000
_
n
=
100e
10000
1 e
10000
101e
10000
=
_
1
e

ln(101)
10000
_
10000
= (0, 04 . . .)
10000
0, 1
10000
= 10
10000
.
S = 49, 5 10
10000
prs.
http ://www.maths-france.fr 10 c Jean-Louis Rouget, 2012. Tous droits rservs.