1

1. Series de Fourier
1. Introduction
En physique, on rencontre souvent des probl`emes faisant intervenir des vi-
brations ou des oscillations. La vibration dun diapason est un exemple de mou-
vement harmonique simple. La note musicale produite est due au passage dune
onde sonore `a travers lair, depuis le diapason jusqu`a loreille. Quand le diapason
vibre, il met les molecules dair en mouvement. Si lon mesure la pression en exc`es
en fonction de la distance x au diapason et du temps t, on trouve quelle est de la
forme :
p = A cos
2(x vt)

. (1.1)
Londe sonore produite par le diapason est une onde sinusodale pure de frequence
angulaire ou pulsation = 2v/ et de vecteur donde k = 2/. On a :
p = A cos(kx t). (1.2)
Si lon emet simultanement plusieurs sons de frequence denie, la pression dans
londe sonore resultante nest pas une fonction sinusodale, mais une somme de
plusieurs fonctions sinusodales. De meme, si lon joue une note de piano, on
nobtient pas une onde sonore de frequence bien denie, mais un son fondamental
accompagne dautres sons (les harmoniques) de frequences egales `a 2 fois, 3 fois, 4
fois . . ., celle du son fondamental. Si sin t et cos t correspondent `a la frequence
fondamentale, sin nt et cos nt (n entier) correspondent aux harmoniques. La
combinaison du fondamental et des harmoniques est une fonction periodique com-
pliquee dont la periode est celle du fondamental.
On peut se poser la question suivante : etant donnee une fonction periodique,
comment lecrire sous la forme dune somme de termes correspondant aux dierents
harmoniques? En general, il est necessaire pour cela decrire tous les harmoniques,
cest-`a-dire une serie innie de termes. Cette serie est appelee serie de Fourier.
Developper une fonction en serie de Fourier revient `a la decomposer en ses dierents
harmoniques.
2 Chapitre 1 : Series de Fourier
2. Denition
On appelle serie trigonometrique une serie de la forme :
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx). (2.1)
Les constantes a
0
, a
n
et b
n
(n = 1, 2 . . . ) sont les coecients de la serie trigo-
nometrique. Si la serie (2.1) converge, sa somme est une fonction periodique f(x)
de periode 2 :
f(x) = f(x + 2). (2.2)
Comme indique dans lintroduction, on se pose le probl`eme suivant : etant
une fonction periodique f(x) de periode 2, on se demande pour quelles conditions
imposees `a f(x) il existe une serie trigonometrique convergeant vers f(x).
2.1. Determination des coecients de la serie au moyen des formules
de Fourier
On suppose que la fonction f(x), periodique et de periode 2, peut etre
representee par une serie trigonometrique convergeant vers f(x) dans lintervalle
(, ), cest-`a-dire que lon peut ecrire :
f(x) =
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx). (2.3)
La serie (2.1) (qui gure au second membre de lequation (2.3)) est appelee serie
de Fourier de f(x). Les coecients a
n
et b
n
sont les coecients de Fourier de f(x).
Calcul de a
0
On suppose que la serie (2.1) (second membre de lequation (2.3)) peut etre
integree terme `a terme. Cest par exemple le cas si la serie numerique formee avec
les coecients de la serie trigonometrique converge absolument, cest-`a-dire si la
serie numerique positive suivante converge :

a
0
2

+|a
1
| +|b
1
| + +|a
n
| +|b
n
| + . (2.4)
La serie (2.1) est alors majorable et peut etre integree terme `a terme. On en deduit
legalite
_

f(x) dx = a
0
, (2.5)
Denition 3
qui fournit une expression de a
0
:
a
0
=
1

f(x) dx. (2.6)

Calcul des autres coecients de Fourier
Pour obtenir les autres coecients de la serie, on calcule dabord les integrales
auxiliaires suivantes, dans lesquelles n et k sont des entiers strictement positifs :
_

cos nxcos kxdx =

_
0, n = k
, n = k,
_

cos nxsin kxdx = 0,

_

sin nxsin kxdx =

