Développement n◦ 17/74 Benjamin Groux

Formule sommatoire de Poisson

Mon développement
Dans ce développement, on notera ek la fonction x 7→ eikx où k ∈ Z, et fˆ la transformée
de Fourier d’une fonction f , définie par :
Z +∞
∀ξ ∈ R, fˆ(ξ) = f (x)e−ixξ dx .
−∞

Proposition (formule

sommatoire
de Poisson). Soit f ∈ C 1 (R, R) une fonction telle
que f (x) = O x12 et f ′ (x) = O x12 quand |x| → +∞. Pour tout x ∈ R, on a
X X 1
f (x + 2πn) = fˆ(n)einx .
n∈Z n∈Z
2π

Pour tout n ∈ N, on note fn : x 7→ f (x + 2πn).
P

Par hypothèse, pour tout x ∈ R, quand |n| → +∞, fn (x) = O n12 . La série n∈Z fn
converge donc simplement sur R, on note F sa somme.
– Les fonctions fn sont de classe C 1 .
– De plus, par hypothèse, il existe M > 0 tel que pour tout x ∈ R vérifiant |x| ≥ 1, on
a f (x) ≤ M
x2
. Alors, pour tous K > 0, x ∈ [−2πK, 2πK], n ∈ Z tel que |n| > K + 1, on
a |x + 2nπ| ≥ 1 donc
M M
|fn (x)| ≤ 2
≤ 2 .
(x + 2πn) 4π (|n| − K)2
Pour tout K > 0, fn est donc bornée sur [−2πK, 2πK] parPle terme général d’une série
convergente dès que |n| > K +1. On en déduit que la série fn converge normalement,
donc aussi uniformément, sur toutPcompact de R.
– De même, on montre que la série fn′ converge uniformément sur tout compact de R.
D’après le théorème de dérivation
P pour les séries de fonctions, la fonction F est donc de
1
classe C sur R de dérivée x 7→ n∈Z f (x + 2πn).
′

P Par ailleurs, la fonction F est clairement 2π-périodique. De plus, on a vu que la série

fn converge uniformément sur [0, 2π] donc, pour tout k ∈ Z, on a
Z 2π +∞
1 X
F̂ (k) = f (x + 2πn)e−ikx dx
2π 0 n=−∞
+∞ Z 2π
1 X
= f (x + 2πn)e−ikx dx
2π n=−∞ 0
+∞ 2π(n+1) Z
1 X
= f (t)e−ikt e|2iπnk
{z } dt
2π n=−∞ 2πn
=1
Z +∞
1 1
= f (t)e−ikt dt = fˆ(k) .
2π −∞ 2π

Par le théorème deP convergence normale des séries de Fourier appliqué à F (qui est bien
1
de classe C ), la série F̂ (k)ek converge normalement sur R de somme F . En particulier,

1
Développement n◦ 17/74 Benjamin Groux

pour tout x ∈ R, on a
+∞ +∞
X 1 X ˆ
f (x + 2πn) = f (k)eikx .
n=−∞
2π k=−∞

Application. On note
R∗+ → R
θ: P+∞ −πn2 t .
t 7→ n=−∞ e

Pour tout t > 0, on a  

1 1
θ(t) = √ θ .
t t
Pour obtenir cette formule en appliquant la formule de Poisson, on va avoir besoin de
calculer la transformée de Fourier de la gaussienne.

2
Lemme. Soit a > 0 et soit f : x 7→ e−ax . Pour tout ξ ∈ R, on a :
r
π −ξ2 /4a
fˆ(ξ) = e .
a
Soit ξ ∈ R. On a
Z +∞ Z +∞ 2 ξ2
e−a(x+ 2a ) e− 4a dx .
iξ
fˆ(ξ) = e −ax2 −ixξ
dx =
−∞ −∞

On vérifie facilement que la fonction ξ 7→ fˆ(ξ)e ξ 2 /4a

