Chapitre 1

Série de Fourier

Sommaire
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Base de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Base orthonormée de Fourier . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Preuve par le noyau de Poisson . . . . . . . . . . . . . . . . . . . 6
1.3 Quelques rappels sur les séries de Fourier . . . . . . . . . . . . . . . . . . 10

1.1 Introduction
Historique Aux alentours de 1815, Joseph Fourier décompose une fonction 1-périodique
en somme de sinus et de cosinus afin de résoudre l’équation de la chaleur sur une tige.

Cadre Fonctions sur [0, 1[ ≡ fonctions sur R 1-périodique.

Topologie : Π = R�Z � [0, 1[ compact
�
La restriction sur [0, 1[ d’une fonction continue sur R n’est continue pour cette
topologie que si f (0) = f (1) !

Notation
1
� f (x)dx = � f (x)dx = � f (x)dx
a+1

Π 0 a

L2 (Π, dx) ∶= {f ∶ Π → C, � �f (x)�2 dx < +∞}

Π

Espace de Hilbert pour le produit scalaire �f, g� = ∫Π f (x)g(x)dx.

On définit les caractères
γn (x) ∶= ei2πnx qui sont C∞ sur Π
Pulsation : 2πn / Fréquence : n / Période 1�n

5
1.2 Base de Fourier
1.2.1 Base orthonormée de Fourier
Proposition 1. (γn )n∈Z est une suite orthonormée.

Démonstration.
�
�
�0 si n ≠ m
�γn , γm � = � ei2π(n−m)x dx = �
�
� si n = m
�1
Π

Théorème 1. La famille (γn )n∈Z est totale dans L2 (π, dx).

Corollaire 1. La famille (γn )n∈Z est une base de Riesz de L2 (π, dx) (on parlera par
commodité de base orthonormée).

Démonstration. F = {Polynômes trigonométriques avec P (0) = P (1)} ⊂ C(Π, C) ⊂ L2 (Π, dx)

Le théorème de Stone-Weierstrass sur Π compact s’applique à F car
– F ⊃ les constantes,
– f, g ∈ F �⇒ f g ∈ F et f ∈ F et
– ∀x, y ∈ Π, ∃f ∈ F, f (x) ≠ f (y).
On en déduit que F est dense dans C(Π) pour � ⋅ �∞ , puis que F est dense dans C(Π)
pour � ⋅ �2 puisque � ⋅ �2 ≤ � ⋅ �∞ . Enfin, F est dense dans L2 (Π) pour � ⋅ �2 puisque C(Π)
l’est.

Définition On pose pour f ∈ L2 (Π),

f̂[n] = �f, γn � = � f (x)e−i2πnx dx et SN f (x) = � f̂[n]γn (x).

1 N

0 n=−N

f̂[n] est appelé le nième coefficient de Fourier de f . SN f est la somme partielle de

Fourier jusqu’à la fréquence N .
La famille γn étant une base hilbertienne de L2 (Π), on en déduit Sn f �→ f . En
L2

d’autres termes, f est égale à sa série de Fourier :

f = � �f, γn � = � f̂[n]e2iπn⋅
L 2

n∈Z n∈Z

1.2.2 Preuve par le noyau de Poisson

La preuve du caractère totale de (γn )n∈Z est assez abstraite. On propose mainte-
nant une preuve un peu plus constructive qui est l’occasion de reprendre des techniques
classiques en analyse.

6
Preuve plus constructive par le noyau de Poisson. Le noyau de Poisson est défini sur Π
par

Pr (x) = � r�n� γn (x)

n∈Z

pour r ∈ [0, 1[. Cette fonction est bien définie car la série est uniformément convergente
pour ces valeurs de r.
L’idée est alors de montrer que

Pr � f (x) = � r�n� f̂[n]γn (x)

n∈Z

qui reste dans L2 puis que Pr � f → f .

L2

Proposition 2.

1 − r2
1) Pr (x) = ≥0 et 2) � Pr (x)dx = 1
�1 − rγ1 (x)�2 Π

Démonstration.
+∞ +∞
1) Pr (x) = � r�n� γn (x) = 1 + � rn (γ1 (x))n + � rn (γ−1 (x))n
n∈Z n=1 n=1
rγ1 (x) rγ−1 (x) γ1 (x) + γ−1 (x) − 2rγ1 (x)γ−1 (x)
=1+ + =1+r
1 − rγ1 (x) 1 − rγ−1 (x) (1 − rγ1 (x))(1 − rγ−1 (x))
(1 − rγ1 (x))(1 − rγ−1 (x)) + r(γ1 (x) + γ−1 (x)) − 2r2
=
�1 − rγ1 (x)�2
1 − r2
Pr (x) =
�1 − rγ1 (x)�2

2) � Pr (x)dx = � � r�n� γn (x)dx = � r�n� � γn (x)dx = 1

Π Π n∈Z n∈Z Π

où l’on a utilisé la convergence normale de la somme (ce qui implique sa convergence

dans L1 ).

On remarque que Pr (x) ��→ 0 si x ≠ 0. Pr est donc une approximation de l’unité

r→1
(Pr converge vers le dirac δ0 au sens des distributions).

Proposition 3. Si g est dans L1 (Π) et est continue en 0 alors

� Pr (x)g(x)dx ��→ g(0).

Π r→1

7
Démonstration. Soit � > 0, il existe un un voisinage V de 0 tel que ∀x ∈ V, �g(x)−g(0)� ≤ �.
On a alors
�� Pr (x)g(x)dx − g(0)� = �� Pr (x)(g(x) − g(0))dx�
Π Π

≤ � Pr (x)�g(x) − g(0)�dx
Π

≤ � Pr (x)�g(x) − g(0)�dx + � Pr (x)�g(x) − g(0)�dx

V Π�V
≤ � + �g(x) − g(0)�1 × sup Pr (x)
Π�V

On note alors que, comme Π � V ne contient pas 0, supΠ�V Pr (x) ��→ 0 et donc qu’il
existe r� tel que ∀r > r� ,
r→1

�� Pr (x)g(x)dx − g(0)� ≤ 2�.

Π

Proposition 4. Soit f ∈ L2 (Π),

1) Pr � f (x) = � r�n� f̂[n]γn (x) ∈ L2 (Π) 2) Pr � f �→ f

L2
et
n∈Z
Démonstration.
1) Pr � f = �f, Pr (x − ⋅)�

qui est bien défini car Pr (x − ⋅) est dans L2 (Π)

= �f, � r�n� γn (x)γ−n (⋅)�

n∈Z

La convergence de la somme étant absolue dans L2

= � r�n� γ−n (x)�f, γ−n �

n∈Z
Pr � f = � r�n� γ−n (x)f̂[−n]
n∈Z
2
Cette fonction est dans L car elle s’obtient à partir de la projection de f sur l’espace
engendré par les γn en diminuant la valeur absolue des coefficients dans la base de cet
espace constituée des γn .
2
2) �Pr � f (x) − f (x)�2 = �� Pr (u)(f (x − u) − f (x)]du�
Π
2
= �� (Pr (u))1�2 (Pr (u))1�2 (f (x − u) − f (x)]du�
Π

