SÉRIES DE FOURIER ET APPLICATIONS

1 Généralités
1.1 Fonctions de classe C 1 par morceaux
Définition 1 Une fonction f définie en un point x0 est dite continue en x0 si et seulement si:

lim f (x) = f (x0 )

x→x0

Définition 2 On dit que f est discontinue en x0 ou présente une discontinuité en x0 lorsque f n’est pas continue en x0 .

Notations On notera dans la suite:

f (x0 −) = lim f (x) = limite de f à gauche en x0

x→x0

f (x0 +) = lim f (x) = limite de f à droite en x0

x→x0

Remarques

a) Si les limites f (x0 −) et f (x0 +) existent et sont égales, alors f admet une limite en x0 et

lim f (x) = f (x0 −) = f (x0 +)

x→x0

b) Si les limites f (x0 −) et f (x0 +) existent et ne sont pas égales, on dit que f admet en x0 un point de discontinuité de
première espèce; dans ce cas la différence f (x0 +) − f (x0 −) est appelée saut de discontinuité de f en x0
Définition 3.
On dit que f est continue par morceaux sur un intervalle I si les discontinuités de f (lorsqu’elles existent) sont en nombre
fini et sont de première espèce.
f sera dite de classe C 1 par morceaux sur I si les fonctions f et f 0 sont continues par morceaux sur I.

1.2 Fonctions paires, impaires

Définition 4 On considère une fonction f : R → R
• f est dite paire si: f (−x) = f (x) pour tout x ∈ R

• f est dite impaire si: f (−x) = −f (x) pour tout x ∈ R

Propriétés des fonctions paires et impaires
Propriété 1: Graphe .
Le graphe d’une fonction f paire est symétrique par rapport à l’axe des ordonnées. Le graphe d’une fonction impaire
est symétrique par rapport à l’origine des coordonnées O.
Propriété 2: Intégrale sur [-a, a ].
Si f : R → R est continue par morceaux et paire alors
Z a Z a
f (x)dx = 2 f (x)dx
−a 0

Si f : R → R est continue par morceaux et impaire alors

Z a
f (x)dx = 0
−a

1
1.3 Fonctions périodiques
Définition On considère une fonction f : R → R et un réel T > 0.
On dit que f est périodique de période T si: Pour tout x ∈ R, f (x + T ) = f (x) Une fonction f est dite périodique s’il existe
T > 0 tel que f soit périodique de périodique de période T .
Remarque Si T est une période de f , il en est de même pour kT, k ∈ Z∗ . Le plus petit entier strictement positif T telle
que t soit une période de f est appelée la période de f ou période fondamentale de f .
Exemples

a) Les fonctions sinus et cosinus sont périodiques de périodes 2π.

b) Les fonctions x 7→ cos( 2πnx
T ), x 7→ sin( 2πnx
T ) sont périodiques de périodes 2π.
2π
c) Les fonctions x 7→ cos(ax + b) et x 7→ sin(ax + b) sont périodiques de période T = |a| .
π
La fonction x 7→ tan(ax + b) est périodique de période T = |a|

Propriétés des fonctions périodiques

Propriété 1: Graphe .
Le graphe d’une fonction f périodique de période T est invariant par translation de longueur T .
Propriété 2: Intégrale sur une période .
R a+T
Si f : R → R est continue par morceaux et périodique de période T , alors la valeur de l’intégrale a f (x)dx est
indépendante du choix de a. En particulier, on a:
T
Z a+T Z T Z 2
f (x)dx = f (x)dx = f (x)dx
a 0 − T2

1.4 Extension ou prolongement périodique

On considère une fonction f définie sur un intervalle de longueur T , I =]a, a+T ]. On peut déterminer une fonction périodique
de période T qui coı̈ncide avec f sur I. Cette fonction appelée extension périodique de f (à partir de l’intervalle I =]a, a+T ]),
est obtenu graphiquement en reproduisant le graphe de f sur ]a, a + T ] par des translations à gauche et à droite de longueur
T.
On peut imposer à l’ extension périodique d’une fonction f définie sur un intervalle , I =]0, T ] d’être paire ou impaire.
Exemples

a) Tracer le graphe de l’extension périodique de la fonction x 7→ x, 0 < x ≤ 2π

b) Tracer le graphe de l’extension périodique de x 7→ x2 , −π < x ≤ π
c) Tracer le graphe de l’extension périodique paire de f définie comme suit:
f (x) = 1 0 ≤ x < π2 , f (x) = 0 π2 ≤ x ≤ π

d) Tracer le graphe de l’extension périodique impaire de f définie comme suit:

f (x) = 1 0 ≤ x < π2 , f (x) = 0 π2 ≤ x ≤ π

