Séries de Fourier

10 octobre 2019

Les séries de Fourier ont été introduites pour résoudre l’équation de la chaleur

∂t u(t, x) = ∂xx u(t, x),
 (t, x) ∈ R∗+ × [0, π],
u(t, 0) = u(t, π) = 0, t>0 (0.1)

u(0, x) = u0 (x), x ∈ [0, π].


L’idée est de combiner des solutions élémentaires. Si u0 est une fonction de la forme x 7→
sin(nx) pour un certain n ∈ N, alors la fonction
2
(t, x) 7→ e−n t sin(nx)

est solution. Par linéarité de l’équation, si u0 est combinaison linéaire de telles fonctions sinus,
alors on sait également résoudre l’équation. Joseph Fourier affirme alors que toute fonction
u0 qui s’annule en 0 et π s’écrit comme somme infinie de fonctions sinus,
X
u0 (x) = bn sin(nx),
n∈N∗

et que la solution de (0.1) est alors donnée par

X 2
u(t, x) = bn sin(nx)e−n t .
n∈N∗

Les fonctions σn : x 7→ sin(nx) jouent un rôle particulier dans cette histoire car ce sont,
en quelque sorte, des fonctions propres pour l’opérateur ∂xx :

σn00 = −n2 σn .

La valeur propre correspondante, −n2 , apparaît alors naturellement dans le facteur exponen-
tiel en temps.

La question qui est alors soulevée est celle de la « diagonalisation » de l’opérateur ∂xx .
Peut-on effectivement, comme l’affirme Fourier, écrire toute fonction comme « somme » de
fonctions propres ?

Même si Fourier a été un peu rapide en affirmant que c’était bien le cas, son observa-
tion occupe à double titre une place capitale dans l’histoire de l’analyse. D’une part, l’idée
fonctionne, et les séries de Fourier (et la transformée de Fourier, adaptée aux problèmes sur
tout R) est un outil absolument crucial en analyse (pour l’étude des équations aux dérivées
partielles, le traitement du signal,. . .). D’autre part, la nécessité de justifier l’observation de
Fourier a obligé les mathématiciens à mieux formaliser des concepts fondamentaux, telle que
la notion de fonction elle-même. Cela a par exemple été un tournant dans le développement
du calcul intégral, qui intervient dans la définition des coefficients de Fourier (en particulier,
l’intégrale devient un outil d’analyse, et n’est plus seulement destinée à calculer des aires).

1 Série de Fourier d’une fonction périodique

1.1 Fonctions périodiques
On commence par rappeller la définition d’une fonction périodique.

1
Préparation à l’agrégation - Séries de Fourier

Définition 1.1. Soient T > 0 et f une fonction de R dans R. On dit que f est T -périodique
si pour tout x ∈ R on a
f (x + T ) = f (x).
Dans ces notes on se concentrera sur les fonctions 2π-périodiques. On remarque que si f
est T -périodique pour un certain T > 0, alors la fonction
 
xT
x 7→ f
2π
est 2π-périodique. Ainsi, tous les résultats obtenus pour des fonctions 2π-périodiques s’éten-
dront sans difficultés aux fonctions T -périodiques (voir la section 6).

D’autre part, une fonction 2π-périodique définit par passage au quotient une fonction sur
le tore (ou cercle, en dimension 1)
T = R/(2πZ).
Inversement, une fonction sur le cercle définit une fonction 2π-périodique sur R. Il est donc
équivalent de s’intéresser aux fonctions 2π-périodiques sur R ou aux fonctions sur le tore.

Enfin, une fonction f sur ]−π, π] (ou sur n’importe quel intervalle de longueur 2π) s’étend
par périodicité en une fonction f˜ définie sur R et 2π-périodique. Étant donné x ∈ R il existe
un unique couple (x0 , k) ∈] − π, π] × Z tel que x = x0 + 2kπ. On pose alors f˜(x) = f (x0 ), ce
qui définit une fonction f˜ sur R qui est bien 2π-périodique.
Il est important de noter que si f est continue ] − π, π], alors f˜ ne l’est pas forcément sur
R. La remarque vaut pour tous les niveaux de régularité (fonctions de classe C 1 , de classe
C ∞ , etc.).
De même, une fonction sur [0, π] (comme en (0.1)) peut d’abord être prolongée par im-
parité (ou parité) sur ] − π, π] avant d’être prolongée par 2π-périodicité.

1.2 Polynômes trigonométriques

Dans l’esprit de la résolution de l’équation de la chaleur (0.1), on cherche à écrire toute
fonction comme somme (éventuellement infinie) de fonctions 2π-périodiques, pour lesquelles
il existe λ ∈ C telles que u0 = λu (fonctions propres pour l’opérateur de dérivation, par
rapport au contexte de (0.1), on n’impose pas de point d’annulation pour nos fonctions). Les
fonctions candidates sont les fonctions de la forme x 7→ αeλx . Et pour qu’une telle fonction
soit 2π-périodique, λ doit être de la forme in pour un certain n ∈ Z.

Pour n ∈ Z on note en la fonction de R dans C définie par

en (x) = einx .

Définition 1.2. On appelle polynôme trigonométrique une combinaison linéaire des fonctions
en pour n ∈ Z. Un polynôme trigonométrique est donc une fonction de la forme
N
X
x 7→ cn einx ,
n=−N

avec N ∈ N et c−N , . . . , cN ∈ C.
On note qu’un polynôme trigonométrique est une fonction 2π-périodique et de classe C ∞
(et même analytique) sur R.

On commence avec les propriétés de base des fonctions en , n ∈ Z, et des polynômes