≤ � Pr (u)�f (x − u) − f (x)�2 du × � Pr (u)du

Π Π

≤ � Pr (u)�f (x − u) − f (x)� du 2
Π

8
On en déduit donc

�Pr � f − f �22 = � �Pr � f (x) − f (x)�2 dx

Π

≤ � � Pr (u)�f (x − u) − f (x)�2 dudx

Π Π

Toute les fonctions étant positives on peut appliquer Fubini

�Pr � f − f �22 ≤ � Pr (u)�f − τu f �22 du

Π

où τu f est obtenue en translatant la fonction f de u.

Il reste alors à montrer que �f − τu f �22 = g(u) est une fonction de L1 continue en 0.
Ceci s’obtient assez facilement.
D’une part, �f −τu f �22 ≤ 2(�f �22 +�τu f �2 ) = 4�f �2 et donc g ∈ L∞ (Π) ⊂ L1 (Π). D’autre
part, pour toute fonction f˜ ∈ L2 ,

�f − τu f �2 ≤ �f − f˜�2 + �f˜ − τu f˜�2 + �τu f˜ − τu f �2

≤ 2�f − f˜�2 + �f˜ − τu f˜�2

On conclut alors en utilisant la densité des fonctions uniformément continues dans L2 (Π)
qui satisfont clairement �f˜ − τu f˜�2 ��→ 0.
u→0

On en déduit donc que si f ∈ L2 telle que ∀n, �f, γn � = 0 alors Pr �f = 0 et par passage
à la limite f = 0.
Ceci conclue la preuve de la “totalité” de la famille γn .

Bilan

∀f ∈ L2 (Π), f = � f̂[n]γn
L 2

De plus, la transformée de Fourier sur L2 (Π)

f � f̂
L2 (Π) → �2 (Z)

est une isométrie linéaire bijective d’inverse

c → � cn γn
n∈Z
� (Z) → L (Π)
2 2

On appelle propriété de Bessel-Parseval, la relation

� �f (x)� dx = �f �2 = �f̂�2 = � �f̂[n]� .

2 2 2 2
Π n∈Z

9
1.3 Quelques rappels sur les séries de Fourier
Convergence et régularité a ∈ �1 �⇒ ∑n an γn converge uniformément vers une
fonction continue. On en déduit que si f̂ ∈ �1 alors f est continue.
De manière générale, on a une “équivalence” entre f̂ décroît vite en l’infini et f est
régulière...

Rieman-Lebesgue f ∈ L1 �⇒ f̂[n] → 0. (On remarque que f ∈ L1 suffit pour assurer

l’existence des coefficients de Fourier mais n’implique pas que la suite des coefficients
soit dans �2 .)

Noyau de Fejer JN = ∑N , SN = f � JN = ∑N ̂
n=−N f [n]γn ,
2iπn
n=−N e

S1 + � + SN L1
f ∈ L1 �⇒ �→ f.
N

f (x+
0 )+f (x0 )
−
Dirichlet f dérivable à gauche et à droite en x0 �⇒ SN f (x0 ) ���→ .
N →∞ 2

10