_
0, n = k
, n = k.
(2.7)
Pour determiner a
k
pour k > 0 donne, on multiplie les deux membres de legalite
(2.3) par cos kx :
f(x) cos kx =
a
0
2
cos kx +

n=1
(a
n
cos nxcos kx + b
n
sin nxcos kx). (2.8)
La serie du second membre est majorable et peut donc etre integree terme `a terme.
On obtient ainsi legalite
_

f(x) cos kxdx = a

k
, (2.9)
qui fournit une expression de a
k
:
a
k
=
1

f(x) cos kxdx. (2.10)

De meme, en multipliant les deux membres de legalite (2.3) par sin kx et en
integrant sur x, on obtient legalite
_

f(x) sin kxdx = b

k
, (2.11)
do` u lon deduit une expression de b
k
:
b
k
=
1

f(x) sin kxdx. (2.12)

4 Chapitre 1 : Series de Fourier
2.2. Conditions susantes pour quune fonction soit developpable
en serie de Fourier
Quelles sont les proprietes que doit posseder la fonction f(x) pour que sa
serie de Fourier converge et que sa somme soit egale aux valeurs de la fonction aux
points consideres?
Nous allons enoncer un theor`eme donnant des conditions susantes pour
que la fonction f(x) soit representable par une serie de Fourier. Les fonctions
considerees sont monotones par morceaux et bornees sur lintervalle considere,
donc ne poss`edent que des points de discontinuite de premi`ere esp`ece, cest-`a-
dire avec une limite `a droite et une limite `a gauche. On a le theor`eme : Si la
fonction periodique f(x) de periode 2 est monotone par morceaux et bornee sur
le segment (, ), sa serie de Fourier converge en tous les points. La somme de la
serie obtenue s(x) est egale `a la valeur de la fonction f(x) aux points de continuite.
Aux points de discontinuite de f(x), la somme de la serie est egale `a la moyenne
arithmetique des limites de la fonction `a gauche et `a droite, cest-`a-dire que, si c
est un point de discontinuite de f(x), on a :
s(x)|
x=c
=
f(c 0) + f(c + 0)
2
. (2.13)
Ce theor`eme montre que la classe des fonctions representables par des series de
Fourier est assez large.
3. Exemples de developpements de fonctions en series de Fourier
Donnons des exemples de developpements de fonctions en series de Fourier.
3.1. Exemple 1
On se donne une fonction periodique f(x) de periode 2 denie comme suit :
f(x) = x, < x . (3.1)
Cette fonction est monotone par morceaux et bornee (Figure 1).
Exemples de developpements de fonctions en series de Fourier 5
0 2 3 - -2 -3
f(x)
x
Figure 1
Elle admet donc un developpement en serie de Fourier. On trouve en appli-
quant les formules (2.6), (2.10) et (2.12) :
a
0
=
1

xdx = 0, (3.2)
a
k
=
1

xcos kxdx = 0, (3.3)

b
k
=
1

xsin kxdx = (1)

k+1
2
k
. (3.4)
On obtient ainsi le developpement de f(x) en serie de Fourier :
f(x) = 2
_
sin x
1

sin 2x
2
+ + (1)
k+1
sin kx
k
+
_
. (3.5)
Legalite a lieu partout sauf aux points de discontinuite. En de tels points, la
somme de la serie est egale `a la moyenne arithmetique des limites de la fonction `a
gauche et `a droite, cest-`a-dire `a zero.
3.2. Exemple 2
On se donne une fonction periodique de periode 2 denie comme suit
f(x) = x, x 0,
f(x) = x, 0 < x ,
(3.6)
6 Chapitre 1 : Series de Fourier
(cest-`a-dire f(x) = |x| dans lintervalle (, )). Cette fonction est monotone par
morceaux et bornee (Figure 2).
0 ! 2! 3! -! -2! -3!
f(x)
x
Figure 2
Elle admet donc un developpement en serie de Fourier. Determinons ses coef-
cients de Fourier. On obtient
a
0
=
1

__
0

(x) dx +
_

0
xdx
_
= , (3.7)
a
k
=
1