trigonométriques. Par un simple calcul on obtient le résultat suivant :
Lemme 1.3. Pour n, m ∈ Z on a
(
Z π
1 1 si n = m,
en (x)em (x) dx = δn,m :=
2π −π 0 6 m.
si n =

2 J. Royer - Université Toulouse 3

 1 SÉRIE DE FOURIER D’UNE FONCTION PÉRIODIQUE

Une conséquence de ce premier résultat est que la famille (en )n∈Z est libre (dans le C-
espace vectoriel usuel des fonctions de R dans C). En particulier, si f est un polynôme
trigonométrique, alors l’écriture
N
X
∀x ∈ R, f (x) = cn e−inx (1.2)
n=−N
PN
est unique (au sens où s’il existe N ∈ N et c−N , . . . , cN , c̃−N , . . . , c̃N tels que n=−N cn einx =
PN inx
n=−N c̃n e pour tout x ∈ R, alors cn = c̃n pour tout n ∈ J−N, N K).
Proposition 1.4. Soient N ∈ N et c−N , . . . , cN ∈ C. On note f le polynôme trigonométrique
défini par (1.2). Alors pour tout n ∈ J−N, N K on a
Z π
1
cn = e−inx f (x) dx. (1.3)
2π −π

Démonstration. Soit n ∈ J−N, N K. Par linéarité de l’intégrale et le lemme 1.3 on a

Z π N Z π
1 X 1
e−inx f (x) dx = cm ei(m−n)x f (x) dx = cn .
2π −π 2π −π
m=−N

On introduit maintenant une autre écriture pour les polynômes trigonométriques. On

rappelle que pour n ∈ N et x ∈ R on a

einx = cos(nx) + i sin(nx).

Cela donne les formules d’Euler :

einx + e−inx einx − e−inx
cos(nx) = et sin(nx) = .
2 2i
Ainsi les polynômes trigonométriques sont exactement les fonctions de la forme
N
a0 X

f : x 7→ + an cos(nx) + bn sin(nx) , (1.4)
2 n=1

avec N ∈ N et a0 , . . . , aN , b1 , . . . , bN ∈ C. On a alors, avec la notation (1.2),

1 π
Z
∀n ∈ N, an = cn + c−n = f (x) cos(nx) dx (1.5)
π −π
et Z π
1
∀n ∈ N∗ , bn = i(cn − c−n ) = f (x) sin(nx) dx. (1.6)
π −π

On note que le choix de noter a0 /2 le coefficient constant dans (1.4) est arbitraire, mais cela
permet d’avoir une expression uniforme pour les an , n ∈ N.
En général on n’utilise l’écriture (1.4) que si f est à valeurs réelles, auquel cas les coeffi-
cients an et bn sont réels (contrairement aux cn (f ) pour n ∈ Z).
On revient rapidement sur l’équation de la chaleur évoquée en introduction. On considère
maintenant le problème

∂t u(t, x) = ∂xx u(t, x),
 (t, x) ∈ R∗+ × [−π, π],
u(t, −π) = u(t, π), t>0 (1.7)

u(0, x) = u0 (x), x ∈ [−π, π].


Par rapport à (0.1), on n’impose pas que la fonction s’annule au bord de l’intervalle. Il n’est
pas difficile de voir que si u0 est un polynôme trigonométrique, c’est-à-dire s’il existe N ∈ N
et c−N , . . . , cN ∈ C tels que
N
X
∀x ∈ [−π, π], u0 (x) = cn einx ,
n=−N

Année 2019-2020 3
Préparation à l’agrégation - Séries de Fourier

alors on obtient une solution de (1.7) en posant, pour tous t > 0 et x ∈ [−π, π],

N
X 2
u(t, x) = cn einx−n t .
n=−N

Ainsi, les polynômes trigonométriques sont des fonctions agréables quand il s’agit de
résoudre des équations différentielles sur le cercle. Mais c’est un cadre beaucoup trop restrictif,
et notre objectif est maintenant d’approcher (en un sens à déterminer) des fonctions aussi
générales que possible par des polynômes trigonométriques.

1.3 Série de Fourier d’une fonction périodique

On cherche à approcher une fonction f par une suite de polynômes trigonométriques. Un
choix naturel est de considérer la suite des polynômes trigonométriques définis par le membre
de droite dans (1.2), avec les coefficients cn définis par (1.3), en laissant N tendre vers +∞.

Une condition minimale pour pouvoir définir ces coefficients est que f soit intégrable
sur [−π, π]. On note L1per (R) l’ensemble des fonctions de R dans C localement intégrables et
2π-périodiques, quotienté par la relation d’égalité presque partout. Pour f ∈ L1per (R) on note
Z π
1
kf kL1per = |f (x)| dx.
2π −π

Une fonction continue par morceaux est en particulier localement intégrable. À un niveau
où l’intégrale de Lebesgue n’est pas connue, on peut se contenter de définir les séries de
Fourier pour des fonctions 2π-périodiques et continues par morceaux. Mis à part la section
4 sur la théorie L2 , tous les résultats de ce chapitre peuvent être restreints à ce cadre.

Soit f ∈ L1per (R). Pour n ∈ Z on pose

Z π
1
cn (f ) = f (y)e−iny dy.
2π −π

Les cn (f ), n ∈ Z, sont appelés coefficients de Fourier (exponentiels) de f . Pour N ∈ N on

considère alors le polynôme trigonométrique
N
X
SN (f ) : x 7→ cn einx . (1.8)
n=−N

On dit que la série de Fourier de f converge si la suite de fonctions SN (f ) converge quand

N tend vers +∞. Les questions qui se posent alors sont alors les suivantes.
(i) La série de Fourier de f converge-t-elle ? En quel sens ?
(ii) Si la série de Fourier de f converge, converge-t-elle vers f ?
On prendra garde à la notation
X
S(f ) = cn (f )einx (1.9)
n∈Z
P
pour la série de Fourier de f . On dit qu’une
P P fonctions n∈Z gn est convergente (quel
série de
que soit le sens considéré) si les séries n>0 gn et n<0 gn sont toutes les deux convergentes,
PN
ce qui est a priori plus fort que la convergence de la fonction n=−N gn pour N → +∞. On
pourra utiliser la notation (1.9) quand la série est effectivement convergente.

Ce problème ne se pose pas avec les notations réelles. Pour n ∈ N∗ on note

a0 (f ) = 2c0 (f ), an (f ) = cn (f ) + c−n (f ), bn (f ) = i(cn (f ) − c−n (f )). (1.10)

4 J. Royer - Université Toulouse 3

 1 SÉRIE DE FOURIER D’UNE FONCTION PÉRIODIQUE

Les an (f ), n ∈ N et bn (f ), n ∈ N∗ , sont appelés coefficients de Fourier (trigonométriques) de

f . Pour tous N ∈ N et x ∈ R on a alors
N
a0 X

SN (f )(x) = + an cos(nx) + bn sin(nx) ,
2 n=1

et la série de Fourier de f s’écrit

+∞
a0 X

S(f )(x) = + an cos(nx) + bn sin(nx) . (1.11)
2 n=1

Comme pour les polynômes trigonométriques, si on connait les coefficients trigonomé-

triques de f on peut retrouver les coefficients exponentiels. Pour n ∈ N∗ on a

an (f ) − ibn (f ) an (f ) + ibn (f )
cn (f ) = et c−n (f ) = .
2 2
Et on peut calculer directement ces coefficients trigonométriques. Pour n ∈ N on a

1 π
Z
an (f ) = f (x) cos(nx) dx,
π −π

et pour n ∈ N∗ , Z π
1
bn (f ) = f (x) sin(nx) dx.
π −π

Dans ces notes, on a choisi de privilégier la représentation (1.9) plutôt que (1.11) pour la
série de Fourier de f . C’est un choix arbitraire, il est tout à fait possible de faire l’inverse.
Typiquement, si on ne s’intéresse qu’à des fonctions à valeurs réelles.

1.4 Propriétés des coefficients de Fourier

Dans ce paragraphe on donne les propriétés de base des coefficients de Fourier définis
précédemment. La proposition suivante se montre avec de simples calculs :

Proposition 1.5. (i) L’application f ∈ L1per (R) 7→ (cn (f ))n∈Z est linéaire. En outre pour
f ∈ L1per et n ∈ Z on a
|cn (f )| 6 kf kL1per .

(ii) Si f ∈ L1per est à valeurs réelles alors a0 (f ) = c0 (f ) est réel et pour n ∈ N∗ on a

c−n (f ) = cn (f ), an (f ) ∈ R, bn (f ) ∈ R.

(iii) Si f ∈ L1per est paire alors bn (f ) = 0 pour tout n ∈ N∗ et

Z π
2
∀n ∈ N, an (f ) = f (x) cos(nx) dx.
π 0

Si f ∈ L1per est impaire alors an (f ) = 0 pour tout n ∈ N et

Z π
2
∀n ∈ N∗ , bn (f ) = f (x) sin(nx) dx.
π 0

(iv) Soient f ∈ L1per (R) et x0 ∈ R. On considère fx0 : x 7→ f (x + x0 ). Alors pour tout n ∈ Z

on a
cn (fx0 ) = einx0 cn (f ).

Proposition 1.6. Soit k ∈ N∗ . Soit f : R → C une fonction de classe C k . Alors pour tout
n ∈ Z on a
cn (f (k) ) = (in)k cn (f ).

Année 2019-2020 5
Préparation à l’agrégation - Séries de Fourier

Démonstration. Le cas où k = 1 est une simple intégration par parties. Comme la fonction
x 7→ einx f (x) est 2π-périodique, ona
Z π
1
cn (f 0 ) = e−inx f 0 (x) dx
2π −π
Z π
1  −inx π 1
= e f (x) −π + ine−inx f (x) dx
2π 2π −π
= incn (f ).

Le cas général suit alors par récurrence.

Proposition 1.7 (Lemme de Riemann-Lebesgue). Soit f ∈ L1per . Alors on a

cn (f ) −−−−−→ 0.
n→±∞

Si de plus f est de classe C k pour un certain k ∈ N∗ , alors

−k

cn (f ) = O |n| .
n→±∞

Bien entendu, via (1.10) ou par une preuve analogue à ce qui suit, on obtient un énoncé
analogue pour les coefficients an (f ) et bn (f ).
Démonstration. On commence par montrer le cas particulier. Si f est de classe C k alors
d’après les propositions 1.6 puis 1.5 on a pour n 6= 0

cn (f (k) ) f (k) L1per

|cn (f )| = k
6 k
.
|n| |n|

On considère maintenant une fonction f ∈ L1per (R). Soit ε > 0. Comme l’ensemble des
fonctions C 1 à supports compacts dans ] − π, π[ est dense dans L1 (−π, π), il existe g de classe
C 1 et à support compact dans ] − π, π[ telle que
Z π
1 ε
|f (x) − g(x)| dx 6 .
2π −π 2

On prolonge g par 2π-périodicité. Cela donne une fonction de classe C 1 et 2π-périodique,

que l’on note toujours g. D’après ce qui précéde, il existe n0 ∈ N tel que pour tout n ∈ Z tel
que |n| > n0 on a
ε
|cn (g)| 6 .
2
Pour un tel n on a alors
ε ε
|cn (f )| 6 |cn (g)| + |cn (f ) − cn (g)| 6 + |cn (f − g)| 6 + kf − gkL1per 6 ε.
2 2
D’où le résultat.

1.5 Exemples de calculs de coefficients de Fourier

On commence par remarquer que si f est un polynôme trigonométrique, alors on a S(f ) =
f.
Exemple 1.8. On considère la fonction 2π-périodique f qui vaut 1 sur [0, π[ et -1 sur [−π, 0[.
Alors, si on omet les multiples de π (qui ne jouent pas de rôle pour le calcul des coefficients
de Fourier), f est impaire. Pour n ∈ N on a alors an = 0 et
(
2 π
Z
0 si n est pair,
bn = sin(nx) dx = 4
π 0 nπ si n est impair.

Ainsi on a
4 X sin((2m + 1)x)
S(f )(x) = .
π (2m + 1)
m∈N

6 J. Royer - Université Toulouse 3

 2 CONVERGENCES PONCTUELLE DE LA SÉRIE DE FOURIER

Exemple 1.9. On considère la fonction 2π-périodique f telle que f (x) = x pour tout x ∈
] − π, π]. Alors f est (presque partout) impaire. Pour n ∈ N on a alors an = 0 et
π
2 π 2 π cos(nx) 2(−1)n+1
Z  Z
2 cos(nx)
bn = x sin(nx) dx = −x + dx = .
π 0 π n 0 π 0 n n

Ainsi on a
X 2(−1)n+1 sin(nx)
S(f )(x) = .
n
n∈N

On observe que pour ces exemples avec des fonctions à valeurs réelles, on est finalement
revenu aux coefficients trigonométriques pour les calculs.

2 Convergences ponctuelle de la série de Fourier

Dans cette section et dans les suivantes, on cherche dans quelle mesure le polynôme
trigonométrique SN (f ) est une bonne approximation de f quand N devient grand.

2.1 Convergence ponctuelle

Le but de ce paragraphe est de montrer le résultat suivant :
Théorème 2.1 (Théorème de Dirichlet). Soit f une fonction 2π-périodique et C 1 par mor-
ceaux. Alors la suite de fonctions (SN (f ))N ∈N converge simplement sur R et pour tout x ∈ R
on a
f (x− ) + f (x+ )
SN (f )(x) −−−−−→ ,
N →+∞ 2
où f (x− ) et f (x+ ) désignent les limites à gauche et à droite de f en x. En particulier, si f
est continue et C 1 par morceaux alors SN (f ) converge simplement vers f quand N tend vers
+∞.
Pour montrer ce théorème on introduit le noyau de Dirichlet, défini pour N ∈ N et x ∈ R
par
N
X
DN (x) = einx .
n=−N

On a alors
N N
X X 1 in(x−y)
SN (f )(x) = cn (f )einx = e f (y) dy
2π
n=−N n=−N (2.12)
Z π
1
= DN (x − y)f (y) dy.
2π −π

Ainsi, SN (f ) est le produit de convolution de DN avec f .

Proposition 2.2. Soit N ∈ N.
(i) La fonction DN est paire.
(ii) On a Z π
1
DN (x) dx = 1 (2.13)
2π −π

(iii) Pour x ∈ R on a  (2N +1)x

 sin( 2 ) si x ∈
/ 2πZ,
DN (x) = sin( x
2) (2.14)
2N + 1 si x ∈ 2πZ.

Démonstration. Le premier point est clair. Pour le second on écrit

Z π N Z π
1 1 X
Dn (x) dx = einx dx = 1.
2π −π 2π −π
n=−N

Année 2019-2020 7
Préparation à l’agrégation - Séries de Fourier

La troisième propriété est claire pour x ∈ 2πZ. Sinon

2N
X ei(2N +1)x − 1
DN (x) = e−iN x (eix )n = e−iN x
n=0
eix − 1
i(2N +1)x i(2N +1)x i(2N +1)x
−iN x
e e 2 e 2 − e− 2
= ix ix ix
e2 e 2 − e− 2
 
(2N +1)x
sin 2
= x

.
sin 2

N.B. : cette astuce de factoriser par l’angle moitié est à retenir. . .

Démonstration du théorème de Dirichlet. Soit x ∈ R. On a
Z π
f (x− ) + f (x+ ) 1 f (x− ) + f (x+ )
Sn (f )(x) − = DN (y)f (x − y) dy − .
2 2π −π 2
Puisque DN est paire on a
Z 0 Z 0
1 f (x+ ) 1
DN (y) f (x − y) − f (x+ ) dy


DN (y)f (x − y) dy − =
2π −π 2 2π −π
Z π
1
DN (y) f (x + y) − f (x+ ) dy


=
2π 0
Z π
(2N + 1)y f (x + y) − f (x+ )
 
1
= sin dy.
sin y2


2π 0 2

La fonction
f (x + y) − f (x+ )
y 7→
sin y2

est continue par morceaux sur ]0, π] et admet une limite finie en 0, donc elle s’étend en une
fonction continue par morceaux sur [0, π]. D’après le lemme de Riemann-Lebesgue (proposi-
tion 1.7), on obtient
Z π
(2N + 1)y f (x + y) − f (x+ )
 
1
sin dy −−−−−→ 0.
sin y2


2π 0 2 N →+∞

On obtient de la même façon que

Z π
1 f (x− )
DN (y)f (x − y) dy − −−−−−→ 0.
2π 0 2 N →+∞

D’où le résultat.
Remarque 2.3. Attention, il existe des fonctions continues dont la série de Fourier n’a pas de
limite simple. Voir par exemple l’exercice 4 p. 264 de [Gourdon].

2.2 Phénomène de Gibbs

On revient dans ce paragraphe sur l’exemple 1.8. Pour M ∈ N on a
M −1
4 X sin((2m + 1)x)
S2M (f ) = .
π m=0 2m + 1

D’après le théorème 2.1 on a


1
 if x ∈]0, π[+2πZ,
S2M (f ) −−−−−→ −1 if x ∈] − π, 0[+2πZ, (2.15)
M →+∞ 
0 if x ≡ 0 [π].


8 J. Royer - Université Toulouse 3

 2 CONVERGENCES PONCTUELLE DE LA SÉRIE DE FOURIER

En particulier, la limite de S2M (x) est dans [-1,1] pour tout x ∈ R. On observe pourtant (voir
figure 1) que
lim inf kS2M (f )kL∞ (R) > 1.
M →+∞
En effet on peut calculer
M −1
4 X sin mπ π


M + 2M
 π 
S2M =
2M π m=0 2m + 1
M −1
4 X sin mπ

 
M 1
= 2m + O
πM m=0 M M →+∞ M
Z 1
2 π sin(t)
Z
4 sin(sπ)
−−−−−→ ds = dt.
M →+∞ π 0 2s π 0 t
Or on peut vérifier (par exemple par approximation numérique) que
Z π
sin(t) π
dt > .
0 t 2
Ce phénomène, qui n’est absolument pas en contradiction avec la convergence simple rappelée
en (2.15), est appelé phénomène de Gibbs, et doit être pris en compte en traitement du signal.

Figure 1 – S10 (f ) et S200 (f )

2.3 Exemples d’applications pour des calculs de séries

Exemple 2.4. On considère sur R la fonction 2π-périodique f telle que
x2
∀x ∈] − π, π], f (x) = 1 − .
π2
On note que f est paire, donc bn (f ) = 0 pour tout n ∈ N∗ . On calcule
2 π x2
Z  
4
a0 = 1− 2 =
π 0 π 3
et, pour n ∈ N∗ ,
π
x2
Z  
2
an = cos(nx) 1 − 2 dx
π 0 π
Z π
2
=− 3 cos(nx)x2 dx
π 0
= . . . (double intégration par parties)
(−1)n+1 4
= .
π 2 n2