2
2 Séries de Fourier
2.1 Coefficients de Fourier et séries de Fourier
On considère une fonction définie sur R et possédant les propriétés suivantes:
• f est continue (par morceaux)
• f est périodique de période 2π
Définition 1: Coefficients de Fourier réels.
On appelle coefficients de Fourier (réels) de f les nombres notés an (f ) et bn (f ) et définis par:
1 2π
Z
a0 (f ) = f (x)dx
π 0
1 2π
Z
an (f ) = f (x) cos(nx)dx, n ≥ 1
π 0
Z 2π
1
bn (f ) = f (x) sin(nx)dx, n ≥ 1
π 0
Remarque La fonction f étant périodique de période 2π, les nombres an (f ) et bn (f ) sont également définies par les relations
ci-dessous:
1 π
Z
a0 (f ) = f (x)dx
π −π
1 π
Z
an (f ) = f (x) cos(nx)dx, n ≥ 1
π −π
1 π
Z
bn (f ) = f (x) sin(nx)dx, n ≥ 1
π −π
ou encore:
1 a+2π
Z
a0 (f ) = f (x)dx
π a
1 a+2π
Z
an (f ) = f (x) cos(nx)dx, n ≥ 1
π a
1 a+2π
Z
bn (f ) = f (x) sin(nx)dx, n ≥ 1
π a
Définition: Série de Fourier .
On appelle série de Fourier de f la série que nous notons Sf avec:
a0 X
Sf (x) = + (an cos(nx) + bn sin(nx))
2
n≥1

2.2 Convergence de la série de Fourier

Comme pour toute série de fonctions, la série de Fourier d’une fonction f converge si la suite des sommes partielles converge.
Le théorème fondamental que l’on admettra dans le cours est le théorème de Jordan-Dirichlet:

Théorème de Jordan-Dirichlet
Soit f une fonction de classe C 1 par morceaux sur R, périodique de période 2π.
La série de Fourier de f converge en tout point x de R.

De façon précise:

En tout point de continuité, on a:

+∞
a0 X

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

En tout point de discontinuité, on a:

+∞
a0 X
f (x+) + f (x−)
+ an cos(nx) + bn sin(nx) =
2 n=1
2

3
2.3 Égalité de Parseval et applications
Théorème: Égalité de Parseval
Soit f une fonction continue par morceaux sur R, périodique de période 2π. La série suivante est convergente et on a:
+∞ Z 2π
X 1
a20 + (a2n + b2n ) = (f (x))2 dx
n=1
π 0

Exemples

2.4 Séries de Fourier de sinus ou de cosinus

Soit f une fonction de continues par morceaux sur R, périodique de période 2π.
• Si f est paire, x 7→ f (x) sin(nx) est impaire et on a les relations:

1 π
Z
bn (f ) = f (x) sin(nx)dx = 0
π −π
Z π Z π
1 2
an (f ) = f (x) cos(nx)dx = f (x) cos(nx)dx
π −π π 0

La série de Fourier de f est alors une série de cosinus:

a0 X
Sf (x) = + an cos(nx)
2
n≥1

• Si f est impaire, x 7→ f (x) cos(nx) est impaire et on a les relations:

1 π
Z
an (f ) = f (x) cos(nx)dx = 0
π −π
1 π 2 π
Z Z
bn (f ) = f (x) sin(nx)dx = f (x) sin(nx)dx
π −π π 0
La série de Fourier de f est alors une série de sinus:
X
Sf (x) = bn sin(nx)
n≥1

Conséquences: Soit f une fonction f définie et continue par morceaux sur l’intervalle 0 ≤ x ≤ π. On peut considérer
l’extension périodique paire ou impaire de période 2π de f .
C1 La série de Fourier de l’extension périodique paire de f ne comporte que des cosinus; c’est la série de Fourier de cosinus
de f .

C2 La série de Fourier de l’extension périodique impaire de f ne comporte que des sinus; c’est la série de Fourier de sinus
de f .
De façon plus précise, on le résultat suivant:
Théorème: Développement en série de Fourier de cosinus ou de sinus.
Soit f une fonction de classe C 1 par morceaux sur 0 ≤ x ≤ π. Dans cet intervalle, f (x) peut être développé en série de
Fourier de cosinus
+∞
2 π
Z
a0 X
+ an cos(nx); an = f (x) cos(nx)dx
2 1
π 0

f (x) peut être développé en série de Fourier de sinus

+∞ Z π
X 2
bn sin(nx); bn = f (x) sin(nx)dx
1
π 0

Exemples

4
2.5 Généralisations
2.5.1 Fonction de période 2L quelconque
On considère une fonction continue par morceaux périodique de période 2L.

Coefficients et série de Fourier .

Les coefficients de Fourier de f sont définies par les relations:
Z L Z 2L
1 1
a0 (f ) = f (x)dx = f (x)dx
L −L L 0

Z L Z 2L
1  nπx  1  nπx 
an (f ) = f (x) cos dx = f (x) cos dx, n≥1
L −L L L 0 L
Z L Z 2L
1  nπx  1  nπx 
bn (f ) = f (x) sin dx = f (x) sin dx, n≥1
L −L L L 0 L
La série de Fourier de f Sf est définie par::
a0 X   nπx   nπx 
Sf (x) = + an cos + bn sin
2 L L
n≥1

Convergence .
Le théorème de Jordan Dirichlet reste valable.

Egalité de Parseval
+∞ Z L Z 2L
X 1 1
a20 + (a2n + b2n ) = (f (x)) dx = 2
(f (x))2 dx
n=1
L −L L 0

Développement en série de sinus ou de cosinus .

Si f une fonction de classe C 1 par morceaux sur 0 ≤ x ≤ L. Dans cet intervalle, f (x) peut être développé en série de
Fourier de cosinus
+∞
2 π
Z
a0 X  nπx   nπx 
+ an cos ; an = f (x) cos dx
2 1
L L 0 L

f (x) peut être développé en série de Fourier de sinus

+∞  nπx  Z L
X 2  nπx 
bn sin ; bn = f (x) sin dx
1
L L 0 L