__
0

(x) cos kxdx +

_

0
xcos kxdx
_
=
2
k
2
(cos k 1), (3.8)
soit
a
k
=
_
0, k pair,
4/k
2
, k impair,
(3.9)
et :
b
k
=
1

__
0

(x) sin kxdx +

_

0
xsin kxdx
_
= 0. (3.10)
On a donc le developpement en serie de Fourier :
f(x) =

2

4

_
cos x
1
2
+
cos 3x
3
2
+ +
cos(2p + 1)x
(2p + 1)
2
+
_
. (3.11)
La serie (3.11) converge partout et sa somme est egale `a la fonction consideree.
Exemples de developpements de fonctions en series de Fourier 7
3.3. Exemple 3
On consid`ere la fonction periodique de periode 2 denie comme suit :
f(x) = 1, < x < 0,
f(x) = 1, 0 x .
(3.12)
Cette fonction est monotone par morceaux et bornee (Figure 3). Calculons ses
coecients de Fourier. On obtient :
a
0
=
1

__
0

(1) dx +
_

0
dx
_
= 0, (3.13)
a
k
=
1

__
0

(1) cos kxdx +

_

0
cos kxdx
_
= 0, (3.14)
et
b
k
=
1

__
0

(1) sin kxdx +

_

0
sin kxdx
_
=
2
k
(1 cos k), (3.15)
soit :
b
k
=
_
0, k pair,
4/k, k impair.
(3.16)
0 ! 2! 3! -2! -3!
f(x)
x
Figure 3
1
-1
La serie de Fourier de la fonction consideree secrit donc :
f(x) =
4

_
sin x
1
+
sin 3x
3
+ +
sin(2p + 1)x
2p + 1
+
_
. (3.17)
8 Chapitre 1 : Series de Fourier
Legalite (3.17) est exacte partout sauf aux points de discontinuite. En ces points,
la somme de la serie est egale `a la moyenne arithmetique des limites de la fonction
`a gauche et `a droite, cest-`a-dire `a zero.
3.4. Remarque sur le calcul des coecients de Fourier
Lintegrale dune fonction periodique f(x) sur un intervalle arbitraire de lon-
gueur egale `a la periode a toujours la meme valeur. On peut donc par exemple,
dans le calcul des coecients de Fourier dune fonction periodique de periode 2,
remplacer lintervalle dintegration (, ) par lintervalle (, +2), o` u est un
reel quelconque. Cette propriete peut, dans certains cas, simplier le calcul.
4. Series de Fourier des fonctions paires ou impaires
On consid`ere une fonction f(x) denie sur lintervalle (, ). Cette fonction
est paire si :
f(x) = f(x). (4.1)
Elle est impaire si :
f(x) = f(x). (4.2)
Toute fonction peut etre ecrite comme la somme dune fonction paire et dune
fonction impaire.
Les integrales sur des intervalles symetriques de fonctions de parite denie
peuvent etre simpliees. On a en eet, si f est paire,
_

f(x) dx = 2
_

0
f(x) dx, (4.3)
et, si f est impaire :
_

f(x) dx = 0. (4.4)
4.1. Fonction paire : serie de Fourier cosinus
Si f(x) est paire, f(x) sin kx est impaire et f(x) cos kx est paire. Par suite, on
a :
a
0
=
2

_

0
f(x) dx, (4.5)
a
k
=
2

_

0
f(x) cos kxdx, (4.6)
b
k
=
1

f(x) sin kxdx = 0. (4.7)

Series de Fourier des fonctions de periode quelconque 9
Le developpement en serie de Fourier dune fonction paire ne contient que des
cosinus (cest le cas de la fonction de lexemple 2). On dit alors que lon a une serie
de Fourier cosinus.
4.2. Fonction impaire : serie de Fourier sinus
Si f(x) est impaire, f(x) sin kx est paire et f(x) cos kx est impaire. Par suite,
on a :
a
0
=
1

f(x) dx = 0, (4.8)
a
k
=
1

f(x) cos kxdx = 0, (4.9)