Année 2019-2020 9
Préparation à l’agrégation - Séries de Fourier

Comme f est continue et C 1 par morceaux, on a pour tout x ∈ R

x2 2 4 X (−1)n+1
1− = + cos(nx).
π2 3 π2 ∗
n2
n∈N

Appliqué en x = π cela prouve que

X 1 π2
= .
∗
n2 6
n∈N

Appliqué en x = 0 cela donne

X (−1)n π2
= − .
∗
n2 12
n∈N

Ces deux résultats donnent également

!
X 1 1 X 1 X (−1)n π2
= − = .
(2n − 1)2 2 n2 n2 8
n∈N∗ ∗
n∈N ∗ n∈N

Exercice 1. Soit f la fonction 2π-périodique telle que f (x) = ex pour tout x ∈ [−π, π[.
1. Calculer les coefficients de Fourier de f .
X 1 X (−1)n
2. En déduire les sommes des séries 2
et .
∗
n +1 ∗
n2 + 1
n∈N n∈N

3 Convergence au sens de Cesàro d’une série de Fourier

3.1 Théorème de Fejér
Pour N ∈ N on pose
N −1
1 X
σN (f ) = Sn (f ).
N n=0

Théorème 3.1 (Théorème de Fejér). Soit f une fonction 2π-périodique continue. Alors
σN (f ) converge uniformément vers f sur R quand N tend vers +∞.

Démonstration. • Pour N ∈ N on note (voir Figure 2)

N −1
1 X
KN = Dn , (3.16)
N n=0

de sorte que pour tout x ∈ R on a (voir (2.12))

Z π Z π
1 1
σN (f )(x) = Kn (x − y)f (y) dy = Kn (y)f (x − y) dy. (3.17)
2π −π 2π −π

D’après (2.13) on a
Z π N −1 Z π
1 1 X 1
Kn (x) dx = Dn (x) dx = 1. (3.18)
2π −π N n=0 2π −π

Enfin, d’après (2.14), on obtient, pour x ∈ R \ 2πZ,

 
N (2n+1)x N −1
1 X sin 2 1 X x

Kn (x) = x

= x

Im einx ei 2 .
N n=0 sin 2 N sin 2 n=0

Or
N −1 Nx


X
inx i x ix eiN x − 1 sin 2
iN x
e e 2 =e 2
ix
= x e 2 ,
n=0
e −1 sin 2

10 J. Royer - Université Toulouse 3

 3 CONVERGENCE AU SENS DE CESÀRO D’UNE SÉRIE DE FOURIER

Figure 2 – K10

donc
Nx 2


sin 2
Kn (x) =
2 . (3.19)
N sin x2
On observe en particulier que KN (x) > 0 pour tout x ∈ R.
• Comme f est continue et 2π-périodique, elle est uniformément continue. Pour η > 0 on
note
ω(η) = sup |f (x1 ) − f (x2 )| .
x1 ,x2 ∈R
|x1 −x2 |6η

Pour N ∈ N et x ∈ R on a
Z π
1
|σN (f )(x) − f (x)| 6 Kn (y) |f (x − y) − f (x)| dy.
2π −π

Comme Z η Z η
1 1
Kn (y) |f (x − y) − f (x)| dy 6 Kn (y)ω(η) dy 6 ω(η)
2π −η 2π −η
et
2 kf k∞
Z
1
Kn (y) |f (x − y) − f (x)| dy 6 2 kf k∞ sup KN (y) 6
,
2π [−π,π]\[−η,η] η6|y|6π N sin η2

cela donne
2 kf k∞
kσN (f ) − f k∞ 6 ω(η) +
.
N sin η2
ε
Soit ε > 0. Il existe η ∈]0, π[ tel que ω(η) 6 2 puis, η étant ainsi fixé, il existe N0 ∈ N tel
2kf k∞ ε
que N0 sin( η2 )
6 2. Pour tout N > N0 on a alors

kσN (f ) − f k∞ 6 ε.

D’où le résultat.

Année 2019-2020 11
Préparation à l’agrégation - Séries de Fourier

Corollaire 3.2. Soit f une fonction continue et 2π-périodique. Soit x ∈ R. Si la suite

(Sn (f )(x))n∈N converge, alors la limite est nécessairement f (x).
On rappelle que même pour une fonction continue, la série de Fourier ne converge pas
forcément en tout point. Néanmoins, ce que dit ce corollaire est que si elle converge vers
quelque chose en un point x, c’est nécessairement vers la limite attendue, à savoir f (x). C’est
déjà ça. On note que ce n’est pas le cas pour la série de Taylor d’une fonction régulière au
voisinage d’un point, qui peut converger ponctuellement vers autre chose que la fonction de
départ.
Remarque 3.3. On observe que pour tout N ∈ N on a d’après (3.17) et (3.18)
kσN (f )kL∞ (R) 6 kf kL∞ (R) .
C’est à comparer au phénomène de Gibbs, évoqué au paragraphe 2.2.

3.2 Conséquences du théorème de Fejér

Théorème 3.4 (Théorème de Weierstrass trigonométrique). Pour tout fonction f continue
et 2π-périodique f , il existe une suite (Pn )n∈N de polynômes trigonométriques qui converge
uniformément vers f Autrement dit, l’ensemble des polynômes trigonométriques est dense
dans l’espace des fonctions continues et 2π-périodiques.
Proposition 3.5. Soit f une fonction continue et 2π-périodique telle que cn (f ) = 0 pour
tout n ∈ Z. Alors f est nulle.
Démonstration. On a σN (f ) = 0 pour tout N ∈ N. Or, d’après le théorème 3.1, σN (f )
converge uniformément vers f . Cela implique que f = 0.

3.3 Version Lp
On a vu dans la démonstration du théorème 3.1 que σN (f ) est le produit de convolution
de f avec le noyau KN défini en (3.16).
Proposition 3.6. La suite (KN )N ∈N est une suite d’approximation de la masse de Dirac.
Démonstration. On sait d’après (3.19) et (3.18) que pour tout N ∈ N on a KN > 0 et
kKN kL1per = 1. Soit maintenant η ∈]0, π[. On a
Z
2π
KN (x) dx 6 2π sup KN (x) 6 η −−−−−→ 0.


η6|x|6π η6|x|6π N sin 2
N →+∞

Proposition 3.7. Soient p ∈ [1, +∞[ et f ∈ Lpper (R). Alors on a

kf − σN (f )kLpper (R) −−−−−→ 0.
N →+∞

En outre pour tout N ∈ N on a

kσN (f )kLpper (R) 6 kf kLpper (R) .

4 Théorie L2 des séries de Fourier

Pour une fonction mesurable et 2π-périodique de R dans C on note
Z π  12
2
kf kL2per = |f (x)| dx .
−π

On note alors L2per

l’ensemble des fonctions mesurables et 2π-périodiques de R dans C telles
que kf kL2per < +∞, quotienté par la relation d’égalité presque partout. Pour f, g ∈ L2per on
pose Z π
1
hf, gi = f (x)g(x) dx. (4.20)
2π −π
On note que L2per ⊂ L1per , avec injection continue.

12 J. Royer - Université Toulouse 3

 4 THÉORIE L2 DES SÉRIES DE FOURIER

Proposition 4.1. L’application définie par (4.20) est un produit scalaire sur L2per . En outre
L2per est complet pour la norme associée. Ainsi, L2per muni du produit scalaire (4.20) est un
espace de Hilbert.
Proposition 4.2. La famille (en )n∈Z est une base hilbertienne de L2per .
Démonstration. La famille (en )n∈Z est dénombrable est elle est orthonormée d’après le lemme
1.3. D’après le théorème 3.4, on sait que l’ensemble des polynômes trigonométriques est dense,
au sens de la norme uniforme et donc dans L2per , dans l’ensemble des fonctions continues et 2π-
périodiques. Par ailleurs, on sait que les fonctions continues à supports compacts dans ]−π, π[
sont denses dans L2 (−π, π). Par prolongement périodique, on obtient que les fonctions conti-
nues et 2π-périodiques sont denses dans L2per . Finalement, les polynômes trigonométriques
sont denses dans L2per .
On observe que pour f ∈ L2per et n ∈ Z on a

cn (f ) = hf, en i ,

de sorte que SN (f ) n’est autre que le projeté orthogonal de f sur le sous-espace vectoriel
engendré par la famille {e−N , . . . , eN }. En particulier, pour tout N ∈ N on a SN (f ) ∈ L2per
et
kSN (f )kL2per 6 kf kL2per .
On déduit également de la théorie générale des espaces de Hilbert les résultats suivants.
Proposition 4.3 (Convergence au sens de la norme quadratique de la série de Fourier).
Pour tout f ∈ L2per on a
kf − SN (f )kL2per −−−−−→ 0.
N →+∞

Proposition 4.4 (Identité de Parseval). Pour tout f ∈ L2per on a

2
X 2
kf kL2 = |cn (f )| .
per
n∈Z

Remarque 4.5. Avec les coefficients trigonométriques on obtient

2
2 |a0 (f )| 1 X  2 2

kf kL2per = + |an (f )| + |bn (f )| .
4 2 ∗n∈N

Remarque 4.6. Pour f, g ∈ L2per on a également

1 X
f (x)g(x) dx = cn (f )cn (g).
2π
n∈Z

On observe que l’identité de Parseval redonne dans le cadre L2 le lemme de Riemann-

Lebesgue (voir la proposition 1.7).
Corollaire 4.7 (Lemme de Riemann-Lebesgue). Pour tout f ∈ L2per on a

|cn (f )| −−−−−→ 0.
n→±∞

On note enfin que l’identité de Parseval permet également de calculer des séries numé-
riques.
Exemple 4.8. On reprend les calculs de l’exemple 2.4. Alors l’identité de Parseval donne
Z π 
x2

8 1 4 1 X 16
= 1 − 2 dx = + ,
15 2π −π π 9 2 ∗
π 4 n4
n∈N

et donc
X 1 π4
4
= .
∗
n 90
n∈N

Année 2019-2020 13
Préparation à l’agrégation - Séries de Fourier

5 Convergence normale des séries de Fourier

On a montré à la section 2 que la série de Fourier d’une fonction C 1 par morceaux converge
ponctuellement, puis on a montré à la section 3 que la série de Fourier d’une fonction conti-
nue converge uniformément au sens de Cesàro. C’est en cumulant ces deux propriétés qu’on
obtient une « bonne » convergence de la série de Fourier, à savoir la convergence uniforme
(en fait, normale) de la série vers la fonction de départ. Pour cela, on utilisera l’identité de
Parseval obtenue en utilisant le point de vue Hilbertien pour les séries de Fourier.

On commence par généraliser le résultat de la proposition 1.6 pour une fonction qui n’est
pas tout à fait de classe C 1 .

Proposition 5.1. Soit f une fonction 2π-périodique, continue, et C 1 par morceaux. Alors
f 0 est bien définie presque partout, elle définit une fonction dans L1per , et pour tout n ∈ N on
a
cn (f 0 ) = incn (f ).

Démonstration. Soient k ∈ N et a0 , . . . , ak ∈ [−π, π] tels que −π = a0 < a1 < · · · < ak = π

et pour tout j ∈ J1, kK la restriction de f à ]aj−1 , aj [ s’étend par continuité en une fonction
C 1 sur [aj−1 , aj ]. Pour n ∈ Z on a alors

k Z
0 1 X aj −inx 0
cn (f ) = e f (x) dx
2π j=1 aj−1
k k Z aj
1 X −inaj −inaj−1

in X
= e f (aj ) − e f (aj−1 ) + e−inx f (x) dx
2π j=1 2π j=1 aj−1
k Z
in X aj −inx
= e f (x) dx
2π j=1 aj−1
= inc(f ).

Proposition 5.2. Soit f une fonction 2π-périodique, continue, et C 1 par morceaux. Alors
la série de Fourier de f converge normalement vers f .

Démonstration. D’après la proposition 5.1, l’inégalité de Cauchy-Schwarz et l’identité de

Parseval (proposition 4.4) on a
s s
X X |cn (f 0 )| X 1 sX 2
X 1
|cn (f )| 6 6 2
0
|cn (f )| 6 kf 0 kL2 (R) .
∗ ∗
|n| ∗
n ∗ ∗
n2 per
n∈Z n∈Z n∈Z n∈Z n∈Z

Cela prouve que la série de Fourier de f converge normalement. D’après le corollaire 3.2, la
limite est nécessairement f , et la démonstration est complète.

6 Fonctions T -périodiques
Soit T > 0. Si T est une fonction T -périodique, alors la fonction
 
xT
g : x 7→ f
2π

est 2π-périodique. On pose

Z T
1 2 2iπnx
cT,n (f ) = e− T f (x) dx, ∀n ∈ Z,
T − T2

Z T  
2 2 2πnx
aT,n (f ) = f (x) cos dx, ∀n ∈ N,
T − T2 T

14 J. Royer - Université Toulouse 3

 7 EXEMPLES D’APPLICATIONS DES SÉRIES DE FOURIER

Z T  
2 2 2πnx
bT,n (f ) = f (x) sin dx, ∀n ∈ N∗ ,
T − T2 T
Ce sont exactement les coefficients de Fourier de g tels qu’on les a définis précédemment. De
même, on pose
N N     
X 2iπnx a0 X 2πnx 2πnx
ST,N (f )(x) = cT,n (f )e T = + aT,n (f ) cos + bT,n (f ) sin .
2 n=1 T T
n=−N

Ainsi, en appliquant à g tous les théorèmes de convergence pour les séries de Fourier, on
obtient des résultats analogues pour la convergence de ST,N (f ) vers f .
On note L2T l’espace des fonctions localement intégrables et T -périodiques, quotienté par
la relation d’égalité presque partout. C’est un espace de Hilbert pour la norme définie par
Z T
2 1 2
2
kf kL2 = |f (x)| dx.
T T − T2

2iπnx
La famille des fonctions eT,n : x 7→ e T pour n ∈ Z est alors une base Hilbertienne pour
cette espace et cT,n (f ) = hf, eT,n i. En particulier l’inégalité de Parseval s’écrit
2
X 2
kf kL2 = |cT,n (f )| .
T
n∈Z

2π
Pour alléger les notations, on peut éventuellement noter ω la pulsation T .

7 Exemples d’applications des séries de Fourier

7.1 Équation de la chaleur sur le cercle
On a motivé les séries de Fourier par la résolution d’équations aux dérivées partielles pour
des fonctions périodiques (fonctions sur le cercle), et en particulier l’équation de la chaleur.
On montre maintenant qu’on a effectivement atteint cet objectif.
Théorème 7.1. Soit u0 ∈ L2per . Alors il existe une unique fonction u ∈ C 2 (R∗+ × R), 2π-
périodique par rapport à x ∈ R, telle que

∀t > 0, ∀x ∈ R, ∂t u(t, x) = ∂xx u(t, x) (7.21)

et
ku(t, ·) − u0 kL2per −−−→ 0. (7.22)
t→0

En outre, u est de classe C ∞ sur R∗+ × R.

Démonstration. • On suppose que u est une solution. Soit t > 0. Puisque u(t, ·) est C 2 et
2π-périodique on a X
∀x ∈ R, u(t, x) = cn (t)einx ,
n∈Z

où pour n ∈ Z on a noté Z π
1
cn (t) = e−inx u(t, x) dx.
2π −π

En outre, d’après la proposition 5.2, la convergence de la série est normale. Soient n ∈ Z et
t > 0. Comme u est de classe C 1 sur le compact 2t , 2t × [−π, π], on obtient par le théorème
de dérivation sous l’intégrale que la fonction cn est dérivable en t et
Z π Z π
1 1
c0n (t) = e−inx ∂t u(t, x) dx = e−inx ∂xx u(t, x) dx.
2π −π 2π −π

D’après la proposition 1.6 on a alors

c0n (t) = −n2 cn (t).

Année 2019-2020 15
Préparation à l’agrégation - Séries de Fourier

On en déduit qu’il existe cn ∈ C tel que pour tout t > 0 on a

2
cn (t) = cn e−n t .

On note cn (0) les coefficients de Fourier de u0 . D’après l’identité de Parseval (proposition

4.4) on a X 2 2
|cn (t) − cn (0)| = ku(t, ·) − u0 kL2per −−−→ 0,
t→0
n∈Z

donc cn = cn (0) pour tout n ∈ Z. Ainsi pour t > 0 et x ∈ R on a

1 X π in(x−y)
Z
2
u(t, x) = e u0 (y)e−n t dy.
2π −πn∈Z

Soient t > 0 et x ∈ R. Comme

XZ π
2
ein(x−y) u0 (y)e−n t
dy < +∞,
n∈Z −π

on peut intervertir série et intégrale et écrire

Z π X Z π
1 in(x−y) −n2 t 1
u(t, x) = e e u0 (y) dy = K(t, x − y)u0 (y) dy,
2π −π 2π −π
n∈Z

où pour t > 0 et x ∈ R on a noté

X 2
K(t, x) = einx e−n t .
n∈Z

Cela prouve que le problème (7.21)-(7.22) admet au plus une solution.

• Inversement, montrons que la fonction u ainsi définie est bien solution. Pour n ∈ Z, t > 0
et x ∈ R on pose
2
Kn (t, x) = einx e−n t .
Cela définit une fonction de classe C ∞ sur R∗+ × R. Soit a > 0. Pour j, k ∈ N et (t, x) ∈
[a, +∞[×R on a
∂j ∂k 2
Kn (t, x) = n2j+k e−n a .
∂tj ∂xk
Le majorant ne dépend pas de (t, x) et est le terme général d’une série convergente D’après
le théorème de dérivation terme à terme appliqué sur [a, +∞[×R pour tout a > 0, on obtient
donc que K est de classe C ∞ sur R∗+ × R et pour j, k ∈ N et (t, x) ∈ R∗+ × R on a

∂j ∂k X 2

j k
K(t, x) = (−n2 )j (in)k einx e−n t .
∂t ∂x
n∈Z

En particulier,
∂t K = ∂xx K.
Pour tout y ∈ [−π, π] la fonction (t, x) 7→ K(t, x − y)u0 (y) est de classe C ∞ sur R∗+ × R. En
outre, pour a > 0 et j, k ∈ N il existe C > 0 tel que pour tout t > a, x ∈ R et y ∈ [−π, π] on
a
∂j ∂k
K(t, x − y)u0 (y) 6 C |u0 (y)| .
∂tj ∂xk
Par le théorème de dérivation sous l’intégrale, on en déduit que u est de classe C ∞ sur R∗+ ×R
et que pour tous j, k ∈ N et (t, x) ∈ R∗+ × R on a
π
∂j ∂k ∂ j+k K
Z
1
u(t, x) = (t, x − y)u0 (y) dy.
∂tj ∂xk 2π −π ∂tj ∂xk

En particulier,
∂t u = ∂xx u.

16 J. Royer - Université Toulouse 3

 7 EXEMPLES D’APPLICATIONS DES SÉRIES DE FOURIER

Il reste à montrer (7.22). Pour t > 0 on note cn (t), n ∈ Z, les coefficients de Fourier de
u(t, ·). On note également cn (0), n ∈ Z, ceux de u0 . Soient t > 0 et x ∈ R. Comme
Z π X
2
ein(x−y) e−n t u0 (y) dy < +∞,
−π n∈Z

on obtient par intégration terme à terme que

 Z π 
X
inx 1 −iny −n2 t
u(t, x) = e e e u0 (y) dy .
2π −π
n∈Z

Ainsi, pour tout n ∈ Z on a

2
cn (t) = e−n t cn (0).
Par l’identité de Parseval,
2
t 2
2
X 2
1 − e−n


ku(t, ·) − u0 kL2per = |cn (0)| .
n∈Z

2 2 2 2 2
Pour tout t > 0 et n ∈ Z on a 1 − e−n t |cn (0)| 6 |cn (0)| , et la série n∈Z |cn (0)|
P
converge par l’inégalité de Parseval. Par le théorème de convergence dominée on obtient que
2
X 2
2 2
lim ku(t, ·) − u0 kL2per = lim 1 − e−n t |cn (0)| = 0.
t→0 t→0
n∈Z

Cela conclut la démonstration.

Remarque 7.2. Avec les notations de la démonstration on observe que pour tout t > 0 on a
2
X 2 2
X 2 2
ku(t, ·)kL2 = e−2n t |cn (0)| 6 |cn (0)| = ku0 kL2 .
per per
n∈Z n∈Z

7.2 Inégalité de Wirtinger

Proposition 7.3. Soient a, b ∈ R avec a < b. Soit f une fonction de classe C 1 de [a, b] dans
Rb
R. On suppose que f (a) = f (b) et a f (x) dx = 0. Alors on a
Z b  2 Z b
2 b−a 2
|f (x)| dx 6 |f 0 (x)| dx.
a 2π a

Démonstration. Pour x ∈ [0, 2π] on pose

 
(b − a)x
g(x) = f a+ .
2π
R 2π
Cela définit une fonction g de classe C 1 sur [0, 2π] telle que g(0) = g(2π) et 0 g(x) dx = 0.
g se prolonge alors en une fonction 2π-périodique sur R, continue et C 1 par morceaux. On
note (cn )n∈Z ses coefficients de Fourier. D’après la proposition 5.1, les coefficients de Fourier
de g 0 sont les incn , n ∈ Z. D’après l’identité de Parseval on a
Z 2π
1 2
X 2
|g(x)| dx = |cn |
2π 0
n∈Z

et Z 2π
1 2
X 2
|g 0 (x)| dx = n2 |cn | .
2π 0 n∈Z
En outre on a Z 2π
c0 = g(x) dx = 0,
0
donc Z 2π Z 2π
2 2
|g(x)| dx 6 |g 0 (x)| dx.
0 0
(b−a)y
D’où le résultat après le changement de variable x = a + 2π .

Année 2019-2020 17
Préparation à l’agrégation - Séries de Fourier

7.3 Inégalité iso-périmétrique

Proposition 7.4. Soit γ : [0, 2π] → C une fonction de classe C 1 telle que γ(0) = γ(2π) et
|γ 0 (t)| = 1 pour tout t ∈ [0, 2π] (γ est une courbe fermée paramétrée par longueur d’arc) . On
note
1 2π
Z
A= γ(t)γ 0 (t) dt
2i 0
(A est l’aire algébrique du domaine enlacé par la courbe γ). Alors on a

|A| 6 π,

avec égalité si et seulement si γ décrit un cercle.

Évidemment, ce résultat n’a de sens que si on peut interpréter géométriquement les quan-
tités impliquées (voir en particulier le théorème de Green-Riemann).

Démonstration. Quitte à remplacer γ par t 7→ γ(2π − t) (ce qui revient à changer le sens
de parcourt de la courbe), on peut supposer que A > 0. On étend γ en une fonction 2π-
périodique de R dans C, qu’on note encore γ. Alors γ est 2π-périodique, continue et C 1
par morceaux. On note cn , n ∈ Z, ses coefficients de Fourier. D’après la proposition 5.1, les
coefficients de Fourier de γ 0 sont alors donnés par incn , n ∈ Z. D’après l’identité de Parseval
(voir la remarque 4.5), on a alors
πX X 2
A= cn −incn = π n |cn | .
i
n∈Z n∈Z

Par ailleurs on a Z 2π
1 2
X 2
1= |γ 0 (t)| dt = n2 |cn | .
2π 0 n∈Z

Cela prouve que A 6 π. En outre on a égalité si et seulement si

X 2
X 2
n |cn | = n2 |cn | .
n∈Z n∈Z

Ce n’est possible que si cn = 0 pour n ∈ / {0, 1}. Dans ce cas, pour tout t ∈ [0, 2π] on a
γ(t) = c0 + c1 eit . Ainsi γ décrit le cercle de centre c0 et de rayon |c1 | (qui est nécessairement
égal à 1 puisque 1 = |γ 0 (t)| = |c1 |).

7.4 Formule sommatoire de Poisson

Pour f ∈ S(R) (fonction de classe C ∞ telle que x 7→ xj f (k) (x) est bornée pour tous
j, k ∈ N) et ξ ∈ R on note Z
fˆ(ξ) = e−ixξ f (x) dx
R

(c’est la tranformée de Fourier de f , qu’on introduira au chapitre suivant).

Proposition 7.5. Soit f ∈ S(R). Alors on a

X 1 X ˆ
f (2πn) = f (n).
2π
n∈Z n∈Z

En fait, il est suffisant de supposer que f : R → C est continue, intégrable, qu’il existe
α > 1 et C > 0 tels que
C
∀x ∈ R, |f (x)| 6 α (7.23)
(1 + |x| )
(ce qui assure en particulier que la série du membre de gauche est convergente) et
X
|fˆ(n)| < +∞.
n∈Z

18 J. Royer - Université Toulouse 3

 7 EXEMPLES D’APPLICATIONS DES SÉRIES DE FOURIER

Démonstration. Pour n ∈ Z et x ∈ R on pose fn (x) = f (x + 2πn). fn est alors une fonction

continue sur R. Soit R > 0. Pour |n| > R et x ∈ [−R, R] on a d’après (7.23)

C C
|fn (x)| 6 α
6 .
(1 + |x + n|) (1 + |n| − R)α
α
P P
Comme α > 1, la série n>R C(1 + n − R) converge, donc la série n∈Z fn converge
normalement sur tout compact de R. En particulier, sa somme S est continue sur R. En
outre pour x ∈ R on a
X X
S(x + 2π) = fn (x + 2π) = fn+1 (x) = S(x),
n∈Z n∈Z

donc S est 2π-périodique. On note (cn )n∈Z ses coefficients de Fourier. Pour n ∈ Z on a
Z 2π
1 X
cn = e−inx fn (x) dx.
2π 0 n∈Z
P
Puisque la série n∈Z fn converge normalement sur [0, 2π], on peut intervertir série et inté-
grale, de sorte que

1 X 2π −inx fˆ(n)
Z Z
1
cn = e f (x + 2πn) dx = e−inx f (x) dx = .
2π 0 2π R 2π
n∈Z

P 1
P ˆ
Enfin, on a n∈Z |cn | = 2π n∈Z |f (n)| < +∞, donc la série de Fourier de S converge
normalement (vers S, car S est continue). En particulier on a
X 1 X ˆ
S(0) = cn = f (n).
2π
n∈Z n∈Z

D’où le résultat.

On donne maintenant une application de la formule sommatoire de Poisson. Pour t > 0

on pose X 2
θ(t) = e−πm t .
m∈Z

La fonction θ est une fonction spéciale qui apparaît dans certains problèmes (par exemple
l’étude de la fonction ζ).
Proposition 7.6. Pour t > 0 on a
 
1 1
θ(t) = √ θ .
t t

Démonstration. Soit t > 0. Pour x ∈ R on pose

tx2
f (x) = e− 4π .

Alors f est dans S(R) et pour tout ξ ∈ R on a (voir le calcul de la transformée de Fourier
d’une Gaussienne) :
2π πξ2
fˆ(ξ) = √ e− t .
t
D’après la formule sommatoire de Poisson on a alors
 
X 1 X ˆ 1 1
θ(t) = f (2πn) = f (n) = √ θ .
2π t t
n∈Z n∈Z

Année 2019-2020 19