satisfait les hypothèses du théorème de
dérivation sous le signe intégral. On en déduit qu’elle est de classe C 1 sur R et que sa dérivée
est Z +∞  
i iξ iξ 2
ξ 7→ −2a. x+ e−a(x+ 2a ) dx .
−∞ 2a 2a
Or, pour tout ξ ∈ R, on a
Z +∞  
i iξ iξ 2 i h −a(x+ iξ )2 i+∞
−2a x + e−a(x+ 2a ) dx = e 2a =0
2a −∞ 2a 2a −∞
R +∞ p
donc la fonction ξ 7→ fˆ(ξ)eξ /4a est constante sur R, égale à fˆ(0) = −∞ e−ax dx = πa . On
2 2

en déduit alors la formule annoncée.

On peut maintenant démontrer l’équation fonctionnelle vérifiée par θ.

2
Soit a > 0. La fonction f : x 7→ e−ax vérifie clairement les hypothèses nécessaires pour
appliquer la formule sommatoire de Poisson. En utilisant le lemme, on obtient alors, pour
tout x ∈ R,
+∞ +∞ r
X
−a(x+2πn)2 1 X π −k2 /4a ikx
e = e e .
n=−∞
2π a
k=−∞
En particulier, pour x = 0, on obtient
+∞ r +∞
X
−4aπ 2 n2 1 π X −k2 /4a
e = e .
n=−∞
2π a k=−∞
t
Appliquée en a = 4π
, cette dernière relation est la formule annoncée.

2
Développement n◦ 17/74 Benjamin Groux

Références
J’ai utilisé [El 08, p. 213], [Gou08, p. 273]. On peut aussi consulter [FGN09, pp. 304,
306], [ZQ07, p. 96].

Leçons correspondantes
J’utilise ce développement pour la leçon 230. On peut également l’utiliser pour les leçons
239, 240, 241, 246, 247.

Remarques
– Ce développement peutPse poursuivre en montrant que la fonction ζ définie pour
Re(s) > 1 par ζ(s) = +∞ 1
n=1 ns se prolonge en une fonction holomorphe sur C \{1}.
1
Plus précisément, il existe une fonction η holomorphe sur C telle que ζ(s) = s−1 + η(s).
Voir [ZQ07, p. 28].
– En appliquant la formule de Poisson à la fonction x 7→ |x|−s , on peut retrouver
l’équation fonctionnelle
 πs 
ζ(s) = 2s π s−1 sin Γ(1 − s)ζ(1 − s) .
2
– La fonction θ est reliée à la fameuse fonction Θ de Jacobi.

Questions possibles
1. Énoncer le théorème de dérivation sous le signe intégral.
R +∞ 2
2. Donner une méthode pour calculer −∞ e−ax dx.
3. Peut-on relaxer les hypothèses pour appliquer la formule de Poisson ?
4. Citer une application de la formule sommatoire de Poisson.
5. Soit a > 0. Montrer que
X 1 π
= coth(πa) .
n∈Z
n2 +a2 a

6. On considère un jeu avec une pièce de monnaie (probabilités p ∈]0, 1[ d’obtenir ≪ pile ≫ et
q = 1−p d’obtenir ≪ face ≫) et deux joueurs A et B. Le joueur A lance la pièce une fois,
puis B la lance 3 fois, puis A 5 fois etc... jusqu’à ce qu’un joueur gagne en obtenant
≪ pile ≫ . Peut-on piper la pièce afin que A et B aient la même probabilité de gagner ?

Références
[El 08] Mohammed El Amrani : Analyse de Fourier dans les espaces fonctionnels. Ellipses,
2008.
[FGN09] Serge Francinou, Hervé Gianella et Serge Nicolas : Exercices de
mathématiques, Oraux X-ENS, Analyse 2. Cassini, 2009.
[Gou08] Xavier Gourdon : Analyse. Ellipses, 2008.
[ZQ07] Claude Zuily et Hervé Queffélec : Analyse pour l’agrégation. Dunod, 2007.