b
k
=
1

f(x) sin kxdx =

2

_

0
f(x) sin kxdx, (4.10)
Le developpement en serie de Fourier dune fonction impaire ne contient que des
sinus (cest le cas des fonctions des exemples 1 et 3). Cest une serie de Fourier
sinus.
5. Series de Fourier des fonctions de periode quelconque
Soit f(x) une fonction periodique de periode 2 (eventuellement dierente de
2). On cherche `a la developper en serie de Fourier. Pour cela, on eectue le change-
ment de variable x = (/)u. La fonction f
_

u
_
est une fonction periodique de
u de periode 2 que lon peut developper en serie de Fourier :
f
_

u
_
=
a
0
2
+

n=1
(a
n
cos nu + b
n
sin nu). (5.1)
Les coecients de la serie sont donnes par les formules :
a
0
=
1

f
_

u
_
du =
1

f(x) dx, (5.2)

a
n
=
1

f
_

u
_
cos nudu =
1

f(x) cos
nx

dx, (5.3)
b
n
=
1

f
_

u
_
sin nudu =
1

f(x) sin
nx

dx. (5.4)
Les formules (5.2)(5.4) permettent dobtenir les coecients de Fourier dune fonc-
tion periodique de periode 2.
Les remarques sur la possibilite de calculer les coecients de Fourier en
integrant sur un segment arbitraire de longueur egale `a la periode (paragraphe
3.4), et de simplier le calcul des coecients lorsque la fonction est paire ou im-
paire (paragraphe 5), restent valables pour une fonction de periode quelconque.
10 Chapitre 1 : Series de Fourier
6. Developpement en serie de Fourier dune fonction denie sur
un intervalle ni
Soit une fonction monotone par morceaux f(x), donnee sur le segment (a, b).
Cette fonction peut etre representee aux points de continuite par une serie de
Fourier. Pour le montrer, il sut de considerer une fonction periodique mono-
tone par morceaux f
1
(x) de periode superieure ou egale `a |b a| et concidant
avec la fonction f(x) sur le segment (a, b). La fonction f
1
(x) est un prolongement
periodique de f(x). Cette fonction, etant periodique, peut etre developpee en serie
de Fourier. La somme de la serie concide partout sur le segment (a, b) (sauf aux
points de discontinuite) avec la fonction donnee f(x). La fonction f(x) a ainsi ete
developpee en serie de Fourier sur le segment (a, b).
Le prolongement periodique dune fonction nest pas unique. En particulier,
une fonction denie sur lintervalle (0, ) peut etre prolongee de plusieurs mani`eres
sur le segment (, 0). On peut par exemple la prolonger de sorte que f(x) =
f(x) (prolongement pair). La serie de Fourier correspondante est une serie de
Fourier cosinus. On peut aussi prolonger la fonction de sorte que f(x) = f(x)
(prolongement impair). La serie de Fourier correspondante est une serie de Fourier
sinus.
En reprenant lexemple 1 et lexemple 2 du paragraphe 3, on voit que la
fonction f(x) = x sur le segment (0, ) peut etre prolongee, soit de facon paire
avec le developpement en serie de Fourier cosinus
x =

2

4

_
cos x
1
+
cos 3x
3
2
+
_
, (6.1)
soit de fa con impaire avec le developpement en serie de Fourier sinus :
x = 2
_
sin x
1

sin 2x
2
+
sin 3x
3

_
. (6.2)
Les egalites (6.1) et (6.2) sont valables, lune comme lautre, sur le segment (0, ).
7. Series de Fourier complexes
7.1. Denition
Soit la serie de Fourier dune fonction periodique f(x) de periode 2 :
f(x) =
a
0
2
+

n=1
(a
n
cos nx + b
n
sin nx). (7.1)
En exprimant cos nx et sin nx au moyen des exponentielles imaginaires, cest-`a-dire
en ecrivant
cos nx =
e
inx
+ e
inx
2
,
sin nx =
e
inx
e
inx
2i
,
(7.2)
Series de Fourier complexes 11
et en reportant ces expressions dans la serie de Fourier (7.1), on obtient une serie
de termes de la forme e
inx
et e
inx
. Cest la forme complexe de la serie de Fourier
de f(x) :
f(x) =

n=
c
n
e
inx
. (7.3)
On a les relations :
c
0
=
a
0
2
, c
n
=
a
n
ib
n
2
, c
n
=
a
n
+ ib
n
2
=
a
n
ib
n
2
(n 1).
(7.4)
7.2. Formules de Fourier
Comme les coecients a
n
et b
n
, les coecients c
n
sexpriment par des inte-
grales. En remplacant dans les formules (7.4) les coecients a
0
, a
n
et b
n
par leurs
expressions (2.6), (2.10) et (2.12), on obtient :
c
n
=
1
2
_

f(x)e
inx
dx, n = 0, 1, 2 . . . . (7.5)
7.3. Cas dune fonction de periode quelconque
Si la fonction f(x) est periodique de periode 2, sa serie de Fourier secrit :
f(x) =
a
0
2
+

n=1
_
a
n
cos
nx

+ b
n
sin
nx

_
. (7.6)
Dans ce cas, la forme complexe de la serie est donnee par la formule
f(x) =

n=
c
n
exp
_
i
nx

_
, (7.7)
avec :
c
n
=
1
2l
_

f(x) exp
_
i
nx

_
dx, n = 0, 1, 2 . . . . (7.8)
7.4. Proprietes des coecients c
n
Si f est paire, alors c
n
= c
n
. De facon analogue, si f est impaire, alors
c
n
= c
n
.
Si f est une fonction reelle, alors
1
c

n
= c
n
. Si f est imaginaire pure, alors
c

n
= c
n
.
1
Le symbole

designe loperation de conjugaison complexe.
12 Chapitre 1 : Series de Fourier
7.5. Un peu de physique
Considerons le cas o` u x represente une longueur. Les nombres k
n
= n/ sont
alors les nombres donde de la fonction periodique
f(x) =

n=
c
n
exp(ik
n
x). (7.9)
Lensemble des k
n
constitue le spectre des nombres donde de f(x). Si lon porte
ces nombres sur un axe, on obtient un ensemble de points distincts. Le spectre
correspondant est dit discret.
Considerons le cas o` u x represente le temps. En changeant de notation de
mani`ere `a appeler la variable t, la serie de Fourier complexe dune fonction du
temps f(t) de periode T = 2/ secrit
f(t) =

n=
c
n
exp(i
n
t), (7.10)
o` u les nombres
n
= n sont les frequences angulaires des dierents harmoniques.
Lensemble des
n
constitue le spectre de frequences de f(t). La fonction consideree
etant periodique, son spectre de frequences est discret.
Dans un cas comme dans lautre, les coecients c
n
du developpement en serie
de Fourier portent le nom damplitudes complexes.
8. Approximation dune fonction par les sommes partielles de
Fourier
En pratique, la somme partielle s
N
(x) obtenue lorsque lon se limite au N
`eme
terme de la representation dune fonction f(x) en serie de Fourier constitue une ex-
pression approchee de la fonction que lon developpe. On peut demontrer que cest
la meilleure expression approchee, au sens o` u elle minimise la deviation quadra-
tique
2
N
denie par
2
:

2
N
=
1
2
_

_
f(x) s
N
(x)

2
dx. (8.1)
2
Nous supposons ici f(x) reelle. Si f(x) peut prendre des valeurs complexes, la denition
(8.1) de
2
N
doit etre remplacee par :

2
N
=
1
2
_

|f(x) s
N
(x)|
2
dx.
Approximation dune fonction par les sommes partielles de Fourier 13
8.1. Inegalite de Bessel
Considerons les sommes partielles
s
N
(x) =
a
0
2
+
N

k=1
(a
k
cos kx + b
k
sin kx), (8.2)
o` u a
0
, a
1
, . . . , a
N
, b
1
, . . . , b
N
sont les coecients de Fourier de f(x) dindice infe-
rieur ou egal `a N. On a :

2
N
=
1
2
_

f
2
(x) dx
a
2
0
4

1
2
N

k=1
(a
2
k
+ b
2
k
). (8.3)
Comme
2
N
0, on a, quel que soit N, linegalite : ,
1
2
_

f
2
(x) dx
a
2
0
4
+
1
2
N

k=1
(a
2
k
+ b
2
k
). (8.4)
Il sensuit que la serie du second membre converge lorsque N . On en deduit
linegalite de Bessel :
1
2
_

f
2
(x) dx
a
2
0
4
+
1
2

k=1
(a
2
k
+ b
2
k
). (8.5)
8.2.

Egalite de Parseval
On peut demontrer que, pour toute fonction f(x) bornee monotone par mor-
ceaux, la deviation quadratique
2
N
obtenue lorsque lon remplace cette fonction
par la somme partielle de Fourier s
N
(x) tend vers zero lorsque N tend vers linni.
Il resulte alors de la formule (8.3) legalite
1
2
_

f
2
(x) dx =
a
2
0
4
+
1
2

k=1
(a
2
k
+ b
2
k
), (8.6)
dite egalite de Parseval. En utilisant la forme complexe des series de Fourier, on
montre que legalite de Parseval secrit aussi :
1
2
_

f
2
(x) dx =

k=
|c
k
|
2
.
(8.7)
14 Chapitre 1 : Series de Fourier
Pour une fonction `a valeurs complexes, les formules (8.6) et (8.7) doivent etre
remplacees par :
1
2
_

|f(x)|
2
dx =
|a
0
|
2
4
+
1
2

k=1
(|a
k
|
2
+|b
k
|
2
) (8.8)
et :
1
2
_

|f(x)|
2
dx =

k=
|c
k
|
2
. (8.9)
8.3. Encore un peu de physique
Donnons une idee du sens de legalite de Parseval en physique. Considerons
par exemple la pression en exc`es p(t) de lair en fonction du temps au voisinage
dune source sonore. Lintensite du son est proportionnelle `a la moyenne du carre
de la pression en exc`es. Lorsque la pression a une variation purement sinusodale
Acos t, lintensite est proportionnelle `a A
2
. Dans la serie de Fourier de p(t), les
intensites des dierents harmoniques sont proportionnelles aux carres des coef-
cients de Fourier correspondants. Legalite de Parseval correspond donc dans
cet exemple au fait que lenergie sonore totale est egale `a la somme des energies
associees aux dierents harmoniques.
9. Propriete des coecients de Fourier
On consid`ere les fonctions continues par morceaux sur le segment (, ),
cest-`a-dire les fonctions dont les points de discontinuite de premi`ere esp`ece sont
en nombre ni sur ce segment (ou qui y sont partout continues).
On peut demontrer le theor`eme : Si la fonction f(x) est continue par mor-
ceaux sur le segment (, ), ses coecients de Fourier tendent vers zero lorsque
n :
lim
n
a
n
= 0, lim
n
b
n
= 0. (9.1)
En eet, si la fonction f(x) est continue par morceaux sur le segment (, ), il en
est de meme de f
2
(x). Donc lintegrale
_

f
2
(x) dx existe et est un nombre ni.
Il resulte alors de linegalite de Bessel (8.6) que la serie

n=1
(a
2
n
+ b
2
n
) converge,
ce qui entrane que son terme general tend vers zero : lim
n
(a
2
n
+ b
2
n
) = 0. On
demontre ainsi pour une fonction bornee continue par morceaux les egalites (9.1),
qui secrivent, compte tenu des formules de Fourier (2.10) et (2.11) :
lim
n
_

f(x) cos nxdx = 0,

lim
n
_

f(x) sin nxdx = 0.

(9.2)
Propriete des coecients de Fourier 15
Les proprietes (9.1) et (9.2) setendent `a la forme complexe de la serie de
Fourier. On a
lim
n
c
n
= 0, (9.3)
soit, compte tenu de la formule de Fourier (7.5) :
lim
n
_

f(x)e
inx
dx = 0. (9.4)